Modularität und Wiederverwendung

Tagungsband - Vorträge vom Automation Symposium 2006

Modularität und Wiederverwendung

Vorträge / Präsentationen des Automation Symposiums 2008

CD-Systems of Restarting Automata

Die vorliegende Arbeit behandelt Restartautomaten und Erweiterungen von Restartautomaten. Restartautomaten sind ein Werkzeug zum Erkennen formaler Sprachen. Sie sind motiviert durch die linguistische Methode der Analyse durch Reduktion und wurden 1995 von Jancar, Mráz, Plátek und Vogel eingeführt. Restartautomaten bestehen aus einer endlichen Kontrolle, einem Lese/Schreibfenster fester Größe und einem flexiblen Band. Anfänglich enthält dieses sowohl die Eingabe als auch Bandbegrenzungssymbole. Die Berechnung eines Restartautomaten läuft in so genannten Zyklen ab. Diese beginnen am linken Rand im Startzustand, in ihnen wird eine lokale Ersetzung auf dem Band durchgeführt und sie enden mit einem Neustart, bei dem das Lese/Schreibfenster wieder an den linken Rand bewegt wird und der Startzustand wieder eingenommen wird. Die vorliegende Arbeit beschäftigt sich hauptsächlich mit zwei Erweiterungen der Restartautomaten: CD-Systeme von Restartautomaten und nichtvergessende Restartautomaten. Nichtvergessende Restartautomaten können einen Zyklus in einem beliebigen Zustand beenden und CD-Systeme von Restartautomaten bestehen aus einer Menge von Restartautomaten, die zusammen die Eingabe verarbeiten. Dabei wird ihre Zusammenarbeit durch einen Operationsmodus, ähnlich wie bei CD-Grammatik Systemen, geregelt. Für beide Erweiterungen zeigt sich, dass die deterministischen Modelle mächtiger sind als deterministische Standardrestartautomaten. Es wird gezeigt, dass CD-Systeme von Restartautomaten in vielen Fällen durch nichtvergessende Restartautomaten simuliert werden können und andererseits lassen sich auch nichtvergessende Restartautomaten durch CD-Systeme von Restartautomaten simulieren. Des Weiteren werden Restartautomaten und nichtvergessende Restartautomaten untersucht, die nichtdeterministisch sind, aber keine Fehler machen. Es zeigt sich, dass diese Automaten durch deterministische (nichtvergessende) Restartautomaten simuliert werden können, wenn sie direkt nach der Ersetzung einen neuen Zyklus beginnen, oder ihr Fenster nach links und rechts bewegen können. Außerdem gilt, dass alle (nichtvergessenden) Restartautomaten, die zwar Fehler machen dürfen, diese aber nach endlich vielen Zyklen erkennen, durch (nichtvergessende) Restartautomaten simuliert werden können, die keine Fehler machen. Ein weiteres wichtiges Resultat besagt, dass die deterministischen monotonen nichtvergessenden Restartautomaten mit Hilfssymbolen, die direkt nach dem Ersetzungsschritt den Zyklus beenden, genau die deterministischen kontextfreien Sprachen erkennen, wohingegen die deterministischen monotonen nichtvergessenden Restartautomaten mit Hilfssymbolen ohne diese Einschränkung echt mehr, nämlich die links-rechts regulären Sprachen, erkennen. Damit werden zum ersten Mal Restartautomaten mit Hilfssymbolen, die direkt nach dem Ersetzungsschritt ihren Zyklus beenden, von Restartautomaten desselben Typs ohne diese Einschränkung getrennt. Besonders erwähnenswert ist hierbei, dass beide Automatentypen wohlbekannte Sprachklassen beschreiben.

Molekulare Studien zur Evolution der Myrmekophytie in der Gattung Macaranga (Euphorbiaceae)

