游客,欢迎您!
登录
注册
您的建议
0
高级检索
全部
题名
ISBN
作者
出版社
客户端下载
个人中心
学科
哲学
哲学
经济学
理论经济学
应用经济学
法学
法学
政治学
社会学
民族学
马克思主义理论
公安学
教育学
教育学
心理学
体育学
文学
中国语言文学
外国语言文学
新闻传播学
历史学
考古学
中国史
世界史
理学
数学
物理学
化学
天文学
地理学
大气科学
海洋科学
地球物理学
地质学
生物学
系统科学
科学技术史
生态学
统计学
工学
力学
机械工程
光学工程
仪器科学与技术
材料科学与工程
冶金工程
动力工程及工程热物理
电气工程
电子科学与技术
信息与通信工程
控制科学与工程
计算机科学与技术
建筑学
土木工程
水利工程
测绘科学与技术
化学工程与技术
地质资源与地质工程
矿业工程
石油与天然气工程
纺织科学与工程
轻工技术与工程
交通运输工程
船舶与海洋工程
航空宇航科学与技术
兵器科学与技术
核科学与技术
农业工程
林业工程
环境科学与工程
生物医学工程
食品科学与工程
城乡规划学
风景园林学
软件工程
生物工程
安全科学与工程
公安技术
农学
作物学
园艺学
农业资源利用
植物保护
畜牧学
兽医学
林学
水产
草学
医学
基础医学
临床医学
口腔医学
公共卫生与预防医学
中医学
中西医结合
药学
中药学
特种医学
医学技术
护理学
军事学
军事思想及军事历史
战略学
战役学
战术学
军队指挥学
军制学
军队政治工作学
军事后勤学与军事装备学
军事装备学
军事训练学
管理学
管理科学与工程
工商管理
农林经济管理
公共管理
图书馆、情报与档案管理
艺术学
艺术学理论
音乐与舞蹈学
戏剧与影视学
美术学
设计学
中图法
A 马克思主义、列宁主义、毛泽东思想、邓小平理论
B 哲学、宗教
哲学理论
C 社会科学总论
社会学
D 政治、法律
政治理论
E 军事
军事理论
、
世界军事
F 经济
经济学
、
农业经济
G 文化、科学、教育、体育
H 语言、文字
语言学
、
汉语
I 文学
文学理论
、
世界文学
J 艺术
艺术理论
、
摄影艺术
K 历史、地理
史学理论
N 自然科学总论
系统科学
O 数理科学和化学
数学
P 天文学、地球科学
天文学
Q 生物科学
植物学
、
动物学
R 医药、卫生
医学研究方法
S 农业科学
农业经济
、
园艺
T 工业技术
工业技术理论
U 交通运输
交通运输经济
V 航空、航天
航空、航天医学
X 环境科学、安全科学
Z 综合性图书
丛书
、
辞典
首页
新书专区
专题推荐
排行榜
数字资源平台
>
工学
>
计算机科学与技术(可授工学、理学学位)
>
计算机软件与理论
>
基于环境的软件近似正确性
阅读次数:
1
下载次数:
1
荐购次数:
1
收藏次数:
0
基于环境的软件近似正确性
作者:
马艳芳
著
出版社:
中国科学技术大学出版社
出版时间:
2017.01
ISBN:
978-7-312-04102-0
主题:
程序正确性证明
中图法分类号:
TP311.1
【中图法分类】
T 工业技术
>
TP自动化技术、计算机技术
>
TP3计算技术、计算机技术
>
TP31计算机软件
【学科分类】
工学
>
计算机科学与技术(可授工学、理学学位)
>
计算机软件与理论
工学
>
电子信息
>
计算机技术
工学
>
电子信息
>
软件工程
建议阅读终端:
扫描用手机阅读此书支持Android/iPhone
在线试读
PDF格式
下载
PDF下载
分享到
新浪微博
QQ空间
豆瓣网
注:如果您的电脑尚未安装PC客户端,请先
安装客户端
后再下载阅读!
编辑推荐
简介
目录
评论
暂无推荐
简介
本书基于进程代数理论中的通信系统演算(CCS)模型对软件的近似正确性进行了形式化描述和度量。从接受和拒绝环境角度,以参数化互模拟和三分之二互模拟为基础,建立了参数化互模拟和三分之二互模拟的无限演化理论及拓扑理论,建立了近似的参数化互模拟和近似的三分之二互模拟理论。
目录
封面
内容简介
版权页
前言
目录
第1章 引言
1.1 软件正确性及其意义
1.2 研究现状
1.3 内容安排
第2章 基础知识
2.1 进程演算(CCS)基础
2.2 三分之二互模拟
2.3 参数化互模拟
2.4 定向集及其性质
第3章 三分之二互模拟无限演化与拓扑
3.1 引言
3.2 三分之二互模拟的无限演化
3.2.1 三分之二极限互模拟
3.2.2 三分之二极限互模拟的拓扑结构
3.3 三分之二互模拟极限
3.3.1 三分之二互模拟极限
3.3.2 三分之二互模拟极限的拟同余性
3.4 三分之二互模拟拓扑
第4章 进程之间近似程度的度量模型
4.1 引言
4.2 λ-三分之二互模拟及其性质
4.2.1 三分之二互模拟索引
4.2.2 λ-三分之二互模拟
4.3 λ-三分之二互模拟等价的模态逻辑刻画
4.4 基于三分之二互模拟的静态近似正确性量化模型
第5章 参数化互模拟无限演化与拓扑
5.1 引言
5.2 参数化互模拟的无限演化
5.2.1 参数化极限互模拟
5.2.2 参数化极限互模拟的拓扑结构
5.3 参数化互模拟极限
5.4 参数化互模拟拓扑
5.4.1 收敛类
5.4.2 参数化互模拟拓扑
第6章 近似的参数化互模拟
6.1 引言
6.2 参数化互模拟索引
6.3 λ-参数化互模拟
6.4 在环境e下λ-参数化互模拟的同余性
第7章 概率化参数互模拟
7.1 引言
7.2 概率化参数互模拟
7.3 近似的概率化参数互模拟
第8章 概率进程近似互模拟的无限演化及拓扑结构
8.1 引言
8.2 互模拟的无限演化
8.3 互模拟极限
8.4 ∈极限互模拟的拓补结构
8.4.1 尾闭包
8.4.2 自然延拓
8.4.3 符合结构
第9章 总结与展望
符号索引
参考文献
封底
展开 ∨
评论
评分:
1
2
3
4
5
评价:
请输入评论信息
5
0
/255
我要评论
全部评论(1)
默认排序
默认排序
最新排序
呀
这本书内容十分精彩,值得阅读,十分推荐。
2025-04-15 12:02
点赞
回复
0
/200
回复
相关推荐
WPS高级办公软件应用
李洁琛,单永生,彭丹主编
Adobe创意大学Premiere Pro影视剪辑师标准实训教材
何清超,纪春光,俞洪辉编著
Adobe创意大学视频编辑师After Effects CS5+Premiere Pro CS5标准实训教材
高仰伟,郭瑞编著
Adobe创意大学Premiere Pro产品专家认证标准教材:CS6
扈培训,高仰伟,王夕勇编著
Adobe创意大学Premiere Pro CS5影视剪辑师标准实训教材
何清超,纪春光,张志坚编著
VRP 11虚拟现实编辑器标准教程
郭翠翠主编
AI职场应用66问
向安玲编著
Python数据分析、挖掘与可视化从入门到精通
熊熙,张雪莲编著
AIGC时代:游戏美术设计与AI绘画应用从入门到精通
于国辉编著
HTML5+CSS3网页设计与制作基础教程
邱雷编著
请输入图形验证码
换一换
Loading...