【摘 要】
：
本文首先定义了一类新的AND/OR图:图中的结点或为AND结点或为OR结点,而不能是混合型结点,并定义其路径耗散值用三角模S来度量和计算,使其更具有普遍意义,作为通常的AND/OR图A
【机 构】
：
镇江船舶学院计算机系镇江212003
论文部分内容阅读
本文首先定义了一类新的AND/OR图:图中的结点或为AND结点或为OR结点,而不能是混合型结点,并定义其路径耗散值用三角模S来度量和计算,使其更具有普遍意义,作为通常的AND/OR图AO~*算法的推广,本文依照普通图A~*算法中的启发式估价函数f=g+h,将新AND/OR图中的启发式估价函数F分成G、H两部分,并据此提出了NAO~*算法。本文的结论表明:NAO~*算法与AO~*算法有本质的不同;当H≤H~*时NAO~*可采纳,而且其结果极易推广到一般的AND/OR图中去。
其他文献
本文给出拓广的右线性递归变换算法并证明其正确性.拓广的右线性递归中可以包含一个或多个IDB谓词,它是右线性递归的一般化.和右线性递归计算算法一样,本文提供的算法遵循魔
并行图重写计算的有效实现需要压缩重写任务的频繁生成、切换和同步开销.为此本文提出了一种编译时重写粒度优化技术——编译时部分调度.其核心思想是基于对重写结点的全序性
本文介绍南京大学设计和实现的异构型分布式操作系统ZGL中的设备共享系统.在ZGL中,一些处理器和外部设备被定为专职的服务器.此外,任何工作站在空闲时还可以使自己临时成为计
本文提出了一种通用的自然语言词法分析技术,其处理机构不仅可以独立于具体自然语言,而且又具有适合于未来智能计算机直接处理的规则形式和实现过程.文中还详细讨论了独立于
泰《世界日报》10月14日报道，泰商业部饲料原料委员会13日通过2010年泰国进口饲料原料修改方案。其中包括：饲料原料豆粕的进口税从4％降至2％，不限进口量．但必须使用等量的国内原料．避
欧盟的法规中明确:‘为保护人类健康、动物健康和福利、保护环境，各种饲料添加剂在欧共体范围内投放市场、使用或加工之前，必须通过共同体的规定程序对其安全性进行评价。’安
本文提出了模M多维差分变换的图象表示和压缩方法.变换是在对N维图象数组的2~N元分割所产生的2~N元树上进行,其效果是利用了图象的N维数据相关性,使得图象灰度值分布得到了显
本文介绍了一个显微图象分析软件系统IMAGE_A的设计和实现.它基于数学形态学理论,这个系统包含由图象变换、形状分析、纹理分析、辅助功能四个基本部分构成的图象分析系统软