Im Rahmen der vorliegenden Arbeit wurde eine detaillierte phylogenetische Analyse der Ameisenpflanzen aus der Gattung Macaranga (Euphorbiaceae) und ihres verwandtschaftlichen Umfelds mit Hilfe von AFLP-Fingerprinting („amplified fragment length polymorphisms“) sowie vergleichender Analyse von mehreren nichtkodierenden Chloroplasten-DNA-Loci vorgenommen. Anhand dieser Untersuchungen sollten im Wesentlichen die folgenden Fragen geklärt werden: (1) Wie stellen sich die Verwandtschaftsverhältnisse zwischen den myrmekophytischen Macaranga-Sektionen Pachystemon, Winklerianae und Pruinosae dar? (2) Wie sind die einzelnen Arten dieser Sektionen miteinander verwandt? (3) Wie oft ist die Lebensweise ”Myrmekophytie” unabhängig voneinander entstanden? Gibt es Hinweise auf Reversionen? (4) Wo liegt genealogisch und auch geographisch der Ursprung der Symbiose zwischen den myrmekophytischen Macaranga-Arten und ihren Partnerameisen? (5) Welche Bedeutung spielen koevolutive Entwicklungen für das Macaranga-Crematogaster-Symbiosesystem? Ist Myrmekophytie im Sinne einer Schlüsselinnovation (Givnish, 1997) als Stimulus für eine adaptive Radiation zu betrachten? (1) Für die AFLP-Analyse wurden 108 Proben aus 43 Macaranga-Arten und 5 unbeschriebenen Morphospezies in die phylogenetische Untersuchung einbezogen. Auf der Basis von 426 Merkmalen wurden Phänogramme sowie Kladogramme rekonstruiert. Zur statistischen Absicherung wurden Bootstrap-Analysen durchgeführt und im Falle der Kladogramme darüber hinaus der „consistency“-Index bestimmt. Die AFLP-Datensätze wurden zusätzlich einer Hauptkomponentenanalyse unterzogen. Mit Hilfe der verschiedenen Untersuchungsmethoden konnten weitgehend übereinstimmende Gruppierungen bzw. evolutive Linien identifiziert werden. Die Sektionen Pachystemon und Pruinosae bilden eine jeweils gut gestützte monophyletische Gruppe. Beide sind vermutlich Schwestergruppen und damit gleich alt. Für die Monophylie der nur aus zwei Arten bestehenden Sektion Winklerianae ergab sich keine Unterstützung. Die Arten der Sektion Pruinosae sind im AFLP-Baum gut aufgelöst. Die nicht myrmekophytische M. gigantea sitzt dabei an der Basis und ist Schwestergruppe zu den myrmekophytischen Arten. Innerhalb der Sektion Pachystemon wurden mit Hilfe der AFLP-Analyse vier gut gestützte Gruppen identifiziert. Für die puncticulata-Gruppe konnte hier erstmals auf molekularer Ebene eine Zugehörigkeit zur Sekt. Pachystemon nachgewiesen werden. Der von Davies (2001) vorgenommene Ausschluss von M. recurvata aus der Sekt. Pachystemon konnte bestätigt werden. Die Verwandtschaftsbeziehungen einzelner Arten zueinander sind in den AFLP-Bäumen nicht aufgelöst. (2) Für die vergleichende Chloroplasten-Sequenzierung wurden nach Maßgabe der Sequenzvariabilität in Testsequenzierungen die Bereiche atpB-rbcL und psbI-trnS für die phylogenetische Untersuchung ausgewählt. Für die Chloroplasten-Phylogenie wurden für jeden Locus mehr als 100 Sequenzen analysiert. Neben 29 Pachystemon-Arten inkl. vier unbekannter Morphospezies, acht Pruinosae-Arten inkl. eines möglichen Hybriden und den beiden Arten der Sekt. Winklerianae wurden 22 weitere Macaranga- und 10 Mallotus-Arten in die Untersuchung einbezogen. Zwischen den südostasiatischen Arten bestanden nur geringe Sequenzunterschiede. Maximum-Parsimonie-Kladogramme wurden rekonstruiert und die Sequenzen der beiden Loci wurden sowohl einzeln, als auch kombiniert ausgewertet. Indels wurden kodiert und als separate Merkmalsmatrix an die Sequenzdaten angehangen. Innerhalb von Macaranga konnten nur wenige abgesicherte Gruppen identifiziert werden. Deutlich war die Zusammengehörigkeit der afrikanischen Arten und ihr Entstehung aus den südostasiatischen Arten. Die von Davies (2001) der Sektion Pruinosae zugeordnete M. siamensis steht deutlich außerhalb dieser Sektion. Die Arten der Sektionen Pruinosae, Pachystemon und Winklerianae bilden keine statistisch gesicherten monophyletischen Gruppen. Während der Pilotstudien stellte sich heraus, dass die Chloroplastensequenzen nahe verwandter Arten der Sektion Pachystemon weniger nach den Artgrenzen, sondern vielmehr nach geographischen Kriterien gruppierten. (3) Es wurde daher zusätzlich eine phylogeographische Analyse der Chloroplasten-Sequenzen auf der Basis eines Parsimonie-Netzwerks durchgeführt. Neben dem atpB-rbcL-Spacer und einer Teilsequenze des psbI-trnS-Locus (ccmp2) wurde dafür zusätzlich der ccmp6-Locus (ein Abschnitt des ycf3-Introns) sequenziert. Die phylogeographische Untersuchung wurde mit 144 Proben aus 41 Macaranga-Arten durchgeführt. Darin enthalten waren 29 Arten (inkl. vier Morphospezies) mit 112 Proben der Sektion Pachystemon, sieben 7 Arten (inkl. eines potentiellen Hybriden) mit 22 Proben der Sekt. Pruinosae und zwei Arten mit 5 Proben der Sekt. Winklerianae. Das voll aufgelöste statistische Parsimonie-Netzwerk umfasste 88 Haplotypen. Die Sektionen Pachystemon und Pruinosae bilden jeweils eine monophyletische Gruppe. Das geographische Arrangement der Haplotypen unabhängig von der Artzugehörigkeit könnte durch Introgression und/oder „lineage sorting“ bedingt sein. Mit Hilfe der im Rahmen dieser Arbeit gewonnenen Ergebnisse kann man davon ausgehen, dass eine enge Ameisen-Pflanzen-Symbiose innerhalb der Gattung Macaranga mindestens drei-, möglicherweise viermal unabhängig voneinander entstanden ist Eine Reversion hat mindestens einmal, möglicherweise häufiger in der bancana-Gruppe stattgefunden. Ob sich die Symbiose dabei in Westmalaysia oder in Borneo entwickelt hat, kann man nicht sicher sagen; Ob und inwieweit die große Artenzahl in der bancana-Gruppe als eine Folge der Myrmekophytie anzusehen ist, bleibt zunächst offen. Wesentliche Teile der vorliegenden Arbeit liegen bereits in publizierter Form vor (AFLP-Analyse: Bänfer et al. 2004; Chloroplasten-Analyse: Vogel et al. 2003; Bänfer et al. 2006).

