-
题名载人航天任务需求自动建模与一致性分析方法
- 1
-
-
作者
殷泰晖
侯申茂
杨羽馨
李美金
-
机构
中国航天员科研训练中心
军事航天部队装备项目管理中心
-
出处
《航天器工程》
北大核心
2025年第5期118-126,共9页
-
文摘
针对载人航天任务中自然语言需求建模效率低、一致性验证难的问题,提出一种应用大语言模型(LLM)的需求自动建模与一致性分析方法,通过基于领域术语增强的Prompt工程、规则驱动的系统建模语言(SysML)模型生成、多维度语义一致性分析机制的3层技术融合实现自动化建模。文章中构建了完整的方法框架,开发了原型系统,并在真实任务场景中进行了工程验证,获得了较高准确率,证明该方法具有明显的工程实用性与创新价值。
-
关键词
载人航天任务
大语言模型
需求工程
基于模型的系统工程
系统建模语言
一致性分析
-
Keywords
manned spaceflight task
LLM
requirement engineering
MBSE
SysML
consistency analysis
-
分类号
V57
[航空宇航科学与技术—航空宇航推进理论与工程]
-
-
题名对地观测卫星智能任务规划关键技术及应用
- 2
-
-
作者
谭跃进
姚锋
白保存
杜永浩
黎磊
-
机构
国防科技大学系统工程学院
军事航天部队装备项目管理中心
-
出处
《系统工程学报》
北大核心
2025年第5期706-716,共11页
-
基金
国家自然科学基金资助项目(72201272)
中国科协青年人才托举工程资助项目(2023-JCJQ-QT-042).
-
文摘
针对统筹卫星资源、实现高效规划等核心问题,总结了对地观测卫星智能任务规划关键技术及典型应用.首先,定义了对地观测卫星任务规划问题及智能任务规划技术,从系统工程的角度对问题的特点和难点进行了梳理.然后,按照求解手段与智能化水平,将技术的发展历程划分为三个阶段:早期依赖经典运筹学与人工主导;中期现代优化算法极大发展,初步实现多星协同与大规模问题优化;当前,人工智能技术与优化算法深度融合,有效支撑了复杂场景的自适应任务规划.其次,从需求挖掘、资源任务建模、求解算法、评估仿真和自主在线协同等五个方面,总结了对地观测卫星智能化管控的五项核心关键技术.在此基础上,分析了对地观测卫星智能任务规划技术在高分、陆地、高景和灵知等国家重大专项中的应用实践情况.最后,讨论了对地观测卫星智能任务规划的未来趋势,需深化大模型与智能优化的融合研究,搭建以智能优化为核心的卫星星座算法演进平台等发展研究方向.
-
关键词
对地观测卫星
智能任务规划
卫星资源
人工智能
-
Keywords
earth observation satellites
intelligent task planning
satellite resources
artificial intelligence
-
分类号
TP79
[自动化与计算机技术—检测技术与自动化装置]
-
