• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>International Conference on Big Data Computing and Communications >Modeling and Verification of Hospital Intelligent Diagnosis and Treatment Service Based on Timed Automata in Internet of Things
【24h】

Modeling and Verification of Hospital Intelligent Diagnosis and Treatment Service Based on Timed Automata in Internet of Things

机译：物联网中基于定时自动机的医院智能诊疗服务建模与验证

获取原文
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

Intelligent diagnosis and treatment service is the core content of hospital Internet of Things. Due to the complexity of the hospital environment, the disregard of the system design leads to the uncertainty of data and the instability of system. Timed automata provides an effective method for formal modeling of Internet of Things systems. Therefore, based on the theory of timed automata, introducing the related concepts such as environmental entities, the interaction between Internet of Things services and external environment and the time attribute of services are fully considered, and a method for modeling and verifying hospital intelligent diagnosis and treatment services under the Internet of Things environment is proposed to improve the stability and reliability of system to ensure its correctness. Firstly, on the basis of discussing common scenes of intelligent diagnosis and treatment in hospitals, the application composition is analyzed, and an intelligent diagnosis and treatment service providing framework based on environment interaction is built. Secondly, based on the formal description of two types of environmental entities, the three atomic services, that is, perception type, control type and processing type are modeled respectively. On this basis, the modeling of composite services is completed based on the timed automata network, so as to build a hospital intelligent diagnosis and treatment service model based on timed automata. Finally, taking the application scenario of hospital intelligent diagnosis room as an example, the effectiveness and feasibility of the above-mentioned modeling method are analyzed, and its timeliness correctness is verified by UPPAAL model detection tool. Practice shows that the method can accurately analyze the model during system design, avoid design errors, reduce design defects, and provide effective support for the implementation of hospital intelligent diagnosis and treatment services in the Internet of Things.
机译：智能诊疗服务是医院物联网的核心内容。由于医院环境的复杂性，对系统设计的漠视导致数据的不确定性和系统的不稳定。定时自动机为物联网系统的形式化建模提供了一种有效的方法。因此，根据定时自动机理论，引入环境实体等相关概念，充分考虑了物联网服务与外部环境的交互作用以及服务的时间属​​性，提出了一种用于医院智能诊断与诊断的建模与验证方法。提出了物联网环境下的处理服务，以提高系统的稳定性和可靠性，以确保其正确性。首先，在讨论医院智能诊疗常见场景的基础上，分析了其应用组成，建立了基于环境交互的智能诊疗服务提供框架。其次，基于对两种环境实体的形式描述，分别对三种原子服务，即感知类型，控制类型和处理类型进行建模。在此基础上，完成了基于定时自动机网络的复合服务建模，从而建立了基于定时自动机的医院智能诊疗服务模型。最后，以医院智能诊断室的应用场景为例，分析了上述建模方法的有效性和可行性，并通过UPPAAL模型检测工具验证了其及时性。实践证明，该方法能够在系统设计过程中准确地分析模型，避免设计错误，减少设计缺陷，为物联网医院智能诊疗服务的实施提供有效的支持。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号