Automates à contraintes semilinéaires = Automata with a semilinear constraint

Cette thèse présente une étude dans divers domaines de l'informatique théorique de modèles de calculs combinant automates finis et contraintes arithmétiques. Nous nous intéressons aux questions de décidabilité, d'expressivité et de clôture, tout en ouvrant l'étude à la complexité, la logique, l'algèbre et aux applications. Cette étude est présentée au travers de quatre articles de recherche. Le premier article, Affine Parikh Automata, poursuit l'étude de Klaedtke et Ruess des automates de Parikh et en définit des généralisations et restrictions. L'automate de Parikh est un point de départ de cette thèse; nous montrons que ce modèle de calcul est équivalent à l'automate contraint que nous définissons comme un automate qui n'accepte un mot que si le nombre de fois que chaque transition est empruntée répond à une contrainte arithmétique. Ce modèle est naturellement étendu à l'automate de Parikh affine qui effectue une opération affine sur un ensemble de registres lors du franchissement d'une transition. Nous étudions aussi l'automate de Parikh sur lettres: un automate qui n'accepte un mot que si le nombre de fois que chaque lettre y apparaît répond à une contrainte arithmétique. Le deuxième article, Bounded Parikh Automata, étudie les langages bornés des automates de Parikh. Un langage est borné s'il existe des mots w_1, w_2, ..., w_k tels que chaque mot du langage peut s'écrire w_1...w_1w_2...w_2...w_k...w_k. Ces langages sont importants dans des domaines applicatifs et présentent usuellement de bonnes propriétés théoriques. Nous montrons que dans le contexte des langages bornés, le déterminisme n'influence pas l'expressivité des automates de Parikh. Le troisième article, Unambiguous Constrained Automata, introduit les automates contraints non ambigus, c'est-à-dire pour lesquels il n'existe qu'un chemin acceptant par mot reconnu par l'automate. Nous montrons qu'il s'agit d'un modèle combinant une meilleure expressivité et de meilleures propriétés de clôture que l'automate contraint déterministe. Le problème de déterminer si le langage d'un automate contraint non ambigu est régulier est montré décidable. Le quatrième article, Algebra and Complexity Meet Contrained Automata, présente une étude des représentations algébriques qu'admettent les automates contraints et les automates de Parikh affines. Nous déduisons de ces caractérisations des résultats d'expressivité et de complexité. Nous montrons aussi que certaines hypothèses classiques en complexité computationelle sont reliées à des résultats de séparation et de non clôture dans les automates de Parikh affines. La thèse est conclue par une ouverture à un possible approfondissement, au travers d'un certain nombre de problèmes ouverts.

Étude de cas sur l’ajout de vecteurs d’enregistrements typés dans Gambit Scheme

Dans le but d’optimiser la représentation en mémoire des enregistrements Scheme dans le compilateur Gambit, nous avons introduit dans celui-ci un système d’annotations de type et des vecteurs contenant une représentation abrégée des enregistrements. Ces derniers omettent la référence vers le descripteur de type et l’entête habituellement présents sur chaque enregistrement et utilisent plutôt un arbre de typage couvrant toute la mémoire pour retrouver le vecteur contenant une référence. L’implémentation de ces nouvelles fonctionnalités se fait par le biais de changements au runtime de Gambit. Nous introduisons de nouvelles primitives au langage et modifions l’architecture existante pour gérer correctement les nouveaux types de données. On doit modifier le garbage collector pour prendre en compte des enregistrements contenants des valeurs hétérogènes à alignements irréguliers, et l’existence de références contenues dans d’autres objets. La gestion de l’arbre de typage doit aussi être faite automatiquement. Nous conduisons ensuite une série de tests de performance visant à déterminer si des gains sont possibles avec ces nouvelles primitives. On constate une amélioration majeure de performance au niveau de l’allocation et du comportement du gc pour les enregistrements typés de grande taille et des vecteurs d’enregistrements typés ou non. De légers surcoûts sont toutefois encourus lors des accès aux champs et, dans le cas des vecteurs d’enregistrements, au descripteur de type.

Synthese von antiinflammatorischen Makrolactonen des Oxacyclododecindion-Typs und deren biologische Evaluierung

