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

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

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

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

高速铁路隧道高瓦斯大断面施工关键技术

针对刘家庄隧道出口段高瓦斯大断面隧道的自身特点,采取了无轨运输方案,对隧道施工的主要机械设备进行防爆改装,通过采取合理的开挖衬砌技术,引入瓦斯、视频系统及人员实时、动态监控系统,为隧道施工安全提供了可靠的保证,并且施工速度较快。     

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

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

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

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

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

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

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

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

六五式铁路军用桥墩模拟拼装系统研制与开发

为了满足六五式铁路军用桥墩拼装演练的要求,介绍了“六五式铁路军用桥墩模拟拼装系统”的研制与开发工作。该系统不仅可以解决实际拼装作业的标准化和规范化问题,探索出安全、经济、高效、规范的拼装技术作业程序;而且可以降低拼装演练的费用,提高拼装作业人员的拼装技术水平,减小拼装时间,提高拼装效率。对培训专业保障队伍和保障战时铁路运输的畅通,具有一定的作用。     

基于ASP.NET的B/S架构的软件在Windows7系统下的部署

本文重点研究了对于B/S架构的软件在Windows7系统下部署时应该采用的一系列方法及在部署时遇到的一系列问题的解决方案。文中分析了利用ASP.NET开发的B/S架构的软件的优点并在此基础上介绍了软件部署的流程。本文在分析过程中结合具体实例提出了部署中一些常见问题的解决方案。     

大倾角搁浅船舶扳正过程分析

在研究大倾角搁浅船舶的扳正过程中,计算了难船扳正力、横倾角和吃水。根据搁浅船舶的受力特点,建立了其力学模型,分析了扳正过程中横倾角、吃水、入泥深度与海底泥土性质对船体的影响。利用GHS软件模拟搁浅船舶的扳正过程,以某搁浅液化气船舶为例,求解了其扳正过程中船体扳正力、总搁坐力、剪力、弯矩和转矩,比较了难船不同扳正方案,分析了难船的扳正方式、搁坐位置、上层建筑与储气罐对难船打捞的影响。分析结果表明:在扳正过程中,3个方案的力学参数的变化趋势是一致的。最大扳正力相差较大,差值为9.1%~20.0%。搁坐力、剪力和弯矩均在横倾角为-55°~-50°时达到最大值,船体虽然在该阶段不需加载较大的扳正力,但仍应该注意船体的受力情况。在横倾角为-120°~-100°时,转矩变化非常剧烈。弯矩和转矩均出现了反向变化的现象,威胁船体结构的安全,扳正中应该谨慎处理。选择合适的扳正方案时应该综合考虑扳正力施力点的位置和扳正过程对船体与环境安全的潜在威胁。