查询词典 disjunctive normal form

In order to give a interpretation of the combination, the thesis compares the disjunctive combination of information sources with this combination method, and proves that the combination method is equal to the disjunctive combination.

为了解释这种组合方法，本文把该组合方式与信息源的析取组合进行了比较，证明了在合理的情况下，该组合方法与信息源的析取组合是一致的。

As one kind of compound reasoning, disjunctive reasoning has been full researched by the domestic researchers, but the related study on disjunctive reasoning under uncertainty is not so rich. Therefore, it is worthy of research.

析取推理作为一种复合推理，国内学者已有研究，但在不确定情景下，析取推理的表现以及影响推理的因素研究较少，值得对此进行探索。

From emulation fact check can see, through be based on a search mechanism density gets together kind supportive vector preelection is taken, training example number can reduce 2/3 above, rate of training of linear disjunctive data can be accelerated 12 times the left and right sides, nonlinear rate of disjunctive data training can be accelerated 5 times the left and right sides.

从仿真实验可以看出，通过基于搜索机制密度聚类的支持向量预选取，练习样本数目可减少2/3以上，线性可分的数据练习速度可加快12倍左右，非线性可分的数据练习速度可加快5倍左右。

Adopt ASP. NET 2003 is regarded as the developing instrument, the design of storehouse of the data follows 3 normal form :, have designed the coding schedule of goods and materials mainly, tombarthite product structure catalogue, basic information slip of the job centre, route form of the craft , project code of the expenses, journal ledger of the cost of goods, subsidiary ledger of the cost of goods, department's form, measurement unit form, the supplies inventory safeguards the counting type structure form, real expenses form, share the proportion form in power of kinetic energy, salary expenses share proportion form, amortization charge share proportion , maintain expenses share proportion , test expenses share proportion , main frame left menu tree form , material price list ,etc. data list

采用ASP 。NET 2003作为开发工具，数据库设计遵循第三范式，符合第二范式的条件，每个非关键字属性都仅由关键字决定，而且一个非关键字属性不能仅仅是对另一个非关键字属性的进一步描述(即一个非关键字属性值不依赖于另一个非关键字属性值)。，主要设计了物资编码表、稀土产品结构目录表、工作中心的基本情况表、工艺路线表、费用项目编码、产品成本总帐、产品成本明细帐、部门表、计量单位表、物料清单维护数型结构表、实际费用表、动能功率分摊比例表、工资费用分摊比例表、折旧费用分摊比例、维护费用分摊比例、化验费用分摊比例、主框架左菜单树表、材料价格表等数据表。

Disjunctive Normal Form and Conjunctive Normal Form of both-branch fuzzy logic expressions.

以及双枝模糊逻辑的析取范式与合取范式。

Aiming at the problem of equivalent conversion from conjunctive normal form to disjunctive normal form, an effective algorithm was proposed to construct reduction tree based on discernibility matrix.

针对差别矩阵求约简过程中合取范式向析取范式等价转换的难题，提出一种基于差别矩阵构造约简树的有效方法。

Combinatorial theory was adopted to build the general model of predicative concepts , which were further defined on the conjunctive normal form and the disjunctive normal form of prepositional logic Then we set up the concepts evaluation model consisting of the indexes as completeness, consistency, simplicity and inner consistency.

应用数理逻辑理论，定义了基于CNF范式和DNF范式的概念的命题逻辑表示形式，建立了包含概念的完整性、一致性、简单性和内部一致性的比较完整的概念评价的指标体系和模型。

Many existing algorithms of attribute reduction begin at constructing decision table's discernibility matrix,then convert non-empty objects' conjunctive normal form into minimal disjunctive normal form.

现有的很多属性约简算法都是由构造决策表的差别矩阵出发，将矩阵中非空元素的合取范式转化为极小析取范式。

Many existing algorithms of attribute reduction begin at constructing decision table's discernibility matrix,then convert non－empty objects' conjunctive normal form into minimal disjunctive normal form.

现有的很多约简算法都是由构造决策表的区分矩阵出发，将矩阵中非空元素的合取范式转化为极小析取范式。

The normal form can mirror innate characters and value distribution of well formed formula, and perfectly solve the problem about complete disjunctive normal form in MP .

该范式分为三个部分，即真值项、清晰项和矛盾项，它能够反映合式公式的本质特征及取值分布情况，为规范化研究该系统中的合式公式提供了一种工具，较理想地解决了MP＊中的析取范式问题。

In the chapter 2, the theoretic knowledge about the photosensitive resin and the grinding tools was firstly introduced.

第二章阐述了光固化树脂结合剂磨具的相关理论研究。

Do not use the program's indenting or margin-setting features; these will be added during typesetting.

不要使用缩排，页面边缘设置之类的选项，偶看不大懂。