资料下载
×
基于时间自动机的风洞试验自动控制研究
消耗积分:5 |
格式:rar |
大小:213 |
2009-07-07
安立路
分享资料个
用多个时间自动机来规范模拟风洞试验自动控制系统，给出了一种自动化的风洞
试验控制模型（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
声明：本文内容及配图由入驻作者撰写或者入驻合作网站授权转载。文章观点仅代表作者本人，不代表电子发烧友网立场。文章及其配图仅供工程师学习之用，如有内容侵权或者其他违规问题，请联系本站处理。 举报投诉
评论(0)
发评论
- 相关下载
- 相关文章
