conjunctive normal form

基本解釋

• [數(shù)] 合取范式

英漢例句

雙語例句

• When the constraint expression of a query is not a CNF (Conjunctive Normal Form), it is generally transformed into an equivalent DNF (disjunctive normal form)an union of CNFs .
  當(dāng)數(shù)據(jù)立方查詢條件不是合取范式時，一般是將它轉(zhuǎn)化成為若干合取范式的并的形式（析取范式）。
• This paper presents a fast and efficient algorithm for discovering exceptional rules from data sets. This algorithm permits that the consequent of a rule is a conjunctive normal form.
  文章提出一種快速有效發(fā)現(xiàn)意外規(guī)則的算法，該算法允許規(guī)則的結(jié)果為合取范式。
• 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.
  針對差別矩陣求約簡過程中合取范式向析取范式等價轉(zhuǎn)換的難題，提出一種基于差別矩陣構(gòu)造約簡樹的有效方法。

• conjunctive normal form更多例句

詞組短語

短語

• quantifier -free conjunctive-normal form [計]自由量詞合取范式;自由量詞合取范式英語;翻譯
• major conjunctive normal form 合取范式
• cnf conjunctive normal form 連接標(biāo)準(zhǔn)形式
• main conjunctive normal form 主合取范式
• Special Conjunctive Normal Form 主合取范式

• conjunctive normal form更多詞組

專業(yè)釋義

計算機科學(xué)技術(shù)

• 合取范式

  When the constraint expression of a query is not a CNF (Conjunctive Normal Form),it is generally transformed into an equivalent DNF (disjunctive normal form)an union of CNFs .
  當(dāng)數(shù)據(jù)立方查詢條件不是合取范式時，一般是將它轉(zhuǎn)化成為若干合取范式的并的形式(析取范式)。

• 合取正常形式

電子、通信與自動控制技術(shù)

• 合取范式