自控貓專欄:馬爾科夫計算PFDavg原理

2020-12-05 自控貓

1. 狀態轉移矩陣P

馬爾科夫轉移概率:在固定時長內系統某一個狀態轉移到其他狀態的概率,狀態轉移矩陣用P表示。

系統狀態矩陣(Si):系統在t時刻處在其各個狀態的概率組成的向量。

系統初始矩陣(So):系統OK狀態元素為1時的矩陣。

馬爾科夫矩陣的特徵:每行的數值相加都為1,但是每列相加就不一定為1。

系統狀態矩陣(Si)與系統初始矩陣(So)之間的轉換表示如下:

其中:P為t時間內的馬爾科夫矩陣即狀態轉移矩陣;

i為t時間段內t的個數。

2.功能測試矩陣W

由上述可知Si是狀態轉移概率矩陣對系統初始狀態的影響,功能測試矩陣W對系統的未檢測到的危險失效也會產生影響,因此,在系統存在功能測試時Si是P與W共同作用的結果。

功能測試矩陣W指在一個檢測周期T內,測試出的未檢測到的危險失效狀態轉移到系統完好狀態的狀態轉移概率矩陣。

假設:在功能測試情況,安全失效、檢測到的危險失效全部能夠通過維修等手段轉移到系統完好狀態,可得以下W矩陣:

故而,在第二個功能測試周期內經內,系統狀態矩陣

如下:

在第j+1個功能測試周期內,系統狀態矩陣

如下:

3. 危險狀態概率PFD

在經歷jT+i個基礎時間段後,系統存在於各個狀態的概率矩陣為,那麼將該矩陣中所有危險失效概率相加即為該狀態下的危險狀態概率PFD,因此可表示如下:

4. 平均失效概率PFDavg

平均失效概率(PFDavg)是指安全儀表功能在整個運行時間跨度上失效的概率平均值,計算如下:

故其在運行時間跨度上失效的概率平均值與PFD的圖示如下:

因PFD為離散量,那麼PFDavg離散公式可表示如下(以小時狀態轉移矩陣得出的公式):

5. 小結

在一個產品固定後主要影響危險失效概率的因素有:

(1)維修率μo;

(2)系統重啟率μsd;

(3)檢測周期的時間T。

(在SIL等級不夠時,可根據實際情況改變此參數來提高SIL等級。)

(4)功能測試覆蓋率。

