電子發燒友App
創作
發文章
發帖 
提問 
發資料
發視頻資料介紹
針對現有拜占庭容錯協議的假設（要求被保護的對象是被動的和獨立的）不適用于服務計算等新興計算模型的問題，提出一種面向服務計算的拜占庭容錯協議。該協議在服務請求方和服務提供方兩端均創建服務復制品，采用基于狀態機的主動復制技術，在服務復制品間進行三輪通信，就該請求的編號和內容達成一致，隨后該請求被提交給上層應用邏輯處理；收到應答后，服務請求方的復制品進行三輪通信就應答的編號和內容達成一致后接受該應答。針對現有面向服務計算的拜占庭容錯協議只有簡單的正確性推理缺乏形式化驗證的問題，采用1/0自動機和模擬關系方法進行正確性證明，更加嚴謹和正式。構造一個高度抽象的簡單1/0自動機S，此自動機滿足安全性和及時性；將協議中的各方分解成若干簡單1/0自動機：前端自動機、后端自動機和多播通道自動機；最后用模擬關系方法證明各成員自動機構成的系統實現了自動機S，從而證明協議的正確性。使用1/0自動機可以精確描述協議，以此為基礎進行證明比感性推理的證明方法更加規范。
下載該資料的人也在下載
下載該資料的人還在閱讀
更多 >
- 基于FPGA塊存儲器的多位反轉容錯 19次下載
- MapReduce框架下分布式編碼計算容錯算法 2次下載
- 一種面向物聯網服務的Web攻擊向量檢測方法 7次下載
- 一種基于信任度的匹配拜占庭共識算法 12次下載
- 企業云服務體系結構風格的通用和抽象參考模型 10次下載
- 基于邊緣計算的組合拍賣式任務卸載機制 4次下載
- 基于智能合約的三方博弈理性委托計算協議 3次下載
- 一種分層共識優化機制TDH-PBFT 10次下載
- 計算機測控系統——面向對象語言Visual Basic課件下載.PPT 0次下載
- 一種快速可靠的服務組合容錯方法 0次下載
- 基于虛擬機的云平臺容錯即服務方法 0次下載
- 基于云計算信息服務開發模式設計指南 6次下載
- 蜂窩網絡單點容錯路由協議研究
- 容錯型計算機聯鎖系統的軟件設計研究
- Web服務組合運行中的容錯架構
- 什么是遠程桌面協議 遠程桌面協議的工作原理 1071次閱讀
- 面向信號與面向服務SOA混合架構設計方法 709次閱讀
- 面向信號與面向服務SOA混合架構設計方法 790次閱讀
- SOA面向服務架構介紹 1377次閱讀
- 闡述邊緣計算服務的優勢 2400次閱讀
- 基于硅量子位的可容錯量子計算機體系結構的一種構建方法 3470次閱讀
- 云計算最重要的就是服務 3530次閱讀
- 如何實現PBFT的數學證明 2792次閱讀
- 區塊鏈系統中拜占庭容錯PBFT工作的實現原理解析 3613次閱讀
- 拜占庭容錯的基本概念及實現方法解析 9098次閱讀
- Linux微服務架構中容錯隔離的詳細資料技術 3367次閱讀
- 基于區塊鏈獨立跨賬本協議“OneLedger萬界”系統及功能介紹 1154次閱讀
- 關于一種面向異步FIFO的低開銷容錯機制研究 3210次閱讀
- 一文讀懂雙機熱備份和單機容錯的區別 4919次閱讀
- 一文讀懂容錯與冗余技術 1.9w次閱讀
上傳資料賺積分下載排行
本周
- 1電子電路原理第七版PDF電子教材免費下載
- 0.00 MB | 1490次下載 | 免費
- 2單片機典型實例介紹
- 18.19 MB | 93次下載 | 1 積分
- 3S7-200PLC編程實例詳細資料
- 1.17 MB | 27次下載 | 1 積分
- 4筆記本電腦主板的元件識別和講解說明
- 4.28 MB | 18次下載 | 4 積分
- 5開關電源原理及各功能電路詳解
- 0.38 MB | 10次下載 | 免費
- 6基于AT89C2051/4051單片機編程器的實驗
- 0.11 MB | 4次下載 | 免費
- 7基于單片機和 SG3525的程控開關電源設計
- 0.23 MB | 3次下載 | 免費
- 8基于單片機的紅外風扇遙控
- 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 專業版下載 (3CD完整版)
- 0.00 MB | 51043次下載 | 免費
- 5555集成電路應用800例(新編版)
- 0.00 MB | 33562次下載 | 免費
- 6接口電路圖大全
- 未知 | 30320次下載 | 免費
- 7Multisim 10下載Multisim 10 中文版
- 0.00 MB | 28588次下載 | 免費
- 8開關電源設計實例指南
- 未知 | 21539次下載 | 免費
總榜
- 1matlab軟件下載入口
- 未知 | 935053次下載 | 免費
- 2protel99se軟件下載(可英文版轉中文版)
- 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十天學會AVR單片機與C語言視頻教程 下載
- 158M | 183277次下載 | 免費
- 8proe5.0野火版下載(中文版免費下載)
- 未知 | 138039次下載 | 免費
工商網監
評論