股融通配资,线下配资平台,线上股票配资炒股,10大配资公司

該項目首先通過因果關系捕獲大規模分布式網絡中的海量分布式事件，將分布式網絡診斷轉換為串行程序數據流診斷問題；其次，利用程序分析技術，基于形式化方法中的最小不可滿足核與錯誤不變量技術，對大規模網絡中的異常情況進行故障根因檢測；最后，利用約束規劃技術對故障根因進行修正，從而實現大規模網絡的異常行為診斷與修復。

該項目所提出的網絡異常行為診斷與修復系統為國際首創，具有良好的創新性。課題組基于開源社區Batfish實現的原型系統在多個真實網絡拓撲上進行的大規模實驗表明，該系統可以實現網絡故障的分鐘級根因診斷與修復，同時，修復代碼變動率不超過10%。具有良好的產業化潛力。