自动冲水
自动冲水技术资料下载专区,收录500份相关技术文档、开发源码、电路图纸等优质工程师资源,全部免费下载。
资源总数
500
自动冲水 全部资料 500 份
基于时间自动机的风洞试验自动控制研究
用多个时间自动机来规范模拟风洞试验自动控制系统,给出了一种自动化的风洞试验控制模型(CRW),并采用实时系统验证工具Uppaal 对CRW 进行了验证,证明了该模型具有安全性、有效性和可控性。
2023-12-13
10
家电控制类经典程序,滚筒洗衣机,实现洗涤,晾干.全自动洗衣程序选择,全自动洗衣过程选择,实现水位控制
家电控制类经典程序,滚筒洗衣机,实现洗涤,晾干.全自动洗衣程序选择,全自动洗衣过程选择,实现水位控制
2014-01-09
150