English(EN) Automated Semantic Fault Localization in SysML v2: A Human-in-the-Loop Framework Using Knowledge-Graph Augmented LLMs

AI框架使用知识图查找和修复SysML v2模型错误

作者 PulseAugur 编辑部 · [1 个来源] · 2026-06-22 14:20

研究人员开发了一个框架，用于自动检测和修复SysML v2模型中的语义故障，这些故障在语法上是正确的，但违反了特定领域的规则。该系统使用经过微调的小型语言模型（SLM）结合领域知识图来识别这些问题并提出修复建议。这种方法显著提高了故障定位和修复率，降低了设计过程中后期昂贵的集成失败的可能性。 AI

影响该框架通过自动化检测和修复复杂的语义错误，可以显著提高模型驱动系统工程的效率和准确性。

排序理由该集群包含一篇详细介绍新框架和方法的学术论文。[lever_c_demoted from research: ic=1 ai=1.0]

AI 生成摘要 · Google Gemini · 来自 1 个来源。我们如何撰写摘要 →

本文如何被排名

Signal score: 0 / 100; Composite score across the factors below. Higher = stronger signal that this story matters right now.
Newsworthiness bucket: Tool; 该集群包含一篇详细介绍新框架和方法的学术论文。[lever_c_demoted from research: ic=1 ai=1.0]
Source corroboration: Single-source cluster; Only one publisher covered this so far. Single-source stories can still rank when the publisher is high-authority, but they lack cross-source corroboration.
Topics: paper, product; Editorial topic classification. Feeds into how the story surfaces on /topic/<slug> hub pages and into the per-entity coverage mix.
AI-industry relevance: High; Clearly on-topic for AI-industry coverage.
Story freshness: 99 days old; Aged out of breaking-news scoring windows; ranking reflects the durable signal from the full source set.

完整方法见我们的编辑标准。

Hugging Face Daily Papers TIER_1 English(EN) · 2026-06-22 14:20

SysML v2 中的自动化语义故障定位：一种使用知识图增强大语言模型的“人在回路”框架

SysML v2's textual syntax enables compiler-based validation of model structure and language conformance. However, semantic mistakes that preserve syntactic validity but violate domain rules cannot be detected through compilers. These errors can propagate through the design proces…