@phdthesis{Hanning2002, author = {Hanning, Tobias}, title = {Vektorielle Mehrniveaupassung. Anwendungen in der Bildsegmentierung}, url = {http://nbn-resolving.de/urn:nbn:de:bvb:739-opus-295}, school = {Universit{\"a}t Passau}, year = {2002}, abstract = {Die Anwendungen der vektoriellen Mehrniveaupassung in der Bildsegmentierung stehen in unmittelbarer Nachbarschaft zum verbreiteten Ansatz, Bilder mit Methoden der Variationsrechnung {\"u}ber einen Energieterm zu segmentieren. Beiden Verfahren ist gemeinsam, daß sie versuchen, das gegebene Bild durch st{\"u}ckweise stetige Funktionen zu approximieren. Die maximalen Teilmengen des Definitionsbereichs, auf denen die approximierende Funktion stetig ist, bilden dann die Segmente. Im Gegensatz zu dem in der Literatur h{\"a}ufig unter dem Schlagwort Mumford-Shah-Modell bekannten Energieminimierungsverfahren ist der Raum der Funktionen, mit denen das Bild approximiert wird, bei der vektoriellen Mehrniveaupassung ein endlicher Vektorraum. Ein weiterer Unterschied zu diesem Ansatz ist das System der erlaubten Mengen. Es werden nur Segmentierungen erlaubt, deren Segmente aus diesem Mengensystem sind. Die durch diese Einschr{\"a}nkung schlankere Theorie f{\"u}hrt zu einer gesicherten Existenz einer optimalen L{\"o}sung des Segmentierungsproblems, die der g{\"a}ngigen Vorstellung einer Segmentierung gen{\"u}gt. Die Berechnung lokaler Optima ist algorithmisch innerhalb der Theorie umsetzbar.}, subject = {Bildsegmentierung}, language = {de} } @phdthesis{Fischer2001, author = {Fischer, Bernd}, title = {Deduction-Based Software Component Retrieval}, url = {http://nbn-resolving.de/urn:nbn:de:bvb:739-opus-231}, school = {Universit{\"a}t Passau}, year = {2001}, abstract = {Deduction-based software component retrieval is a software reuse technique that uses formal specifications as component descriptors and as search keys; matching components are identified using an automated theorem prover. This dissertation contains a detailed theoretical investigation of the concept as well as the first substantial experimental evaluation of its technical feasibility.}, subject = {Software engineering}, language = {en} } @phdthesis{Braumandl2002, author = {Braumandl, Reinhard}, title = {Quality of Service and Optimization in Data Integration Systems}, url = {http://nbn-resolving.de/urn:nbn:de:bvb:739-opus-279}, school = {Universit{\"a}t Passau}, year = {2002}, abstract = {This work presents techniques for the construction of a global data integrations system. Similar to distributed databases this system allows declarative queries in order to express user-specific information needs. Scalability towards global data integration systems and openness were major design goals for the architecture and techniques developed in this work. It is shown how service composition, extensibility and quality of service can be supported in an open system of providers for data, functionality for query processing operations, and computing power.}, subject = {Dienstg{\"u}te}, language = {en} } @phdthesis{MianSyed2001, author = {Mian Syed, Alexandra}, title = {Engineering wissensbasierter Navigation und Steuerung autonom-mobiler Systeme}, url = {http://nbn-resolving.de/urn:nbn:de:bvb:739-opus-159}, school = {Universit{\"a}t Passau}, year = {2001}, abstract = {Die autonome Steuerung mobiler, technischer Systeme in nicht exakt vorherbestimmbaren Situationen erfordert Methoden der autonomen Entscheidungsfindung, um ein planvolles, zielgerichtetes Agieren und Reagieren unter Echtzeitbedingungen realisieren zu k{\"o}nnen. W{\"a}hrend mittels mathematischer Formeln Basisverhalten, wie beispielsweise in einer Geradeausbewegung, einer Drehung, bei einem Abbremsen, und in Gefahrenmomenten schnelle Reaktionen, berechnet werden, ben{\"o}tigt man auf der anderen Seite ein Regelsystem, um dar{\"u}ber hinaus "intelligentes", d.h. situationsangepaßtes Verhalten zu produzieren und gleichzeitig im Hinblick auf ein Missionsziel planvoll agieren zu k{\"o}nnen. Derartige Regelsysteme m{\"u}ssen sich auf einer abstrakten Ebene formulieren lassen, sollen sie vom Menschen problemlos entwickelbar, leicht modifizierbarund gut verifizierbar bleiben. Eine aufgrund ihres Konzeptes geeignete Programmierwelt ist die Logikprogrammierung. Ziel der Logikprogrammierung ist es weniger, Arbeitsabl{\"a}ufe zu beschreiben, als vielmehr Wissen in Form von Fakten zu spezifizieren und mit Hilfe von Regeln Schlußfolgerungen aus diesen Fakten ziehen zu k{\"o}nnen. Die klassische Logikprogrammierung ist jedoch aufgrund ihres Auswertungsmechanismus der SLD-Resolution (linear resolution with selected function for definite clauses) zu langsam f{\"u}r die Anwendung bei Echtzeitsystemen. Auch parallele Sprachformen, die ebenfalls mit SLD-Resolution arbeiten, erreichen beim Einsatz auf (von Neumann-) Mehrprozessorsystemen bislang nicht die notwendige Effizienz. Das Anwendungsgebiet der deduktiven Datenbanken hat im Vergleich dazu durch Bottom-Up Techniken einen anderen Auswertungsansatz mit deutlich h{\"o}herer Effizienz geliefert. Viele dort auftretenden Probleme k{\"o}nnen jedoch nur durch die Integration anforderungsgetriebener Abarbeitung gel{\"o}st werden. Auf der anderen Seite stellen Datenflußrechnerarchitekturen aufgrund der automatisierten Ausbeutung feink{\"o}rniger Parallelit{\"a}t einen hervorragenden Ansatz der Parallelverarbeitung dar. Bei Datenflußrechnerarchitekturen handelt es sich um (Mehrprozessor-) Systeme, deren datengetriebener Abarbeitungsmechanismus sich grundlegend vom weit verbreiteten kontrollflußgesteuerten von Neumann-Prinzip unterscheidet.{\"U}berlegungen zur Struktur von Steuerungssystemen werden ergeben, daß es mittels Ans{\"a}tzen aus dem Gebiet der deduktiven Datenbanken m{\"o}glich ist, ein f{\"u}r diese Aufgabenstellung neuartiges, ausschließlich datengetriebenes Auswertungsmodell zu generieren. Dabei vermeidet es Probleme, die bei Bottom-Up Verfahren auftreten k{\"o}nnen, wie z.B. das Auftreten unendlicher Wertemengen und die sp{\"a}te Einschr{\"a}nkung auf relevante Werte, ohne gleichzeitig die Stratifizierung von Programmen zu gef{\"a}hrden. Ergebnis der Arbeit ist eine anwendungsbezogene, problemorientierte Entwicklungsumgebung, die einerseits die Entwicklung und Verifikation der Spezifikation mit existierenden Werkzeugen erlaubt und andererseits die effiziente, parallele Ausf{\"u}hrung auf geeigneten Rechensystemen erm{\"o}glicht. Zus{\"a}tzlich wird die Voraussetzung geschaffen, verschiedene weitere, f{\"u}r die Steuerung autonomer Systeme unverzichtbare Komponenten in das Abarbeitungsmodell zu integrieren. Simulationsergebnisse werden belegen, daß das vorgestellte Berechnungsmodell bez{\"u}glich realer Anwendungsbeispiele bereits in einer Monoprozessorversion Echtzeitbedingungen gen{\"u}gt. Damit ist die Voraussetzung f{\"u}r die Ausf{\"u}hrung zuk{\"u}nftiger, weitaus komplexerer Steuerungsprobleme, ggf. auf Mehrprozessorsystemen, in Echtzeit geschaffen.}, subject = {Autonomer Roboter}, language = {de} } @phdthesis{Bachl2001, author = {Bachl, Sabine}, title = {Isomorphe Subgraphen und deren Anwendung beim Zeichnen von Graphen}, url = {http://nbn-resolving.de/urn:nbn:de:bvb:739-opus-149}, school = {Universit{\"a}t Passau}, year = {2001}, abstract = {In der Arbeit wird der Begriff der Isomorphen Subgraphen definiert. Anschließend werden theoretische und praktische Ergebnisse bei der Erkennung Isomorpher Graphen er{\"o}rtert.}, subject = {Isomorpher Teilgraph}, language = {de} } @phdthesis{Zukowski2001, author = {Zukowski, Ulrich}, title = {Flexible Computation of the Well-Founded Semantics of Normal Logic Programs}, url = {http://nbn-resolving.de/urn:nbn:de:bvb:739-opus-226}, school = {Universit{\"a}t Passau}, year = {2001}, abstract = {The well-founded semantics has been accepted as the most relevant semantics for logic-based information systems. In this dissertation a framework based on a set of program transformations is presented that generalizes all major computation approaches for the well-founded semantics using a common data structure and provides a common language to describe their evaluation strategy. This rewriting system gives the formal background to analyze and combine different evaluation strategies in a common framework, or to design new algorithms and prove the correctness of its implementations at a high level just by changing the order of program transformations.}, subject = {Logische Programmierung}, language = {en} } @phdthesis{Boerncke2000, author = {B{\"o}rncke, Frank}, title = {Modellierung syntaktischer Strukturen nat{\"u}rlicher Sprachen mit Graphgrammatiken}, url = {http://nbn-resolving.de/urn:nbn:de:bvb:739-opus-28}, school = {Universit{\"a}t Passau}, year = {2000}, abstract = {Die vorliegende Arbeit erschließt durch die Formalisierung einer linguistischen Theorie M{\"o}glichkeiten zum Entwurf generischer Verfahren zur Verarbeitung nat{\"u}rlicher Sprachen. Zu diesem Zweck setzen wir Graphsprachen f{\"u}r die Modellierung syntaktischer Strukturen ein. Damit lassen sich Ergebnisse der linguistischen Forschung mit Begriffen der Graphentheorie beschreiben und bewerten. Zu diesem Ansatz motiviert der Umstand, daß in der Linguistik im Rahmen der Syntax jedem Satz einer nat{\"u}rlichen Sprache eine nichtsequentielle Struktur zugesprochen wird. Diese Struktur {\"u}berlagert die lineare Wortfolge, die wir als Satz kennen. Eine Menge solcher syntaktischen Strukturen die wir mit Graphen modellieren k{\"o}nnen betrachten wir als Graphsprache. Die Arbeit zeigt, wie sich solche Graphsprachen mit Hilfe von Graphgrammatiken beschreiben lassen. Wie alle formalen Sprachen zeichnen sich auch Graphgrammatiken dadurch aus, daß sie mathematisch wohldefniert sind. Dies stellt eine notwendige Voraussetzung dar, um Aussagen {\"u}ber eine Sprache zu beweisen. Von Interesse ist dabei vor allem die Untersuchung unendlicher Mengen. Das Ziel besteht dann darin, f{\"u}r sie eine endliche Beschreibung zu finden. Diese Aufgabe wird in der Regel von einer Grammatik erf{\"u}llt. Dar{\"u}ber hinaus ist man an erkennenden Algorithmen f{\"u}r Sprachen interessiert, die das Wortproblem effizient l{\"o}sen. Bez{\"u}glich nat{\"u}rlicher Sprachen werden beide Aufgabenstellungen in dieser Arbeit mit Hilfe von Graphgrammatiken gel{\"o}st.}, subject = {Graphensprache}, language = {de} } @phdthesis{Wichert2000, author = {Wichert, Carl-Alexander}, title = {ULTRA - A Logic Transaction Programming Language}, url = {http://nbn-resolving.de/urn:nbn:de:bvb:739-opus-105}, school = {Universit{\"a}t Passau}, year = {2000}, abstract = {Rule-based language for the specification of complex database updates and transactions. Formal treatment of the syntax and the declarative semantics}, subject = {Programmierlogik}, language = {en} } @phdthesis{Dolzmann2000, author = {Dolzmann, Andreas}, title = {Algorithmic strategies for applicable real quantifier elimination}, url = {http://nbn-resolving.de/urn:nbn:de:bvb:739-opus-64}, school = {Universit{\"a}t Passau}, year = {2000}, abstract = {One of the most important algorithms for real quantifier elimination is the quantifier elimination by virtual substitution introduced by Weispfenning in 1988. In this thesis we present numerous algorithmic approaches for optimizing this quantifier elimination algorithm. Optimization goals are the actual running time of the implementation of the algorithm and the size of the output formula. Strategies for obtaining these goals include simplification of first-order formulas,reduction of the size of the computed elimination set, and condensing a new replacement for the virtual substitution. Local quantifier elimination computes formulas that are equivalent to the input formula only nearby a given point. We can make use of this restriction for further optimizing the quantifier elimination by virtual substitution. Finally we discuss how to solve a large class of scheduling problems by real quantifier elimination. To optimize our algorithm for solving scheduling problems we make use of the special form of the input formula and of additional information given by the description of the scheduling problem}, subject = {Quantorenelimination}, language = {en} } @phdthesis{Urban2004, author = {Urban, Christoph}, title = {Das Referenzmodell PECS - Agentenbasierte Modellierung menschlichen Handelns, Entscheidens und Verhaltens}, url = {http://nbn-resolving.de/urn:nbn:de:bvb:739-opus-471}, school = {Universit{\"a}t Passau}, year = {2004}, abstract = {Die Agententechnologie hat in den letzten Jahren eine rasante Entwicklung erfahren und mittlerweile großen Einfluss auf verschiedene Bereiche in Wissenschaft und Technik genommen. Insbesondere wurde die agentenbasierte Modellbildung und Simulation als wirkungsvolles Mittel f{\"u}r die Untersuchung realer oder hypothetischer Systeme erkannt. Im Vordergrund stehen hierbei ganz besonders Systeme, die durch menschliches Handeln, Entscheiden und Verhalten beeinflusst werden, oder der Mensch selbst, um seine Eigenschaften und F{\"a}higkeiten aus den Blickwinkeln unterschiedlicher wissenschaftlicher Disziplinen heraus weiterf{\"u}hrend zu erforschen. Das prim{\"a}re Ziel der vorliegenden Arbeit besteht darin, den Entwurf agenten-basierter Simulationsmodelle, in denen menschliches Handeln, Entscheiden und Verhalten von ausschlaggebender Bedeutung sind, auf konzeptioneller Ebene zu unterst{\"u}tzen. Um dieses Ziel zu erreichen, wird das dom{\"a}nen- und theorieunabh{\"a}ngige Referenzmodell PECS vorgestellt, das Strukturierungsprinzipien aus der Informatik mit systemtheoretischen Ans{\"a}tzen verbindet, um das Wechselspiel vielf{\"a}ltiger Einflussbereiche auf das menschliche Handeln im Rahmen einer integrativen und umfassenden Agentenarchitektur abzubilden. Auf Grundlage des Referenzmodells werden insgesamt vier charakteristische Fallstudien aus der Psychologie, der Sozialpsychologie, der Soziologie und der experimentellen {\"O}konomie entwickelt, um den Einsatz des Referenzmodells in der Praxis zu demonstrieren.}, subject = {Agent }, language = {de} }