随机模型检测理论与应用 【数理化】

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

结构可靠度随机有限元 理论及工程应用 【工业技术】

本书讨论可靠度随机有限元，内容包括：非正态变量的变量置换，随机场离散法，结构系统可靠度和作开发的随机有限元软件等。

应用随机过程 【数理化】

本书是现代应用随机过程教材，内容从初等入门到现代前沿，包括预备知识、随机过程的基本类型、Poisson过程、更新过程、Markov链、鞅、Brown运动、随机积分、随机微分方程及应用、Levy过程等。本书配有大量与社...

随机函数论原理及其在水文气象学中的应用 【天文地球】

微分方程及其应用 【其他书籍】

应用常微分方程 【数理化】

三角、随机行走及图灵机 【数理化】

马丁·加德纳是美国科普界叱咤风云数十年的大师级人物，也是《科学美国人》杂志的一位长期专栏作家，在数学传播领域发挥了无可替代的作用。本书是马丁·加德纳在《科学美国人》杂志上发表的“数学游戏”专栏文...

随机波浪及其工程应用 第3版 【天文地球】

本书比较系统地论述了随机波浪的理论基础：随机过程、随机过程的谱分析、线性系统的分析和不规则波浪要素的统计分布，海浪谱的概念、表达式及其测量和估算方法，不规则波浪的数值模拟和物理模型试验，波浪的传播和...

微分方程及其应用 【数理化】

微分方程及其应用 【工业技术】