研究人员开发了一个新框架PDEVS-LLM，该框架利用大型语言模型（LLM）协助人类建模者创建和验证并行离散事件系统规范（PDEVS）状态图。该框架旨在通过从系统描述中生成合理的事实，并使用命题逻辑针对行为条件进行验证，来提高模型的准确性和逻辑一致性。该系统包括一个受控纠正机制来完善生成的事实，以及一种将状态图转换为定时自动机以进行死锁和可达性属性验证的方法。评估表明，生成状态图的逻辑一致性得到了显著改善。 AI
影响 该框架可以通过自动化状态图生成和验证过程的某些部分，来简化复杂仿真模型的开发。
排序理由 该集群包含一篇学术论文，详细介绍了用于状态图生成和验证的新框架。[lever_c_demoted from research: ic=1 ai=1.0]
AI 生成摘要 · Google Gemini · 来自 1 个来源。 我们如何撰写摘要 →
