a国产,中文字幕久久波多野结衣AV,欧美粗大猛烈老熟妇,女人av天堂

基于概率模型檢測的高可信系統(tǒng)性能分析與研究

發(fā)布時間:2024-10-04 21:34
  隨著科學技術(shù)的不斷發(fā)展,人們的生活已經(jīng)慢慢步入智能信息控制化時代,背后所依賴的是各種大型高可信系統(tǒng)。這類系統(tǒng)不斷地向縱深發(fā)展,系統(tǒng)的控制邏輯與功能實現(xiàn)日趨復雜,為了進一步提高系統(tǒng)的性能并降低維護成本,人們對系統(tǒng)的可靠性和安全性提出了更高的要求。因此,優(yōu)化系統(tǒng)的體系架構(gòu)與開發(fā)新的可信計算體系軟件便迫在眉睫,在對系統(tǒng)的安全性及可靠性的性能評估便顯得十分必要。而概率模型檢測技術(shù)作為傳統(tǒng)模型檢測的基礎(chǔ)上演化的一個分支,不僅能夠完成自動化的驗證,而且還能產(chǎn)生定量的結(jié)果,對系統(tǒng)的驗證提供更為詳盡的依據(jù),對提升系統(tǒng)性能提供一個更加明確的方向。本文主要對高可信系統(tǒng)的兩個實際應(yīng)用場景進行研究,結(jié)合概率模型檢測技術(shù)對系統(tǒng)進行建模驗證分析。本文主要所做貢獻包含如下幾個方面:(1)對于傳統(tǒng)嵌入式控制系統(tǒng)的構(gòu)建故障模型的形式化程度不高的特點,本文結(jié)合概率模型檢測技術(shù)對該系統(tǒng)發(fā)生故障的場景進行抽象化建模,將整個過程擴展成符合嵌入式控制系統(tǒng)實際場景的連續(xù)時間馬爾科夫鏈的概率模型(Embedded Systems Continuous-Time Markov Chain,EMCTMC),對運行過程的三個階段提出基于概率...

【文章頁數(shù)】:67 頁

【學位級別】:碩士

【部分圖文】:

圖3.2一天內(nèi)不同故障首次發(fā)生的概率趨勢圖

圖3.2一天內(nèi)不同故障首次發(fā)生的概率趨勢圖

第三章嵌入式控制系統(tǒng)的概率模型檢測分析29順序,為了考慮這種情況,分別單獨驗證各種不同故障最早發(fā)生的概率。使用CSL屬性描述如下:P=?[!"down"U<=T"fail"]表示在T時間內(nèi)首次發(fā)生某種故障的概率。主要討論兩種情況,分別驗證在一天和一個月內(nèi)兩個時間段內(nèi)不同故障首次發(fā)....


圖3.3一個月內(nèi)不同故障首次發(fā)生的概率趨勢圖

圖3.3一個月內(nèi)不同故障首次發(fā)生的概率趨勢圖

第三章嵌入式控制系統(tǒng)的概率模型檢測分析29順序,為了考慮這種情況,分別單獨驗證各種不同故障最早發(fā)生的概率。使用CSL屬性描述如下:P=?[!"down"U<=T"fail"]表示在T時間內(nèi)首次發(fā)生某種故障的概率。主要討論兩種情況,分別驗證在一天和一個月內(nèi)兩個時間段內(nèi)不同故障首次發(fā)....


圖3.4每種故障導致系統(tǒng)最終宕機概率趨勢圖

圖3.4每種故障導致系統(tǒng)最終宕機概率趨勢圖

第三章嵌入式控制系統(tǒng)的概率模型檢測分析30以上都是驗證在一個時間段范圍內(nèi)的故障發(fā)生的概率,若將時間界限去除,驗證在長期時間下故障發(fā)生的概率。CSL屬性描述如下:P=?[!"down"U"fail"]其中fail依次表示四種不同的故障情況,通過驗證得到一個穩(wěn)態(tài)的概率值,結(jié)果如表3.....


圖3.5一天內(nèi)不同周期數(shù)系統(tǒng)宕機的概率趨勢圖

圖3.5一天內(nèi)不同周期數(shù)系統(tǒng)宕機的概率趨勢圖

第三章嵌入式控制系統(tǒng)的概率模型檢測分析31終宕機的概率是隨MaxCount的增大而降低。在某種程度上,增大計時器所允許的最大周期數(shù)能提高系統(tǒng)的容錯性。但是綜合考慮,傳感器與輸入輸出處理器都是導致系統(tǒng)宕機的重要因素,需要選取合理的MaxCount值,使得系統(tǒng)宕機的可能性最校同時驗證....



本文編號:4007170

資料下載
論文發(fā)表

本文鏈接:http://www.wukwdryxk.cn/shoufeilunwen/benkebiyelunwen/4007170.html


Copyright(c)文論論文網(wǎng)All Rights Reserved | 網(wǎng)站地圖 |

版權(quán)申明:資料由用戶cb886***提供,本站僅收錄摘要或目錄,作者需要刪除請E-mail郵箱bigeng88@qq.com
日韩欧美一区二区三区久久婷婷| 极品少妇一区二区三区四区| 色综合久久五月色婷婷| 免费性视频| 99久久久精品| 日韩av成人| 久久99精品国产麻豆不卡| 婷婷开心深爱五月天播播| 特级做a爰片毛片免费看无码| 久久精品一区二区三区AV| 亚洲性色AV一区二区三区| 天天色播| 奇米777me| 少妇高跟鞋做爰20p| 日韩xxx| 国产精品成人一区二区三区| 日本女人性生活视频| 国语对白做受XXXXX在线中国| 免费可以在线看A∨网站| 精品无码专区毛片| 在线亚洲精品国产二区图片欧美| 婷婷国产成人精品视频| 国产精品成年片在线观看| 亚洲真人无码永久在线| 亚洲国产精品第一区二区| 人妻夜夜爽天天爽一区| 亚洲精品成人AV在线| 中文字幕色AV一区二区三区| 不卡av中文字幕手机看| 久久国内精品自在自线| 7777欧美成是人在线观看| 亚洲AV综合色区无码一区爱AV | 性欧美长视频免费观看不卡| 国产精品香蕉在线观看| 久久久不卡国产精品一区二区| 日韩爆乳一区二区无码| 国内精品视频一区二区三区八戒| 真人无码作爱免费视频网站| 亚洲精品国产福利一二区| 性动态图AV无码专区| 无卡无码无免费毛片|