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

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

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

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

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

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

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

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

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

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

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

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

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

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

SOA在海战场综合电子信息系统中应用的构想

分析了海战场综合电子信息系统新的发展需求,提出了采用面向服务软件体系结构开发海战场综合电子信息系统软件的思想,并对之进行了分析比较,最后给出了海战场综合电子信息系统体系结构向SOA迁移的策略。     

一种空压机自动变频系统

利用自动变频技术对空压机控制系统进行自动化改造,提出了改造的硬件方案和软件方案,该系统使用方便,可靠性高,并能降低能耗。     

高精度GPS数据处理方法在公路测量中的应用

针对目前高等级公路测量对点位精度要求的提高,提出了对不同载波的GPS相位观测量进行线性组合后,再利用GAMIT软件数据进行处理的方法,试验结果表明,此方法可以在公路控制测量中获得较高GPS定位精度,即在几公里的距离范围,基线精度可达到2 cm,满足公路控制测量的要求.