基于开放协议的城市轨道交通视频监控系统

引用"分而治之,扁平化管理,分权管理"的思想,设计了视频监控新系统的框架;并采用先进的H.264视频压缩算法,融合了GB/T 28181的要求和ONVIF(开放型网络视频接口论坛)等标准协议,设计了一个满足城市轨道交通需求、兼容旧系统的,以及具有开放性、维护简单、扩展性良好的先进视频监控系统。     

铁路数据通信网智慧运维平台研究

为了解决铁路数据通信网运维过程中缺乏IP地址的自动化准入和管理手段、CE交换机故障自动识别手段,以及对数据网设备、业务流量、IP地址的统一监测手段等问题,提出以综合运维、全网可视化、运维模型、IP画像等4种智能运维方法,实现更智能、更全面、更安全的智能运维管理平台。通过IP地址级的流量监测及分析、安全准入,及基于大数据的业务模型分析,实现数据通信网的集中管控和智能运维,以及异常流量、网络风暴、非法接入等监测功能。     

基于ZigBee-GPRS技术的城市轨道交通列车关键设备监测系统

在对关键设备的监测中,目前运营单位普遍采用串行通信技术(如RS 232、RS 485等)作为主要的数据传输手段。如果被监测设备离监测中心较远,则需要花费大量的人力物力铺设电缆、光缆及配套设施;并且由于通信距离长,一旦链路出现故障,难以在短时间内准确定位。国内一些科研院所及行业领军企业相继提出基于Zig Bee-GPRS(低功耗局域网协议-通用分组无线服务)模型的数据通信方式,并在农业微灌、油井监测、电力设备监测等系统得到成功应用。结合GPRS网络技术和Zig Bee传感器网络技术的优势,以嵌入式Linux系统为平台,提出一种适用于城市轨道交通列车关键设备监测的复合型Zig Bee-GPRS系统模型。与红外、蓝牙等技术相比,节约能耗,传输距离远;与传统有线传输方式相比铺设成本低。     

基于Timed RAISE的高速列车RBC切换协议形式化建模及验证

在CTCS-3(Chinese Train Control System Level 3)级列控系统中,RBC(Radio Block Center)切换是影响列车安全高效运行的重要环节,现阶段对RBC切换协议进行验证分析所使用的形式化方法还存在状态爆炸或描述性质单一等问题。基于Timed RAISE的形式化方法,结合域的模型,在对RBC切换流程分析的基础上,构建状态转移图,得到切换协议的形式化模型,使用等价和推断的推理规则对模型的正确性和实时性进行推理验证,得到的结果表明,RBC切换协议满足规范标准对正确性与实时性的要求,将验证结果与其他文献的结论进行比较分析,说明该方法具有通用性,对于推广其在列控系统场景验证中的应用有一定的实际意义。     

铁道部与交通运输部签署推进铁水联运发展合作协议

5月10日下午,铁道部党组书记、部长盛光祖与交通运输部党组书记、部长李盛霖在北京签署了《关于共同推进铁水联运发展合作协议》。两部共同推进铁水联运发展,旨在加快转变运输发展方式,优化运输组织结构,完善综合运输体系,提高运输效率和服务水平,降低物流成本,促进节能减排,促进国家经济结构调整和区域经济协调发展。     

CTCS-3级列控系统避撞协议的建模、设计和实现

CTCS-3级列控系统中的车载设备和RBC之间通过避撞协议进行协调控制。根据列车避撞安全需求,采用安全UML中的安全用例图和安全类图表示避撞协议模型,实现在任意时间间隔内,列车运行速度不超过期望速度,并且列车位置永远不能越过行车许可(MA)的安全功能。避撞协议的安全功能通过连续避撞策略和离散避撞策略的形式化精化实现。前者给出了列车速度和位置为连续变量的情况下,避撞协议的静态结构、动态交互和连续控制策略;后者利用离散逻辑实现了连续避撞策略的离散化。通过对离散避撞策略的进一步精化,生成避撞协议的实时程序代码。严格的形式逻辑WDC*的推理保证了连续避撞策略、离散避撞策略和最终代码精化的正确性和安全性。     

《RSSP-Ⅱ》安全通信协议在RBC/CBI接口中的特殊点

《RSSP-II》安全通信协议是一个总体规范,并不能直接指导软件人员编码实现,结合此规范在无线闭塞中心(RBC)与计算机联锁(CBI)接口中具体应用,提出一些特殊之处的设置及使用方法。     

应用于企业网的VPN技术研究

随着Internet网络技术的普及，VPN技术在企业业务发展中的突出地位越发显现，文中首先介绍了VPN（virtual private network)技术的定义。分类及技术特征，接着重点介绍了其核心技术-隧道技术，并阐述了PPTP，L2TP，IPSec三个协议的原理，最后，模拟了VPN的实现过程。     

基于攻击层次的重放攻击分类

从密码协议消息块、块间、步间和协议间4个攻击层次，提出了基于攻击层次的重放攻击分类．这种分类方法不仅包含了Syverson的分类，还将重放攻击扩展到了协议层次．给出了各层次可行的重放攻击实施的方式．根据此分类可以从块、块间、步间和协议间4个层次，快速地检查并发现安全协议中是否存在重放攻击．     

基于XML模式的车身几何模型表达

通过分析现阶段STEP应用协议在Internet环境下的不足,以汽车产品几何数据为对象,提出以功能单元为单位建立XML模式,有助于研究Internet环境下车身产品数据共享的关键技术.