容錯(cuò)計(jì)算機(jī)系統(tǒng)在發(fā)生硬件故障或存在軟件錯(cuò)誤的情況下仍能正確完成指定任務(wù),它采用冗余技術(shù)來(lái)達(dá)到容忍故障的目的,應(yīng)用于高可靠性系統(tǒng)中。Petri網(wǎng)是一種結(jié)構(gòu)化的事件驅(qū)動(dòng)系統(tǒng)描述工具,它能夠充分地描述事件驅(qū)動(dòng)系統(tǒng)局部及局部之間的聯(lián)系。容錯(cuò)系統(tǒng)都是事件驅(qū)動(dòng)的,因此Petri網(wǎng)能夠捕捉容錯(cuò)系統(tǒng)事件的先后、并行、同步、沖突和因果依賴(lài)等特征,并以圖的形式,簡(jiǎn)潔、直觀的模擬容錯(cuò)系統(tǒng)功能模型流程,分析容錯(cuò)系統(tǒng)的動(dòng)態(tài)性質(zhì)。Exspect仿真軟件適合于可應(yīng)用Petri網(wǎng)理論來(lái)分析問(wèn)題的領(lǐng)域,是協(xié)助Petri網(wǎng)分析問(wèn)題和解決問(wèn)題的良好工具。ExSpect軟件具有圖形化的模型編輯、類(lèi)型檢查和仿真等功能,它提供的一體化的工作平臺(tái),可模擬容錯(cuò)系統(tǒng)的運(yùn)行環(huán)境,實(shí)現(xiàn)對(duì)容錯(cuò)系統(tǒng)功能模型的仿真。本文闡述了三模冗余容錯(cuò)系統(tǒng)中的故障診斷和永久故障恢復(fù)功能模塊的實(shí)現(xiàn)機(jī)制,建立基于Petri網(wǎng)的故障診斷和永久故障恢復(fù)功能模型,并用ExSpect軟件對(duì)三模冗余容錯(cuò)系統(tǒng)故障診斷和永久故障恢復(fù)的Petri網(wǎng)模型進(jìn)行了仿真實(shí)現(xiàn)。本文的主要內(nèi)容如下：（1）介紹了三模冗余容錯(cuò)系統(tǒng)的體系結(jié)構(gòu)和容錯(cuò)技術(shù)以及Petri網(wǎng)的原理、優(yōu)點(diǎn)和分析方法,提出... 

【文章來(lái)源】：湖北大學(xué)湖北省

【文章頁(yè)數(shù)】：58 頁(yè)

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

【文章目錄】：
摘要
Abstract
第一章 緒論
    1.1 課題背景及研究意義
    1.2 國(guó)內(nèi)外研究狀況
    1.3 論文組織結(jié)構(gòu)
第二章 三模冗余容錯(cuò)系統(tǒng)及Petri網(wǎng)理論概述
    2.1 三模冗余容錯(cuò)系統(tǒng)概述
        2.1.1 三模冗余容錯(cuò)系統(tǒng)組成結(jié)構(gòu)
        2.1.2 同構(gòu)計(jì)算機(jī)內(nèi)部結(jié)構(gòu)
        2.1.3 三模冗余容錯(cuò)系統(tǒng)軟件結(jié)構(gòu)
    2.2 計(jì)算機(jī)系統(tǒng)的容錯(cuò)技術(shù)方法
        2.2.1 硬件容錯(cuò)技術(shù)
        2.2.2 時(shí)間容錯(cuò)技術(shù)
        2.2.3 信息容錯(cuò)技術(shù)
        2.2.4 軟件容錯(cuò)技術(shù)
    2.3 Petri網(wǎng)簡(jiǎn)介
        2.3.1 Petri網(wǎng)的基礎(chǔ)知識(shí)
        2.3.2 Petri網(wǎng)的優(yōu)點(diǎn)
        2.3.3 可達(dá)圖的構(gòu)造方法
第三章 三模冗余容錯(cuò)系統(tǒng)故障診斷功能建模
    3.1 容錯(cuò)系統(tǒng)故障診斷技術(shù)
        3.1.1 故障診斷的任務(wù)及所研究的內(nèi)容
        3.1.2 故障診斷的原理
        3.1.3 故障模型
    3.2 基于Petri網(wǎng)的三模冗余容錯(cuò)系統(tǒng)故障診斷模型
        3.2.1 三模冗余容錯(cuò)系統(tǒng)故障診斷機(jī)制
        3.2.2 建立故障診斷的Petri網(wǎng)模型
        3.2.3 構(gòu)造故障診斷Petri網(wǎng)的可達(dá)圖
    3.3 基于Petri網(wǎng)的三模冗余容錯(cuò)系統(tǒng)故障診斷模型性能分析
        3.3.1 模型分析
        3.3.2 可達(dá)性分析
        3.3.3 安全性和有界性分析
