首页> 外文会议>IEEE International Conference on Application of Information and Communication Technologies >Utilizing Fuzzy colored Petri-Nets to monitor cardiac pacemaker behavior
【24h】

Utilizing Fuzzy colored Petri-Nets to monitor cardiac pacemaker behavior

机译:利用模糊彩色Petri网监测心脏起搏器行为

获取原文

摘要

Connected health devices are used to in vivo cure and prevent abnormal conditions without manual intervention. This paper presents an intelligent agent-based method for runtime verification of cardiac pacemaker runtime behavior. Construct the agent's knowledge base based on the Fuzzy Colored Petri Net (FCPN). Based on our previous experiences, the FCPN will be reduced the scale of our network in comparison to the Petri-net(PN). Compared to a simple inference engine, the FCPN can cover the concurrent states and in addition intelligent agent can ensure the accuracy of the runtime verification operation of the cardiac pacemaker in vital and unexpected situation.
机译:连接的医疗设备用于体内治愈和预防异常情况,而无需人工干预。本文提出了一种基于智能代理的方法,用于心脏起搏器运行时行为的运行时验证。基于模糊有色Petri网(FCPN)构造Agent的知识库。根据我们以前的经验,与Petri网(PN)相比,FCPN将减少我们网络的规模。与简单的推理引擎相比,FCPN可以覆盖并发状态,此外,智能代理还可以确保在紧急和意外情况下心脏起搏器的运行时验证操作的准确性。

著录项

相似文献

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

客服邮箱:kefu@zhangqiaokeyan.com

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

  • 服务号