基于环境的软件近似正确性PDF电子书下载
- 电子书积分:8 积分如何计算积分?
- 作 者:马艳芳著
- 出 版 社:合肥:中国科学技术大学出版社
- 出版年份:2017
- ISBN:9787312041020
- 页数:132 页
第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
- 《北京生态环境保护》《北京环境保护丛书》编委会编著 2018
- 《你好,生态环境部!》生态环境部编 2019
- 《虚拟流域环境理论技术研究与应用》冶运涛蒋云钟梁犁丽曹引等编著 2019
- 《软件工程》齐治昌,谭庆平,宁洪编著 2019
- 《长江口物理、化学与生态环境调查图集》于非 2019
- 《环境影响评价公众参与理论与实践研究》樊春燕主编 2019
- 《一带一路非洲东北部区生态环境遥感监测》俞乐 2019
- 《土壤环境监测前沿分析测试方法研究》中国环境监测总站编著 2018
- 《江苏中小企业生态环境评价报告》南京大学金陵学院企业生态研究中心 2019
- 《有机磷酸酯的暴露、毒性机制及环境风险评估》许宜平,王子健等著 2019
- 《中风偏瘫 脑萎缩 痴呆 最新治疗原则与方法》孙作东著 2004
- 《水面舰艇编队作战运筹分析》谭安胜著 2009
- 《王蒙文集 新版 35 评点《红楼梦》 上》王蒙著 2020
- 《TED说话的力量 世界优秀演讲者的口才秘诀》(坦桑)阿卡什·P.卡里亚著 2019
- 《燕堂夜话》蒋忠和著 2019
- 《经久》静水边著 2019
- 《魔法销售台词》(美)埃尔默·惠勒著 2019
- 《微表情密码》(波)卡西亚·韦佐夫斯基,(波)帕特里克·韦佐夫斯基著 2019
- 《看书琐记与作文秘诀》鲁迅著 2019
- 《酒国》莫言著 2019
- 《钒产业技术及应用》高峰,彭清静,华骏主编 2019
- 《大学计算机实验指导及习题解答》曹成志,宋长龙 2019
- 《现代水泥技术发展与应用论文集》天津水泥工业设计研究院有限公司编 2019
- 《中国当代乡土小说文库 本乡本土》(中国)刘玉堂 2019
- 《异质性条件下技术创新最优市场结构研究 以中国高技术产业为例》千慧雄 2019
- 《Prometheus技术秘笈》百里燊 2019
- 《中国铁路人 第三届现实主义网络文学征文大赛一等奖》恒传录著 2019
- 《莼江曲谱 2 中国昆曲博物馆藏稀见昆剧手抄曲谱汇编之一》郭腊梅主编;孙伊婷副主编;孙文明,孙伊婷编委;中国昆曲博物馆编 2018
- 《中国制造业绿色供应链发展研究报告》中国电子信息产业发展研究院 2019
- 《中国陈设艺术史》赵囡囡著 2019