自动驾驶系统交通规则符合性仿真验证方法

随着自动驾驶技术的不断发展，高级别自动驾驶车辆逐步在限定区域开展实际道路测试，确保和提高自动驾驶系统安全驾驶能力是当前研究、测试和工程开发的热点难点。面对自动驾驶车辆将长期与人类驾驶车辆混行，并与其他交通参与者遵守同样交通规则的现实需要，提出一种验证和测试自动驾驶系统交通规则符合性的方法，以期降低多车混行条件下的交通安全风险。针对各类交通法律法规语义自动解析技术瓶颈，提出规范化-逻辑化两阶段交通规则数字化模型，基于改进谓词度量时序逻辑框架(Metric Temporal Logic，MTL)，将自然语言交通规则转换为命题、逻辑连接词和时序算子组成的逻辑编码，生成了自动驾驶系统可理解、可执行、可验证的数字化交通规则，并构建了交通规则命题的分级分类体系。提出了一套基于自动驾驶车辆高精度运动轨迹的交通规则符合性验证算法，并搭建仿真试验平台，在高速公路交通场景下开展了试验验证。理论分析与试验表明：精简命题空间、新增时序算子和谓词逻辑词等改进有效提高了原有MTL框架的时间表现能力，解决了时序逻辑性不足等问题，大幅提高了交通规则数字化转换效率，对地方性交通法规和未来交通法规修订提供了良好的兼容性。提出的交通规则符合性验证方法及试验平台可以有效测试自动驾驶系统对现有交通规则的遵守能力，相关成果对提高自动驾驶系统安全性能和未来混行交通安全管控水平具有重要意义。     

救助船接近落水人员操纵方法

<正>0引言救助船接近落水人员进行救助的方法,对于在海上大风浪中快速救人起关键作用。目前,8 000 k W的新型专业救助船,其操纵设备性能优良:配备前、后驾控操纵台;双车CPP控制;双襟翼舵,能使用分开/联合控制舵;艏侧推器2台推力98 k N,艉侧推器1台推力78.4 k N。以上操纵设备是救助船在海上精确操纵的硬件保障,但由于船舶操纵惯性以及海上风、浪、流的影     

逻辑控制单元在SS8 001号电力机车上的应用

电力机车逻辑控制单元（ＬＣＵ）是一种用微机和电力电子器件构成的新型无触点控制装置。文章介绍了ＬＣＵ在ＳＳ８ ００１号电力机车控制电路中的应用和试验情况。     

D触发器信号保持时间tH的探讨

触发器是数字电路中一种基本逻辑单元。D触发器是实用中常见的触发器之一。本文就D触发器在时钟脉冲到达后，若D信号立即消失，根据逻辑关系形象地画出D触发器内部各级门电路的工作波形，从而认清当D=0和tH=0时产生的后果。     

转辙机可靠性的逻辑诊断与故障树分析

应用逻辑诊断与故障树分析法对电动转辙机进行可靠性分析，用故障树判明了其基本故障，确定其故障的原因与影响的逻辑关系。通过收集现场数据进行了可靠性定量分析，为进一步提高电动转辙机的可靠性提供了有力的理论依据。     

实际防抱控制算法的相平面分析及试验验证

本文以相平面和实时硬件闭环模拟系统为工具，对实际防抱系统进行了控制逻辑理论分析试验验证，研究了ＡＢＳ基本相轨迹特性，对防抱控制的关键技术如：参考速度的估计方法，第一个ＡＢＳ循环的控制方法、控制滞后问题都在相平面上得到圆满的分析，用模拟结果验证了在相平面上的控制逻辑。     

加强企业的消防软件建设

企业消防软件建设是指企业通过加强内部消防安全组织、消防安全制度建设，对职工开展消防安全培训，推动企业消防安全管理，以提高职工的消防安全意识，提高企业自防自救能力，有效地预防和减少火灾事故的发生，是相对于企业在消防器材、设施等硬件而言的。当前，企业中大多存在着重硬件、轻软件建设现象，在消防监督检查时也往往重检查企业的消防硬件建设、     

海事移动作业综合应用系统

提出一个以移动通信为基础，海事机构的各种移动作业终端(包括船舶和车辆)之间以及移动作业终端和系统监控中心之间进行数据信息交换、数据信息共享和协同作业的综合应用系统。阐述了系统的物理网络结构、业务逻辑功能结构和各种业务逻辑功能模型。