Die Sekundärmetabolite 4-Dechlor-14-deoxyoxacyclododecindion, 14-Deoxyoxacyclo-dodecindion und Oxacyclododecindion zeigten in ersten in vitro-Studien eine Hemmung des TGF-β- sowie des JAK-STAT-Signaltransduktionsweges im nanomolaren Konzentrationsbereich. Sie stellen potentielle Leitstrukturen für die Entwicklung neuer Therapeutika zur Behandlung chronisch entzündlicher und/oder fibrotischer Erkrankungen dar. Ziel dieser Arbeit war die Entwicklung eines totalsynthetischen Zugangs zu diesen Makrolactonen.rnDer erste retrosynthetische Ansatz bestand aus einer Ringschluss-Metathese/Reduktions/Eliminierungs-Sequenz. Während das gesättigte Makrolacton-grundgerüst dargestellt werden konnte, schlug die Einführung der Doppelbindung fehl. Es wurde nur ein exo-Methylen-Derivat erhalten. Eine Syntheseroute über eine carbonylierende Kreuzkupplung oder über eine intramolekulare Hydroacylierung verliefen erfolglos. Versuche zum Aufbau des α,β-ungesättigten Enons über das β,γ-ungesättigte Enon in einer Ringschluss-Metathese/Isomerisierungs-Sequenz führten stattdessen zur Bildung eines γ,δ-ungesättigten Ketons und eines 12-Oxo-10,11-dehydrocurvularin-Derivates.rnEine intramolekulare Friedel-Crafts-Acylierung ermöglichte den Ringschluss, sodass die beiden Naturstoffe 4-Dechlor-14-deoxyoxacyclododecindion sowie 14-Deoxyoxa-cyclododecindion synthetisiert werden konnten. Durch die Totalsynthese konnte zudem die bisher unbekannte relative Konfiguration der zwei Stereozentren aufgeklärt werden. Die während dieser Arbeit erhaltenen Derivate ermöglichten es, Struktur-Wirkungs-Beziehungen für diese Makrolactone aufzustellen.rnIn weiteren biologischen Studien von Kooperationspartnern wurde die hohe Wirksamkeit im nanomolaren Konzentrationsbereich bestätigt. Eine erste in vivo-Studie zur Behandlung von systemischem Lupus erythematodes mit 14-Deoxyoxacyclododecindion deutet auf eine verminderte Entzündungsreaktion und positive Effekte auf chronische Nierenschäden hin.rn

Adult-type hypolactasia: Genotype-phenotype correlation

Adult-type hypolactasia (primary lactose malabsorption, lactase non-persistence) is the most common enzyme deficiency worldwide, and manifests with symptoms of lactose intolerance such as abdominal pain, gas formation and diarrhea. In humans with adult-type hypolactasia, lactase activity is high at birth, but declines during childhood to about one-tenth of the activity at birth. In 2002, a one base polymorphism C/T-13910, located 14 kilobases from the starting codon of the lactase-phlorizin hydrolase (LPH) gene was observed to be associated with the persistence of lactase activity. The T-13910 allele (C/T-13910 and T/T-13910 genotypes) associates with persistence of lactase activity throughout life, whereas the C/C-13910 genotype associates with adult-type hypolactasia. In this thesis work, the timing and mechanism of decline of lactase enzyme activity during development was studied using the C/T-13910 polymorphism as a molecular marker. We observed an excellent correlation between low lactase activity and the C/C-13910 genotype in all subjects > 12 years of age, irrespective their ethnicity. In children of African origin, the lactase activity declined somewhat earlier than among Finnish children. Furthermore, we observed an increasing imbalance in the relative lactase mRNA expression from the C-13910 and T-13910 alleles in Finnish children beginning from five years of age. The genetic test for adult-type hypolactasia showed a sensitivity of 93% and a specificity of 100% in the Finnish children and adolescents > 12 years of age. The relation of milk consumption and the milk-related abdominal complaints to the C/T-13910 genotypes associated with lactase persistence/non-persistence was studied by a questionnaire-based approach in > 2100 Finns. Both Finnish children and adults with the C/C-13910 genotype consumed significantly less dairy products compared to those with the C/T-13910 and T/T-13910 genotypes. Flatulence was the only of the abdominal symptoms of lactose intolerance that subjects with the C/C-13910 genotype reported significantly more often than those with the C/T-13910 and T/T-13910 genotypes. A minor proportion (<10%) of subjects with the C/C-13910 genotype, nevertheless, reported drinking milk without any symptoms afterwards. There was no association between cow's milk allergy starting as a newborn and adult-type hypolactasia. In an association study an increased risk of colorectal cancer was observed among those with molecular diagnosis of adult-type hypolactasia. It warrants further studies to clarify whether the increased risk observed in the Finnish population is associated with lactose or decreased intake of dairy products in these subjects.

