Ein logisch-topologischer Kalkül zur Konstruktion von integrierten Schaltkreisen

Es wird ein CAD-System ICAD-IC vorgestellt, das den Entwurf integrierter Schaltungen unterstützen soll. Der Kern des Systems besteht in einem Netzkalkül, der es erlaubt, neben der logischen Information auch geometrische Informationen zu handhaben. Dieser Kalkül besitzt verschiedene Ausprägungen, die den Entwurf auf verschiedenen Entwurfsebenen unterstützen. Das System ist um den Kalkül herum entwickelt, wie etwa ALGOL um die Numerik. Soweit das System bis jetzt entwickelt ist, betrifft es die logisch-topologische Entwurfsebene und den Übergang zur topographischen Entwurfsebene. Wir stellen hier das Konzept des Kalküls vor und erläutern an Beispielen einige Grundlagenuntersuchungen zu diesem Thema.We present a CAD-system \u27CAD-IC\u27, supporting the automatic design of integrated circuits. The kernel of the system is based on a "calculus of nets", which allows both, the handling of logical and geometrical information. Depending on the design-level different versions of this calculus may be adopted. The system itself is built around this calculus, as f.e. ALGOL around numerics. As far as the system is developed at the moment, it mainly deals with the logical-topological design level and the transition to the topographical level. We give the main ideas of the calculus and illustrate some basic investigations with help of examples

Gibbs measures and Markov chains

Ende der sechziger Jahre wurde die Idee der Gibbs-Maße als stochastische Felder von Dobrushin, Lanford und Ruelle geprägt. Das Ziel war eine mathematisch rigorose Beschreibung der statistischen Mechanik. Im Laufe der Zeit haben sich die Gibbs-Maße neben der Bedeutung für die Physik als reiche Theorie im Bereich der Stochastik erwiesen. So sind z. B. unter bestimmten Voraussetzungen Gibbs-Maße äquivalent zu Markov-Ketten. Ziel der Arbeit ist es den Begriff des Gibbs-Maßes verständlich einzuführen und erstmalig unterschiedliche Aspekte der Gibbs-Maße von der Definition als stochastisches Feld über stationäre Maße von Prozessen und zellularen Automaten bis zur Äquivalenz zu Markov-Ketten zusammenzustellen. Das ist in dieser Form und Themenauswahl bisher nicht geschehen, so dass Anfänger eine lange Einarbeitungszeit in das Gebiet der Gibbs-Maße benötigten und die Zusammenhänge zu anderen Bereichen der Mathematik verloren. Als besonders fruchtbar stellt sich die oben erwähnte Äquivalenz von Gibbs-Maßen und Markov-Ketten heraus. Dies zeigt sich z. B. in der Verwendung von Gibbs-Maßen bei der Analyse von DNS. Da der Autor das erste Staatsexamen für das höhere Lehramt in Mathematik und Physik gemacht hat und in Zukunft als Lehrer an Gymnasien arbeiten wird, schließt die Arbeit mit einem Kapitel zur Rolle von Markov-Ketten in der gymnasialen Oberstufe. Neben der Verbindung von Analysis, Lineare Algebra und Stochastik in der Oberstufe, bietet sich u. a. durch die unter bestimmten Voraussetzungen vorliegende Äquivalenz von Markov-Ketten und Gibbs-Maßen die Möglichkeit, fächerübergreifend zu unterrichten. Denn fasst man die Parametermenge der Markov-Kette als eine räumliche statt zeitliche Menge auf, so kommt man z. B. zum Ising-Modell.The idea of Gibbs measures as random fields was developed by Dobrushin, Lanford and Ruelle at the end of the 1960s. They aimed at a rigorous mathematical description of statistical mechanics. In the course of time Gibbs measures have proved to be valuable not only in physics but also in probability theory. Thus, under certain circumstances Gibbs measures are equivalent to Markov chains. In my thesis, I want to introduce the term Gibbs measures in an understandable way and bring together different aspects of Gibbs measures - from their definition as a random field to stationary measures of processes and cellular automata or the equivalence to Markov chains. This has not been done in this extent before so that it has taken beginners a lot of time to make themselves acquainted with the field of Gibbs measures. Moreover, the thesis intend to connect the theory of Gibbs measures with other mathematical fields. The equivalence between Gibbs measures and Markov chains turned out to be especially fruitful. As a consequence, Gibbs measures are used for DNA analyses. Since the author is going to be a grammar school teacher for mathematics and physics, the thesis ends with a chapter about the use of Markov chains in school. Apart from the connection between analysis, linear algebra and probability theory, the equivalence of Gibbs measures and Markov chains, which is given under certain circumstances as mentioned above, offers an opportunity to integrate several school subjects: If the parameter set of a Markov chain is taken as a spatial set instead of a temporal set we can get to the Ising model

\"Aquivalenz und Wahrheit

This text summarizes and expands the content of a general audience talk given at the University of Mainz. Motivated by recent developments in type theory and category theory, it presents a history of ideas around the concepts of truth, proof, identity, and equivalence as well as their relation to human thought. We describe a few ideas of Aristoteles, Leibniz, Kant and Frege and then pass to the results of G\"odel and Tarski about incompleteness and the difference between truth and deducibility. The main focus of this text, however, is the development of type theory in the work of Per Martin-L\"of and further developments including homotopy type theory, i.e., the univalent foundations program. This results in particular in the notion of identity types and gives mathematics the possibility to handle equivalences and isomorphisms in a conceptual way.Comment: in German, title change

Familien von Jacobivarietäten über Origamikurven

Origamikurven sind algebraische Kurven im Modulraum der Riemannschen Flächen von vorgegebenem Geschlecht. In dieser Arbeit werden Origamikurven als Familien Riemannscher Flächen über einer eindimensionalen Basis aufgefasst und der Zusammenhangs zwischen der Monodromieaktion der Fundamentalgruppe der Basis und Fixanteilen in der zugehörigen Familie von Jacobivarietäten untersucht. Es wird ein Algorithmus zur Bestimmung einer oberen Schranke für die Dimension solcher Fixanteile angegeben

Familien von Jacobivarietäten über Origamikurven

Origamikurven sind algebraische Kurven im Modulraum der Riemannschen Flächen von vorgegebenem Geschlecht. In dieser Arbeit werden Origamikurven als Familien Riemannscher Flächen über einer eindimensionalen Basis aufgefasst und der Zusammenhangs zwischen der Monodromieaktion der Fundamentalgruppe der Basis und Fixanteilen in der zugehörigen Familie von Jacobivarietäten untersucht. Es wird ein Algorithmus zur Bestimmung einer oberen Schranke für die Dimension solcher Fixanteile angegeben

KREMLAS: Entwicklung einer kreativen evolutionären Entwurfsmethode für Layoutprobleme in Architektur und Städtebau

Die im vorliegenden Buch dokumentierten Untersuchungen befassen sich mit der Entwicklung von Methoden zur algorithmischen Lösung von Layoutaufgaben im architektonischen Kontext. Layout bezeichnet hier die gestalterisch und funktional sinnvolle Anordnung räumlicher Elemente, z.B. von Parzellen, Gebäuden, Räumen auf bestimmten Maßstabsebenen. Die vorliegenden Untersuchungen sind im Rahmen eines von der Deutschen Forschungsgemeinschaft geförderten Forschungsprojekts entstanden