- 作 者：马艳芳著
- 出 版 社：合肥：中国科学技术大学出版社
- 出版年份：2017
- ISBN：9787312041020
- 标注页数：132 页
- PDF页数：141 页
请阅读订购服务说明与试读!
订购服务说明
1、本站所有的书默认都是PDF格式，该格式图书只能阅读和打印，不能再次编辑。
2、除分上下册或者多册的情况下，一般PDF页数一定要大于标注页数才建议下单购买。【本资源141 ≥132页】
图书下载及付费说明
1、所有的电子图书为PDF格式，支持电脑、手机、平板等各类电子设备阅读；可以任意拷贝文件到不同的阅读设备里进行阅读。
2、电子图书在提交订单后一般半小时内处理完成,最晚48小时内处理完成。(非工作日购买会延迟)
3、所有的电子图书都是原书直接扫描方式制作而成。
第1章 引言 1
1.1 软件正确性及其意义 1
1.2 研究现状 5
1.3 内容安排 9
第2章 基础知识 10
2.1 进程演算（CCS）基础 10
2.2 三分之二互模拟 15
2.3 参数化互模拟 17
2.4 定向集及其性质 20
第3章 三分之二互模拟无限演化与拓扑 22
3.1 引言 22
3.2 三分之二互模拟的无限演化 23
3.2.1 三分之二极限互模拟 24
3.2.2 三分之二极限互模拟的拓扑结构 25
3.3 三分之二互模拟极限 30
3.3.1 三分之二互模拟极限 30
3.3.2 三分之二互模拟极限的拟同余性 34
3.4 三分之二互模拟拓扑 37
第4章 进程之间近似程度的度量模型 41
4.1 引言 41
4.2 λ-三分之二互模拟及其性质 42
4.2.1 三分之二互模拟索引 42
4.2.2 λ-三分之二互模拟 45
4.3 λ-三分之二互模拟等价的模态逻辑刻画 48
4.4 基于三分之二互模拟的静态近似正确性量化模型 52
第5章 参数化互模拟无限演化与拓扑 59
5.1 引言 59
5.2 参数化互模拟的无限演化 60
5.2.1 参数化极限互模拟 61
5.2.2 参数化极限互模拟的拓扑结构 64
5.3 参数化互模拟极限 69
5.4 参数化互模拟拓扑 75
5.4.1 收敛类 75
5.4.2 参数化互模拟拓扑 77
第6章 近似的参数化互模拟 81
6.1 引言 81
6.2 参数化互模拟索引 82
6.3 λ-参数化互模拟 86
6.4 在环境e下λ-参数化互模拟的同余性 89
第7章 概率化参数互模拟 92
7.1 引言 92
7.2 概率化参数互模拟 93
7.3 近似的概率化参数互模拟 98
第8章 概率进程近似互模拟的无限演化及拓扑结构 102
8.1 引言 102
8.2 ？-互模拟的无限演化 103
8.3 ？-互模拟极限 106
8.4 ？-极限互模拟的拓扑结构 113
8.4.1 尾闭包 113
8.4.2 自然延拓 114
8.4.3 复合结构 115
第9章 总结与展望 121
符号索引 123
参考文献 124