面向计算机科学的数理逻辑 系统建模与推理 modelling and reasoning about systems 【数理化】

本书对计算机科学方面的数理逻辑进行了综合介绍，涵盖了命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软件和硬件规范和验证这一主题，反映了计算机科学中数理...

变量筛选、模型分类及自动化建模方法 【数理化】

本书系统讨论了信息冗余对主成分分析、多元线性回归分析、岭回归、偏最小二乘回归等多元分析模型的影响方式，研究更合理有效的变量筛选方法和建模技术，以尽量减少人为因素对模型结果的影响，有利于自动化建模。...

空间几何建模及工程应用 【数理化】

本书主要介绍空间几何建模及其在机械工程、控制工程和土木工程中的应用，是紧跟当前科学技术快速发展的需要而编写的。第一章到第四章是空间几何建模，第五、六章为机构啮合基础理论，第八章为常用平面啮合，第九章...

数字图文图像颜色管理系统概论 【数理化】

本书系统而深入地介绍了数字图文图像颜色管理技术的基本概念、基础理论，以及应用方法。全书由基础篇和应用篇组成。基础篇包括第一章到到第七章，主要介绍传统色度学和现代色度学的基本理论和方法，其中涉及颜色...

歪招、月球鸟及数字命理学 【数理化】

本书都是马丁·加德纳在《科学美国人》杂志上发表的“数学游戏”专栏文章的集子，共5册。除了介绍各种游戏或趣味问题外，作者还简述了它们的前因后果及发展过程，并提出一些问题，供有兴趣的读者研究。...

非线性时间序列 建模、预报及应用 【数理化】

本书介绍非线性时间序列理论和方法的一些最新研究成果，尤其以近十年来发展起来的非参数和半参数技术为主。本书不仅对这些技术在时间序列状态空间、频域和时域等方面的应用给出了详细的介绍，同时，为了体现参数...

间歇过程统计建模及故障诊断研究 基于数据驱动角度 【数理化】

作为第二产业当中的一个子项，间歇生产过程是现代社会大生产当中比较有代表性的生产形势之一，因其具有比较好的灵活性、较高的产物附加值以及较悠久的发展历史，被应用在诸如制药、食品生产、化工材料制备等领域...

衍射计算及数字全息 上 【数理化】

在激光应用研究领域，标量衍射理论能够解决大量实际问题。然而，衍射计算十分繁杂，国内外研究的专著甚少，衍射计算通常成为大学生、研究生及科研人员遇到的难题。随着计算机及CCD技术的进步，基于衍射计算理论及计...

衍射计算及数字全息 下 【数理化】

在激光应用研究领域，标量衍射理论能够解决大量实际问题。然而，衍射计算十分繁杂，国内外研究的专著甚少，衍射计算通常成为大学生、研究生及科研人员遇到的难题。随着计算机及CCD技术的进步，基于衍射计算理论及计...

安全系统中的多模态生物特征识别与智能图像处理 【数理化】