【摘 要】
：
三分之二模拟为验证系统的实现满足其规范提供了抽象描述.为了刻画系统的实现逐渐接近于规范,该文利用网极限的观点,以三分之二模拟为基础,建立系统实现的收敛机制,说明系统
【机 构】
：
淮北师范大学计算机科学与技术学院,华东师范大学软件学院
【基金项目】
：
国家自然科学基金(61300048,61202105,91118007,61370100);上海高校知识服务平台-可信物联网产学研联合研发中心(筹)(ZF1213);安徽省自然科学基金资助项目(1308085QF117);安徽省高校省级自然科学研究项目(KJ2011A248,KJ2014A223)资助~~
论文部分内容阅读
三分之二模拟为验证系统的实现满足其规范提供了抽象描述.为了刻画系统的实现逐渐接近于规范,该文利用网极限的观点,以三分之二模拟为基础,建立系统实现的收敛机制,说明系统规范是其实现的极限形式.首先提出三分之二极限模拟和三分之二模拟极限的定义,建立三分之二模拟的极限理论.其次,建立三分之二极限模拟的拓扑结构,包括子网闭包、尾闭包、自然延拓和复合,证明三分之二模拟极限构成一个收敛类,并诱导一个拓扑,给出三分之二模拟极限的拓扑理论.最后,证明三分之二模拟极限在各种复合算子下的拟同余性（pre-congruence）
其他文献
在炼油化工生产作业过程中,导压管无论是在测量作业还是施工作业中都起到了重要作用,故而切实保障导压管安装的科学性、合理性和规范性是当前炼油化工企业确保各项生产作业顺
介绍了GSMARCS的总体目标和定义的主要业务功能,以及业务能力升级和功能扩展,分析了RCS在互联互通中所面临的挑战,总结了RCS的商业进展。
介绍了世界贸易组织与贸易有关的知识产权协议中涉及环境保护的条款,论述了加入WTO对我国环保企业的知识产权保护工作的影响,分析了入世给环保企业带来的机遇和挑战,探讨了环
人们常把兼并和收购统称为购并（Ｍｏｒｇｅｒ ＆ Ａｃｑｕｉｓｉｔｉｏｎ）。它们的联系和区别表现在：收购为原因，兼并为可能的结果之一；收购是手段，兼并为目的。按本人理解，兼并应和我国《公司法》中的吸收合并相同，而新
建立金融审计信息生态系统有利于解决金融审计信息生态失衡问题，对于推动我国金融审计有效参与国家治理具有现实意义。基于信息生态系统理论界定了金融审计信息生态系统的内涵
本文对收集到的共48次国外UF_6泄漏事故,进行了分类统计、原因分析和综合评论。并提出了预防UF_6泄漏事故的措施,供核燃料工业中接触UF_6的生产现场安全防护工作参考。
目的研究分娩球联合自由体位助产方式在初产妇分娩中的效果。方法将东莞市第三人民医院产科2016年3月-2017年9月接收的200例初产妇作为研究对象,随机分为观察组和对照组各100
文章阐述了公路测量工作的作用和意义,从人员、设备、施工阶段等方面,分析了公路测量中的常见问题,并提出了有效的解决措施。
合成了7种铽的稀土荧光有机材料——铽三元有机配合物,通过荧光光谱的测定,比较了第一配体的改变对配合物发光性能,尤其是发光强度的影响。实验表明,在以邻菲啉为第二配体的
采用自动化静态顶空（HS）-气质联用（GC-MS）技术对6个批次淡豆豉的挥发性成分进行快速分析鉴定。从测定到的40多种成分中确定了2-丁酮、3-甲基丁醛、2-甲基丁醛、香芹烯等11种共有