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 16 of 16 for “"Automaten"”.
-
Struktur und Verhalten von verteilten endlichen Automaten
… Verhaltens des endlichen asynchronen Automaten definiert. Die Teilklassen werden unabhängig vom Automatentyp charakterisiert, so daß sie allgemeine Eigenschaften nebenläufigen Verhaltens beschreiben. Es werden Eigenschaften der Sprachklassen und Beziehungen zwischen den Sprachklassen …
-
Simulation strukturabhängiger geo-biologischer Prozesse in porösen Medien mittels zellulärer Automaten
… Gleichungen gelöst werden. Zelluläre Automaten bieten einen geeigneten Weg, um nicht nur die Strömung in solchen komplexen geometrischen Strukturen zu simulieren, sondern auch biochemische Reaktionen der transportierten Substanzen und sogar die Änderung der Geometrie aufgrund von …
-
Decomposition of stability proofs for hybrid systems
… für solche Systeme sind hybride Automatenmodelle, endliche Automaten angereichert mit Differentialgleichungen. Im Rahmen dieser Arbeit wird eine wichtige Eigenschaft solcher Systeme untersucht: Stabilität. Stabile Systeme sind in der Lage, temporäre Störungen auszuregeln, indem …
-
To and Fro Between Tableaus and Automata for Description Logics
… von DL-Ausdruecken sind Tableau- und Automaten-basierte Algorithmen. Diese haben aufgrund ihrer unterschiedlichen Arbeitsweise komplementaere Eigenschaften: Tableau-Algorithmen eignen sich fuer Implementierungen und fuer den Nachweis von PSPACE- und NEXPTIME-Resultaten, waehrend …
-
Methoden der Künstlichen Intelligenz in Radarmeteorologie und Bodenerosionsforschung
… für ein Erosivitätsmodell, das aus Zellulären Automaten aufgebaut wird. Die Ergebnisse des Erosivitätsmodells werden vorgestellt und diskutiert.
-
Die frühen Phasen des konstruktiven Entwerfens - Unterstützungspotential verschiedenartiger Arbeitsmittel
… wie Papier und Bleistift auch computerisierte Automaten wie z. B. CAD-Systeme. CAD-Systeme sind durch die bereitgestellten Funktionalitäten heutzutage ein wesentliches Arbeitsmittel für den Konstrukteur; die für die außerordentlich komplexen, kostenbestimmenden frühen Entwurfsphasen wichtigen …
-
Komponentenbasierte Softwareentwicklung für datenflußorientierte eingebettete Systeme
… von Komponenten eingeführt. Fifomaten (Fifo-Automaten) dienen als formale Grundlage. Mittels eines dezidierten Model-Checking-Verfahrens wird das Zusammenspiel der Fifomaten daraufhin untersucht, ob ein zyklischer Schedule existiert. Die Existenz eines solchen zyklischen Schedules schließt …
-
Finite-State Genericity : on the Diagonalization Strength of Finite Automata
… diese, um die Diagonalisierungsst¨arke endlicher Automaten zu erforschen. Wir konzentrieren uns hierbei auf die beschr¨ankte finite-state-Generizit¨at und Spezialf ¨alle hiervon, die wir durch die Beschr¨ankung auf totale Erweiterungsfunktionen bzw. auf Erweiterungen konstanter L¨ange erhalten. …
-
Foundations of Regular Languages for Processing RDF and XML
… reguläre Sprachen, wie zum Beispiel endlichen Automaten oder logischen Charakterisierungen, als effizient wie auch nutzerfreundlich durchgesetzt. Um den einzelnen Anforderungen in den verschiedenen praktischen Anwendungen gerecht zu werden, sind außerdem mit der Zeit mehrere Varianten regulärer …
-
Formal Specification and Rule-Based Refinement of Software Components
… wie algebraische Spezifikationen, Automaten, Petrinetze und Graphtransformationssysteme. Petrinetztransformationen und Petrinetzmodule werden tiefergehend untersucht, um darzustellen, dass diese Konzepte, die aus der Datentypspezifikation stammen, auch für Prozessspezifikationen …
-
Synthese monodisperser, multifunktionaler Poly(amidoamine) und ihre Anwendung als nicht-virale Vektoren für die Gentherapie
… so dass mit Hilfe eines Peptidsynthese-Automaten die Synthese vollständig automatisiert werden konnte. Die Verwendung spezieller Trägerharze, die bereits mit einem synthetischen Polymerblock wie PEO oder auch mit einem Peptid vorbeladen waren, erlaubt die direkte Synthese von PEO- und …
-
Prädiktiver Wert sensorischer Laboruntersuchungen für den Getränkekonsum älterer Menschen unter Alltagsbedingungen
… aus einem speziell für die Studie konzipierten Automaten Getränke in Einrichtungen der Gemeinschaftsverpflegung entnehmen konnten. Die Entnahme war via Chipkarte ad libitum möglich. Computergestützt wurden dabei individuelle Getränkewahl, Menge und Entnahmezeit aufgezeichnet. Unmittelbar nach …
-
Axiom-Pinpointing in Description Logics and Beyond
Building and mantaining large-scale ontologies is an error-prone task. It is thus not uncommon to find unwanted or unexpected consequences that follow implicitely from the restrictions in the ontology. To understand and correct these consequences, it is helpful to find the specific portions of the …
-
The Forbidden Pattern Approach to Concatenation Hierarchies
The thesis looks at the question asking for the computability of the dot-depth of star-free regular languages. Here one has to determine for a given star-free regular language the minimal number of alternations between concatenation on one hand, and intersection, union, complement on the other …
-
Forbidden-Patterns and Word Extensions for Concatenation Hierarchies
Starfree regular languages can be build up from alphabet letters by using only Boolean operations and concatenation. The complexity of these languages can be measured with the so-called dot-depth. This measure leads to concatenation hierarchies like the dot-depth hierarchy (DDH) and the closely …
-
Lattice-gas cellular automata for the analysis of cancer invasion
Cancer cells display characteristic traits acquired in a step-wise manner during carcinogenesis. Some of these traits are autonomous growth, induction of angiogenesis, invasion and metastasis. In this thesis, the focus is on one of the latest stages of tumor progression, tumor invasion. Tumor …