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

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

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

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

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

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

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

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

天津地铁网络化运营车辆维修管理模式设计

天津地铁1、2、3号线的联网运营,将使轨道交通从单线正式过渡到网络.通过分析天津地铁线网规划中各车辆段及基地配属,明确各车辆段的功能定位.在制定车辆周期预防性维修分级标准及主要内容的基础上,规划网络化车辆维修生产组织模式和管理体系.从定修段到大修厂,分别说明具体的维修生产组织流程和运作模式,该模式对保证网络化车辆维护保障体系的科学性、系统性、先进性将起到重要的支撑作用.     

青藏线GSM-R无线网络优化简析

通过对GSM-R进行系统参数的采集和数据分析,找出影响网络运行质量的原因和隐患,通过参数调整和采取一些其他的技术手段和措施,使网络达到最佳的运行状态,使现有的网络资源获得最好的使用效益。同时,也对网络今后的维护和规划提出合理的建议。     

客运专线ZPW-2000A轨道电路应用分析

介绍客运专线ZPW-2000A轨道电路的结构组成,分析应用特点,阐明其与既有ZPW-2000A设备相比所具备的先进性及高可靠度,提出日常维护和故障处理的建议。     

铁路信号系统软件设计开发平台研究

随着软件在铁路信号系统中占据着越来越重要的地位,其规模越来越大、复杂程度越来越高,为信号系统软件的设计研发带来了巨大的挑战。研发信号系统软件设计开发平台为信号系统软件的研发提供技术支撑,是信号系统软件设计开发的趋势。介绍一种支持铁路信号系统软件全生命周期的设计开发平台,及其在信号系统软件产品研发中的应用。     

轮式装载机轮胎的使用与管理

加强轮胎的使用管理对装载机的保值、增值具有重大意义.针对不同工作状况,从保护轮胎的角度介绍了装载机使用和管理过程中应注意的事项.     

宁夏地区沥青路面养护专家系统的开发

传统的项目层次的沥青路面养护决策方法是依靠养护工程师在现场进行评价决策,这种传统的决策方法虽然准确有效,但也存在效率低、决策有差异性、区域性养护标准不统一等问题。本研究通过对宁夏地区普通公路养护专家知识和经验的提取,建立了一套基于路面管理系统(CPMS)数据库和专家知识的沥青路面养护专家系统,它能够解决基层公路管理部门所面临的养护决策问题,是对CPMS网级系统的补充和对CPMS技术的完善。