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

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

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

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

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

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

对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,满足公路控制测量的要求.     

基于ADVISOR的纯电动汽车动力系统匹配及仿真

纯电动汽车作为新能源汽车行业发展的主要方向,在发展其核心技术中,动力系统的匹配对于发展纯电动汽车具有重要的意义,合理的动力系统匹配影响着汽车的动力性和续航里程等因素。根据纯电动汽车的整车参数和性能指标,计算选择动力系统的基本参数,并利用ADVISOR仿真软件进行仿真分析,为改进技术提供依据,验证了设计的有效性。