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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

国内水路运输管理条例

(中华人民共和国国务院令第625号)第一章总则第一条为了规范国内水路运输经营行为,维护国内水路运输市场秩序,保障国内水路运输安全,促进国内水路运输业健康发展,制定本条例。第二条经营国内水路运输以及水路运输辅助业务,应当遵守本条例。本条例所称国内水路运输(以下简称水路运输),是指始发港、挂靠港和目的港均在中华人民共和国管辖的通航水域内的经营性旅客运输和货物运输。     

王猛:为可持续车路合作系统探路

"ITS最重要的出发点是更有效利用既有资源,而不是修建更多的路。这也正符合了可持续性发展的理念。"8月30日,国家ITS中心留学荷兰的王猛博士在"可持续的车路合作系统——驾驶行为及生态辅助驾驶模型研究"讲座上如此说道。而所谓开发模型这样无趣而烦闷的活儿,在科研中却总少不了,王猛也曾对此不感兴趣甚至略有抵触。直到英国统计学家George E.P.Box的一句话——"All models are wrong,but some are useful。"给