電子發燒友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山景DSP芯片AP8248A2數據手冊
- 1.06 MB | 532次下載 | 免費
- 2RK3399完整板原理圖（支持平板，盒子VR）
- 3.28 MB | 339次下載 | 免費
- 3TC358743XBG評估板參考手冊
- 1.36 MB | 330次下載 | 免費
- 4DFM軟件使用教程
- 0.84 MB | 295次下載 | 免費
- 5元宇宙深度解析—未來的未來-風口還是泡沫
- 6.40 MB | 227次下載 | 免費
- 6迪文DGUS開發指南
- 31.67 MB | 194次下載 | 免費
- 7元宇宙底層硬件系列報告
- 13.42 MB | 182次下載 | 免費
- 8FP5207XR-G1中文應用手冊
- 1.09 MB | 178次下載 | 免費
本月
- 1OrCAD10.5下載OrCAD10.5中文版軟件
- 0.00 MB | 234315次下載 | 免費
- 2555集成電路應用800例(新編版)
- 0.00 MB | 33566次下載 | 免費
- 3接口電路圖大全
- 未知 | 30323次下載 | 免費
- 4開關電源設計實例指南
- 未知 | 21549次下載 | 免費
- 5電氣工程師手冊免費下載(新編第二版pdf電子書)
- 0.00 MB | 15349次下載 | 免費
- 6數字電路基礎pdf(下載)
- 未知 | 13750次下載 | 免費
- 7電子制作實例集錦 下載
- 未知 | 8113次下載 | 免費
- 8《LED驅動電路設計》 溫德爾著
- 0.00 MB | 6656次下載 | 免費
總榜
- 1matlab軟件下載入口
- 未知 | 935054次下載 | 免費
- 2protel99se軟件下載(可英文版轉中文版)
- 78.1 MB | 537798次下載 | 免費
- 3MATLAB 7.1 下載 (含軟件介紹)
- 未知 | 420027次下載 | 免費
- 4OrCAD10.5下載OrCAD10.5中文版軟件
- 0.00 MB | 234315次下載 | 免費
- 5Altium DXP2002下載入口
- 未知 | 233046次下載 | 免費
- 6電路仿真軟件multisim 10.0免費下載
- 340992 | 191187次下載 | 免費
- 7十天學會AVR單片機與C語言視頻教程 下載
- 158M | 183279次下載 | 免費
- 8proe5.0野火版下載(中文版免費下載)
- 未知 | 138040次下載 | 免費
工商網監
評論