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

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

山区煤炭运输道路煤灰扬尘的现状调查和治理工艺

煤炭运输往往伴随着较为严重的煤灰扬尘,不仅造成了环境污染和宝贵资源的浪费,也是诱发道路交通事故的重要隐患。文章基于对目前我国北方山区丘陵地带煤炭运输道路存在的煤灰扬尘现状的调查分析,从研究煤灰的物理特性及其在路上丢弃并形成积灰扬尘的原因和机理出发,在对道路养护工程中的传统处置工艺和方法进行分析基础上,提出了相应的技术优化和改进建议,特别是提出了煤灰的水雾吸附和湿式处置的相关工艺过程及其主要技术参数的选择和量化方法。     

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

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

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

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

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

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

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

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

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

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

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

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