- 标题
- 摘要
- 关键词
- 实验方案
- 产品
-
[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