Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 20 of 38 for “"Verifikation"”.
-
Entwicklung, Simulation und formale Verifikation eines optimierten DSP-Kerns
Diese Diplomarbeit beschäftigt sich mit der Entwicklung eines digitalen Signalprozessorkerns, der als Referenz-Design für durchzuführende Tests eines neu entwickelten Synthesewerkzeugs dienen soll. Da man mit diesem Werkzeug das Ziel verfolgt, ausgehend von Eigenschaftsbeschreibungssätzen …
-
Systemsimulationen zur funktionalen Verifikation von HF- und Mixed-Signal-Schaltungen
With integrated Circuits getting more and more complex, the "human factor" is the biggest uncontrollable source of errors in the design process, leading to several design iterations. The resulting delays in time to market and additional costs for process and human resources are the cause of a high …
-
Binäre Expression-Diagramme
… (BDDs) vor, die im Bereich der Logiksynthese und Verifikation des Rechnerentwurfs ihre Anwendung finden.
-
COMDES: Simulations- undVerifikationstechiken für den Hardware Entwurf auf Systemebene
… Methoden der Spezifikation, Simulation und Verifikation in einer homogenen Entwicklungsumgebung, welche alle Phasen eines formal korrekten Entwurfs unterstützt. Die Arbeit stellt - ausgehend von einer Systembeschreibung aus Sicht des Designers - die verwandten Technologien dar. Basierend auf …
-
Prozessorientiertes Produktqualitätsmonitoring für die Entwicklung elektronischer Systeme
… prozessorientierte Interpretation anfallender Verifikation & Validierungsergebnisse. Hierdurch ermöglicht die entwickelte Lösung eine entwicklungsbegleitende kontextbezogenen Qualitätsauswertung, sowie eine effiziente Anpassung der Qualitätsdefinition auf konkrete Projekte. Der verfolgte …
-
System verification tools based on Monadic Logics
… in der Informatik zum Zweck der formalen Systemverifikation verwendet. Entscheidungsverfahren für diese Logiken wurden in verschiedenen Werkzeugen wie z.B. Mona, MOSEL und dem Step System implementiert und teilweise erfolgreich in unterschiedlichen Anwendungsgebieten, vor allem in der Hardware- …
-
Sprachliche Innovation - lokale Ursachen und globale Wirkungen: das 'Dynamische Sprachnetz'
… reversibler Sprachwandel behandelt werden. Zur Verifikation des Modells wurde dieses in einer Simulation implementiert. Mit dem Ergebnis einer solchen Simulation wurde eine hinreichend große, bereits vorher in Oldenburg vorhandene Datenmenge über deutsche Lehnwörter im Polnischen verglichen. Es …
-
Untersuchungen an weich schaltenden DC/DC Konvertern zur Versorgung von Hochleistungs-Diodenlasern
… eingesetzt werden kann. Eine experimentelle Verifikation der Topologie und ein Vergleich mit anderen Konzepten wird durchgeführt.
-
Entwicklung von hochauflösenden T2-Messverfahren zur Bestimmung von dreidimensionalen Dosisverteilungen mit Hilfe der MR-Gel-Dosimetrie und deren Anwendung in der Strahlentherapie
… erzeugt, deren dreidimensionale Verifikation ein wichtiger Bestandteil der Qualitätskontrolle ist. Die Dosimetrie mit Polymergelen beruht auf der Messung der Spin-Spin-Relaxationsrate R2. Das Ziel dieser Arbeit war die Weiterentwicklung und Optimierung geeigneter Messtechniken zur …
-
Transformation-Based Component Architectures - General Framework, Instantiations and Case Study
… formaler Analysetechniken, zum Beispiel formale Verifikation und Model-Checking, auf entsprechende komponentenbasierte Architekturspezifikationen. Trotzdem ist es möglich das Konzept mit Techniken ohne formale mathematische Semantik zu instantiieren. Das vorgestellte Konzept kann als eine …
-
Implizite und explizite semantische Beeinträchtigungen bei Patienten mit leichtgradigen Demenzerkrankungen
… Pyramids and Palm Trees Test und semantische Verifikation) zur Untersuchung expliziten (kontrollierten) semantischen Wissens. <br>Während sich bei der semantischen Bahnungsuntersuchung nur diskrete Hinweise auf eine gestörte Verarbeitung entfernter semantischer Beziehungen ergaben, zeigten 10 …
-
Gruppierung von Kontursegmenten mit Mechanismen perzeptiver Gruppierung
… Interpretation der Szene bedeuten. Die Verifikation der erzeugten Hypothesen erfolgt durch ihre Bewertung. Ein geeigneter Bewertungsmechanismus muss dabei gleichzeitig die lokale Interaktion der benachbarten Gruppenhypothesen sowie die Ermittlung einer global optimalen Interpretation …
-
Advanced Gateways in Automotive Applications
… interne Format des Gateways zu übersetzen. Die Verifikation eines solchen komplexen Gateway-Systems ist problematisch. Die Programmierung einer Restbussimulation wird üblicherweise manuell vorgenommen, was viel Zeit erfordert und fast nie den kompletten Bereich möglicher Gateway-Funktionen …
-
On a Prototype of an Optimal Control Problem Governed by Ordinary and Partial Differential Equations
… Resultaten von Kapitel 3, die numerische Verifikation der Optimalitätsbedingungen aus Kapitel 4, sowie das erneute (und wesentlich anspruchsvollere) Lösen mit einer indirekten (erst optimieren, dann diskretisieren) Methode. Zusätzlich wird noch auf die Verbindungen zwischen den …
Page 1 of 2