随机模型检测理论与应用

本书致力于缓解随机模型检测中的状态空间爆炸问题。首先介绍了离散时间马尔科夫链、马尔科夫决策过程、连续时间马尔科夫链和概率实时解释系统上的限界检测技术。然后讨论了模型检测概率、实时认知时态逻辑...

智能优化方法的研究及应用

本书结合实例对这些算法的构建过程进行讲解，深入浅出，通俗易懂；研究进展体现了国内外在这方面的最新进展，开阔了读者思维；同时，提供了大量经典而重要的参考资料，为读者进一步深入学习和理解算法提供方便。...

进化计算与粗糙集研究及应用

本书以进化计算和粗糙集为研究目标，内容包括进化计算的数列模型及其在收敛性分析中的应用，基于种群信息熵的思维进化算法自适应搜索策略研究，基于位编码可分辨矩阵的决策规则获取算法的研究，基于思维进化算法和...

声学理论与工程应用

本书系统介绍了声学的基础理论和若干工程应用。全书共分四篇。第一篇介绍声学的基础理论；第二篇介绍噪声控制技术，主要是空气噪声控制技术，在吸声一章，附带介绍了消声瓦的设计与应用；第三篇介绍结构声原理及其控...

电磁场的多尺度变换理论及其应用

本书系统地研究了电磁场的多尺度理论及其应用。

数理统计理论、应用与软件实现

本书共分五章，系统地介绍了数理统计的基本理论与基本方法，内容包括数理统计的基本概念、参数估计、假设检验、方差分析和回归分析以及典型案例的分析与软件实现。本书注重统计思想和方法的介绍，强调统计的实际...

稳定性的理论、方法和应用 第2版

本书用现代数学工具介绍了经典的Lyapunov稳定性理论、方法及一些近代的应用。

红外光谱法在高分子研究中的应用

非线性振动理论中的解析方法及工程应用

有限元基础理论与ANSYS 11.0应用

本书内容包括：有限元法及ANSYS概述，有限元法基础理论。ANSYS建模，结构线性静力分析，动力学分析，非线性分析、其他问题分析等。