-
题名三分之二模拟拓扑
- 1
-
-
作者
马艳芳
张敏
陈仪香
-
机构
淮北师范大学计算机科学与技术学院
华东师范大学软件学院
-
出处
《计算机学报》
EI
CSCD
北大核心
2014年第8期1719-1731,共13页
-
基金
国家自然科学基金(61300048
61202105
+5 种基金
91118007
61370100)
上海高校知识服务平台-可信物联网产学研联合研发中心(筹)(ZF1213)
安徽省自然科学基金资助项目(1308085QF117)
安徽省高校省级自然科学研究项目(KJ2011A248
KJ2014A223)资助~~
-
文摘
三分之二模拟为验证系统的实现满足其规范提供了抽象描述.为了刻画系统的实现逐渐接近于规范,该文利用网极限的观点,以三分之二模拟为基础,建立系统实现的收敛机制,说明系统规范是其实现的极限形式.首先提出三分之二极限模拟和三分之二模拟极限的定义,建立三分之二模拟的极限理论.其次,建立三分之二极限模拟的拓扑结构,包括子网闭包、尾闭包、自然延拓和复合,证明三分之二模拟极限构成一个收敛类,并诱导一个拓扑,给出三分之二模拟极限的拓扑理论.最后,证明三分之二模拟极限在各种复合算子下的拟同余性(pre-congruence),进而说明各种复合算子关于三分之二模拟极限的连续性.
-
关键词
正确性
极限
拓扑
进程代数
三分之二模拟
-
Keywords
correctness
limit
topology
process algebra
two-thirds simulation
-
分类号
TP301
[自动化与计算机技术—计算机系统结构]
-
