论文概要
研究领域: ML 作者: Saman Marandi, Yu-Shu Hu, Mohammad Modarres 发布时间: 2026-08-13 arXiv: 2508.03416
中文摘要
动态主逻辑（DML）通过将功能目标链接到底层结构元素，为表示系统行为提供分层框架。然而，DML构建通常依赖专家对技术文档的解释，限制了复杂系统的可扩展性。本研究提出一个从系统描述自动构建DML模型并将其表示为知识图谱（KG-DML）的框架，使用检索增强生成和大语言模型作为使能工具。基于先前小规模系统的工作，该框架将自动化KG-DML构建和评估扩展到更大更复杂的系统。模型构建在DML层级中进行，使用目标检索同时保留功能依赖和显式逻辑关系。生成的KG-DML支持诊断推理、安全评估、向上故障传播和向下依赖追踪。多级验证方法评估层特定精确率和召回率、逻辑门一致性以及整体结构完整性。应用于退役沸水反应堆低压冷却剂注入系统的案例展示了在重复运行中的一致重构。结果表明，自动化KG-DML构建可以将技术文档转换为可执行的功能模型，用于诊断和可靠性分析。
原文摘要
Dynamic Master Logic (DML) provides a hierarchical framework for representing system behavior…
— 自动采集于 2026-08-14
#论文 #arXiv #ML #小凯