本文提出了一個名為 MSF 模型的分析框架,用於分析複製儲存系統中的亞穩態故障,特別是由重試風暴引起的故障,並探討了如何利用佇列理論、馬可夫鏈和蒙特卡羅分析來預測和理解這些故障。
本文提出了一種新的異構多代理系統同步框架,稱為弱同步,其目標是在沒有任何關於通訊網路資訊(包括連接性)的情況下實現網路穩定性,並探討了在缺乏有向生成樹的情況下,系統中保留的同步特性以及不同代理輸出的行為方式。
本文提出了一個名為 AMECOS 的模組化框架,用於規範分散式系統中的併發對象,採用基於事件的方法來描述對象交互,並獨立於一致性模型,從而更靈活、更有效地規範複雜的併發行為。
本文提出了一種 API 設計方法和運行時,旨在通過支援多種通訊模型和靈活的安全框架,來增強物聯網和分散式 CPS 的互操作性和安全性。
本文探討了在以超圖表示的分佈式網路中尋找弱獨立集的問題,並針對尋找 k-弱最大獨立集和 (α, β)-獨立集這兩種變體提供了演算法和上下限。
TrustMesh 是一個針對異構物聯網環境設計的區塊鏈賦能分散式運算框架,透過結合許可制區塊鏈和創新的多階段 PBFT 共識協議,在確保拜占庭容錯的同時,實現了靈活的資源分配和安全的任務調度。
本文提出了一種新的梯度編碼協議,可以利用部分落後者的工作成果來提高分散式學習中的計算效率和通信效率。
本文提出了一種基於對偶圖的平面圖分散式最大流量演算法,並利用該演算法解決了平面圖中的加權周長問題。
本文探討了在動態分散式網路中尋找子圖的複雜度,針對尋找clique的問題提出了新的bandwidth上下界,並完整刻劃了membership-listing問題在所有子圖、輪數和拓撲變化下的bandwidth複雜度。
為了解決分散式能源資源聚合商在電力市場中的報價問題,本文提出了一種考慮電網安全和儲能租賃機會的隨機斯塔克爾伯格博弈模型,並設計了兩種分散式解決方案,以在保護聚合商和電力公司隱私的同時,制定出經濟效益最佳且安全的報價策略。