A Direct Approach to the Problem of Diffraction by a Half-Plane under Mixed Boundary Conditions

A general direct technique of solving a mixed boundary value problem in the theory of diffraction by a semi-infinite plane is presented. Taking account of the correct edge-conditions, the unique solution of the problem is derived, by means of Jones' method in the theory of Wiener-Hopf technique, in the case of incident plane wave. The solution of the half-plane problem is found out in exact form. (The far-field is derived by the method of steepest descent.) It is observed that it is not the Wiener-Hopf technique which really needs any modification but a new technique is certainly required to handle the peculiar type of coupled integral equations which the Wiener-Hopf technique leads to. Eine allgemeine direkte Technik zur Lösung eines gemischten Randwertproblems in der Theorie der Beugung an einer halbunendlichen Ebene wird vorgestellt. Unter Berücksichtigung der korrekten Eckbedingungen wird mit der Methode von Jones aus der Theorie der Wiener-Hopf-Technik die eindeutige Lösung für den Fall der einfallenden ebenen Welle hergeleitet. Die Lösung des Halbebenenproblems wird in exakter Form angegeben. (Das Fernfeld wurde mit der Methode des steilsten Abstiegs bestimmt.) Es wurde bemerkt, daß es nicht die Wiener-Hopf-Technik ist, die wirklich irgend welcher Modifikationen bedurfte. Gewiß aber wird eine neue Technik zur Behandlung des besonderen Typs gekoppelter Integralgleichungen benötigt, auf die die Wiener-Hopf-Technik führt.

Untersuchungen an V-Form-Scherbrettern

Seit ihrer Einführung in die Fischerei haben sich gerade V-Form-Scherbretter unter den verschiedensten Einsatzbedingungen vielfach bewährt. Insbesondere ihr leichter Gang auf rauhem Boden und die geringe Gefahr des Festlaufens haben zur Verbreitung dieses Scherbrett-Typs beigetragen.

Über den Einfluss von Neuropeptid Y auf die Amplitude und die Entladungsrate axonterminaler Aktionspotenziale retinaler Ganglienzellen der Klasse R2 und R3 im Tectum opticum während visueller Stimulation der Rotbauchunke Bombina orientalis

