[IEEE 2019年第二届智能计算、仪器与控制技术国际会议(ICICICT) - 印度喀拉拉邦坎努尔(2019.7.5-2019.7.6)] 2019年第二届智能计算、仪器与控制技术国际会议(ICICICT) - 用于矢量控制感应电机驱动的光伏高增益SEPIC-Boost变换器

摘要： 人们能否听到并响应听觉医疗警报对患者的健康与安全至关重要。遗憾的是，同时响起的警报可能通过感知交互掩盖其中一个或多个警报，导致其无法被听见。由于这种掩蔽效应可能仅出现在极其特定和/或罕见的情况下，实验评估技术不足以检测医学中所有潜在警报配置下的掩蔽现象。因此，在部署前确定医疗警报配置是否存在掩蔽的计算方法存在切实需求。本文提出了一种此类方法：通过结合形式化建模、心理声学建模、时序逻辑规范和模型检测，该方法能够证明所建模的警报配置是否会产生掩蔽性交互。本文阐述了该方法的动机，详述其原理，描述实现过程，通过案例研究展示其效能，并概述未来工作方向。