Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
DPLL
Vertaling van "DPLL" in Duits
DPLL
DPLL and destuffing circuit using the same
DPLL und Entstopfungsschaltung unter Verwendung derselben
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.
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.
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.
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.
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).
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.
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).
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.
Allowable values are: dpll
Erlaubte Werte sind: dpll
Further, it is shown that both the original DPLL calculus and the conflict-directed backtracking calculus with clause learning, as it is implemented in many current SAT solvers, are complete and proof-confluent instances of the LD calculus.
Weiterhin wird gezeigt, dass sowohl der ursprüngliche DPLL-Kalkül als auch der konfliktgesteuerte Rücksetzalgorithmus mit Klausellernen, wie er in vielen aktuellen SAT-Beweisern implementiert ist, vollständige und beweiskonfluente Spezialisierungen des LD-Kalküls sind.
Instead of the PLL, the DPLL algorithm is used to reconstruct the clock signal from the MFM data.
A method according to claim 4, in which the output phase of said Digital Phase Locked Loop (DPLL) reproduces the phase obtained by an Analog Phase Locked Loop (APLL) with a phase difference as minimum as possible.
Verfahren nach Anspruch 4, bei dem die Ausgangsphase der digitalen phasensynchronisierten Schaltung (DPLL-Schaltung) die durch eine analoge phasensynchronsierte Schaltung (APLL-Schaltung) erhaltene Phase mit der kleinstmöglichen Phasendifferenz reproduziert.
For example, I tried to understand why certain theorem proving algorithms (in particular, the family of DPLL algorithms extended with clause learning) often work efficiently in practical applications, and what are their fundamental limitations.
Unter anderem habe ich untersucht, warum bestimmte Beweisalgorithmen (speziell die Familie der um das Lernen von Konfliktklauseln erweiterten DPLL-Algorithmen) in praktischen Anwendungen oft effizient arbeiten und wo ihre theoretischen Grenzen liegen.
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).
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.
This paper describes the proof calculus LD for clausal propositional logic, which is a linearized form of the well-known DPLL calculus extended by clause learning.
Dieser Artikel beschreibt den Beweiskalkül LD für aussagenlogische Formeln in Klauselform. Dieser Kalkül ist eine um Klausellernen erweiterte linearisierte Variante des bekannten DPLL-Kalküls.
In this paper we try to improve this situation by developing a nondeterministic proof calculus that models the functioning of SAT algorithms based on the DPLL calculus extended with clause learning.
Mit diesem Artikel versuchen wir, diese Situation durch die Entwicklung eines nichtdeterministischen Beweiskalküls zu verbessern, der die Arbeitsweise von SAT-Algorithmen modelliert, die auf dem um das Lernen von Konfliktklauseln erweiterten DPLL-Kalkül basieren.
Ga naar Premium voor toegang tot miljoenen vertaalvoorbeelden, onbeperkt woorden opslaan en leren, zonder advertenties.
Synoniemen voor DPLL in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 16. Exact: 16. Verstreken tijd: 39 ms.