Neuropeptid Y (NPY) ist ein potenter Neurotransmitter im zentralen und peripheren Nervensystem der Mammalia. Es ist an der Regulation einer Vielzahl von physiologischen Prozessen beteiligt und scheint auch im retino-tectalen Transfer des visuellen Systems von Anuren eine zentrale Funktion einzunehmen. Die Retina bildet die erste Funktionseinheit bei der Verarbeitung visuellen Inputs. Für die Weiterverarbeitung sind primär das Tectum opticum (TO) und das Praetectum verantwortlich. Es gilt als wahrscheinlich, dass der praetecto-tectale Transfer durch NPY inhibitorisch moduliert wird und damit wesentlichen Einfluss auf die visuelle Mustererkennung und die Dämpfung der tectalen Erregungsausbreitung hat. Die Applikation von NPY auf die Tectumoberfläche schwächt die anfängliche Erregungswelle visuell evozierter Feldpotenziale stark ab und NPY könnte somit Einfluss auf die Axonendknoten retinaler Ganglienzellen des Typs R2, R3 und auch R4 haben. Es können jedoch keine detaillierten Aussagen gemacht werden welche Neuronen in welchem Umfang daran beteiligt sind. Im Rahmen meiner Arbeit, sollte der Einfluss von NPY auf die Spike-Amplitude und die Spike-Rate retinaler Ganglienzellen R2 und R3 bei Bombina orientalis analysiert werden, da diese den größten Input bei der visuellen Mustererkennung liefern und unterschiedliche Funktionen in diesem neuronalen Netzwerk haben. Hierzu wurden visuell evozierte Aktionspotenziale von R2 und R3 Neuronen im TO von Bombina orientalis abgeleitet und mit Hilfe der Analysesoftware Spike 2 bearbeitet und analysiert. Es konnte nachgewiesen werden, dass die Spike-Amplituden der R2 Neuronen 20 min nach NPY Applikation auf die Tectumoberfläche reduziert werden. Nach einer Erholungsphase 10 min nach Beenden der NPY-Applikation konnte ein Wiederanstieg der Spike-Amplituden gemessen werden, 20 min nach Beenden der NPY-Applikation kam es zu einem Abfall der Spike-Amplituden dessen Ursache unbekannt ist. Ob es ein Artefakt ist oder ob es sich hierbei um einen spezifischen Effekt von R2 Neuronen handelt muss noch geklärt werden. Die Spike-Amplituden der R3 Neuronen waren bereits 10 min nach NPY-Applikation reduziert, ein weitere Abfall der Spike-Amplituden konnte nicht verzeichnet werden. 10 min nach Beenden der NPY-Applikation konnte ein Anstieg der Spike-Amplituden verzeichnet werden, der sich stetig fortsetzte. Bei beiden Neuronentypen wurden 20 min nach Beenden der NPY-Applikation Spike-Amplituden nahe der Ausgangsamplitudenhöhe gemessen. Aufgrund des Verlaufes der R3 Neuronen ist davon auszugehen, dass die Feldpotenziale eher durch R3 Neuronen als durch R2 Neuronen beeinflusst werden, da er dem der Feldpotenziale gleicht. Auch bei der Untersuchung der Spike-Raten konnte eine Beeinflussung durch NPY nachgewiesen werden. Die R2 Neuronen zeigten 10 min nach NPY-Applikation einen Abfall der Spike-Raten der sich nach 20 min weiter fortsetzte. 10 min nach Beenden der NPY-Applikation konnte ein Wiederanstieg der Spike-Raten verzeichnet werden der sich stetig fortsetzte, die Werte blieben jedoch deutlich unter den gemessenen Ausgangswerten ohne eine NPY-Beeinflussung. Bei den R3 Neuronen konnte ein Abfall der Spike-Raten deutlich zeitverzögert nachgewiesen werden. 20 min nach Beenden der NPY-Applikation konnte ein Anstieg der Spike-Rate verzeichnet werden, jedoch gab es keine signifikanten Unterschiede der Spike-Raten zu den Werten ohne NPY-Beeinflussung. Der Vergleich der R2 und R3 Neuronen zeigt, dass bei den der R2 Neuronen ein schnellerer Effekt von NPY nachweisbar ist als die den R3 Neuronen. Aufgrund der von mir nachgewiesene NPY-induzierte Spike-Amplitudenabnahme retinaler R2 und R3 Neuronen muss davon ausgegangen werden, dass die Reduktion der Feldpotential durch NPY eher auf den Einfluss anderer Neuronen als R2 und R3 Neuronen zurückzuführen ist. Weder bei den R2 noch bei den R3 Neuronen konnte eine so schnelle und so starke Beeinflussung der Spike- Amplituden verzeichnet werden. Weiterhin zeigen meine Ergebnisse neuronale Bestätigung der von Funke 2005 beschrieben geringeren Strahlungsintensität sowie der geringeren Glukosemetabolisierung bei der 14C-2-Desoxyglukose Technik. Dies ist in der Form nur auf den Einfluss von R2 und R3 Neuronen zurückzuführen. Die von mir erzielten Ergebnisse stützen die Hypothese, dass NPY den retino-tectalen Signaltransfer inhibitorisch steuert einhergehend mit einer reduzierten Ausschüttung des praetectotectalen Transmitters Glutamat und weisen darauf hin, dass NPY über zwei verschiedene second-messenger vermittelte Prozesse diesen Signaltransfer steuert. Interessant ist in diesem Zusammenhang, dass diese nachhaltige Beeinflussung der visuellen Informationsverarbeitung durch NPY bei Bombina orientalis einem phylogenetisch basalen Vertreter der Anuren nachgewiesen werden konnte. Dies lässt den Schluss zu, dass solche grundlegenden neurochemischen Effekte des retino-tectalen Informationsgefüges evolutionär konserviert sind.

