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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

一种空压机自动变频系统

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

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

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