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

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

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

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

船舶柴油机调速器有限转角力矩电机优化控制

本文针对新型的船舶柴油机调速器有限转角力矩电机控制系统优化与稳定性问题,在Matlab/Simulink中基于电枢回路方程与力矩方程搭建有限转角力矩电机动态系统模型.通过数据拟合方法构建电机非线性模型,基于线性控制理论对串级PID控制系统进行稳定性分析,最后使用遗传算法对PID参数进行优化设计.研究成果可为该电机用于柴油机电子调速执行机构提供优化及控制参考.     

舰船消磁线圈的电感计算

舰船消磁线圈的电感是工程中一个重要参数,准确计算其数值对于合理设计消磁线圈以及外围电路具有重要意义。相关文献提供的电感计算公式仅针对常规形状线圈,不适用于异型消磁线圈;有限元方法虽然精度高,但在计算大尺寸空心线圈时空间离散量过于庞大,导致普通微机无法实现。本文基于Biot-Savart原理,将舰船消磁线圈区域进行离散化处理,提出其电感的数值计算方法。该方法为舰船消磁线圈电感计算提供了新思路,且方便转化为计算机程序,并可推广到其他异型线圈的电感计算。     

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

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

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

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

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

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

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

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