扩展规则,extension rule
1)extension rule扩展规则
1.Research and Implementation of the #QBF Systems Based on Extension Rule;基于扩展规则的#QBF求解系统的研究及实现
2.Research of the #SAT Approximate Solvers Based on Extension Rule;基于扩展规则的#SAT近似求解器的研究
3.And then we used the first-order extension rule prover to deal with the fragment.基于关系转换方法对模态逻辑进行转换,使用一阶扩展规则定理证明器对转换后得到的一阶片段进行推理,得到一种新的可用于模态逻辑的推理方法,并证明了其正确性和完备性。
英文短句/例句

1.Research of the #SAT Approximate Solvers Based on Extension Rule;基于扩展规则的#SAT近似求解器的研究
2.Sufficient and Necessory Conditions of the Weak Pareto-extension Rule in Group Decision Making;群体决策中弱Pareto扩展规则的充要条件
3.Solving #SAT Using Extension Rules一种基于扩展规则的#SAT求解系统
4.Model Counting and Planning Using Extension Rule基于扩展规则的模型计数与智能规划方法
5.Research and Implementation of the #QBF Systems Based on Extension Rule;基于扩展规则的#QBF求解系统的研究及实现
6.A New Theory for Knowledge Compilation Based on Extension Rule一种新的基于扩展规则的知识编译方法
7.Extension Rule Algorithms Based on IMOM and IBOHM Heuristics Strategies基于IMOM和IBOHM启发式策略的扩展规则算法
8.DESIGN AND IMPLEMENTATION OF AN X3D SCENE EDITOR BASED ON EXTENSIBLE RULES DATABASE基于可扩展规则库的X3D场景编辑器设计与实现
9.A Novel Theorem Proving Algorithm Based on Extension Rule一种新的基于扩展规则的定理证明算法
10.Expanding Markovnikov Law s Applying Scope;扩展Markovnikov规则使用范围
11.Methods for the Extension Rules of Ontology Based on Multidimensional Association Rules基于多维关联规则的本体规则扩展方法
12.Mining Association Rules Based on the Extended Model of Concept Lattice;基于概念格扩展模型的关联规则挖掘
13.Arithmetic(HERAM) of Matching Firewall Rule Supporting its Extension支持防火墙规则扩展的匹配算法HERAM
14.A rule firing cache was already initialized in the extended stored procedure.扩展存储过程中的规则触发高速缓存已初始化。
15.The rapid expansion of administrative rulemaking may also be a factor.行政规则制定的迅速扩展或许也是原因之一。
16.go, come, or spread in a rambling or irregular way.以一种散漫的或不规则的方式进行,出现,或扩展。
17.Studies on Query Expansion Based on Item-All-Weighted Association Rules Mining;基于完全加权关联规则挖掘的查询扩展研究
18.Research and Development of the SDG Extensible Inference Engine Based on Rules;基于规则的SDG扩展推理引擎的研究与开发
相关短句/例句

Rule Extension规则扩展
3)extension against rule反规则扩展
4)Extended ECA Rules扩展ECA规则
1.This paper gives the Extended ECA Rules using in the system by studying the event-driven principle and ECA rules.论文通过分析事件驱动原理及ECA规则的基本形式,给出了系统的控制规则:扩展ECA规则。
5)extended production rule扩展产生式规则
1.In order to represent the knowledge in the natural language,the method of extended production rule and its reasoning mechanisms are presented.通过对现有知识表示方法进行分析,指出了产生式规则和概念图表示方法在自然语言理解中存在的问题,提出了扩展产生式规则知识表示方法,并对该规则的推理机制和具体实现进行了讨论。
6)extended decision rule扩展决策规则
1.Based on rough sets and average operator,extended decision rules of the probabilistic information system were obtained.根据粗糙集理论,采用平均算子,获取概率信息系统的扩展决策规则集。
延伸阅读

