三分之二模拟拓扑

• 作者: 张敏 陈仪香 马艳芳
• 来源期刊: 计算机学报
• 学科: 工学
• 关键词: 正确性 极限 拓扑 进程代数 三分之二模拟
• 年，卷（期）: 2014,（8）
• 所属期刊栏目: 计算机软件与理论
• 页码范围: 1719-1731
• 页数: 13页
• 分类号: TP301
• 字数: 16010字
• 语种: 中文
• DOI: 10.3724/SP.J.1016.2014.01719

摘要

三分之二模拟为验证系统的实现满足其规范提供了抽象描述.为了刻画系统的实现逐渐接近于规范,该文利用网极限的观点,以三分之二模拟为基础,建立系统实现的收敛机制,说明系统规范是其实现的极限形式.首先提出三分之二极限模拟和三分之二模拟极限的定义,建立三分之二模拟的极限理论.其次,建立三分之二极限模拟的拓扑结构,包括子网闭包、尾闭包、自然延拓和复合,证明三分之二模拟极限构成一个收敛类,并诱导一个拓扑,给出三分之二模拟极限的拓扑理论.最后,证明三分之二模拟极限在各种复合算子下的拟同余性(pre-congruence),进而说明各种复合算子关于三分之二模拟极限的连续性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张敏	华东师范大学软件学院	34	171	7.0	12.0
2	马艳芳	淮北师范大学计算机科学与技术学院	19	22	3.0	3.0
3	陈仪香	华东师范大学软件学院	20	64	4.0	7.0