A novel circulator design method is presented. It utilizes H. Bosma’s suggested electrical model, a program written for a digital computer representing this model, Fay & Comstock’s design method to calculate electrical and physical properties of applied ferrite cylindrical resonators and measured impedance values of those, for computation of designed circulator performance. The main results are summarized as follows: (i) The method described eliminates the use of the trial and error method in the laboratory. (ii) It permits the prediction of performance accurate within a few dB-s in the 20-30 dB range. Earlier design methods and proposed solutions are each illustrated by a numerical example. (i) Fay & Comstock’s method (ii) H. Bosma’s method (iii) Proposed solution The first example exhibits considerable discrepancy between specifications and measured performance of the realized circulator. The second method is an analysis. Here again predicted performance is quite different from measured performance on the realized device, the parameters of which were used as data for the analysis. The third method shows good agreement of measured performance and specifications. Further research possibilities include a refinement of H. Bosma’s boundary value solution and the establishment of an electrical model exhibiting measured puck impedance values for easy matching network synthesis. / Ph. D.

Thesis (Ph. D.)--Joint Program in Oceanography (Massachusetts Institute of Technology, Dept. of Earth, Atmospheric, and Planetary Sciences; and the Woods Hole Oceanographic Institution), February 2000. / "September 1999." / Includes bibliographical references. / Geochemical studies are fundamental for understanding how the dynamic Earth works and evolves. These studies place constraints on the composition, formation, age, distribution, evolution and scales of geochemically distinct reservoirs such as the Earth's crust, mantle and core. In this dissertation the strategy has been to work on a broad range of topics to evaluate crustal and mantle processes. This study presents Re-Os systematics to constrain the composition, formation and age of the lower continental crust and the mantle lithosphere, examines melt inclusion from oceanic island basalts to evaluate the scale of the mantle heterogeneities, and uses U-series isotope to constrain geodynamic parameters, such as the upwelling velocities and porosities of mantle plumes. The lower continental crust plays a pivotal role in understanding the composition and evolution of the continental crust and the petrogenesis of continental basalts. / by Alberto Edgardo Saal. / Ph.D.

In dieser Habilitationsschrift wird die formale Semantik der standardisierten Spezifikationssprache SDL (Specification and Description Language) beschrieben. Da SDL eine sehr umfangreiche Sprache ist, wurde eine repräsentative eingeschränkte Sprache RSDL (Restricted SDL) ausgewählt, um die Konzepte der formalen Definition von SDL darzustellen. Die vorliegende Habilitationsschrift umfaßt zwei große Teile: die Definition der formalen Semantik von RSDL und ihre Implementierung. Die formale Definition der Semantik von RSDL ist verständlich, leicht mit der informalen Beschreibung zu vergleichen und repräsentiert die grundsätzliche Vorstellung von RSDL. Für die Beschreibung werden zwei Teile unterschieden, nämlich die statische Semantik und die dynamische Semantik. Die statische formale Sprachdefinition besteht aus einer konkreten Syntax, einer Menge von Korrektheitsbedingungen, einer Menge von Transformationsregeln und einer abstrakten Syntax als Basis für die dynamische Semantik. Das Ergebnis der statischen Beschreibung ist eine Repräsentation der Spezifikation in abstrakter Syntax. Die Formalisierung der dynamischen Semantik beginnt mit der abstrakten Syntax. Aus dieser abstrakten Syntax wird ein Verhaltensmodell abgeleitet, das auf der mathematischen Theorie der Abstrakten Zustandmaschinen ASM (Abstract State Machines) basiert. Um die Definition der Semantik besonders übersichtlich zu gestalten, wird eine Spezielle Abstrakte Maschine (SAM) unter Nutzung von ASM definiert. Diese abstrakte Maschine stellt eine abstrakte SDL-Maschine dar. Die formale Semantik beschreibt die Eigenschaften von SDL exakt. Um jedoch herauszufinden, ob die Semantik korrekt ist, muß sie mit der Sprachbeschreibung und den Intentionen der Sprachentwickler verglichen werden. Dies geschieht am einfachsten durch eine korrekte Implementierung der Semantik. Die Implementierung der formalen Semantik basiert auf einer Repräsentation der Eingabe als abstrakter Syntaxbaum. Um die Semantik mit minimalem Aufwand zu implementieren, werden existierende Werkzeuge verwendet. Der Compiler wird mit den Standardwerkzeugen lex und yacc generiert. Nach der Syntaxanalyse wird die weitere Verarbeitung über dem abstrakten Syntaxbaum der Eingabe definiert. Die Verarbeitung von abstrakten Syntaxbäumen wird durch ein Werkzeug namens kimwitu erledigt. Mit der hier vorgestellten Technologie wurde die formale Semantik von RSDL implementiert. Entsprechend wird die formale Semantik von SDL implementiert. / In this habilitation thesis the formal semantics of the standardised specification language SDL (Specification and Description Language) is described. Because of the size of the language SDL a representative subset of the language called RSDL (Restricted SDL) was selected to present the concepts of the formal definition. In this thesis two major parts are covered: the definition of the formal semantics and its implementation. The RSDL formal semantics is intelligible, easily comparable with the informal description and represents the general understanding of RSDL. We distinguish between two phases of the definition, namely the static semantics and the dynamic semantics. The static semantics comprises the definition of a concrete grammar, a set of correctness constraints, a set of transformation rules and an abstract syntax as basis for the dynamic semantics. The result of the static semantics is a representation of the specification in abstract syntax. The dynamic semantics starts with the abstract syntax. From here a behaviour model is derived based on the theory of Abstract State Machines (ASM). In order to keep the presentation intelligible a special abstract machine is defined using ASM. This abstract machine in fact represents an abstract SDL-machine. The formal semantics describes the properties of SDL exactly. However, in order to check the correctness of the formalisation, it has to be compared with the informal language description and the intentions of the language designers. This is most easily done using a correct implementation of the semantics. The implementation of the semantics is based on a representation of the input as an abstract syntax tree. For implementing the semantics with minimal effort existing tools are used. The compiler is produced using the standard tools lex and yacc. After parsing the remaining processing is defined over abstract syntax trees, which is covered by a tool called kimwitu. The formal semantics of RSDL is implemented using these tools. The same approach is applicable for SDL.