随机模型检测理论与应用
《随机模型检测理论与应用》,作者:周从华著 出版社:科学出版社 ISBN:9787030418920。本书致力于缓解随机模型检测中的状态空间爆炸问题。首先介绍了离散时间马尔可夫链、马尔可夫决策过程、连续时间马尔可夫链和概率实时解释系统中的限界检测技术。然后讨论了模型检测概率、实时认知时态逻辑中的二值与三值抽象技术。最后从应用出发，探讨了随机模型检测技术在云计算和物联网领域的应用。
理论
高维数据的特征选择——理论与算法
《高维数据的特征选择——理论与算法》,作者:刘波,何希平 出版社:科学出版社 ISBN:9787030493453。特征选择是机器学习的重要研究内容，有着广泛的应用价值。特征选择主要从数据（尤其是高维数据）中选取有效特征来表示数据，从而提高机器学习算法的性能。本书以重庆工商大学等单位的机器学习、图像处理课题为基础，系统地介绍特征选择的基本概念，以及相关的理论和算法，也对它的前沿研究（如无监督特
归纳学习 : 算法 理论 应用
《归纳学习 : 算法 理论 应用》,作者:洪家荣 出版社:科学出版社 ISBN:7030058984。机器学习，目前是人工智能的热门学科，归纳学习是机器学习最重要、最核心，也最成熟的一个分支。归纳学习旨在从大量的经验数据中归纳抽取出一般的规则和模式，因而成为知识获取的主要手段，在专家系统、模式识别、图像处理、语音识别等领域都有重要应用。本书概述了归纳学习的主要内容，包括主要学习算
突发水污染事件应急追溯理论与方法
《突发水污染事件应急追溯理论与方法》,作者:杨海东 著 出版社:科学出版社 ISBN:9787030694744。本书是专门研究突发水污染事件发生后应急追溯模块相关问题的著作，主要内容来源于作者及学生多年研究的积累。本书在已有研究的基础上，将理论分析与实际问题相结合，从大数据视角、原理分析、模型构建及方法设计等方面对突发水污染事件应急追溯管理模块相关问题进行了较为系统的研究，形成了比较完整的体系，
国家公园综合管理的理论、方法与实践
《国家公园综合管理的理论、方法与实践》,作者:闵庆文等 著 出版社:科学出版社 ISBN:9787030722942。本书从“生态保护第一、国家代表性和全民公益性”的国家公园体制建设理念出发，采用“分区、分类、分级”的管理思路，借鉴国外国家公园管理经验，并结合我国国家公园建设需求，全面阐述了国家公园生态监测体系构建、灾害风险管理、社区管理、文化遗产保护与利用、管理评价、综合管控分区与管控技术及综合
道路交通系统中驾驶行为理论与方法
《道路交通系统中驾驶行为理论与方法》,作者:王武宏等著 出版社:科学出版社 ISBN:7030095685。本书从道路交通系统安全化功能、道路交通事故致因生成原理、驾驶行为及其形成模式、道路交通系统安全性动态分析方法等的角度，详细论述了驾驶行为的理论和方法。
航海图自动制图综合理论与方法
《航海图自动制图综合理论与方法》,作者:张立华等著 出版社:科学出版社 ISBN:9787030723024。本书围绕航海图生产需求，系统阐述了航海图自动制图综合的基本理论与方法，主要包括航海图自动制图综合的基本概念和内容、航海图自动制图综合的数据基础和基本方法、水深注记的自动选取、等深线的自动化简、海岸线的自动化简、岛屿的自动选取和航标的自动选取等内容。本书展示了航海图自动制图综合方面的最新技术
极端环境下材料动态力学参数测试理论与方法
《极端环境下材料动态力学参数测试理论与方法》,作者:王敏庆,闫孝伟,胡卫强 编著 出版社:科学出版社 ISBN:9787030710314。材料动态力学参数是机械结构动力学分析、结构振动噪声分析的关键输入参数，极端环境下材料动态力学参数的准确测试至关重要。本书是作者对近三十年材料动态力学参数测试技术及在机械结构噪声与振动特性预报和控制应用等领域教学、科研工作的总结，内容主要包含材料动态力学参数测试
装备系统分析理论与方法
《装备系统分析理论与方法》,作者:陈士涛,赵保军,李大喜 编著 出版社:科学出版社 ISBN:9787030710369。装备的发展过程是一个系统性很强的实践过程，从总体角度研究装备发展所采用的理论和方法均为系统分析理论与方法。本书从系统的角度对在装备发展过程中已广泛应用的装备概念研究、能力需求论证、费用分析、效费分析、风险分析、系统综合评价、系统建模与仿真等系统分析理论与方法进行较为全面的归纳和
实时监测桥梁寿命预测理论及应用
《实时监测桥梁寿命预测理论及应用》,作者:周建庭，杨建喜，梁宗保著 出版社:科学出版社 ISBN:9787030273871。本书阐述了信息论、非线性分析、混沌以及时间序列在桥梁实时监测安全评估和寿命预测中应用的理论和工程应用过程。
