大規模網路分散式管理模型的形式化描述、分析與評價

《大規模網路分散式管理模型的形式化描述、分析與評價》是依託東南大學,由羅軍舟擔任項目負責人的重大研究計畫。

基本介紹

  • 中文名:大規模網路分散式管理模型的形式化描述、分析與評價
  • 項目類別:重大研究計畫
  • 項目負責人:羅軍舟
  • 依託單位:東南大學
  • 負責人職稱:教授
  • 批准號:90604004
  • 研究期限:2006-01-01 至 2008-12-31
  • 申請代碼:F0207
  • 支持經費:33(萬元)
中文摘要
計算機網路技術的發展要求網路管理必然走向分布化和智慧型化,符合這兩個特徵的網管模型層出不窮。但是,當前已有的各種分散式管理模型和管理機制以自然語言描述為主,缺乏可分析性、一致性和標準性,不利於發現模型中的不安全、不可靠、不完整等隱患,不利於現有各種網管模型的系統實現。本項目在項目組現已提出的大規模網路分散式管理模型的基礎上,通過對大規模網路分散式管理模型的形式化描述方法、分析驗證技術、模型評價指標和

相關詞條

熱門詞條

聯絡我們