轨道交通列控系统共因失效分析

针对目前列控系统设计和开发过程中共因失效不易识别和评估问题,在分析列控系统失效特征基础上,通过建模和计算证明共因失效对于系统安全具有重要影响.采用系统安全理论,分析列控系统的共因失效影响因素,讨论共因失效的识别和筛选过程;基于列控系统3取2安全架构,计算包含共因失效的系统失效概率,指出由于缺乏历史统计数据造成共因失效定量计算的困难,最后提出控制列控系统共因失效的一般控制措施和方法.     

CTCS-3级列控车载设备的形式化建模与验证

CTCS-3级列控系统安全苛求性较高,而列控车载设备是CTCS-3级列控系统的主体,主要功能是对列车进行操纵和控制,保证列车安全运行的关键。通过分析CTCS-3级列控车载设备之间的信息交互以及车载安全计算机中工作模式的转换规则,采用有色Petri网(CPN)建立车载设备的信息交互模型以及工作模式转换模型,使用ASK-CTL分支时序逻辑公式验证了模型的死标识、死锁以及分析工作模式下的系统行为等特性,验证构建的CPN模型符合系统规范要求的流程及规则,可为相关安全苛求系统的设计提供一定参考。     

CTCS-4级列控系统关键技术研究

为了更安全高效地实现跨区域列车高速运行,并降低运维成本,提出了CTCS-4级列控系统将移除轨道电路等设备,移动闭塞列车追踪间隔数学模型,基于GPS差分技术的列车完整性检查,基于GNSS/INS的列车组合定位和LTE-R车地无线通信等关键技术.仿真结果表明:运用这些技术后,相比于既有的CTCS-3级列控系统,CTCS-4级列控系统在安全性、性能和成本等方面均有提升,运行更稳定和高效.     

列控-安全信息传输系统可靠性及安全性的形式化分析

基于通信的列控(CBTC)系统使用基于IEEE 802.11系列的无线局域网实现车-地双向信息传输,但是无线局域网无法满足安全苛求列控系统在信息传输可靠性和安全性方面的需求.为了解决该问题,可以采用双网冗余的结构提高无线局域网信息传输的可靠性,再在无线局域网之上增加安全通信协议来保证信息传输的安全性.本文提出在双网冗余无线局域网基础之上增加安全通信协议形成列控-安全信息传输系统(China-Radio),使用随机Petri网建立了双网冗余结构的无线局域网的可靠性模型,并与单网结构进行了定量对比和形式化分析,验证了双网冗余结构可靠性的提升;使用有色Petri网对China-Radio系统建模,并采用模型检验的方法证明China-Radio系统的功能安全性,能够满足列控系统的需求.     

一种基于散列链的无线网络重编程安全认证机制

现有的无线传感器网络重编程安全机制大多基于无线重编程协议Deluge,主要解决无线重编程中更新代码的安全认证问题,但恶意节点很容易通过伪造控制消息对参与无线重编程的节点实施DoS攻击．文中将“抗DoS方案ADV—Hash”与“更新代码安全认证协议”相结合,将广告散列链和更新代码散列链相结合,提出了一种基于散列链的无线传感器网络重编程安全认证的改进方案ADV—Data—Hash．该方案利用散列链和一次数字签名相结合的方案实现了对无线重编程轻量认证．理论分析和仿真实验表明该方案在不影响Deluge协议原有特性的同时,能有效避免由虚假广告引发的DoS攻击以及对更新代码的篡改和伪造,确保网络重编程协议的可用性．     

CTCS-3列控系统中RBC的功能需求及切换

无线闭塞中心（RBC）是CTCS-3级列控系统中的核心设备,负责根据地面设备提供的信息及与车载设备的交互生成行车许可,使列车在RBC的管辖范围内的线路上安全运行,RBC与车载设备之间通过专用无线通信系统即GSM-R网络进行信息的互换。该文对CTCS-3列控系统中RBC的功能需要进行了分析；采用配备2部通信电台的车载设备进行了RBC切换过程分析,并在此基础上运用状态分析法对RBC切换过程进行了形式化建模和验证。     

基于符号模型自动分析隐私保留的用户认证协议安全性

利用大数据特征,PPMUAS协议声称实现了移动用户的隐私保护和认证,但并没有给出严格证明.故本文首先应用Applied PI演算对PPMUAS协议进行形式化描述,然后分别使用非单射一致性和Query对认证性和秘密性进行建模,最后把PPMUAS协议的Applied PI演算模型转换为安全协议分析工具ProVerif的输入,应用ProVerif对其进行形式化分析与证明.结果表明PPMUAS协议具有秘密性,但缺少认证性,并给出了解决方法.     

国际科技合作成果 中德合作成功拥有自主知识产权的轨道交通列控系统

