電子發(fā)燒友App
創(chuàng)作
發(fā)文章
發(fā)帖 
提問 
發(fā)資料
發(fā)視頻資料介紹
針對一類中斷驅(qū)動的航天控制系統(tǒng)，給出了有界模型檢驗(yàn)的算法，這類系統(tǒng)由中斷處理程序和操作系統(tǒng)調(diào)度的任務(wù)組成．當(dāng)中斷發(fā)生時，對應(yīng)的中斷處理程序響應(yīng)中斷事件，并可以修改控制變量值，以便在系統(tǒng)任務(wù)中完成后續(xù)工作．操作系統(tǒng)周期性地調(diào)度任務(wù)序列處理日常事務(wù)以及中斷事件的后續(xù)工作．使用了帶中斷標(biāo)記的時間自動機(jī)對中斷事件和任務(wù)調(diào)度事件進(jìn)行建模，并使用中斷向量表和中斷處理程序的偽代碼模型共同描述中斷的處理過程．控制變量將中斷處理過程和系統(tǒng)任務(wù)相關(guān)聯(lián)，中斷處理程序可以設(shè)定某個控制變量，而系統(tǒng)任務(wù)則通過檢查該控制變量來確定是否需要進(jìn)行后續(xù)處理．對于這樣的形式化模型，給出了檢驗(yàn)關(guān)鍵時序性質(zhì)的有界模型檢驗(yàn)算法．該算法使用深度優(yōu)先的方式遍歷所有長度小于等于K的可行路徑，并使用SMT 23實(shí)現(xiàn)了對時間約束和規(guī)約的處理．
?
下載該資料的人也在下載
下載該資料的人還在閱讀
更多 >
- 智能防盜防火及照明控制系統(tǒng)
- 電力拖動自動控制系統(tǒng)之運(yùn)動控制系統(tǒng)電子版 0次下載
- 基于ZigBee和物聯(lián)網(wǎng)的智能草莓大棚控制系統(tǒng) 38次下載
- 基于DSP的攤鋪機(jī)行駛控制系統(tǒng) 9次下載
- 振動控制系統(tǒng)中DSP后向通道的設(shè)計方案 14次下載
- 基于DSP的中壓軟啟動控制系統(tǒng)設(shè)計方案 5次下載
- 可應(yīng)用于牽引的開關(guān)磁阻驅(qū)動電機(jī)控制系統(tǒng) 18次下載
- 基于DSP的煤礦電機(jī)控制系統(tǒng) 7次下載
- 基于DSP的LED照明驅(qū)動控制系統(tǒng)設(shè)計方案 17次下載
- 基于DSP的飛行仿真轉(zhuǎn)臺控制系統(tǒng)設(shè)計與實(shí)現(xiàn) 10次下載
- 基于FPGA的電機(jī)智能驅(qū)動控制系統(tǒng)設(shè)計資料下載
- DDC控制系統(tǒng)和PLC控制系統(tǒng)對比和應(yīng)用 12次下載
- 單片機(jī)的中斷系統(tǒng)的概念控制系統(tǒng)和處理過程及編程及應(yīng)用資料概述 6次下載
- 電驅(qū)動鉆機(jī)控制系統(tǒng)探討 76次下載
- 基于FX1NPLC的鋼球外觀檢驗(yàn)控制系統(tǒng)
- 現(xiàn)場總線控制系統(tǒng)與集散控制系統(tǒng)的對比 2265次閱讀
- 前饋控制系統(tǒng)與反饋控制系統(tǒng)的區(qū)別 4219次閱讀
- 伺服驅(qū)動器和伺服控制系統(tǒng)的區(qū)別 1024次閱讀
- 開環(huán)控制系統(tǒng)與閉環(huán)控制系統(tǒng)的區(qū)別 1w次閱讀
- PLC控制系統(tǒng)與繼電器控制系統(tǒng)的比較 3155次閱讀
- plc控制系統(tǒng)與傳統(tǒng)繼電器控制區(qū)別 plc控制系統(tǒng)的優(yōu)點(diǎn) 3739次閱讀
- DCS控制系統(tǒng)是什么？DCS控制系統(tǒng)的特點(diǎn) 4127次閱讀
- 運(yùn)動控制系統(tǒng)的核心應(yīng)用 2111次閱讀
- 機(jī)器人控制系統(tǒng)分類_機(jī)器人控制系統(tǒng)有哪些 2.6w次閱讀
- 微機(jī)控制系統(tǒng)的分類 4767次閱讀
- PID是控制系統(tǒng)嗎？控制系統(tǒng)由什么組成？ 1w次閱讀
- 智能控制系統(tǒng)的應(yīng)用 6875次閱讀
- dsc車身動態(tài)控制系統(tǒng)簡介 3750次閱讀
- 基于Zynq的PMSM驅(qū)動控制系統(tǒng)設(shè)計 3736次閱讀
- 單片機(jī)控制系統(tǒng)中不可缺少的“中斷”基礎(chǔ)知識 1847次閱讀
上傳資料賺積分下載排行
本周
- 1常用電子元器件集錦
- 1.72 MB | 24490次下載 | 免費(fèi)
- 2PC2456高壓浪涌抑制器控制器數(shù)據(jù)手冊
- 3.03 MB | 12次下載 | 免費(fèi)
- 3PC2466高電壓浪涌抑制器數(shù)據(jù)手冊
- 3.37 MB | 8次下載 | 免費(fèi)
- 4ssd1306單片 CMOS OLED/PLED 驅(qū)動芯片中文手冊
- 1.66 MB | 5次下載 | 1 積分
- 5PC2596 40V 輸入 150KHz 3A 降壓型電源轉(zhuǎn)換器數(shù)據(jù)手冊
- 2.44 MB | 3次下載 | 免費(fèi)
- 6臺式主板DDR5內(nèi)存插槽引腳功能表資料
- 0.17 MB | 2次下載 | 5 積分
- 7電子元件FVT-6S電壓控制溫補(bǔ)晶體振蕩器（VCTCXO）：2.0×1.6mm封裝規(guī)格及應(yīng)用參數(shù)詳解
- 437.99 KB | 2次下載 | 免費(fèi)
- 8ZYNALOG徴格半導(dǎo)體|ZGAD125S14技術(shù)參數(shù)書
- 982.53 KB | 2次下載 | 免費(fèi)
本月
- 1常用電子元器件集錦
- 1.72 MB | 24490次下載 | 免費(fèi)
- 2三相逆變主電路的原理圖和PCB資料合集免費(fèi)下載
- 27.35 MB | 111次下載 | 1 積分
- 3運(yùn)算放大器基本電路中文資料
- 1.30 MB | 16次下載 | 免費(fèi)
- 4蘋果iphone 11電路原理圖
- 4.98 MB | 12次下載 | 5 積分
- 5常用電子元器件介紹
- 3.21 MB | 12次下載 | 免費(fèi)
- 6PC2456高壓浪涌抑制器控制器數(shù)據(jù)手冊
- 3.03 MB | 12次下載 | 免費(fèi)
- 7PC2557正向高壓理想二極管控制電路中文手冊
- 1.80 MB | 8次下載 | 免費(fèi)
- 8PC2559帶反向輸入保掮 理想二極管控制電路中文手冊
- 1.08 MB | 8次下載 | 免費(fèi)
總榜
- 1matlab軟件下載入口
- 未知 | 935130次下載 | 10 積分
- 2開源硬件-PMP21529.1-4 開關(guān)降壓/升壓雙向直流/直流轉(zhuǎn)換器 PCB layout 設(shè)計
- 1.48MB | 420064次下載 | 10 積分
- 3Altium DXP2002下載入口
- 未知 | 233089次下載 | 10 積分
- 4電路仿真軟件multisim 10.0免費(fèi)下載
- 340992 | 191390次下載 | 10 積分
- 5十天學(xué)會AVR單片機(jī)與C語言視頻教程 下載
- 158M | 183345次下載 | 10 積分
- 6labview8.5下載
- 未知 | 81591次下載 | 10 積分
- 7Keil工具M(jìn)DK-Arm免費(fèi)下載
- 0.02 MB | 73816次下載 | 10 積分
- 8LabVIEW 8.6下載
- 未知 | 65990次下載 | 10 積分
工商網(wǎng)監(jiān)
評論