名理论 逻辑哲学论

开关理论与逻辑设计

奎因逻辑真理理论研究

数理经济学 理论与应用

图像编码基础和小波压缩技术 原理、算法和标准

本书系统地介绍了静止图像和视频序列编码的基本原理、算法和国际标准，分为相对独立的两部分。第一部分介绍了构成图像编码器的各种基本技术，包括熵编码、量化、预测、变换、运动补偿预测等，这是构成大多数图像...

人的逻辑与物的逻辑 重思辩证法和形式逻辑的关系

形式化框架下置换和查找类算法的组装生成

本书以前期研究形成的支持程序开发全过程的形式化方法PAR为基础，选取排序类和查找类算法作为研究的突破口，开展了形式化方法制导下的算法程序自动化的研究。PAR为算法程序自动化提供了有力支持，它由自定义泛型...

机器视觉检测理论与算法

视觉检测具有非接触、效率高、精度高、劳动强度小以及易于实现信息集成等优点，被广泛应用于工业、农业、医药、军事、航天、交通、安全、科研等领域。面对众多的图像处理与计算机视觉算法，如何针对不同的检测...

循环平稳理论的盲源分离原理与算法

本书对循环平稳理论的盲源分离原理与算法进行了全面系统的论述，推导了基于循环平稳度的盲源分离算法、基于对角化原理的循环平稳盲源分离算法、互信息量最小化的循环平稳信号盲源分离算法、变步长循环平稳信...

开关理论与逻辑设计