计算机工程与应用
計算機工程與應用
계산궤공정여응용
COMPUTER ENGINEERING AND APPLICATIONS
2006年
32期
197-199,228
,共4页
规划%并行推理%约束建模%自主航天器%人工智能
規劃%併行推理%約束建模%自主航天器%人工智能
규화%병행추리%약속건모%자주항천기%인공지능
根据自主航天器的特点,分析了其规划问题中活动的并行特性以及约束的复杂性,提出了自主航天器规划系统的系统结构,并对规划模型的模型要素进行分析,然后采用规划域定义语言对规划域进行建模,以时间区间理论为基础对规划问题的持续时间约束进行表示,采用时间线模型表现航天器的并行活动,最终解决了自主航天器规划系统的建模与约束表达问题.最后通过一个算例验证了所提方法的正确性.
根據自主航天器的特點,分析瞭其規劃問題中活動的併行特性以及約束的複雜性,提齣瞭自主航天器規劃繫統的繫統結構,併對規劃模型的模型要素進行分析,然後採用規劃域定義語言對規劃域進行建模,以時間區間理論為基礎對規劃問題的持續時間約束進行錶示,採用時間線模型錶現航天器的併行活動,最終解決瞭自主航天器規劃繫統的建模與約束錶達問題.最後通過一箇算例驗證瞭所提方法的正確性.
근거자주항천기적특점,분석료기규화문제중활동적병행특성이급약속적복잡성,제출료자주항천기규화계통적계통결구,병대규화모형적모형요소진행분석,연후채용규화역정의어언대규화역진행건모,이시간구간이론위기출대규화문제적지속시간약속진행표시,채용시간선모형표현항천기적병행활동,최종해결료자주항천기규화계통적건모여약속표체문제.최후통과일개산례험증료소제방법적정학성.