软件学报
軟件學報
연건학보
JOURNAL OF SOFTWARE
2011年
5期
914-928
,共15页
梁瑞仕%姜云飞%边芮%吴向军
樑瑞仕%薑雲飛%邊芮%吳嚮軍
량서사%강운비%변예%오향군
智能规划%子目标排序%可纳排序关系%增量式规划%原子依赖图技术
智能規劃%子目標排序%可納排序關繫%增量式規劃%原子依賴圖技術
지능규화%자목표배서%가납배서관계%증량식규화%원자의뢰도기술
提出了一种称为可纳子目标排序(admissible subgoal ordering,简称ASO)的排序关系,给出了可纳排序的
形式化定义并讨论其对增量式规划的重要性.随后介绍了原子依赖关系理论和原子依赖图技术,能够在多项式时间
内近似求解可纳子目标排序关系.最后给出了一种计算可纳子目标序列的算法.其所有思想已经在规划系统ASOP
申实现.通过在国际规划大赛标准测试领域问题上的实验.其结果表明,该方法能够有效地求解大规模的规划问题,
并能极大地改善规划性能.
提齣瞭一種稱為可納子目標排序(admissible subgoal ordering,簡稱ASO)的排序關繫,給齣瞭可納排序的
形式化定義併討論其對增量式規劃的重要性.隨後介紹瞭原子依賴關繫理論和原子依賴圖技術,能夠在多項式時間
內近似求解可納子目標排序關繫.最後給齣瞭一種計算可納子目標序列的算法.其所有思想已經在規劃繫統ASOP
申實現.通過在國際規劃大賽標準測試領域問題上的實驗.其結果錶明,該方法能夠有效地求解大規模的規劃問題,
併能極大地改善規劃性能.
제출료일충칭위가납자목표배서(admissible subgoal ordering,간칭ASO)적배서관계,급출료가납배서적
형식화정의병토론기대증량식규화적중요성.수후개소료원자의뢰관계이론화원자의뢰도기술,능구재다항식시간
내근사구해가납자목표배서관계.최후급출료일충계산가납자목표서렬적산법.기소유사상이경재규화계통ASOP
신실현.통과재국제규화대새표준측시영역문제상적실험.기결과표명,해방법능구유효지구해대규모적규화문제,
병능겁대지개선규화성능.