TYJL-Ⅱ型车站计算机联锁系统、TYJL-TR9型容错计算机联锁系统

车站信号联锁系统是直接与行车安全相关的基础设施，TYJL－Ⅱ型和TYJL－TR9型计算机联锁系统的研制成功标志着铁路信号发展史上的一个重要发展阶段，现已在全国大范围投入使用，至2001年年底已在350个车站开通使用，经济和社会效益非常显著，该项目获2000年铁道部科技进步一等奖，2001年国家科技进步二等奖，本文介绍系统概况，关键技术以及取得的经济，社会效益。     

联锁软件的Petri网模型化

铁路信号计算机联锁系统是一个安全－关键系统，运用Petri网模型化了该系统中的软件部分，包括上位机，联锁机和采集／驱动部分，该模型将有助于检测系统定义的一致性，完整性和精确性，有助于提高系统的安全性和实时性能。     

计算机联锁表示盘系统的设计和实现

车站信号表示盘系统是车站调度人员进行作业调度的重要设备.本单位和西安铁路信号工厂联合开发了一种新型计算机联锁表示盘系统,介绍了该表示盘系统的硬件结构和软件结构,对CAD软件中涉及到的搜索算法进行了详细的阐述.该系统较好地满足了现场调度人员的要求,已通过有关电务部门的鉴定.     

联锁软件的Petri网形式化定义

用Petri网对联锁系统中的核心部分－联锁机中的联锁软件进行表式化定义和分析，以减少联锁系统中的不确定性因素，降低联锁软件的复杂性，保证联锁软件定义的正确性，并对该定义进行了形式化验证。同时以进程建立过程作为事例，说明了用Petri我形式化定义联锁软件的具体过程，采用分层模型化技术对联锁软件中的各个变迁（模块）进行逐级分解和验证，最终得到经过验证的，足够详细的联锁软件模型，利用该模型能对系统的一些重要性能（如安全性和实时性）进行分析和改进。     

关于编组站调车场尾部平面溜放侧面冲突的研究

重点讨论解决编尾连续溜放侧在冲突的方法，使对这种问题的认识和处理从以往的经验处理上升到理性上，提高了安全性和效率，提出了临界速度分析法和分路道岔预锁闭的概念，并建立了数学模型，为防止侧面冲面开辟了一条新途径。     

农村公路养护评价管理体系探讨

农村公路:现状分析、技术状况普查、技术状况评定、养护决策、养护工程项目库、养护绩效管理考核。     

TYJL-TR2000型容错计算机联锁控制系统设计和实现

在铁路车站信号计算机联锁控制系统中，对系统的可靠性，可用性和实时性要求较高。本单位自行设计研制了一个满足这种高可靠性，可用性和实时性要求的三模冗余容错计算机联锁控制系统TYJL-TR2000，本文介绍了该系统的硬件和软件结构。