期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到2篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
基于时间自动机的无信号交叉口车路协同系统建模与验证
1
作者 刘伟 肖七瑞 +3 位作者 陈新海 饶畅 张宇 王博思 《系统仿真学报》 CAS CSCD 北大核心 2024年第7期1682-1698,共17页
车路协同系统(cooperative vehicle infrastructure system,CVIS)是提高交叉口车辆通行安全的重要解决方案之一。针对CVIS现有技术规范和标准未明确系统对象状态交互的动态时序及迁移过程,无法有效保障系统的通行控制逻辑安全问题,采用... 车路协同系统(cooperative vehicle infrastructure system,CVIS)是提高交叉口车辆通行安全的重要解决方案之一。针对CVIS现有技术规范和标准未明确系统对象状态交互的动态时序及迁移过程,无法有效保障系统的通行控制逻辑安全问题,采用形式化语言对无信号交叉口车路协同系统功能逻辑进行描述,验证系统对象的状态交互和控制逻辑安全,提高无信号交叉口的车辆通行安全性。以单车无冲突、双车冲突和多车冲突场景分别进行仿真,明确状态交互和使能迁移路径;结合工具和需求规范语句进行系统安全属性验证,证明了控制逻辑的可靠性和安全性,为研发高安全架构的车路协同系统提供了可信依据。 展开更多
关键词 城市交通 形式化语言 车路协同系统 时间自动机 控制逻辑 可信验证
下载PDF
浅谈汽车试验场驾驶员的安全管理 被引量：2
2
作者 范立 《汽车实用技术》 2019年第16期244-245,263,共3页
汽车试验场驾驶员的安全管理是汽车试验场管理的薄弱项。文章基于目前国内各大汽车试验场针对驾驶员的安全管理方法存在的不足,指出加强对驾驶员的安全管理是汽车试验场管理的重点,并提出更为有效的管理方法和改进措施。
关键词 汽车试验场 驾驶员 安全管理
下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部