Modellierung in der Lehre an Hochschulen: Thesen und Erfahrungen

Zusammenfassung  Nicht erst seit Modellierung zum Modewort geworden ist, ist Modellierung ein wichtiges Thema in der Informatikausbildung. Dieser Beitrag beleuchtet in zw?lf Thesen das Warum, Was, Wie viel, Wo, Wann und Wie von Modellierung in der Lehre im Rahmen informatikbezogener Studieng?nge. Die Thesen basieren auf der Erfahrung des Verfassers mit einer seit über zehn Jahren gehaltenen Modellierungsvorlesung an der Universit?t Zürich sowie dem Gedankenaustausch mit anderen Hochschullehrerinnen und -lehrern im Rahmen der GI-Workshopreihe ,,Modellierung“. Zus?tzlich liefert eine Befragung von Absolventinnen und Absolventen an der Universit?t Zürich empirische Evidenz für eine Reihe der Thesen.     

A lower carbon footprint process for production of metals from their oxide sources

This paper will describe the solid oxide membrane (SOM) process as it applies to the energy-efficient and environmentally sound production of magnesium from magnesium oxide. Also, it will describe the challenges encountered while using this process for the production of transition metals like titanium from its higher oxides. Finally, a novel magnesiothermic SOM process will be proposed that can enable production of transition metals from its higher oxides.     

Epitaxial growth of GaN on (0001) Al<Subscript>2</Subscript>O<Subscript>3</Subscript> via solution-cast seed layer formation process using Ga(mDTC)<Subscript>3</Subscript>

This paper reports an alternative method for the growth of GaN epitaxial layer on (0001) Al₂O₃ substrate by hot-wall vapor phase epitaxy technique. Tris (N,N-dimethyldithiocarbamato)-gallium (III), Ga(mDTC)₃ was introduced as a precursor material for the seed layer formation in the growth of GaN. Optimal growth conditions with seed layers formed by the Ga(mDTC)₃ concentration of 0.047 mol/L were identified: Growth temperature was found to be 850 °C, and optimal distance between the reactant outlet and substrate was determined to be 12.5 cm. Characterization results showed that this growth method produce high-crystallinity GaN epitaxial layers at a relatively lower growth temperature compared to the existing growth techniques and simplify the growth process.     

Porosity distribution in highly compressible cake: Experimental and theoretical verification of the dense skin

The rate of filtration and the water content of cake are influenced by the existence of a dense skin in a highly compressible cake. The phenomenon of the dense skin has been rarely studied, and its existence has not been verified experimentally. In this study, the porosity variation in a very compressible cake is measured by using a new experimental apparatus, and with this the existence of dense skin has been established experimentally. ‘Unified theory on solid-liquid separation’, a recently developed theory, is utilized for calculating the porosity variation in a very compressible cake.     

Precipitation behavior of σ phase in fusion zone of dissimilar stainless steel welds during multi-pass GTAW process

The purpose of this study is to investigate the precipitation characteristics of σ phase in the fusion zone of stainless steel welds at various welding passes during a tungsten are welding (GTAW) process. The morphology, quantity, and chemical composition of the δ-ferrite and σ phase were analyzed using optical microscopy (OM), a ferritscope (FS), a X-ray diffractometer (XRD), scanning electron microscopy (SEM), an electron probe micro-analyzer (EPMA), and a wavelength dispersive spectrometer (WDS), respectively. Massive δ-ferrite was observed in the fusion zone of the first pass welds during welding of dissimilar stainless steels. The σ phase precipitated at the inner δ-ferrite particles and decreased δ-ferrite content during the third pass welding. The σ and δ phases can be stabilized by Si element, which promoted the phase transformation of σ→ϱ+λ₂ in the fusion zone of the third pass welds. It was found that the σ phase was a Fe−Cr−Si intermetallic compound found in the fusion zone of the third pass welds during multi-pass welding.     

Representation and uniformization of algebraic transductions

This paper explores different means of representation for algebraic transductions, i.e., word relations realized by pushdown transducers. The relevance of this work lies more in its point of view rather than any particular result. We are aiming at giving specific techniques for obtaining, or perhaps explaining, decompositions of algebraic (and incidentally, rational) relations, relying solely on their “machine” definition rather than some complex algebraic apparatus. From this point of view, we are hoping to have demystified the heavy formalism employed in the present literature. Some of the novelties of our work are: the use of “stack languages” and “embeddings,” which eliminate the need of arbitrary context-free languages in our characterizations, the study of uniformizations for algebraic transductions and the use of the so-called stack transductions for exposing the anatomy of pushdown transducers.This work was supported by the Natural Science and Engineering Research Council of Canada grants R220259 and OGP0041630.