Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
Solver state
Examples with "Solver state" and their translation in Duits
The Solver state is designated by an icon displayed before the name of the subassembly.
Der Auflösestatus wird durch ein Symbol angegeben, das vor dem Namen der Unterbaugruppe angezeigt wird.
Surrogate Optimization Checkpoints Store solver state at each iteration, and resume optimization from a stored state
Speichern Sie den Zustand des Solvers in jeder Iteration und setzen Sie die Optimierung aus einem gespeicherten Zustand fort.
A message is also displayed on the Solver row to indicate the current Solver state.
Zudem wird in der Solver-Zeile eine Meldung mit dem aktuellen Solver-Status angezeigt.
It prevents the solver state from changing too abruptly.
Dadurch wird der Auflösungsstatus nicht zu abrupt geändert.
Andere resultaten
If then still all component solvers state their pure constraint problem is solvable, then the original mixed problem has a solution.
Sagen dann noch alle Komponentenlöser, daß ihre reinen Constraintprobleme lösbar sind, so ist auch das ursprüngliche gemischte Problem lösbar.
A constraint solver is an algorithm that decides the constraint language or a fragment of it. In other words, given a formula, the constraint solver states whether the formula holds true in the solution domain.
Der Constraint-Löser schließlich entscheidet ein Fragment der Constraint-Sprache, das heißt, er entscheidet für jede Formel des Fragments, ob die Formel in der Lösungsstruktur wahr ist.
Z88Aurora uses three numerical solvers for steady state thermal and thermal-mechanical simulations respectively
Z88Aurora nutzt drei numerische Gleichungslöser für die stationär thermischen bzw. thermomechanischen Berechnungen
Following the demand for increased proof automation in the interactive theorem prover Isabelle, this thesis describes how SMT solvers improve on the state of the art.
Der Nachfrage nach erhöhter Beweisautomatisierung für den interaktiven Theorembeweiser Isabelle folgend zeigt diese Arbeit, wie SMT-Löser den Stand der Technik verbessern können.
THE PROBLEM SOLVER "We produce state-of-the-art, highly efficient cleaning agents and remain fully aware of our responsibility towards the environment of tomorrow."
Easily switch among multiple solvers according to the type of system you are analyzing: Saint Venant equations, convex/gradually varied flow solver (steady-state analysis for extreme flow conditions and extended period simulations), and rational/gradually varied flow solver.
Einfaches Wechseln zwischen mehreren Lösern je nach gerade analysiertem Systemtyp: Saint-Venant-Gleichungen, konvex/graduell variierte Strömungslöser (Gleichgewichtszustandsanalyse für extreme Strömungsbedingungen und erweiterte Zeitraumsimulationen) und rationell/graduell variierte Strömungslöser.
The properties of multicomponent fluid mixtures were computed by using gEOSkit, an equation of state solver assembled for two-phase, multisalt (Na-Ca-K-Mg-Cl-HCO3) and multigas (CO2-N2-CH4-H2S) geothermal fluids.
Die Eigenschaften von Mehrkomponenten-Fluidgemischen wurden unter Verwendung von gEOSkit, einer Zustandsgleichungslöser für zweiphasige, multisalt (Na-Ca-K-Mg-Cl-HCO3) und multigas (CO2-N2- CH4-H2S) geothermische Flüssigkeiten, berechnet.
The resulting program is then evaluated by a state-of-the-art ASP solver.
Das entstehende Programm kann von herkömmlichen ASP-Systemen ausgewertet werden.
OptiStruct is a state-of-the-art solver with non-linear capabilities for ply-based modeling.
OptiStruct ist ein sehr moderner Solver und bietet Einsatzmöglichkeiten im nichtlinearen Bereich bei der lagenbasierenden Modellierung.
Synoniemen voor Solver state in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 58. Exact: 4. Verstreken tijd: 232 ms.
