電子發(fā)燒友App
創(chuàng)作
發(fā)文章
發(fā)帖 
提問 
發(fā)資料
發(fā)視頻資料介紹
近年來，計算機系統(tǒng)的定量驗證已經(jīng)引起了學術(shù)界和工業(yè)界足夠的關(guān)注，其中取值于度量空間的系統(tǒng)性質(zhì)研究為定量驗證的發(fā)展開辟了一條新途徑。在系統(tǒng)驗證中常用線性時間屬性來刻畫系統(tǒng)的性質(zhì)，而安全性作為線性時間屬性中一類至關(guān)重要的基礎(chǔ)屬性，能保證系統(tǒng)在運行過程中不會發(fā)生“壞”的事情，其在度量背景下的推廣形式也應(yīng)該得到關(guān)注。為此，文中研究偽超度量空間上安全性的擴展問題，首先對已有的度量線性時態(tài)邏輯進行適當?shù)难a充，使其能充分地刻畫度量背景下的線性時間屬性;然后引入距離閾值α，提出一種α安全性的概念，從而將經(jīng)典的安全性提升到偽超度量空間上;最后討論度量線性時態(tài)邏輯與α安全性之間的關(guān)系。這些結(jié)論為取值于度量空間的系統(tǒng)的安全性驗證提供了理論依據(jù)。
下載該資料的人也在下載
下載該資料的人還在閱讀
更多 >
- 單端邏輯電平之互聯(lián)綜述 2次下載
- 互聯(lián)邏輯電平之差分互聯(lián)綜述 1次下載
- 常見的單端邏輯電平及電路符號綜述 1次下載
- 邏輯互連之AC耦合電容綜述 4次下載
- 基于變量依賴關(guān)系模型的變量重要性度量綜述 0次下載
- 高安全性應(yīng)用開發(fā)環(huán)境的時序性質(zhì)驗證框架 1次下載
- 廣義可能性模糊時態(tài)計算樹邏輯的模型檢測 4次下載
- 可檢測實時系統(tǒng)的正確性的符號化模型 6次下載
- 什么是數(shù)據(jù)庫安全性數(shù)據(jù)庫安全性的詳細資料總結(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é)議安全性
- UPS電源的安全性和可靠性分析 580次閱讀
- 可靠性與安全性 6245次閱讀
- 不折不扣的安全性 660次閱讀
- NCM化學配比和SOC如何影響NCM電芯的安全性 6531次閱讀
- 如何檢測戶外LED燈的安全性 3559次閱讀
- 如何保證Polkadot網(wǎng)絡(luò)的安全性 823次閱讀
- 該如何提高云存儲大數(shù)據(jù)的安全性 922次閱讀
- 如何提升三元材料的安全性？ 3945次閱讀
- 保障云應(yīng)用的安全性的三大方案 1301次閱讀
- FPGA技術(shù)在汽車中實現(xiàn)高可靠性和安全性 2333次閱讀
- 從幾個不同的技術(shù)層面對鋰電和燃料電池的安全性進行分析對比 8381次閱讀
- 影響鋰離子動力電池安全性因素分析 7433次閱讀
- DES算法的應(yīng)用誤區(qū)及安全性分析 1.6w次閱讀
- 電動車安全性能及影響安全性因素有哪些 987次閱讀
- 如何提高智能電網(wǎng)端點安全性 832次閱讀
上傳資料賺積分下載排行
本周
- 1人工智能+消費：技術(shù)賦能與芯片驅(qū)動未來
- 15.25 MB | 4次下載 | 免費
- 2?業(yè)電源&模塊電源產(chǎn)品?冊
- 15.40 MB | 1次下載 | 免費
- 379M15 TO-252三端穩(wěn)壓IC規(guī)格書
- 0.86 MB | 次下載 | 免費
- 4MBRD20150CT TO-252肖特基二極管規(guī)格書
- 0.54 MB | 次下載 | 免費
- 5自動鎖螺絲運動控制系統(tǒng)用戶手冊
- 6.65 MB | 次下載 | 5 積分
- 6奧特光耦產(chǎn)品手冊
- 4.83 MB | 次下載 | 免費
- 7SMA系列10MHz~40GHz同軸檢波器
- 559.60 KB | 次下載 | 免費
- 8CD7388CZ：7W×4 四通道音頻功率放大電路技術(shù)手冊
- 0.39 MB | 次下載 | 10 積分
本月
- 1元宇宙深度解析—未來的未來-風口還是泡沫
- 6.40 MB | 241次下載 | 免費
- 2元宇宙底層硬件系列報告
- 13.42 MB | 184次下載 | 免費
- 32022 年展望報告 – 半導(dǎo)體產(chǎn)業(yè)
- 1.43 MB | 136次下載 | 免費
- 4晶振與濾波器應(yīng)用電路《電子工程師必備:元器件應(yīng)用寶典》
- 1.57 MB | 90次下載 | 免費
- 5汽車電子行業(yè)深度解析：智能化與電動化方興未艾
- 6.47 MB | 71次下載 | 免費
- 6中國DPU行業(yè)白皮書
- 23.80 MB | 37次下載 | 免費
- 7晶科鑫代理線-微盟電子2021年度產(chǎn)品目錄選型手冊
- 14.75 MB | 27次下載 | 免費
- 8SJK晶振產(chǎn)品目錄-簡化版-2022
- 13.77 MB | 20次下載 | 免費
總榜
- 1matlab軟件下載入口
- 未知 | 935134次下載 | 10 積分
- 2開源硬件-PMP21529.1-4 開關(guān)降壓/升壓雙向直流/直流轉(zhuǎn)換器 PCB layout 設(shè)計
- 1.48MB | 420064次下載 | 10 積分
- 3Altium DXP2002下載入口
- 未知 | 233089次下載 | 10 積分
- 4電路仿真軟件multisim 10.0免費下載
- 340992 | 191425次下載 | 10 積分
- 5十天學會AVR單片機與C語言視頻教程 下載
- 158M | 183352次下載 | 10 積分
- 6labview8.5下載
- 未知 | 81602次下載 | 10 積分
- 7Keil工具MDK-Arm免費下載
- 0.02 MB | 73822次下載 | 10 積分
- 8LabVIEW 8.6下載
- 未知 | 65991次下載 | 10 積分
工商網(wǎng)監(jiān)
評論