随机模型检测理论与应用 电子书下载 PDF下载
内容简介
《随机模型检测理论与应用》致力于缓解随机模型检测中的状态空间爆炸问题。首先介绍了离散时间马尔科夫链、马尔科夫决策过程、连续时间马尔科夫链和概率实时解释系统上的限界检测技术。然后讨论了模型检测概率、实时认知时态逻辑中的二值与三值抽象技术。最后从应用出发，探讨了随机模型检测技术在云计算和物联网领域的应用。
同类热门电子书下载更多
- 自然哲学的数学原理（全新修订本）
- 线性代数应该这样学（第3版）
- 时间序列分析及应用（R语言）（原书第2版）
- 应用线性统计模型 上册（英文影印版 原书第5版）
- 数学分析原理（原书第3版）
- 西方数学文化理念传播译丛：高观点下的初等数学（全3册）
- 数论经典著作系列：初等数论（Ⅰ）
- Mathematica基础及其在数学建模中的应用（第2版）
- 凸优化算法
- 数学建模及其基础知识详解
- 线性代数（原书第9版）
- 高等代数习题解（上）（修订版）
- б.п.吉米多维奇数学分析习题集题解（1）（第4版）
- 数值分析（原书第2版）
- 多层统计分析模型：SAS与应用
- 拟线性椭圆型方程的现代变分方法
- 有限元分析的数学建模、校核与验证
- 应用随机过程 概率模型导论（第11版）
- 来自德国的数学盛宴
- 数论2：岩泽理论和自守形式
Copyright © 2024 by topbester.com.
All Rights Reserved.
沪ICP备14027842号-1
All Rights Reserved.
沪ICP备14027842号-1