鮮為人知ISO 13849數學基石:馬爾可夫鏈

2020-12-05 自動化新聞網
 馬爾可夫鏈簡介

 

安德烈·馬爾可夫(1856-1922),俄國數學家。他因提出馬爾可夫鏈(Markov Chain)的概念而享有盛名:

馬爾可夫過程:

如果系統狀態的轉移,只與現在狀態有關,而與過去無關,這種隨機轉移系統過程就具有馬爾可夫性或無後效性。

馬爾可夫鏈:

「時間、狀態都是離散的馬爾可夫過程。」

 

安德烈·馬爾可夫

馬爾可夫過程是隨機過程的一種,這特定的隨機特性被發現後,在經濟學,社會學,生命科學領域有著廣泛的應用,可以用於預測未來的事件。

對於我們熟知的安全標準EN ISO 13849-1,馬爾可夫鏈模型是用於評估元件失效概率、系統可靠性、安全有效性的數學理論基礎。

馬爾可夫鏈簡單實例

我們假設有一個剛剛出生的寶寶,除了睡就是哭。那麼「睡」和「哭」就形成了最簡單的狀態空間。

一個小時以後,寶寶的狀態以一定概率產生變化,也有可能維持現狀。如果我們將寶寶的狀態轉移及其概率進行描繪,就得到如下包含4種狀態圖:

 

圖中所表達的含義為:

這一個小時睡覺,下一個小時維持睡覺狀態的概率為0.7;

這一個小時在哭,下一個小時變化為睡的概率為0.9;

其餘兩種狀態轉移以此類推。

用數學的方法表達這樣的狀態分布,就是一個2x2的矩陣,它被稱為轉移概率矩陣:

 

如果已知當前寶寶的狀態,通過單位時間的迭代,利用給定的轉移概率矩陣進行狀態之間的連結,我們就能夠推測出:某個特定小時後寶寶的狀態分布。

這就是最簡單的馬爾可夫鏈。

馬爾可夫模型的應用

可靠性分析 ——

 

用於系統的可靠性分析,將各類非正常狀態進行分類。機器整體作為一個大系統,每個子系統的故障都將會導致機器處於危險的狀態,根據失效概率構建模型。

網際網路應用——

 

谷歌所使用的網頁排序算法就是由馬爾可夫鏈定義的。馬爾可夫模型可以用於對一個用戶從某一網絡連結轉移到另一連結的行為進行建模,然後這些模型可以用於對用戶之後的瀏覽行為進行預測。

音樂——

馬爾可夫鏈也被應用於算法作曲。

在一些軟體中,根據識別輸入的旋律,系統的狀態變成音高和時值,並且構造每個音符的概率向量,完成轉換概率矩陣,用以模擬旋律的起伏走向。

社會科學——

 

在目前的研究中,用馬爾可夫鏈來模擬一個國家一旦達到特定的經濟發展水平,結構因素的配置,如中產階級的規模,城鄉居民比例等等,預測一個國家的經濟、政治發展路線。

隨著計算機技術的不斷提高,更多變量的馬爾可夫模型的模擬與運算也變得更為便捷。

在工業控制領域,隨著雲計算和數位化的不斷深入,我們將有機會看到更多更為精準的馬爾可夫高階應用,預測系統的失效概率,評估系統的安全與可靠性。

