電子發燒友App
創作
發文章
發帖 
提問 
發資料
發視頻資料介紹
針對一類中斷驅動的航天控制系統，給出了有界模型檢驗的算法，這類系統由中斷處理程序和操作系統調度的任務組成．當中斷發生時，對應的中斷處理程序響應中斷事件，并可以修改控制變量值，以便在系統任務中完成后續工作．操作系統周期性地調度任務序列處理日常事務以及中斷事件的后續工作．使用了帶中斷標記的時間自動機對中斷事件和任務調度事件進行建模，并使用中斷向量表和中斷處理程序的偽代碼模型共同描述中斷的處理過程．控制變量將中斷處理過程和系統任務相關聯，中斷處理程序可以設定某個控制變量，而系統任務則通過檢查該控制變量來確定是否需要進行后續處理．對于這樣的形式化模型，給出了檢驗關鍵時序性質的有界模型檢驗算法．該算法使用深度優先的方式遍歷所有長度小于等于K的可行路徑，并使用SMT 23實現了對時間約束和規約的處理．
?
下載該資料的人也在下載
下載該資料的人還在閱讀
更多 >
- 智能防盜防火及照明控制系統
- 電力拖動自動控制系統之運動控制系統電子版 0次下載
- 基于ZigBee和物聯網的智能草莓大棚控制系統 37次下載
- 基于DSP的攤鋪機行駛控制系統 9次下載
- 振動控制系統中DSP后向通道的設計方案 14次下載
- 基于DSP的中壓軟啟動控制系統設計方案 5次下載
- 可應用于牽引的開關磁阻驅動電機控制系統 18次下載
- 基于DSP的煤礦電機控制系統 7次下載
- 基于DSP的LED照明驅動控制系統設計方案 17次下載
- 基于DSP的飛行仿真轉臺控制系統設計與實現 10次下載
- 基于FPGA的電機智能驅動控制系統設計資料下載
- DDC控制系統和PLC控制系統對比和應用 12次下載
- 單片機的中斷系統的概念控制系統和處理過程及編程及應用資料概述 6次下載
- 電驅動鉆機控制系統探討 76次下載
- 基于FX1NPLC的鋼球外觀檢驗控制系統
- 現場總線控制系統與集散控制系統的對比 769次閱讀
- 前饋控制系統與反饋控制系統的區別 1553次閱讀
- 伺服驅動器和伺服控制系統的區別 471次閱讀
- 開環控制系統與閉環控制系統的區別 5610次閱讀
- PLC控制系統與繼電器控制系統的比較 1121次閱讀
- plc控制系統與傳統繼電器控制區別 plc控制系統的優點 2433次閱讀
- DCS控制系統是什么？DCS控制系統的特點 3538次閱讀
- 運動控制系統的核心應用 1629次閱讀
- 機器人控制系統分類_機器人控制系統有哪些 2.6w次閱讀
- 微機控制系統的分類 4609次閱讀
- PID是控制系統嗎？控制系統由什么組成？ 1w次閱讀
- 智能控制系統的應用 6715次閱讀
- dsc車身動態控制系統簡介 3633次閱讀
- 基于Zynq的PMSM驅動控制系統設計 3418次閱讀
- 單片機控制系統中不可缺少的“中斷”基礎知識 1794次閱讀
上傳資料賺積分下載排行
本周
- 1使用單片機實現七人表決器的程序和仿真資料免費下載
- 2.96 MB | 44次下載 | 免費
- 2Keysight B1500A 半導體器件分析儀用戶手冊、說明書 （中文）
- 19.00 MB | 4次下載 | 免費
- 3臺達VFD-M系列變頻器驅動板原廠原理圖
- 0.17 MB | 2次下載 | 免費
- 4Keysight B1500A半導體器件分析儀自學培訓教程
- 19.00 MB | 2次下載 | 5 積分
- 5聯想E46L DAOLL6筆記本電腦圖紙
- 1.10 MB | 2次下載 | 5 積分
- 6MATLAB繪圖合集
- 27.12 MB | 2次下載 | 5 積分
- 7UCC38C42 30W同步降壓轉換器參考設計
- 428.07KB | 1次下載 | 免費
- 8模態分解合集matlab代碼
- 3.03 MB | 1次下載 | 2 積分
本月
- 1使用單片機實現七人表決器的程序和仿真資料免費下載
- 2.96 MB | 44次下載 | 免費
- 2UC3842/3/4/5電源管理芯片中文手冊
- 1.75 MB | 15次下載 | 免費
- 3DMT0660數字萬用表產品說明書
- 0.70 MB | 13次下載 | 免費
- 4ST7789V2單芯片控制器/驅動器英文手冊
- 3.07 MB | 11次下載 | 1 積分
- 5TPS54202H降壓轉換器評估模塊用戶指南
- 1.02MB | 8次下載 | 免費
- 6STM32F101x8/STM32F101xB手冊
- 1.69 MB | 8次下載 | 1 積分
- 7LLC 電路基本原理分析及公式推導
- 551.94 KB | 6次下載 | 免費
- 8HY12P65/HY12P66數字萬用表芯片規格書
- 0.69 MB | 6次下載 | 免費
總榜
- 1matlab軟件下載入口
- 未知 | 935119次下載 | 10 積分
- 2開源硬件-PMP21529.1-4 開關降壓/升壓雙向直流/直流轉換器 PCB layout 設計
- 1.48MB | 420061次下載 | 10 積分
- 3Altium DXP2002下載入口
- 未知 | 233084次下載 | 10 積分
- 4電路仿真軟件multisim 10.0免費下載
- 340992 | 191367次下載 | 10 積分
- 5十天學會AVR單片機與C語言視頻教程 下載
- 158M | 183335次下載 | 10 積分
- 6labview8.5下載
- 未知 | 81581次下載 | 10 積分
- 7Keil工具MDK-Arm免費下載
- 0.02 MB | 73807次下載 | 10 積分
- 8LabVIEW 8.6下載
- 未知 | 65987次下載 | 10 積分
工商網監
評論