浙江浙大网新集团有限公司承担的“应用于轨道交通列控系统的安全计算机核心技术的引进与合作开发”项目，通过与德国BBR公司在轨道交通列控技术领域开展合作，引进安全计算机平台设备及相关技术，为浙大网新集团开发具有完全自主知识产权的轨道交通列车运行控制系统车载ATP产品提供了新的途径。     

一种基于Internet的同步协同CAD/CAM 系统的安全机制

介绍了同步协同CAD/CAM系统C-Superman的体系结构,在分析系统运行中面临的潜在安全威胁和运行要求的基础上,提出了一套适用于该类系统的安全机制.文中构造了同步协同CAD/CAM系统的4层安全参考模型,结合C-Superman的安全过程模型,使用两次SHA-1散列运算进行用户身份的认证,并基于AES和RSA混合加密体制实现了数据的安全传输,同时兼顾了协同会话的同步性要求.     

解决Windows操作系统密码的方案

从密码学的角度对Windows操作系统进行了分析，指出了Windows操作系统是如何通过程序来实现密码安全功能的，并描述了Windows操作系统的安全特征及实现用户认证的技术细节。     

广州地铁四、五号线列车运行控制系统分析

广州地铁四、五号线列车运行控制系统是一个适应线性电机运载系统的移动闭塞列车自动控制系统(ATC),由计算机联锁系统(故障导向安全),列车自动防护(ATP,故障导向安全),列车自动驾驶(ATO),列车自动监督(ATS)四个主要子系统组成。其中列车自动防护子系统主要对列车驾驶进行防护,对与安全有关的设备或系统实行监控,实现超速防护、列车间隔控制等功能。     

铁路行车安全保障系统分析初探

讨论了铁路行车安全保障系统的定义及其与行车安全系统的区别，并借助系统分析方法的思路较全面地刻划了铁路行车安全保障系统的有序结构和它所包含的相互关联的内在本质。     

列车超速防护系统的制动精度和安全防护距离初探

分析列车超速防护系统的制动精度和它的安全防护距离的设计问题。当列车在超速防护系统的控制下实施制动时，无论是常用制动，还是紧急制动，它的制动精度受诸多因素的影响，如制动初速、制动方式、控制方式、制动系统的离散性、超速防护系统本身的控制精度、不同的天气对轮轨粘着程度的影响等等。只有对这些因素进行分析后，才能合理地确定安全防护距离，使列车超速防护系统能确保行车安全，提高运输效率，又能不干扰司机对列车的正常驾驶。     

大同小营500kV变电站安全自动装置分析研究

当山西小营500kV变电站接入系统后,在一定的运行方式下,给系统带来了稳定性问题。针对这一问题,进行论证并提出其安全自动装置的配置方案,在小营500kV变电站工程中加以实施应用,从而解决目前存在的主要问题。     

飞机整机级系统安全性指标分析

针对整机级系统安全性评估中安全性指标的选择与确定问题，分析对比了国内常用安全性参数之间的区别,指出了其在系统安全性评估应用中的缺点;根据系统安全性的特点,提出了飞机整机级系统安全性指标的要求和维度;借鉴国外系统安全性评估的成功经验,结合可靠性,提出了指标选择和量化的具体方法,并举例说明安全性指标的应用时机和使用方法。研究表明,将安全性与可靠性相结合,选择影响飞机安全性的可靠性指标进行机整机级系统安全性评估,可以解决传统安全性参数量化困难、不适用等问题,是一种可行并且合理的方法。     

高速铁路列车运行控制系统车载设备安全性设计

在分析安全性、可靠性关系基础上,讨论了高速铁路列车运行控制系统车载设备的安全性设计及电磁兼容性设计．     

高速铁路信号系统中的PRC系统

铁路运输向高速、重载、高密度的方向发展,促使铁路通信、信号和行车指挥系统趋向一体化.高速铁路信号系统包括列车运行控制系统、计算机联锁控制系统和行车指挥自动化系统.本文着重对行车指挥自动化系统中的进路程序控制系统作具体的论述.     

手术室供电系统及其设备电气安全性能检测与分析

介绍了医院手术室供电系统的组成结构、漏电监测和单点触电保护的工作原理,同时论述医疗设备电气安全性能检测方法及其测试结果分析,最后阐明了供电系统和医疗设备的电气安全性能检测的区别与联系,并提出了医用用电安全的质量控制措施。     

基于知识的火箭安全控制智能决策系统

随着科学技术的不断进步，航天事业得到了蓬勃发展，火箭发射成为各个航天国家共同研究的课题。其中安全控制是火箭发射中的首要问题，也是各个航天国家关注的焦点．论述了火箭安全控制的重要性，分析了原有火箭安全控制系统的特点，针对存在的不足，采用人工智能领域的智能决策技术和推理技术，融合安全控制知识，提出了基于知识的火箭安全控制智能决策系统的设计思想、结构体系及实现方法，提高了火箭安全决策的可信度和真实性．