基于Prover的联锁软件形式化验证过程研究

计算机联锁系统是铁路信号控制系统的核心设备,是有着苛刻安全要求的复杂控制系统。本文采用Prover形式化开发工具对联锁软件安全需求进行形式化验证。通过模型检验的形式化验证方法,遍历系统输入变量的所有状态空间.验证联锁特定应用满足系统安全需求,确保系统的安全性得以正确实现。在保证系统安全性的基础上,以全状态空间查找反例的检验方法进一步提升产品的质量。     

运用DOE方法解决HXD1型机车SKS3模块接线脱落质量问题

文章首先对HXD1型机车辅助开关柜SKS3模块接线脱落的故障类别和故障原因从人、机、料、法、环、测等方面进行了分析,在此基础排除非主要因素,然后通过DOE的方法找出几个影响辅助开关柜SKS3模块接线脱落的重要因子。通过质量改进,标准化生产加工工序,以减少以后生产中SKS3模块接线脱落。     

KZ4A~C型机车司机室加热系统效率仿真计算

在试验条件无法满足的情况下(室外温度比较低,分别为-40℃、-50℃和-60℃),通过Fluent软件对KZ4AC型机车司机室加热系统的加热效率进行仿真计算。建立了KZ4AC型机车司机室物理模型及数学模型,运用试验手段验证了模拟结果的可靠性,为电力机车司机室加热系统的设计提供新的验证方法。结果表明:当室外温度分别为-40℃、-50℃、-60℃时,司机室温度达到要求所需加热时间分别为28 min、35 min和42 min,均满足标准要求。     

铁路新增货运通过能力计算分析系统的研究

铁路区段货运通过能力是路网能力的一项重要组成部分.随着客运专线的建成通车,既有线上的货运能力逐步得到释放.为了准确计算货运通过能力,本文使用了运行图模拟铺画法,开发了铁路区段新增货运通过能力计算分析系统.实例研究表明,该系统能够准确计算出区段的新增货运通过能力,对铁路局货运组织有一定的指导意义和参考价值.     

大型建筑企业管理软件中的报表技术研究

系统地阐述了企业管理软件Oracle的PeopleSoft Enterprise中几种常用且重要的报表开发工具,并研究和总结了这几种报表技术的优缺点、适用范围,提出了在实践中选择报表工具,高效快速开发报表的建议。     

基于X86PC服务器虚拟化解决方案

针对目前铁路部门机房X86 PC服务器数量较多,且资源利用率低下,维护和升级不便等问题,提出了对X86 PC服务器虚拟化解决方案,重点介绍VMware相关产品如何实现虚拟化的方法.     

青岛城市轨道交通AFC系统读写器软件接口特点介绍

为了指导青岛城市轨道交通自动售检票系统的路网建设,规范技术标准,减少重复投资和设备维护及升级成本,青岛市地铁集团建设单位组织编制了AFC系统标准规范。研究和规范读写器的票卡处理单元(TPU)软件的接口,不仅可以提高车票处理速度、规避车票处理错误,还能实现线路间设备的互换性,并且可以减轻系统升级维护工作量和成本。从读写器软件的原理、架构和处理流程上,介绍了青岛城市轨道交通AFC系统票卡处理单元软件接口的特点。     

计算机联锁软件仿真试验表格的运用

计算机联锁在现场模拟试验之前及软件修改后,电务段应进行全面的联锁仿真试验,并认真做好记录,仿真试验的内容按要求表格化,为此需要设计全面的试验表并应掌握试验方法。     

超级电容圆形单体有限元分析

文章基于ABAQUS分析软件,建立了某圆形超级电容单体壳体的有限元模型,分析其在不同压力作用下圆形电容器单体不同部位,特别是焊缝和防爆槽处的应力分布和变形情况,以找出防爆槽的开启压力及压槽处的最大承载压力,为改进设计提供依据;同时,还分析不同防爆槽厚度的屈服点和塑性变形点。仿真研究结果表明：现设计方案的防爆槽在2.0 MPa压力作用下,满足设计要求。     

混合动力有轨电车列车控制和管理系统软件测试平台设计

针对燃料电池和超级电容混合动力有轨电车的列车控制和管理系统(TCMS)软件测试需求,运用Control Build仿真软件搭建了适用于燃料电池和超级电容混合动力列车的TCMS软件测试平台。该平台在具有列车电路和常用子系统仿真功能上,采用拟合方法搭建了燃料电池模型、超级电容模型、动力电池模型和列车能量流动模型,为TCMS软件进行混合动力能量管理和整车能量管理提供测试环境,提高了燃料电池超级电容有轨电车TCMS软件测试的范围和效率。