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