铁路信号联锁逻辑形式化建模研究

铁路车站信号联锁逻辑的形式化描述无论对计算机联锁软件的开发，还是对联锁软件的测试都是非常重要的。 铁路大站的联锁逻辑十分复杂，对其进行形式化描述是一项艰难的工作。目前，国内外尚无这方面详细研究的文章和报道。本文利用层次结构的概念，采用层次化有色Petri网，以建立铁路车站信号计算机联锁软件第三方测试的现场仿真环境为目的，以车站联锁设备的层次化有色Petri网模型为背景，介绍了铁路车站信号联锁逻辑的形式化描述的基本方法。     

繁忙干线上站场改造时信号过渡工程设计

1总体要求 随着铁路扩能改造项目的日益增多，为保证施工期间的行车安全，不对运输造成干扰，大量采用既有车站信号设备进行站改过渡。根据铁运函（2004）185关于《既有车站信号改造过渡工程中严禁在进路接入非联锁道岔的情况下开放信号》的通知精神，凡新接入或移设的道岔必须纳入车站联锁，为此需要在对车站站场进行改造的实施中，对信号设备进行过渡_丁程设计。     

计算机联锁仿真试验探讨

1 仿真试验存在的必然性 随着铁路发展的加速,信号设备的更新速度也日益加快,各种设备改造周期逐步缩短.对计算机联锁车站而言,信号设备的改造一旦涉及联锁软件的变动,就必须进行联锁试验.     

区域计算机联锁系统在大连快轨3号线续建线的应用

车站联锁系统是保证现代城市轨道交通行车安全的重要设备。区域计算机联锁系统是在车站计算机联锁基础上结合了网络安全传输等技术发展的网络化、智能化、集成化的信号控制系统,它将整个控制区域视为一个车站．使用一套联锁机完成多个车站的联锁逻辑运算和集中控制．实现车站联锁、区间闭塞和站间联系的一体化控制。     

计算机联锁车站站改过渡方法探讨

针对车站信号计算机联锁过渡改造中联锁机柜接口外电路的试验,给出了驱动和采集模拟试验盘电路、试验方法、注意事项和特点.     

减少施工封锁信号停用时间的探讨

在既有线技术改造工程中,施工封锁信号停用,直接影响运输效率和安全,在繁忙干线的矛盾则更为突出.对此,铁十四局电务工程处在武广电化改造车站计算机联锁工程中,对具有客货2个车场共11条到发线的坪石站施工项目,进行了认真的探索,将常规封锁停用信号开通新设备需要12h以上,压缩到施工停用3h,电务联锁试验2h.     

既有线站场改造过渡工程信号施工的安全控制

1既有线站场改造过渡工程信号施工的特点 既有线站场改造过渡工程信号施工有其自身的特点。首先信号配合是在既有联锁电路上进行改造；其二所有的准备工作不能影响既有设备的正常使用；其三必须在规定的施工封锁时间内完成新设备的电路接入、联锁试验，而且在此过程中列车仍在不间断的运行。这些特点决定了信号施工的难度：事先不能进行电路试验，所有的设计、施工问题必须在规定的施工封锁时间内得到发现和解决。     

车站计算机联锁设备岗位培训初探

车站计算机联锁设备在我国已成为逐步取代6502电气集中设备的新一代车站联锁设备，随着设备的大批开通使用，电务生产现场信号技术人员、信号维修工的岗位培训，已成为该设备能否发挥其优越性和效益的关键，现场岗位培训应从以下几个方面着手。     

计算机联锁控制台的改进及应用

2008年10月，在对西安铁路局所辖的有关线路车站进行调查走访中发现，车站运转室内设备整体布局混乱，集中表现在：TDCS控制台用1台普通木质电脑桌及1台控制机柜；计算机联锁控制台为前、后一高一低2台钢质桌子。不同车站设备外型尺寸不一致、颜色各异，不仅影响车站运转室的整体形象，而且降低了信号设备的可靠性和安全性。     

自动仿真测试平台在联锁车站软件测试中的应用研究

联锁车站软件是计算机联锁通用软件针对具体工程的特殊应用。采用自动仿真测试平台进行联锁车站软件测试,虽然较传统人工测试存在优越性,但同时也带来一定的应用风险。为此,采用功能FMECA方法识别自动仿真测试平台的高风险失效模式,并制定风险控制措施;以此为基础设计出一种应用自动仿真测试平台的联锁车站软件测试方案;最后对该方案采用过程FMECA方法进行验证。结果表明,该方案在满足既有测试需求的基础上,对仿真测试平台的相关风险均实现了有效控制,从而保证了联锁车站软件测试的质量。