析取范式(disjunctive normal form): 若干个小项的析取。 标准句(standard sentence):合取范式或析取范式 子句(clause):合取范式中的大项或 析取范式中的小项。
基于2960个网页-相关网页
... 前束正规形式 prenexnormal form ; normal form 析取正规形式 disjunctive normal form 根正规形式 Root Normal Form ...
基于24个网页-相关网页
... DNCOS Directory Number Class Of Service 业务分类名录电话号码 DNF Disjunctive Normal Form 分离性标准形式 DNG Digital News Gathering 数字新闻采访 ...
基于14个网页-相关网页
链接分析在权威WEB信息源搜索中的应用研究(管理科学与工程专业优秀论文) - docin.com豆丁网 ij∈ ｛o，1｝。根据布尔逻辑的三种基本运算：逻辑乘AND、逻辑或OR、以及逻辑非 NOT，查询q用合取范式（disjunctive normalform，DNF）面表示。设而是面 的任一合取元素（conjunctivecomponents），则文档哇j和查询q相
基于2个网页-相关网页
full disjunctive normal form 全析取范式
principal disjunctive normal form 主析取范式
optimal disjunctive normal form 最优析取范式
minimal disjunctive normal form 极小析取范式
prenex-disjunctive normal form 前束析取范式
alternating disjunctive normal form 交错析取正规形式
major disjunctive normal form 取范式
prenex disjunctive normal form [数] 前束析取范式
·2,447,543篇论文数据，部分数据来源于NoteExpress
以上来源于: WordNet
With respect to the principal disjunctive normal form and the principal conjunctive normal form, we also approach the properties of the subscript sets derived from the minimum term and maximum term.
讨论了命题公式的主析取范式、主合取范式中的极小项与极大项下标集合的性质，利用主范式的下标集合得到了命题公式蕴涵的几个充要条件。
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.
针对差别矩阵求约简过程中合取范式向析取范式等价转换的难题，提出一种基于差别矩阵构造约简树的有效方法。
Firstly, a classification-tree is constructed based on specification of the test object, and then test cases obtained from the classification-tree are refined by generating a disjunctive normal form.
由软件的形式规格说明构造分类树，再把由分类树方法得到的测试用例转化为析取范式，进一步精炼测试用例。
应用推荐