Zukunftskonferenz als Instrument der Schulentwicklung

Der Aufbau Lernender Organisationen ist eine notwendige Antwort auf die zentrale Herausforderung am Ausgang des 20. Jahrhunderts: Unser aller Überleben wird davon abhängen, ob wir den Wandel von der belehrten zur lernenden Gesellschaft schaffen, den Wandel von der bürokratischen Verwaltungsgesellschaft zur offenen Gestaltungsgemeinschaft. Aufgrund der wachsenden Komplexität und des schnelle Wandels sind bürokratische Organisationen alten Typs überfordert, rechtzeitig Antworten zu finden, die der Vielfalt der Problemstellungen gerecht werden. Deshalb müssen sie sich grundlegend wandeln oder sie werden untergehen. Die Schlüsselfrage dabei lautet: Wie können wir die brachliegenden kreativen Ressourcen von Einzelnen und Gruppen erschließen und unsere Organisationen so umbauen, daß notwendiger Wandel nicht Widerstand hervorruft, sondern zu einem Bedürfnis aller wird? Eine vielversprechende Antwort auf diese Frage bietet das hierzulande fast unbekannte Instrument der Zukunftskonferenz.

Sprachentwicklung und Fachlernen im Mechanikunterricht

Die empirische Studie untersucht das Wechselspiel zwischen der fachbezogenen Sprachentwicklung und dem Fachlernen von Schülerinnen und Schülern bei der Einführung in den Kraftbegriff. Sie betrachtet also sowohl sprachliche wie auch kognitive Aspekte des Lernens in der Mechanik. Dafür wurde ein Unterrichtskonzept entwickelt, das den Gebrauch des Fachwortes Kraft in der Wissenschaft und in der alltäglichen Sprache besonders thematisiert. Dieses Unterrichtskonzept basiert auf Empfehlungen und Ergebnissen der Kognitionspsychologie, Linguistik, Philosophie, Sprachlehrforschung und der Didaktiken der Physik und der Fremdsprachen. Im Rahmen des Unterrichts wurden die Schülerinnen und Schüler mit zwei Aufgabentypen konfrontiert: Beim ersten Aufgabentyp waren die Lerner aufgefordert, den Kraftbegriff so zu verwenden, wie es einer fachsprachlich angemessenen Form entspräche, etwa um die Bewegung eines Zuges zu beschreiben. Aufgaben des zweiten Typs sahen vor, dass die Schülerinnen und Schüler kurze Texte danach klassifizierten, ob sie der Alltagssprache oder der Fachsprache angehörten. Diese als Metadiskurs bezeichnete Form der Auseinandersetzung mit sprachlichen Aspekten verhalf den Schülerinnen und Schülern zu einer Gelegenheit, ihr eigenes Verständnis des Kraftbegriffs zu thematisieren. Weiter lieferte der Metadiskurs wichtige Hinweise darauf, ob die Schülerinnen und Schüler sich bei ihren Beurteilungen eher auf formal-sprachliche oder inhaltliche Aspekte der Sprache bezogen. Für die Datenerhebung wurden alle Unterrichtsstunden videografiert und transkribiert. Zusammen mit schriftlichen Arbeitsergebnissen und Tests stand ein umfangreicher Datensatz zur Verfügung, für dessen Auswertung ein inhaltsanalytisches Verfahren Anwendung fand. Die Ergebnisse zeigen, dass das Lernen im Fach Physik bestimmte Ähnlichkeiten mit dem Lernen einer Fremdsprache zeigt: Wenn die Schülerinnen und Schüler den Kraftbegriff fachsprachlich verwenden sollen, sehen sie sich oft einer Alternativentscheidung gegenüber. Entweder sie versuchen, einer fachsprachlichen Form zu gehorchen und verlieren dabei den Inhalt aus den Augen, oder sie konzentrieren sich auf den Inhalt, drücken sich dabei aber in ihrer Alltagssprache aus und folgen Alltagskonzepten, die weit entfernt von den fachlich intendierten liegen. Ähnliche Beobachtungen kann man im Sprachunterricht machen, wenn Schüler eine neue grammatische Regel einüben: Sie konzentrieren sich entweder auf die neu zu erlernende Regel, oder aber auf den Inhalt des Gesagten, wobei sie die grammatische Regel, die an sich Gegenstand der Übung ist, verletzen. Meistens fällt diese Entscheidung derart, dass die Konzentration auf den Inhalt des Gesagten gerichtet ist, nicht oder wenig auf seine Form. Im Unterschied zum Sprachunterricht ist der Physikunterricht allerdings nicht nur darauf gerichtet, fachsprachlich angemessene Formen einzuüben, sondern insbesondere darauf, den Blick für neue und ungewohnte Konzepte zu öffnen. Damit müssen die Schülerinnen und Schüler hier häufig sprachliche und kognitive Hürden zur selben Zeit bewältigen. Die detaillierte Analyse des Metadiskurses zeigt, dass das Problem des Nebeneinanders zweier unterschiedlicher Anforderung entschäft werden kann: Während die Schüler im Metadiskurs unterschiedliche Aspekte der Sprache diskutieren, sind sie eher in der Lage, sowohl formale wie inhaltsbezogene Merkmale der Sprache wahrzunehmen. Der Text referiert weitere Parallelen zwischen dem Physikunterricht und dem Fremdsprachenlernen, sodass die Auffassung gerechtfertigt ist, dass die Fremdsprachendidaktik als Ideenlieferantin dafür dienen kann, neue Verbesserungsmöglichkeiten für den Physikunterricht aufzufinden.

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.

