共查询到18条相似文献，搜索用时 51 毫秒
1.
2.
本文通过对现有的递归规则的并行计算方法以及并行计算的二分技术的讨论，提出了一种新颖的递归规则并行计算的基本策略，并给出了一种基于线性递归规则的并行计算方法。 相似文献
3.
本给出拓广的左线性递归变换算法并证明其正确性。拓广的左线性递归中可以包含一个或多个ＩＤＢ谓词，它是左线性递归的一般化和左线性递归计算算法一样，本提供的算法遵循魔集的模式：首先改写规则，然后用半扑质的自底向上算法计算新规则，算法的有效性也在本作简略讨论。 相似文献
4.
拓广的右线性递归变换算法及其正确性 总被引：2，自引：0，他引：2
本文给出拓广的右线性递归变换算法并证明其正确性.拓广的右线性递归中可以包含一个或多个IDB谓词,它是右线性递归的一般化.和右线性递归计算算法一样,本文提供的算法遵循魔集的模式:首先改写规则,然后用半扑质的自底向上算法计算新规则.算法的有效性通过减少递归谓词的元数实现. 相似文献
5.
利用正则语言与有限自动机的关系以及数据库图，对一类链规则递归查询（即正则路问题）作研究。并且重写规则使递归谓词元数减少，以达到优化的目的。 相似文献
6.
陶世群 《计算机工程与设计》2004,25(12):2301-2304
旨在解决在演绎数据库中,如何利用递归规则进行递归查询的问题。介绍了一个线性递归查询算法的基本思想,阐述了该算法的设计与具体实现,包括算法采用的数据结构、程序中各功能模块的功能,对算法进行了分析。 相似文献
8.
具有多值约束的线性递归查询的有效计算 总被引：1，自引：0，他引：1
本文给出三个算法,分别用于把给定的右线性、左线性或左-右线性递归程序改写为一组更有效的规则.与Ullman等人的变换算法不同,本文的算法允许查询的初始约束可以是含任意多个约束元组的集合,而不必是单值的;这样,本文的算法不仅可以用于查询的求值,而且也可以用于子目标的处理.变换算法的正确性和变换后规则的有效性也在本文简略讨论. 相似文献
9.
本文给出拓广的左线性递归变换算法并证明其正确性．拓广的左线性递归中可以包含一个或多个ＩＤＢ谓词，它是左线性递归的一般化．和左线性递归计算算法一样，本文提供的算法遵循魔集的模式：首先改写规则，然后用半扑质的自底向上算法计算新规则．算法的有效性也在本文作简略讨论． 相似文献
10.
11.
徐炳亭 《计算机应用与软件》1997,14(1):23-29,39
本文介绍了关系型数据库中层次型数据的递归检索法，并给出一个通用递归检索程序，程序模块与数据库和数组结合相得益彰，并寓教学与实用为一体。 相似文献
12.
基于转移的音字转换纠错规则获取技术 总被引：4，自引：1，他引：3
文中描述了一种在音字转换系统中从规模不限的在线文本中自动获取纠错规则的机器学习技术。该技术从音字转换结果中自动获取误转换结果及其相应的上下文信息,从而生成转移规则集。该转移规则集应用于音字转换的后处理模块,使音字转换系统率进一步提高,并使系统具备了很强的灵活性和可扩展性。 相似文献
13.
基于规则学习的空间变换方法及其应用 总被引：1，自引：0，他引：1
人工智能领域中的许多问题经常涉及到空间变换。本文提出了一种基于规则学习的空间变换方法，该方法可以应用到智能控制、模式识别、知识获取等方面。本文中给出的智能机器人控制方面的数字实验结果表明，基于规则学习的空间变换方法不仅具有重要的理论意义，而且具有广阔的应用前景。 相似文献
14.
机器发现的递归函数法 总被引：2，自引：0，他引：2
为了解决机器发现所面临的问题,本文提出了一种新的机器发现方法——递归函数法,该方法把待求函数本身作为唯一的理论项,从而保证了理论项的合适性;其发现能力也有所提高,该方法采用原始递归式定义函数,递归函数在理论上比较完善,故该方法具有很好的理论依据并且便于计算机实现。 相似文献
15.
本文给出了一个自动获取程序转换规则的方法。通过对用户提供的一个具体程序转换过程的分析，运用解释学习的方法，总结其一般性，得出反映这一过程的转的换规则，该规则可用于一类问题的转换，提高了系统的自动化程度。 相似文献
16.
一种通用数据转换工具的设计 总被引：2，自引：0，他引：2
李志强 《计算机应用与软件》2005,22(9):59-60,126
文章简述了解决异构数据库数据转换的几种常用方法,并详细阐述了一种通用异构数据库数据转换工具的设计思路和实现方法。其对管理信息系统的开发和实施都有较高的使用价值。 相似文献
17.
在数字控制器、数字滤波器的设计中,双线性变换是最常用的工具之一。但当系统的阶数较高时,实行双线性变换就比较繁琐。本文就双线性变换提出了适用于N阶系统的递推算法,并给出了利用递推算法的计算机辅助变换程序框图。 相似文献
18.