電子發(fā)燒友App
創(chuàng)作
發(fā)文章
發(fā)帖 
提問 
發(fā)資料
發(fā)視頻資料介紹
針對一類中斷驅(qū)動的航天控制系統(tǒng)，給出了有界模型檢驗的算法，這類系統(tǒng)由中斷處理程序和操作系統(tǒng)調(diào)度的任務(wù)組成．當中斷發(fā)生時，對應(yīng)的中斷處理程序響應(yīng)中斷事件，并可以修改控制變量值，以便在系統(tǒng)任務(wù)中完成后續(xù)工作．操作系統(tǒng)周期性地調(diào)度任務(wù)序列處理日常事務(wù)以及中斷事件的后續(xù)工作．使用了帶中斷標記的時間自動機對中斷事件和任務(wù)調(diào)度事件進行建模，并使用中斷向量表和中斷處理程序的偽代碼模型共同描述中斷的處理過程．控制變量將中斷處理過程和系統(tǒng)任務(wù)相關(guān)聯(lián)，中斷處理程序可以設(shè)定某個控制變量，而系統(tǒng)任務(wù)則通過檢查該控制變量來確定是否需要進行后續(xù)處理．對于這樣的形式化模型，給出了檢驗關(guān)鍵時序性質(zhì)的有界模型檢驗算法．該算法使用深度優(yōu)先的方式遍歷所有長度小于等于K的可行路徑，并使用SMT 23實現(xiàn)了對時間約束和規(guī)約的處理．
?
驅(qū)動控制
加入交流群
掃碼添加小助手
加入工程師交流群
下載該資料的人也在下載
下載該資料的人還在閱讀
更多 >
- 智能防盜防火及照明控制系統(tǒng)
- 電力拖動自動控制系統(tǒng)之運動控制系統(tǒng)電子版 0次下載
- 基于ZigBee和物聯(lián)網(wǎng)的智能草莓大棚控制系統(tǒng) 38次下載
- 基于DSP的攤鋪機行駛控制系統(tǒng) 9次下載
- 振動控制系統(tǒng)中DSP后向通道的設(shè)計方案 14次下載
- 基于DSP的中壓軟啟動控制系統(tǒng)設(shè)計方案 5次下載
- 可應(yīng)用于牽引的開關(guān)磁阻驅(qū)動電機控制系統(tǒng) 18次下載
- 基于DSP的煤礦電機控制系統(tǒng) 7次下載
- 基于DSP的LED照明驅(qū)動控制系統(tǒng)設(shè)計方案 17次下載
- 基于DSP的飛行仿真轉(zhuǎn)臺控制系統(tǒng)設(shè)計與實現(xiàn) 10次下載
- 基于FPGA的電機智能驅(qū)動控制系統(tǒng)設(shè)計資料下載
- DDC控制系統(tǒng)和PLC控制系統(tǒng)對比和應(yīng)用 12次下載
- 單片機的中斷系統(tǒng)的概念控制系統(tǒng)和處理過程及編程及應(yīng)用資料概述 6次下載
- 電驅(qū)動鉆機控制系統(tǒng)探討 76次下載
- 基于FX1NPLC的鋼球外觀檢驗控制系統(tǒng)
- 現(xiàn)場總線控制系統(tǒng)與集散控制系統(tǒng)的對比 4.6k次閱讀
- 前饋控制系統(tǒng)與反饋控制系統(tǒng)的區(qū)別 8.2k次閱讀
- 伺服驅(qū)動器和伺服控制系統(tǒng)的區(qū)別 2.4k次閱讀
- 開環(huán)控制系統(tǒng)與閉環(huán)控制系統(tǒng)的區(qū)別 1.6w次閱讀
- PLC控制系統(tǒng)與繼電器控制系統(tǒng)的比較 5.6k次閱讀
- plc控制系統(tǒng)與傳統(tǒng)繼電器控制區(qū)別 plc控制系統(tǒng)的優(yōu)點 6.2k次閱讀
- DCS控制系統(tǒng)是什么？DCS控制系統(tǒng)的特點 5.8k次閱讀
- 運動控制系統(tǒng)的核心應(yīng)用 3.4k次閱讀
- 機器人控制系統(tǒng)分類_機器人控制系統(tǒng)有哪些 2.8w次閱讀
- 微機控制系統(tǒng)的分類 5.3k次閱讀
- PID是控制系統(tǒng)嗎？控制系統(tǒng)由什么組成？ 1.1w次閱讀
- 智能控制系統(tǒng)的應(yīng)用 7.5k次閱讀
- dsc車身動態(tài)控制系統(tǒng)簡介 4.3k次閱讀
- 基于Zynq的PMSM驅(qū)動控制系統(tǒng)設(shè)計 4.4k次閱讀
- 單片機控制系統(tǒng)中不可缺少的“中斷”基礎(chǔ)知識 2.9k次閱讀
上傳資料賺積分下載排行
本周
- 1矽力杰 Silergy SY7215A 同步升壓調(diào)節(jié)器 規(guī)格書 Datasheet 佰祥電子
- 1.12 MB | 5次下載 | 免費
- 2HT81696H 內(nèi)置升壓的30W立體聲D類音頻功放數(shù)據(jù)手冊
- 1.21 MB | 1次下載 | 免費
- 3HTA6863 3W超低噪聲超低功耗單聲道D類音頻功率放大器數(shù)據(jù)手冊
- 0.87 MB | 次下載 | 免費
- 4南芯 Southchip SC8802C 充電控制器 規(guī)格書 Datasheet 佰祥電子
- 88.16 KB | 次下載 | 免費
- 5矽力杰 Silergy SY7065 同步升壓轉(zhuǎn)換器 規(guī)格書 Datasheet 佰祥電子
- 910.67 KB | 次下載 | 免費
- 6矽力杰 Silergy SY7066 同步升壓轉(zhuǎn)換器 規(guī)格書 Datasheet 佰祥電子
- 989.14 KB | 次下載 | 免費
- 7WD6208A產(chǎn)品規(guī)格書
- 631.24 KB | 次下載 | 免費
- 8NB685 26 V，12 A，低靜態(tài)電流，大電流 同步降壓變換器數(shù)據(jù)手冊
- 1.64 MB | 次下載 | 2 積分
本月
- 1EMC PCB設(shè)計總結(jié)
- 0.33 MB | 12次下載 | 免費
- 2PD取電芯片 ECP5702規(guī)格書
- 0.88 MB | 5次下載 | 免費
- 3矽力杰 Silergy SY7215A 同步升壓調(diào)節(jié)器 規(guī)格書 Datasheet 佰祥電子
- 1.12 MB | 5次下載 | 免費
- 4氮化鎵GaN FET/GaN HEMT 功率驅(qū)動電路選型表
- 0.10 MB | 3次下載 | 免費
- 5PD取電芯片，可取5/9/12/15/20V電壓ECP5702數(shù)據(jù)手冊
- 0.88 MB | 3次下載 | 免費
- 6SY50655 用于高輸入電壓應(yīng)用的偽固定頻率SSR反激式穩(wěn)壓器英文資料
- 1.01 MB | 3次下載 | 免費
- 7怎么為半導(dǎo)體測試儀選擇精密放大器
- 0.65 MB | 2次下載 | 免費
- 8SY52341 次級側(cè)同步整流英文手冊
- 0.94 MB | 2次下載 | 免費
總榜
- 1matlab軟件下載入口
- 未知 | 935137次下載 | 10 積分
- 2開源硬件-PMP21529.1-4 開關(guān)降壓/升壓雙向直流/直流轉(zhuǎn)換器 PCB layout 設(shè)計
- 1.48MB | 420064次下載 | 10 積分
- 3Altium DXP2002下載入口
- 未知 | 233095次下載 | 10 積分
- 4電路仿真軟件multisim 10.0免費下載
- 340992 | 191469次下載 | 10 積分
- 5十天學會AVR單片機與C語言視頻教程 下載
- 158M | 183360次下載 | 10 積分
- 6labview8.5下載
- 未知 | 81606次下載 | 10 積分
- 7Keil工具MDK-Arm免費下載
- 0.02 MB | 73832次下載 | 10 積分
- 8LabVIEW 8.6下載
- 未知 | 65991次下載 | 10 積分
工商網(wǎng)監(jiān)
評論