论文标题： Semantic Consistency and Correctness Verification of Digital Traffic Rules

期刊：Engineering

作者：万蕾, 王长君, 罗达新, 刘航, 马莎, 胡伟超

发表时间： February 2024

DOI：https://doi.org/10.1016/j.eng.2023.04.016

微信链接：点击此处阅读微信文章

文章速览

公安部道路交通安全研究中心王长君研究团队在中国工程院院刊《Engineering》2024年2月刊发《数字交通规则的语义一致性和正确性验证》一文，指出“人车同规”（自动驾驶汽车与人类驾驶汽车遵从相同的交通规则）被汽车行业和交通管理部门视为准则。通过形式化和数字化方法，基于自然语言描述的交通规则可以被转换为数字规则，并被自动驾驶汽车使用。文章提出了一种有效的转换流程，利用分层次的信息提取，可以从丰富而复杂的自然语言语义中提取出交通规则中的有效信息，甚至是隐藏的假设。然而，如何确保转换成的数字规则的准确性，并且与原始交通规则保持一致，是个重要且未被探索过的问题。文章将等价性验证与模型检测相结合，得出了一种行之有效的形式化验证方法。利用所提出的交通规则数字化流程和验证方法，可以得到合理可靠的数字交通规则。在仿真环境中，文章利用这些数字交通规则对车辆行为进行了交规符合性评估。实验结果表明，通过所提流程获得的度量时序逻辑描述的数字交通规则，可以很方便地被用于仿真平台和自动驾驶系统中。

关键词：

自动驾驶 ; 交通规则 ; 数字化 ; 形式化 ; 验证

原文链接：

https://doi.org/10.1016/j.eng.2023.04.016

扫二维码｜查看原文

推荐阅读

陈芬儿院士团队：八步连续流全合成维生素B1工艺研究

我国科技期刊对优秀科研成果吸纳力调查问卷

专题征稿：下一代人工智能驱动的新型电力系统

NASA刷新卫星激光通信速度纪录 5分钟传输1000部高清电影

抗肥胖药物市场需求旺盛