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

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

舱口盖强度计算方法

在某集装箱舱口盖结构强度的有限元计算中，对舱口盖周围水平限位器和支撑块处的约束以及顶部压紧器处的关联程度进行了模拟，分别讨论了在垂向设计载荷的情况下，水平限位器、支撑块处的不同约束以及顶部压紧器的不同关联程度对舱口盖应力分布的影响，得出更符合实际情况的舱口盖结构强度计算方法。     

船用厨房和具有烹调设备的配餐室的通风计算及空气处理方法

本文介绍了ISO 9943-2009国际标准和GBT 20846-2007中国国家标准中对船用厨房和具有烹调设备的配餐室的通风计算及空气处理中提出的送风量的计算方法，提出另一种更易于大家理解和接受的简易计算方法和空气处理过程，供工程技术及设计研究人员参考。     

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

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

现浇预应力混凝土连续箱梁桥设计

结合某主线上一座2×30 m现浇连续预应力混凝土葙梁桥的工程实例,较详尽的介绍了该桥的设计和构造特点、上部结构计算及上下部构造设计,并结合实际针对设计时应考虑的一些因素进行了较详细的探讨.     

拉力型锚索锚固段长度的一种确定方法

文章分析了锚杆拉拔试验的结果,提出了非全长粘结型锚索锚固段剪应力沿长度分布的二次抛物线模式,以及确定锚固段长度的合理方法,并以工程实例说明了文中提出的锚索锚固段长度计算方法的合理性.     

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

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

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

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

Orana44双体帆船阻力计算与分析

Maxsurf软件是由澳大利亚Formation Design Systems公司为船舶设计和建造者开发的、适用于各种船舶设计、分析和建造的一套非常完整的计算机辅助船舶设计和建造软件。文章以Fountain Pajot公司的Orana44双体帆船为例,讨论了Maxsurf软件对双体帆船阻力计算是否依然适用,并将Maxsurf软件中的Hullspeed模块的计算结果与循环水池试验的结果进行了对比。同时,将计算出的不同速度下的所需动力值与已知的资料进行对比。通过对比分析发现,利用Maxsurf软件计算得到的阻力值较为合理的反映出了双体帆船的实际阻力性能,可以为双体帆船的阻力计算提供了有价值的参考。     

基于Delphi7的GPS数据采集器的实现研究

利用Delphi7和Jupiter 021 OEM板,开发一套GPS数据采集软件.该软件能够动态显示各可视卫星的卫星号、信号强度及信号的空间分布;以北纬、东经、海拔高度表示的三维定位结果及描述几何拓扑误差的HDOP、PDOP、VDOP等误差放大因子;生成动态存储NMEA-0183原始语句及其数据提取结果的文件,为今后分析接收机性能,确定GPS数据采集时段、采集位置,进行定位结果的优化处理等方面提供数据.