随机

随机微分方程及其应用. 第一卷.pdf

本书阐述随机微分方程的理论以及它在概率论、偏微分方程以及随机控制问题中的应用. 第一卷共九章.第一到五章介绍随机微分方程的基本理论,包括随机过程、马氏过程、布朗运动、随机积分和随机微分方程,第六章论述偏微分方程解与随机微分方程解之间的联系,第七章介绍基尔萨诺夫公式

概率论与随机过程.pdf

本书共分两部分。第一部分为概率论基础,主要介绍了条件分布、随机向量变换、条件数学期望、特征函数等本科阶段尚未或少许涉及的内容;第二部分为随机过程基础,主要介绍了马尔可夫过程、泊松过程、更新过程以及平稳过程等在科学技术中应用广泛的几类随机过程。

随机积分与不等式.pdf

本书讨论了在微积分中的一些不等式,着重介绍随机不等式,特别是关联与连续过程的不等式。全书分两部分,第一部分介绍连续鞅、连续积分与随机微分方程;第二部分介绍近年来在连续鞅与随机微积分中发现的不等式。

随机过程论.pdf

本书第一卷系统介绍随机函数论和函数空间测度理论的一般问题.共分八章,包括概率论的基本概念,随机序列,随机函数,随机过程线性理论,函数空间上的概率测度,随机过程的极限定理,对应于随机过程的测度的绝对连续性Hilbert空间上的可测函数. 本书前三章及注释由邓永录翻译

随机模型检测理论与应用.pdf

本书致力于缓解随机模型检测中的状态空间爆炸问题。首先介绍了离散时间马尔可夫链、马尔可夫决策过程、连续时间马尔可夫链和概率实时解释系统中的限界检测技术。然后讨论了模型检测概率、实时认知时态逻辑中的二值与三值抽象技术。最后从应用出发,探讨了随机模型检测技术在云计算和物联网领域的应用。