自动验证
自动验证技术资料下载专区，收录500份相关技术文档、开发源码、电路图纸等优质工程师资源，全部免费下载。
资源总数
500
自动验证 全部资料 500 份
大客车安全车距自动保证系统探讨
根据理论分析, 推导出高速公路上行进中大客车安全车距的计算公式, 并以此为依据探讨安全车距保证系统。关键词: 高速公路 大客车 安全车距 计算公式Abstract: In accord
2024-02-02
1
基于时间自动机的风洞试验自动控制研究
用多个时间自动机来规范模拟风洞试验自动控制系统，给出了一种自动化的风洞试验控制模型（CRW），并采用实时系统验证工具Uppaal 对CRW 进行了验证，证明了该模型具有安全性、有效性和可控性。
2023-12-13
10