电子发烧友App
创作
发文章
发帖 
提问 
发资料
发视频资料介绍
用多个时间自动机来规范模拟风洞试验自动控制系统，给出了一种自动化的风洞
试验控制模型（CRW），并采用实时系统验证工具Uppaal 对CRW 进行了验证，证明了该模型具有安全性、有效性和可控性。所采用的方法避免了积的等价类状态空间的爆炸，减少了验证的搜索空间，为风洞试验系统提供了一种可行的、安全的、智能的控制机制。
关键词： 时间自动机；风洞试验；Uppaal；实时系统
Abstract： Several timed automata are used to model an automatic wind tunnel test control
system and an automatic control model of a wind tunnel test (CRW) is presented. Uppaal is
adopted to carry out the on-the-flying testing and it is proved that CRW has such characteristics as safety, efficiency and control. The method mentioned avoids the equivalent state explosion of the product, reduces the verification search space and provides a feasible, safe and intelligent control mechanism.
Key words： timed automata；wind tunnel test；Uppaal；real-time system
试验控制模型（CRW），并采用实时系统验证工具Uppaal 对CRW 进行了验证，证明了该模型具有安全性、有效性和可控性。所采用的方法避免了积的等价类状态空间的爆炸，减少了验证的搜索空间，为风洞试验系统提供了一种可行的、安全的、智能的控制机制。
关键词： 时间自动机；风洞试验；Uppaal；实时系统
Abstract： Several timed automata are used to model an automatic wind tunnel test control
system and an automatic control model of a wind tunnel test (CRW) is presented. Uppaal is
adopted to carry out the on-the-flying testing and it is proved that CRW has such characteristics as safety, efficiency and control. The method mentioned avoids the equivalent state explosion of the product, reduces the verification search space and provides a feasible, safe and intelligent control mechanism.
Key words： timed automata；wind tunnel test；Uppaal；real-time system
下载该资料的人也在下载
下载该资料的人还在阅读
更多 >
- 基于Arduino和OLED元胞自动机 0次下载
- 基于Arduino和OLED的元胞自动机 0次下载
- 同步有界偏序自动机的同步性问题研究 5次下载
- 自动机终结字查找算法实现优化综述 3次下载
- 基于统计的AC自动机空间优化 0次下载
- 异步多进程时间自动机的可覆盖性问题 0次下载
- 自动机械设计 0次下载
- 基于决策论元胞自动机的网络舆情传播研究 0次下载
- 元胞自动机的介绍资料 3次下载
- [自动机与自动线].李绍炎.扫描版 0次下载
- 风洞试验数据采集分析系统研究 25次下载
- 用于信息加密的分子自动机的编码研究 9次下载
- 元胞自动机在“数字油田”中的应用 16次下载
- 加性细胞自动机的同构性分析 35次下载
- NFA→FA→GFA自动机转换算法 14次下载
- PLC自动控制器的硬件组成 3273次阅读
- 自动控制的电动机可逆运行电路 5303次阅读
- 时间继电器控制双速电动机自动加速控制电路 1.4w次阅读
- 34种自动控制原理图你了解多少 1.4w次阅读
- 多功能路灯自动控制电路 7312次阅读
- 继电器—接触器自动控制的基本线路和绘制电气原理图的基本规则 1.8w次阅读
- 28款电气自动控制电路图汇总（含供电电路/温控电路/自动控制电路等） 2.8w次阅读
- 发动机启停技术和自动驻车有什么区别 1.6w次阅读
- PCB行业新技能：自动化设备+工业机器人 5057次阅读
- 热带鱼缸水温自动控制器电路 1.1w次阅读
- 门廊灯光自动控制器 2275次阅读
- 课堂响铃自动控制器电路图 2736次阅读
- 温度自动控制电路 2654次阅读
- 水温自动控制器电路图 4122次阅读
- 大棚温度和湿度自动控制器电路图 4269次阅读
上传资料赚积分下载排行
本周
- 1电子电路原理第七版PDF电子教材免费下载
- 0.00 MB | 1490次下载 | 免费
- 2单片机典型实例介绍
- 18.19 MB | 93次下载 | 1 积分
- 3S7-200PLC编程实例详细资料
- 1.17 MB | 27次下载 | 1 积分
- 4笔记本电脑主板的元件识别和讲解说明
- 4.28 MB | 18次下载 | 4 积分
- 5开关电源原理及各功能电路详解
- 0.38 MB | 11次下载 | 免费
- 6100W短波放大电路图
- 0.05 MB | 4次下载 | 3 积分
- 7基于AT89C2051/4051单片机编程器的实验
- 0.11 MB | 4次下载 | 免费
- 8基于单片机的红外风扇遥控
- 0.23 MB | 3次下载 | 免费
本月
- 1OrCAD10.5下载OrCAD10.5中文版软件
- 0.00 MB | 234313次下载 | 免费
- 2PADS 9.0 2009最新版 -下载
- 0.00 MB | 66304次下载 | 免费
- 3protel99下载protel99软件下载(中文版)
- 0.00 MB | 51209次下载 | 免费
- 4LabView 8.0 专业版下载 (3CD完整版)
- 0.00 MB | 51043次下载 | 免费
- 5555集成电路应用800例(新编版)
- 0.00 MB | 33562次下载 | 免费
- 6接口电路图大全
- 未知 | 30320次下载 | 免费
- 7Multisim 10下载Multisim 10 中文版
- 0.00 MB | 28588次下载 | 免费
- 8开关电源设计实例指南
- 未知 | 21539次下载 | 免费
总榜
- 1matlab软件下载入口
- 未知 | 935053次下载 | 免费
- 2protel99se软件下载(可英文版转中文版)
- 78.1 MB | 537791次下载 | 免费
- 3MATLAB 7.1 下载 (含软件介绍)
- 未知 | 420026次下载 | 免费
- 4OrCAD10.5下载OrCAD10.5中文版软件
- 0.00 MB | 234313次下载 | 免费
- 5Altium DXP2002下载入口
- 未知 | 233046次下载 | 免费
- 6电路仿真软件multisim 10.0免费下载
- 340992 | 191183次下载 | 免费
- 7十天学会AVR单片机与C语言视频教程 下载
- 158M | 183277次下载 | 免费
- 8proe5.0野火版下载(中文版免费下载)
- 未知 | 138039次下载 | 免费
工商网监
评论