德语
英语
Ve·ri·fi·ka·ti·on <-, -en> [verifikaˈtsi̯o:n] 名词 f 法律
- Verifikation 书
-
英语
德语
-
- Verifikation f <-, -en>
无例句可用
请尝试其他条目。
单语范例（未经PONS编辑处理）
Anwendung der konzipierten Lösungsmöglichkeit in der Realsituation: Beurteilung oder Verifikation der Richtigkeit des Ansatzes durch die praktischen Konsequenzen.
de.wikipedia.org Die industrielle Verwendung von Theorembeweisern oder Modellprüfern konzentriert sich zurzeit noch schwerpunktmäßig auf die Verifikation von integrierten Schaltkreisen und Prozessoren.
de.wikipedia.org Unter Layoutentwurf einer elektronischen Schaltung (Schaltkreis, Multi-Chip-Modul, Leiterplatte) versteht man das Erstellen und die Verifikation der geometrischen Anordnung der Zellen bzw. Bauelemente und ihrer Verbindungen.
de.wikipedia.org Außerdem befasst er sich mit Modaler Logik, Entscheidungstheorie, verteiltem Rechnen (und Fehlertoleranz bei verteiltem Rechnen), Programm-Verifikation, Kausalität, Semantik von Programmiersprachen.
de.wikipedia.org Verifikationismus ist eine Position in der Sprachphilosophie, der zufolge der Sinn eines Satzes in der Methode seiner Verifikation besteht.
de.wikipedia.org 互联网提供的例句（未经PONS编辑处理）
[...]
www.itm.uni-stuttgart.de Wegen der starken Vernetzung und Verkopplung der physikalischen Vorgänge beim Hören erfordert diese Aufgabe oft ein sehr umfassendes Betrachten zur Datengewinnung und Verifikation der postulierten Modelle und der gefundenen Parameter.
[...][...]
Because of the strong networking and coupling of physical processes in hearing this task often requires a very comprehensive look at the data collection and verification of the postulated models and the parameters found.
[...][...]
www.scch.at Durch die systematische Verfeinerung und Verifikation von Spezifikationen und die automatische Erzeugung von Software aus Modellen können verschiedene Technologien und Plattformen parallel eingesetzt werden, ohne die aufwändige und mühsame Rekonstruktion des technischen Domänenmodells aus einer konkreten, technologieabhängigen Implementierung.
[...][...]
Systematic refinement and verification of specifications and automatic generation of software from models enables the parallel use of different technologies and platforms without the costly and cumbersome reconstruction of the technical data model from a concrete technology-bound implementation.
[...][...]
www.informatik.uni-wuerzburg.de Dies umfasst den Entwurf integrierter Schaltungen, deren Analyse durch Simulation oder formale Verifikation, die rechnergestützte Synthese und Optimierung digitaler Schaltkreise, automatische Layout-Synthese, Diagnose und Test von Schaltkreisen und Systemen sowie den Entwurf dazugehöriger wiederverwendbarer Anwendungssoftware.
[...][...]
This includes the design of integrated circuits, their analysis using simulation as well as formal verification, computer-aided synthesis and optimization of digital circuits, automatic layout synthesis, diagnostics and testing of circuits and systems, and finally the design of associated but reusable application software.
[...][...]
ilh.uni-paderborn.de Die Forschungsaktivitäten erstrecken sich von der Konzeption und Auslegung von Leichtbaukomponenten über die Berechnung und Simulation bis hin zur experimentellen Verifikation der Forschungsergebnisse.
[...]
The activities includes the design and interpretation of lightweight components, the calculation and simulation as well as the experimental verification of research results.
[...]
agrosy.informatik.uni-kl.de Anfragen für die Verifikation verhaltensbasierter Systeme sollen automatisch generiert werden.
[...][...]
Queries for the verification of behaviour-based systems shall be generated automatically.
[...]