電子發燒友App
創作
發文章
發帖 
提問 
發資料
發視頻資料介紹
近年來，計算機系統的定量驗證已經引起了學術界和工業界足夠的關注，其中取值于度量空間的系統性質研究為定量驗證的發展開辟了一條新途徑。在系統驗證中常用線性時間屬性來刻畫系統的性質，而安全性作為線性時間屬性中一類至關重要的基礎屬性，能保證系統在運行過程中不會發生“壞”的事情，其在度量背景下的推廣形式也應該得到關注。為此，文中研究偽超度量空間上安全性的擴展問題，首先對已有的度量線性時態邏輯進行適當的補充，使其能充分地刻畫度量背景下的線性時間屬性;然后引入距離閾值α，提出一種α安全性的概念，從而將經典的安全性提升到偽超度量空間上;最后討論度量線性時態邏輯與α安全性之間的關系。這些結論為取值于度量空間的系統的安全性驗證提供了理論依據。
下載該資料的人也在下載
下載該資料的人還在閱讀
更多 >
- 單端邏輯電平之互聯綜述 2次下載
- 互聯邏輯電平之差分互聯綜述 1次下載
- 常見的單端邏輯電平及電路符號綜述 1次下載
- 邏輯互連之AC耦合電容綜述 4次下載
- 基于變量依賴關系模型的變量重要性度量綜述 0次下載
- 高安全性應用開發環境的時序性質驗證框架 1次下載
- 廣義可能性模糊時態計算樹邏輯的模型檢測 4次下載
- 可檢測實時系統的正確性的符號化模型 6次下載
- 什么是數據庫安全性數據庫安全性的詳細資料總結 6次下載
- 內存取證的內核完整性度量方法 2次下載
- 基于網絡編碼的安全性綜述 0次下載
- 磁共振式無線電能傳輸系統應用的電磁環境安全性研究及綜述 2次下載
- 一種模糊時態描述邏輯 0次下載
- 基于線性時態邏輯的Petri網模型檢測研究
- 基于BAN邏輯分析Otway-Rees協議安全性
- UPS電源的安全性和可靠性分析 580次閱讀
- 可靠性與安全性 6245次閱讀
- 不折不扣的安全性 660次閱讀
- NCM化學配比和SOC如何影響NCM電芯的安全性 6531次閱讀
- 如何檢測戶外LED燈的安全性 3559次閱讀
- 如何保證Polkadot網絡的安全性 823次閱讀
- 該如何提高云存儲大數據的安全性 922次閱讀
- 如何提升三元材料的安全性？ 3945次閱讀
- 保障云應用的安全性的三大方案 1301次閱讀
- FPGA技術在汽車中實現高可靠性和安全性 2333次閱讀
- 從幾個不同的技術層面對鋰電和燃料電池的安全性進行分析對比 8381次閱讀
- 影響鋰離子動力電池安全性因素分析 7433次閱讀
- DES算法的應用誤區及安全性分析 1.6w次閱讀
- 電動車安全性能及影響安全性因素有哪些 987次閱讀
- 如何提高智能電網端點安全性 832次閱讀
上傳資料賺積分下載排行
本周
- 1RA4L1硬件手冊
- 21.89 MB | 2次下載 | 免費
- 2RA4L1_SENSOR-V1原理圖
- 754.36 KB | 2次下載 | 免費
- 3RA4L1數據手冊
- 1.88 MB | 1次下載 | 免費
- 4電子元件FCO-6P-PJ系列超低相噪低抖動晶體振蕩器：規格參數與應用領域介紹
- 3.66 MB | 次下載 | 免費
- 5單片機c語言編程實例大全
- 0.66 MB | 次下載 | 1 積分
- 6DS-AN5V PB00 CN-V1
- 610.46 KB | 次下載 | 免費
- 7電橋前端共模電感有效抑制干擾電路分享
- 0.06 MB | 次下載 | 免費
- 8蘋果A1465 820-00164圖紙
- 1.41 MB | 次下載 | 免費
本月
- 1晶體三極管的電流放大作用詳細說明
- 0.77 MB | 32次下載 | 2 積分
- 2九陽豆漿機高清原理圖
- 2.47 MB | 28次下載 | 1 積分
- 3雙極型三極管放大電路的三種基本組態的學習課件免費下載
- 4.03 MB | 25次下載 | 1 積分
- 4AIWA HS-J303 MKⅡ維修手冊
- 22.47 MB | 24次下載 | 10 積分
- 5多級放大電路的學習課件免費下載
- 1.81 MB | 21次下載 | 2 積分
- 6AIWA HS-J202/HS-J202M/HS-J800維修手冊
- 13.60 MB | 16次下載 | 10 積分
- 7人形機器人電機驅動和傳感報告
- 4.27 MB | 13次下載 | 免費
- 8Altium Designer元件庫
- 17.11 MB | 9次下載 | 免費
總榜
- 1matlab軟件下載入口
- 未知 | 935127次下載 | 10 積分
- 2開源硬件-PMP21529.1-4 開關降壓/升壓雙向直流/直流轉換器 PCB layout 設計
- 1.48MB | 420063次下載 | 10 積分
- 3Altium DXP2002下載入口
- 未知 | 233089次下載 | 10 積分
- 4電路仿真軟件multisim 10.0免費下載
- 340992 | 191382次下載 | 10 積分
- 5十天學會AVR單片機與C語言視頻教程 下載
- 158M | 183338次下載 | 10 積分
- 6labview8.5下載
- 未知 | 81586次下載 | 10 積分
- 7Keil工具MDK-Arm免費下載
- 0.02 MB | 73814次下載 | 10 積分
- 8LabVIEW 8.6下載
- 未知 | 65988次下載 | 10 積分
工商網監
評論