Abgrenzung bestehender Beschreibungsmittel für die Modellierung und Spezifikation von Manufacturing Execution Systems

Die Modellierung und Spezifikation von Manufacturing Execution Systems (MES) als prozessnah operierende Software-Systeme stellt eine Herausforderung interdisziplinärer Kommunikation dar. Bisher existiert kein grafisches Beschreibungsmittel, das diesen Prozess ausdrücklich unterstützt. In diesem Diskussionspapier werden bestehende Beschreibungsmittel aus angrenzenden Bereichen, wie die Business Process Modeling Notation, Petrinetze, die formalisierte Prozessbeschreibung oder die Unified Modelling Language anhand allgemeiner und MES-spezifischer Anforderungen auf ihre Eignung untersucht. Es wurden erhebliche Lücken bei der Erfüllung der Anforderungen durch bestehende Beschreibungsmittel identifiziert.

Leseratte oder Technikfreak? – Studienfachwahl von Studierenden der Anglistik, Elektrotechnik und Informatik

Zentrale Forschungsförderung der Universität Kassel (ZFF)

Untersuchung der Adsorptionskinetik photoschaltbarer azobenzolfunktionalisierter selbstorganisierter Monolagen mit optischer Frequenzverdopplung

In dieser Arbeit wurde das Adsorptionsverhalten zweier azobenzolfunktionalisierter Liganden auf Goldoberflächen untersucht. Diese Liganden zeichnen sich dadurch aus, dass sie mithilfe von Licht bestimmter Wellenlängen zwischen zwei Isomerisierungszuständen – sowohl in Lösung als auch in den auf der Oberfläche resultierenden Monolage – hin und her geschaltet werden können. Somit ist es möglich, Oberflächen herzustellen, deren physikalische und chemische Eigenschaften zwischen zwei Zuständen variiert werden können. Die Messungen des Adsorptionsverhaltens wurden mittels optischer Frequenzverdopplung durchgeführt. Diese Messmethode ist höchst grenzflächensensitiv und ermöglicht es somit die Adsorption der Liganden in situ und ich Echtzeit zu verfolgen. Neben den Adsorptionsmessungen wurde auch die Phase des frequenzverdoppelten Signals über eine Interferenzmethode gemessen. Die Ergebnisse dieser Phasenmessungen ermöglichen es, eine Aussage über eine mögliche Nichtlinearität der untersuchten Moleküle zu treffen. An die in den Adsorptionsmessungen gewonnenen Messdaten wurden drei kinetische Standardmodelle angepasst. Beschreibt eines dieser Modelle den im Experiment bestimmten Adsorptionsverlauf, kann eine Aussage über die zugrunde liegenden Prozesse des Adsorptionsvorganges getroffen werden. Die Ergebnisse der Adsorptionsmessungen zeigen einen deutlichen Einfluss des Isomerisierungszustandes der Liganden auf den Verlauf der Adsorption. Liegen die Moleküle im geschalteten Zustand vor, so verläuft die Adsorption langsamer. Weiterhin konnte gezeigt werden, dass ebenso intermolekulare Wechselwirkungen über Wasserstoffbrückenbindungen einen verlangsamenden Einfluss auf die Adsorption der Liganden haben. In den durchgeführten Phasenmessungen zeigte sich darüber hinaus, dass Liganden, die über an die Azobenzolgruppe angebundene Amidgruppen verfügen, eine Nichtlinearität aufweisen. Diese Nichtlinearität ist zudem vom Isomerisierungszustand der Liganden abhängig. In den kinetischen Untersuchungen konnte darüber hinaus gezeigt werden, dass sich die Adsorption der Liganden bis auf eine Ausnahme durch die Langmuirkinetik 2. Ordnung beschreiben lässt. Somit handelt es ich bei der Adsorption der untersuchten Liganden um eine Reaktion, der eine Bindungsspaltung voran geht. Dieser Befund konnte durch Vergleich mit weiteren Experimenten bestätigt werden.