Im Rahmen des Projektes 'AgentWork' wird ein Workflow-Management-System entwickelt, das es ermöglicht, Workflows zur Laufzeit zu adaptieren, wenn aufgrund eines Anwendungsereignisses die logische Struktur des Workflows nicht mehr adäquat ist. Dazu ist es insbesondere erforderlich, solche Ereignisse zu erkennen, den betroffenen Workflow zu unterbrechen, zu adaptieren und anschließend den adaptierten Workflow weiter auszuführen. In der Arbeit wurden die Algorithmen für die Arbeit des sogenannten Adaptations-Agenten entwickelt, der die eigentlichen Adaptationen an nicht mehr adäquaten Workflows vornimmt. Dazu wird zuerst der Teil des Workflows bestimmt, der von einem Anwendungsereignis betroffen ist. Anschliessend wird dieser Teil durch Adaptationen des Kontroll- und Datenflusses an die veränderte Situation angepasst. Im Rahmen der Arbeit wurde auch eine prototypische Implementierung des Adaptations-Agenten erstellt.

In this work, new definitions of hypergraph products are presented. The main focus is on the generalization of the commutative standard graph products: the Cartesian, the direct and the strong graph product. We will generalize these well-known graph products to products of hypergraphs and show several properties like associativity, commutativity and distributivity w.r.t. the disjoint union of hypergraphs. Moreover, we show that all defined products of simple (hyper)graphs result in a simple (hyper)graph. We will see, for what kind of product the projections into the factors are (at least weak) homomorphisms and for which products there are similar connections between the hypergraph products as there are for graphs. Last, we give a new and more constructive proof for the uniqueness of prime factorization w.r.t. the Cartesian product than in [Studia Sci. Math. Hungar. 2: 285–290 (1967)] and moreover, a product relation according to such a decomposition. That might help to find efficient algorithms for the decomposition of hypergraphs w.r.t. the Cartesian product.

This thesis presents a novel approach to operation-centric tracing for hardware debug with a retrospective analysis of traces which are distributed across a computer system. Therefore, these traces record entries about the operations at runtime, and a software tool correlates these entries after a problem occurred. This tool is based on a generic method using identifiers saved from operations. Because identifiers are changed along the path of an operation through the system and traces record different information, the entries are transformed to find matching entries in other traces. After the correlation, the method reconstructs the operation paths with help of an operation graph which describes for each type of operation the subtasks and their sequence. With these paths the designer gets a better overview about the chip or system activity, and can isolate the problem cause faster. The TRACE MATCHER implements the described method and it is evaluated with an example bridge chip. Therefore, the benefit for hardware debug, correctness of the reconstructed paths, the performance of their Implementation, and the configuration effort are evaluated. At the end guidelines for trace and system design describe how matching can be improved by carefully designed identifiers at operations.

Das Prinzip des embodiment könnte autonome Roboter ermöglichen, die mit ihrer Umwelt in sinnvoller und selbstständiger Weise agieren. Dafür scheint ein kombiniertes Verhaltensmuster, bestehend aus explorativen sowie sensitiven Aktivitäten, geeignet zu sein. Ein Schwerpunkt dieser Arbeit liegt in der Zeitreihenanalyse mit der Mutual Information als ein ausgewähltes informationstheoretisches Maß bezüglich des Verhaltens selbstorganisierender autonomer Roboter. Für die verwendete Simulationsumgebung lpzrobots, welche von der Robotik-Gruppe von Prof. R. Der entwickelt wurde, erfolgt erstmalig die Erstellung einer handbuchartigen Dokumentation. Zusätzliche Erweiterungen für lpzrobots sind ebenfalls eine wichtiger Aspekt in dieser Arbeit. Die Robotik-Gruppe von Prof. R. Der entwarf für die Steuerung realer Roboter mit dem Simuationssystem lpzrobots ein Embedded-Controller-Board. Das Board ermöglicht die modulare und flexible Konstruktion von Robotern.

Automatische Segmentation anatomischer Strukturen an MRT-Daten des menschlichen Gehirns mit Active Appearance Modellen

Das Wissen über die zellularen und molekularen Mechanismen, die Stammzellen befähigen das hämatopoetische System aufrecht zuerhalten, ist weitgehend unvollständig. Es existieren verschiedene Theorien darüber, in wie weit zell- oder systemspezifische Einflüsse die Selbsterneuerung und die Differenzierungprozesse der hämatopoetischen Stammzellen steuern. Eine experimentelle Möglichkeit zur Überprüfung der Hypothesen sind Repopulationsexperimente mit verschieden Zellpopulationen. Die Zellkulturen bestanden aus Nachkommen einer einzigen Stammzelle oder aus verschiedenen Stammzellen. Es liegen Resultate vor, die zeigen, dass Transplantationen mit kleinen Zellzahlen eine starke Heterogenität erzeugen. Repopulationen mit grossen Transplantaten zeigen eine kleine Variabilität in den Zellanteilen. Es konnten langfristige Trends in den Zellkinetiken festgestellt werden. Im Rahmen dieser Arbeit wurden durch biologische Annahmen über die Zelleigenschaften und die Umsetzung des experimentellen Ablaufes verschiedene Modellszenarien entwickelt und simuliert. Modellannahmen und Parameterwahl basieren hierbei auf den experimentellen Beobachtungen. Es wird untersucht, welche zell- bzw. systemspezifischen Einflussfaktoren notwendig sind, um die gewünschte Variabilität im Repopulationsverhalten zu erzeugen.

There are two main approaches to solve the problem of finding closed geodesics on a Riemannian manifold M. The variational approach views a closed geodesic as a closed curve which happens to be a geodesic and it looks for critical points of the energy functional, while the dynamical systems approach views a closed geodesic as a geodesic which happens to close up and looks for periodic orbits of the geodesic ow on the unit tangent bundle.

The thesis is concerned with modeling and simulation of autonomous robots in order to investigate emergent behavior of situated agents interacting with their environment. First, models are proposed to capture the essentials of real-world physics for simple objects and their interaction within the world. These models are then embedded into a coherent framework (DEVS) to allow their discrete-event driven execution on a computer. In the remaining part, the notion of homeokinesis is discussed in detail and proves to provide a sound framework for emergence of behavior. Experiments are conducted at this stage, which utilize the simulator developed in the first part. Resulting emergent behavior is presented and investigated in detail. Finally an encountered limitation in the orginal formulation of homeokinetic control is remedied by application of recurrent neural networks.

Die vorliegende Arbeit beschäftigt sich mit folgender matrizieller Version eines klassischen, auf I. Schur zurückgehenden Interpolationsproblems: Schur-Problem.

Inhalt der Diplomarbeit ist die Entwicklung einer verteilten Anwendung zur rechnergestützten Durchführung von Bestellprozessen zwischen den Einrichtungen (Fakultäten, Institute und Dezernate) und der zentralen Beschaffung der Universität Leipzig. Im Rahmen dieser Aufgabe wird nach einer eingehenden Analyse der Prozesse zwischen den beteiligten Parteien eine Applikation auf Basis einer Dreischicht-Architektur mit javasierten Application-Servern entwickelt. Weitere Bestandteile der Arbeit sind Untersuchungen zum Performanceverhalten der Applikation unter verschiedenen Application-Servern und ein Ausblick zu Einsatzgebieten eines Data Warehouses im Rahmen der Applikation. Die entwickelte Applikation ist seit März April 2002 im produktiven Einsatz.