基于时间自动机模型的安全计算机平台的形式化验证

众多工业控制领域要求计算机控制系统具有高可靠、高可用和高安全的运行基础,2乘2取2冗余结构的安全计算机平台是提高系统安全性、可靠性的一种重要解决方式。CBTC列控系统的安全计算机平台采用2乘2取2冗余结构,它是一个实时系统,控制过程需要考虑时间因素。本文分析CBTC系统安全计算机平台系统的组成结构,提取出系统的功能约束,采用基于时间自动机理论的建模验证工具UPPAAL建立系统的自动机网络模型,进行仿真分析,验证系统的功能性、实时性、安全性要求。     

RSSP-Ⅰ与RSSP-Ⅱ铁路安全通信协议对比分析

铁路信号系统存在许多安全设备,如联锁系统、列控系统、RBC系统、CTC系统等,各个安全系统之间接口通过专门的安全通信协议交换数据。目前我国铁路主要有RSSP-Ⅰ、RSSP-Ⅱ2种安全通信协议,这2种安全协议使用范围、传输要求存在差异,本文对此2种安全协议进行了对比分析。     

编组站综合自动化系统与CTCS-2系统结合的思考

描述在铁路编组站综合自动化系统、CTCS-2系统与联锁系统关系,分析编组站同时引入编组站综合自动化系统与CTCS-2系统时出现的联锁系统控制权和线路区间信息交互问题,并提出工程解决方案建议。     

200～350km/h列车运行控制系统关键技术研究

通过分析CTCS-2、ETCS-2和CTCS-3列车运行控制系统的不同特点,在CTCS-2应用的基础上,提出一种能够满足200～350 km/h列车运行速度的列车运行控制系统(CTCS-235).CTCS-235系统利用CTCS-2系统设备,通过增加轨道电路列控信息、改变闭塞分区设置等方法,解决了满足300～350 km/h列车运行控制信息量和列车安全追踪间隔问题,实现对200～350km/h列车安全控制.同时,CTCS-235系统克服了ETCS-1点式系统实时性较差的缺点;避免了CTCS-3系统由于轨道电路传输信息和GSM-R传输信息不兼容,造成ETCS-2 与CTCS-2兼容性实现复杂等问题.CTCS-235系统结构简单,兼容性好,便于实现,成本低廉.本文阐述CTCS-235系统的构成和工作原理.分析满足300～350 km/h列车控制信息量、闭塞分区设置、兼容性、系统的可靠性和安全性等关键技术.将CTCS-235系统的性能和特点与 CTCS-2、ETCS-1和CTCS-3系统进行了比较.     

适用于轻轨系统的列车位置检测设备

对轻轨系统关键技术之一的位置检测设备进行探讨.分析常用的列车位置检测设备应用于轻轨系统的局限性,研究ARTJZ -2型计轴系统应用于各种钢轨和道床条件的工程实施方案,检测ARTJZ -2型计轴系统样机的功能、性能、安全,并对轻轨列车、汽车、行人混行模式下对系统的影响进行试验.试验结果表明,ARTJZ -2型计轴系统完全...     

轨道交通计算机平台----可靠性与可用性分析

介绍轨道交通计算机冗余系统的结构和基本原理,在综合考虑了故障覆盖率及维修率的情况下,计算了2系统的可靠度和可用度,并利用MATLAB仿真功能给出了相关比较曲线。通过分析比较,得出"3取2"系统的可靠性要高于"2乘2取2"系统的可靠性,而"2乘2取2"系统比"3取2"系统具有更高的可用性。     

十年磨砺求奋进 策马扬鞭续辉煌——北京交大微联科技有限公司十周年庆典大会在京举行

<正> 北京交大微联科技有限公司(以下简称"交大微联")成立于2000年4月,注册资金1亿元,是一家自主研制和生产铁路运输安全设备的高新技术企业。专业从事计算机联锁系统、分散自律调度集中(CTC)系统、列控系统、微机监测系统软件开发及系统集成的铁路运输安全设备生产企业,产品被广泛地应用于铁路、城铁、煤炭、矿山等领域。公司生产的JD-IA型双机热备计算机联锁系统、E132-JD型2×2取2容错计算机联锁系统、FZj-CTC型分散自律调度集中系统、LKD1-J型车站列控中心系统、TJWX-2006-JD型微机监测     

基于动态故障树的计算机联锁系统安全性及性能分析研究

针对2种常用冗余结构计算机联锁系统中的联锁机子系统,在考虑单元模块、比较模块和系统间切换模块全故障模式的情况下,建立双机热备和2×2取2计算机联锁系统的危险失效概率PFD和安全失效概率PFS的动态故障树模型。由于故障树概率近似法和Markov方法计算结果非常近似且概率近似法的求解过程简单和存储要求低等特点,采用概率近似法求解对应的PFD和PFS,实例对比分析2种冗余结构计算机联锁系统的安全性。研究结果表明:在全故障模式下,2×2取2计算机联锁系统的安全性高于双机热备。     

