-
1 decision-directed DPLL
система цифровой ФАПЧ ( ЦФАПЧ) с решающей обратной связьюАнгло-русский словарь промышленной и научной лексики > decision-directed DPLL
-
2 Digital Phase Lock Loop
Abbreviation: DPLLУниверсальный русско-английский словарь > Digital Phase Lock Loop
-
3 digital phase locked loop
Engineering: DPLLУниверсальный русско-английский словарь > digital phase locked loop
-
4 система цифровой ФАПЧ с решающей обратной связью
Engineering: decision-directed DPLLУниверсальный русско-английский словарь > система цифровой ФАПЧ с решающей обратной связью
-
5 digital phase lock loop
abbr. DPLLцифровой контур ФАПЧ (контур ФАПЧ, состоящий из цифровых элементов; в соответствии с классификацией, введённой Линдсеем, все цифровые контуры ФАПЧ делятся на четыре основные категории - с сигналом рассогласования прямоугольной формы, коэффициент заполнения которого пропорционален фазовой ошибке, с различением опережения и отставания фазы входного сигнала, с дискретизацией при частоте Найквиста и с дискретизацией в Моменты пересечения нулевого уровня); см. также lag/lead digital phase lock loop, Nyquist rate digital phase lock loopАнгло-русский словарь промышленной и научной лексики > digital phase lock loop
См. также в других словарях:
DPLL — stands for: DPLL algorithm, for solving the boolean satisfiability problem Digital phase locked loop, an electronic feedback system that generates a signal This disambiguation page lists articles associated with the same title. If an internal li … Wikipedia
DPLL — Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom. DPLL est un sigle pouvant désigner : en informatique théorique, l algorithme de Davis Putnam Logemann Loveland (en) est utilisé pour résoudre… … Wikipédia en Français
DPLL-Алгоритм — Алгоритм Дэвиса–Патнема–Логемана–Лавленда (DPLL) это полный алгоритм поиска с возвратом для определения выполнимости булевых формул, записанных в конъюнктивной нормальной форме, т.е. для решения задачи CNF SAT. Алгоритм был опубликован в 1962… … Википедия
DPLL algorithm — The Davis–Putnam–Logemann–Loveland (DPLL) algorithm is a complete, backtracking based algorithm for deciding the satisfiability of propositional logic formulae in conjunctive normal form, i.e. for solving the CNF SAT problem. It was introduced in … Wikipedia
DPLL — Digital Phase Locked Loop … Acronyms
DPLL — Digital Phase Locked Loop … Acronyms von A bis Z
Algoritmo DPLL — El algoritmo DPLL/Davis Putnam Logemann Loveland es un algoritmo completo basado en la vuelta atrás que sirve para decidir la satisfacibilidad de las fórmulas de lógica proposicional en una forma normal conjuntiva, es decir, para resolver el… … Wikipedia Español
Satisfiability Modulo Theories — (SMT) problem is a decision problem for logical formulas with respect to combinations of background theories expressed in classical first order logic with equality. Examples of theories typically used in computer science are the theory of real… … Wikipedia
Boolean satisfiability problem — For the concept in mathematical logic, see Satisfiability. 3SAT redirects here. For the Central European television network, see 3sat. In computer science, satisfiability (often written in all capitals or abbreviated SAT) is the problem of… … Wikipedia
Satisfiability Modulo Theories — В программировании, Satisfiability Modulo Theories (SMT) это задача разрешимости для логических формул с учётом лежащих в их основе теорий. Примерами таких теорий для SMT формул являются: теории целых и вещественных чисел, теории списков,… … Википедия
Problema de satisfacibilidad booleana — Saltar a navegación, búsqueda En teoría de la complejidad computacional, el Problema de satisfacibilidad booleana (SAT) fue el primer problema identificado como perteneciente a la clase de complejidad NP completo. Se trata de un problema donde… … Wikipedia Español
