基于TTCN-3的CTCS-3级列车运行控制系统自动测试方法

提出了基于TTCN-3语言的CTCS-3级列车运行控制系统的自动测试方法;该方法在考虑分布式实时系统自身复杂性和实时性等特点的前提下,首先将CTCS-3系统分解为多个实体,针对每个实体,根据功能需求规格说明书利用LPTIOA进行带时间约束信息的模型描述;然后,根据相应的算法得出测试序列及测试集;再将得到的测试序列及测试集根据规则转换成TTCN-3语言描述的测试序列和测试集;最后在基于TTCN-3测试平台中对被测实体进行测试。     

基于UML的CTCS-3级列控系统运营场景分析方法研究及应用

CTCS-3级列控系统是典型的安全苛求系统,而对于安全苛求系统来说,系统需求规范中的安全隐患是最致命的。CTCS-3级列控系统的需求规范由14个运营场景来描述,因而以运营场景为单位,对规范进行分析与研究是合理的,并且是必要的。以UML和CSP为基础,提出一套适用于CTCS-3级列控系统运营场景的分析和验证方法,并以＂RBC切换＂场景为例,运用该方法分析了其活性、死锁、活锁、确定性和部分安全性。     

基于交换式以太网安全通信协议的模型和仿真研究

在基于通信的列车控制系统中,区域控制中心ZC(Zone Controller)子系统负责向列车发布移动授权,对于保障列车安全高效运营具有重要作用。为提高ZC的可靠性,设计中通常会使用冗余结构,其内部的安全通信协议就成为系统成败的关键。本文介绍构建于UDP协议之上的ZC内部安全通信协议的设计与实现,利用OP-NET网络仿真工具对该协议进行建模,并模拟VxWorks实时操作系统的多任务调度环境,构建基于交换式以太网的通信性能仿真研究平台。根据ZC的实际运行情况,对通信过程进行仿真,分析了发送窗口对报文最大时延的影响。仿真结果表明,适当的发送窗口数量可以兼顾通信效率和时间精度。     

全国主要港口

2011年10月份，我国港口生产经营形势稳定，货物吞吐量、外贸吞吐量、集装箱吞吐量等主要指标同比均实现较快增长。     

述评全国主要港口

2012年11月份，我国港口生产经营形势稳定，货物吞吐量、外贸吞吐量、集装箱吞吐量等主要指标继续保持增长态势。     

恒丰北路桥拉索试验研究

恒丰北路桥是国内建造最早的斜拉桥之一，其拉索防护采用了水泥砂浆、黑色PE两层防护体系，具有一定代表性。在对该桥进行换索后，利用换下的旧索进行了钢丝锈蚀分布检查、钢丝锈蚀性能分析以及拉索锈蚀性能分析，详述了试验的方法、步骤和试验结果，分析了这种防护体系的弊病以及拉索在腐蚀条件下的力学性能变化。     

基于传染病和网络流模型分析APT攻击对列车控制系统的影响

高级可持续威胁(APT)是目前工业控制系统面临的主要威胁之一。APT攻击利用计算机设备漏洞入侵列车控制网络,感染并且扩散到网络中的其他设备,影响系统正常运行,因此评价APT攻击对列车控制系统的影响非常必要。提出一种基于传染病模型和网络流理论结合的APT攻击影响分析方法。首先,分析在APT攻击的不同阶段设备节点状态之间的转化规则,结合传染病理论建立APT攻击传播模型,研究攻击过程中的节点状态变化趋势;其次,把设备节点的状态变化融入网络流模型中,研究APT攻击过程中设备节点状态变化对列车控制网络中列车移动授权信息流的影响;最后,结合列车控制系统的信息物理耦合关系,分析APT攻击对列控系统整体性能的影响。仿真实验展现了APT攻击过程中节点状态变化的趋势,验证该方法在分析APT病毒软件在列车控制网络中的传播过程对列车控制系统整体性能影响的有效性,为管理者制定防御方案提供依据,提升列车控制系统信息安全水平。     

7月份全国主要港口运行综述

1～7月份港口生产经营继续保持好的发展势头，货物吞吐量、外贸吞吐量、集装箱吞吐量等主要经济指标仍然保持稳步增长。港口货物存吐最继续保持增长今年以来的港口生产延续了近几年来的良好发展势头。1～7月份，全国规模以上港口完成货物吞吐量345656万吨，同比增长15．2％。其中沿海港口完成254303万吨，同比增长14．3％；内河港口完成91353万吨，同比增长17．7％。     

基于有色Petri网的ETCS无线通信可靠性分析

ETCS-3级(欧洲列车运行控制3级系统)无线通信系统是一个动态、复杂的分布式系统,其性质和最终实现正确性的形式化验证具有重要意义.本文利用分层赋时有色Petri(CPN)网,综合随机信道恶化、越区切换、信道连接中断等无线信道失效模型,提出ETCS无线通信信道模型的分层结构,定义信道失效模型和概率传输延时,分析信道模型和数据传输的时间特性.分析结果表明,数据帧传输延时小于20s的通信可靠性为99.97%.因此,相继运行列车时距为1min时,数据帧传输延时小于20s的通信可靠性满足ETCS规范要求.     

4月份全国主要港口运行综述

1～4月份港口生产经营继续保持好的发展势头，货物吞吐量、外贸吞吐量、集装箱吞吐量等主要经济指标仍然保持稳步增长。