電子發燒友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次下載
- 同步有界偏序自動機的同步性問題研究 5次下載
- 自動機終結字查找算法實現優化綜述 3次下載
- 基于統計的AC自動機空間優化 0次下載
- 異步多進程時間自動機的可覆蓋性問題 0次下載
- 自動機械設計 0次下載
- 基于決策論元胞自動機的網絡輿情傳播研究 0次下載
- 元胞自動機的介紹資料 3次下載
- 基于元胞自動機的混合交通流模型的研究 0次下載
- [自動機與自動線].李紹炎.掃描版 0次下載
- 自動控制原理考試大綱
- 風洞試驗數據采集分析系統研究
- 用于信息加密的分子自動機的編碼研究
- 加性細胞自動機的同構性分析
- NFA→FA→GFA自動機轉換算法
- 現代控制理論和自動控制原理的區別 2734次閱讀
- 自動控制原理如何提高系統穩定性 1127次閱讀
- 自動控制系統的組成包括哪些 2187次閱讀
- 自動控制系統是什么意思 2639次閱讀
- 自動控制系統的組成與分類 2034次閱讀
- PLC自動控制器的硬件組成 3867次閱讀
- 自動控制的電動機可逆運行電路 6273次閱讀
- 時間繼電器控制雙速電動機自動加速控制電路 1.8w次閱讀
- 34種自動控制原理圖你了解多少 1.6w次閱讀
- 多功能路燈自動控制電路 8328次閱讀
- 繼電器—接觸器自動控制的基本線路和繪制電氣原理圖的基本規則 1.9w次閱讀
- 門廊燈光自動控制器 2653次閱讀
- 課堂響鈴自動控制器電路圖 3102次閱讀
- 溫度自動控制電路 3133次閱讀
- 水溫自動控制器電路圖 4496次閱讀
上傳資料賺積分下載排行
本周
- 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次下載 | 免費
工商網監
評論