基于概率时间自动机的智能医疗处理流程分析

发布时间：2020-10-22 16:53

　　 近年来,物联网技术在临床医疗方面的探索与实践引起了国内外的广泛关注。医疗器械生产商设计了各种智能医疗系统,生产了与之配套的智能医疗设备,这些设备和系统可以替代很多传统的人工工作,可以帮助医院提高资源配置效率,减少浪费。将智能设备应用于医疗,有必要对原有的流程进行与之对应的调整和优化,明确责任,确保流程的有效性和提高效率。仿真方法是流程分析中常用的方法。在医疗流程仿真中,需要对医疗环境中的病人、医护人员、医疗设备之间的交互进行模拟,从而分析医疗临床过程在引入智能医疗系统后的有效性、可靠性和效率。这种分析针对的并不是单个医疗设备或系统,而是设备或系统集成到环境后的流程,因此模拟中需要体现环境的随机性和过程的并发性。医疗信息整合(Integrating the Healthcare Enterprise,IHE)针对复杂的医疗临床环境,制定了通用的医疗系统集成规范。本文主要围绕IHE框架提出一种形式化、标准化的流程建模与分析方法。本文首先分析了智慧医疗背景下流程分析的难点,对国内外的研究做出了简要的综述。接着简要介绍了时间自动机以及概率时间自动机。此外,介绍了IHE的基本概念以及角色和事务的定义,分析了智能医疗系统流程的特点,以及概率时间自动机对于其流程建模的优势。由于医疗业务流程具有很大的随机性,按照传统的基于活动建模的方法,不能穷举出所有可能的流程。所以为了更好地描述医疗环境,文章给出了面对活动的建模方法到面向角色的建模方法的映射,拓展了IHE中的相关概念,给出了基于概率时间自动机的智能医疗流程的概率时间自动机模型框架。最后本文介绍了IHE规定的智能看护报警系统流程,并且分析了其系统医疗环境中的角色以及角色的行为模式。接着建立了智能看护报警流程的概率时间自动机模型,给出了验证流程的正确性以及流程有效性的方法。最后使用UPPAAL对智能看护流程建模及分析,发现了流程中的潜在的问题,证明了基于概率时间自动机的智能医疗环境处理流程分析方法的有效性。
【学位单位】：大连理工大学
【学位级别】：硕士
【学位年份】：2018
【中图分类】：R-05;F426.6
【部分图文】：

表示只参与完成一项活动的行为模式，其中 。c ）是通道变量。行为模式 在 之间完成活 图 3.22 或连关系建模Fig. 3.22 Or-join modeling

在 GitHub 下载 （https://github.com图 4.15 病人重复报警次数折线图Fig. 4.15 Patient repeated alarms

表示只参与完成一项活动的行为模式，其中 。c ）是通道变量。行为模式 在 之间完成活 图 3.22 或连关系建模Fig. 3.22 Or-join modeling
【参考文献】

相关期刊论文 前10条

1 王玉堃;刘子先;;基于广义随机Petri网的单病种诊疗流程建模与分析[J];系统工程;2015年09期

2 韩德帅;杨启亮;邢建春;;一种软件自适应UML建模及其形式化验证方法[J];软件学报;2015年04期

3 吴洪越;杜玉越;;一种基于逻辑Petri网的Web服务簇组合方法[J];计算机学报;2015年01期

4 秦发园;戴胜华;徐昱;;进路建立过程的时间有色petri网建模与仿真[J];计算机工程与应用;2015年08期

5 原慧琳;孙福权;汪定伟;;基于双值设计结构矩阵的流程优化方法[J];系统工程理论与实践;2014年04期

6 张婷;;基于扩展UML图化简的过程模型冲突消解[J];计算机工程与设计;2012年10期

7 张国印;刘铭;姚爱红;门朝光;;基于扩展Petri网的系统建模及形式化验证方法[J];计算机应用研究;2010年12期

8 高捷;吴华瑞;;基于矩阵模型的工作流合理性验证算法研究[J];计算机工程与设计;2010年11期

9 张荣超;;IHE集成模式的Petri网建模[J];计算机工程与设计;2009年23期

10 张君华;黄志球;曹子宁;;模型检测基于概率时间自动机的反例产生研究[J];计算机研究与发展;2008年10期

本文编号：2851854