- 标题
- 摘要
- 关键词
- 实验方案
- 产品
-
[IEEE 2019年第16届中国国际固态照明论坛暨2019年国际宽禁带半导体论坛（SSLChina: IFWS） - 中国深圳（2019.11.25-2019.11.27）] 2019年第16届中国国际固态照明论坛暨2019年国际宽禁带半导体论坛（SSLChina: IFWS） - 汽车前照灯用LED矩阵模块的光学与热设计
摘要： 用户手册设计者通常采用书面流程、图表和插图向终端用户传达操作信息。然而确保说明的准确性和无歧义性颇具难度：就准确性而言，任务描述及其执行条件可能因高层级任务中的动作排序、任务及低层级动作的启动/重复/完成情境等考量因素而复杂化；就歧义性而言，会存在组件层面（如相关组件部位）和任务层面（如活动约束条件）的问题。为提升准确性并降低歧义性，我们提出结合模型检测与可视化的基于模型的方法来辅助用户手册开发。该方法将形式化任务分析模型、设备模型与安全规范整合至计算框架中。通过左心室辅助装置患者手册中的报警故障排查说明，我们验证了该方法的实用价值——通过编码形式化任务模型，揭示了故障说明中任务与设备描述的潜在问题；同时运用线性时序逻辑和符号模型检测识别出故障排查步骤排序问题。该框架为运用形式化方法评估患者手册提供了实践洞见。
关键词： 形式化方法、任务分析、用户手册、模型检测、故障排除
更新于2025-09-19 17:13:59
-
单级太阳能电网集成器最大功率提取的单层解耦多阶广义积分控制
摘要： 用户手册设计者通常采用书面流程、图表和插图向终端用户传达操作信息。然而确保说明准确且无歧义颇具难度：就准确性而言，任务描述及其执行条件可能因高层级任务中的动作排序、任务及低层级动作的启动/重复/完成情境等考量因素而复杂化；就歧义性而言，存在组件层面（如相关组件部位）和任务层面（如活动约束情境）的问题。为提升准确度并降低歧义性，我们提出结合模型检测与可视化的基于模型的方法来辅助用户手册开发。该方法将形式化任务分析模型、设备模型与安全规范集成至计算框架中。通过左心室辅助装置患者手册中的报警故障排查说明，我们验证了该方法的价值：通过编码形式化任务模型，揭示了故障排查说明中任务与设备描述的潜在问题；并运用线性时序逻辑和符号模型检测识别出故障排查步骤排序问题。该框架为运用形式化方法评估患者手册提供了实践洞见。
关键词： 用户手册、形式化方法、模型检测、故障排除、任务分析
更新于2025-09-19 17:13:59
-
[IEEE 2019年第二届智能计算、仪器与控制技术国际会议(ICICICT) - 印度喀拉拉邦坎努尔(2019.7.5-2019.7.6)] 2019年第二届智能计算、仪器与控制技术国际会议(ICICICT) - 用于矢量控制感应电机驱动的光伏高增益SEPIC-Boost变换器
摘要： 人们能否听到并响应听觉医疗警报对患者的健康与安全至关重要。遗憾的是，同时响起的警报可能通过感知交互掩盖其中一个或多个警报，导致其无法被听见。由于这种掩蔽效应可能仅出现在极其特定和/或罕见的情况下，实验评估技术不足以检测医学中所有潜在警报配置下的掩蔽现象。因此，在部署前确定医疗警报配置是否存在掩蔽的计算方法存在切实需求。本文提出了一种此类方法：通过结合形式化建模、心理声学建模、时序逻辑规范和模型检测，该方法能够证明所建模的警报配置是否会产生掩蔽性交互。本文阐述了该方法的动机，详述其原理，描述实现过程，通过案例研究展示其效能，并概述未来工作方向。
关键词： 心理声学、医疗警报、形式化方法、患者安全、模型检测、心理物理学
更新于2025-09-19 17:13:59