摘要：通过分析无线闭塞中心(RBC)的系统结构和功能,从RBC的角度辨识出各种安全风险,并将它们分为列车超速和列车冒进两大类;采用故障树分析方法对2类风险分别建立故障树,进而求解故障树的最小割集,识别出所有可能导致这2类安全风险的原因。分析结果表明,导致列车超速的直接原因一是RBC向列控系统车载设备发送了错误的行车许可信息或与速度相关的信息,二是RBC未能向列控系统车载设备发送应该发送的行车许可或与速度相关的信息;导致列车冒进的直接原因一是RBC发送了错误的行车许可或有条件紧急停车信息,二是RBC未及时发出缩短行车许可以及有条件和无条件紧急停车信息。针对分析和归纳出的五大类共11项安全风险原因,给出对应的防范措施,并经在武广高速铁路应用,验证了防范措施有效且实用。

摘要：介绍一种能辅助SCADE(Safety-Critical Application Development Environment)自动生成仿真所需数据的联合仿真平台。该平台采用Tcl/Expect脚本语言设计,通过脚本驱动生成仿真交互所需数据,同时能够回归执行所有脚本,实现自动化联合仿真。

摘要：为了解决传统扫描探针显微镜(SPM)控制器中参数难以设定的难题,提出了一种SPM的PI参数自整定控制器的设计,并给出了控制器的硬件结构和软件设计。该控制器基于DSP,通过引入扫描式参数优化算法来实现。结果表明,该控制器能自动完成PI参数的测算,并给出最优的PI参数,提高了SPM扫描图像的质量。

摘要：提出了一种基于Altera公司的SOPC(可编程片上系统)& NiosⅡ嵌入式软核处理器技术的一种任意波形发生器的设计;以此设计的波形发生器具有波形记录与回放功能,能实现两路可调相位差的任意波形输出;该系统主要包括NiosⅡ主控模块、存储器模块以及各外设的控制模块;实验结果表明,该系统具有体积小、功耗低、数据处理速度快以及可靠性高等特点。

摘要：为解决目前安全苛求系统研发中的功能安全问题,以用于轨旁设备联锁控制的道岔控制系统为研究对象,基于系统需求规范,使用形式化软件开发方法(B方法)对系统的功能逻辑建立形式化模型,完成对需求规范、系统功能及决策过程的验证,最终生成C语言形式的可执行代码。在分析系统各类属性与联锁逻辑关系的基础上,使用一阶逻辑和公理化集合论的数学方式,严格定义系统各层的B语言模型。通过对不变式的证明义务进行证明,验证系统中的安全、时间特性,检查出需求规范中的缺陷,提出增强系统稳健性的改进方案,进一步修正系统设计原型。通过不变式冲突和死锁检验进一步确认系统的正确性。研究表明,在所有证明义务通过机器自动证明和手动交互式证明的验证后,B模型自动生成的C代码能够正常运行并且功能满足实际联锁需求。将形式化方法应用于系统开发的全过程,所使用的技术路线及开发方法可以有效提高道岔控制系统的安全可靠性,并减少编码阶段工作量,对其他安全苛求系统的开发有重要参考意义。

摘要：基于多传感器融合定位、列车自主进路办理、路口协同控制等关键技术,构建一套新型的有轨电车信号控制系统。该系统为有轨电车安全可靠地运行提供重要的保障,确保混合路权情况下,车辆与人的安全高效运行,有效提高系统的安全性与可用性,降低成本,提升运量。