说明:双击或选中下面任意单词,将显示该词的音标、读音、翻译等;选中中文或多个词,将显示翻译。
您的位置:首页 -> 词典 -> 数据类型缺省规则
1)  data type default rule
数据类型缺省规则
2)  default for data type
数据类型缺席规则
3)  default for data type
数据类型省缺
4)  default allocation for data type
数据类型缺省分配
5)  default rules
缺省规则
1.
Incremental algorithm based on association mining for default rules;
一种基于关联挖掘的缺省规则更新算法
2.
An Algorithm of Mining Default Rules with Multiple Supports;
一种基于多重支持度的缺省规则挖掘算法
3.
An algorithm for discovery default rules based on GDT;
一种基于GDT的缺省规则发现算法
6)  Default rule
缺省规则
1.
In this paper,the concept of multi-attribute information gain is introduced,then algorithms for mining default rules based on Rough set and information gain are proposed and applied to mine the default rule from the decision table.
论文在现有的基于Rough集理论的缺省规则挖掘算法的基础上,将单属性信息增益概念扩充为多属性的情况,提出了基于信息增益的缺省规则的搜索策略和挖掘方法。
2.
In this paper,by the definition of default extensions,some default rules can not be considered that have no effect to compute extension and can be classified whose justification are inconsistent each other before compute the extension of default theory.
文章从缺省理论扩充的定义出发,在求扩充前根据缺省规则的特征,把对计算扩充没有影响的规则不予考虑,同时把具有不相容判断的规则分开考虑,也即就是在求扩充前对缺省规则进行适当的简化和分类,通过分析讨论给出了若干简化和分类的原则,从而使计算得以简化。
补充资料:抽象数据类型


抽象数据类型
abstract data type

  ChouxiQng shUjU leixing抽象数据类型(abstract data勺pe)与表示无关的数据类型。数据类型由一个对象集合(值集)和在该集合上定义的若干合法运算所组成的运算集合组成。抽象数据类型用数学方法定义对象集合和运算集合,仅通过运算的性质刻画数据对象,而独立于计算机中可能的表示方法。其目的在于隐蔽运算实现细节和内部数据结构,同时向用户提供该数据类型的完整信息。 抽象数据类型的概念是逐步形成的。60年代末到70年代,人们将用户自定义的类型称作抽象数据类型。传统的算法语言没有用户自定义类型的设施。到60年代末,为了实现算法细节和数据内部结构的隐蔽,SIMIJLA67语言中引人了类,随后出现了模块概念。模块可分成模块式和模块体,模块式定义外部可见的运算接口,模块体对外不可见,其中可定义私有的数据结构和运算。通过接口和实现的分离,模块提供了用户自定义类型的手段,达到数据抽象、信息隐蔽的目的。在这个意义下,模块所定义的数据类型称作抽象数据类型。实际上,模块提供了一种抽象数据类型实现的手段。这种手段在入玉月ula-2,八da等语言中得到进一步的完善和发展。用户自定义数据类型的另一优点是设计与实现相分离,可将模块式看作设计规约,而模块体是相应的实现。这种分离推动了软件规约的研究,也进一步推动了抽象数据类型的研究。当用一个数据类型去模拟一类客观对象时,可先给出该类型的性质和功能的描述,然后用已有的语言设施和数据类型实现所需的功能,并证明实现的正确性。仅通过模块式描述数据类型的型构是不够的,还必须用抽象的方法完整地描述对象的性态和功能。这就是用抽象数据类型表示功能规约。这时,抽象数据类型完全独立于具体表示,反映出纯抽象的性质。抽象数据类型的规约方法主要有二:其一是代数方法;其二是模型方法。代数方法基于G.Birkhoff,J .D.LipSOn等的异调代数理论,经5.21115,J.A.Guttag等人的发展,其理论基础日趋完善,并逐步应用于软件工程实践,成为有代表性的抽象数据类型规约方法。模型方法基于C.A.R.HOare的前后断言方法,它通过已定义的(抽象)数据类型来给出所要定义的新类型的抽象模型。 采用代数方法,抽象数据类型的规约由两部分组成,一是语法部分,二是公理部分。语法部分给出了抽象数据类型的名及其上运算的定义域和值域,公理部分则通过给出一组刻画各运算之间相互关系的方程来定义各运算的含义。从语义的角度,代数规约的语义是一类代数。在语法正确的基础上,语义正确性是指相应代数满足规约中公理部分的所有公理。
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条