相關焦點

  • 無需數學知識:快速了解馬爾可夫鏈蒙特卡洛方法
    而在貝葉斯方法家族當中,馬爾可夫鏈蒙特卡洛方法(Markov chain Monte Carlo methods)顯得尤為神秘。雖然其中確實涉及大量數學知識且需要昂貴的計算資源,但與數據科學領域的眾多其它方法一樣,其中的基本推理過程同樣可以通過非常直觀的方式進行歸納。而這正是本文的核心主旨所在。
  • 形象透徹理解馬爾可夫鏈
    從理論的角度來看,值得注意的是,對該算法的一種常見解釋是依賴於馬爾可夫鏈的簡單且基本的數學概念。我們將在本文中看到馬爾可夫鏈是用於隨機建模的強大工具,它對任何數據科學家都是有用的。什麼是馬爾可夫鏈?隨機變量和隨機過程首先,在非數學術語中,隨機變量X是一個變量,其值被定義為隨機現象的結果。該結果可以是一個數字(或"類數",包括向量)或不是。例如,我們可以將隨機變量定義為擲骰子的結果(數字)以及投擲硬幣的輸出(不是數字,除非您指定,例如,0為正面,1為反面)。
  • 馬爾可夫鏈告訴你
    馬爾可夫鏈是一個相當常見、相當簡單的對隨機過程進行統計建模的方式。它們被應用在很多領域,從文本生成到金融建模。一個比較流行的例子是 SubredditSimulator,它使用馬爾可夫鏈自動創建整個 subreddit 的內容。
  • 一文讀懂:什麼是馬爾可夫鏈?可以做什麼? - 讀芯術
    從理論角度來看,有趣的是,PageRank算法的一個常見解釋依賴於簡單但基本的馬爾可夫鏈數學概念。我們將在本文中看到,馬爾可夫鏈是隨機建模的強大工具,對任何數據科學家都有用。更特別的是,我們將回答一些基本的問題,例如:什麼是馬爾可夫鏈,它們有什麼好的性質,以及可以用它們做什麼?
  • 一份數學小白也能讀懂的「馬爾可夫鏈蒙特卡洛方法」入門指南
    選自Medium 作者:Ben Shaver 機器之心編譯 參與:黃小天、劉曉坤 在眾多經典的貝葉斯方法中,馬爾可夫鏈蒙特卡洛(MCMC)由於包含大量數學知識,且計算量很大,而顯得格外特別。本文反其道而行之,試圖通過通俗易懂且不包含數學語言的方法,幫助讀者對 MCMC 有一個直觀的理解,使得毫無數學基礎的人搞明白 MCMC。在我們中的很多人看來,貝葉斯統計學家不是巫術師,就是完全主觀的胡說八道者。
  • 簡潔清晰解釋馬爾可夫鏈蒙特卡洛方法
    由於我們無法用公式表達,我們必須使用馬爾可夫鏈蒙特卡羅。馬爾可夫鏈蒙特卡羅的三個部分第一:蒙特卡洛蒙特卡羅模擬通過生成隨機數來模擬複雜系統。第二:馬爾可夫鏈馬爾可夫鏈本質上是變量如何圍繞圖形"走動",或隨機變量隨時間從一種狀態變為另一種狀態的表示。上圖是馬爾可夫情緒狀態鏈的表示。
  • 原小點科普·從隨機過程到馬爾可夫鏈
    伯努利   馬爾可夫鏈   上述例子是一個典型的最簡單的馬爾可夫鏈,以隨機過程開創者,俄羅斯數學家安德烈·馬爾可夫(Andreyevich Markov,1856年-1922年)得名。
  • 機器學習之統計採樣方法和馬爾可夫過程(馬爾可夫鏈蒙特卡羅方法)匯總
    記上式右端為Pij(m, m+n),成條件概率Pij(m, m+n) = P{Xm+n = aj | Xm = ai}為馬爾可夫鏈在時刻m處處於狀態ai的條件下,在時刻m+n轉移到狀態aj的轉移概率    由於馬爾可夫鏈在時刻m從任何一個狀態ai出發到另一個時刻m+n,必然轉移到a1, a2, .
  • 數學之美——貝葉斯網絡 (Bayesian Networks)
  • 學界| 斯坦福論文:馬爾可夫鏈的生成對抗式學習 - 機器之心Pro
    假定 Tθ 易於採樣,而且對任意 θ 都有一個有效的轉移核,例如,它對所有的 x ∈ S 都滿足:因此,在 X 的範圍內每一個 Tθ都定義一個時間同質的馬爾可夫鏈。我們把表示成時間 t 下的生成概率分布。
  • 思想、邏輯、數學、實驗是人類科學進步的四大基石
    推動人類科學進步的四大基石是思想、邏輯、數學、實驗。1、人類思想提升,打上了數學烙印。人類從猿到人,從樹上到樹下,學會直立行走,第一件事,就是學會生存下去。發現火可防身,製造石距、棍棒可攻擊獵物。他在思想上的貢獻是寫出了《自然哲學的數學原理》,在數學上的貢獻是發現了《微積分》,他發現了萬有引力,用數學和邏輯、實驗方法提出了牛頓三定律,建立了經典力學體系,建立了光學,為百科全書式的「全才」,從他之後,人類開始步入工業時代。牛頓之後,對人類貢獻最大的科學家是愛因斯坦。但在牛頓與愛因斯坦之間有一個人,對人類貢獻巨大,他就是麥克思韋。
  • 用Python入門不明覺厲的馬爾可夫鏈蒙特卡羅(附案例代碼)
    由於時間是個連續變量,我們無法知道後驗分布的具體表達式,因此我們轉向能夠近似後驗分布的算法,比如馬爾可夫鏈蒙特卡洛(MCMC)。創建這個模型,我們通過數據和馬爾可夫鏈蒙特卡洛去尋找最優的alpha和beta係數估計。
  • 還是構建數學的基石?
    還是構建數學的基石?他認為「問題是數學的生命血液」。在數學家的發現之旅中,如果沒有任何問題,數學就會停滯不前。這 23 個問題為 20 世紀的數學探索者奠定了基礎。它們的存在,像一座座山峰,等待數學家們徵服。隨著上個世紀的結束,所有的問題基本上都解決了。除了一個:黎曼假設。希爾伯特所有問題中的珠穆朗瑪峰。實際上這是希爾伯特最喜歡的問題。
  • 他的瘋狂,卻意外奠定了現代數學的基石
    在所有反對康託的數學家中,最激烈的莫過於他的導師克羅內克。因此克羅內克將康託的結果看成是危險的數學存在。克羅內克不能容忍數學被康託帶領進入瘋人院,他狂熱地認定自己堅持的真理才是數學的正道,因此動用他所有的權勢開始對康託展開反攻。康託論文的稿件被他長期壓制扣發,他在公開場合批判康託是神經病,是科學的騙子和叛徒,其思想不啻為"近十年來最具獸性的見解"。
  • 數學大廈基石的奠定,由「精神抑鬱」的病人奠定,致敬康託爾
    基於此,他創造的集合論成為拓撲學等很多現代學科的基礎,現在看來,集合論在數學中的影響廣泛而深刻,妥妥的數學大廈的基石。希爾伯特形容康託爾的工作為數學思想中最驚人的成果,純智力領域中人類活動最完美的實現。這屬實是極高的評價。康託爾的一位美國研究者約瑟夫·W·道本評價,康託爾是一個敢於嘗試的人,從一個封閉的數學世界闖入一個奇異的複雜的、無限的數學世界。整體大於部分?
  • 初談區塊鏈技術背後的理論基石:組合數學(離散數學)
    而密碼學當中涉及到相當的數學知識,比如:數論、初等數學、代數學、組合數學以及概率論等。若沒有一點數學基礎的話,密碼學的研究將是進行不通的。密碼學和數學的關係可謂深之又深,甚至可以說信息安全的很大一部分基石就是數學(密碼學是信息安全中的一部分)。學習和掌握一些數學知識是必要的,在此我主要分享一些有關於密碼學的數學知識。
  • 數學符號,鮮為人知的偉大發明!
    運算符號可是在歐洲中世紀才被發明出來的,而在這之前可是並沒有數學運算符號哦!在之前的漫長的將近5000年時間裡,從古美索不達米亞人到古希臘人、印度人、阿拉伯人以及我們中國人,在數學的表達裡都是沒有運用數學符號的,那麼人們是怎麼來書寫數學公式的呢?
  • 心形線數學公式
    可以說笛卡爾是心形線的創始人,在笛卡爾遊歷歐洲各國時,認識了瑞典一個小公國的公主克裡斯汀,並成為了公主的數學老師,漸漸地彼此產生了愛慕之心,但是在國王的阻撓下笛卡爾被流放回法國,體弱多病無法抵擋日夜的思念,在給公主寄出十三封信後便與世長辭,第十三封信僅有一個公式,那便是心形線的起源。
  • 南京昊綠與isoSolutions合作,為國內供應優質重水產品
    近日,南京昊綠科技有限公司(文中簡稱「南京昊綠」)宣布與全球三大重水生產商之一isoSolutions公司達成合作。接下來,南京昊綠將代理該公司的原材料產品——重水。所謂重水(Deuterium oxide),就是由氘和氧組成的一種化合物。