Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
DPLL
Vertaling van "DPLL" in Engels
DPLL und Entstopfungsschaltung unter Verwendung derselben
DPLL and destuffing circuit using the same
Andererseits gibt es für die klassischen Backtracking Algorithmen (DPLL) sehr gute Heuristiken und Implementierungen, die selbst sehr große Testinputs in akzeptabler Zeit bewältigen.
On the other hand, there are very good heuristics and implementations for the classic backtracking algorithms (DPLL), which can solve even very large inputs with hundred thousands of variables and millions of clauses in reasonably short time.
Vorrichtung gemäß irgendeinem der Ansprüche 1 bis 4, dadurch gekennzeichnet, daß sie Mittel zum Erkennen einer Leitungstrennung vom Netz und zusätzlich zur Erkennung Mittel zum Zurücksetzen des DPLL (203) enthält.
Apparatus according to any one of claims 1-4 characterized in that it includes means for detecting a line disconnection with said network, and means for resetting said DPLL (203) further to said detection.
Anstelle des PLL wird nun der DPLL Algorithmus benützt, um das Clock Signal aus den MFM Daten zu gewinnen.
Instead of the PLL, the DPLL algorithm is used to reconstruct the clock signal from the MFM data.
Anordnung nach Anspruch 7, dadurch gekennzeichnet , daß der Frequenzsynthesizer (FSYN), der Frequenzbewerter (FB), der digitale Phasenregelkreis (DPLL) und der Frequenzteiler (FT) auf einem Taktgenerator-Schaltkreis (TG-ASIC) integriert sind.
A device according to Claim 7 characterised in that the frequency synthesiser (FSYN), the frequency evaluator (FB), the digital phase control circuit (DPLL) and the frequency divider (FT) are integrated on a clock generator switching circuit (TG-ASIC).
Vorrichtung gemäß irgendeinem der Ansprüche 1 bis 4, dadurch gekennzeichnet, daß sie Mittel zum Zurücksetzen des DPLL (203) bei jedem Auftreten einer von einer angeschlossenen Datenendeinrichtung (DTE) empfangenen Sendeanforderung enthält.
Apparatus according to any one of claims 1-4 characterized in that it includes means for resetting said DPLL (203) on every occurrence of a Request to Send received from an attached Data Terminating Equipment (DTE).
Erlaubte Werte sind: dpll
Allowable values are: dpll
ZL50019 Datasheet pdf - Erhöhter 2 K Führung TDM Schalter mit Schicht 4E DPLL - Zarlink Semiconductor
ZL50020 Datasheet pdf - Enhanced 2 K Channel TDM Switch with rate conversion - Zarlink Semiconductor
Vorrichtung gemäß Anspruch 1 oder 2, dadurch gekennzeichnet, daß die Leitungsschnittstellen-Schaltungen einen digitalen Phasenregelkreis mit einem Korrekturschritt enthalten, der kleiner als die vom DPLL (203) erzeugte Abweichung ist.
Apparatus according to claim 1 or 2 characterized in that said line interface circuits include a digital phase locked loop having a correction step which is smaller than the jitter which is introduced by said DPLL (203).
Die derzeit besten SAT-Solver für industrielle Anwendungen basieren auf verbesserten Versionen des DPLL-Algorithmus. DPLL ist ein Suchalgorithmus, der von einer Vielzahl von Heuristiken gesteuert wird.
The most efficient SAT solvers for industrial SAT problems are based on enhanced versions of the DPLL algorithm which employs a number of heuristics to guide the search for a solution.
Zusammenfassung der Prädikatenlogik erster Stufe; das Resolutionsverfahren; Vollständigkeit der Resolution (Herbrand-Theorem, semantische Bäume); Verfeinerungen der Resolution; die DPLL Methode für das Erfüllbarkeitsproblem; Sequenzenkalkül; das Theorema-System.
Subject Summary of first order predicate logic; the resolution method; completeness of resolution (Herbrand Theorem, semantic trees); refinements of resolution; the DPLL method for SAT; sequent calculus; the Theorema system.
Ga naar Premium voor toegang tot miljoenen vertaalvoorbeelden, onbeperkt woorden opslaan en leren, zonder advertenties.
Synoniemen voor DPLL in het Duits
Resultaten: 11. Exact: 11. Verstreken tijd: 34 ms.