Pro/Engineer扩展模块详细介绍Pro/Engineer是一套由设计至生产的机械自动化软件,是新一代的产品造型系统,是一个参数化、基于特征的实体造型系统,并且具有单一数据库功能。 1. 参数化设计和特征功能 Pro/Engineer是采用参数化设计的、基于特征的实体模型化系统,工程设计人员采用具有智能特性的基于特征的功能去生成模型,如腔、壳、倒角及圆角,您可以随意勾画草图,轻易改变模型。这一功能特性给工程设计者提供了在设计上从未有过的简易和灵活。 2. 单一数据库 Pro/Engineer是建立在统一基层上的数据库上,不象一些传统的CAD/CAM系统建立在多个数据库上。所谓单一数据库,就是工程中的资料全部来自一个库,使得每一个独立用户在为一件产品造型而工作,不管他是哪一个部门的。换言之,在整个设计过程的任何一处发生改动,亦可以前后反应在整个设计过程的相关环节上。例如,一旦工程详图有改变,NC(数控)工具路径也会自动更新;组装工程图如有任何变动,也完全同样反应在整个三维模型上。这种独特的数据结构与工程设计的完整的结合,使得一件产品的设计结合起来。这一优点,使得设计更优化,成品质量更高,产品能更好地推向市场,价格也更便宜。 一、 Pro/Engineer Pro/Engineer是软件包,并非模块,它是该系统的基本部分,其中功能包括参数化功能定义、实体零件及组装造型,三维上色实体或线框造型棚完整工程图产生及不同视图( 三维造型还可移动,放大或缩小和旋转)。Pro/Engineer是一个功能定义系统,即造型是通过各种不同的设计专用功能来实现,其中包括:筋(Ribs)、槽(Slots)、倒角(Chamfers)和抽空(Shells)等,采用这种手段来建立形体,对于工程师来说是更自然,更直观,无需采用复杂的几何设计方式。这系统的参数比功能是采用符号式的赋予形体尺寸,不象其他系统是直接指定一些固定数值于形体,这样工程师可任意建立形体上的尺寸和功能之间的关系,任何一个参数改变,其也相关的特征也会自动修正。这种功能使得修改更为方便和可令设计优化更趋完美。造型不单可以在屏幕上显示,还可传送到绘图机上或一些支持Postscript格式的彩色打印机。Pro/Engineer还可输出三维和二维图形给予其他应用软件,诸如有限元分析及后置处理等,这都是通过标准数据交换格式来实现,用户更可配上 Pro/Engineer软件的其它模块或自行利用 C语言编程,以增强软件的功能。它在单用户环境下(没有任何附加模块)具有大部分的设计能力,组装能力(人工)和工程制图能力(不包括ANSI, ISO, DIN或 JIS标准),并且支持符合工业标准的绘图仪(HP,HPGL)和黑白及彩色打印机的二维和三维图形输出。Pro/Engineer功能如下: 1. 特征驱动(例如:凸台、槽、倒角、腔、壳等); 2. 参数化(参数=尺寸、图样中的特征、载荷、边界条件等); 3. 通过零件的特征值之间,载荷/边界条件与特征参数之间(如表面积等)的关系来进行设计。 4. 支持大型、复杂组合件的设计(规则排列的系列组件,交替排列,Pro/PROGRAM的各种能用零件设计的程序化方法等)。 5. 贯穿所有应用的完全相关性(任何一个地方的变动都将引起与之有关的每个地方变动)。 其它辅助模块将进一步提高扩展 Pro/ENGINEER的基本功能。 二、 Pro/ASSEMBLY Pro/ASSEMBLY是一个参数化组装管理系统,能提供用户自定义手段去生成一组组装系列及可自动地更换零件。Pro/ASSEMBLY是 Pro/ADSSEMBLY的一个扩展选项模块,只能在 Pro/Engineer环境下运行,它具有如下功能: 1. 在组合件内自动零件替换(交替式) 2. 规则排列的组合(支持组合件子集) 3. 组装模式下的零件生成(考虑组件内已存在的零件来产生一个新的零件) 4. Pro/ASSEMBLY里有一个 Pro/Program模块,它提供一个开发工具。