論文在機群系統(tǒng)的可信性評價的模型、方法和工具方面進行了研究。　論文首先介紹了適合機群可信性評價的若干指標(biāo),對系統(tǒng)可用性、系統(tǒng)可靠性和任務(wù)完成情況三種指標(biāo)進行了形式化描述,并通過一個雙節(jié)點機群的例子分析和比較了不同指標(biāo)的適用條件和衡量結(jié)果�！� 論文接著介紹了機群可信性建模的理論和方法,闡述了機群模型中故障速率,故障覆蓋率和恢復(fù)速率三種基本參數(shù)的語義,分析了它們的特征和估計方法;同時介紹了當(dāng)前可信性建模中廣泛使用的可靠性框圖、故障樹、Markov鏈和Petri網(wǎng)模型,對這些模型的描述能力和建模的復(fù)雜程度進行了分析和對比�！� 論文的主要工作是采用可靠性框圖方法對機群的基本可信性進行評價,提出基于著色Petri網(wǎng)的高可用機群的可信性評價方法,開發(fā)了一個著色Petri網(wǎng)的模擬工具NCPN和高可用機群的可信性評價工具ACUTE,并研究了一個高可用機群系統(tǒng)的實例�！�(yīng)用可靠性框圖方法可對機群的基本可信性進行分析,論文以曙光4000A機群系統(tǒng)為實例,評價了其基本可信性指標(biāo),指出262個節(jié)點的機群的MTTF時間僅有一天。　論文提出了一種基于著色Petri網(wǎng)的高可用機群的可信性評價方法,該方法使用著色Pe...

【文章頁數(shù)】：78 頁

【學(xué)位級別】：碩士

【文章目錄】：
聲明
關(guān)于論文使用授權(quán)的說明
摘要
ABSTRACT
第一章 引言
    1.1 可信性評價的概念
    1.2 提高機群可信性的方法
    1.3 相關(guān)研究
        1.3.1 ＨＡＲＰ和ＳＨＡＲＰＥ
        1.3.2 ＤＥＰＥＮＤ
        1.3.3 ＲＥＡＣＴ
        1.3.4 ＮＦＴＡＰＥ
    1.4 論文的主要貢獻和組織
第二章 機群可信性評價指標(biāo)
    2.1 可信性指標(biāo)的類型
    2.2 引例
    2.3 系統(tǒng)可用性指標(biāo)
        2.3.1 基本可用性
        2.3.2 容錯可用性
        2.3.3 面向性能的可用性
        2.3.4 面向性能的容錯可用性
    2.4 系統(tǒng)可靠性指標(biāo)
        2.4.1 可靠性函數(shù)
        2.4.2 故障發(fā)生頻率
        2.4.3 可靠性指標(biāo)實例
    2.5 任務(wù)完成指標(biāo)
        2.5.1 任何故障造成的任務(wù)中斷概率
        2.5.2 超過系統(tǒng)或任務(wù)的容錯能力造成的任務(wù)中斷概率
        2.5.3 超過系統(tǒng)的容錯能力造成的任務(wù)中斷概率
第三章 機群可信性建模方法
    3.1 可信性模型的參數(shù)
        3.1.1 故障速率
        3.1.2 覆蓋率
        3.1.3 恢復(fù)速率
    3.2 可信性建模方法
    3.3 模型驗證
第四章 機群系統(tǒng)基本可信性評價
    4.1 應(yīng)用可靠性框圖方法
        4.2.1 串聯(lián)模型
        4.2.2 并聯(lián)模型
        4.2.3 ｋ／ｎ模型
        4.2.4 復(fù)雜系統(tǒng)
    4.2 曙光４０００Ａ實例
    4.3 評價結(jié)果
        4.3.1 部件可信性參數(shù)
        4.3.2 系統(tǒng)基本可信性指標(biāo)
        4.3.3 討論
第五章 高可用機群可信性建模方法
    5.1 高可用機群
        5.1.1 概念
        5.1.2 基本特征
    5.2 著色Ｐｅｔｒｉ網(wǎng)理論
    5.3 高可用機群的著色Ｐｅｔｒｉ網(wǎng)模型
        5.3.1 動態(tài)建模
        5.3.2 面向?qū)ο蟮脑O(shè)計
        5.3.3 機群系統(tǒng)行為子模型庫
第六章 高可用機群可信性評價工具的實現(xiàn)
    6.1 現(xiàn)有的Ｐｅｔｒｉ網(wǎng)工具
    6.2 ＮＣＰＮ的設(shè)計思想
        6.2.1 使用面向?qū)ο蟮慕７椒?br>        6.2.2 事件驅(qū)動的模擬求解
    6.3 ＮＣＰＮ的實現(xiàn)
        6.3.1 ＮＣＰＮ基本類庫
        6.3.2 ＮＣＰＮ模擬引擎
        6.3.3 ＮＣＰＮ關(guān)鍵算法
    6.4 ＮＣＰＮ實現(xiàn)特點
        6.4.1 層次化建模
        6.4.2 ＣＰＮ的結(jié)構(gòu)擴展
        6.4.3 ＮＣＰＮ測試
    6.5 高可用機群可信性評價工具ＡＣＵＴＥ
第七章 高可用機群可信性評價實例
    7.1 參數(shù)說明
    7.2 評價結(jié)果
        7.2.1 計算型任務(wù)的可信性
        7.2.2 Ｏｒａｃｌｅ數(shù)據(jù)庫服務(wù)的可信性
    7.3 可信性參數(shù)的影響
        7.3.1 故障速率對恢復(fù)策略選取的影響
        7.3.2 覆蓋率對恢復(fù)策略選取的影響
        7.3.3 恢復(fù)時間對恢復(fù)策略選取的影響
        7.3.4 最優(yōu)恢復(fù)策略選取的定性討論
第八章 結(jié)束語
附錄ＡＣＵＴＥ輸入?yún)?shù)文件
    運行計算型任務(wù)輸入?yún)?shù)
    運行Ｏｒａｃｌｅ數(shù)據(jù)庫服務(wù)輸入?yún)?shù)
參考文獻
致謝
作者簡歷



本文編號：3846001