【摘 要】
:
在航空航天、轨道交通、军事以及能源电力等领域对计算机系统具有很高的可靠性和安全性要求,安全计算机作为一种高安全性、高可靠性设备,正越来越多的被应用在这些领域。安全
论文部分内容阅读
在航空航天、轨道交通、军事以及能源电力等领域对计算机系统具有很高的可靠性和安全性要求,安全计算机作为一种高安全性、高可靠性设备,正越来越多的被应用在这些领域。安全计算机是通过多系之间的数据表决来保证输入输出的安全性的,这对于安全计算机内部的正常数据是没有任何问题的,但是当安全计算机在进行数据库的更新时,由于数据库的数据量非常的大,安全计算机是没办法对数据库数据进行直接表决的,在这个情况下必须采取其它办法来保证数据库更新时系统的安全性。传统的方法是安全计算机多系之间各自进行更新,但这种更新方法无法检测出各系之间数据库版本不一致或者数据库校验失败的情况。如果不直接对数据库进行表决,而是对数据库状态进行表决来代替,就既没有表决数据量过大的问题,也可以对多系之间的数据库版本进行实时比对。采用这种基于数据库状态表决的表决机制可确保安全计算机数据库在线更新的安全性。三取二安全计算机是安全计算机的一种,该安全计算机由三系组成,三系之间通过周期的同步和数据的表决联系起来,本文首先介绍了一种三取二安全计算机的硬件架构,然后对在该硬件架构之上的数据库更新功能进行了需求分析以及软件模块的概要设计和详细设计,之后介绍了数据库更新时所需要用到的协议。软件的设计完成以后需要对该更新机制进行安全性与可靠性的验证。这里使用马尔科夫的模型对该数据库更新机制进行建模和计算。最后在安全计算机的平台上对各种故障注入组合进行测试,统计并总结了测试结果,计算结果表明该数据库更新机制完全能达到安全性与可靠性的要求。论文最后对全文进行总结,并对后续的工作提出一些展望。
其他文献
目的 观察食管癌围术期护理干预的临床效果。方法 回顾性选择来自2012年1月至2015年7月于本院收治的食管癌70例患者资料,根据护理方案分为两组,每组各35例,对照组使用的是常
苏州有一个佚名的老工匠曾经说过:“房间越隔越大,越拆越小”,这句话其实就是指的空间尺度关系的变化带给人们的直接心理作用。空间尺度与人的关系决定了人们在使用建筑空间时
为了满足当下水利工程的工作需要,进行泵房基础工程体系的健全是必要的,这需要做好施工方案的应用工作,保证水利工程整体工作体系的健全。在实际应用过程中,泵站的功能是非常
阐述了噪声的结构传递路径分析基本理论,详细分析了激励力的测量方法。以某车型的轮胎/路面噪声为例,建立了传递路径分析模型,进行了结构传递路径试验。同时通过计算得到车内
建筑的地形和地貌复杂多样,小区的各种功能有所差异,所以建筑设计的周期较长,这就大大增加了施工的时间。在这种情况下就,必须要对建筑设计进行摸块话研究,以此来保证整个工
基于对插电式混合动力汽车(PHEV)的两种耦合(转矩耦合或转速耦合)方式的结构和运动特性的分析,提出了一种转速耦合与转矩耦合交替工作的动力耦合系统,并根据行星齿轮机构的转
近年来,如何处理交通拥堵、交通污染以及交通事故等城市化现象已逐渐成为各国的亟需解决的问题之一。针对这一现象,结合大数据的智能交通系统(ITS)逐渐发展起来,该系统的信息
湿地,不仅为人类的生产、生活提供多种资源,而且具有巨大的环境功能和效益,在抵御洪水、调节径流、蓄洪防旱、控制污染、调节气候、控制土壤侵蚀、促淤造陆和美化环境等方面
随着计算机网络的广泛应用,为了向用户提供满意的服务,需要保障网络的服务质量,由于可靠性是一项反映服务质量的重要指标,网络可靠性相关研究获得了学者的广泛关注。网络可靠
本研究在重庆市5个不同城市功能区采集了共66个土壤样品,并利用超高效液相色谱飞行时间质谱(UPLC-Q-TOFMS)对土壤中邻苯二甲酸酯(PAEs)的含量水平和组成特征进行了探讨.此外,