《基於隨機Petri網的網路可生存性模型與分析方法》是依託清華大學，由林闖擔任項目負責人的面上項目。
基本介紹
- 中文名：基於隨機Petri網的網路可生存性模型與分析方法
- 依託單位：清華大學
- 項目負責人：林闖
- 項目類別：面上項目
- 批准號：60673187
- 申請代碼：F0204
- 負責人職稱：教授
- 研究期限：2007-01-01 至 2009-12-31
- 支持經費：26（萬元）
項目摘要
隨著網路技術的不斷發展，各種網路系統越來越複雜和龐大，網路可生存性研究已經成為國際上重要的科學問題之一。網路可生存性是一個網路系統在受到軟硬體錯誤、外來攻擊和操作故障等的影響時，向用戶提供關鍵服務的能力。網路的可生存性全面的反映了網路服務的能力。本項目將從引起網路失效的現象出發，剖析影響可生存性的本質特徵，針對不同的網路環境和不同的評價原則給出相應的可生存性描述，有針對性地建立各種隨機Petri的模型並給出相應的量化評價方法。主要包括：網路可生存性的形式化描述、基於隨機Petri的網路可生存性綜合建模技術、網路可生存性的模型組合及其化簡技術以及基於隨機模型的可生存性量化評價技術。研究成果將提供一套較為完善的網路可生存模型與分析的方法，量化可生存性程度，分析存在的問題。為制訂相應的容錯/容侵機制、策略提供依據，進而為電子商務、電子政務等關鍵網路中系統的設計與評估提供科學的理論依據和指導。
