论文部分内容阅读
对于只有初态,目标态和算符集的搜索问题,可以从分析算符对状态的影响中,得到一个子目标规划层次网络,从而将搜索问题化解为顺序求解各子问题,并尽可能以线性实现子目标方式求解。在多处理机情况下,求解各子问题时,可进行共享存贮式的并行双向搜索,处理机的调度为自主动态方式:根据双向搜索的不同推进速度,动态进行任务切换,优先支持推进速度较快的一边进行最佳处理机分配。当一子问题求解完成时,所有处理机马上协同求解下一个子问题。(本刊录)