苛求软件可靠性方法、技术与模型研究

从瀑布式程序设计的角度,综述了苛求系统软件生命周期各阶段的可靠性方法、技术和模型,包括需求形式化建模与验证、屏蔽设计错误的多版本软件容错、函数式程序设计以及可靠度评估模型等。总结比较各自适用的开发阶段、面向的目标错误类型及优缺点。     

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

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

一种新型车辆用紧急逆变器的散热分析

应用ANSYS 12.1的Icepak模块对新型车辆用紧急逆变器进行散热分析,根据热仿真结果选择合适的散热材料,验证散热结构设计的合理性。     

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

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

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

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

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

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

南京地铁AFC系统的软件过程管理探讨

首先介绍南京地铁AFC系统的总体架构及软件体系,明确对AFC系统实施过程管理的必要性;进而论述AFC应用软件的技术要求,和对其进行过程管理的基本措施,并深入阐述AFC应用软件测试的方法、步骤和引入第三方测试的必要性;最后给出实施AFC软件过程管理的主要工作措施,为AFC系统软件项目的管理提供参考.     

基于CDMA 1X的磁浮列车悬浮导向系统远程监控的设计与实现

利用CDMA1X无线通信技术对磁浮列车悬浮导向控制系统实施无线远程监控,并完成整个系统的硬件和软件设计。阐述了系统的组成结构和工作原理,对系统接口转换模块、CDMA数据终端单元和远程监控中心等部分进行了详细的分析和设计。该系统已成功运用于双磁浮架车辆悬浮导向平台试验中,很好地实现了车辆运行过程中对各点控制器状态和参数的实时监控。     

广州地铁一号线图形命令中心国产化技术改造

为了解决广州地铁一号线图形命令中心(GCC)软件无法与目前主流工控机兼容,而且目前使用奔腾级级别档次的工控机已经被淘汰,市面上已经很难买到的难题,为此对现有的GCC进行国产化技术改造.     

基于混杂模糊切换的快速路区域协调控制研究

基于对城市快速路出入口匝道及辅路交叉口的交通流特性分析,利用混杂自动机原理建立了交叉口混杂切换系统模型,并结合出入口匝道的交通流密度来协调交叉口的信号控制.提出了应用模糊逻辑的方法来优化交叉口的相位切换顺序,并用Paramics微观交通仿真软件进行了仿真.结果表明该算法能一定程度上提高车辆的平均速度,是解决城市交通区域拥挤的一种有效方法.