Amphiphile Verbindungen der 14. Gruppe - Synthese, Eigenschaften und Anwendungen von Organosilanolen

Im Rahmen dieser Dissertation wurde an der Darstellung stabiler, amphiphiler Silantriole gearbeitet. Es ist gelungen eine kontinuierliche Reihe sukzessive um CH2-Einheiten verlängerter Silantriole des Typs H3C(CH2)nC(CH3)2Si(OH)3 (n = 1-5) durch eine vierstufige Synthesesequenz ausgehend von n-Alkylbromiden herzustellen und zum Teil röntgenographisch zu untersuchen. Ihre oberflächenaktiven Eigenschaften in wässrigen Lösungen konnten erstmals mittels Oberflächenspannungsmessungen belegt werden. Durch gezielte Kondensationsreaktionen mit Trifluoressigsäure wurden ausgehend von den oben beschriebenen Silantriolen selektiv die entsprechenden Disiloxan-Tetrole erhalten und ebenfalls zum Teil durch Röntgenstrukturanalysen charakterisiert. Als weitere Kondensationsprodukte der Silantriole konnten die ersten Octasilsesquioxane mit tertiären Kohlenstoff-Substituenten durch Umsetzungen mit n-Bu4NF selektiv und in hohen Ausbeuten erhalten und ebenfalls röntgenographisch identifiziert werden. Es wurde an der Darstellung Aryl-substituierter Silantriole RSi(OH)3 (R = Mesityl-, Xylyl- und Tetramethyl-phenyl-) gearbeitet. Diese zeichnen sich jedoch durch ihre hohe Instabilität in Lösung und im Festkörper aus und konnten zum Teil nur zusammen mit ihren primären Kondensationsprodukten erhalten werden. Darüber hinaus wurden stabile Silandiole des Typs R(t-Bu)Si(OH)2 (R = n-Butyl und n-Pentyl) sowie das (o-CF3C6H4)2Si(OH)2 in hohen Ausbeuten und selektiv synthetisiert. Die Festkörpereigenschaften des (o-CF3C6H4)2Si(OH)2 sowie seiner Vorstufe (o-CF3C6H4)2SiCl2 konnten durch Kristallstrukturanalysen genauer untersucht werden. In der Arbeit wurden die ersten Anwendungen von Silanolen als Silan-Kupplungsreagenzien bei der Oberflächenmodifizierung von Glas beschrieben. Im Gegensatz zu gängigen säureassistierten Beschichtungen zeichnen sich diese Silanol-Beschichtungen durch eine deutlich höhere Hydrophobizität aus. Dies konnte durch Kontaktwinkel- und Zeta-Potential-Messungen bestätigt werden. Durch Röntgenreflektivitäts- und Sarfus-Messungen ist die Ausbildung von Monolagen im Falle von t-BuSi(OH)3-beschichteten Oberflächen plausibel. Die Oberflächenmorphologie der Silantriol-Beschichtungen wurde mittels AFM-Messungen untersucht. Die Si(OH)3-Funktion konnte in der vorliegenden Arbeit als ein neues Pharmakophor etabliert werden. Die Silantriole CySi(OH)3, TerSi(OH)3 und CH3CH2C(CH3)2Si(OH)3 (Cy = Cyclohexyl, Ter = Terphenyl) sind in der Lage das Enzym Acetylcholinesterase reversibel zu hemmen. Dabei zeigt das CySi(OH)3 mit 45 % relativ zur Kontrolle die höchste Inhibition.

