收藏本站
收藏 | 手机打开
二维码
手机客户端打开本文

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

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

知网文化
【相似文献】
中国期刊全文数据库 前20条
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期
11 ;记录技术与设备[J];电子科技文摘;2001年10期
12 何俊;戴浩;谢永强;杨明;黄鑫阳;;远程容灾系统中失效检测器的设计与实现[J];兰州大学学报(自然科学版);2007年02期
13 张晶;刘治国;许明;;X-超树结构高可用性集群的设计与分析[J];沈阳理工大学学报;2007年02期
14 张国英;论半导体的多余噪者[J];北京科技大学学报;1956年01期
15 黄开源;第二届全国多值逻辑学术讨论会简讯[J];计算机学报;1987年08期
16 蔡之华;模糊Petri网及知识表示[J];计算机应用与软件;1994年03期
17 曹伯燕,周利华;大幅面高精度彩色扫描仪传动系统设计与分析[J];电子计算机与外部设备;1996年04期
18 路艳洁,席志红;时分割乘法器测量功率的电路设计与分析计算[J];佳木斯大学学报(自然科学版);1997年04期
19 朱华炳,肖本贤;用于位置与速度反馈测量的编码器倍频鉴相电路的设计与分析[J];机械与电子;1997年05期
20 蔡林骥,李清宝,曾光裕,郭靓;嵌入式系统连续可调电源电路的设计与分析[J];微计算机信息;2005年10期
中国重要会议论文全文数据库 前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-62982499
  • 010-62783978