风洞
风洞技术资料下载专区,收录500份相关技术文档、开发源码、电路图纸等优质工程师资源,全部免费下载。
资源总数
500
风洞 热门资料
查看全部 500 份 →基于时间自动机的风洞试验自动控制研究
用多个时间自动机来规范模拟风洞试验自动控制系统,给出了一种自动化的风洞试验控制模型(CRW),并采用实时系统验证工具Uppaal 对CRW 进行了验证,证明了该模型具有安全性、有效性和可控性。
2023-12-13
10