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

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

美国交通研究学会开始启用新网站

从有人类社会开始，客货运就产生了。起初，人们只是依靠自身力量完成客货运输。随着社会、技术的进步，今天的客货运输方式已非常多元化，常见的有高铁、航空、汽车、管道等。从20世纪50年代起，以芝加哥地区交通研究为代表的四阶段交通模型，     

高斯混合模型的船舶传感器网络在线定位算法研究

随着无线传感网技术在舰船中的大量使用,其定位功能也正在被充分挖掘。不同于传统的卫星定位技术,无限传感器网络的设备成本非常低廉,且组网迅速,具体功能通过软件编写可以轻松实现。本文在研究船舶定位需求的基础上,提出一种高精度的基于高斯混合模型的无线传感网在线定位模型,建立RSSI三点式定位模型。并在实验室模拟出船舶在海洋中的航行环境,采用Online-LEGMM仿真系统对此算法的定位性能进行验证,实验结果取得预期效果,该算法能够对船舶节点准确定位。     

虚拟现实技术下船舶航向控制算法测试平台设计

首先分析非线性船舶模型中PID如何控制船舶航向;然后进行控制算法设计,并且将航向控制算法以流程图的形式进行描述;进一步搭建船舶航向的虚拟环境,以此来研究环境等外力对船舶航向的影响;最后通过仿真实验进行控制算法验证。通过对PID参数进行调整,实现对船舶航向的最好控制参数,从而有效对船舶航向进行控制。     

舰船尾迹建模与电磁散射研究

船舶在行进过程中,由于螺旋桨和船体的作用,水体会产生随机的尾迹波浪,这些波浪的存在会直接影响到船舶的航行安全,对舰船的隐蔽性造成潜在的威胁,因此本文主要研究了在电磁散射条件下的舰船尾迹模型,从而为其控制参数的优化提供解决方案。文中首先对舰船的一般性尾迹进行数学建模,然后对尾迹数据进行离散化的处理,从而方便从不同的角度对尾迹的形态进行研究,接着通过提取尾迹的电磁散射特征,建立尾迹散射的优化模型,最后通过实验数值的模拟,进一步优化控制矩阵的散射参数。     

六自由度Stewart平台运动学遗传神经网络正解

近年来,舰载相控阵雷达发展迅速,对其隔振措施和隔振机构的要求也越来越高。Stewart平台为一种通常的空间六自由度并联机器人,在舰载相控阵雷达中具有广泛的应用。为了解析Stewart平台工作空间和设置机构误差步长,必须运动学求解。本文针对当前Stewart平台正解法存在的问题,基于传统的正解法和Stewart平台结构,提出一种遗传神经网络正解算法,通过仿真验证可知,该方法具有较高的收敛性和较快的速度,有进一步推广应用的潜力。     

基于AR模型的并靠两船相对运动预报研究

根据两船相对运动的特点,利用两船模相对运动的测量数据,运用基于自回归模型的时间序列分析法,建立了两船相对运动的数学模型,并给出了运动姿态的预报值.通过本方法的研究,可以得到满意的相对运动预报精度,为两船补给波浪、补偿装置的开发打下了理论基础.     

燃气蒸汽式弹射内弹道研究

燃气-蒸汽式弹射方式以其结构简单、温度适中、压力输出平稳等优点,被越来越广泛地应用到水下运载器的发射系统中,深入研究燃气-蒸汽式弹射装置的内流场对弹射装置的设计、改进具有重要意义。本文通过采用3种不同仿真模型对燃气-蒸汽式弹射内弹道进行计算,结果表明:对流场进行仿真计算时应同时引入汽化模型和组分输运模型,其仿真结果与实际情况更为相符。汽化模型对流场温度的影响比对压力和速度的影响更为明显。研究成果可为燃气-蒸汽式弹射装置的设计与改进提供理论支撑。     

船上RC-ARS联合循环电子系统的研究与仿真

近年来,节能减排要求越来越高。为降低船用柴油机燃油消耗,提高其能量利用效率,需要对余热进行捕捉和利用。制冷系统作为舰船的重要组成部分,如何提高其能量利用效率具有重要的研究意义。本文针对当前船上循环系统存在的高能耗问题,基于朗肯循环和吸收式制冷循环,提出一种船上RC-ARS联合循环电子系统,对该系统进行仿真可知,该方法显著提高循环的能量效率,具有进一步推广应用的潜力。