電子發(fā)燒友App
創(chuàng)作
發(fā)文章
發(fā)帖 
提問 
發(fā)資料
發(fā)視頻資料介紹
近年來，計(jì)算機(jī)系統(tǒng)的定量驗(yàn)證已經(jīng)引起了學(xué)術(shù)界和工業(yè)界足夠的關(guān)注，其中取值于度量空間的系統(tǒng)性質(zhì)研究為定量驗(yàn)證的發(fā)展開辟了一條新途徑。在系統(tǒng)驗(yàn)證中常用線性時間屬性來刻畫系統(tǒng)的性質(zhì)，而安全性作為線性時間屬性中一類至關(guān)重要的基礎(chǔ)屬性，能保證系統(tǒng)在運(yùn)行過程中不會發(fā)生“壞”的事情，其在度量背景下的推廣形式也應(yīng)該得到關(guān)注。為此，文中研究偽超度量空間上安全性的擴(kuò)展問題，首先對已有的度量線性時態(tài)邏輯進(jìn)行適當(dāng)?shù)难a(bǔ)充，使其能充分地刻畫度量背景下的線性時間屬性;然后引入距離閾值α，提出一種α安全性的概念，從而將經(jīng)典的安全性提升到偽超度量空間上;最后討論度量線性時態(tài)邏輯與α安全性之間的關(guān)系。這些結(jié)論為取值于度量空間的系統(tǒng)的安全性驗(yàn)證提供了理論依據(jù)。
下載該資料的人也在下載
下載該資料的人還在閱讀
更多 >
- 單端邏輯電平之互聯(lián)綜述 2次下載
- 互聯(lián)邏輯電平之差分互聯(lián)綜述 1次下載
- 常見的單端邏輯電平及電路符號綜述 1次下載
- 邏輯互連之AC耦合電容綜述 4次下載
- 基于變量依賴關(guān)系模型的變量重要性度量綜述 0次下載
- 高安全性應(yīng)用開發(fā)環(huán)境的時序性質(zhì)驗(yàn)證框架 1次下載
- 廣義可能性模糊時態(tài)計(jì)算樹邏輯的模型檢測 4次下載
- 可檢測實(shí)時系統(tǒng)的正確性的符號化模型 6次下載
- 什么是數(shù)據(jù)庫安全性數(shù)據(jù)庫安全性的詳細(xì)資料總結(jié) 6次下載
- 內(nèi)存取證的內(nèi)核完整性度量方法 2次下載
- 基于網(wǎng)絡(luò)編碼的安全性綜述 0次下載
- 磁共振式無線電能傳輸系統(tǒng)應(yīng)用的電磁環(huán)境安全性研究及綜述 2次下載
- 一種模糊時態(tài)描述邏輯 0次下載
- 基于線性時態(tài)邏輯的Petri網(wǎng)模型檢測研究
- 基于BAN邏輯分析Otway-Rees協(xié)議安全性
- 車規(guī)級與消費(fèi)級芯片的可靠性、安全性與成本差異 890次閱讀
- 電子電器產(chǎn)品安全性與針焰試驗(yàn)的重要性 834次閱讀
- 可靠性與安全性 8.2k次閱讀
- 不折不扣的安全性 1.2k次閱讀
- NCM化學(xué)配比和SOC如何影響NCM電芯的安全性 8k次閱讀
- 如何檢測戶外LED燈的安全性 3.9k次閱讀
- 如何保證Polkadot網(wǎng)絡(luò)的安全性 1.1k次閱讀
- 該如何提高云存儲大數(shù)據(jù)的安全性 1.2k次閱讀
- 如何提升三元材料的安全性？ 4.5k次閱讀
- 保障云應(yīng)用的安全性的三大方案 1.5k次閱讀
- FPGA技術(shù)在汽車中實(shí)現(xiàn)高可靠性和安全性 2.6k次閱讀
- 影響鋰離子動力電池安全性因素分析 7.9k次閱讀
- DES算法的應(yīng)用誤區(qū)及安全性分析 1.7w次閱讀
- 電動車安全性能及影響安全性因素有哪些 1.5k次閱讀
- 如何提高智能電網(wǎng)端點(diǎn)安全性 1k次閱讀
上傳資料賺積分下載排行
本周
- 1新一代網(wǎng)絡(luò)可視化（NPB 2.0）
- 3.40 MB | 1次下載 | 免費(fèi)
- 2冷柜-電氣控制系統(tǒng)講解
- 13.68 MB | 1次下載 | 10 積分
- 3MDD品牌三極管MMBT3906數(shù)據(jù)手冊
- 2.33 MB | 次下載 | 免費(fèi)
- 4MDD品牌三極管S9012數(shù)據(jù)手冊
- 2.62 MB | 次下載 | 免費(fèi)
- 5LAT1218 如何選擇和設(shè)置外部晶體適配 BlueNRG-X
- 0.60 MB | 次下載 | 3 積分
- 6LAT1216 Blue NRG-1/2 系列芯片 Flash 操作與 BLE 事件的互斥處理
- 0.89 MB | 次下載 | 3 積分
- 7收音環(huán)繞擴(kuò)音機(jī) AVR-1507手冊
- 2.50 MB | 次下載 | 免費(fèi)
- 8MS1000TA 超聲波測量模擬前端芯片技術(shù)手冊
- 0.60 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 積分
- 4UWB653Pro USB口測距通信定位模塊規(guī)格書
- 838.47 KB | 5次下載 | 免費(fèi)
- 5蘇泊爾DCL6907(即CHK-S007)單芯片電磁爐原理圖資料
- 0.04 MB | 4次下載 | 1 積分
- 6蘇泊爾DCL6909(即CHK-S009)單芯片電磁爐原理圖資料
- 0.08 MB | 2次下載 | 1 積分
- 7100W準(zhǔn)諧振反激式恒流電源電路圖資料
- 0.09 MB | 2次下載 | 1 積分
- 8FS8025B USB的PD和OC快充協(xié)議電壓誘騙控制器IC技術(shù)手冊
- 1.81 MB | 1次下載 | 免費(fèi)
總榜
- 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é)會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)
評論