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

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

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

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

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

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

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

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

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

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

计算机联锁系统辅助电源设计

介绍了多输出单端反激开关电源的设计方法,该方法适用于计算机联锁系统辅助电源的设计。分析多输出单端反激电源的工作原理,双闭环控制方式和工作模式;详细阐述了高频变压器的设计方法以及关键元器件和电路参数设计。该方法设计出的电源符合计算机联锁系统辅助电源性能要求,具有很大的实际工程价值。     

桥梁施工进度控制GERT网络仿真研究

根据GERT网络特点,引入计算机仿真技术,研究了桥梁施工进度控制模拟仿真网络模型GERTS,通过网络要素的节点和活动仿真,提出了产生规定分布随机数的中值平方法、中值乘法、线性同余法,建立了GERTS计算机模拟网络模型,结合实桥钻孔桩施工网络仿真,编制了仿真网络的计算机程序并进行了模拟分析,其仿真工期都在150d上下波动,随着程序运行次数的增多,该结果越来越接近工期理论计算值150d,仿真效果符合工程实际规律,结果表明:GERT仿真网络是控制桥梁施工进度的一种有效方法。     

微机控制点火系的检修方法

微机控制点火系的种类有3种,然而根据其结构设计不同又可以把点火系统分为6种,其检修方法各有不同,本文重点介绍点火系统的具体检测维修方法。     

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

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

基于计算机自动控制技术的多探头测深系统研制与改造

通过加装控制盒的方式,实现单探头测深仪与自动控制探头之间的流畅切换,将传统单探头测深仪改造成具有多探头功能的高效水下测量仪器系统,主要用于航道和码头基床等的水下扫测。利用该系统进行的码头基床扫测已经取得成功,可为同类测量设备的改造提供全新的思路。