时序自动机
时序自动机技术资料下载专区，收录500份相关技术文档、开发源码、电路图纸等优质工程师资源，全部免费下载。
资源总数
500
时序自动机 热门资料
查看全部 500 份 →第天开机时自动运行
第天开机时自动运行，检查今天是星期几，然后用SWITCH根据不同的日期，限制不同的时间（就是输进课程表的时间）。调系统时间，如果这时候在上课时间里，那么系统自动关机
2014-08-24
126
程序运行时自动产生1—100的随机数
程序运行时自动产生1—100的随机数，接受用户键盘输入数据并给出提示信息，直至猜对。游戏者猜对后，显示猜测次数，并提供“重新开始”和“退出”功能
2014-11-26
195
基于时间自动机的风洞试验自动控制研究
用多个时间自动机来规范模拟风洞试验自动控制系统，给出了一种自动化的风洞试验控制模型（CRW），并采用实时系统验证工具Uppaal 对CRW 进行了验证，证明了该模型具有安全性、有效性和可控性。
2023-12-13
10