Model-based Intelligent Configuration and Reconfiguration for Spacecraft Propulsion System

摘要：

In view of the future development trends of Spacecraft Autonomy as well as particularity of Spacecraft Propulsion System, this paper proposes a model-based approach to Intelligent Configuration and Reconfiguration of Spacecraft Propulsion System. In this paper, given advantages of Satisfiability (SAT) planning in calculation performance and knowledge representation, we advance to transform Intelligent Configuration and Reconfiguration for Spacecraft Propulsion System into an Optimization Satisfiability problem and put forward a Clause-Based A* (CBA*) solving algorithm based on characteristic of description in SAT form. Finally, taking a high redundant spacecraft propulsion system as the object, the feasibility of SAT-based Intelligent Configuration and Reconfiguration for Spacecraft Propulsion System is verified.

关键词： Spacecraft Propulsion System Optimization Satisfiability problem Intelligent Configuration and Reconfiguration Clause-Based A*

作者: Xiaohui Peng Zheng Yan Yanjun Li Jianjun Wu

作者单位: College of Aerospace and Material Engineering, National University of Defense Technology, Changsha, China

会议类型: 国际会议

会议名称: 2012 4th International Conference on Intelligent Human-Machine Systems and Cybernetics 第4届智能人机系统与控制论国际会议 IHMSC 2012

会议地点: 南昌

会议语种:英文

页码: 367-372

在线出版日期: 2012-08-26（万方平台首次上网日期，不代表论文的发表时间）