| 释义 |
DPLL
基本例句
数字锁相环¹⁰⁰
Renaming for CNF formulas may help to improveDPLLalgorithm.研究CNF公式的改名有助于改进DPLL算法.
Data acquisition system composed byDPLLand mcroprocessor the possibility of improving S/N ratio are recommended.讨论了由DPLL和微处理机结合组成的数据采集系统，信噪比改善的可能性。
A SAT algorithm can determine whether any given CNF formula is satisfiable in limited time.DPLLalgorithm and resolution refutation are two key methods resolving SAT problems.一个SAT算法能在有限时间内判定任意给定的CNF公式是否可满足，DPLL算法和消解反驳法是判定SAT问题的两个重要方法。
After analyzing the basic heuristics used inDPLLand its advanced reasoning techniques, we presented a modified FLD procedure with our Dynamic Filtering heuristic.并在此基础上,针对高级推理过程,提出了具有动态删除策略的改进了的失败性文字检查过程。
Presents a kind ofDPLLbit synchronization implementation method, all based on digital circuits. All the cells are emulated with Electronic Workbench 5.0a.介绍一种数字通信系统位同步单元的全数字电路实现方法及其工作原理，并给出了计算机仿真结果。
There are 4 typical DPD inDPLL, they aretrigger, LL-DPD,zero detection, Nyquist.the paper design theDPLLbased on CPLD according to the working principle of theDPLL.在数字锁相环中，所有部件都用数字电路实现。 |