您希望如何使用 PONS.com?

已经订阅无广告版的PONS了吗?

广告版的PONS

像往常一样访问PONS.com并进行广告跟踪和广告投放

有关追踪的详细信息,请参阅数据保护信息和隐私设置

PONS Pur

无第三方广告

无广告跟踪

立即订阅

如果您已经拥有PONS.com免费账户,

We process your data to deliver content or advertisements and measure the delivery of such content or advertisements to extract insights about our website. We share this information with our partners on the basis of consent and legitimate interest. You may exercise your right to consent or object to a legitimate interest, based on a specific purpose below or at a partner level in the link under each purpose. These choices will be signaled to our vendors participating in the Transparency and Consent Framework.

Cookies, device or similar online identifiers (e.g. login-based identifiers, randomly assigned identifiers, network based identifiers) together with other information (e.g. browser type and information, language, screen size, supported technologies etc.) can be stored or read on your device to recognise it each time it connects to an app or to a website, for one or several of the purposes presented here.

Advertising and content can be personalised based on your profile. Your activity on this service can be used to build or improve a profile about you for personalised advertising and content. Advertising and content performance can be measured. Reports can be generated based on your activity and those of others. Your activity on this service can help develop and improve products and services.

c.
verification
德语
德语
英语
英语
Ve·ri·fi·ka·ti·on <-, -en> [verifikaˈtsi̯o:n] 名词 f 法律
Verifikation
英语
英语
德语
德语
Verifikation f <-, -en>
PONS OpenDict

您想添加一个词、一个短语或一段译文吗?

請將您的新條目傳送給 PONS OpenDict。 提交的建議將由 PONS 編輯部審核,並根據情況納入結果。

添加词条
No example sentences available

No example sentences available

Try a different entry

单语范例(未经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编辑处理)
[...]
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.
[...]
www.itm.uni-stuttgart.de
[...]
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.
[...]
[...]
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.
[...]
www.scch.at
[...]
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.
[...]
[...]
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.
[...]
www.informatik.uni-wuerzburg.de
[...]
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.
[...]
[...]
Die Forschungsaktivitäten erstrecken sich von der Konzeption und Auslegung von Leichtbaukomponenten über die Berechnung und Simulation bis hin zur experimentellen Verifikation der Forschungsergebnisse.
ilh.uni-paderborn.de
[...]
The activities includes the design and interpretation of lightweight components, the calculation and simulation as well as the experimental verification of research results.
[...]
Anfragen für die Verifikation verhaltensbasierter Systeme sollen automatisch generiert werden.
[...]
agrosy.informatik.uni-kl.de
[...]
Queries for the verification of behaviour-based systems shall be generated automatically.
[...]