電子發燒友App
創作
發文章
發帖 
提問 
發資料
發視頻資料介紹
針對一類中斷驅動的航天控制系統，給出了有界模型檢驗的算法，這類系統由中斷處理程序和操作系統調度的任務組成．當中斷發生時，對應的中斷處理程序響應中斷事件，并可以修改控制變量值，以便在系統任務中完成后續工作．操作系統周期性地調度任務序列處理日常事務以及中斷事件的后續工作．使用了帶中斷標記的時間自動機對中斷事件和任務調度事件進行建模，并使用中斷向量表和中斷處理程序的偽代碼模型共同描述中斷的處理過程．控制變量將中斷處理過程和系統任務相關聯，中斷處理程序可以設定某個控制變量，而系統任務則通過檢查該控制變量來確定是否需要進行后續處理．對于這樣的形式化模型，給出了檢驗關鍵時序性質的有界模型檢驗算法．該算法使用深度優先的方式遍歷所有長度小于等于K的可行路徑，并使用SMT 23實現了對時間約束和規約的處理．
?
下載該資料的人也在下載
下載該資料的人還在閱讀
更多 >
- 智能防盜防火及照明控制系統
- 電力拖動自動控制系統之運動控制系統電子版 0次下載
- 基于ZigBee和物聯網的智能草莓大棚控制系統 38次下載
- 基于DSP的攤鋪機行駛控制系統 9次下載
- 振動控制系統中DSP后向通道的設計方案 14次下載
- 基于DSP的中壓軟啟動控制系統設計方案 5次下載
- 可應用于牽引的開關磁阻驅動電機控制系統 18次下載
- 基于DSP的煤礦電機控制系統 7次下載
- 基于DSP的LED照明驅動控制系統設計方案 17次下載
- 基于DSP的飛行仿真轉臺控制系統設計與實現 10次下載
- 基于FPGA的電機智能驅動控制系統設計資料下載
- DDC控制系統和PLC控制系統對比和應用 12次下載
- 單片機的中斷系統的概念控制系統和處理過程及編程及應用資料概述 6次下載
- 電驅動鉆機控制系統探討 76次下載
- 基于FX1NPLC的鋼球外觀檢驗控制系統
- 現場總線控制系統與集散控制系統的對比 2265次閱讀
- 前饋控制系統與反饋控制系統的區別 4219次閱讀
- 伺服驅動器和伺服控制系統的區別 1024次閱讀
- 開環控制系統與閉環控制系統的區別 1w次閱讀
- PLC控制系統與繼電器控制系統的比較 3155次閱讀
- plc控制系統與傳統繼電器控制區別 plc控制系統的優點 3739次閱讀
- DCS控制系統是什么？DCS控制系統的特點 4127次閱讀
- 運動控制系統的核心應用 2111次閱讀
- 機器人控制系統分類_機器人控制系統有哪些 2.6w次閱讀
- 微機控制系統的分類 4767次閱讀
- PID是控制系統嗎？控制系統由什么組成？ 1w次閱讀
- 智能控制系統的應用 6875次閱讀
- dsc車身動態控制系統簡介 3750次閱讀
- 基于Zynq的PMSM驅動控制系統設計 3736次閱讀
- 單片機控制系統中不可缺少的“中斷”基礎知識 1847次閱讀
上傳資料賺積分下載排行
本周
- 1TC358743XBG評估板參考手冊
- 1.36 MB | 330次下載 | 免費
- 2開關電源基礎知識
- 5.73 MB | 11次下載 | 免費
- 3100W短波放大電路圖
- 0.05 MB | 4次下載 | 3 積分
- 4嵌入式linux-聊天程序設計
- 0.60 MB | 3次下載 | 免費
- 5DIY動手組裝LED電子顯示屏
- 0.98 MB | 3次下載 | 免費
- 6基于FPGA的C8051F單片機開發板設計
- 0.70 MB | 2次下載 | 免費
- 751單片機PM2.5檢測系統程序
- 0.83 MB | 2次下載 | 免費
- 8基于51單片機的RGB調色燈程序仿真
- 0.86 MB | 2次下載 | 免費
本月
- 1OrCAD10.5下載OrCAD10.5中文版軟件
- 0.00 MB | 234315次下載 | 免費
- 2555集成電路應用800例(新編版)
- 0.00 MB | 33566次下載 | 免費
- 3接口電路圖大全
- 未知 | 30323次下載 | 免費
- 4開關電源設計實例指南
- 未知 | 21549次下載 | 免費
- 5電氣工程師手冊免費下載(新編第二版pdf電子書)
- 0.00 MB | 15349次下載 | 免費
- 6數字電路基礎pdf(下載)
- 未知 | 13750次下載 | 免費
- 7電子制作實例集錦 下載
- 未知 | 8113次下載 | 免費
- 8《LED驅動電路設計》 溫德爾著
- 0.00 MB | 6656次下載 | 免費
總榜
- 1matlab軟件下載入口
- 未知 | 935054次下載 | 免費
- 2protel99se軟件下載(可英文版轉中文版)
- 78.1 MB | 537797次下載 | 免費
- 3MATLAB 7.1 下載 (含軟件介紹)
- 未知 | 420027次下載 | 免費
- 4OrCAD10.5下載OrCAD10.5中文版軟件
- 0.00 MB | 234315次下載 | 免費
- 5Altium DXP2002下載入口
- 未知 | 233046次下載 | 免費
- 6電路仿真軟件multisim 10.0免費下載
- 340992 | 191186次下載 | 免費
- 7十天學會AVR單片機與C語言視頻教程 下載
- 158M | 183279次下載 | 免費
- 8proe5.0野火版下載(中文版免費下載)
- 未知 | 138040次下載 | 免費
工商網監
評論