基于Event-B的联锁进路控制建模验证方法研究

计算机联锁系统具有典型的安全苛求特性.传统的联锁软件开发方法难以完整准确地定义需求,单纯依靠测试也无法发现软件中的所有错误,使软件在功能完整性和安全性方面难以得到保证.本文利用形式化Event-B方法和相关工具对联锁系统的核心功能-进路控制的相关功能需求和安全需求进行了建模、精化和验证,对开发高安全苛求和高可靠性的联锁软件提供了新的方法借鉴.     

雨季如何正确使用与保养汽车

雨季来临时,降雨频繁,不仅使得道路非常湿滑致使汽车行驶困难,而且对汽车的良好保养也带来很大的困扰。特别是雨水和空气中的潮气,行驶中无不侵蚀着汽车,若是保养不到位,任其风吹雨打,不仅会损伤汽车的外表和零部件,甚至可能降低汽车的性能,缩短汽车的使用寿命。     

重庆朝天门两江隧道江底深槽特征及成因机制分析

江底深槽应泛指流水地质作用在岩体中深切、掏蚀形成的有一定深度,长、短轴比例略大,且比上下游河段地形低的低洼地段。长江江底深槽发育于砂岩中,呈长轴状。嘉陵江江底深槽发育在砂质泥岩、泥岩中,呈串珠状。两江江底深槽是在江水挟带的岩块、卵砾的急流冲蚀、漩流磨蚀以及下沉流的掏蚀作用下形成。     

现场总线技术在船舶中的应用

现场总线(FCS)技术目前应用广泛,本文介绍了现场总线在船舶领域中的具体应用,并与传统的集散控制系统(DCS)进行了对比。最后选取现场总线中具有代表性的CAN总线,基于船舶机舱自动控制系统进行了举例说明。     

不规则波作用下的混凝土铰链排稳定厚度的试验研究

基于某海堤防护工程,将柔性混凝土铰链排技术结合到原刚性的护坡中,利用室内波浪水槽开展了一系列试验,确定适合滨海海域波浪作用下的铰链排的最小稳定厚度。试验结果表明:在不规则波作用下排体所需最小稳定厚度要明显大于规则波作用所需厚度,波高和波周期均是显著影响混凝土铰链排的稳定厚度的关键要素。根据试验结果,比较前人研究公式,拟合出新的不规则波作用下的混凝土铰链排最小稳定厚度的经验公式。     

模块化技术在玻璃钢游艇设计建造中的应用

以模块化的思想分析了玻璃钢游艇实施模块化设计制造的可行性,并对玻璃钢游艇的设计制造提出了一种新的分类思想,将玻璃钢游艇按船体、上层建筑和舾装进行分类,可以按照模块组合的方式快速提供船东要求的新船型,对玻璃钢游艇生产具有良好的指导作用.     

浅谈船用玻璃钢的改性发展

玻璃钢纤维增强塑料是以合成树脂为基体，以玻璃纤维及其制品（玻璃布、玻璃带、玻璃毡等）作为增强材料而制成的一种复合材料。它质地坚固，强度、硬度高，可以与钢铁相比，所以又被称为玻璃钢。     

水面无人艇控制器设计与避碰试验

针对传统无人艇通信距离短,功能少的问题,设计一种新的无人艇航行控制器。首先在试验用的无人艇上搭载并调试好各种通信和控制设备,然后在VS2017环境中编写控制程序,使之具备实现岸站与无人艇的通信、数据采集、下达运动控制指令等功能,并在无人艇上装备航海雷达,在航行过程中不断扫描水域环境,提取附近的障碍物信息。最后进行拖曳水池试验和湖试,验证无人艇的操纵性能和所编程序的有效性。试验结果表明,利用所设计的无人艇控制器及编写的程序能实现无人艇自主航行,并采取合理的措施避让障碍物,在软件地图中可以显示无人艇的运动轨迹。     

船体基线直线度及甲板平面度误差的数据处理

船体（基线）直线度及（甲板）平面度误差等形状误差的测量及数据处理技术在船体建造过程中有着重要的作用。本文从造船几何量测量技术入手，对上述形状误差的评定方法等数据处理基本技术展开讨论，并举例说明。     

基于UML的MAS环境下Agent的一般性分层框架

研究有时间、资源等约束的开放MAS环境下的Agent模型，提出了混合型Agent的一般性分层框架．该框架包括特性说明层、心智状态层、计算处理层和信息交互层．分析了Agent的体系结构、其在组织中承担的角色和部件组成等．采用UML技术设计Agent的概念类图，给出了Agent的形式化表达和通用程序的设计方法，并阐述了综合调度引擎、并发性消息处理的实现机制．将该框架应用于青藏铁路贯通线广域线路Agent保护研究。设计了多个Agent实现协同保护功能，解决了传统保护的误动问题，表明采用该Agent框架的设计对解决这一复杂问题是有效的．