電子發(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)證中常用線性時(shí)間屬性來刻畫系統(tǒng)的性質(zhì)，而安全性作為線性時(shí)間屬性中一類至關(guān)重要的基礎(chǔ)屬性，能保證系統(tǒng)在運(yùn)行過程中不會(huì)發(fā)生“壞”的事情，其在度量背景下的推廣形式也應(yīng)該得到關(guān)注。為此，文中研究偽超度量空間上安全性的擴(kuò)展問題，首先對(duì)已有的度量線性時(shí)態(tài)邏輯進(jìn)行適當(dāng)?shù)难a(bǔ)充，使其能充分地刻畫度量背景下的線性時(shí)間屬性;然后引入距離閾值α，提出一種α安全性的概念，從而將經(jīng)典的安全性提升到偽超度量空間上;最后討論度量線性時(shí)態(tài)邏輯與α安全性之間的關(guān)系。這些結(jié)論為取值于度量空間的系統(tǒng)的安全性驗(yàn)證提供了理論依據(jù)。
下載該資料的人也在下載
下載該資料的人還在閱讀
更多 >
- 單端邏輯電平之互聯(lián)綜述 2次下載
- 互聯(lián)邏輯電平之差分互聯(lián)綜述 1次下載
- 常見的單端邏輯電平及電路符號(hào)綜述 1次下載
- 邏輯互連之AC耦合電容綜述 4次下載
- 基于變量依賴關(guān)系模型的變量重要性度量綜述 0次下載
- 高安全性應(yīng)用開發(fā)環(huán)境的時(shí)序性質(zhì)驗(yàn)證框架 1次下載
- 廣義可能性模糊時(shí)態(tài)計(jì)算樹邏輯的模型檢測(cè) 4次下載
- 可檢測(cè)實(shí)時(shí)系統(tǒng)的正確性的符號(hào)化模型 6次下載
- 什么是數(shù)據(jù)庫安全性數(shù)據(jù)庫安全性的詳細(xì)資料總結(jié) 6次下載
- 內(nèi)存取證的內(nèi)核完整性度量方法 2次下載
- 基于網(wǎng)絡(luò)編碼的安全性綜述 0次下載
- 磁共振式無線電能傳輸系統(tǒng)應(yīng)用的電磁環(huán)境安全性研究及綜述 2次下載
- 一種模糊時(shí)態(tài)描述邏輯 0次下載
- 基于線性時(shí)態(tài)邏輯的Petri網(wǎng)模型檢測(cè)研究
- 基于BAN邏輯分析Otway-Rees協(xié)議安全性
- 可靠性與安全性 5017次閱讀
- 不折不扣的安全性 537次閱讀
- NCM化學(xué)配比和SOC如何影響NCM電芯的安全性 6183次閱讀
- 如何檢測(cè)戶外LED燈的安全性 3477次閱讀
- 如何保證Polkadot網(wǎng)絡(luò)的安全性 768次閱讀
- 該如何提高云存儲(chǔ)大數(shù)據(jù)的安全性 839次閱讀
- 如何提升三元材料的安全性？ 3834次閱讀
- 保障云應(yīng)用的安全性的三大方案 1249次閱讀
- FPGA技術(shù)在汽車中實(shí)現(xiàn)高可靠性和安全性 2271次閱讀
- 從幾個(gè)不同的技術(shù)層面對(duì)鋰電和燃料電池的安全性進(jìn)行分析對(duì)比 8223次閱讀
- 影響鋰離子動(dòng)力電池安全性因素分析 7306次閱讀
- DES算法的應(yīng)用誤區(qū)及安全性分析 1.6w次閱讀
- 電動(dòng)車安全性能及影響安全性因素有哪些 899次閱讀
- 通信協(xié)議標(biāo)準(zhǔn)FlexRay總線的功能安全性詳解 9545次閱讀
- 如何提高智能電網(wǎng)端點(diǎn)安全性 788次閱讀
上傳資料賺積分下載排行
本周
- 1山景DSP芯片AP8248A2數(shù)據(jù)手冊(cè)
- 1.06 MB | 532次下載 | 免費(fèi)
- 2RK3399完整板原理圖（支持平板，盒子VR）
- 3.28 MB | 339次下載 | 免費(fèi)
- 3TC358743XBG評(píng)估板參考手冊(cè)
- 1.36 MB | 330次下載 | 免費(fèi)
- 4DFM軟件使用教程
- 0.84 MB | 295次下載 | 免費(fèi)
- 5元宇宙深度解析—未來的未來-風(fēng)口還是泡沫
- 6.40 MB | 227次下載 | 免費(fèi)
- 6迪文DGUS開發(fā)指南
- 31.67 MB | 194次下載 | 免費(fèi)
- 7元宇宙底層硬件系列報(bào)告
- 13.42 MB | 182次下載 | 免費(fèi)
- 8FP5207XR-G1中文應(yīng)用手冊(cè)
- 1.09 MB | 178次下載 | 免費(fèi)
本月
- 1OrCAD10.5下載OrCAD10.5中文版軟件
- 0.00 MB | 234315次下載 | 免費(fèi)
- 2555集成電路應(yīng)用800例(新編版)
- 0.00 MB | 33566次下載 | 免費(fèi)
- 3接口電路圖大全
- 未知 | 30323次下載 | 免費(fèi)
- 4開關(guān)電源設(shè)計(jì)實(shí)例指南
- 未知 | 21549次下載 | 免費(fèi)
- 5電氣工程師手冊(cè)免費(fèi)下載(新編第二版pdf電子書)
- 0.00 MB | 15349次下載 | 免費(fèi)
- 6數(shù)字電路基礎(chǔ)pdf(下載)
- 未知 | 13750次下載 | 免費(fèi)
- 7電子制作實(shí)例集錦 下載
- 未知 | 8113次下載 | 免費(fèi)
- 8《LED驅(qū)動(dòng)電路設(shè)計(jì)》 溫德爾著
- 0.00 MB | 6656次下載 | 免費(fèi)
總榜
- 1matlab軟件下載入口
- 未知 | 935054次下載 | 免費(fèi)
- 2protel99se軟件下載(可英文版轉(zhuǎn)中文版)
- 78.1 MB | 537798次下載 | 免費(fèi)
- 3MATLAB 7.1 下載 (含軟件介紹)
- 未知 | 420027次下載 | 免費(fèi)
- 4OrCAD10.5下載OrCAD10.5中文版軟件
- 0.00 MB | 234315次下載 | 免費(fèi)
- 5Altium DXP2002下載入口
- 未知 | 233046次下載 | 免費(fèi)
- 6電路仿真軟件multisim 10.0免費(fèi)下載
- 340992 | 191187次下載 | 免費(fèi)
- 7十天學(xué)會(huì)AVR單片機(jī)與C語言視頻教程 下載
- 158M | 183279次下載 | 免費(fèi)
- 8proe5.0野火版下載(中文版免費(fèi)下載)
- 未知 | 138040次下載 | 免費(fèi)
工商網(wǎng)監(jiān)
評(píng)論