電子發(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ò)展問題，首先對已有的度量線性時(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次下載
- 常見的單端邏輯電平及電路符號綜述 1次下載
- 邏輯互連之AC耦合電容綜述 4次下載
- 基于變量依賴關(guān)系模型的變量重要性度量綜述 0次下載
- 高安全性應(yīng)用開發(fā)環(huán)境的時(shí)序性質(zhì)驗(yàn)證框架 1次下載
- 廣義可能性模糊時(shí)態(tài)計(jì)算樹邏輯的模型檢測 4次下載
- 可檢測實(shí)時(shí)系統(tǒng)的正確性的符號化模型 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)模型檢測研究
- 基于BAN邏輯分析Otway-Rees協(xié)議安全性
- 車規(guī)級與消費(fèi)級芯片的可靠性、安全性與成本差異 890次閱讀
- 電子電器產(chǎn)品安全性與針焰試驗(yàn)的重要性 834次閱讀
- 可靠性與安全性 8.2k次閱讀
- 不折不扣的安全性 1.2k次閱讀
- NCM化學(xué)配比和SOC如何影響NCM電芯的安全性 8k次閱讀
- 如何檢測戶外LED燈的安全性 3.9k次閱讀
- 如何保證Polkadot網(wǎng)絡(luò)的安全性 1.1k次閱讀
- 該如何提高云存儲大數(shù)據(jù)的安全性 1.2k次閱讀
- 如何提升三元材料的安全性？ 4.5k次閱讀
- 保障云應(yīng)用的安全性的三大方案 1.5k次閱讀
- FPGA技術(shù)在汽車中實(shí)現(xiàn)高可靠性和安全性 2.6k次閱讀
- 影響鋰離子動(dòng)力電池安全性因素分析 7.9k次閱讀
- DES算法的應(yīng)用誤區(qū)及安全性分析 1.7w次閱讀
- 電動(dòng)車安全性能及影響安全性因素有哪些 1.5k次閱讀
- 如何提高智能電網(wǎng)端點(diǎn)安全性 1k次閱讀
上傳資料賺積分下載排行
本周
- 1矽力杰 Silergy SY7215A 同步升壓調(diào)節(jié)器 規(guī)格書 Datasheet 佰祥電子
- 1.12 MB | 5次下載 | 免費(fèi)
- 2HT81696H 內(nèi)置升壓的30W立體聲D類音頻功放數(shù)據(jù)手冊
- 1.21 MB | 1次下載 | 免費(fèi)
- 3HTA6863 3W超低噪聲超低功耗單聲道D類音頻功率放大器數(shù)據(jù)手冊
- 0.87 MB | 次下載 | 免費(fèi)
- 4南芯 Southchip SC8802C 充電控制器 規(guī)格書 Datasheet 佰祥電子
- 88.16 KB | 次下載 | 免費(fèi)
- 5矽力杰 Silergy SY7065 同步升壓轉(zhuǎn)換器 規(guī)格書 Datasheet 佰祥電子
- 910.67 KB | 次下載 | 免費(fèi)
- 6矽力杰 Silergy SY7066 同步升壓轉(zhuǎn)換器 規(guī)格書 Datasheet 佰祥電子
- 989.14 KB | 次下載 | 免費(fèi)
- 7WD6208A產(chǎn)品規(guī)格書
- 631.24 KB | 次下載 | 免費(fèi)
- 8NB685 26 V，12 A，低靜態(tài)電流，大電流 同步降壓變換器數(shù)據(jù)手冊
- 1.64 MB | 次下載 | 2 積分
本月
- 1EMC PCB設(shè)計(jì)總結(jié)
- 0.33 MB | 12次下載 | 免費(fèi)
- 2PD取電芯片 ECP5702規(guī)格書
- 0.88 MB | 5次下載 | 免費(fèi)
- 3矽力杰 Silergy SY7215A 同步升壓調(diào)節(jié)器 規(guī)格書 Datasheet 佰祥電子
- 1.12 MB | 5次下載 | 免費(fèi)
- 4氮化鎵GaN FET/GaN HEMT 功率驅(qū)動(dòng)電路選型表
- 0.10 MB | 3次下載 | 免費(fèi)
- 5PD取電芯片，可取5/9/12/15/20V電壓ECP5702數(shù)據(jù)手冊
- 0.88 MB | 3次下載 | 免費(fèi)
- 6SY50655 用于高輸入電壓應(yīng)用的偽固定頻率SSR反激式穩(wěn)壓器英文資料
- 1.01 MB | 3次下載 | 免費(fèi)
- 7怎么為半導(dǎo)體測試儀選擇精密放大器
- 0.65 MB | 2次下載 | 免費(fèi)
- 8SY52341 次級側(cè)同步整流英文手冊
- 0.94 MB | 2次下載 | 免費(fèi)
總榜
- 1matlab軟件下載入口
- 未知 | 935137次下載 | 10 積分
- 2開源硬件-PMP21529.1-4 開關(guān)降壓/升壓雙向直流/直流轉(zhuǎn)換器 PCB layout 設(shè)計(jì)
- 1.48MB | 420064次下載 | 10 積分
- 3Altium DXP2002下載入口
- 未知 | 233095次下載 | 10 積分
- 4電路仿真軟件multisim 10.0免費(fèi)下載
- 340992 | 191469次下載 | 10 積分
- 5十天學(xué)會(huì)AVR單片機(jī)與C語言視頻教程 下載
- 158M | 183360次下載 | 10 積分
- 6labview8.5下載
- 未知 | 81606次下載 | 10 積分
- 7Keil工具M(jìn)DK-Arm免費(fèi)下載
- 0.02 MB | 73832次下載 | 10 積分
- 8LabVIEW 8.6下載
- 未知 | 65991次下載 | 10 積分
工商網(wǎng)監(jiān)
評論