您要查找的是不是：
- 線(xiàn)性CNF公式linear CNF formula
- 一個(gè)SAT算法能在有限時(shí)間內判定任意給定的CNF公式是否可滿(mǎn)足，DPLL算法和消解反駁法是判定SAT問(wèn)題的兩個(gè)重要方法。A SAT algorithm can determine whether any given CNF formula is satisfiable in limited time. DPLL algorithm and resolution refutation are two key methods resolving SAT problems.
- 研究CNF公式的改名有助于改進(jìn)DPLL算法.Renaming for CNF formulas may help to improve DPLL algorithm.
- Horn公式到MU(1)公式的擴張問(wèn)題可在多項式時(shí)間內解決,但對一般CNF公式F的擴張問(wèn)題,至今尚未解決。It is known that the problem of extending a Horn formula into a MU(1) formula is solvable in polynomial time. But for a general satisfiable CNF formula F,the extension problem is still open.
- 并且,給出了CNF到(r,s)-CNF公式轉換以及(r,s)-CNF中不可滿(mǎn)足公式構造的原理和方法.The principle and method for transforming CNF to (r,s)-CNF and constructing unsatisfiable formulas in (r,s)-CNF are presented.
- 采用示差掃描量熱法(DSC)研究了納米碳纖維對PP/CNF復合材料中PP結晶行為的影響。The effects of carbon nanofiber on the crystallization behavior of polypropylene in PP/CNF composites were studied with differential scanning calorimeter (DSC).
- 多元線(xiàn)性回歸multiple linear regression
- 考慮判定問(wèn)題“對于給定的CNF公式H和F是否存在一個(gè)變元(或文字)改名,使得(H)=F?” 的計算復雜性.This paper investigates the complexity of decision problem: for propositional CNF formulas H and F, does there exist a variable (or literal) renaming such that (H)=F?
- 多重共線(xiàn)性multicollinearity
- 除脊髓外，CnF的下行投射分布到上述核區及下丘深層、藍斑、中縫大核、中縫蒼白核和外側網(wǎng)狀核。The anterograde labeled fibers and terminals were similarly distributed to the localities mentioned above in (1),except for the spinal cord. And CnF also projected to the deep layer of inferior eolliculus,locus ceruleus, raphe magnus nueleus and lateral reticular nucleus.
- 為使轉換過(guò)程中引入較少的新變元,給出了CNF公式到3-CNF公式的一種新的轉換方法,對于長(cháng)度為l(>3)的子句,僅需引入?A new algorithm is presented to introduce less new variables in transformation from CNF to 3-CNF, which for clauses with length l(>3) only ?
- 該方法使用量化的合取范式 (CNF)來(lái)表示電路中出現的未知約束 ,并且不需要修改電路結構 ,有效地節省了計算資源 .This method uses quantified conjunctive normal form (CNF) formulas to represent the unknown constraints in the circuit under verification, and needs no modification of the circuit structure so that it saves the computational resources significantly.
- 線(xiàn)性相關(guān)矢量linearly dependent vector
- 函數f是否可計算是一個(gè)開(kāi)問(wèn)題,除了知道f(3)=3,f(4)=4外,只能估計f(r)的界. 描述了極小不可滿(mǎn)足公式在CNF公式類(lèi)之間轉換中的作用.One can only estimate some bounds of f(r) except for f(3)=3 and f(4)=4. In this paper, the applications of minimal unsatisfiable formulas are described for transformations between CNF formulas.
- .my.cnf file,使用選項文件,與MySQL服務(wù)器連接,拒絕訪(fǎng)問(wèn)錯誤的原因,使你的密碼安全,在多服務(wù)器環(huán)境中使用客戶(hù)端程序. My. Cnf file, Using Option Files, Connecting to the MySQL Server, Causes of Access denied Errors, Keeping Your Password Secure, Using Client Programs in a Multiple-Server Environment
- Ｘ射線(xiàn)性皮炎X-ray dermatitis
- 一個(gè)CNF公式F稱(chēng)為極小不可滿(mǎn)足的(MU)，如果F是不可滿(mǎn)足，并且在F中刪去任意一個(gè)子句后所得到的公式是可滿(mǎn)足的。A CNF formula F is minimal unsatisfiable (MU) if F is unsatisfiable and deleting an arbitrary clause results a satisfiable formula.
- 音圈電機的控制采用一種積分增強的組合非線(xiàn)性反饋(CNF)控制技術(shù),實(shí)現快速和平穩的設定點(diǎn)跟蹤,消除擾動(dòng)因素可能造成的靜態(tài)誤差;Then the controller for VCM is designed using an integral-enhanced composite nonlinear feedback (CNF) control technology, which is capable of fast and smooth set-point tracking without static error.
- ｎ維線(xiàn)性空間n-dimensional linear space
- 奈培公式Napier equation
