電子發(fā)燒友App
創(chuàng)作
發(fā)文章
發(fā)帖 
提問 
發(fā)資料
發(fā)視頻資料介紹
針對現(xiàn)有拜占庭容錯協(xié)議的假設(shè)（要求被保護的對象是被動的和獨立的）不適用于服務(wù)計算等新興計算模型的問題，提出一種面向服務(wù)計算的拜占庭容錯協(xié)議。該協(xié)議在服務(wù)請求方和服務(wù)提供方兩端均創(chuàng)建服務(wù)復(fù)制品，采用基于狀態(tài)機的主動復(fù)制技術(shù)，在服務(wù)復(fù)制品間進行三輪通信，就該請求的編號和內(nèi)容達成一致，隨后該請求被提交給上層應(yīng)用邏輯處理；收到應(yīng)答后，服務(wù)請求方的復(fù)制品進行三輪通信就應(yīng)答的編號和內(nèi)容達成一致后接受該應(yīng)答。針對現(xiàn)有面向服務(wù)計算的拜占庭容錯協(xié)議只有簡單的正確性推理缺乏形式化驗證的問題，采用1/0自動機和模擬關(guān)系方法進行正確性證明，更加嚴(yán)謹(jǐn)和正式。構(gòu)造一個高度抽象的簡單1/0自動機S，此自動機滿足安全性和及時性；將協(xié)議中的各方分解成若干簡單1/0自動機：前端自動機、后端自動機和多播通道自動機；最后用模擬關(guān)系方法證明各成員自動機構(gòu)成的系統(tǒng)實現(xiàn)了自動機S，從而證明協(xié)議的正確性。使用1/0自動機可以精確描述協(xié)議，以此為基礎(chǔ)進行證明比感性推理的證明方法更加規(guī)范。
下載該資料的人也在下載
下載該資料的人還在閱讀
更多 >
- 基于FPGA塊存儲器的多位反轉(zhuǎn)容錯 19次下載
- MapReduce框架下分布式編碼計算容錯算法 2次下載
- 一種面向物聯(lián)網(wǎng)服務(wù)的Web攻擊向量檢測方法 7次下載
- 一種基于信任度的匹配拜占庭共識算法 12次下載
- 企業(yè)云服務(wù)體系結(jié)構(gòu)風(fēng)格的通用和抽象參考模型 10次下載
- 基于邊緣計算的組合拍賣式任務(wù)卸載機制 4次下載
- 基于智能合約的三方博弈理性委托計算協(xié)議 3次下載
- 一種分層共識優(yōu)化機制TDH-PBFT 10次下載
- 計算機測控系統(tǒng)——面向對象語言Visual Basic課件下載.PPT 0次下載
- 一種快速可靠的服務(wù)組合容錯方法 0次下載
- 基于虛擬機的云平臺容錯即服務(wù)方法 0次下載
- 基于云計算信息服務(wù)開發(fā)模式設(shè)計指南 6次下載
- 蜂窩網(wǎng)絡(luò)單點容錯路由協(xié)議研究
- 容錯型計算機聯(lián)鎖系統(tǒng)的軟件設(shè)計研究
- Web服務(wù)組合運行中的容錯架構(gòu)
- 什么是遠程桌面協(xié)議 遠程桌面協(xié)議的工作原理 1071次閱讀
- 面向信號與面向服務(wù)SOA混合架構(gòu)設(shè)計方法 709次閱讀
- 面向信號與面向服務(wù)SOA混合架構(gòu)設(shè)計方法 790次閱讀
- SOA面向服務(wù)架構(gòu)介紹 1377次閱讀
- 闡述邊緣計算服務(wù)的優(yōu)勢 2400次閱讀
- 基于硅量子位的可容錯量子計算機體系結(jié)構(gòu)的一種構(gòu)建方法 3470次閱讀
- 云計算最重要的就是服務(wù) 3530次閱讀
- 如何實現(xiàn)PBFT的數(shù)學(xué)證明 2792次閱讀
- 區(qū)塊鏈系統(tǒng)中拜占庭容錯PBFT工作的實現(xiàn)原理解析 3613次閱讀
- 拜占庭容錯的基本概念及實現(xiàn)方法解析 9098次閱讀
- Linux微服務(wù)架構(gòu)中容錯隔離的詳細資料技術(shù) 3367次閱讀
- 基于區(qū)塊鏈獨立跨賬本協(xié)議“OneLedger萬界”系統(tǒng)及功能介紹 1154次閱讀
- 關(guān)于一種面向異步FIFO的低開銷容錯機制研究 3210次閱讀
- 一文讀懂雙機熱備份和單機容錯的區(qū)別 4919次閱讀
- 一文讀懂容錯與冗余技術(shù) 1.9w次閱讀
上傳資料賺積分下載排行
本周
- 1DC電源插座圖紙
- 0.67 MB | 2次下載 | 免費
- 2AN158 GD32VW553 Wi-Fi開發(fā)指南
- 1.51MB | 2次下載 | 免費
- 3AN148 GD32VW553射頻硬件開發(fā)指南
- 2.07MB | 1次下載 | 免費
- 4AN111-LTC3219用戶指南
- 84.32KB | 次下載 | 免費
- 5AN153-用于電源系統(tǒng)管理的Linduino
- 1.38MB | 次下載 | 免費
- 6AN-283: Σ-Δ型ADC和DAC[中文版]
- 677.86KB | 次下載 | 免費
- 7SM2018E 支持可控硅調(diào)光線性恒流控制芯片
- 402.24 KB | 次下載 | 免費
- 8AN-1308: 電流檢測放大器共模階躍響應(yīng)
- 545.42KB | 次下載 | 免費
本月
- 1ADI高性能電源管理解決方案
- 2.43 MB | 450次下載 | 免費
- 2免費開源CC3D飛控資料（電路圖&PCB源文件、BOM、
- 5.67 MB | 138次下載 | 1 積分
- 3基于STM32單片機智能手環(huán)心率計步器體溫顯示設(shè)計
- 0.10 MB | 130次下載 | 免費
- 4使用單片機實現(xiàn)七人表決器的程序和仿真資料免費下載
- 2.96 MB | 44次下載 | 免費
- 53314A函數(shù)發(fā)生器維修手冊
- 16.30 MB | 31次下載 | 免費
- 6美的電磁爐維修手冊大全
- 1.56 MB | 24次下載 | 5 積分
- 7如何正確測試電源的紋波
- 0.36 MB | 17次下載 | 免費
- 8感應(yīng)筆電路圖
- 0.06 MB | 10次下載 | 免費
總榜
- 1matlab軟件下載入口
- 未知 | 935121次下載 | 10 積分
- 2開源硬件-PMP21529.1-4 開關(guān)降壓/升壓雙向直流/直流轉(zhuǎn)換器 PCB layout 設(shè)計
- 1.48MB | 420062次下載 | 10 積分
- 3Altium DXP2002下載入口
- 未知 | 233088次下載 | 10 積分
- 4電路仿真軟件multisim 10.0免費下載
- 340992 | 191367次下載 | 10 積分
- 5十天學(xué)會AVR單片機與C語言視頻教程 下載
- 158M | 183335次下載 | 10 積分
- 6labview8.5下載
- 未知 | 81581次下載 | 10 積分
- 7Keil工具MDK-Arm免費下載
- 0.02 MB | 73810次下載 | 10 積分
- 8LabVIEW 8.6下載
- 未知 | 65988次下載 | 10 積分
工商網(wǎng)監(jiān)
評論