随机模型检测理论与应用

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

素数分布方程理论与证明

本书是一本数学方面的学术专著。作者提出素数分布理论，总结、归纳了素数分布方程的特征与性质，证明了在八个等差数列中，素数的个数都是近似相等的，这一成果改进了埃氏筛法，建立了偶数的15种类型64个方程，为孪生.....

最优化基础理论与方法

本书主要介绍最优化的相关的基础理论、无约束优化问题的最优性条件以及线性搜索技术、无约束最优化算法、约束优化问题的最优性条件、二次规划的求解算法、一般非线性约束最优化问题的罚函数法等，并给出了一...

现代数学中的流形理论 纯粹数学与应用数学研究专著

实对称矩阵的拟特征值理论与应用

本书的中心内容是建立矩阵特征值的一个新的应用分支——实对称矩阵的拟特征值（及向量）的分析方法。

交换环与星型算子理论

本书介绍了交换环上的模范畴，经典Noether环的理想理论，凝聚环的同调方法，整扩张理论，维数理论，以及今年来众多学者关注的整环上的星型算子理论。此外，还介绍了整体维数为二的交换环上的Bass-Quillen问题方法及Fit...

声学理论与工程应用

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

惠更斯与巴罗，牛顿与胡克 数学分析与突变理论的起步 从渐伸线到准晶体

分数统计与量子理论 Fractional Statistics and Quantum Theory

随机服务系统的理论与实务

为了能够建立一个优良的服务系统，并使之有效运转，必须先要清楚地了解在不同条件下，系统行为以及状态的变化，并以此作为设置服务系统和运作规则的依椐。第一章讨论什么是系统行为以及衡量其绩效尺度的基本概念以...