近年來,物聯(lián)網(wǎng)技術(shù)在臨床醫(yī)療方面的探索與實踐引起了國內(nèi)外的廣泛關(guān)注。醫(yī)療器械生產(chǎn)商設(shè)計了各種智能醫(yī)療系統(tǒng),生產(chǎn)了與之配套的智能醫(yī)療設(shè)備,這些設(shè)備和系統(tǒng)可以替代很多傳統(tǒng)的人工工作,可以幫助醫(yī)院提高資源配置效率,減少浪費。將智能設(shè)備應(yīng)用于醫(yī)療,有必要對原有的流程進行與之對應(yīng)的調(diào)整和優(yōu)化,明確責(zé)任,確保流程的有效性和提高效率。仿真方法是流程分析中常用的方法。在醫(yī)療流程仿真中,需要對醫(yī)療環(huán)境中的病人、醫(yī)護人員、醫(yī)療設(shè)備之間的交互進行模擬,從而分析醫(yī)療臨床過程在引入智能醫(yī)療系統(tǒng)后的有效性、可靠性和效率。這種分析針對的并不是單個醫(yī)療設(shè)備或系統(tǒng),而是設(shè)備或系統(tǒng)集成到環(huán)境后的流程,因此模擬中需要體現(xiàn)環(huán)境的隨機性和過程的并發(fā)性。醫(yī)療信息整合(Integrating the Healthcare Enterprise,IHE)針對復(fù)雜的醫(yī)療臨床環(huán)境,制定了通用的醫(yī)療系統(tǒng)集成規(guī)范。本文主要圍繞IHE框架提出一種形式化、標(biāo)準(zhǔn)化的流程建模與分析方法。本文首先分析了智慧醫(yī)療背景下流程分析的難點,對國內(nèi)外的研究做出了簡要的綜述。接著簡要介紹了時間自動機以及概率時間自動機。此外,介紹了IHE的基本概念以及角色和事務(wù)的定義,分析了智能醫(yī)療系統(tǒng)流程的特點,以及概率時間自動機對于其流程建模的優(yōu)勢。由于醫(yī)療業(yè)務(wù)流程具有很大的隨機性,按照傳統(tǒng)的基于活動建模的方法,不能窮舉出所有可能的流程。所以為了更好地描述醫(yī)療環(huán)境,文章給出了面對活動的建模方法到面向角色的建模方法的映射,拓展了IHE中的相關(guān)概念,給出了基于概率時間自動機的智能醫(yī)療流程的概率時間自動機模型框架。最后本文介紹了IHE規(guī)定的智能看護報警系統(tǒng)流程,并且分析了其系統(tǒng)醫(yī)療環(huán)境中的角色以及角色的行為模式。接著建立了智能看護報警流程的概率時間自動機模型,給出了驗證流程的正確性以及流程有效性的方法。最后使用UPPAAL對智能看護流程建模及分析,發(fā)現(xiàn)了流程中的潛在的問題,證明了基于概率時間自動機的智能醫(yī)療環(huán)境處理流程分析方法的有效性。
【學(xué)位單位】：大連理工大學(xué)
【學(xué)位級別】：碩士
【學(xué)位年份】：2018
【中圖分類】：R-05;F426.6
【部分圖文】：

表示只參與完成一項活動的行為模式，其中 。c ）是通道變量。行為模式 在 之間完成活 圖 3.22 或連關(guān)系建模Fig. 3.22 Or-join modeling

在 GitHub 下載 （https://github.com圖 4.15 病人重復(fù)報警次數(shù)折線圖Fig. 4.15 Patient repeated alarms

表示只參與完成一項活動的行為模式，其中 。c ）是通道變量。行為模式 在 之間完成活 圖 3.22 或連關(guān)系建模Fig. 3.22 Or-join modeling
【參考文獻】

相關(guān)期刊論文 前10條

1 王玉堃;劉子先;;基于廣義隨機Petri網(wǎng)的單病種診療流程建模與分析[J];系統(tǒng)工程;2015年09期

2 韓德帥;楊啟亮;邢建春;;一種軟件自適應(yīng)UML建模及其形式化驗證方法[J];軟件學(xué)報;2015年04期

3 吳洪越;杜玉越;;一種基于邏輯Petri網(wǎng)的Web服務(wù)簇組合方法[J];計算機學(xué)報;2015年01期

4 秦發(fā)園;戴勝華;徐昱;;進路建立過程的時間有色petri網(wǎng)建模與仿真[J];計算機工程與應(yīng)用;2015年08期

5 原慧琳;孫福權(quán);汪定偉;;基于雙值設(shè)計結(jié)構(gòu)矩陣的流程優(yōu)化方法[J];系統(tǒng)工程理論與實踐;2014年04期

6 張婷;;基于擴展UML圖化簡的過程模型沖突消解[J];計算機工程與設(shè)計;2012年10期

7 張國印;劉銘;姚愛紅;門朝光;;基于擴展Petri網(wǎng)的系統(tǒng)建模及形式化驗證方法[J];計算機應(yīng)用研究;2010年12期

8 高捷;吳華瑞;;基于矩陣模型的工作流合理性驗證算法研究[J];計算機工程與設(shè)計;2010年11期

9 張榮超;;IHE集成模式的Petri網(wǎng)建模[J];計算機工程與設(shè)計;2009年23期

10 張君華;黃志球;曹子寧;;模型檢測基于概率時間自動機的反例產(chǎn)生研究[J];計算機研究與發(fā)展;2008年10期

本文編號：2851854