【摘 要】
：
在进程代数框架内基于算子的性质研究抽象安全性质及其偏序关系，定义了复合不变安全性质和可构造安全性质．首先证明进程代数算子在安全性质集是单调衰减算子．根据这一结果证明了
【基金项目】
：
国家“八六三”高技术研究发展计划基金项目（2003AA146010）
论文部分内容阅读
在进程代数框架内基于算子的性质研究抽象安全性质及其偏序关系，定义了复合不变安全性质和可构造安全性质．首先证明进程代数算子在安全性质集是单调衰减算子．根据这一结果证明了复合不变性质和可构造安全性质在安全性质集上的存在性，并且在安全性质集合上证明了安全性质的“木桶原理”，即复合系统的整体安全性不强于系统中最弱的部分．基于安全性质之间的偏序关系，将所谓绝对安全性质与平凡性质联系起来，证明绝对安全性质是一类平凡性质．
其他文献
遂川。是一个有着千年历史的古老山区县，位于罗霄山脉南段东麓，是五百里井冈的南大门。1927年10月．毛泽东率领三湾改编后的秋收起义部队登上井冈山。在井冈山斗争的烽火岁月里，一
分析了在新时期如何使建筑工程专业适应高等职业教育的新要求,为适应社会的需要,从理论教学、实践性教学等方面进行改革分析,并提出了实践教学环节综合能力培养方案,探索出了
Web测试集排序技术是在满足一定的测试覆盖标准下,对测试用例进行择优排序,从而快速获取最优符合测试目的的测试用例,大大提高测试检错效率.提出了一种双优排序策略,对基于用
研究了无线传感器网络中基于窗口的近似连续查询的处理问题.根据基于窗口的近似连续查询的特点,传送查询窗口内所有节点的感知数据是不必要的,用户希望用查询结果的精度来换
基于莆田电业局WAP现场管理系统的建设实例．阐述了系统开发背景、系统结构、系统功能、系统创新点和技术特点、系统应用效果，并对系统在电力企业现场管理中的应用前景进行展望
(一)给予总是相互的 有一位农民,听说某地培育出一种新的玉米种子,收成很好,于是千方百计买来一些.……
数学模型是一门应用性较强的学科，教学过程中以学生自己动手为主,可以弥补传统数学教学的不足，培养学生各方面能力。文章针对数学模型课程的特点，就其教学内容的设置以及教学方
蒋介石在大革命时期，为何挑起“迁都之争”，史学界一般认为：“一方面是因为革命形势的发展已使蒋介石感到在武汉无法实现其建立军事独裁统治的阴谋”；“另一方面，南昌地区和江西已在蒋介石的控制之下。在南昌，他可以为所欲为”。其实，“迁都之争”是蒋介石阻挠汪精卫回国，争取时间完成反革命政变准备的“杰作”。这才是他的真实意图。 北伐期间，蒋介石日益飞扬跋扈，独揽党政军大权，担任各种要职。然而蒋介石有一大心病
茅家岭监狱旧址 茅家岭监狱旧址位于信州区茅家岭村。 1939年夏改建成国民党第三战区特务机关政治部专员室关押政治犯的秘密监狱。内设四个狱室，茅家岭人称“狱中之狱”。旁边有刑讯室，置办的刑具有大小铁丝笼、夹棍、老虎凳等。为上饶集中营监狱旧址之一，闻名全国的茅家岭暴动就发生在这里。 1942年5月被关押在茅家岭监狱的志士们秘密酝酿暴动，推举王传馥（原新四军第三支队第五团宣教股长，烈士）、李胜（原
随拍随传随看内建11万像素数码相机,搭配65,536色全彩液晶屏幕的 GX-i98,可让所有精彩时刻于使用者面前忠实呈现!而为了满足喜好自拍的使用者,这款手机除了能够设定10秒钟自