【摘 要】
:
随着计算机技术的发展,计算机系统在社会中发挥着越来越重要的作用,特别是在安全关键领域,如轨道交通、航空航天、核电站和工业控制等方面获得大量应用。安全计算机作为安全
论文部分内容阅读
随着计算机技术的发展,计算机系统在社会中发挥着越来越重要的作用,特别是在安全关键领域,如轨道交通、航空航天、核电站和工业控制等方面获得大量应用。安全计算机作为安全关键系统的重要部分,其安全性和可靠性是至关重要的。计算机的市场化和通用化,促使研究人员采用商用货架产品(COTS)构建安全计算机平台来替代价格高昂的专用计算机。本文分析了安全计算机平台需求,通过比较各种平台结构,确定了二乘二取二结构作为平台的硬件结构。提出了平台的总体结构设计方案,选取了MPC5643L作为系统处理器,并分析了该处理器内部结构、功能特点和功能性安全概念。阐述了安全计算机平台的功能设计,包括系内同步与数据比较、系间同步、系统通信、系统故障检测等方面,并分别进行了详细介绍。倒机单元有效提高了安全计算机平台的可靠性,本文采用两种不同的技术方法对倒机单元进行了设计。基于软硬件结合的倒机方式由硬件电路和软件相互协作,共同完成,具有互锁机制。基于通信的倒机方式完全依赖两系间的通信,为使平台具有较强的独立性、通用性,本设计采用通信接口电路,并且是基于现场可编程门阵列(FPGA)实现的。在软件上,两种倒机方式都制定了相对应的倒机逻辑,包括倒机的基本原则、主备状态的确定、人工倒机和自动倒机等。最后搭建了安全计算机平台,本着先局部后整体的测试原则,设计了测试方案,并编写测试程序,然后完成了系统的测试。本文介绍的两种倒机方式,已在多种轨道交通信号系统中得到了应用,应用结果表明切实可用,能够满足系统高可靠性的要求,具有良好的借鉴作用。
其他文献
<正>全蝎为钳蝎科动物东亚钳蝎Buthus martensii Karsch的干燥体,辛、平,有毒。具有熄风镇痉,攻毒散结,通络止痛之功效。临床用于治疗惊风、抽搐痉挛、中风口渴、半身不遂、
本文利用协方差分析模型验证了中国贷款利率上限取消后企业的融资行为方程发生了结构性变化,证明了利率市场化的积极意义。贷款利率上限取消后,企业的负债水平有显著提高,小
本文以戏曲研究单位档案部门服务对象的文献需求为特定研究对象,立足红线女艺术中心档案利用的统计数据与实例进行分析,归纳出读者对戏曲研究单位的文献需求具有的特殊性,以
初中阶段是阅读的高效期,培养良好的阅读习惯,掌握正确的阅读方法,对于初中生积累知识、提高素养十分重要。那么,初中生除了正常的课堂阅读外,课外阅读的情况如何?哪些因素制
法语构词法与大学法语教学徐友香,鲁长江法语词汇数量庞大,记忆单词可谓是大学法语学习中的一大难点。然而,法语词汇数量虽然浩瀚,但从构词法的角度来看,其词素却是有限的。针对大
餐饮行业由于其进入门槛较低以及受传统思维的制约,一直未能较好地与互联网结合。随着互联网应用工具的兴起,O2O模式作为一种新型的商业模式,有效地综合了网络购物和传统市场
本文以寻求中央银行票据的替代品为切入点,重点探讨中央银行货币管理、短期公债管理和中央银行票据的债务管理之间的关系以及由此所产生的铸币税问题。研究表明,现阶段中国中
<正>【课例实录】师:关于秦与六国的是是非非,历史上很多人都加以论述,分别表达了自己的看法,今天我们要学习的就是北宋苏洵的《六国论》(板书《六国论》)。
目的探讨分析腰椎骶化和骶椎腰化时腰椎如何定位及在法医学鉴定中的注意事项,为规范法医鉴定提供参考。方法回顾性分析16例有腰椎骶化或骶椎腰化的被鉴定人,结合其病因、临床
比较阅读法,是把两种或两种以上同类或者有一定联系的文章放在一起比较分析其共同性和特殊性。这个比较是有条件的:①要有可比性;②要选择可比点;③比较点的选择可以是某个方面或