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

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

交通部海事局要求部分沿海航行船舶配备船载自动识别系统

为加强沿海航行船舶的安全管理，提高船舶安全航行的技术条件，改善沿海通航秩序，交通部海事局决定对部分沿海航行的船舶安装船载自动识别系统（AIS）。     

交流传动电力机车采用轴控的必要性

分析了交流传动电力机车并联运行下的电机,由于轮径和电机转差率的影响,各电机功率、运行状态会出现偏差,以及对牵引防空转和制动防滑控制的不良作用,提出了交流电力机车采用轴控的必要性。     

城市轻轨车辆最佳运行控制方案的研究

本文给出一种利用微型机实现城市轨道车辆最佳运行的控制方案,即在变化的外界条件下确定断电和制动时刻,以指导司机驾驶车辆,实现能耗最小和准时运行.该控制方案的特点是不断地利用实测值并结合估算确定断电和制动时刻,简单易行.     

什么是特快行邮专列

5月18日，一个值得载入中国铁路货运史册的日子。以第五次提速调图为契机推出的货运新产品——三趟特快行邮专列首发，这是铁路实现跨越式发展的重要一步。     

人生苦旅的自然再现——温庭筠《商山早行》解读

作为“花间派”的代表人物，温庭筠虽然以词著称，但他的诗作也有很高的艺术成就。《商山早行》是温庭筠众多羁旅行役诗中的一首，全诗重在渲染悲行的情绪。其中颔联采用意象叠加的形式，尾联以“梦”结尾的方式使这首诗具有独特的审美效果。     

船基气象定线水文气象资料的接收与自动读取

本文简要介绍了短波气象定频接收机与ＰＣ机之间的接口卡电路，将此卡插入ＰＣ机扩展槽后，与气象传真接收机相连即可将气象传真图直接收入ＰＣ机中保存，然后提出了一系列气象传真图图象处理技术、主要是针对自动提取高空５００ｈｐａ等压面上的纬向数据，计算５００ｈｐａ西风环流指数。     

轨行式起重机运行打滑的验算准则

在分析轨行式起重机传统运行打滑验算准则的宽严度和使用局限性的基础上，指出在极端恶劣工况下，个别驱动轮因轮压较小出现打滑现象是不可避免的，由此导出了符合实际运行状况的打滑验算准则，从而确保了起重机在任何工况下均能正常工作，最后用实例加以说明。     

行车千里，走出一条书香路

古人云：读万卷书行万里路。过去，中国学者出门游学是为了增长见识，丰富阅历。但随着社会的进步，科技的发展，人们即使足不出户也能尽知天下事。于是，这一中国文人的传统渐渐被人遗忘。     

Saab萨博开展“旧车置换”活动

Saab萨博轿车从6月起至7月31日，于全国范围内开展“旧车置换”活动。在通用汽车中国公司授权下，该业务将由Saab萨博品牌在各地经销商进行具体操作。所有品牌的二手车均可参与活动，消费者可选择在任何二手车市场进行置换，或委托Saab萨博品牌专营店办理。