【摘 要】
：
随着中国铁路的飞速发展,客运专线和高速铁路相继开始建设,这使铁路信号传输量大大增加,对计算机联锁系统的安全性、可靠性提出了更高的要求。为保证计算的安全性和可靠性,国
论文部分内容阅读
随着中国铁路的飞速发展,客运专线和高速铁路相继开始建设,这使铁路信号传输量大大增加,对计算机联锁系统的安全性、可靠性提出了更高的要求。为保证计算的安全性和可靠性,国内铁路信号设备广泛采用二乘二取二计算机联锁系统,它可以减小单个CPU在运算过程中受外界环境干扰或操作系统、编译器等部件故障导致运算错误所带来的安全风险。同时,欧洲的EN5012X系列标准渐渐被国内所接受,按照欧洲铁路信号安全标准,并在欧洲安全标准指导下,开发符合其规定的安全等级的计算机联锁产品,是提高自主研发的计算机联锁系统安全性和可靠性的一种有效途径。本文的重点研究内容是二乘二取二计算平台的可靠性与安全性分析方法和安全保证措施。一方面,在对二乘二取二安全计算平台系统研究的基础上,建立平台结构模型,证明其可靠性;另一方面,深入学习与研究了铁路欧洲标准EN5012X,借鉴其思想规范和要求,将安全完整性理论引入到平台的故障分析与安全设计中。在对系统运行过程中存在的潜在风险进行深入分析后,采用故障树方法对可能造成系统故障的各种因素进行识别,对其评估量化,从而确定系统的安全完整性目标。为达到系统安全性目标,作者研究降低风险发生概率的安全策略,运用技术和管理的手段控制故障,并尝试通过理论计算和实验模拟两种方式证明策略的有效性。结论表明,我们采取的安全保证措施在很大程度上降低了风险发生的概率,达到安全标准的安全等级要求,从而保证系统安全性。
其他文献
随着互联网和web2.0站点的迅猛发展,web对象的细粒度聚类技术已经成为学术界研究的热点。然而已有的绝大多数聚类模型只关注对文本内容或文章主题进行聚类,聚类结果粒度较粗,
自动网格生成算法产生的初始网格常常包含低质量的网格单元,这影响了后续数值模拟的精度和收敛性。网格质量增强算法以自动网格生成算法产生的初始网格为输入,综合运用各种优
CAD技术的蓬勃发展和广泛应用为新产品的设计提供了丰富的数字资源,合理地重用这些资源能有效地缩短产品开发周期、降低产品成本并提高产品质量。但是相较于模型整体结构,模型局部区域的几何和拓扑结构更为复杂,其特征描述符往往对应树、图等非线性结构,现有的模型检索算法无法有效的完成特定模型局部区域的检索。另外,现有模型检索算法在效率和结果的用户满意度上差强人意。为满足工程实践要求,相关指标亟待提升。本文正是
国土资源空间数据的集中管理、动态维护更新和共享使用一直是国土资源管理信息化建设的难点。本文在分析对比国内外各种GIS技术，以及研究目前浙江省各县级国土资源管理信息化
本文针对电力系统安全分析中易产生不同步、不精确等方面的问题,将网格技术应用于电力系统中,以潮流计算的结果作为电力系统在线安全分析依据,并将该算法部署于Globus网格平台,以“服务”形式进行应用。将经济模型与网格层次模型结合,形成基于经济模型的电力网格体系结构,由价格浮动反映网格资源供需动态变化,提出了基于经济模型的资源分配与调价策略以及基于QoS模糊多属性决策的任务调度算法,分别从经济机制角度和
渔业各部门经过长久以来的信息化建设，开发了一系列渔业信息系统，由于这些系统开发时期和厂商的不同，所属的渔业部门各不相同，使用的操作平台、数据库系统以及提供的数据信息格式
军用移动自组网络是打赢未来高技术局部战争的需要,是建立数字化部队的前提,对我军的军事变革有着不可或缺的意义。但是目前对军用自组网络的研究都是围绕如何在一个完全连接
随着Internet的发展,网络蠕虫对计算机系统安全和网络安全的威胁日益增加,它会扫描和攻击网络上存在系统漏洞的节点主机,通过国际互联网从一个自治域传播到另一个自治域,发生
2000年,香港中文大学的Ahlswede R等开创性的提出了网络编码的概念,改变了网络结点传统的处理方式。网络编码技术允许中继结点在转发消息前对接收的消息进行编码。研究表明,
随着计算机网络技术的迅猛发展与广泛应用,特别是Internet应用的普及,计算机网络已经渗透到社会生活的方方面面,正在改变着人们的生产方式和生活方式。作为城市重点服务行业