Abstraction | 江智浩

心脏消融临床辅助系统

Fri, 27 Aug 2021 00:00:00 +0000

心脏消融是治疗心律失常的有效手段：医师通过射频能量切断心脏内异常传导路径以终止心动过速。术中医师需在脑中持续可视化并更新对心脏状态的判断，认知负荷高。本方向将心脏电生理形式化到生理模型中，把术中的诊断问题刻画为模型参数辨识与状态估计，并提出基于模型的临床辅助系统：通过“数字孪生”枚举疑似心脏状态，提供更严谨、直观的心电理解，减轻医师在低层推理上的负担，从而提高消融的准确性与效率。

信息物理系统的闭环模型检测

Sun, 27 Dec 2020 00:00:00 +0000

CPS 的物理环境变化范围大，保障安全与有效性具有挑战。模型检测广泛用于 CPS 验证，但用户常因不熟悉形式化方法而构建过于具体（无法覆盖环境变化）或过于抽象（反例难以解释）的环境模型。本工作提出与环境领域无关的抽象与精化框架，在覆盖环境行为的同时提供可解释反例，使系统开发者与领域专家无需成为形式化专家也能严谨、有效地使用模型检测；并以汽车领域简单案例展示框架可行性与抽象规则的可靠性。