收藏本站
《第六届中国测试学术会议论文集》2010年
收藏 | 手机打开
二维码
手机客户端打开本文

基于Petri网的故障检测模型的设计与分析

周双娥  熊国平  
【摘要】:主要针对三模冗余容错系统中的故障检测技术进行研究,采用Petri网来描述三模冗余容错系统的故障检测模型,并利用可达图来进行分析.分析表明:用Petri网描述三模冗余容错系统的故障检测模型其优点是:直观、故障检测实现机制易于理解.

手机知网App
【参考文献】
中国期刊全文数据库 前3条
1 王景光,甘仞初;基于Petri网模型的信息系统结构复杂性分析(英文)[J];Journal of Beijing Institute of Technology(English Edition);1999年04期
2 王培东;魏振华;;A real-time fault-tolerant scheduling algorithm with low dependability cost in on-board computer system[J];Journal of Harbin Institute of Technology;2008年03期
3 Masao IKEDA;;Fault-tolerant decentralized H-infinity control for multi-channel systems using homotopy method[J];Journal of Control Theory and Applications;2007年01期
【共引文献】
中国期刊全文数据库 前10条
1 朱中仁;;基于Petri网的工作流模型构建[J];安徽电子信息职业技术学院学报;2012年01期
2 方冉;陈乃金;;基于S3C44B0X处理器触摸屏接口的设计与测试[J];安徽工程科技学院学报(自然科学版);2010年02期
3 代秀娟;章昭辉;王敏生;杨娟;潘冬生;汪小寒;;旅游信息服务组合的Petri网建模及其实现[J];安徽师范大学学报(自然科学版);2011年04期
4 金莹;丁峰;;广义随机Petri网在工作流建模中的应用研究[J];安庆师范学院学报(自然科学版);2010年01期
5 邵志芳;钱省三;刘仲英;;基于Petrinet的半导体代工系统建模及案例研究[J];半导体技术;2006年11期
6 汪亚男,王明哲;赋时着色Petri网在建模仿真中的应用[J];兵工自动化;2005年01期
7 沈鹏;焦利明;杨建立;;基于Petri网的防空旅C4ISR系统决策组织结构[J];兵工自动化;2005年06期
8 陈玉波;李世英;张彦忠;陈乐;;作战单元装备系统的需求量仿真模型[J];兵工自动化;2006年06期
9 郭建章;王明哲;;基于Petri网的排队网分析方法[J];兵工自动化;2006年07期
10 吴圣义;吕永健;逯国亮;胡春林;;基于分层着色Petri网的飞机战伤抢修系统建模[J];兵工自动化;2007年05期
中国重要会议论文全文数据库 前10条
1 刘长有;张莉;;基于着色Petri网的一类航班推出冲突建模与仿真[A];第二十九届中国控制会议论文集[C];2010年
2 岳昊;李文杰;陈宝兴;;Petri网系统本原有效受控可重复向量分析[A];中国自动化学会控制理论专业委员会B卷[C];2011年
3 阿孜古丽;刘建明;刘洁卉;;基于Petri网的业务流程评估[A];着力提高高等教育质量,努力增强高校创新与服务能力——北京市高等教育学会2007年学术年会论文集(下册)[C];2008年
4 马玉琨;陆彦辉;杨守义;;OFDMA系统中接纳控制的Petri网模型[A];第十届中国科协年会论文集(三)[C];2008年
5 王夙娟;马炳先;曲守宁;;OWL-S服务的Petri网自动建模方法研究[A];逻辑学及其应用研究——第四届全国逻辑系统、智能科学与信息科学学术会议论文集[C];2008年
6 张继军;董卫;;基于Petri网的构件组装运算及其性质[A];2006年全国开放式分布与并行计算机学术会议论文集(三)[C];2006年
7 塔娜;刘慧;邵大欣;;网络系统可用度全面评估方法研究[A];中国企业运筹学[C];2009年
8 吕莉芳;李承家;薛瑜;;时延离散Petri网的形式分析[A];第九届中国不确定系统年会、第五届中国智能计算大会、第十三届中国青年信息与管理学者大会论文集[C];2011年
9 薛瑜;李承家;吕莉芳;;模糊Petri网与连续Petri网的关系[A];第九届中国不确定系统年会、第五届中国智能计算大会、第十三届中国青年信息与管理学者大会论文集[C];2011年
10 陈挺;张育平;;基于Petri网的软件过程建模技术的研究[A];2008通信理论与技术新进展——第十三届全国青年通信学术会议论文集(上)[C];2008年
中国博士学位论文全文数据库 前10条
1 刘心;基于Petri网的FMS建模及故障诊断方法研究[D];哈尔滨工程大学;2010年
2 宋巍;Web服务组合动态演化技术研究[D];南京大学;2010年
3 车建华;虚拟计算系统性能与可用性评测方法研究[D];浙江大学;2010年
4 张志明;柔性制造系统死锁预防的Petri网控制器综合[D];浙江大学;2010年
5 刘思华;电网故障诊断方法的研究[D];山东大学;2010年
6 赵亮;Web服务组合性能建模与分析[D];武汉大学;2009年
7 曹源;高速铁路列车运行控制系统的形式化建模与验证方法研究[D];北京交通大学;2011年
8 吕继东;列车运行控制系统分层形式化建模与验证分析[D];北京交通大学;2011年
9 杨斯淇;危险货物运输管理流程优化与系统实现[D];吉林大学;2011年
10 魏领会;数控机床可用性耦合建模及影响度分析[D];吉林大学;2011年
中国硕士学位论文全文数据库 前10条
1 刘炎培;基于扩展OOPN业务流程建模及异常处理模型研究[D];南昌航空大学;2010年
2 刘洋;可逆逻辑门与可逆逻辑电路的Petri网建模与分析[D];山东科技大学;2010年
3 杨磊;基于面向对象Petri网的企业间工作流建模研究[D];山东科技大学;2010年
4 李蕾;有色Petri网的动态性质判定及其在组装生产线中的应用[D];山东科技大学;2010年
5 孙海春;C_net到可编译表达式的映射方法[D];山东科技大学;2010年
6 周月明;保险索赔系统的协同容错层次模型研究[D];山东科技大学;2010年
7 王廷刚;Petri网表征语言和可达性分析[D];山东科技大学;2010年
8 吕楠;基于层次颜色Petri网的协同工作流的建模与分析[D];山东科技大学;2010年
9 肖露娟;Web服务组合性能分析[D];浙江理工大学;2010年
10 林红昌;基于UML的软件系统的功能性验证和非功能性度量[D];浙江理工大学;2010年
【二级参考文献】
中国博士学位论文全文数据库 前1条
1 戴新发;基于主动任务复制的透明容错计算研究与实现[D];哈尔滨工程大学;2005年
【相似文献】
中国期刊全文数据库 前10条
1 刘玉林,吴晓群;Application of PetriNet to workflow specification Petri Net在工作流管理系统形式说明中的应用[J];长春师范学院学报;2000年02期
2 陈莘萌,袁炜,谭辉,谭振强;一种基于Petri网的网络模型设计方法[J];武汉大学学报(理学版);2002年03期
3 林闯;一种资源共享系统的模型和近似性能分析[J];计算机学报;1997年10期
4 周可,张江陵,冯丹;多媒体应用中磁盘阵列读预取Petri网模型及结果分析[J];计算机工程与科学;2003年02期
5 张东红,蔡崇春;一类s-组合Petri网模型及其结构分析研究[J];安康师专学报;2001年03期
6 杜天艳,唐平;Petri网的一种硬件实现方法[J];江苏大学学报(自然科学版);2004年05期
7 张金林;沈绪榜;陈朝阳;;SoC中IP核间互联总线完整性故障测试模型[J];电子科技大学学报;2007年03期
8 周振柳;刘宝旭;池亚平;许榕生;;计算机BIOS安全风险分析与检测系统研究[J];计算机工程;2007年16期
9 苏锦祥 ,李连友;学术会议简报[J];计算机学报;1986年03期
10 屈玉贵;从命题逻辑的需求描述到状态转移图的形式规格[J];小型微型计算机系统;2000年09期
中国重要会议论文全文数据库 前7条
1 周双娥;熊国平;;基于Petri网的故障检测模型的设计与分析[A];第六届中国测试学术会议论文集[C];2010年
2 孙冕;朱桀奡;刘学;郑智捷;;基于第二类Petri网对多处理机的任务并行性与负载均衡解决方案的建模[A];2010通信理论与技术新发展——第十五届全国青年通信学术会议论文集(下册)[C];2010年
3 许灵军;沈文辉;高攸纲;;WLAN无线网卡天线的设计与分析[A];第十五届全国电磁兼容学术会议论文集[C];2005年
4 杨修涛;鲁巍;李晓维;;存储器内建自测设计与分析[A];第十届全国容错计算学术会议论文集[C];2003年
5 邓明堂;朱玄;张玉彬;易勋;杨学军;;可并行读写的纳米交叉杆存储器的设计与分析[A];第15届全国信息存储技术学术会议论文集[C];2008年
6 李志来;;光盘刻槽机用空气静压轴承研制[A];面向21世纪的科技进步与社会经济发展(下册)[C];1999年
7 谢文苗;韩玉芬;徐春秀;;基于avr系列单片机的电路综合实验课程改革[A];北京高教学会实验室工作研究会2009年学术研讨会论文集[C];2009年
中国博士学位论文全文数据库 前2条
1 刘朝斌;虚拟网络存储系统关键技术研究及其性能评价[D];华中科技大学;2004年
2 成斌;基于TCPN模型的并行系统性能分析方法研究[D];上海大学;2011年
中国硕士学位论文全文数据库 前10条
1 马豹;基于OOTCPN模型的嵌入式系统设计方法研究[D];西华大学;2011年
2 周月明;保险索赔系统的协同容错层次模型研究[D];山东科技大学;2010年
3 张纹华;嵌入式图像服务器的设计及安全性研究[D];山东大学;2010年
4 潘超;嵌入式软件的C语言代码静态检查技术研究[D];浙江大学;2008年
5 潘文宾;基于混杂系统理论的热泡式喷墨的建模与分析[D];西安电子科技大学;2010年
6 张波涛;基于LEON3的高可靠体系结构设计关键技术研究[D];国防科学技术大学;2006年
7 侯垚森;基于消息延迟预测的自适应失效检测模型研究[D];郑州大学;2010年
8 申慧;并发系统的并行计算及性能分析[D];浙江理工大学;2011年
9 苏平;嵌入式多核环境下的并行程序建模与正确性验证[D];山东大学;2010年
10 刘昊;计算机可用性建模与评估工具的设计与实现[D];哈尔滨工业大学;2011年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026