Context as a Service

In the vision of Mark Weiser on ubiquitous computing, computers are disappearing from the focus of the users and are seamlessly interacting with other computers and users in order to provide information and services. This shift of computers away from direct computer interaction requires another way of applications to interact without bothering the user. Context is the information which can be used to characterize the situation of persons, locations, or other objects relevant for the applications. Context-aware applications are capable of monitoring and exploiting knowledge about external operating conditions. These applications can adapt their behaviour based on the retrieved information and thus to replace (at least a certain amount) the missing user interactions. Context awareness can be assumed to be an important ingredient for applications in ubiquitous computing environments. However, context management in ubiquitous computing environments must reflect the specific characteristics of these environments, for example distribution, mobility, resource-constrained devices, and heterogeneity of context sources. Modern mobile devices are equipped with fast processors, sufficient memory, and with several sensors, like Global Positioning System (GPS) sensor, light sensor, or accelerometer. Since many applications in ubiquitous computing environments can exploit context information for enhancing their service to the user, these devices are highly useful for context-aware applications in ubiquitous computing environments. Additionally, context reasoners and external context providers can be incorporated. It is possible that several context sensors, reasoners and context providers offer the same type of information. However, the information providers can differ in quality levels (e.g. accuracy), representations (e.g. position represented in coordinates and as an address) of the offered information, and costs (like battery consumption) for providing the information. In order to simplify the development of context-aware applications, the developers should be able to transparently access context information without bothering with underlying context accessing techniques and distribution aspects. They should rather be able to express which kind of information they require, which quality criteria this information should fulfil, and how much the provision of this information should cost (not only monetary cost but also energy or performance usage). For this purpose, application developers as well as developers of context providers need a common language and vocabulary to specify which information they require respectively they provide. These descriptions respectively criteria have to be matched. For a matching of these descriptions, it is likely that a transformation of the provided information is needed to fulfil the criteria of the context-aware application. As it is possible that more than one provider fulfils the criteria, a selection process is required. In this process the system has to trade off the provided quality of context and required costs of the context provider against the quality of context requested by the context consumer. This selection allows to turn on context sources only if required. Explicitly selecting context services and thereby dynamically activating and deactivating the local context provider has the advantage that also the resource consumption is reduced as especially unused context sensors are deactivated. One promising solution is a middleware providing appropriate support in consideration of the principles of service-oriented computing like loose coupling, abstraction, reusability, or discoverability of context providers. This allows us to abstract context sensors, context reasoners and also external context providers as context services. In this thesis we present our solution consisting of a context model and ontology, a context offer and query language, a comprehensive matching and mediation process and a selection service. Especially the matching and mediation process and the selection service differ from the existing works. The matching and mediation process allows an autonomous establishment of mediation processes in order to transfer information from an offered representation into a requested representation. In difference to other approaches, the selection service selects not only a service for a service request, it rather selects a set of services in order to fulfil all requests which also facilitates the sharing of services. The approach is extensively reviewed regarding the different requirements and a set of demonstrators shows its usability in real-world scenarios.