当前位置:刘伯温火凤凰公式网 > 三模冗余 >

容错系统中故障诊断与故障恢复功能的建模

  容错计算机系统在发生硬件故障或存在软件错误的情况下仍能正确完成指定任务,它采用冗余技术来达到容忍故障的目的,应用于高可靠性系统中。 Petri网是一种结构化的事件驱动系统描述工具,它能够充分地描述事件驱动系统局部及局部之间的联系。容错系统都是事件驱动的,因此Petri网能够捕捉容错系统事件的先后、并行、同步、冲突和因果依赖等特征,并以图的形式,简洁、直观的模拟容错系统功能模型流程,分析容错系统的动态性质。Exspect仿真软件适合于可应用Petri网理论来分析问题的领域,是协助Petri网分析问题和解决问题的良好工具。ExSpect软件具有图形化的模型编辑、类型检查和仿真等功能,它提供的一体化的工作平台,可模拟容错系统的运行环境,实现对容错系统功能模型的仿真。 本文阐述了三模冗余容错系统中的故障诊断和永久故障恢复功能模块的实现机制,建立基于Petri网的故障诊断和永久故障恢复功能模型,并用ExSpect软件对三模冗余容错系统故障诊断和永久故障恢复的Petri网模型进行了仿真实现。 本文的主要内容如下: (1)介绍了三模冗余容错系统的体系结构和容错技术以及Petri网的原理、优点和分析方法,提出用Petri网分析三模冗余容错系统功能模型是可行的。 (2)从理论上阐述了基于Petri网的三模冗余容错系统故障诊断与永久故障恢复模型,以此为依据建立和分析了三模冗余容错系统故障诊断与永久故障恢复功能的Petri网模型。 (3)运用Exspect仿真软件对容错系统的功能模型进行了仿真并分析了仿真结果,对基于Petri网的三模冗余容错系统故障诊断模型和永久故障恢复模型的性能进行了有效验证。

  孙峻朝,王建莹,杨孝宗;故障和容错机制的层次模型[J];计算机工程与应用;1999年10期

  秦旭东;陈宗基;;基于Petri网的容错计算机可靠性[J];计算机工程;2005年24期

  陆阳;王强;张本宏;诸葛战斌;;计算机系统容错技术研究[J];计算机工程;2010年13期

  张国印;刘铭;姚爱红;门朝光;;基于扩展Petri网的系统建模及形式化验证方法[J];计算机应用研究;2010年12期

  蒋屹新,林闯,曲扬,尹浩;基于Petri网的模型检测研究[J];软件学报;2004年09期

  周双娥,欧中红,袁由光;容错计算机系统的中断同步算法研究[J];小型微型计算机系统;2002年12期

  曲长征;于永利;陶凤和;;无优先权维修活动及其Petri网建模[J];中国机械工程;2011年02期

  朱中仁;;基于Petri网的工作流模型构建[J];安徽电子信息职业技术学院学报;2012年01期

  方冉;陈乃金;;基于S3C44B0X处理器触摸屏接口的设计与测试[J];安徽工程科技学院学报(自然科学版);2010年02期

  李俊;陈雷雷;金淑芳;;水产品加工过程监控系统构建与实现[J];安徽农业科学;2009年23期

  王兴旺;金宝华;孙修东;;南汇水蜜桃决策支持系统研究[J];安徽农业科学;2010年10期

  代秀娟;章昭辉;王敏生;杨娟;潘冬生;汪小寒;;旅游信息服务组合的Petri网建模及其实现[J];安徽师范大学学报(自然科学版);2011年04期

  金莹;丁峰;;广义随机Petri网在工作流建模中的应用研究[J];安庆师范学院学报(自然科学版);2010年01期

  平静;王蕾;;基于ROSE HA系统的双机容错方案[J];安阳师范学院学报;2006年02期

  邵志芳;钱省三;刘仲英;;基于Petrinet的半导体代工系统建模及案例研究[J];半导体技术;2006年11期

  汪亚男,王明哲;赋时着色Petri网在建模仿真中的应用[J];兵工自动化;2005年01期

  沈鹏;焦利明;杨建立;;基于Petri网的防空旅C4ISR系统决策组织结构[J];兵工自动化;2005年06期

  刘长有;张莉;;基于着色Petri网的一类航班推出冲突建模与仿真[A];第二十九届中国控制会议论文集[C];2010年

  岳昊;李文杰;陈宝兴;;Petri网系统本原有效受控可重复向量分析[A];中国自动化学会控制理论专业委员会B卷[C];2011年

  阿孜古丽;刘建明;刘洁卉;;基于Petri网的业务流程评估[A];着力提高高等教育质量,努力增强高校创新与服务能力——北京市高等教育学会2007年学术年会论文集(下册)[C];2008年

  葛丹;郑会颂;姚国章;;应急管理工作流模型的研究[A];节能环保 和谐发展——2007中国科协年会论文集(一)[C];2007年

  马玉琨;陆彦辉;杨守义;;OFDMA系统中接纳控制的Petri网模型[A];第十届中国科协年会论文集(三)[C];2008年

  王夙娟;马炳先;曲守宁;;OWL-S服务的Petri网自动建模方法研究[A];逻辑学及其应用研究——第四届全国逻辑系统、智能科学与信息科学学术会议论文集[C];2008年

  张继军;董卫;;基于Petri网的构件组装运算及其性质[A];2006年全国开放式分布与并行计算机学术会议论文集(三)[C];2006年

  鲁志兵;胡金柱;胡燕;焦金丹;舒江波;;门户网自助系统的扩展有色Petri网建模与分析[A];2006年全国开放式分布与并行计算机学术会议论文集(三)[C];2006年

  塔娜;刘慧;邵大欣;;网络系统可用度全面评估方法研究[A];中国企业运筹学[C];2009年

  吕莉芳;李承家;薛瑜;;时延离散Petri网的形式分析[A];第九届中国不确定系统年会、第五届中国智能计算大会、第十三届中国青年信息与管理学者大会论文集[C];2011年

  刘心;基于Petri网的FMS建模及故障诊断方法研究[D];哈尔滨工程大学;2010年

  张俐;面向概念设计方案选择的协同决策方法研究[D];华中科技大学;2010年

  车建华;虚拟计算系统性能与可用性评测方法研究[D];浙江大学;2010年

  张志明;柔性制造系统死锁预防的Petri网控制器综合[D];浙江大学;2010年

  曹源;高速铁路列车运行控制系统的形式化建模与验证方法研究[D];北京交通大学;2011年

  吕继东;列车运行控制系统分层形式化建模与验证分析[D];北京交通大学;2011年

  梅樱;城轨车辆新型网络控制系统的调度、建模及优化[D];北京交通大学;2011年

  刘炎培;基于扩展OOPN业务流程建模及异常处理模型研究[D];南昌航空大学;2010年

  刘洋;可逆逻辑门与可逆逻辑电路的Petri网建模与分析[D];山东科技大学;2010年

  杨磊;基于面向对象Petri网的企业间工作流建模研究[D];山东科技大学;2010年

  李蕾;有色Petri网的动态性质判定及其在组装生产线中的应用[D];山东科技大学;2010年

  孙海春;C_net到可编译表达式的映射方法[D];山东科技大学;2010年

  周月明;保险索赔系统的协同容错层次模型研究[D];山东科技大学;2010年

  王廷刚;Petri网表征语言和可达性分析[D];山东科技大学;2010年

  吕楠;基于层次颜色Petri网的协同工作流的建模与分析[D];山东科技大学;2010年

  李金良,王志勇;基于Petri网的柔性工艺规划[J];燕山大学学报;2003年01期

  朱明程,温粤;FPGA动态可重构数字电路容错系统的研究[J];东南大学学报(自然科学版);2000年04期

  陆阳;张本宏;魏臻;韩江洪;;“二乘二取二”和“双模冗余-比较”结构对比研究[J];电子测量与仪器学报;2009年03期

  钟诗胜;汤新民;池善纯;;基于着色Petri网的航空发动机总装作业调度研究[J];航空精密制造技术;2006年06期

  傅忠传;陈红松;崔刚;杨孝宗;;处理器容错技术研究与展望[J];计算机研究与发展;2007年01期

  ;MICROTHREAD BASED (MTB) COARSE GRAINED FAULT TOLERANCE SUPERSCALAR PROCESSOR ARCHITECTURE[J];Journal of Electronics;2006年03期

  刘耀,胡越明,金利峰;高可靠计算机系统的容错技术[J];计算机工程;2004年S1期

  李国徽;杨兵;胡方晓;许华杰;杜建强;;嵌入式实时系统中基于检验点检测的电压分配技术[J];计算机学报;2009年12期

  聂林波,刘孟仁;软件缺陷分类的研究[J];计算机应用研究;2004年06期

  汤新民;基于Petri网的航空发动机车间维修过程建模及其应用研究[D];哈尔滨工业大学;2007年

  聂刚,卿秀华;基于集群的服务器容错系统的设计与实现[J];武汉科技学院学报;2001年04期

  唐跃平;;单片三机容错系统初探[J];水利水文自动化;1993年01期

  陈胜功,宋子善;容错系统中的自校验技术及实现方法[J];电子技术应用;2000年07期

  王峰;一种网络服务器冗余容错系统在证券业中的设计与实现[J];应用科技;2002年07期

  谈宏华,杨志方;容错系统的设计与实现[J];长江大学学报(自科版);2005年07期

  赵倩;俞承芳;;胚胎阵列容错系统中单细胞替换的实现[J];复旦学报(自然科学版);2006年04期

  李洪波;车明;;完全自校验四余度容错系统设计[J];微处理机;2008年03期

  巨政权;满梦华;原亮;;自组织容错系统的设计及其可靠性分析[J];微电子学与计算机;2012年04期

  梁嘉森,王德源;高可靠性多机容错系统[J];大连海运学院学报;1989年04期

  姚增起;;具有多种元件的N中取K容错系统及其可靠性[J];自动化学报;1992年02期

  吴斌;高珑;;软件双冗余容错系统的容错能力和性能分析[A];第15届全国信息存储技术学术会议论文集[C];2008年

  刘璧怡;吴智博;景维鹏;;一种基于马尔可夫链的容错系统可靠性评估方法[A];第十四届全国容错计算学术会议(CFTC2011)论文集[C];2011年

  肖松;李跃华;张金林;;基于FPGA局部动态可重构的抗SEU容错系统研究[A];教育部中南地区高等学校电子电气基础课教学研究会第二十届学术年会会议论文集(下册)[C];2010年

  王健;容错系统中实时任务调度和负载均衡算法研究[D];浙江大学;2009年

  熊国平;容错系统中故障检测与同步功能的建模[D];湖北大学;2011年

  于爱华;分布式实时容错系统的设计与实现[D];大连理工大学;2010年

  王丽华;计算机容错系统的体系结构与安全性研究[D];西南交通大学;2002年

  隗中霞;容错系统中故障诊断与故障恢复功能的建模[D];湖北大学;2011年

  张骥先;嵌入式实时容错系统的研究与实现[D];电子科技大学;2006年

  高桂军;数字电路多目标在线进化及异构容错系统设计[D];南京航空航天大学;2008年

  张建友;基于Linux多节点容错系统的设计与实现[D];大连理工大学;2007年

  刘晶晶;分布式多节点容错系统的设计与实现[D];大连理工大学;2009年

  姚兰;基于ADS中间件的容错系统的研究与设计[D];西南交通大学;2005年

http://idagoldadv.com/sanmorongyu/274.html
点击次数:??更新时间2019-07-24??【打印此页】??【关闭
  • Copyright © 2002-2017 DEDECMS. 织梦科技 版权所有  
  • 点击这里给我发消息
在线交流 
客服咨询
【我们的专业】
【效果的保证】
【百度百科】
【因为有我】
【所以精彩】