【摘 要】
：
针对锁步自监控处理器系统的可靠性建模与分析问题,在双机同步系统的基础上,构建一种具有错误自检、故障定位和失效修复功能的锁步自监控处理器系统,并描述系统架构与工作原
【机 构】
：
西北工业大学软件与微电子学院,西北工业大学计算机学院,西北工业大学太仓长三角研究院
【基金项目】
：
国家民用飞机专项科研技术研究类项目“高可靠操作系统内核关键技术研究”(MJ-2015-D-66);陕西省重点研发计划重大重点项目“事件/时间混合触发的实时操作系统技术与应用研究”(2016MSZD-G-8-1)
论文部分内容阅读
针对锁步自监控处理器系统的可靠性建模与分析问题,在双机同步系统的基础上,构建一种具有错误自检、故障定位和失效修复功能的锁步自监控处理器系统,并描述系统架构与工作原理。根据系统特征实例化库所集和变迁集,建立基于广义随机Petri网的系统可靠性模型。通过与单处理器系统可靠性模型进行分析与对比,证明了该模型可靠性高,并基于参数对比实验为后续锁步系统设计提供理论支撑和技术方法。
其他文献
玉米新品种沃玉3号由河北沃土种业于2006年以自选系M51为母本、自选系VK22-4为父本组配而成的中晚熟玉米单交种,2011要2012年参加山西省中晚熟区区试,平均产量为12 878.25 kg
计算机数据安全管理存在的问题主要在于操作方面、管理方面以及数据库系统自身问题。网络中存在数百万的数据库,而大多数攻击者都不是太挑剔,他们会直接选择最不安全的数据库
在对鄂尔多斯盆地东缘58套采自不同层位不同地域煤样显微组分测试和低温液氮比表面测试的基础上,从比表面积、吸附曲线形态、阶段孔径结构分布、阶段孔径比表面积贡献、FHH分
<正> 由湖北活力28企业(集团)公司开发的配方性产品——禽绒净洗柔顺剂于1994年12月在武昌通过湖北省科委组织的技术鉴定。
糖尿病不仅给患者带来巨大的健康负担,还会严重影响患者的生活质量。糖尿病治疗的主要目的是为了降低糖尿病患者并发症的发生率和死亡率,但是在治疗过程中可能引起患者生活质
县城作为乡村与城市的过渡地带,对连接城乡起着重要的纽带作用.当前我国正处于社会转型的重要时期,信息网络技术不断发展、居民消费水平不断提高、交通方式日益便捷,消费群体
随着市场竞争程度与日俱增,企业由于各种原因无法偿还到期债务,由此引发了债务重组这一解决债务纠纷的方法,以及会计处理方面的问题。
目的 :探讨大学生焦虑的原因并寻找相应对策。方法 :对 6 0 0名大学生进行状态———特质焦虑量表问卷和大学生焦虑影响因素问卷调查。结果 :在特质焦虑水平上有性别差异 ,状
有关大众传播和大众文化二者关系的论述一直未中断。大众传播是一种面向大众进行的传播活动,其中也包含有技术媒介的因素在内,而大众文化则是被传播的对象,二者的关系十分密
狄青和狄家将的故事从两宋发端,历经元、明、清,被改编成戏曲、小说等,在民间有着广泛的群众基础。清代,狄青故事进入创作繁荣期,出现了四部以狄青和狄家故事为题材的章回小