基于UPPAAL的铁路车站信号联锁系统模型验证

详细介绍了适于描述实时系统的形式化方法,时间自动机以及基于时间自动机的模型验证工具UPPAAL.给出了铁路车站信号系统中的联锁功能进路建立的时间自动机模型,并利用UPPALL对其进行了分析与验证.     

铁路车站计算机联锁软件的安全性评估策略

安全控制系统的行为直接关系人身和大宗财产的安全，如何定量地反映系统中计算机软件的安全性品质是一个值得探讨的问题。应从软件可靠性和安全性含义的讨论中，明确它们之间的区别。在此基础上，提出一种能定量反映计算机联锁安全软件安全性的评估策略，最后论述了对某制式铁路车站计算机联锁安全软件进行分级测试后，利用J－M可靠性模型对其进行安全性定量分析的方法。     

煤矿铁路装车站的布局方案及适应性分析

对煤矿铁路装车站的基本布局方案进行了介绍，从装车方式的选择、装车牵引设备的选择、装车站的布置形式等方面，阐述了装车站布局形式的适应性，并提出了新的布置形式，预测装车站发展方向。     

优化矿区铁路车站站场布置的探讨

针对矿区建设发展对铁路运输的需求,以及矿区铁路车站的规模和发展状况,结合本地区煤炭企业的实际情况,探讨对既有和新建矿区铁路车站站场布王的方式进行优化,以提高运输效率,提升经济效益,同时对矿区车站建设如何协同地区经济发展相结合进行探讨.     

装车站运输作业过程的可靠性研究

针对装车站站停时间的分布问题,采用分析方法,对装车站站停时间的分布规律及影响因素进行分析,探讨提高装车站作业过程可靠性的措施.根据装车站大量翔实的数据,在统计站停时间、装车时间、待机时间的分布规律基础上,建立了可靠性模型,进行了可靠性分析计算.研究结果表明,装车站作业过程的可靠性主要受装车作业时间、机务作业时间的影响.     

防冻液自动喷洒系统在装车系统中应用

文章介绍了装车站防冻液系统通过PLC集中控制、利用液压传动及动滑轮组传递变距原理实现不同车型的自动升降装置，根据不同车型车皮的间距，设置定位电子眼实现喷洒的启停，使防冻液喷洒在装车系统中实现了自动化。     

铁路车站行包配装计算机辅助决策系统的研究

:建立了铁路车站行包配装问题的基本模型 ,并根据行包运输特点及要求分析了模型的理论求解方法及算法复杂度 ,在此基础上提出了较优可行解的求解算法 .根据该模型及其算法 ,对配装辅助决策系统的结构与功能进行了讨论     

防冻液自动喷洒系统在神东矿区实现

文章介绍了装车站防冻液系统通过PLC集中控制、利用液压传动及动滑轮组传递变距原理实现不同车型的自动升降装置，根据不同车型车皮的间距，设置定位电子眼实现喷洒的启停，使防冻液喷洒实现了自动化。     

智能化控制系统在铁路车站节能中的应用

铁路车站在给乘客提供舒适度的同时,消耗的能源也是很大的,智能化控制系统可以通过科学、合理的控制设备,以达到既充分控制能耗又满足环境舒适度的需要。     

项目教学法在铁道信号专业课程中的应用

“项目教学法”的显著特点是“以项目为主线、教师为主导、学生为主体”,改变了以往”教师讲、学生听”的被动的教学模式,创造了学生主动参与、自主协作、探索创新的新型教学模式.     

铁路信号计算机联锁系统在三钢的应用

本文介绍了铁路信号计算机联锁系统在三钢的应用,信号计算机联锁系统组成及系统优点,实现了铁路运输的安全快捷并取得了良好的经济效益。     

专用铁路计算机联锁系统运行故障的分析及排除

铁路计算机联锁系统技术成熟，在国家铁路应用广泛，并逐步推广到各企业专用铁路使用。主要阐述了计算机联锁系统在兰州石化公司化工储运厂专用铁路应用过程中，对运行故障的分析和排除。     

轨道交通中的计算机联锁及其应用

计算机联锁可使轨道交通的控制与执行效率大幅提高。本文介绍了轨道变通中联锁系统的组成子系统、技术特点,基本原理,层级结构及其软硬件方面的应用。通过本文的介绍,读者可以对新兴的计算机联锁轨道交通有基本的认识。     

蠕墨铸铁在铁道车辆制动系统的应用

在分析车辆制动器摩擦温度场的基础上 ,研究了蠕墨铸铁在铁道车辆制动系统的使用性能。研究结果表明 :在车辆制动器服役条件下 ,摩擦速度与接触压力的提高 ,摩擦副的摩擦系数显著降低 ,而磨损率显著增加 ;在所研究的不同石墨形态的铸铁中 ,蠕墨铸铁不但具有低而稳定的磨损率 ,而且具有高而稳定的制动性能 ,是制造车辆制动器部件的合理选材。     

ZMC-30型全液压侧卸式装煤机在大同煤矿集团的应用

介绍了新一代履带行走无轨装载设备ZMC—30型全液压侧卸式装煤机的主要优点及适用范围,详细阐述了该机在大同煤矿集团公司矿井的应用情况,并结合实际情况提出了几点建议。     

基于面向对象的铁路联锁软件设计

铁路联锁软件作为铁路联锁系统的核心,担负着保证铁路行车安全的重要使命。如何提高联锁软件的可复用性和可移植性,以减少重复定义时出现的错误成为了业界不可忽视的问题。选用面向对象方法进行联锁软件的设计,可以有效地提高软件的可复用性和可移植性,从而解决了上述问题,同时也减轻了设计人员的劳动强度,提高了软件的发效率。     

铁路信号计算机联锁系统的联锁逻辑变换

分析了铁路信号计算机联锁系统中流通的信息 ,将其分为涉安信息与非涉安信息两大类 ,并进一步提出当使用逻辑变量来表达涉安信息时的“安全侧逻辑状态”与“危险侧逻辑状态”。阐述了变换联锁信息表达形式的重要性 ,给出了根据故障 -安全原则实现安全逻辑变量的 2种表达形式。最后介绍了在研究实践中总结出的安全逻辑变量变换方法及其实效     

计算机绘图在求解线间距中的应用

针对线间距的求解问题，介绍了一种综合利用计算机技术及其绘图功能求得线间距的简捷方法。     

MCIS计算机联锁系统在铁法矿区铁路车站的应用

阐述了MCIS计算机信号联锁系统的主要功能、性能及特点。重点从安全性、实用性和便捷性等方面进行阐述。实践证明，计算机信号联锁系统的应用，有利于保证铁路运输安全，减轻了工人的劳动强度，值得推广应用。     

试论计算机信息化技术在煤矿安全管理中的应用

随着计算机信息技术在各行各业中的不断飞速发展和广泛应用,特别针对煤矿安全生产管理来说,各种影响煤矿安全的不利因数都可以得到有效控制,使煤矿安全生产管理有了质的飞跃,真正为实现＂安全第一、预防为主＂奠定了坚实的基础。但是,计算机本身的安全问题,严重影响着计算机安全监控的可靠实施。因此,加强计算机的安全管理意识,为煤矿安全生产保驾护航显得尤为重要。