【摘 要】
：
进程代数是并发理论研究的主流方向,是分析和描述并发与分布式系统的重要工具之一。模拟是进程代数中刻画精化关系的核心概念。共变-逆变模拟派生于通常的模拟关系,它区分动
【机 构】
：
南京航空航天大学计算机科学与技术学院
【基金项目】
：
国家自然科学基金（60973045）资助
论文部分内容阅读
进程代数是并发理论研究的主流方向,是分析和描述并发与分布式系统的重要工具之一。模拟是进程代数中刻画精化关系的核心概念。共变-逆变模拟派生于通常的模拟关系,它区分动作的类型,直观上,表达了状态的行为数目越多但并不一定越好的事实。然而,该模拟关系忽略了可观测动作与内动作的区别。因此,给出一种弱共变-逆变模拟关系及其相应的公理刻画,并且建立了该公理系统的可靠性与基完备性,进而证明了该公理系统亦是ω-完备的。
其他文献
随着信息技术在档案管理中的不断应用，档案信息载体发生了革命性的变化，电子文件数量与日俱增，人类正步入数字化信息时代。作为社会信息资源系统一个重要组成部分的档案馆，面临着
8月18日，由中国兵器工业档案馆组成的档案单项验收组对内蒙古一机集团公司两项固定资产投资项目档案管理进行了验收，集团公司总经理助理王铁生和有关职能部门及项目执行单位的
在图书、情报、档案管理与服务中,我们通常强调"读者至上"的服务理念.这一理念在相当长的时期内,推动了图书、情报、档案事业的不断发展.然而在现代图书、情报、档案管理理念
档案害虫具有耐干燥、耐热、耐低温、杂食性和繁殖力强等特性，所以在我国分布广泛。钻蛀式的害虫可进入档案、图书内蛀食为害，使档案、资料百孔千疮，如档案窃蠹、烟草甲、药材甲
1999年，东风公司按照建立现代企业制度的方向和建设具有国际竞争力企业集团的要求，以机制转换为核心，进行了公司体制的重大改革。公司档案室重新组建为
网构软件是网络开放、动态和多变环境下软件系统基本形态的一种抽象,其演化性要求软件能根据应用需求和运行环境变化而动态演化。引入了软件需求工程中场景的概念,但不同的是
一、引言 2000年7月，广州地区九所院校合并组成新广州大学。档案室顺应新形势，坚持以业务建设为核心，以提高档案利用率为目的，强化服务意识，制订了《广州大学档案工作规范》，健全与
测绘学是一门古老而新生的科学,其形成和发展极大地依赖于测绘技术方法和仪器设备的变革.随着知识经济时代的到来,空间技术和信息技术的飞速发展对测绘学科的发展产生了一系
针对目前稀疏表示字典学习的惩罚函数版本不一且各有优势的问题,提出基于子编码和全编码联合惩罚的稀疏表示字典学习方法,该方法在字典学习的目标函数中同时加入子编码惩罚函数和全编码惩罚函数。子编码惩罚函数使得学习后的字典在稀疏表示识别时可以用子字典的重构误差和子字典上编码系数的大小来识别,全编码惩罚函数则能直接利用整个字典上的编码系数来识别,通过联合这两个惩罚函数可以获得非常好的识别效果。为了验证所提方法
人类已进入信息社会.档案编研作为社会信息资源的组成部分,是档案信息开发利用的重要手段.档案编研如何实现自身意识或观念的转变、更新,能否适应市场经济形势发展的需要,对