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

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

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

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

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

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

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

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

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

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

分离卸荷式板桩码头工作性状的静力分析

分离卸荷式板桩码头,作为近年来一种新型码头结构形式,在保持传统板桩码头优势的同时,可适用于深水泊位。目前,对其工作性状和工作机理的理论研究还不够成熟。为进一步了解其工作性状,利用有限元软件ABAQUS对某分离卸荷式板桩码头进行有限元建模和静力分析,分析卸荷承台及群桩设置的作用及工作性状,为码头设计及优化提供相关依据。     

复合筒型基础周围土体在波浪作用下的动力响应

利用OpenFOAM模拟数值波浪水槽,将复合筒型基础周围海床受到的波压力作为初始条件输入有限元软件ABAQUS,建立波浪作用下海床动力响应模型。数值模拟结果与实验结果及解析解吻合较好。运用此模型进行了复合筒型基础周围海床在行进波作用下动力响应研究和土体特性对波浪作用下海床动力响应的影响分析,结果表明,海床孔隙水压衰减速度随着海床渗透系数和弹性模量的增加而增大。     

对TRANPLAN,CUBE和TransCAD的技术分析比较——以南加州尔湾市为例

TransCAD和CUBE是美国今后替代TRANPLAN的两个主要交通模型软件。TransCAD和CUBE均具有较强的模型和地理信息系统功能,两者各有所长。今后南加州区县交通模型要从TRANPLAN逐步过渡到TransCAD,但是包括佛罗里达和亚特兰大在内的美国许多其他地区选择使用CUBE,说明两个软件均占有各自的市场并受到欢迎。南加州尔湾市交通模型软件评估实例显示,对模型软件的评价和选择不仅要比较软件本身的特点,而且要对当地的模型政策、模型的功能要求。周围的模型环境。与数据结构和计算机网络系统的相容性等多方面进行综合的考量,采用多方面的评价标准审慎进行。     

车身产品开发中逆向设计的研究与应用

逆向设计是现代汽车产品快速开发的重要技术。本文介绍了汽车车身产品开发流程及逆向设计关键技术和应用软件,从点云数据采集、曲面重构、曲面数据质量评估等方面分析了逆向设计在汽车车身产品开发中的应用情况。     

基于软件无线电的船用VDES调制解调的研究

船舶数据交换量的增加导致现有的船用自动识别系统(AIS)87B/88B VHF通信信道堵塞严重,数据的完整性传输受到现实的考验.为解决严峻的通信信道压力,甚高频数据交换系统(VDES)应运而生.文章基于软件无线电(SDR)技术,搭建基于Gnuradio软件及2块HackRFOne硬件的软件无线电开发平台,进行16位正交...