铁路微机联锁控制系统的研制

研究了车站微机联锁控制系统的结构、工作原理、安全性可靠性设计及其特点。介绍了一种微机联锁控制系统（ＪＤＷＬ）。该系统实现了６５０２电气集中的所有功能、软硬件设计上采取了诸多措施使系统具有高安全性和可靠性。     

编组站驼峰车辆溜放速度控制系统的研究

以计算机和红外线传感器为主，研制了编组站驼峰车组溜放速度控制系统，系统通过检测车辆溜放的速度，计算出所需制动力的大小，通过缓器对车辆溜放进行速度控制，并具有对解体车辆自动计数，各种故障报警等功能。     

微机联锁铁路现场信号仿真系统的研究

在分析铁路场的基础上,给出信号仿真系统的数学模型,提出用“进程交互作用法”这一仿真技术来实现面向铁路车站联锁信号现场的仿真,并予以实现。     

微机联锁中的监测系统研究

针对研究开发的微机监测系统的必要性，以及在微机联锁系统中的应用方案、结构原理、工作性能作了一些探讨。     

编组站到达流生成方法的研究

设计了编组站到达流生成的一种新方法，它建立在对编组站原始到达车流统计的基础之上，然后对产生的到达流进行检验，并对南仓站实例进行到达流生成，得到了良好的结果。     

交互式热备冗余微机联锁系统的可靠性研究

介绍了上、下位机结构的微机联锁系统，并定量地讨论了其可靠性，针对存在的问题，提出新的设计方案-上、下位机交互式热备冗余结构，并从理论上推导了其可靠性，为这种新结构的实际应用奠定了理论基础。     

三模冗余结构微机联锁系统的安全度分析

脸用马尔可夫模型,在考虑故障覆盖率影响的情况下,对三模冗余结构微机联锁系统的安全度进行详细的推导,得出了该系统安全度的定量表达式,分析了在典型情况下的系统安全性能人结果结合实际应用进行了有意义的讨论。     

内燃机车电机微机控制综合试验系统

介绍内燃机车上低压大电流辅助电机的微机控制综合试验系统，采用ＰＣ／ＸＴ微型计算机进行数据采集，数据处理及控制，给出了控制系统的主要硬件接口电路；系统的闭环控制原理及控制算法，抗干扰措施及主要控制软件。     

TYLK-I�ͳ�վ�п�����ϵͳ���о�

车站列控中心是中国列车控制系统(CTCS)的地面设备之一，是铁路运行速度提高到200km/h的关键控制设备。本文在介绍CTCS结构和车站列控中心与其它关键信号设备连接的基础上，以TYLK-Ⅰ型车站列控中心系统为例，对其系统结构、主要功能及关键技术进行了分析和实现。车站列控中心根据调度命令、进路状态、线路参数等产生进路及临时限速等相关控车信息，通过有源应答器及轨道电路传送给列车。多次测试表明，TYLK-1型车站列控中心完全能够满足在既有线提速到200km/h的条件下对列车实行安全控制的需求。     

汽车检测站质量体系文件

依据《产品质量检验机构计量认伍／审查认可(验收)评审准则》，汽车检测站质量体系文件应包括：质量手册、程序文件、操作指导书、质量文件。     

车站信号两个联锁问题探讨

随着我国社会经济的全面发展,铁路系统作为交通行业的重要组成部分,也在不断更新设备,应用新型的运输形式,一些新的问题也随之出现.铁路计算机信号联锁系统作为行车安全的技术保障之一,具有不可忽视的作用.针对两类联锁问题的处理方法,可有效解决故障范围扩大的问题.     

车站联锁系统行为验证与数据确认的形式化方法

车站联锁系统是一种典型的基于数据驱动的安全苛求系统,开发过程中需要对系统行为进行验证并需确认数据的正确性. 为此,通过分析联锁系统的设计规范,基于RODIN平台并使用Event-B语言,辅助使用UML （unified modeling language）图工具快速建立系统的初始模型,以自动生成模型文件并描述出各系统属性与事件流程;基于精化策略分层建模,对各层模型的证明义务进行定理证明,验证了系统的各项属性,得出可靠的通用功能模型;基于实例车站,对模型的公理进行了验证,同时实现了对联锁数据的确认;通过形式化验证过程,结合给定场景联锁数据的有效性确认,发现并纠正系统需求及分析过程中造成的潜在行为缺陷;通过功能仿真与验收测试,进一步确认了通用模型与联锁数据的正确性. 结果表明:本文方法提高了基于模型开发过程的准确性与层次性,验证了系统通用行为状态,且结合公理验证,实现了联锁数据的确认,并能基于模型进行功能场景仿真与测试,从而可进一步提高系统通用功能原型的可靠性.      

车站电气集中计算机联锁模拟系统的开发研究

介绍一个车站电气集中计算机联锁沙盘模拟教学系统，论述了系统的结构与组成，系统整体特点，软、硬件工作原理以及软、硬件系统开发过程中的设计思路，提出了为满足实时性等设计要求而采取的具体解决方案，该系统现已成功地应用于铁路培训基地中．     

汽车检测站质量体系运行

在计量认证现场评审前，汽车检测站应确保其质量体系的有效运行，对与检测有关的各项质量活动及其结果进行控制并做好运行记录。     

机动车安全检验机构联网监管系统研究

通过对机动车安全检验机构联网监管的重要性加以介绍,提出一种由管理层系统与站点层系统组成的机动车安检机构联网监管系统.同时对系统的功能、硬件结构和软件技术进行深入阐述,由此看出:该系统可为公众提供一种方便快捷的车型参数信息查询服务.并为行车安全和降低环境污染提供可靠、科学的技术保障.