![交互式马尔可夫链 并发系统的设计、验证与评价](https://cover.qianqiantushu.cc/10/s6bec76d.jpg)
![交互式马尔可夫链 并发系统的设计、验证与评价](https://cover.qianqiantushu.cc/10/s6bec76d.jpg)
交互式马尔可夫链 并发系统的设计、验证与评价PDF电子书下载
- 电子书积分:8 积分如何计算积分?
- 作 者:吴尽昭,王永祥,覃广平著
- 出 版 社:北京:科学出版社
- 出版年份:2007
- ISBN:7030188667
- 页数:109 页
第一章 绪论 1
1.1 研究背景 1
1.1.1 并发系统的功能分析 2
1.1.2 并发系统的性能分析 3
1.1.3 并发系统的层次化设计分析 3
1.2 研究内容 4
1.2.1 等价关系 5
1.2.2 模型检验 5
1.2.3 动作细化 6
1.2.4 相关工作 6
1.3 本书组织 7
第二章 预备知识 9
2.1 概率、随机变量与分布函数 9
2.1.1 测度空间与概率空间 9
2.1.2 随机变量及其分布函数 10
2.2 随机过程 11
2.2.1 离散时间马尔可夫链 13
2.2.2 连续时间马尔可夫链 14
2.2.3 马尔可夫分析 18
第三章 交互式马尔可夫链 20
3.1 进程代数与标记转移系统 20
3.2 带标记的连续时间马尔可夫链 24
3.3 交互式马尔可夫链(IMC) 26
3.3.1 随机进程代数模型 26
3.3.2 交互式马尔可夫链 28
3.4 IMC的代数刻画 31
3.5 IMC的逻辑刻画 34
3.5.1 IMC的路径及其上的概率 34
3.5.2 aCSL逻辑的语法 36
3.5.3 aCSL逻辑的语义 38
第四章 分支时间等价和前序关系 40
4.1 概述 40
4.2 互模拟等价关系 41
4.2.1 强互模拟等价 41
4.2.2 弱互模拟等价 42
4.3 模拟前序关系 44
4.3.1 强模拟前序关系 45
4.3.2 弱模拟前序关系 48
4.4 逻辑特征 52
4.4.1 互模拟关系的逻辑特征 52
4.4.2 模拟关系的逻辑特征 55
4.5 小结 58
第五章 动作细化 60
5.1 概述 60
5.1.1 什么是动作细化 60
5.1.2 动作细化的不同观点 62
5.1.3 同余性问题 63
5.2 基本假设 64
5.3 基于IMC代数刻画的语法细化 65
5.4 语义细化 68
5.5 性质 73
5.5.1 交织语义的等价关系概念 73
5.5.2 同余性 75
5.5.3 语法和语义细化的一致性 80
第六章 模型检验 83
6.1 概述 83
6.2 基本原理 84
6.3 IMC逻辑刻画的表达能力回顾 87
6.4 模型检验算法 88
6.4.1 基本布尔运算的计算 88
6.4.2 概率算子p的计算 90
6.4.3 F(s,t)与G(s,t)的计算 94
6.4.4 IMC模型检验算法 95
6.5 实例分析 96
6.6 算法效率分析及优化考虑 100
6.6.1 算法效率分析 100
6.6.2 优化考虑 101
参考文献 103
- 《重庆市绿色建筑评价技术指南》重庆大学,重庆市建筑节能协会绿色建筑专业委员会主编 2018
- 《Power BI数据清洗与可视化交互式分析》陈剑 2020
- 《环境影响评价公众参与理论与实践研究》樊春燕主编 2019
- 《江苏中小企业生态环境评价报告》南京大学金陵学院企业生态研究中心 2019
- 《基于核心素养的有效学习与学业评价策略 初中政治》李亚莉主编 2018
- 《王充儒道思想评价》颜莉著 2020
- 《江苏中小企业生态环境评价报告 2016》南京大学金陵学院企业生态研究中心 2017
- 《中国二氧化碳减排和环境协同效益评价模型的构建与研究》杨曦,滕飞著 2019
- 《计算机自适应英语语用能力测试系统设计与效度验证 以TEM4词汇与语法题为例》张一鑫著 2019
- 《江苏中小企业生态环境评价报告 2017》南京大学金陵学院企业生态研究中心 2018
- 《指向核心素养 北京十一学校名师教学设计 英语 七年级 上 配人教版》周志英总主编 2019
- 《《走近科学》精选丛书 中国UFO悬案调查》郭之文 2019
- 《北京生态环境保护》《北京环境保护丛书》编委会编著 2018
- 《中医骨伤科学》赵文海,张俐,温建民著 2017
- 《美国小学分级阅读 二级D 地球科学&物质科学》本书编委会 2016
- 《指向核心素养 北京十一学校名师教学设计 英语 九年级 上 配人教版》周志英总主编 2019
- 《强磁场下的基础科学问题》中国科学院编 2020
- 《小牛顿科学故事馆 进化论的故事》小牛顿科学教育公司编辑团队 2018
- 《小牛顿科学故事馆 医学的故事》小牛顿科学教育公司编辑团队 2018
- 《高等院校旅游专业系列教材 旅游企业岗位培训系列教材 新编北京导游英语》杨昆,鄢莉,谭明华 2019