动态多自动机
动态多自动机技术资料下载专区，收录5,930份相关技术文档、开发源码、电路图纸等优质工程师资源，全部免费下载。
共 5,930 份资源
源代码 10,000
动态多自动机 热门资料
查看全部 5,930 份 →
PDF文档
基于时间自动机的风洞试验自动控制研究
用多个时间自动机来规范模拟风洞试验自动控制系统，给出了一种自动化的风洞试验控制模型（CRW），并采用实时系统验证工具Uppaal 对CRW 进行了验证，证明了该模型具有安全性、有效性和可控性。...
PDF文档
用有限自动机和拓扑排序理论提高MIS开发效率
利用有限自动机和拓扑排序理论编写的一个工具软件，能直接处理数据库分析人员利用CASE工具产生的带中文注...