来源：期刊VIP网 时间：
作者：殷泰晖;侯申茂;杨羽馨;李美金;
单位：中国航天员科研训练中心;军事航天部队装备项目管理中心;
摘要：针对载人航天任务中自然语言需求建模效率低、一致性验证难的问题，提出一种应用大语言模型(LLM)的需求自动建模与一致性分析方法，通过基于领域术语增强的Prompt工程、规则驱动的系统建模语言(SysML)模型生成、多维度语义一致性分析机制的3层技术融合实现自动化建模。文章中构建了完整的方法框架，开发了原型系统，并在真实任务场景中进行了工程验证，获得了较高准确率，证明该方法具有明显的工程实用性与创新价值。
关键词：载人航天任务;;大语言模型;;需求工程;;基于模型的系统工程;;系统建模语言;;一致性分析
