基于位置推理及其在规划中的应用

基于位置推理在人工智能的规划问题求解中具有重要作用,提出了一种基于可移动对象的位置信息进行分析和推理的理论及其应用.根据各个对象位置的不断更新,基于位置推理系统利用信念修正规则对主体的信念库不断进行刷新以达到主体的规划目标.同时介绍了关于基于位置推理的基本定理及其性质;提出了如何有效地利用基于位置推理的信念修正规则理论实现大规模规划问题求解的一般算法.     

PVM:一种垂直体系结构下的存储管理系统

现代操作系统中,以数据复制为基础的存储管理策略和封闭式存储管理机制阻碍了计算机系统的性能发挥。在垂直体系结构的基础上,实现一种新的存储管理系统PVM,改善存储管理系统的性能。首先给出系统模型和结构的设计：随后详细分析怠惰的虚地址空间管理、两级缓冲的物理内存管理;最后,对PVM系统的未来作了展望。