【摘 要】
：
在进程代数框架内基于算子的性质研究抽象安全性质及其偏序关系,定义了复合不变安全性质和可构造安全性质.首先证明进程代数算子在安全性质集是单调衰减算子.根据这一结果证
论文部分内容阅读
在进程代数框架内基于算子的性质研究抽象安全性质及其偏序关系,定义了复合不变安全性质和可构造安全性质.首先证明进程代数算子在安全性质集是单调衰减算子.根据这一结果证明了复合不变性质和可构造安全性质在安全性质集上的存在性,并且在安全性质集合上证明了安全性质的"木桶原理",即复合系统的整体安全性不强于系统中最弱的部分.基于安全性质之间的偏序关系,将所谓绝对安全性质与平凡性质联系起来,证明绝对安全性质是一类平凡性质.
其他文献
目的:了解ICU终末期患者签署放弃治疗对医疗处置的影响,为终末期患者照护提出有针对性的建议措施.方法:回顾性研究一所三级甲等医院综合ICU 2011年1-12月的所有住院患者,以自
2012年，著名医学期刊《柳叶刀》有一篇题为“护理实践的科学性（science for action-based nursing）”的编者按，鼓励全球护理人员大胆迈步拥抱证据，让护士真正置身于全球循证实践的
在社会人口老龄化、政府医疗费用增加、医院为增加收入而缩短患者住院天数的背景下，“出院计划（discharge planning ）”或称“出院准备服务”模式日益受到社会、政府及医院的关
目的:了解2型糖尿病患者子女糖尿病知识水平现状,并分析其影响因素.方法:采用自行设计的糖尿病知识问卷,对566名2型糖尿病患者子女进行调查,并采用多元回归分析法分析其知识
目的观察丁苯酞治疗急性穿支动脉疾病型脑梗死的临床疗效和安全性。方法 98例患者随机分为治疗组和对照组,每组49例,对照组常规治疗,治疗组在常规治疗基础上加用丁苯酞。治疗
利用脉冲激光沉积技术在氢还原气氛下成功地在双轴织构的Ni基带上外延了高质量的CeO2薄膜.x射线衍射θ—2θ扫描和ω扫描结果表明,CeO2薄膜在Ni基带上呈c轴方向生长,存在很强
提出一种将Brown算法与重新选择参考点的策略相结合求解电力系统暂态稳定性直接法分析中主导不稳定平衡点(Controlling-UEP)的新方法.Brown算法相似于高斯消元法的牛顿类算法
引入厚度偏差△d,修正了薄膜透射率表达式.基于Ag/AAO纳米有序阵列复合结构实验透射光谱(500-2700nm)的两条极值包络线,定义了一个优化函数,结合最优化数值算法尝试确定具有
将研制的土工膜应变计应用于三峡工程二期上游围堰现场,以监测防渗土工膜在工程中产生的实际应变,并获得了满意的大应变监测成果.埋设于上游围堰不同高程的18支土工膜应变计,
使用倾斜角沉积(GLAD)的电子束蒸发技术,制备了倾斜角度在60°~85°之间的ZnS双折射雕塑薄膜(STF)。使用X射线衍射(XRD)和扫描电镜(SEM)检测了ZnS薄膜的结晶状态和断面形貌,