電子發燒友App
創作
發文章
發帖 
提問 
發資料
發視頻資料介紹
近年來，計算機系統的定量驗證已經引起了學術界和工業界足夠的關注，其中取值于度量空間的系統性質研究為定量驗證的發展開辟了一條新途徑。在系統驗證中常用線性時間屬性來刻畫系統的性質，而安全性作為線性時間屬性中一類至關重要的基礎屬性，能保證系統在運行過程中不會發生“壞”的事情，其在度量背景下的推廣形式也應該得到關注。為此，文中研究偽超度量空間上安全性的擴展問題，首先對已有的度量線性時態邏輯進行適當的補充，使其能充分地刻畫度量背景下的線性時間屬性;然后引入距離閾值α，提出一種α安全性的概念，從而將經典的安全性提升到偽超度量空間上;最后討論度量線性時態邏輯與α安全性之間的關系。這些結論為取值于度量空間的系統的安全性驗證提供了理論依據。
下載該資料的人也在下載
下載該資料的人還在閱讀
更多 >
- 單端邏輯電平之互聯綜述 2次下載
- 互聯邏輯電平之差分互聯綜述 1次下載
- 常見的單端邏輯電平及電路符號綜述 1次下載
- 邏輯互連之AC耦合電容綜述 4次下載
- 基于變量依賴關系模型的變量重要性度量綜述 0次下載
- 高安全性應用開發環境的時序性質驗證框架 1次下載
- 廣義可能性模糊時態計算樹邏輯的模型檢測 4次下載
- 可檢測實時系統的正確性的符號化模型 6次下載
- 什么是數據庫安全性數據庫安全性的詳細資料總結 6次下載
- 內存取證的內核完整性度量方法 2次下載
- 基于網絡編碼的安全性綜述 0次下載
- 磁共振式無線電能傳輸系統應用的電磁環境安全性研究及綜述 2次下載
- 一種模糊時態描述邏輯 0次下載
- 基于線性時態邏輯的Petri網模型檢測研究
- 基于BAN邏輯分析Otway-Rees協議安全性
- 可靠性與安全性 5017次閱讀
- 不折不扣的安全性 537次閱讀
- NCM化學配比和SOC如何影響NCM電芯的安全性 6183次閱讀
- 如何檢測戶外LED燈的安全性 3477次閱讀
- 如何保證Polkadot網絡的安全性 768次閱讀
- 該如何提高云存儲大數據的安全性 839次閱讀
- 如何提升三元材料的安全性？ 3834次閱讀
- 保障云應用的安全性的三大方案 1249次閱讀
- FPGA技術在汽車中實現高可靠性和安全性 2271次閱讀
- 從幾個不同的技術層面對鋰電和燃料電池的安全性進行分析對比 8223次閱讀
- 影響鋰離子動力電池安全性因素分析 7306次閱讀
- DES算法的應用誤區及安全性分析 1.6w次閱讀
- 電動車安全性能及影響安全性因素有哪些 899次閱讀
- 通信協議標準FlexRay總線的功能安全性詳解 9545次閱讀
- 如何提高智能電網端點安全性 788次閱讀
上傳資料賺積分下載排行
本周
- 1明緯S-50-24開關電源電路圖.pdf
- 0.10 MB | 3次下載 | 5 積分
- 2如何正確測試電源的紋波
- 0.36 MB | 2次下載 | 免費
- 3Modbus測試工具
- 0.72 MB | 1次下載 | 2 積分
- 4550W充電機原理圖
- 0.13 MB | 1次下載 | 6 積分
- 5TMS320C54x DSP代數指令集參考集,第3卷
- 1.09MB | 次下載 | 免費
- 6TPS7H4010EVM用戶指南
- 4.02MB | 次下載 | 免費
- 7LMR23630DRREVM用戶指南
- 431.44KB | 次下載 | 免費
- 8意大利薩頓高頻電刀輸出功率偏小分析與處理
- 0.09 MB | 次下載 | 5 積分
本月
- 1使用單片機實現七人表決器的程序和仿真資料免費下載
- 2.96 MB | 44次下載 | 免費
- 2美的電磁爐維修手冊大全
- 1.56 MB | 22次下載 | 5 積分
- 33314A函數發生器維修手冊
- 16.30 MB | 13次下載 | 免費
- 4使用TL431設計電源
- 0.67 MB | 8次下載 | 免費
- 5感應筆電路圖
- 0.06 MB | 8次下載 | 免費
- 6LZC3106G高性能諧振控制器中文手冊
- 1.29 MB | 7次下載 | 1 積分
- 7SMD LED選型手冊 貼片燈珠
- 5.47 MB | 5次下載 | 免費
- 8萬用表UT58A原理圖
- 0.09 MB | 4次下載 | 5 積分
總榜
- 1matlab軟件下載入口
- 未知 | 935119次下載 | 10 積分
- 2開源硬件-PMP21529.1-4 開關降壓/升壓雙向直流/直流轉換器 PCB layout 設計
- 1.48MB | 420062次下載 | 10 積分
- 3Altium DXP2002下載入口
- 未知 | 233084次下載 | 10 積分
- 4電路仿真軟件multisim 10.0免費下載
- 340992 | 191367次下載 | 10 積分
- 5十天學會AVR單片機與C語言視頻教程 下載
- 158M | 183335次下載 | 10 積分
- 6labview8.5下載
- 未知 | 81581次下載 | 10 積分
- 7Keil工具MDK-Arm免費下載
- 0.02 MB | 73807次下載 | 10 積分
- 8LabVIEW 8.6下載
- 未知 | 65987次下載 | 10 積分
工商網監
評論