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 24 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 …
-
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 …
-
Regionale Niederschlagsänderungen in Namibia bei anthropogen verstärktem Treibhauseffekt
… berechnet werden. Nach der Verifikation der statistischen Zusammenhänge in einem unabhängigen Zeitraum werden Regressionsmodelle jener Stationen bzw. Gitterpunkte selektiert, die mit signifikanten Korrelationen von r>0.4 zwischen beobachteten und modellierten Werten …
-
Engineering wissensbasierter Navigation und Steuerung autonom-mobiler Systeme
… die einerseits die Entwicklung und Verifikation der Spezifikation mit existierenden Werkzeugen erlaubt und andererseits die effiziente, parallele Ausführung auf geeigneten Rechensystemen ermöglicht. Zusätzlich wird die Voraussetzung geschaffen, verschiedene weitere, für die Steuerung …
-
Formal Specification and Rule-Based Refinement of Software Components
… gründliche mathematische Modellierung und die Verifikation der gewünschten Funktionalität. Darüber hinaus stellen Kompositionsoperatoren Korrektheit und Konsistenz sowohl für Basiskomponenten als auch für zusammengesetzte Komponenten sowie das gesamte komponentenbasierte System sicher. …
-
Optimierung von Bewegungsbahnen in der Kegelstrahl-Tomografie
… Bildqualität in den relevanten Regionen. Zur Verifikation des erarbeiteten Algorithmus sind in der vorliegenden Arbeit zunächst die entstandenen Methoden untersucht worden. Bei der Dosismessung zeigten sich die erwarteten Abhängigkeiten zur Photonenzahl und -energie. Die zwei eingeführten und …
-
Increasing the Legal Probative Value of Cryptographically Private Malleable Signatures
… des Unterzeichners durchgeführt werden. Bei der Verifikation der digitalen Signatur durch den Signaturprüfer bleibt der ursprüngliche Signierende und dessen Einwilligung zur autorisierten Änderung kryptographisch verifizierbar, auch wenn autorisierte Änderungen vorgenommen wurden. Die Arbeit …
-
Amplituden der Kernphasen im Bereich der Kaustik B und Untersuchung der Struktur der Übergangszone zum inneren Erdkern mit spektralen Amplituden der diffraktierten Phase PKP(BC)
… zeigen als Modelle ohne diese Übergangszone. Zur Verifikation dieser These wird ein Erdmodell, das keinen verringerten Gradienten oberhalb der GIK besitzt (PREM), durch eine Reihe unterschiedlicher Geschwindigkeitsverläufe in diesem Bereich ergänzt und deren synthetische Seismogramme berechnet. …
Page 1 of 2