Refine
Year of publication
- 1999 (100) (remove)
Document Type
- Preprint (46)
- Doctoral Thesis (28)
- Article (7)
- Course Material (6)
- Master's Thesis (6)
- Lecture (2)
- Study Thesis (2)
- Working Paper (2)
- Report (1)
Language
- German (100) (remove)
Has Fulltext
- yes (100)
Keywords
- Praktikum (6)
- Case-Based Reasoning (5)
- Fallbasiertes Schliessen (3)
- Maschinelles Lernen (3)
- Diagnose technischer Systeme (2)
- KLUEDO (2)
- Server (2)
- ATP-Synthase (1)
- Ablagestruktur (1)
- Access System (1)
Faculty / Organisational entity
- Kaiserslautern - Fachbereich Informatik (39)
- Kaiserslautern - Fachbereich Chemie (19)
- Kaiserslautern - Fachbereich Mathematik (10)
- Kaiserslautern - Fachbereich Physik (9)
- Kaiserslautern - Fachbereich Elektrotechnik und Informationstechnik (8)
- Kaiserslautern - Fachbereich ARUBI (6)
- Kaiserslautern - Fachbereich Wirtschaftswissenschaften (5)
- Kaiserslautern - Fachbereich Biologie (2)
- Kaiserslautern - Fachbereich Maschinenbau und Verfahrenstechnik (1)
- Universitätsbibliothek (1)
Typologie spielt in der Geschichte der Architekturtheorie seit jeher eine Schlüsselrolle innerhalb der Diskussion und Forschung über Architektur. In der Architektur existiert Typologie meist als Form der Klassifikation von Architektur bzw. im Versuch den "Archetyp", die abstrakte "Idee" der Architektur, vorzustellen. Die bisher angewendeten Ordnungssysteme zur Klassifikation beschränken sich auf wenige Strukturmerkmale (z.B. Nutzung, Konstruktion, Stil/Epoche). Dabei wird zwangsläufig ein Großteil von Informationen der Objekte ausgeblendet. Die Einteilungen der Gliederungsebenen werden subjektiv festgelegt. Diese subjektiv hierarchische Ordnung erzeugt das Problem, dass eine Wertung bereits im System immanent ist. Soll ein Ordnungssystem jedoch die Möglichkeit einer objektiven Wertung enthalten, so ist es eine unabdingbare Voraussetzung, dass keine subjektive Wertung bereits im Gliederungssystem vorliegt. Die vorliegende Arbeit zeigt, wie es möglich ist, ein System der Ordnung zu entwickeln, das Typologie, basierend auf der Trennung von Architektur und Bauen, unter Beachtung des Phänomens der ästhetischen Differenz, nur aus Beschreibungen von Gebäuden mit nachweislich objektimmanenten Kriterien, ohne Wertungen im System selbst, konstituiert. Diese Typologie kann für weiterreichende Entwurfs- und Bewertungssysteme die Grundlage bilden. Der bisher vorherrschende Typusbegriff wird dabei zugunsten eines temporären, fluktuierenden Typus aufgehoben. Mit diesem Typologieansatz werden Voraussetzungen geschaffen, die Objekte der Architektur grundsätzlich vergleichbar machen. Auch wenn ein empirischer Ansatz nicht zwingend nötig ist, da diese Grundlagen auch theoretisch nachgewiesen sind, werden die vorgestellten Thesen, da diese Vorgehensweise für Untersuchungen von Architektur und Gebäuden von den bekannten Verfahren wesentlich differiert, im Modellversuch dargestellt. Als Untersuchungsgegenstände sind exemplarisch "industriell gefertigte Waschbeton-Minimalbaukörper als Verwahrräume für Entsorgungsgüter in der Bundesrepublik Deutschland" als abgeschlossene Population ausgewählt.
In der vorliegenden Arbeit wird die Zeitfestigkeit von Verbundträgern mit Profilblechen unter Berücksichtigung der während der Einstufen-Belastung im Versuch auftretenden Veränderungen (zyklische Dübelkennlinien, Kraftumlagerungen, ...) im System Verbundträger behandelt. Aus den Ergebnissen der Push-Out-Versuche wird eine Ermüdungsfestigkeitskurve -Wöhlerlinie - bestimmt, die im weiteren Grundlage der Zeitfestigkeitsuntersuchungen der Kopfbolzendübel in Betongurten mit Profilblechen ist. In einer ersten, vereinfachten Versuchsauswertung werden die Dübelkräfte der Verbundträger über die Elastizitätstheorie nach dem elastischen Schubfluß und unter Annahme starrer Verdübelung (d. h. Ebenbleiben des Gesamtquerschnitts) ermittelt. Daraus wird dann die Zeitfestigkeit berechnet. Die Bestimmung der Restlebensdauer der Verbundmittel über nichtlinear berechnete Dübelkäfte unter Berücksichtigung der Nachgiebigkeit in der Verbundfuge - jedoch mit Steifigkeiten wie bei Erstbelastung - erfolgt in einer zweiten Auswertungsstufe. Um die wahrscheinlichen Vorgänge im Verbundträger unter wiederholter Be- und Entlastung erklären und anschließend in Computersimulationen nachvollziehen zu können, wird in den Kapiteln 4 bis 6 das phänomenologische Verhalten der einzelnen Komponenten des Verbundträgers (Stahlträger, Betongurt und Verdübelung) unter zyklischer Beanspruchung behandelt. Unter der Annahme, daß die einzelnen Komponenten ihr phänomenologisches Verhalten unter zyklischer Beanspruchung auch im Verbundträger -Zusammenwirken der einzelnen Komponenten zu einer gemeinsamen Tragwirkung- beibehalten, wird in Kapitel 7 ein Rechenmodell entwickelt. Mit den hergeleiteten zyklischen Dübelkennlinien und nichtlinearen Computersimulationen werden Schädigungen für alle Elemente (Dübel, Stahlträger) der Verbundträger - zu jedem Zeitpunkt während der Versuchsdauer - bestimmt. Mittels der linearen Schadensakkumulationshypothese von Palmgren-Miner und mit den für die einzelnen Elementen bestimmten Ermüdungsfestigkeitskurven wird daraus die jeweilige Restlebensdauer berechnet. Dabei werden die ständigen Veränderungen im nichtlinearen Tragverhalten der Verbundträger aufgrund der Kraftumlagerungen infolge der zyklischen Kennlinien, der Nachgiebigkeit in der Verbundfuge, des Ausfalls einzelner Dübel, der evtl. auftretenden bleibenden Verformungen, der unterschiedlichen Be- und Entlastungspfade, ..., in den Simulationsberechnungen erfaßt. Abschließend wird das Verbundträgertragverhalten bis zum endgültigen Versagen (Bruch des Trägers) auch nach dem Abscheren (Ausfall) des ersten Dübels dargestellt.
Zunehmende Kritik an den Wohngebieten der vergangenen Jahre, die als Schlafstädte bezeichnet werden, die Probleme der jüngeren Generation, die vom Medienkonsum, über Gewaltbereitschaft bis zur Politikverdrossenheit reichen, machen ein planerisch angemessenes Handeln sowohl bei der Gestaltung der Wohngebiete als auch bei der Beteiligung immer dringlicher. Dies kommt in den Arbeiten der Kinder und Jugendlichen zum Ausdruck. Im Rahmen der vorliegenden Arbeit wurde eine methodische Vorgehensweise zur Beteiligung von Kindern und Jugendlichen theoretisch entwickelt und praktisch angewendet, um so zur inhaltlichen Definition von Bedürfnissen beizutragen. Die aus forschungsökonomischen Gründen in Rheinland-Pfalz durchgeführten empirischen Beteiligungen bedürfen dabei sicherlich im Hinblick auf die Einbindung von Kindern und Jugendlichen aus Großstädten noch weiterer Untersuchungen. Ebenso besteht im Zusammenhang mit dem Programm der Sozialen Stadt, bei der Beteiligung von Kindern aus sozialen Brennpunkten und der Einbindung von ausländischen Jugendlichen Untersuchungsbedarf. Deutlich kamen die Probleme der Mädchen im öffentlichen Raum zum Ausdruck, so dass sowohl bei der Beteiligung als auch in der Bauleitplanung Handlungsbedarf besteht. Es hat sich gezeigt, dass Kinder und Jugendliche als Stellvertreter/-innen ihre Bedürfnisse ausdrücken können. Bei der Gestaltung der Wohngebiete müssen die ingenieurtechnischen Gesichtspunkte gegenüber den sozialen und kommunikativen Aspekten in den Hintergrund treten, damit sie den Bedürfnissen der Kinder und Jugendlichen entsprechen. Erforderlich ist, dass alle Planungsverantwortlichen von der Politik über die Verwaltung bis zu den Planerinnen und Planern für die Bedürfnisse sensibilisiert und über diese informiert werden und die Möglichkeiten des Baugesetzbuches ausgeschöpft bzw. weitere gesetzliche Grundlagen geschaffen werden. Es wird damit auch ein Beitrag zu einer stärkeren Demokratisierung der Planung geleistet und der Forderung einer nachhaltigen Stadtentwicklung, wie sie z.B. in der Agenda 21 gefordert wird, entsprochen.
In dieser Arbeit wurde die Induktion von Apoptose durch vier a,b-ungesättigte Aldehyde und ein zyklisches Keton untersucht. Die Apoptoseinduktion wurde mittels 2-Parameter-Durchflußzytometrie (DNA-/Proteinmessung), Fluoreszenzmikroskopie und DNA-Isolation bestimmt. Es wurden dazu Konzentrationskinetiken (0 bis 150microM) und Zeitkinetiken (1h-Inkubation mit anschließender Postinkubation bis 24h bzw.72h bei Molt4; 0h bis 24h bei 2-Cyclohexen-1-on) an den humanen Zellinien U937, HL-60, K562 und Molt4 aufgestellt. Bei den Zellinien U937 und HL-60 konnte die induzierte Apoptose sowohl quantitativ (durchflußzytometrisch und morphologisch) als auch qualitativ (DNA-Leiter) eindeutig bestimmt werden. Für alle Verbindungen wurde eine dosis- und zeitabhängige Induktion von Apoptose detektiert. Darüberhinaus lieferte die morphologische Analyse Informationen über die Verteilung der einzelnen Apoptosestadien. Die Zellinien K562 und Molt4 zeigten keine so deutliche Übereinstimmung zwischen den 3 Detektionsmethoden. Für die Zellinie K562 ergab sich in den eingesetzten Konzentrationsbereichen nur bei 2-Cyclohexen-1-on durchflußzytometrisch eine dosis- und zeitabhängige Apoptoseinduktion, die sich zwar mit der Analyse der DNA-Leiter, nicht aber mit der morphologischen Auswertung bestätigen ließ. Für trans-2-Hexenal und trans-2-Octenal konnte nur zeitabhängig ein Anstieg mittels FCM detektiert werden, der nur für trans-2-Octenal signifikant war. Bei beiden ergab sich keine DNA-Leiter. Die morphologische Analyse für trans-2-Hexenal ließ einen ebenfalls nicht signifikanten Anstieg erkennen. Für trans-2-Octenal wurde keine morphologische Analyse durchgeführt. Die Zellinie Molt4 zeigte nur zeitabhängig für trans-2-Hexenal, 2-trans,4-trans-Hexadien-1-al und 2-trans,6-cis-Nonadienal eine Apoptoseinduktion, die ausschließlich für 2-trans,4-trans-Hexadien-1-al signifikant war. Die Analyse der DNA-Leiter war auch hier in allen Fällen negativ. Die morphologische Analyse konnte für 2-Cyclohexen-1-on zusätzliche, im FCM nicht detektierte Apoptose zeigen. Der Vergleich der 1-Parameter-Messung des DNA-Gehaltes mit der 2-Parameter-Messung des DNA- und Proteingehaltes der Zellinie U937 bei trans-2-Hexenal- und 2-Cyclohexen-1-on-Behandlung ergab zusätzliche, bei der 1-Parameter-Messung ?versteckte" apoptotische Zellen. Diese waren eindeutig bestimmten Zellzyklusphasen zuzuordnen. Ein weiterer Vergleich der DNA-/Proteinmessung mit der als spezifischste Methode geltenden Markierung der Strangbrüche mit fluoreszenzmarkierten Nukleotiden wurde durchgeführt. Dazu wurden Beispiele aus der Literatur eingesetzt. Dieser Vergleich zeigte, daß bei einem geeigneten Zellsystem die zellzyklusspezifische Apoptosebestimmung vergleichbar war. Von Vorteil für die DNA-/Proteinmessung war dabei die einfache und kostengünstige Durchführung.Der zur Überprüfung der Diskrepanzen zwischen den Detektionsmethoden bei den Zellinien K562 und Molt4 eingesetzte Annexin V-Assay bot in beiden Fällen keine weitere Information. Die eingesetzten Methoden konnten also bei den Zellinien U937 und HL-60 in guter Übereinstimmung Apoptose detektieren, die Zellinien K562 und Molt4 zeigten sich aufgrund fehlender Fragmentierung der DNA in 180bp-Fragmente und der relativen Apoptoseresistenz von K562 für dieses Screening als ungeeignet. Für diese Zellinien müßten weitere Methoden, die nicht auf der Fragmentierung der DNA beruhen, eingesetzt werden.Aufgrund der Tatsache, daß die Apoptoseinduktion bei den Zellinien K562 und Molt4 erst nach längerer Inkubationsdauer auftrat, wurde diese als verzögerte Apoptose interpretiert. Im Vergleich dazu handelte es sich bei den Zellinien U937 und HL-60 um frühe Apoptose. Setzt man die Apoptoseinduktion mit der Phasenspezifität der Verbindungen in Beziehung, so kann man für die Zellinien U937 und HL-60 nach Inkubation mit den untersuchten Aldehyden von Homo-Zyklus-Apoptose, mit 2-Cyclohexen-1-on von Homo-Phase-Apoptose sprechen, obwohl letztere durchflußzytometrisch erst nach 12h in Erscheinung trat. Für die Zellinien K562 und Molt4 handelte es sich bei allen Verbindungen um post-mitotische-Apoptose. Die Aldehyde zeigten bezüglich ihrer Apoptoseinduktion bei U937 und HL-60 keine Phasenspezifität, es waren alle Zellzyklusphasen betroffen. Bei K562 zeigten sie G1-Phasenspezifität, bei Molt4 G1- und teilweise G2-Phasenspezifität. 2-Cyclohexen-1-on ergab S-Phasenspezifität bei U937 und HL-60 sowie G1-Phasenspezifität bei K562. Außerden trat im Zeitverlauf für trans-2-Hexenal, 2-trans,4-trans-Hexadien-1-al, trans-2-Octenal und 2-Cyclohexen-1-on ein G2/M-Arrest auf, 2-trans,6-cis-Nonadienal erzeugte einen G1-Arrest.Der Einfluß der Kettenlänge und Anzahl der Doppelbindungen auf das apoptoseinduzierende Potential wurde an den Zellinien U937 und HL-60 für trans-2-Hexenal, 2-trans,4-trans-Hexadien-1-al, trans-2-Octenal und 2-trans,6-cis-Nonadienal untersucht. Dabei ergab sich ein substanzabhängiger Anstieg der Apoptoseinduktion mit steigender Kettenlänge, der aber nicht in allen Fällen signifikant war. Der Einfluß der Doppelbindungen konnte nur im direkten Vergleich von trans-2-Hexenal und 2-trans,4-trans-Hexadien-1-al betrachtet werden. Hier trat kein signifikanter Unterschied zwischen den beiden Verbindungen auf, was wahrscheinlich auf die Konjugation der Doppelbindungen und die damit verbundene erhöhte Polarität und gleichzeitig erniedrigte Lipophilie zurückzuführen war.
Die generelle Zielsetzung der vorliegenden Arbeit, einen Beitrag zur Untersuchung des Mischungsverhaltens von Phospholipiden zu liefern, läßt sich in eine theoretische und eine experimentelle Problemstellung unterteilen: Im theoretischen Bereich lag die erste Herausforderung darin, bereits existierende Modelle zur Monte Carlo-Simulation von Lipidsystemen aus vorhandenen Publikationen zu sichten, die relevanten mathematischen Formulierungen zu entwickeln und anschließend in einen geeigneten Quellcode zur Durchführung der entsprechenden Computersimulationen zu übersetzen. Mit den hieraus gewonnenen Erfahrungen sollte dann der Versuch unternommen werden, eigene Ideen bei der Simulation von Einphasen-/Zweikomponentensystemen bzw. Zweiphasen-/Einkomponentensystemen umzusetzen und die Ergebnisse auf der Grundlage der verwendeten physikalischen Modelle zu interpretieren. Als Höhepunkt wurde abschließend die Entwicklung eines Formelgebäudes zur Beschreibung von Zweiphasen-/ Zweikomponentensystemen ins Auge gefaßt. Auf experimenteller Seite wurde das Ziel angestrebt, wässerige PC/PE- bzw. PC/PG-Systeme mit unterschiedlichen Kettenlängen auf ihre Mischbarkeit hin zu untersuchen. Hierzu war es erforderlich, die bereits im Arbeitskreis vorhandenen kalorimetrischen Daten zu vervollständigen. Außerdem sollten die entsprechenden äquimolaren Gemische aus jeweils einem deuterierten und einem undeuterierten Phospholipid hergestellt und anschließend mittels 2H-NMR- und FTIR-spektroskopischer Methoden analysiert werden, um auf diese Weise die beiden Komponenten der Mischungen getrennt voneinander beobachten zu können. Die benötigten perdeuterierten Lipide sollten vorher aus den entsprechenden Fettsäuren synthetisiert werden.
Polycyclische aromatische Kohlenwasserstoffe (PAK) stellen eine Gruppe von möglichen Kanzerogenen dar, die ihre mutagene und kanzerogene Wirkung erst nach einer zweistufigen biologischen Aktivierung zum Dihydrodiolepoxid entfalten. Der ubiquitär in der Umwelt vorkommende PAK Benzo[c]phenanthren ist in Nagersystemen in vitro und in vivo nur schwach biologisch aktiv, während die korrespondierenden Fjord-Region-B[c]PH-3,4-Dihydrodiol-1,2-Epoxide zu den am stärksten kanzerogenen PAK-Dihydrodiolepoxiden gehören. Die geringe Bildung von B[c]PH-3,4-DH als Vorstufe der B[c]PH-3,4-DH-1,2-Epoxide im Nager wird für die geringe biologische Aktivität von B[c]PH verantwortlich gemacht. Bisher waren nur wenige Daten zur Beurteilung der Aktivierungskapazität in menschlichem Gewebe verfügbar. In dieser Studie konnte erstmals eindeutig gezeigt werden, daß Gewebepräparationen aus Humanleber B[c]PH effizient zu genotoxischen und mutagenen Metaboliten aktivieren. Im Gegensatz zu Leberpräparationen von Ratte und Schwein, in denen mit der bevorzugten Bildung des B[c]PH-5,6-DH detoxifizierende Metabolismuswege dominieren, wird in humanen Leberpräparationen bevorzugt B[c]PH-3,4-DH als Vorläuferverbindung der ultimal kanzerogenen B[c]PH-3,4-DH-1,2-Epoxide gebildet. Von den in der menschlichen Leber vorhandenen Cytochrom P450-Enzymen erwies sich CYP 1A2 als hauptverantwortlich für die metabolische Aktivierung von B[c]PH. CYP 3A4 scheint für die Bildung von B[c]PH-5,6-DH mitverantwortlich zu sein. Beide Isoenzyme werden in der Leber stark exprimiert und besitzen eine Schlüsselfunktion bei der PAK-Aktivierung. Im Gegensatz zu humanen Lebermikrosomen erwiesen sich humane Lungenmikrosomen im wesentlichen als inaktiv. Die einzige aktive humane Lungenprobe generierte neben dem überwiegenden Metaboliten B[c]PH-5,6-DH auch bedeutende Anteile B[c]PH-3,4-DH. Studien mit CYP 450-Inhibitoren belegen eine Bedeutung von CYP 1A1 für die Aktivierung in der menschlichen Lunge, welches durch Zigarettenrauch induzierbar ist. Auch das extrahepatisch vorkommende CYP 1B1, welches vor allem in der Niere, dem Uterus und der Brustdrüse vorkommt, metabolisierte B[c]PH effektiv. Auch der zweite Schritt der Aktivierungskaskade wurde untersucht. B[c]PH-3,4-DH konnte durch humane Lebergewebepräparationen zu genotoxischen Metaboliten aktiviert werden. Die induzierte Genotoxizität war vergleichbar mit der des kanzerogenen B[a]P-7,8-DH. CYP 3A4 konnte als hauptverantwortlich für die Aktivierung identifiziert werden. Auch für humanes CYP 1B1 ist B[c]PH-3,4-DH ein gutes Substrat. Im Gegensatz dazu induzierte B[c]PH-5,6-DH nur geringe Genotoxizität. Nach Aktivierung in V79-Säugerzellen, die humanes CYP 3A4 exprimieren, wirkte B[c]PH-3,4-DH mutagen, vergleichbar mit B[a]P-7,8-DH. Schwache Mutagenität konnte auch für B[c]PH-5,6-DH nachgewiesen werden. Zusätzlich wurden die Fjord-Region-Verbindung Dibenzo[a,l]pyren-11,12-Dihydrodiol (DB[a,l]P-11,12-DH), Benzo[j]fluoranthen-9,10-Dihydrodiol (B[j]F-9,10-DH), und Fluoranthen-2,3-Dihydrodiol (FLU-2,3-DH) untersucht. DB[a,l]P-11,12-DH war im Genotoxizitäts- sowie Mutagenitätstest am stärksten aktiv und induzierte 10-fach mehr HPRT-Mutationen als B[c]PH-3,4-DH und B[a]P-7,8-DH. B[j]F-9,10-DH zeigte nur im Genotoxizitätstest schwache Aktivität, während FLU-2,3-DH in beiden Systemen inaktiv war. Humanes CYP 3A4 und zu geringerem Ausmaß CYP 1A2 konnten als hauptverantwortlich für die Aktivierung von DB[a,l]P-11,12-DH identifiziert werden. Somit konnte diese Studie zeigen, daß B[c]PH durch CYP 450-Enzyme in humanem Gewebe zu genotoxischen und mutagenen Verbindungen aktiviert werden kann. Im Tierexperiment ermittelte Daten haben dagegen eine vorrangige Metabolisierung zu wenig mutagenen Metaboliten ergeben. Sie korrelieren mit dem Befund des geringen kanzerogenen Potentials im Tierexperiment. Im Gegensatz dazu wird B[c]PH in humanen Gewebepräparationen effizient zu mutagenen Endprodukten aktiviert. Die Ergebnisse zeigen, daß für die Risikobewertung wesentliche Unterschiede beim B[c]PH-Metabolismus zwischen Mensch und Nager bestehen und die Ratte im Falle von B[c]PH kein prädiktives Modell für die Biotransformation beim Menschen darstellt. Es konnte gezeigt werden, daß für die Aktivierung von B[c]PH in menschlichem Lebergewebe eine Kombination des induzierbaren CYP 1A2 (1. Aktivierungsschritt) und des Hauptenzyms der Humanleber CYP 3A4 (2. Aktivierungsschritt) für eine effiziente Aktivierung verantwortlich ist. Die Ergebnisse dieser Studie legen nahe, daß B[c]PH eine Bedeutung für die Entstehung von Krebs beim Menschen besitzt.
Das zentrale Thema der vorliegenden Arbeit war die spektroskopische Untersuchung der Chiralität mittels von CD-, UV- und polarisierter UV-Spektroskopie an unverbrückten (R-1 bis R-3) und verbrückten 1,1' -Binaphtholen (R-4 bis R-7). Diese spektroskopischen Untersuchungen sind für die Interpretation der HTP (helical twisting power) erforderlich, um insbesondere auch einen Vergleich der Ergebnisse der Chiralitätsbeobachtungen CD und HTP zu ermöglichen. Um die Spektren der 1,1' -Binaphthole mit der Struktur zu korrelieren und insbesondere die Ordnungszustände in der flüssigkristallinen Phase über die 2 H-NMR-Spektren zu erhalten, mußte die Geometrie der Verbindungen, gelöst in der flüssigkristallinen Phase, bekannt sein. Da die Struktur in dieser Phase zum Teil verändert sein kann wurde die Geometrie der 1,1'-Binaphthole R-1 bis R-7 und damit der Winkel q, sowie der Potentialkurvenverlauf als Funktion der Drehung um die Naphthyl-Naphthyl-Verbindungsachse mit der AM1-Methode für die Gasphase berechnet, und mit Ergebnissen aus Röntgenstrukturdaten aus Arbeiten von Reiß und Frank [74-78] verglichen. Für die unverbrückten 1,1'-Binaphthole wurden im Bereich 90 ° +-30 ° breite flache Potentialkurven (Änderung der Energie < kT) erhalten, während die Potentialkurven der verbrückten 1,1'-Binaphthole schmäler und steiler im Verlauf ausfallen, da die Verbrückung durch den Dioxepinring eine Rotation um die Naphthyl-Naphthyl- Verbindungsachse nicht zuläßt. Als Konsequenz der flachen Potentialkurve muß für die Gasphase für diese Moleküle eine "Large Amplitude Motion (LAM)" beachtet werden, die für die Beschreibung unserer Effekte in der flüssigkristallinen Matrix in Form von lösungsmittelstabilisierten Konformere zu berücksichtigen ist, für die eine Simulation nicht durchgeführt wurde. Die Winkel zwischen den mittleren Naphthylebenen aus der AM1-Methode qAM1 und der Röntgenstrukturanalyse qRSA weichen für die verbrückten 1,1 -Binaphthole 4, 5 und 6 maximal 7° voneinander ab. Für 7 ergab sich eine große Abweichung, die aber möglicherweise artifiziell ist, da die Röntgenstruktur zum jetzigen Zeitpunkt, wegen einer Zwillingsbildung im Kristall noch nicht vollständig analysiert wurde. Bei den unverbrückten 1,1'-Binaphtholen führt die flache Potentialkurve dazu, daß die äußere Umgebung d.h. die Packungseffekte einen wesentlichen Einfluß auf den Winkel qRSA zwischen den mittleren Naphthylebenen ausübt. Hieraus ist zu ersehen, daß der Flüssigkristall ebenfalls eine Auswirkung auf den Winkel q haben wird. Es zeigt sich, daß der CD von Verbindung R-1 wesentlich besser reproduziert werden kann, wenn man zur Beschreibung -255- eine Boltzmann-Wichtung über alle mit der Exziton-Theorie berechneten CD-Spektren der einzelnen Konformationen der Potentialkurve durchführt, als wenn nur die Geometrie des Minimums benutzt wird. Um die Anisotropie der 1,1' -Binaphthole im Flüssigkristall zu analysieren ist es notwendig die Ordnung der Moleküle in der Phase, d.h. die Hauptachsen und Hauptwerte des Ordnungstensors zu kennen, die im Rahmen der Arbeit von I. Kiesewalter [92] gemessen wurde. Die Orientierung der Hauptachsen im Molekül sind abhängig von der Geometrie des Moleküls und muß, da die Moleküle C2-Symmetrie besitzen, experimentell bestimmt werden. Hierbei besteht zusätzlich das Problem, daß zwar die Größe der Quadrupolaufspaltungen experimentell ermittelbar sind, nicht aber ihr Vorzeichen. Ein Verfahren diese Informationslücke der Vorzeichen zu beheben bestand darin, alle Zuordnungen zu denkbaren Orientierungszuständen durch eine Permutation zu erhalten. Durch weitere Kriterien werden dann Zuordnungen aufgrund der erhaltenen Ergebnisse aussortiert. Für die so gefundenen Sätze von Hauptwerten * 33 ii g ist zu prüfen ob sie innerhalb des Ordnungsdreiecks liegen. Erfüllen die * 33 ii g dieses in der Hierachie oberste Kriterium folgen weitere, wie z.B. die Übereinstimmung mit den Hauptwerten aus der 13 C-Spektroskopie, um die optimalste Lösung zu ermitteln. Für 2 existieren keine Ordnungsparameter S * und D * aufgrund der schlechten Löslichkeit in ZLI-1695. Aus Tensorkoordinaten eii * , die mit Hilfe der experimentellen Ordnungsparameter S * und D * aus den Anisotropiegraden, ermittelt wurden, können im Rahmen des Exziton-Modells interpretiert werden. Für die unverbrückten 1,1-Binaphthole 1 bis 3 zeigt sich, daß die Aufspaltungsenergie n , m NK E D und damit die Wechselwirkung zwischen den Naphthylebenen, die im Exziton-Modell als Dipol-Dipol-Wechselwirkung beschrieben wird, im Vergleich zu den verbrückten 1,1-Binaphtolen 4, 5 und 7 sehr gering ist. 1 zeigt eine Aufspaltungsenergie von 1 n , m NK cm 9 . 335 E - = D , 2 und 3 zeigen eine von 94.0 cm -1 und 0 cm -1 . Der Mittelwert der Aufspaltungsenergien aus den Tensorkoordinaten von 4, 5 und 7 beträgt dagegen 1 n , m NK cm 6 . 1093 E - = D . Aus den Tensorkoordinaten der unverbrückten 1,1 ' -Binaphthole ergibt sich weiterhin, daß die a-Bande eine höhere Intensität besitzt als die b-Bande. Für die verbrückten 1,1' -Binaphthole ist das Verhältnis a- zu b-Bande genau umgekehrt. Aus Anpassungen experimenteller CD- und UV-Spektren, mit Gleichungen, die aus der Exziton-Theorie abgeleitet wurden, findet man die gleiche Tendenz, wie aus den Ergebnissen der Tensorkoordinatenzerlegung. Die Wechselwirkungsenergie n , m NK E D ist für die verbrückten 1,1' - 256-Binaphthole 1 bis 3 ca. doppelt so groß, wie für die unverbrückten 1,1' -Binaphthole 4 bis 7. Speziell aus der Anpassung der UV-Spektren ergibt sich, daß für die verbrückten 1,1' -Binaphthole 1 bis 3, daß die a-Bande größer als die b-Bande ist, während die verbrückten 1,1-Binaphthole ein umgekehrtes Verhältnis von a- zu b-Bande zeigen Weiterhin konnte mit den Tensorkoordinaten die Lage des elektrischen Dipolübergangsmomentes der a-Bande ( A B -Übergang) für 4, 5 und 7 bestimmt werden. Man findet, daß das elektrische Dipolübergangsmoment a m , das in der Ebene senkrecht zur C2-Achse polarisiert ist, einen Winkel von 49° mit der Naphthyl-Naphthyl-Verbindungsachse einschließt. Speziell für die Verbindungen 4 und 7 zeigt sich aus den Tensorkoordinaten, daß der b- bzw. B A -Übergang einmal entlang der * 2 x -Achse für 4 bzw. entlang der * 3 x -Achse für 7 liegt. Dies zeigt, daß die Orientierungsachse aus der Naphthyl-Naphthyl-Achse bei Verbindung 4 in Richtung der C2-Achse bei Verbindung 7 gekippt ist. In den Tensorkoordinaten * 22 e bei Verbindung 4 und * 33 e bei Verbindung 7, die nach dem Exziton-Modell nur den A A -Übergang zeigen sollten, kann eine zusätzliche Bande im Spektralbereich des B A -Übergangs beobachtet werden. Bei den unverbrückten 1,1' -Binaphtholen tritt diese zusätzliche Bande bei der Tensorkoordinatenzerlegung nicht zum Vorschein. Die Ursache für diese zusätzliche Bande könnte eine Intensivierung eines Übergangs sein aufgrund der Verkrümmung des Naphthylrings und der damit verbundenen Erniedrigung der Symmetrie. Für die Dipolstärke würde dann im Grundkörper, d.h. im 2-Hydroxy- naphthalin mit einem planaren System - p 0 D NK = gelten. Tabelle 78. zeigt alle Ergebnisse für die unverbrückten (1 bis 3) und verbrückten (4 bis 7) 1,1 -Binaphthole, die aus AM1-Rechnungen, Röntgenstrukturanalyse und anisotroper UV-Spektroskopie im Rahmen dieser Arbeit erhalten wurden. Die Daten aus der anisotropen UV-Spektroskopie werden verglichen mit Daten, die man aus einer Anpassung experimenteller CD- und UV-Spektren in ZLI-1695 bei T=80°C, mit Hilfe von Gleichungen, die aus der Exziton-Theorie abgeleitet sind, erhält.
In der vorliegenden Arbeit wird das photochemische Reaktionsverhalten der Komplexe Tricarbonyl(h6-1,3,5,7-cyclooctatetraen)chrom(0) ( 1) und Tricarbonyl(h6-1,3,5-cyclooctatrien)chrom(0) ( 2) gegenüber Alkinen untersucht. Zur Charakterisierung aller Produkte wurden IR-, 1H-NMR- und 13C-NMR-spektroskopische Untersuchungen durchgeführt. Massenspektroskopische Messungen und Elementaranalysen ergänzen die analytischen Daten. An Hand der synthetisierten Verbindungen werden abhängig vomSubstitutionsmuster der eingesetzten Alkine für beide Ausgangskomplexe drei verschiedene Produkttypen identifiziert.Beide Komplexe reagieren mit sterisch aufwendigen Alkinen, wie Tolan und 1- Phenyl-2-trimethylsilylethin durch [6+2]-Cycloaddition zu den 1:1-Addukten des Typs A. Aus 1 werden die Tricarbonyl(h4:2-bicyclo[4.2.2]deca-2,4,7,9-tetraen)chrom(0)- Komplexe und aus 2 die Tricarbonyl(h4:2-bicyclo[4.2.2]deca-2,4,7-trien)chrom(0)-Komplexe gebildet. Mit sterisch weniger aufwendig substituierten Alkine, wie 2-Butin (9) und 3-Hexin ( 10), sowie endständige Alkine, wie Trimethylsilylethin ( 7) und 3,3-Dimethyl-1-butin ( 8) werden die 2:1-Produkte des Typs B durch Tandem-[6+2]- homo-[6+2]-Cycloadditionen mit nachfolgender De- und teilweiser Rekomplexierung gebildet. Hierbei entstehen aus 1 Tetracarbonyl(h2:2-tetracyclo[9.1.0.04,8.05,12]- dodeca-2,6,9-trien)chrom(0)-Komplexe. Mit 2 werden die Kohlenwasserstoffe Tetracyclo[9.1.0.0 4,8.05,12]dodeca-6,9-dien erhalten. In einer Konkurrenzreaktion entstehen bei der Umsetzung mit den Alkinen 9 und 10 durch nacheinander ablaufende [6+2]- und [2+2]- Cycloadditionen die 2:1-Produkte des Typs C. Aus 1 werden hierbei Tetracarbonyl( h2:2-tricyclo[6.2.2.02,5]dodeca-3,6,9,11-tetraen)- chrom(0)-Komplexe und aus 2 werden die Kohlenwasserstoffe Tricyclo[6.2.2.0 2,5]dodeca-3,6,9-trien gebildet. Mit den endständigen Alkinen werden ausschliesslich die koordinierten bzw. freien Tetracyclen B erhalten. Mit den Alkinen 9 und 10 wird dieser Typ nur als Nebenprodukt isoliert. Das mit diesen Alkinen gebildete Hauptprodukt sind die Tricycloverbindungen des Typs C. Die Erklärung fürdiese zwei verschiedenen Produkttypen ist aus der mechanistischen Betrachtung der chromvermittelten Cycloadditionen zu verstehen. Bei der photochemischen Umsetzung von Tricarbonyl( h6-1,3,5,7-cycloocta-tetraen)chrom(0) werden Carbonyl-chrom-Komplexe aller drei Typen isoliert. Für die Umsetzungen mit Tricarbonyl(h6-1,3,5-cyclooctatrien)chrom(0) sind nur für die 1:1-Addukte Komplexe zu isolieren. Die 2:1-Produkte werden aufgrund ihrer Molekülstruktur nicht koordiniert. Bei dem Versuch den freien Kohlenwasserstoff 6,12-Bistrimethylsilyltetracyclo-[9.1.0.0 4,8.05,12]dodeca-2,6,9-trien an ein Cyclopentadienylkobaltfragment zu komplexieren, wird eine Copeartige Umlagerung beobachtet. Der resultierendeKohlenwasserstoff wird am Kobalt koordiniert. Weitere Untersuchungen zum photochemischen Reaktionspotential von 2 werden mit 1,3,5-Cycloheptatrienvorgenommen. Bei dieser Reaktion findet jedoch keine C-C-Verknüpfung sondern ein Austausch der Liganden statt. Umgekehrt reagiert Cyclooctatrien durch das mit ihm im Gleichgewicht vorliegenden Valenzisomer Bicyclo[4.2.0]octa-2,4-dien über eine [6+4]- Cycloaddition photochemisch mit Tricarbonyl(h6-1,3,5- cycloheptatrien)chrom(0) zu Tricarbonyl(h4:2-tetracyclo[6.4.2.12,7.09,12]pentadeca-3,5,13-trien)chrom(0).
In der vorliegenden Arbeit wurde das Reaktionsverhalten von zweikernigen Eisencarbonyl-komplexen mit h5:3-koordinierten, verbrückenden Fulvenliganden gegenüber ausgewählten Alkinen untersucht. Hierzu kamen die drei Komplexe Pentacarbonyl(m-h5:3-6,6-diphenylfulven)dieisen(Fe-Fe) (1), Pentacarbonyl(m-h5:3-6-methyl-6-phenylfulven)dieisen(Fe-Fe) (2) und Pentacarbonyl[m-h5:3-6(E-prop-1-enyl)fulven]dieisen(Fe-Fe) (5) zum Einsatz. Die Charakterisierung der Produkte erfolgte anhand der IR-, 1H-NMR- sowie 13C-NMR-Spektren. Darüber hinaus konnte von den Verbindungen 7 und 19 eine Kristallstrukturanalyse angefertigt werden. Bei den Umsetzungen des literaturbekannten Komplexes 1 sowie bei den Umsetzungen von Komplex 2 mit ausgewählten Alkinen konnten jeweils fünf Produkte isoliert werden. Bei diesen insertiert das eingesetzte Alkin ausschließlich in ß-Position am Fünfring in die Eisen-Kohlenstoff-Bindung, wobei die CC-Bindungsknüpfung bei den verwendeten 1-Alkinen regiospezifisch an C2 erfolgt. Darüber hinaus konnte aufgrund NMR-spektros-kopischer Untersuchungen die Stellung der Methylgruppe am exocyclischen Kohlenstoff der aus den Umsetzungen mit 2 gebildeten Produkte, ausschließlich in Z-Position am Enylsystem nachgewiesen werden. Zusätzlich zur bislang nicht literaturbekannten Verbindung 2 konnten bei deren Synthese die beiden ebenfalls bislang unbekannten Komplexe Hexacarbonyl(m-h5:1-6-methyl-6-phenylfulven)dieisen(Fe-Fe) (3) und Tetra-carbonyl-(m-h5:5-1,2-dicyclopenta-dien-diyl-1,2-dimethyl-1,2-diphenylethan)dieisen (Fe-Fe) (4) isoliert werden. Bei den photochemischen Umsetzungen der literaturbekannten Verbindung 5 mit Alkinen erfolgt die CC-Bindungsknüpfung zwischen dem Alkin und dem Fulvenliganden nicht am Fünfring, sondern am exocyclischen Enylsystem. In einer Pauson-Khand-analogen Reaktion wird unter Einbezug eines Äquivalentes Kohlenmonoxid ein Cyclopentenonsystem generiert, dessen Sauerstoffatom an die Pentacarbonyldieiseneinheit koordiniert ist. Bei Verwendung von 2-Butin als Reaktionspartner kann zusätzlich Komplex 16 isoliert werden, welcher als ein Zwischenprodukt auf dem Wege der Synthese des Cyclopentenon-systems angesehen werden kann. Weiterhin konnten in den drei Verbindungen 1, 2 und 4 gehinderte Ligandbewegungen mit Hilfe der dynamischen NMR-Spektroskopie aufgefunden und studiert werden.
Die FoF1-ATP-Synthase katalysiert die Synthese von ATP aus ADP und Pi bei der oxidativen bzw. Photophosphorylierung. Der ATP-Synthase-Komplex läßt sich in zwei funktionelle Einheiten unterteilen: Fo ist ein integraler Membranproteinkomplex, der den Protonenkanal bildet. F1 hingegen ist ein wasserlöslicher Proteinkomplex, der die Nukleotidbindungsstellen trägt. Die ATP-Synthase aus Escherichia coli hat die Zusammensetzung alpha3beta3gamma delta epsilon für die F1 und ab2c9-12 für den Fo-Teil. "Native" (d.h. nicht nukleotidbefreite) F1 aus Escherichia coli (EF1) wurde mit verschiedenen spinmarkierten Adeninnukleotiden ESR-spektroskopisch vermessen. Es wurden Spektren mit zwei Signalen gemessen, ein Hinweis auf zwei verschiedene Konformationen der Bindungsstellen. Durch Titrationsexperimente wurden die Bindungsstöchiometrie und die Spektren für die verschiedenen verwendeten Nukleotide ermittelt. Die gleichen Experimente wurden mit einer Mutante, die in den nichtkatalytischen Bindungsstellen keine Nukleotide bindet, durchgeführt. Die vorliegenden Ergebnisse deuten darauf hin, daß zwei der drei katalytischen Bindungsstellen zum äußeren Signal beitragen, während die dritte das innere Signal hervorruft. Die Untereinheiten alpha; und beta der EF1, wurden isoliert und in gleicher Weise wie die F1 untersucht. Während alpha; 0,8 Moleküle SL-ATP binden konnte, zeigte beta keine Bindung. Mit 2',3'-SL-ATP in Komplex mit alpha; konnten ESR-Spektren mit zwei Signalen gemessen werden, die SL-ATP-Derivate, bei denen der Spin-Label entweder an der 2'- oder 3'-Position fixiert ist, zeigten lediglich ein Signal. Die beobachteten 2Azz-Werte unterscheiden sich stark in Abhängigkeit von der Position des Spin-Labels. Um die Bindung der F1 an den Fo-Teil und die Struktur des aus den b- und delta-Untereinheiten gebildeten zweiten Stiels zu untersuchen, wurden verschiedene Mutanten einer wasserlöslichen Form der b-Untereinheit (bsyn) mit dem Spin-Label IodacetamidTEMPO markiert. Das System F1/bsyn wurde mit den an unterschiedlichen Positionen markierten bsyn-Mutanten ESR-spektroskopisch untersucht. Dabei wurden Spektren von freiem bsyn sowie bsyn im Komplex mit F1 und F1-delta (alpha3beta3gamma epsilon) aufgenommen: Alle gelabelten b-Mutanten weisen ähnliche ESR-Spektren von stark mobilen Spin-Labeln auf. Die ähnlichen Werte lassen darauf schließen, daß der b-Dimer über weite Teile eine vergleichbare Struktur besitzt. Im Komplex mit F1 zeigen fast alle Mutanten eine stärkere Immobilisierung als die freien b-Mutanten. Tendenziell nimmt in Richtung des C-Terminus die Differenz der Hochfeld : Mittelfeld-Verhältnisse der Spektren von b und F1/b zu, was die Vermutung nahelegt, daß die Bindung von b an die F1 in Richtung des C-Terminus stärkeren Einfluß auf die Struktur hat. bsyn im Komplex mit F1-delta zeigt nur an einzelnen Positionen eine stärkere Immobilisierung des Spin-Labels. Es scheint somit wahrscheinlich, daß die b-Untereinheit außer über delta noch weitere Kontakte mit der EF1 hat.
In diesem Aufsatz geht es um eine Klassifikation von Programmen nach zwei orthogonalen Kriterien.Programm und Software werden dabei nicht als Synonyme angesehen; Programm sein wird hiergleichgesetzt mit ausführbar sein, d.h. etwas ist dann und nur dann ein Programm, wenn man die Fragebeantworten kann, was es denn heißen solle, dieses Etwas werde ausgeführt. Es gibt durchaus Softwa-regebilde, bezüglich derer diese Frage keinen Sinn hat und die demzufolge auch keine Programme sind - beispielsweise eine Funktions - oder eine Klassenbibliothek.Klassifikation ist von Nutzen, wenn sie Vielfalt überschaubarer macht - die Vielfalt der Schüler einergroßen Schule wird überschaubarer, wenn die Schüler "klassifiziert" sind, d.h. wenn sie in ihren Klas-senzimmern sitzen. Die im folgenden vorgestellte Klassifikation soll die Vielfalt von Programmenüberschaubarer machen.
Bei der Programmierung geht es in vielfältiger Form um Identifikation von Individuen: Speicherorte,Datentypen, Werte, Klassen, Objekte, Funktionen u.ä. müssen definierend oder selektierend identifiziert werden.Die Ausführungen zur Identifikation durch Zeigen oder Nennen sind verhältnismäßig kurz gehalten,wogegen der Identifikation durch Umschreiben sehr viel Raum gewidmet ist. Dies hat seinen Grunddarin, daß man zum Zeigen oder Nennen keine strukturierten Sprachformen benötigt, wohl aber zumUmschreiben. Daß die Betrachtungen der unterschiedlichen Formen funktionaler Umschreibungen soausführlich gehalten sind, geschah im Hinblick auf ihre Bedeutung für die Begriffswelt der funktionalen Programmierung. Man hätte zwar die Formen funktionaler Umschreibungen auch im Mosaikstein "Programmzweck versus Programmform" im Kontext des dort dargestellten Konzepts funktionaler Programme behandeln können, aber der Autor meint, daß der vorliegende Aufsatz der angemessenerePlatz dafür sei.
In diesem Aufsatz wird die Arbeitsweise eines Werkzeuges dargestellt, mit dessen Hilfedie Analyse von Feature-Interaktionen in Intelligenten (Telefon-)Netzwerken unterstütztwird. Dieses Werkzeug basiert auf einem von uns entwickelten formalen Lösungsansatz, deraus einem geeigneten Spezifikationsstil, aus einem formalen Kriterium zur Erkennung vonFeature-Interaktionen und aus einer Methode zur Auflösung der erkannten Feature- Interaktionen besteht. Das Werkzeug führt eine statische Analyse von Estelle-Spezifikationendurch und erkennt dabei potientielle Feature-Interaktionen sowie nichtausführbare Transitionen. Darüberhinaus kann es die erkannten nichtausführbaren Transitionen zur Optimierung aus der Spezifikation entfernen. Wir erläutern zunächst kurz den zugrundeliegendenAnsatz und beschreiben danach die Anwendung auf Estelle anhand der Funktionsweisedes Werkzeuges.
Zur schnellen Kommunikation zwischen Rechnern werden laufzeiteffiziente Implementationen von Protokoll-Spezifikationen benötigt. Die herkömmliche Schichten-Aufteilung verursacht hohe Kosten. In dieser Projektarbeit wurde eine andere Spezifikationsform, die Methode des strukturierten Produktautomaten, am Beispiel der OSI-Schichten 5 und 6 untersucht. Der Aufwand zur Erstellung und Wartung der Spezifikation und die Laufzeiteffizienz der daraus entstandenen Inplementation wurden mit mehreren anderen Spezifikationsformen verglichen und bewertet. Die Methode des strukturierten Produktautomaten erwies sich dabei als ein geeigneter Spezifikationsstil.
Komprimierungsverfahren
(1999)
Bedingt durch das Wachstum von Informationsnachfrage und -angebot werden effizientere Wege zur Repräsentation von Informationen aller Art benötigt. Dies kann sowohl durch Assimilation und Optimierung der gewählten Datenstruktur und ihrer Repräsentation als auch (additiv) durch Komprimierung derselbigen erreicht werden. Diese Ausarbeitung soll in pragmatischer Art und Weise in das Themengebiet der Komprimierung einführen. Vorgestellt werden insgesamt 3 Stellvertreter aus unterschiedlichen Bereichen : Komprimierung von Texten mittels Huffman-Code, Komprimierung von Bitlisten mittels Laufkomprimierung (RLE-Komprimierung), Komprimierung von - auf dem RGB-Farbmodell basierenden - Grafiken mittels eines eigenen Verfahrens. Während die ersten beiden Verfahren Vertreter verlustfreier Komprimierung sind, ist das Dritte ein Vertreter der verlustbehafteten Komprimierung. Die vorgestellten Verfahren werden zur Arrondierung an konkreten Beispielen eingeübt und schließlich sogar in der Programmiersprache Pascal implementiert. Die konkrete Realisation in einer gegebenen Programmiersprache birgt kanonischerweise die Gefahr, den Blick für das Wesentliche zu verlieren. Deshalb wurde bei der Erstellung dieser Ausarbeitung (im speziellen der Programmieraufgaben) akribisch auf Abstrahierung unnötiger Details geachtet.
Die Beweisentwicklungsumgebung Omega-Mkrp soll Mathematiker bei einer ihrer Haupttätigkeiten, nämlich dem Beweisen mathematischer Theoreme unterstützen. Diese Unterstützung muß so komfortabel sein, daß die Beweise mit vertretbarem Aufwand formal durchgeführt werden können und daß die Korrektheit der so erzeugten Beweise durch das System sichergestellt wird. Ein solches System wird sich nur dann wirklich durchsetzen, wenn die rechnergestützte Suche nach formalen Beweisen weniger aufwendig und leichter ist, als ohne das System. Um dies zu erreichen, ergeben sich verschiedene Anforderungen an eine solche Entwicklungsumgebung, die wir im einzelnen beschreiben. Diese betreffen insbesondere die Ausdruckskraft der verwendeten Objektsprache, die Möglichkeit, abstrakt über Beweispläne zu reden, die am Menschen orientierte Präsentation der gefundenen Beweise, aber auch die effiziente Unterstützung beim Füllen von Beweislücken. Das im folgenden vorgestellte Omega-Mkrp-System ist eine Synthese der Ansätze des vollautomatischen, des interaktiven und des planbasierten Beweisens und versucht erstmalig die Ergebnisse dieser drei Forschungsrichtungen in einem System zu vereinigen. Dieser Artikel soll eine Übersicht über unsere Arbeit an diesem System geben.
Im Bereich des Software Engineering werden komplexe Software-Entwicklungsprojekte betrachtet. Im Rahmen dieser Projekte werden große Mengen von Informationen bearbeitet. Diese Informationen werden in Software-Artefakten (z.B. in Projektplänen oder Entwicklungsdokumenten, wie Anforderungsbeschreibungen)
festgehalten. Die Artefakte werden während der Entwicklung und der Wartung eines Softwaresystems häufig geändert. Änderungen einer Information in einem Artefakt haben häufig Änderungen
im selben und in anderen Artefakten zur Folge, da Beziehungen innerhalb und zwischen den in den Artefakten festgehaltenen Informationen bestehen. Die Beziehungen liegen meist nicht explizit vor, so daß die Konsequenzen einer Änderung schwer zu überblicken sind. In dieser Arbeit wurde ein Verfolgbarkeitsansatz ausgewählt, der den Benutzer bei der Durchführung von Änderungen an Artefakten unterstützt. Unterstützung bedeutet hierbei, daß der Aufwand zur Durchführung einer Änderung reduziert wird und weniger Fehler bei der Durchführung gemacht werden.
In der Arbeit wurden Anforderungen an einen auszuwählenden Verfolgbarkeitsansatz gestellt. Eine Anforderung war, daß er auf verschiedene Bereiche des Software Engineering, wie z.B. Systementwurf oder Meßplanung, mit jeweils sehr unterschiedlichen Artefakten, anwendbar sein sollte. Die durchgeführte
Literaturrecherche und die anschließende Bewertung anhand der gestellten Anforderungen ergaben, daß das Prinzip der Metamodellierung in Verbindung mit Wissensbankverwaltungssystemen ein geeigneter Verfolgbarkeitsansatz ist. Eine Evaluation, die sich auf Fallstudien aus den Bereichen
"Objektorientierter Entwurf mit UML" und "Meßplanung mit GQM" bezog, ergab, daß das Wissensbankverwaltungssystem
ConceptBase, das auf der Wissensrepräsentationssprache 0-Telos basiert, ein geeignetes Werkzeug zur Unterstützung des Verfolgbarkeitsansatzes ist.