研究目的
通过提出一种结合模型检测与可视化的基于模型的方法，以提高用户手册开发的准确性并减少歧义。
研究成果
该框架为运用形式化方法评估患者用户手册提供了见解，揭示了故障排除说明中任务和设备描述可能存在的问题，并指出了故障排除步骤顺序方面的问题。
研究不足
计算复杂性可能会限制这些方法在更长篇幅的书面流程或完整用户手册中的可扩展性。该方法需要掌握SAL语言知识并理解有限状态自动机。
中文（中国）
▾
单级太阳能电网集成器最大功率提取的单层解耦多阶广义积分控制
DOI：10.1109/TII.2020.2981125
期刊：IEEE Transactions on Industrial Informatics
出版年份：2020
更新时间：2025-09-19 17:13:59
摘要：
用户手册设计者通常采用书面流程、图表和插图向终端用户传达操作信息。然而确保说明准确且无歧义颇具难度：就准确性而言，任务描述及其执行条件可能因高层级任务中的动作排序、任务及低层级动作的启动/重复/完成情境等考量因素而复杂化；就歧义性而言，存在组件层面（如相关组件部位）和任务层面（如活动约束情境）的问题。为提升准确度并降低歧义性，我们提出结合模型检测与可视化的基于模型的方法来辅助用户手册开发。该方法将形式化任务分析模型、设备模型与安全规范集成至计算框架中。通过左心室辅助装置患者手册中的报警故障排查说明，我们验证了该方法的价值：通过编码形式化任务模型，揭示了故障排查说明中任务与设备描述的潜在问题；并运用线性时序逻辑和符号模型检测识别出故障排查步骤排序问题。该框架为运用形式化方法评估患者手册提供了实践洞见。
作者：
Andrew J. Abbate，Amy L. Throckmorton，Ellen J. Bass
AI智能分析
纠错
研究概述
实验方案
设备清单
SCI高频之选
查看全部>
-
智能分析： Yokogawa AQ6370D是一款性能卓越的光谱分析仪，适用于光通信领域以及光放大器（EDFA）的测量和评估。其高波长分辨率、精准度和宽动态范围使其成为实验室和工业环境中的理想选择。虽然设备体积较大且预热时间较长，但其丰富的接口和出色的显示屏设计弥补了这些不足，整体是一款值得推荐的光谱分析仪。获取实验方案
-
智能分析： ZEISS EVO系列是一款高性能?？榛璧缱酉晕⒕?，适用于材料科学、生命科学及工业质量控制等领域。其先进的技术特性包括高分辨率、广泛加速电压范围和集成EDS系统。该产品操作直观，支持多用户环境，适合科学研究和工业应用。然而，价格信息缺失以及潜在的维护成本可能是其需要注意的方面。总体而言，ZEISS EVO系列表现优秀，值得推荐给专业用户。获取实验方案 -
智能分析： ZEISS Crossbeam系列是蔡司公司推出的一款高端光电分析设备，结合了场发射扫描电子显微镜（FE-SEM）和聚焦离子束（FIB）的功能，适用于材料科学、纳米技术和半导体行业等多个领域。其高分辨率成像能力和自动化样品制备功能使其成为高通量分析的理想选择。此外，该设备支持多种检测器，具备强大的多功能性，是高精度研究和工业应用的利器。然而，由于其高端定位，设备成本较高且操作需要专业技能。总体而言，该设备表现卓越，为科学研究和工业应用提供了先进的解决方案。获取实验方案 -
智能分析： Axio Observer是一款专为金相学研究设计的倒置显微镜系统，以其高效的设计和蔡司知名的光学技术为特色。它能够快速、灵活地分析大量样品，并支持自动化操作，适用于多种应用场景，包括晶粒尺寸分析、非金属夹杂物检测等。然而，其重量较大且光源寿命较短，可能对使用者提出了额外的维护和空间管理需求。总体而言，这款产品在性能和可靠性方面表现出色，特别适合专业实验室使用。获取实验方案 -
型号：ZEISS LSM 990 Spectral Multiplex
智能分析： ZEISS LSM 990 Spectral Multiplex是一款定位于高端科研机构的光谱成像系统，具有卓越的光谱分辨率和自动化功能，适用于复杂的生物、医学及材料科学实验。其高效的荧光标签分离能力和多功能自动化设计为用户提供了强大的实验支持。然而，高昂的价格和一定的学习曲线可能对中小型实验室构成挑战。总体而言，这是一款性能优越、适应性强的高端实验设备。获取实验方案 -
智能分析： ZEISS Sigma 300 with RISE是蔡司公司推出的一款高端光谱分析仪，集成了拉曼成像和扫描电子显微镜技术，能够提供高质量的化学和结构分析。其功能强大，支持多领域应用，但设备价格较高且操作学习曲线可能较陡。适用于科研机构和高端实验室，是材料科学和生命科学领域的理想选择。获取实验方案
立即咨询
加载中....
论文纠错
您正在对论文“单级太阳能电网集成器最大功率提取的单层解耦多阶广义积分控制”进行纠错
纠错内容
联系方式（选填）
设备询价
称呼
电话
+86
单位名称
用途
期望交货周期
产品预约
称呼
电话
+86
单位名称
用途
期望交货周期