相關焦點

  • 自控貓專欄 | 馬爾可夫1oo1矩陣
    取為1小時的前提下計算各狀態之間轉移的概率。因為1oo1系統只存在一個通道,所以0-1的轉移情況只有1種即該通道發生安全失效,該情況的轉移概率為λsd+ λsu。由此可得0-1的轉移概率為(λsd +λsu)。對於1-0的轉化是因為對於安全失效會造誤停車,經過系統維修再次重啟後系統能夠再次的完好使用。
  • 白白說算法:相親中的馬爾科夫模型
    人工智慧領域,產品經理需要了解算法的基本原理,以及如何將實際問題轉化為算法問題。白白作為一名AI產品經理,準備持續寫一寫算法的內容,爭取用最簡單的語言告訴大家每種算法的邏輯。一、馬爾科夫模型有一天白白去相親,見了2個人,上午一個下午一個。
  • 什麼是馬爾科夫過程(Markov Processes)
    在了解Markov Processes之前呢,我們先來介紹一下馬爾科夫性質。具有馬爾科夫性質的狀態滿足下面公式:馬爾科夫過程一個無記憶的隨機過程,是一些具有馬爾科夫性質的隨機狀態序列構成,可以用一個元組<S,P>表示,其中S是有限數量的狀態集,P是狀態轉移概率矩陣。如下:
  • 馬爾科夫轉移矩陣法模擬
    最近有朋友諮詢「馬爾科夫轉移矩陣法」中轉移概率矩陣問題,在解釋過程中順便編了個小程序,供大家參考。
  • SLAM軌跡全局誤差計算
    umeyama算法原理,讀者有對引理證明感興趣的,可以閱讀Shinji Umeyama的論文《Least-Squares Estimation of Transformation Parameters Between Two Point Patterns》。
  • 自控貓專欄:馬爾可夫2oo3矩陣
    吳寧寧,陳嘹,吳明光,王海清安全儀表系統的功能安全--清華大學出版社安全完整性等級sil驗證方法對比--付建民IEC61508作者簡介專欄作者
  • AVG到底是個什麼鬼?
    主要用來計算包含在特定查詢欄位中的一組數值的算術平均值。SQL資料庫中求平均值函數。 【太平洋汽車網】AVG表示平均值的意思。如:km/h avg 是平均速度.L/km avg 表示單位平均油耗。
  • 計算專欄#多尺度模型力學實踐中的一般方法
    第二種方式是大尺度連續體計算的SED由小尺度計算得到,即大尺度為小尺度提供一種變形的邊界條件,小尺度的模型據此產生變形,返回給大尺度模型對應的SED(這種方法多見於共時多尺度模型中)。關於順序多尺度和共時多尺度的區別,請詳見本專欄的第一篇文章。
  • ACS Catalysis|馬爾科夫模型在糖基轉移酶模擬中的應用
    更進一步,結合計算的結果,研究人員對若干胺基酸位點進行了突變實驗,並測定了它們的酶動力學、親和力參數及糖基化位點。本研究揭示了catalytic loop在底物識別和糖基化位點選擇性上的關鍵作用。如何在分子模擬中構造馬爾科夫模型(MSM)最近2年,在分子模擬領域,對於感興趣的構象變化的問題處理,研究,通過大量短時間MD模擬,構造馬爾科夫狀態模型(MSM)的方式被證明是行之有效的方法 [6] 。
  • 自然語言處理起源:馬爾科夫和香農的語言建模實驗
    對於不知情的旁觀者來說,馬爾科夫的舉止略顯詭異。為什麼有人會以這種方式解構一部文學天才的作品,而且是解構成這種無法被理解的形式?事實是,馬爾科夫讀這本書並不是為了學習與生活和人性有關的知識,他是在尋找文本中更基本的數學結構。
  • 張福根專欄|雷射粒度儀應用導論之原理篇
    儀器信息網有幸邀請在中國顆粒學會前理事長,真理光學首席科學家,從事雷射粒度儀的研究和開發工作近30年的張福根博士親自執筆開設專欄,以淵博而豐厚的系列文章,帶讀者走進雷射粒度儀的今時今日。雷射粒度儀應用導論之原理篇當前,雷射粒度儀在顆粒表徵中的應用已經非常廣泛。
  • 馬爾科夫:機器人與人類是夥伴 中國落後美國5年(全文)
    馬爾科夫認為,未來,重複性較高比較乏味的工作,如流水線上的裝包、照顧老人等工作可能會交給機器人,而人類更多從事創造性的工作。馬爾科夫指出,不久的將來,人工智慧將在深度學習、無人駕駛等方面發揮作用。目前,谷歌的無人駕駛汽車,蘋果的Siri語音助手已經搶先站在了人工智慧的風口上。總之,國外巨頭在人工智慧領域都在進行全球化布局。
  • 第一性原理計算相關網站
    show_db=1計算程序主頁:1. VASP: Vienna Ab-initio Simulation Package:www.vasp.at2. VASP-vtst tools:https://www.vasp.at/index.php/about-vasp/59-about-vasp3.
  • rcd吸收電路原理及設計詳解
    本文為大家介紹rcd吸收電路原理及設計。 rcd吸收電路原理 若開關斷開,蓄積在寄生電感中能量通過開關的寄生電容充電,開關電壓上升。其電壓上升到吸收電容的電壓時,吸收二極體導通,開關電壓被吸收二極體所嵌位,約為1V左右。寄生電感中蓄積的能量也對吸收電容充電。開關接通期間,吸收電容通過電阻放電。
  • #計算專欄#多尺度模型簡介What? Why? How?
    本文系材料人網多尺度模擬與計算專欄供稿
  • AVG Family Safety強勢登陸Windows Phone
    AVG Family Safety for mobile 已經在 Windows Phone Marketplace,Apple的App Store 上生效了,並且在AVG的網站上也同樣可以下載: www.avg.com/avg-family-safety。
  • 用馬爾科夫狀態模型分析揭示脂質自組裝的熱力學和動力學
    用馬爾科夫狀態模型分析揭示脂質自組裝的熱力學和動力學 作者:小柯機器人 發布時間:2020/12/19 14:03:04 復旦大學王文寧和徐昕團隊開發了使用馬爾科夫狀態模型分析來揭示脂質自組裝的熱力學和動力學
  • sparksql 窗口函數原理
    在第一種範式中有這樣一種情況,當你要生成某條目標數據的時候你需要用到前後N條數據參與計算。例如當你需要基於每天的用戶訪問數,來計算七天的移動平均訪問數,就需要按照時間排序,每一條數據的計算都需要前面6條數據一起參與計算。
  • 對《潮汐學》及《潮汐原理與計算》中關於潮汐原理與計算的質疑
    上一節分析了《地球概論》對海洋潮汐原理的分析與計算,這是非海洋專業教材的解讀,本節看看海洋專業教材對海洋潮汐原理與計算的解讀。陳宗鏞教授編著的《潮汐學》(1980),是獲得教育部高校優秀教材二等獎的高等學校教材(來源於中國海洋大學海洋與大氣學院簡介)。《潮汐學》現在網上可以在線閱讀,大家有時間可以看看。