電子發(fā)燒友App
創(chuàng)作
發(fā)文章
發(fā)帖 
提問 
發(fā)資料
發(fā)視頻資料介紹
現(xiàn)有模型檢測工具的形式化規(guī)范語言。如計(jì)算樹邏輯（computation tree logic，簡稱CTL）和線性時(shí)序邏輯（Linear temporal logic，簡稱LTL）等的描述能力不足，無法驗(yàn)證∞正則性質(zhì)．提出了一個(gè)命題投影時(shí)序邏輯（propositional proj ection temporal logic，簡稱PPTL）符號模型檢測工具-PLSMC（PPTL symbolic model checker）的設(shè)計(jì)與實(shí)現(xiàn)過程．該工具基于著名的符號模型檢測系統(tǒng)NuSMV，實(shí)現(xiàn)了PPTL的符號模型檢測算法．PLSMC的規(guī)范語言PPTL具有完全正則表達(dá)能力，這使得定性性質(zhì)和定量性質(zhì)均可被驗(yàn)證．此外，PLSMC可以有效地緩解模型檢測工具中容易發(fā)生的狀態(tài)空間爆炸問題，最后，利用PLSMC對鐵路公路交叉道口護(hù)欄控制系統(tǒng)的安全性質(zhì)和周期性性質(zhì)進(jìn)行驗(yàn)證，實(shí)驗(yàn)結(jié)果表明，PPTL符號模型檢測工具擴(kuò)充了NuSMV系統(tǒng)的驗(yàn)證能力，使得時(shí)間敏感、并發(fā)性和周期性等實(shí)時(shí)性質(zhì)可以被描述和驗(yàn)證．
下載該資料的人也在下載
下載該資料的人還在閱讀
更多 >
- Verilog復(fù)雜時(shí)序邏輯電路設(shè)計(jì)實(shí)踐
- 常見的單端邏輯電平及電路符號綜述 1次下載
- 可檢測實(shí)時(shí)系統(tǒng)的正確性的符號化模型 6次下載
- 一種脫離預(yù)訓(xùn)練的多尺度目標(biāo)檢測網(wǎng)絡(luò)模型 26次下載
- 一種基于檢測器集層次聚類的否定選擇算法 13次下載
- NDIR氣體檢測器解決方案和PID氣體檢測器解決方案
- 時(shí)序邏輯電路的學(xué)習(xí)課件免費(fèi)下載 18次下載
- 電阻式溫度檢測器（RTD）基礎(chǔ)知識(shí)及參考設(shè)計(jì)
- 車輛檢測器的低功耗設(shè)計(jì) 14次下載
- 時(shí)序邏輯電路引論
- 穩(wěn)健的高效MIMO檢測器
- 異步時(shí)序邏輯電路 0次下載
- 同步時(shí)序邏輯電路 0次下載
- 基于線性時(shí)態(tài)邏輯的Petri網(wǎng)模型檢測研究
- 反射式紅外檢測器電路及制作
- 電路檢測器和電流檢測器的區(qū)別 2.7k次閱讀
- 手機(jī)檢測器電路圖 手機(jī)檢測器的功能和應(yīng)用 5.4k次閱讀
- 什么是過零檢測器 過零檢測器的原理 4.3k次閱讀
- 過零檢測器的原理 5k次閱讀
- 利用視覺語言模型對檢測器進(jìn)行預(yù)訓(xùn)練 2.1k次閱讀
- 基于555的聲光數(shù)字電平檢測器電路 3.4k次閱讀
- 時(shí)序邏輯電路設(shè)計(jì) 9k次閱讀
- 時(shí)序邏輯電路的主要故障分析 6.9k次閱讀
- 邏輯電路圖符號大全 24.3w次閱讀
- 熒光檢測器工作原理及特點(diǎn) 5.2w次閱讀
- 時(shí)序邏輯電路由什么組成_時(shí)序邏輯電路特點(diǎn)是什么 11.2w次閱讀
- 時(shí)序邏輯電路分析有幾個(gè)步驟（同步時(shí)序邏輯電路的分析方法） 12.8w次閱讀
- 地磁車輛檢測器主要組成部分 5.3k次閱讀
- 微波運(yùn)動(dòng)檢測器 4.9k次閱讀
- 酸雨檢測器 1.7w次閱讀
上傳資料賺積分下載排行
本周
- 1MDD品牌三極管MMBT3906數(shù)據(jù)手冊
- 2.33 MB | 次下載 | 免費(fèi)
- 2MDD品牌三極管S9012數(shù)據(jù)手冊
- 2.62 MB | 次下載 | 免費(fèi)
- 3聯(lián)想flex2-14D/15D說明書
- 4.92 MB | 次下載 | 免費(fèi)
- 4收音環(huán)繞擴(kuò)音機(jī) AVR-1507手冊
- 2.50 MB | 次下載 | 免費(fèi)
- 524Pin Type-C連接器設(shè)計(jì)報(bào)告
- 1.06 MB | 次下載 | 免費(fèi)
- 6新一代網(wǎng)絡(luò)可視化（NPB 2.0）
- 3.40 MB | 次下載 | 免費(fèi)
- 7MS1000TA 超聲波測量模擬前端芯片技術(shù)手冊
- 0.60 MB | 次下載 | 免費(fèi)
- 8MS1022高精度時(shí)間測量(TDC)電路數(shù)據(jù)手冊
- 1.81 MB | 次下載 | 免費(fèi)
本月
- 1愛華AIWA HS-J202維修手冊
- 3.34 MB | 37次下載 | 免費(fèi)
- 2PC5502負(fù)載均流控制電路數(shù)據(jù)手冊
- 1.63 MB | 23次下載 | 免費(fèi)
- 3NB-IoT芯片廠商的資料說明
- 0.31 MB | 22次下載 | 1 積分
- 4H110主板CPU PWM芯片ISL95858HRZ-T核心供電電路圖資料
- 0.63 MB | 6次下載 | 1 積分
- 5UWB653Pro USB口測距通信定位模塊規(guī)格書
- 838.47 KB | 5次下載 | 免費(fèi)
- 6技嘉H110主板IT8628E_BX IO電路圖資料
- 2.61 MB | 4次下載 | 1 積分
- 7蘇泊爾DCL6907(即CHK-S007)單芯片電磁爐原理圖資料
- 0.04 MB | 4次下載 | 1 積分
- 8100W準(zhǔn)諧振反激式恒流電源電路圖資料
- 0.09 MB | 2次下載 | 1 積分
總榜
- 1matlab軟件下載入口
- 未知 | 935137次下載 | 10 積分
- 2開源硬件-PMP21529.1-4 開關(guān)降壓/升壓雙向直流/直流轉(zhuǎn)換器 PCB layout 設(shè)計(jì)
- 1.48MB | 420064次下載 | 10 積分
- 3Altium DXP2002下載入口
- 未知 | 233089次下載 | 10 積分
- 4電路仿真軟件multisim 10.0免費(fèi)下載
- 340992 | 191439次下載 | 10 積分
- 5十天學(xué)會(huì)AVR單片機(jī)與C語言視頻教程 下載
- 158M | 183353次下載 | 10 積分
- 6labview8.5下載
- 未知 | 81602次下載 | 10 積分
- 7Keil工具M(jìn)DK-Arm免費(fèi)下載
- 0.02 MB | 73822次下載 | 10 積分
- 8LabVIEW 8.6下載
- 未知 | 65991次下載 | 10 積分
工商網(wǎng)監(jiān)
評論