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

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

铸造仿真技术的现状与今后的课题

计算机技术早已有效应用于铸造仿真技术,作为数字化的铸造CAE(计算机辅助工程)技术也被用于生产高品质铸件,可以用来精确预测缩孔等铸造缺陷、解释各种铸造工艺与现象、探索最佳操作条件等。本文就铸造CAE的核心,即铁水流动、凝固仿真的技术动向与课题做一介绍,同时介绍最近人们关注的型芯及主体铸型的砂型造型仿真技术的研究动向。     

股东出资瑕疵救济制度研究

我国新公司法对股东出资瑕疵规制做了诸多改进,但作为事后补偿性机制,在救济的及时性和有效性上仍有改进空间。本文参考各国关于股东出资瑕疵的法律规制,寻求能适时地解决公司资本充实问题,保障公司有序运行的法律机制。     

激光成像技术在铁路隧道检测中的应用

隧道衬砌表面病害的检查是无损检测中重要的一步,表面病害随着时间的发展将成为结构的内部病害,同时表面病害多是内部结构病害在衬砌表面的反映。但目前检查和检测手段落后,基本沿用"眼看手量"的方法,一些病害难以发现,且耗费大量人力、物力。激光成像系统是采用三维激光扫描技术,根据铁路隧道检测需求研发的一种轻型隧道检查小车,该系统弥补了传统方法的缺陷,实际     

LED综合节能照明装置在地铁工程中的应用

以深圳地铁2号线工程为例,讨论发光二极管(LED)综合节能照明装置的使用范围、类型参数、技术要求、控制方式,分析异型LED照明装置的布置情况,并对其节能效果进行评估。结果表明,单套LED综合节能装置能接收欧洲安装总线(EIB)控制系统的带有数字可寻址灯光照明接口(DALI)的调光信号,单灯具备可连续调光功能,可使整个车站根据不同模式及运营需求进行整体调光,具有明显的节能优势,且不会降低使用要求。     

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

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

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

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

简析CBTC系统中联锁与区域控制器的关系

针对地铁CBTC系统中联锁和区域控制器的功能和关系进行分析和探讨.     

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

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

欧美日智能网联汽车准入管理研究及启示

智能网联汽车是汽车产业转型升级的重要战略方向,良好的政策环境是其快速发展的关键保障。本文以智能网联汽车准入管理为研究重点,首先对欧美日智能网联汽车准入管理政策、法规和标准进展进行研究,分析主要进展和发展趋势;在此基础上,进一步梳理提出智能网联汽车准入管理面临的自动驾驶安全、责任判定、软件升级、网络安全、标准支撑5项主要挑战;最后,针对挑战提出管理建议。