電子發燒友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次閱讀
上傳資料賺積分下載排行
本周
- 1DC電源插座圖紙
- 0.67 MB | 2次下載 | 免費
- 2AN158 GD32VW553 Wi-Fi開發指南
- 1.51MB | 2次下載 | 免費
- 3AN148 GD32VW553射頻硬件開發指南
- 2.07MB | 1次下載 | 免費
- 4AN111-LTC3219用戶指南
- 84.32KB | 次下載 | 免費
- 5AN153-用于電源系統管理的Linduino
- 1.38MB | 次下載 | 免費
- 6AN-283: Σ-Δ型ADC和DAC[中文版]
- 677.86KB | 次下載 | 免費
- 7SM2018E 支持可控硅調光線性恒流控制芯片
- 402.24 KB | 次下載 | 免費
- 8AN-1308: 電流檢測放大器共模階躍響應
- 545.42KB | 次下載 | 免費
本月
- 1ADI高性能電源管理解決方案
- 2.43 MB | 450次下載 | 免費
- 2免費開源CC3D飛控資料（電路圖&PCB源文件、BOM、
- 5.67 MB | 138次下載 | 1 積分
- 3基于STM32單片機智能手環心率計步器體溫顯示設計
- 0.10 MB | 130次下載 | 免費
- 4使用單片機實現七人表決器的程序和仿真資料免費下載
- 2.96 MB | 44次下載 | 免費
- 53314A函數發生器維修手冊
- 16.30 MB | 31次下載 | 免費
- 6美的電磁爐維修手冊大全
- 1.56 MB | 24次下載 | 5 積分
- 7如何正確測試電源的紋波
- 0.36 MB | 17次下載 | 免費
- 8感應筆電路圖
- 0.06 MB | 10次下載 | 免費
總榜
- 1matlab軟件下載入口
- 未知 | 935121次下載 | 10 積分
- 2開源硬件-PMP21529.1-4 開關降壓/升壓雙向直流/直流轉換器 PCB layout 設計
- 1.48MB | 420062次下載 | 10 積分
- 3Altium DXP2002下載入口
- 未知 | 233088次下載 | 10 積分
- 4電路仿真軟件multisim 10.0免費下載
- 340992 | 191367次下載 | 10 積分
- 5十天學會AVR單片機與C語言視頻教程 下載
- 158M | 183335次下載 | 10 積分
- 6labview8.5下載
- 未知 | 81581次下載 | 10 積分
- 7Keil工具MDK-Arm免費下載
- 0.02 MB | 73810次下載 | 10 積分
- 8LabVIEW 8.6下載
- 未知 | 65988次下載 | 10 積分
工商網監
評論