Temporal Reasoning Technology for AEOS Scheduling

LIAN Zhen-yu,TAN Yue-jin,YAN Zhen-zhen
DOI: https://doi.org/10.3969/j.issn.1001-506x.2013.06.13
2013-01-01
Abstract:The agile earth observation satellite(AEOS) is a new type of satellite with high application potential for its added observation opportunities and flexible time window from enhanced maneuverability.However,as the start time of observations is a continuous variable,traditional combination optimization modeling methods for non-agile satellites are not usable for it.The characteristics of temporal dependence,the mix of controllable and uncontrollable events,and resource's over-subscribed are introduced.The temporal constraint network concept and the temporal reasoning problem of AEOS are presented.The equivalence character of temporal constraint network and distance graph and the Johnson algorithm for sparse networks are analyzed.Then,an improved cycle checking algorithm for AEOS scheduling based on re-evaluating is proposed,and a branch-prune algorithm based on constraint programming way is used to get a consistent solution.Finally some experiments are presented to prove the validity of the method.The results show the efficiency and validity of the method in consistent checking and searching of temporal constraints in AEOS scheduling.
What problem does this paper attempt to address?