朱彦伟 韩国栋 刘建国 欧阳昱 田秋成 都斌 杨乐平 游伟 任仙海 刘玉树 邢建功 丁茹

验证 整数规划 装备维修 合理性 应急机动保障 倒梯形算法 工作流 模型算法 与或树 瀑布排序法 应急装备保障 任务重组 在轨服务 战损装备 授权约束