论文部分内容阅读
扩展Petri网的结构,将一般的控制管理系统改进为具有容错功能的控制管理系统,应用扩展Petri网对其进行分层建模,包括系统的基础层、检错层、恢复层。采用故障恢复策略并使用带有基于Petri网分层模型中状态标识的行为跟踪、行为检错和行为改错增加控制管理系统的容错功能,并分析了模型的正确性。
基于Petri网的容错系统分层建模
【摘 要】
：
扩展Petri网的结构,将一般的控制管理系统改进为具有容错功能的控制管理系统,应用扩展Petri网对其进行分层建模,包括系统的基础层、检错层、恢复层。采用故障恢复策略并使用
【机 构】
：
山东科技大学信息科学与工程学院,中国科学院计算机科学国家重点实验室
【出 处】
：
计算机工程
【发表日期】
：
2010年2期
【基金项目】
：
国家自然科学基金资助项目（60773034 90818023 60803032）, 山东省科技发展计划基金资助项目（2008GG30001024）, 山东科技大学2009-2010年度研究生创新基金资助项目（YCA090319）
其他文献
经营管理是企业永恒的话题,它是对企业日常一切经营活动进行有效的、科学的、规范的管理来实现合理有效地利用企业资源,从而达到提高企业经营效益、扩展企业利润空间的目的。
本文首先回顾了机构投资者在我国的发展历程和股票市场效率及其测度方法的相关理论。从威斯特和惕尼克关于股票市场效率的研究理论角度出发，将股票市场效率分为外部效率和内部
为解决移动IPv6（MIPv6）网络通信一般注册中节点的身份认证问题,提出一种高效认证机制。改进基于身份的签名方案,使一般注册仅需往返2次就能完成消息交互,实现移动节点和通信节
基于前向安全性和有限乘法群上离散对数的难解性,提出一种新的代理签名方案。该方案不仅具有前向安全性、不可伪造性、不可否认性、匿名性,而且还具有定向性,只有指定的验证
<正> 岳阳县步仙桥乡李茂社社员傅春盛饲养的一头黄母牛,四年零五个月生了小牛7头,创造了高额丰产纪录。这头丰产母牛是李茂社社员傅春盛于52年买进的小母牛,那时仅一岁多,到
数学教学除了向学生传授数学知识，培养学生观察、实践、分析能力外，更应积极开发培养学生的创新思维和创新能力．这就需要我们的数学课堂充满生机与活力，让“活”字贯穿整个数学课
随着我国公路建设技术的不断发展以及对水泥混凝土性能要求的提高,水泥混凝土外加剂作为公路工程施工材料的重要组成部分之一,已引起相关学者和施工技术人员的高度重视。为此
目的探讨阿司匹林肠溶片联合氯吡格雷在冠心病心绞痛临床治疗中的应用价值。方法120例冠心病心绞痛患者,根据随机分配的原则分为观察组和对照组,每组60例。对照组患者采用阿