论文部分内容阅读
应用Ｐｅｔｒｉ网对双机容错系统进行分析与验证
【出 处】
：
第六届全国容错计算学术会议
【发表日期】
：
1995年期
其他文献
近年来,我国的矿山事业发展相当迅速,为我国的经济建设做出了巨大的贡献.在看到这一喜人成就的同时,也应注意到在矿山机电设备的安全管理中存在的问题.为了提高矿业工作的安
一、问题的提出 2014年4月，四川渠县一中学一周内两学生先后自杀身亡，2014年10月，深圳市龙岗区横岗高级中学内发生了一起悲剧，一名高二的女生在学校上课时发了两条信息给父母
期刊
容错计算机控制系统是由软件和硬件组成的复杂动态系统，具有功能、运行、故障、维修相关性及故障的动态时序性，因而假设软硬件故障为独立故障的传统方法已不能满足工程实际的需