基于Petri网的软硬件故障建模方法研究

来源 :计算机与网络 | 被引量 : 0次 | 上传用户:ppasu
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
针对计算机系统中软件和硬件相互作用而引发的故障分析问题,提出了基于Petri网的软硬件故障模型,用以表达软件故障和硬件故障相互作用的复杂过程,在此基础上给出了软件、硬件和软硬件故障模式的形式化定义。根据软硬件故障模式的特征,基于故障的传播过程提出了软硬件故障识别算法。实例结果表明模型和算法可以准确的分析和识别软硬件故障,从而为计算机系统的可靠性分析提供了新的途径。
其他文献
在长达半年之久的2010年上海世博会期间,水稻作为为数不多的生命有机体活体展示品,在中国国家馆“希望的大地”展区内进行了全程展示,所展水稻的长势长相及理论产量均达到了超级
最近,和一位刚从青藏高原采访回来的朋友聊天,他拿出在藏区拍摄的一组照片让我看,使我兴奋了很久,长时间不能平静。于是,我又想起了93年进藏的一些经历,想起了那皑皑雪山,此
游卧佛寺一佛非闲卧,人间悟群生。奇花朝古刹,异树伴僧行。邻殿柏亦老,山前泉愈清。
97年8月19日,第十一号风暴潮无情地袭击了山东胜利油田沿海地区的部分生产基地,使企业遭受了巨大的经济损失。据初步统计,在这次风暴中,油田直接经济损失达4.1亿元,间接经济
宽带码分多址(WCDMA)是第三代移动通信的核心技术,它的核心业务分为电路业务和分组业务,分组业务的关键技术包括移动性管理和会话管理。文章首先介绍了分组数据的网络组成,然后分
目的:明确高位硬膜外阻滞对冠心病患者的植物神经调节作用及治疗意义,以便为这一新方法提供经验和理论依据.方法:选择ASAⅡ~Ⅳ级冠心病患者60 例,随机分成两组,每组30 例.I组为
目的探讨经胸降主动脉微创冠状动脉旁路移植术的麻醉处理实施和管理要点。方法 42例冠心病患者,拟经左胸小切口、经胸降主动脉"Y"型血管桥向心肌供血,实施非体外循环冠状动脉旁
随着电力系统的日益发展,特高压、直流输电、清洁能源的发电电源引入,电网结构俞趋复杂,这给电力系统的安全稳定性以极大的考验。近些年的国内外大面积停电事故表明,薄弱的电
聚合,就是将在互联网中所有独立的网站,用一个通道连接起来,这个通道就是SNS社交网站。这是近期包括MySpace、Facebook和Google在内的web2.0网站的新希望,他们期望各家传统网站,能