第四章 三模冗余容錯(cuò)系統(tǒng)永久故障恢復(fù)功能建模
    4.1 容錯(cuò)系統(tǒng)故障恢復(fù)技術(shù)
        4.1.1 向后與向前恢復(fù)技術(shù)
        4.1.2 檢查點(diǎn)技術(shù)
        4.1.3 恢復(fù)塊技術(shù)
    4.2 基于Petri網(wǎng)的三模冗余容錯(cuò)系統(tǒng)永久故障恢復(fù)模型
        4.2.1 三模冗余容錯(cuò)系統(tǒng)永久故障恢復(fù)機(jī)制
        4.2.2 建立永久故障恢復(fù)的Petri網(wǎng)模型
        4.2.3 構(gòu)造永久故障恢復(fù)Petri網(wǎng)模型的可達(dá)圖
    4.3 基于Petri網(wǎng)的三模冗余容錯(cuò)系統(tǒng)永久故障恢復(fù)模型性能分析
        4.3.1 模型分析
        4.3.2 可達(dá)性分析
        4.3.3 安全性和有界性分析
第五章 基于Petri網(wǎng)的三模冗余容錯(cuò)系統(tǒng)功能模型的仿真與分析
    5.1 ExSpect仿真軟件簡(jiǎn)介
        5.1.1 ExSpect仿真軟件介紹
        5.1.2 ExSpect語(yǔ)言介紹
        5.1.3 ExSpect軟件組成結(jié)構(gòu)
    5.2 基于Petri網(wǎng)的三模冗余容錯(cuò)系統(tǒng)故障診斷仿真建模與分析
        5.2.1 仿真模型元素定義
        5.2.2 仿真模型及結(jié)果分析
    5.3 基于Petri網(wǎng)的三模冗余容錯(cuò)系統(tǒng)永久故障恢復(fù)仿真建模與分析
        5.3.1 仿真模型元素定義
        5.3.2 仿真模型及結(jié)果分析
第六章 總結(jié)與展望
參考文獻(xiàn)
攻讀研究生期間所發(fā)表論文及參加項(xiàng)目
致謝


【參考文獻(xiàn)】：
期刊論文
[1]無(wú)優(yōu)先權(quán)維修活動(dòng)及其Petri網(wǎng)建模[J]. 曲長(zhǎng)征,于永利,陶鳳和.  中國(guó)機(jī)械工程. 2011(02)
[2]基于擴(kuò)展Petri網(wǎng)的系統(tǒng)建模及形式化驗(yàn)證方法[J]. 張國(guó)印,劉銘,姚愛(ài)紅,門(mén)朝光.  計(jì)算機(jī)應(yīng)用研究. 2010(12)
[3]計(jì)算機(jī)系統(tǒng)容錯(cuò)技術(shù)研究[J]. 陸陽(yáng),王強(qiáng),張本宏,諸葛戰(zhàn)斌.  計(jì)算機(jī)工程. 2010(13)
[4]A fault injection model-oriented testing strategy for component security[J]. 陳錦富,盧炎生,張衛(wèi),謝曉東.  Journal of Central South University of Technology. 2009(02)
[5]基于Petri網(wǎng)的容錯(cuò)計(jì)算機(jī)可靠性[J]. 秦旭東,陳宗基.  計(jì)算機(jī)工程. 2005(24)
[6]A Method for Modeling the Virtual Instrument Automatic Test System Based on the Petri Net[J]. 馬敏,陳光.  Journal of Electronic Science and Technology of China. 2005(02)
[7]基于Petri網(wǎng)的模型檢測(cè)研究[J]. 蔣屹新,林闖,曲揚(yáng),尹浩.  軟件學(xué)報(bào). 2004(09)
[8]容錯(cuò)計(jì)算機(jī)系統(tǒng)的中斷同步算法研究[J]. 周雙娥,歐中紅,袁由光.  小型微型計(jì)算機(jī)系統(tǒng). 2002(12)
[9]故障和容錯(cuò)機(jī)制的層次模型[J]. 孫峻朝,王建瑩,楊孝宗.  計(jì)算機(jī)工程與應(yīng)用. 1999(10)



本文編號(hào)：3561058