动车所控制集中系统分场控制方案设计

在贵阳北动车所扩建工程中,通过一套动车所控制集中系统控制2个独立动车所。该控制集中系统分别与2个动车所的调度集中系统(CTC)、计算机联锁系统、动车组管理信息系统互联互通,搭建起信息化、集成化的系统网络,实现了动车所综合自动化的目标。     

昆明轨道交通1、2号线AFC系统拆分方案研究

介绍昆明轨道交通AFC系统的总体结构及1、2号线AFC系统的建设情况,针对昆明轨道交通1、2号线延长线建成后两线独立运行后AFC系统如何拆分,提出了3种系统构成方案,对3种方案进行分析比选后提出优化建议。     

国外铁路客票座席预约系统(下)

意大利铁路座席预约系统 意大利铁路座席预约系统,于1969年开始使用。 在意大利,一切主要列车与大部分的航空线路,都能在2个月前办理预约,这个系统叫做IRIS,并加入了座席预约的国际网络,与联邦德国、瑞士的系统结合。通过联邦德国系统,又可与奥地利、瑞士、比利时、荷兰、丹麦、卢森堡等国的系统连通,均可预约这些国家的列车。另外,意大利铁路有2台直接终端机     

TM2型机车空气制动系统

介绍了TM2型机车的风源系统、控制管路系统、辅助管路系统和制动机系统,并对制动机控制电路原理作了详细说明。     

沈阳地铁2号线地铁车辆

介绍了沈阳地铁2号线地铁车辆总体布置和车辆的技术规格参数以及车体、转向架、牵引系统、制动系统、辅助电源系统、列车控制和诊断系统等主要部件,并对沈阳地铁2号线地铁车辆的主要技术特点进行了归纳总结。     

对等网络视频点播系统服务器流量模型

在流媒体服务研究领域,服务器流量是衡量系统性能的主要指标。P2PVoD系统中,用户作为视频资源的使用者和提供者,其行为模式对服务器流量产生较大影响。这一特点是以往其他流媒体系统所不具备的,而现有文献又缺乏对以上特点的研究分析及建模。本文以P2PVoD系统的实用网络测量数据为基础,研究用户行为模式与服务器流量的关系,建立用户行为的"时间性模式"模型,并由此推导出服务器流量与频道流行度及资源分布的关系模型,继而通过实测数据验证模型的合理性。最终确立了测评P2PVoD系统性能的模型,即服务器流量、用户规模(系统日用户数)、频道容量(系统总频道数)间的关系模型。此研究对于改善、提高P2PVoD系统性能具有理论和应用价值。     

客运专线通信系统可靠性测试探讨

概述客运专线联调联试的通信系统可靠性测试,介绍传输系统、GSM-R系统、调度系统、数据网、综合视频监控系统的传输网络结构。通过功能测试,给出传输系统保护倒换过程对调度系统、GSM-R系统、数据网、视频监控系统业务的影响,以及调度系统、GSM-R系统的2Mb/s通道保护倒换对业务的影响,验证客运专线通信系统的可靠性。     

华方版《车站十八点统计分析系统》在全路推广应用

2 华方版《车站十八点统计分析系统》的主要特点 2．1 系统用全参数化设计 系统采用全参数化设计,主要包括模块全参数化设计、报表全参数化设计、字典全参数化设计、方向全参数化设计等方面。     

DK-2型制动系统教学软件

文章介绍一款基于C#语言编程和flash动画制作技术相结合开发的DK-2型制动系统教学软件。该软件实现了DK-2型制动系统气路原理、电路原理、基础制动原理、相关操作等等的动画展示,同时还具有系统模拟,单机制动距离实时计算,一般故障处理导向等功能,可以让使用者更容易地掌握DK-2型制动系统的相关知识和操作方法。     

图文办公自动化系统的设计

目前的图文办公自动化系统一般选择Lotus Notes、Exchange Server或.net作为支撑平台,使得系统的可扩展性和兼容性较差,不灵活.在分析和设计图文办公自动化系统过程中运用J2EE技术,并通过介绍该系统的表示层、业务逻辑层和数据服务层,表明J2EE技术能够为开发的系统带来显著的可移植性,可伸缩性,可复用性,安全性和可管理性.     

城市轨道交通信号系统大修改造方案分析

根据城市轨道交通信号系统改造的设计原则,提出"维持既有系统制式"和"完全新建系统"2种不同的信号系统改造方案.从工程投资、工程实施,以及改造后的系统性能和运营需求等方面对2种方案进行了详细对比分析,可为信号系统的大修改造提供参考.     

城市铁路

12月1日上午，随着西安地铁2号线中铁一局电务公司项目部工作人员对无线通信系统的调试完成，2号线专用通信系统顺利实现传输通道、公专交换系统以及无线通信系统的“三通”。作为2号线又一个重要节点工期，它将为2012年5月28日开始的系统联调奠定基础。