| 释义 |
cnf 'si:'en'ef COCA²⁵⁴³³⁷⁺⁶BNC²³⁶²¹³⁺¹
基本例句
=chronic nodular fibrositis 慢性结节性纤维织炎,=congenital nephrotic(syndrome,finnish) 费氏先天性肾变病综合征
A CNF formula F is minimal unsatisfiable if F is unsatisfiable and the resulting formula deleting anyone clause from F is satisfiable.
一个公式是极小不可满足的是指该公式本身不可满足，而且从中删去任意一个子句后得到的公式可满足。 iciba
As mentioned, we are shifting some of the implementation burden to the CNF.
如前所述，我们将一些实现工作转移给了 CNF。 ibm
But CNF originally does not take into account disturbance factors impacting on the systems.
但是 CNF技术原先并没有考虑扰动因素对系统的影响问题。 degree.fzu.edu.cn
Experimental results indicate that the adsorption capacity of hydrogen isotopes on601 is higher than that on AC or CNF at liquid nitrogen temperature and CNF has the smallest adsorption capacity.
实验结果表明：601对氢同位素的吸附量为最高、 AC次之、 CNF最小，并存在明显的同位素效应； cnki
In the presence of disturbance, the output of systems under the CNF control usually will have a steady state error.
当系统中存在扰动时， CNF控制下的系统输出通常都会有稳态误差。 degree.fzu.edu.cn
Please quote us for the supply of the items on the enclosed enquiry form, giving your prices CNF Lagos.
请按随函所附询价单开列的产品报来拉哥斯成本加运费价。218.85.130.148
Renaming for CNF formulas may help to improve DPLL algorithm.
研究CNF公式的改名有助于改进 DPLL算法。 dj.client.iciba.com
The next step is to configure the CNF attributes for our plug-in, which will dictate the default behavior of our navigator.
下一步是配置插件的 CNF属性，该属性用于指定导航器的默认行为。 ibm
The seller's obligations under CNF terms are almost the same with CIF terms except for insurance.
到岸价条款下的卖方责任除保险外，几乎与到岸加保险价相同。 sdwfvc
These clauses are appended to the existing CNF database and they will prune the search space of SAT- solver engine and enhances the Boolean Constraint PropagationBCP.
将这些子句加入原有的 CNF表达数据中，可以减少 SAT解决器的搜索空间并且加速BCP过程。 cnki |