Refine
Year of publication
Document Type
- Diploma Thesis (108) (remove)
Language
- German (108) (remove)
Has Fulltext
- yes (108)
Is part of the Bibliography
- no (108)
Keywords
- Algebra (1)
- Algebraische Gleichung (1)
- Analyse von Algorithmen (1)
- BMRT (1)
- BRDF (1)
- BTF (1)
- Begabtenförderung (1)
- Beleuchtungsmodell (1)
- Binärsuchbaum (1)
- Computer (1)
Institute
- Informatik (46)
- Physik (26)
- Biowissenschaften (10)
- Geowissenschaften (7)
- Mathematik (7)
- Biochemie und Chemie (2)
- Erziehungswissenschaften (2)
- Gesellschaftswissenschaften (2)
- Psychologie (2)
- Wirtschaftswissenschaften (2)
Die Implementation der Striktheits-Analyse, die im Zuge dieser Arbeit vorgenommen wurde, stellt eine effiziente Approximation der abstrakten Reduktion mit Pfadanalyse dar. Durch die G#-Maschine, ein neues, auf der G-Maschine basierendes Maschinenmodell, wurde die verwendete Methode systematisch dargelegt. Die große Ähnlichkeit mit der G-Maschin, die in unserer Implementation beibehalten werden konnte, zeigt, wie natürlich die verwendete Methode der Reduktion in funktionalen Programmiersprachen entspricht. Obwohl die Umsetzung mehr Wert auf Nachvollziehbarkeit, als auf Effizienz legt, zeigt sie, daß die Methode der abstrakten Reduktion mit Pfadanalyse auch in einer funktionalen Implementierung durchaus alltagstauglich ist und Striktheits-Information findet, die Umsetzungen anderer Methoden nicht finden. Es bestehen Möglichkeiten zur Optimierung u. a. von Programmteilen, die für jede simulierte G#-Maschinen-Anweisung ausgeführt werden. Bei vorsichtiger Einschätzung erscheint eine Halbierung der Laufzeit mit vertretbarem Aufwand erreichbar.
In Abschnitt 4.1 wurden Algebren auf Mengen und Relationen vorgestellt. Desweitern wurde in Abschnitt 4.2 eine zu ALC erweiterte terminologische Wissensrepräsentationssprache ALCX definiert und gezeigt, daß die in Abschnitt 4.1 vorgestellten Algebren zur Festlegung der odell-theoretischen Semantik der Sprache ALCX benutzt werden können. Als Ergebnis einer derartigen Festlegung kann jeder terminologische Ausdruck direkt mit einem algebraischen Term assoziiert werden. Desweitern können alle in den Algebren aufgeführten universellen Identitäten in semantisch äquivalente terminologische Identitäten überführt werden. Eine mittels ALCX repräsentierte Wissensbasis ist in meinem Programm mit Hilfe der in der funktionalen Programmiersprache Gofer (Version 2.28) gegebenen Möglichkeiten formuliert. Mein Programm bietet durch Simplifizierung von Anfrageausdrücken eine optimierte Lösung des aus dem Bereich der Wissensrepräsentation bekannten Retrieval-Problems. Die Simplifizierung von Anfrageausdrücken wird in meinem Programm erzielt, indem in den oben genannten Algebren erfüllte universelle Identitäten als Simplifikationshilfsmittel benutzt werden. Die in den Algebren aufgeführten universellen Identitäten bestehen stets aus zwei äquivalenten Termen, für die eine unterschiedliche Anzahl von Reduktionsschritten zur Evaluierung benötigt werden. Es existieren universelle Identitäten, bei denen unabhängig von den Instanzen der Argumentterme ein Term gegenüber einem anderen Term effizienter auswertbar ist. Bei diesen universellen Identitäten kann eine Simplifikation von einem Term zu einem anderen Term immer unproblematisch realisiert werden. Es gibt jedoch auch universelle Identitäten, bei denen die Unabhängigkeit von den Instanzen der Argumentterme nicht gegeben ist. In diesen Fällen wird ein von der Wissensbasis abhängiges Komplexitätsabschätzungsverfahren eingesetzt, um den effizienter auswertbaren Term von zwei an einer universellen Identität beteiligten Termen zu ermitteln. Daß die Simplifikation eines Anfrageausdrucks große Einsparungen bei dessen Auswertung nach sich ziehen kann, wurde an verschiedenen Beispielen in Abschnitt 5.4.4 gezeigt. Über eine weitere Möglichkeit, die zum Simplifizieren von Anfrageausdrucken verwendet werden kann, wurde in Abschnitt 5.4.5 berichtet. Die Genauigkeit der Komplexitätsabschätzung kann erhöht werden, indem das Komplexitätsabschätzungsverfahren erweitert wird. So kann beispielsweise die Komplexität der Funktion "oder" genauer abgeschätzt werden, indem für zu vereinigende Mengen überprüft wird, ob Teilmengenbeziehungen vorhanden sind. Durch eine genauere Abschätzung der Mächtigkeit entstehender Vereinigungsmengen wird die Komplexitätsabschätzung insgesamt in ihrer Genauigkeit gesteigert. Eine Änderung der Instanzen meiner terminologischen Datenbank erfordert eine Änderung des Skripts meines Programms. Indem die Instanzen-Daten in einer veränderlichen Datenbank festgehalten würden, könnte hier Abhilfe geschaffen werden. Dies könnte im Rahmen der Erstellung einer benutzterfreundlichen Ein- und Ausgabe-Schnittstelle realisiert werden.
Im Rahmen des Schwerionenexperimentes NA49 am CERN-SPS (Super-Proton-Synchrotron) wurde für das TPC-Detektorsystem eine Meßapparatur zur hochpräzisen Bestimmung der Driftgeschwindigkeit von Elektronen im TPC-Gas entwickelt. Für die Driftgeschwindigkeitsmessung standen zwei im mechanischen Aufbau verschiedene Driftgeschwindigkeitsmonitore zur Verfügung, zum einen der am CERN entwickelte und gebaute CERN-Monitor und zum anderen der im Rahmen dieser Diplomarbeit an der GSI konstruierte und gebaute Goofie. Mit dem CERN-Monitor wurde der Einfluß der Temperatur und des Druckes auf die Messung untersucht und ein Korrekturverfahren beschrieben, das es erlaubt, die Driftgeschwindigkeit im Detektorsystem der TPCs unter den jeweiligen Experimentbedingungen zu bestimmen. Ferner wurden der Einfluß der Gasverunreinigungen Wasser und Sauerstoff und der Gasbeimischungen Methan und Kohlendioxid auf die Driftgeschwindigkeitsmessung diskutiert. Der statistische Fehler der Driftgeschwindigkeit wurde zu 0.08 % und der systematische Fehler zu 0.13 % bestimmt. Die Zusammensetzung des TPC Gases wurde während der dreißigtägigen Strahlzeit im November '94 anhand der relativen Änderung der Driftgeschwindigkeit überwacht. In die Gasüberwachung ging hier nur der statistische Fehler ein. Es konnten signifikante Gasmischungsänderungen beobachtet und die Änderung in den einzelnen Komponenten ermittelt werden. Die gewonnenen Ergebnisse stehen im Einklang mit den aus der Amplitudenmessung erhaltenen Daten. Die Bestimmung der absoluten Driftgeschwindigkeit beinhaltet den genannten statistischen und systematischen Fehler und weist damit einen Gesamtfehler von 0.15 % auf. Der Gesamtfehler der absoluten Driftgeschwindigkeit ermöglicht eine Bestimmung der absoluten Ortskoordinaten der Teilchentrajektorien in der VTPC bis auf 1000 µm und in der MTPC bis auf 1700 µm. Die Ergebnisse der Driftgeschwindigkeitsmessung wurden anhand der unabhängig aus denDaten des Lasersystems und der Time-of-Flight-Messungen gewonnenen Driftgeschwindigkeitsdaten diskutiert. Anhand von Transversalimpuls und Rapidiätsverteilungen in der VTPC wurde der Einfluß der Driftgeschwindigkeit auf die TPC-Auswertung gezeigt. Es wurden Vergleichsmessungen zwischen dem CERN-Monitor und Goofie durchgeführt, die gezeigt haben, daßbeide Systeme den gestellten Anforderungen entsprechen.
Mikrowellen-Linearbeschleuniger arbeiten im allgemeinen mit einer geringen Stoßfrequenz. Um dennoch eine gute Luminosität zu erreichen, ist es erforderlich, eine große Teilchenzahl pro Bunch und einen sehr kleinen Strahlquerschnitt am Kollisionspunkt zu erreichen. Vor dem Hauptbeschleuniger sorgen entsprechende Quellen und die Dämpfungsringe für eine geringe Emittanz. Im Idealfall werden die Teilchenpakete vom Hauptbeschleuniger ausschließlich longitudinal beschleunigt. Bedingt durch höhere Moden kann es hier jedoch zum BBU (siehe Abschnitt 1.2) mit einer Verschlechterung der Strahlqualität oder gar Strahlverlust kommen. Dieser Effekt wird umso stärker, je größer die Teilchenzahl pro Bunch ist. Um den Einsatzpunkt für den BBU quantitativ zu bestimmen, ist es erforderlich, die Shuntimpedanzen der Störmoden zu kennen [1, 2]. Ziel dieser Arbeit war es, die Shuntimpedanzen aller Moden der ersten drei Pass-Bänder zu bestimmen. Hierzu wurde ein weitgehend automatisierter Störkörper-Meßstand mit zugehöriger Schrittmotorsteuerung und Steuerprogramm aufgebaut, der es ermöglicht, eine große Zahl von Meßpunkten aufzunehmen und so die statistischen Fehler klein zu halten. Die Messungen der Monopol-Moden wurde nicht-resonant in Transmission durchgeführt. Die Messungen der Dipol-Moden erfolgten mit der nicht-resonanten zwei-Störkörper-Methode in Transmission. Diese Methode macht Störkörpermessungen auch an Moden möglich, die ein überwiegend transversales elektrisches Feld haben. Aus den Meßdaten wurden die Gütefaktoren und Shuntimpedanzen ohne Phasenfaktor sowie nach Rekonstruktion der Phasensprünge die Shuntimpedanzen mit Phasenfaktor und die Transittime-Faktoren berechnet. Hierzu wurde ein Satz von Auswertungs-Programmen geschrieben. Parallel zu den Messungen wurden alle gesuchten Größen auch numerisch mit dem Programm MAFIA berechnet. Bei den Monopol-Moden zeigte sich eine gute Übereinstimmung zwischen Messung und numerischer Rechnung bei den Gütefaktoren und den longitudinalen Shuntimpedanzen ohne Phasenfaktor. Die Bestimmung der longitudinalen Shuntimpedanzen mit Phasenfaktor durch Rekonstruktion der Phasensprünge funktioniert bei großen Transittime- Faktoren gut. Bei sehr kleinen Transittime-Faktoren ist mit diesem Verfahren nur noch die Aussage möglich, daß die longitudinalen Shuntimpedanzen mit Phasenfaktor bzw. der Transittime-Faktor klein sind. Die genauen Werte hängen stark von kleinen Fehlern sowohl bei der Messung als auch in der Geometrie der Cavity ab. Moden mit sehr kleinem Transittime-Faktor beeinflussen den Strahl jedoch nicht wesentlich, so daß diese qualitative Angabe ausreichend ist. Von den Moden des TM01-Pass-Bandes hat nur die Beschleuniger-Mode einen großen Transittime-Faktor. Alle anderen Moden haben einen erheblich kleineren Transittime-Faktor. Bei den Dipol-Moden des zweiten und dritten Pass-Bandes zeigte sich eine Aufspaltung in zwei azimutale Polarisationsrichtungen, was auf einen kleinen Geometriefehler der Cavity schließen läßt. Die Polarisationsrichtung dreht sich vom einen zum anderen Ende der Cavity um etwa 10°. Da es sich um eine kleine Abweichung handelt, wurden die weiteren Messungen nur für eine der beiden Polarisationsrichtungen durchgeführt. Im TE/TM-Dipol-Pass-Band gibt es mehrere Moden, die wegen ihrer recht hohen transversalen Shuntimpedanz mit Phasenfaktor als Störmoden in Frage kommen. Die numerisch berechneten Werte stimmen bei diesen Moden relativ gut mit den gemessenen Werten überein. Wie schon bei den Monopol-Moden weichen die Werte für die Moden mit geringem Transittime-Faktor voneinander ab. Am TE-artigen Ende des Pass-Bandes werden die gemessenen Werte aufgrund der begrenzten Selektivität ungenau. Es ist allerdings zu bedenken, daß die gleichen kleinen Geometriefehler, die eine Polarisation bewirkt haben, auch für die Abweichungen bei den kleinen Transittime-Faktoren verantwortlich sein können. Im TM/TE-Dipol-Pass-Band ist die transversale Shuntimpedanz ohne Phasenfaktor bei allen Moden größer als im TE/TM-Pass-Band. Auch hier haben mehrere der Moden eine hohe transversale Shuntimpedanz mit Phasenfaktor. Die numerischen Berechnungen stimmen für dieses Pass-Band besser mit den Messungen überein als im TE/TM-Pass- Band. Mit den gemessenen Werten ist es möglich, den Einsatzpunkt für den BBU unter Berücksichtigung aller Moden der ersten drei Pass-Bänder zu bestimmem. Für den späteren Einsatz im Beschleuniger ist geplant, die Cavities mit zwei HOM-Dämpfern an den Enden auszustatten. Mit den gemessenen Werten kann berechnet werden, wie groß die Wirkung der Dämpfer sein muß, um bei dem vorgesehenen Strahl einen BBU-freien Betrieb zu ermöglichen. Bei der Vermessung der weiteren Pass-Bänder gibt es noch mehrere Probleme zu lösen. Zum einen überlappen bei den höheren Moden die Bänder einander. Dies erschwert die Identifikation der Moden bei der Messung. Zum anderen gelangt man schnell zu Frequenzen, die oberhalb der jeweiligen Cut-Off-Frequenz für den entsprechender Wellentyp im Strahlrohr liegen. Moden oberhalb Cut-Off können über mehrere Cavities miteinander koppeln und dabei neue Moden über viele Cavities ausbilden. Um die Gefährlichkeit dieser Moden für die Strahlqualität zu untersuchen, ist es erforderlich, die Übertragungscharakteristik (S-Parameter) der gesamten Cavity mit Strahlrohren zu bestimmen. An solchen Messungen wird bereits gearbeitet. Ein anderer Punkt, der näher zu untersuchen wäre, ist der Einfluß kleiner mechanischer Veränderungen auf die transversalen Shuntimpedanzen der Störmoden. Die TESLACavity ist mechanisch relativ instabil. Solche Veränderungen können daher schon durch die elekromagnetischen Kräfte der gepulsten Beschleuniger-Mode auftreten.
Korrektur der durch ein inhomogenes Magnetfeld verursachten Verzerrungen in einer Spurendriftkammer
(1995)
In dieser Arbeit wurde eine Geometrieuntersuchung am FABP-Molekülmodell durchgeführt. Um 3J-Kopplungsinformation für die Diederwinkelanalyse zu bestimmen, wurden J-modulierte [15N,1H]-COSY-Experimente durchgeführt. Mit Hilfe numerischer Anpassungsroutinen wurden die Signalintensitäten quantitativ ausgewertet, um sehr genaue 3JHN,H-alpha-Kopplungskonstanten zu erhalten. Diese Kopplungskonstanten wurden in Kraftfeldrechnungen als experimentelle Randbedingungen für die Phi-Diederwinkel des Proteinrückgrates berücksichtigt. Dadurch ist eine Aussage über die Winkelverteilung und über die zeitlich gemittelten Kopplungseffekte im Proteinmodell möglich. Die aus der Molekulardynamiksimulation bestimmten 3JHN,H-alpha-Kopplungskonstanten wurden mit den experimentellen verglichen. Die Analyse ergab, daß die den beta-Faltblättern zugewandten Ränder der alpha-Helixbereiche sowie zwei der zehn beta-Faltblattbereiche sehr flexible Teilabschnitte aufweisen. Diese Arbeit konnte somit die Überlegungen stützen, die vor allem den flexiblen Teilabschnitt zwischen der alpha-II-Helix und dem beta-B-Faltblattbereich für die Funktion des Proteins verantwortlich machen.
Die zentrale Frage dieser Studie lautet: Wann ist eine stetige Funktion auf einem kompakten Raum, welche Werte in einem lokalkonvexen Raum annimmt, (Pettis-)integrierbar?
Im ersten Kapitel wird definiert, was konvexe Kompaktheit ist. Es wird das Pettis-Integral vorgestellt, und der Zusammenhang zwischen der konvexen Kompaktheitseigenschaft (oder ccp) und dem Pettis-Integral wird erläutert. Außerdem stellt dieses Kapitel dar, inwiefern die ccp aus stärkeren Eigenschaften lokalkonvexer Räume folgt oder schwächere impliziert. Das zweite Kapitel beweist hauptsächlich den Satz von Krein, der einen Zusammenhang zwischen Vollständigkeit unter der Mackey-Topologie und der ccp unter der schwachen Topologie herstellt. Das dritte Kapitel erläutert mit Gegenbeispielen, inwiefern die in Kapitel 1 vorgestellten Vollständigkeitseigenschaften lokalkonvexer Räume notwendig gegeneinander abgegrenzt sind. Das vierte Kapitel stellt zuerst das Bochner-Integral und das starke OperatorIntegral vor, um dann die starke konvexe Kompaktheitseigenschaft oder sccp einzufuhren, eine Eigenschaft, welche der ccp verwandt ist. Es wird fur einen Raum beispielhaft bewiesen, daß er diese Eigenschaft besitzt. Zuletzt wird der Zusammenhang von sccp und ccp ausfuhrlicher dargestellt.
Diese Arbeit wendet sich an Leser, denen die Grundlagen der Theorie lokalkonvexer Räume schon vertraut sind. Insbesondere ist Vertrautheit mit den Begriffen tonneliert, ultrabornologisch, bornologisch, polare Topologie unterstellt. Man findet eine kurze und einfach verständliche Einfuhrung im Werk [RR]. Alle über diese Grundlagen hinausgehenden Resultate werden in dieser Arbeit mit Beweis ausgefuhrt, oder es wird mit Angabe der Fundstelle auf die Literatur verwiesen.
Mit dem Dileptonenspektrometer HADES sollen Dielektronen aus Kern - Kern - Stößen in einem hadronischen Untergrund bei hohen Multiplizitäten untersucht werden. Die Ereignisrate von 106 pro Sekunde erfordert eine Auslese der Detektoren innerhalb von 10 mikrosek. Die erwarteten hohen Multiplizitäten führen zu einer hohen Granularität der Detektoren und damit auch der Ausleseelektronik. Durch die Verwendung mehrere Triggerstufen wird eine Aufteilung des Auslesesystems auf mehrere Stufen notwendig. Für die Auslese von ~ 26.000 Driftzellen in 24 Driftkammermodulen wurde ein an die Anforderungen des Detektorsystems angepaßtes Auslesekonzept entwickelt. Analoge Signalaufbereitung und Messung der Driftzeit werden direkt am Detektor auf zwei miteinander kombinierten Karten untergebracht. Die nötige Integrationsdichte im Digitalisierungsteil wird durch die Verwendung eines speziellen Zeitmeßverfahrens (TDC) erreicht, das auf Signallaufzeiten in Halbleiterschaltungen basiert. Im gleichen Chip befindet sich auch eine Datenübertragungseinheit, die in der Lage ist die Daten mit der erforderlichen Geschwindigkeit zu transferieren. Durch zwei weitere Module mit Speicher zum Puffern der Ereignisdaten wird den Anforderungen des Triggerkonzeptes Rechnung getragen. Dem verwendete Zeitmeßverfahren (Ringoszillator) ist eine Abhängigkeit der Zeitauflösung von Temperatur und Versorgungsspannung inherent. Ausführliche Messungen im Rahmen dieser Arbeit zeigen, daß die relativen Abhängigkeiten mit 0,2 Promille jedoch in einem Bereich liegen, in dem sie durch geeignete Maßnahmen kontrolliert werden können. Dazu zählen die regelmäßige Kalibrierung, sowie die Messung und Überwachung von Temperatur und Versorgungsspannung. Die Leistungsaufnahme des Auslesesystems liegt mit 5kW (total) noch um ca. einen Faktor zwei über den Spezifikationen. Sowohl die Tests des TDC Zeitmeßteils, als auch die Simulationen zeigen die Realisierbarkeit des Systems. Dies konnte auch durch Simulationen des gesamten Auslesesystems im Rahmen einer Projektstudie zum Triggerkonzept an der Universität Giessen nachgewiesen werden. Ein abschließender Funktionstest der Ausleseelektronik mit dem TDC an der Prototypdriftkammer im Labor ist gegenwärtig in Vorbereitung. Zur endgültigen Realisierung der Ausleseelektronik bedarf es noch der Reduzierung des Platzbedarfes sowie der Leistungsaufnahme. Zur Reduktion der Größe des Motherboardes wird eine mehrlagige Platine entwickelt. Für die Anbringung der Daughterboards ist eine platzsparende Geometrie vorgesehen. Die Reduktion der Leistungsaufnahme wird hauptsächlich durch neuere Entwicklungen bei den Daughterboards möglich. Auch die Verwendbarkeit des im Rahmen eines anderen Projektes entwickelten SAM - Modules als Konzentrator für die Driftkammerauslese ist zu untersuchen. Da diese Karte auch einen DSP enthält, ist entsprechende Software erforderlich. Die Segmentierung des modularen Spektrometersystems erlaubt den endgültigen Aufbau in mehreren Schritten. Vorgesehen ist, zunächst nur einzelne Segmente oder einzelne Ebenen der Driftkammern aufzubauen, und das komplette System erst zu einem spätern Zeitpunkt in Betrieb zu nehmen. Einzelne Komponenten können durch Neuentwicklungen ersetzt werden.