電子發(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)
- 什么是遠(yuǎn)程桌面協(xié)議 遠(yuǎn)程桌面協(xié)議的工作原理 1.8k次閱讀
- 面向信號與面向服務(wù)SOA混合架構(gòu)設(shè)計方法 1.4k次閱讀
- 面向信號與面向服務(wù)SOA混合架構(gòu)設(shè)計方法 1.2k次閱讀
- SOA面向服務(wù)架構(gòu)介紹 2.2k次閱讀
- 闡述邊緣計算服務(wù)的優(yōu)勢 2.8k次閱讀
- 基于硅量子位的可容錯量子計算機體系結(jié)構(gòu)的一種構(gòu)建方法 4.3k次閱讀
- 云計算最重要的就是服務(wù) 3.9k次閱讀
- 如何實現(xiàn)PBFT的數(shù)學(xué)證明 3.1k次閱讀
- 區(qū)塊鏈系統(tǒng)中拜占庭容錯PBFT工作的實現(xiàn)原理解析 4.1k次閱讀
- 拜占庭容錯的基本概念及實現(xiàn)方法解析 9.6k次閱讀
- Linux微服務(wù)架構(gòu)中容錯隔離的詳細(xì)資料技術(shù) 3.7k次閱讀
- 基于區(qū)塊鏈獨立跨賬本協(xié)議“OneLedger萬界”系統(tǒng)及功能介紹 1.5k次閱讀
- 關(guān)于一種面向異步FIFO的低開銷容錯機制研究 3.8k次閱讀
- 一文讀懂雙機熱備份和單機容錯的區(qū)別 5.3k次閱讀
- 一文讀懂容錯與冗余技術(shù) 2.1w次閱讀
上傳資料賺積分下載排行
本周
- 1電子電路原理第七版PDF電子教材免費下載
- 0.00 MB | 1490次下載 | 免費
- 2單片機典型實例介紹
- 18.19 MB | 93次下載 | 1 積分
- 3S7-200PLC編程實例詳細(xì)資料
- 1.17 MB | 27次下載 | 1 積分
- 4筆記本電腦主板的元件識別和講解說明
- 4.28 MB | 18次下載 | 4 積分
- 5開關(guān)電源原理及各功能電路詳解
- 0.38 MB | 10次下載 | 免費
- 6基于AT89C2051/4051單片機編程器的實驗
- 0.11 MB | 4次下載 | 免費
- 7基于單片機和 SG3525的程控開關(guān)電源設(shè)計
- 0.23 MB | 3次下載 | 免費
- 8基于單片機的紅外風(fēng)扇遙控
- 0.23 MB | 3次下載 | 免費
本月
- 1OrCAD10.5下載OrCAD10.5中文版軟件
- 0.00 MB | 234313次下載 | 免費
- 2PADS 9.0 2009最新版 -下載
- 0.00 MB | 66304次下載 | 免費
- 3protel99下載protel99軟件下載(中文版)
- 0.00 MB | 51209次下載 | 免費
- 4LabView 8.0 專業(yè)版下載 (3CD完整版)
- 0.00 MB | 51043次下載 | 免費
- 5555集成電路應(yīng)用800例(新編版)
- 0.00 MB | 33562次下載 | 免費
- 6接口電路圖大全
- 未知 | 30320次下載 | 免費
- 7Multisim 10下載Multisim 10 中文版
- 0.00 MB | 28588次下載 | 免費
- 8開關(guān)電源設(shè)計實例指南
- 未知 | 21539次下載 | 免費
總榜
- 1matlab軟件下載入口
- 未知 | 935053次下載 | 免費
- 2protel99se軟件下載(可英文版轉(zhuǎn)中文版)
- 78.1 MB | 537791次下載 | 免費
- 3MATLAB 7.1 下載 (含軟件介紹)
- 未知 | 420026次下載 | 免費
- 4OrCAD10.5下載OrCAD10.5中文版軟件
- 0.00 MB | 234313次下載 | 免費
- 5Altium DXP2002下載入口
- 未知 | 233046次下載 | 免費
- 6電路仿真軟件multisim 10.0免費下載
- 340992 | 191183次下載 | 免費
- 7十天學(xué)會AVR單片機與C語言視頻教程 下載
- 158M | 183277次下載 | 免費
- 8proe5.0野火版下載(中文版免費下載)
- 未知 | 138039次下載 | 免費
工商網(wǎng)監(jiān)
評論