Modellansatz

Modellansatz 184

Wie es kam, dass es kam, dass es so ist, wie es ist, mit dem Rechenschieber. Zu einer gemeinsamen Folge vom damalsTM-Podcast zur Technikgeschichte und dem Modellansatz zur Mathematik trafen sich Prof. Dr. Ralph Pollandt, Stephan Ajuvo und Sebastian Ritterbusch in der Hochschule für angewandte Wissenschaften in Karlsruhe zu diesem mathematisch-technischen Thema aus vergangenen Zeiten. Stephan Ajuvo hatte den Rechenschieber schon länger auf seiner Liste seiner Wunschthemen. Er konnte nach der hackover-Konferenz nach Karlsruhe kommen, wo am 4. Mai 2018 die 9. Lange Nacht der Mathematik stattgefunden hatte, die von Sebastian Ritterbusch moderiert wurde, und wo Ralph Pollandt den Rechenschieber in einem Publikumsvortrag vorgestellt hatte. Die lange Nacht der Mathematik wurde an der damaligen Fachhochschule Karlsruhe im Jahr 2000, dem Weltjahr der Mathematik, gestartet, und fand seither alle zwei Jahre mit sehr großem Besucherandrang statt. Vor Einzug der Taschenrechner, wie beispielsweise dem SchulRechner 1 oder SR1, waren Rechenschieber im Schulbetrieb allgegenwärtig. Es gab unter anderem Typen von Aristo oder von VEB Mantissa Dresden. Die Basis der grundsätzlichen Methode hinter dem Rechenschieber wurde mit dem Beginn der Nutzung von Logarithmentafeln (um 1600) gelegt. In der DDR wurden diese für Schulen vom Verlag Volk und Wissen gedruckt. Sie umfassten neben den Logarithmen auch eine Formelsammlung für Mathematik, Physik und Chemie. Auch die Bordwährung der c-base orientierte sich an der logarithmischen Skala. Ein Weg den Logarithmus einzuführen geht über die Exponentialfunktion, die viele Wachstumsprozesse in der Natur bis zur Sättigung beschreibt. Exponentialfunktion $\exp(x)=e^x$ Da diese Entwicklungen oft sehr schnell ansteigen, bietet es sich an, die Werte mit der Umkehrfunktion zu beschreiben, und das ist genau der Logarithmus: Exponentiell ansteigende Werte wie die 2-er Potenzen 1, 2, 4, 8, 16, 32, ..., a(n)=2^n werden nach Anwendung des Logarithmus Dualis zur Basis 2 linear zu 0, 1, 2, 3, 4, 5, ..., \log_2 a(n)=n und damit deutlich einfacher zu begreifen. Auch in der Musik werden aus Frequenzen von Tönen nach Anwendung des Logarithmus Dualis ganzzahlig zu Oktaven und im nicht-ganzzahligen Rest zu den Tönen. Für die Nutzung mit Logarithmentafeln und dem Rechenschieber sind die Logarithmenregeln äusserst wichtig: Clog(ab)=log(a)+log(b), log(a/b)=log(a)-log(b) In Logarithmentafeln ist sehr häufig der dekadische Logarithmus zur Basis 10 abgedruckt, da dies bei der Nutzung mit Zahlen im Dezimalsystem sehr hilfreich ist. Dabei wird typisch nur eine Dekade in der Tafel abgedeckt, da höhere Dekaden einfach ganzzahlige Differenzen im Wert darstellen. Da diese Betrachtung außerhalb der Tafeln stattfindet, müssen diese Größenordnungen während der Rechnung mitgeführt und am Ende dem Ergebnis abgerechnet werden. Da Rechenschieber wie gegenüber liegende Lineale sehr einfach addieren können, (...)

Rechenschieber


<p>Gudrun talks to Zaheer Ahamed about the influence of an increasing number of <a href="https://en.wikipedia.org/wiki/Electric_vehicle">Electric vehicles (EV)</a> to the <a href="https://en.wikipedia.org/wiki/Electrical_grid">electrical grid</a>. Zaheer just finished the <a href="http://www.mach.kit.edu/1686.php">ENTECH</a> Master's program. He started it with his first year at the <a href="https://www.kit.edu/">Karlsruhe Institute for Technology (KIT)</a> and continued in <a href="https://en.wikipedia.org/wiki/Uppsala_University">Uppsala University</a> for the second year.<br /><br />Gudrun was part of the grading process of Zaheer's master thesis "Estimating Balancing Capacities of Electric Vehicles on the German and Swedish grids in 2030".<br /> <br />The rising awareness of pollution from transport is leading to innovations within the transport sector. At the moment EVs are the leading technology. With many countries Germany and Sweden joined the so-called <a href="https://www.iea.org/newsroom/news/2017/june/new-cem-campaign-aims-for-goal-of-30-new-electric-vehicle-sales-by-2030.html">EV30@30 campaign</a>, aiming for 30% of new vehicles sales to be electric by 2030. These ambitions alongside an ever increasing capacity of variable renewable energy sources (RES) in our power systems, pose a concerning challenge for <a href="https://en.wikipedia.org/wiki/Transmission_system_operator">Transmission systems operators</a> (TSO) to maintain proper power system operation. Imbalances between supply and demand are undesirable in any electrical power system and with the rising popularity of EVs and RES such events are only expected to continue or increase.<br /><br />Fortunately, with the recent development of <a href="https://en.wikipedia.org/wiki/Vehicle-to-grid">Vehicle to grid</a> (V2G) concepts as well as extensive studies into the load-shifting potential of EVs, EVs presents an interesting solution for power system balancing distributed energy storage system. Zaheer's study showed that EV are capable of balancing the grid for approximately 60% of the time providing 55-60% of the total balancing energy required. However, the operation also took heavy toll on the EV’s battery performance as it could potentially reduce its life to a 1/7th of its original lifetime.</p> <br /><p> </p> <h2>References</h2> <ul><li> <a href="https://eur-lex.europa.eu/legal-content/EN/TXT/?uri=uriserv:OJ.L_.2017.220.01.0001.01.ENG">Commission Regulation (EU) 2017/1485</a> of 2 August 2017 on establishing a guideline on electricity transmission system operation, 2017.</li><li> <a href="https://arxiv.org/abs/1405.2857">S. Weitemeyer e.a.: Integration of Renewable Energy Sources in future power systems: The role of storage</a>. Renewable Energy, 75 pp.14-20, 2015.</li><li> <a href="https://ideas.repec.org/a/eee/appene/v203y2017icp115-127.html">D.M.Greenwood e.a.: Frequency response services designed for energy storage</a>. Applied Energy, 203 pp.115-127, 2017.</li><li> <a href="http://ec.europa.eu/eurostat/data/database">Eurostat Database</a></li><li> <a href="http://isiarticles.com/bundles/Article/pre/pdf/113264.pdf">J. Schäuble e.a.: Generating electric vehicle load profiles from empirical data of three EV fleets in Southwest Germany</a>. Journal of Cleaner Production, 150 pp.253-266, 2017.</li></ul> <br /> <br /> <h2>Podcasts</h2><ul><li> <a href="https://forschergeist.de/podcast/fg053-energiewende/">Volker Quaschning, Tim Pritlove: Energiewende</a>, Forschergeist 053, Stifterverband / Metaebene, 2018.</li><li> <a href="http://modellansatz.de/optimale-akkuladung">V. Auinger, G. Thäter: Optimale Akkuladung</a>, Gespräch im Modellansatz Podcast, Folge 160, Fakultät für Mathematik, Karlsruher Institut für Technologie (KIT), 2018. <a href="http://modellansatz.de/optimale-akkuladung">http://modellansatz.de/optimale-akkuladung</a></li><li> <a href="http://modellansatz.de/smart-meter">M. Lösch, S. Ritterbusch: Smart Meter Gateway</a>, Gespräch im Modellansatz Podcast, Folge 135, Fakultät für Mathematik, Karlsruher Institut für Technologie (KIT), 2017. <a href="http://modellansatz.de/smart-meter">http://modellansatz.de/smart-meter</a></li><li> <a href="http://modellansatz.de/akkumulatoren">M. Maier, G. Thäter: Akkumulatoren</a>, Gespräch im Modellansatz Podcast, Folge 123, Fakultät für Mathematik, Karlsruher Institut für Technologie (KIT), 2017. <a href="http://modellansatz.de/akkumulatoren">http://modellansatz.de/akkumulatoren</a></li><li> <a href="http://omegataupodcast.net/163-elektromobilitat/">D. Schumann, M. Voelter: Elektromobilität</a>, Omega Tau Podcast 163, Makus Völter und Nora Ludewig, 2015.</li><li> <a href="http://modellansatz.de/pumpspeicher">J. Dickmann, S. Ritterbusch: Pumpspeicherkraftwerke</a>, Gespräch im Modellansatz Podcast, Folge 5, Fakultät für Mathematik, Karlsruher Institut für Technologie (KIT), 2013.</li></ul>


Modellansatz 183

Gudrun talks to Zaheer Ahamed about the influence of an increasing number of Electric vehicles (EV) to the electrical grid. Zaheer just finished the ENTECH Master's program. He started it with his first year at the Karlsruhe Institute for Technology (KIT) and continued in Uppsala University for the second year.  Gudrun was part of the grading process of Zaheer's master thesis "Estimating Balancing Capacities of Electric Vehicles on the German and Swedish grids in 2030".  The rising awareness of pollution from transport is leading to innovations within the transport sector. At the moment EVs are the leading technology. With many countries Germany and Sweden joined the so-called EV30@30 campaign, aiming for 30% of new vehicles sales to be electric by 2030. These ambitions alongside an ever increasing capacity of variable renewable energy sources (RES) in our power systems, pose a concerning challenge for Transmission systems operators (TSO) to maintain proper power system operation. Imbalances between supply and demand are undesirable in any electrical power system and with the rising popularity of EVs and RES such events are only expected to continue or increase.  Fortunately, with the recent development of Vehicle to grid (V2G) concepts as well as extensive studies into the load-shifting potential of EVs, EVs presents an interesting solution for power system balancing distributed energy storage system. Zaheer's study showed that EV are capable of balancing the grid for approximately 60% of the time providing 55-60% of the total balancing energy required. However, the operation also took heavy toll on the EV’s battery performance as it could potentially reduce its life to a 1/7th of its original lifetime.

Electric Vehicles on the Grid


<p>Gudrun talks to <a href="https://www.linkedin.com/in/jousefmurad/">Jousef Murad</a> about the computing platform <a href="https://www.simscale.com/">SimScale</a>. Jousef is currently studying mechanical engineering at the <a href="https://www.kit.edu/">Karlsruhe Institute of Technology (KIT)</a> and focuses on <a href="https://www.simscale.com/docs/content/simwiki/cfd/what-is-turbulent-flow.html">turbulence modelling</a> and computational mechanics in his Master's studies. He first learned about the existence of SimScale early in the year 2015 and started as a FEA (finite element analysis) simulation assistant in November 2016. Meanwhile he switched to Community Management and now is Community and Academic Program Manager at the company being responsible for user requests and <a href="https://www.simscale.com/blog/2018/08/orion-racing-india-formula-bharat/">Formula student teams</a> all over the world. Formula student is a name for design competitions for teams of students constructing racing cars.</p> <p><a href="https://www.simscale.com/">SimScale</a> is a cloud-based platform that gives instant access to computational fluid dynamics (CFD) and finite element analysis (FEA) simulation technology, helping engineers and designers to easily test performance, optimize durability or improve efficiency of their design. SimScale is accessible from a standard web browser and from any computer, eliminating the hurdles that accompany traditional simulation tools: high installation costs, licensing fees, deployment of high-performance computing hardware, and required updates and maintenance. </p> <p>Via the platform, several state-of-the-art open solvers are made available like,e.g., <a href="https://de.wikipedia.org/wiki/OpenFOAM">OpenFOAM</a> and Meshing with SnappyHexMesh. More information about the packages being used can be found at <a href="https://www.simscale.com/open-source/">https://www.simscale.com/open-source/</a> .</p> <p>On top of having easier access to open source software, the connected <a href="https://www.simscale.com/forum/">user forum</a> is very active and helps everybody to enter the field even as a person without experience.</p> <p>Founded in 2012 in Munich (Germany), nowadays SimScale is an integral part of the design validation process for many companies worldwide and individual users. It is mainly used by product designers and engineers working in <a href="https://www.simscale.com/blog/2018/05/cfd-simulation-aec/">Architecture, Engineering &amp; Construction</a> or <a href="https://www.simscale.com/blog/2016/09/cfd-hvac-systems-applications/">Heating, Ventilation &amp; Air-Conditioning</a>. Also in the Electronics, Consumer Goods and Packaging and Containers industries SimScale is useful for testing and optimizing designs in the early development stages. </p> <p>SimScale offers  <a href="https://www.simscale.com/product/pricing/">pricing plans</a> that can be customized, from independent professionals to SMEs and multinational companies. The Community plan makes it possible to use SimScale for free, with 3000 core hours/year using up to 16 cloud computing cores.</p> <br /> <p><img class="imgcenter" src="http://www.math.kit.edu/ianm4/seite/ma-simscale/media/burj-khalifa.gif" alt="Simulation around Burj Khalifa using SimScale" title="Simulation around Burj Khalifa using SimScale" /><center>Simulation around Burj Khalifa using SimScale</center></p> <br /> <h2>References</h2> <ul><li> <a href="https://en.wikipedia.org/wiki/Turbulence_modeling">Turbulence models on the English Wikipedia</a></li><li> <a href="https://ae.sharif.edu/~farshchi/Turbulent%20flows%20(Stephen%20B.%20Pope)%20.pdf">S. Pope: Turbulent Flows</a>. Cambridge University Press, 2000.</li><li> <a href="https://books.google.de/books/about/Homogeneous_Turbulence_Dynamics.html?id=zo1QIn5lS5IC">P. Sagaut, C. Cambon: Homogeneous Turbulence Dynamics</a>. Cambridge University Press, 2008.</li></ul><br /> <h2>Related Podcasts</h2> <ul><li> <a href="http://modellansatz.de/turbulence">G. Thäter, M. Hofmanová: Turbulence</a>, Gespräch im Modellansatz Podcast, Folge 155, Fakultät für Mathematik, Karlsruher Institut für Technologie (KIT), 2018. </li><li> <a href="http://modellansatz.de/lokale-turbulenzen">N. Vercauteren, S. Ritterbusch: Lokale Turbulenzen</a>,  Gespräch im Modellansatz Podcast, Folge 144,  Fakultät für Mathematik, Karlsruher Institut für Technologie (KIT),  2017. </li><li> <a href="http://modellansatz.de/strukturoptimierung">P. Allinger, N. Stockelkamp, G. Thäter: Strukturoptimierung</a>, Gespräch im Modellansatz Podcast, Folge 53, Fakultät für Mathematik, Karlsruher Institut für Technologie (KIT),  2015. </li><li> <a href="https://www.thenakedscientists.com/podcasts/naked-scientists/science-turbulence">B.Valsler, D. Ansell: The Science of Turbulence</a>, The Naked Scientists Podcast, 2010.</li></ul>


Modellansatz 182

Gudrun talks to Jousef Murad about the computing platform SimScale. Jousef is currently studying mechanical engineering at the Karlsruhe Institute of Technology (KIT) and focuses on turbulence modelling and computational mechanics in his Master's studies. He first learned about the existence of SimScale early in the year 2015 and started as a FEA (finite element analysis) simulation assistant in November 2016. Meanwhile he switched to Community Management and now is Community and Academic Program Manager at the company being responsible for user requests and Formula student teams all over the world. Formula student is a name for design competitions for teams of students constructing racing cars. SimScale is a cloud-based platform that gives instant access to computational fluid dynamics (CFD) and finite element analysis (FEA) simulation technology, helping engineers and designers to easily test performance, optimize durability or improve efficiency of their design. SimScale is accessible from a standard web browser and from any computer, eliminating the hurdles that accompany traditional simulation tools: high installation costs, licensing fees, deployment of high-performance computing hardware, and required updates and maintenance. Via the platform, several state-of-the-art open solvers are made available like,e.g., OpenFOAM and Meshing with SnappyHexMesh. More information about the packages being used can be found at https://www.simscale.com/open-source/ . On top of having easier access to open source software, the connected user forum is very active and helps everybody to enter the field even as a person without experience. Founded in 2012 in Munich (Germany), nowadays SimScale is an integral part of the design validation process for many companies worldwide and individual users. It is mainly used by product designers and engineers working in Architecture, Engineering and Construction or Heating, Ventilation and Air-Conditioning. Also in the Electronics, Consumer Goods and Packaging and Containers industries SimScale is useful for testing and optimizing designs in the early development stages. SimScale offers pricing plans that can be customized, from independent professionals to SMEs and multinational companies. The Community plan makes it possible to use SimScale for free, with 3000 core hours/year using up to 16 cloud computing cores.

SimScale


<p>Gudrun war zu Gast an der FU Berlin für ein lange geplantes Gespräch mit <a href="http://www.mi.fu-berlin.de/math/groups/ag-ddm/members/Prof_LB/lutz-westphal.html">Brigitte Lutz-Westphal</a> zum Thema Forschendes Lernen im Mathematikunterricht. Frau Lutz-Westphal ist dort Professorin für Didaktik der Mathematik und in dieser Rolle in die Lehramtsausbildung eingebunden. Ihre Forschung beschäftigt sich mit der Grundlegung einer Theorie zum <a href="https://de.wikipedia.org/wiki/Forschendes_Lernen">forschenden Lernen</a>, mit <a href="https://de.wikipedia.org/wiki/Dialogisches_Lernen">dialogischem Lernen</a> und  <a href="https://de.wikipedia.org/wiki/Authentische_Kommunikation">authentischem</a> sowie <a href="https://de.wikipedia.org/wiki/Inklusive_Pädagogik">inklusivem</a> Mathematikunterricht. Sie ist seit 2010 wissenschaftliche Begleitung des Programms "Mathe.Forscher" der Stiftung Rechnen. Die enge Zusammenarbeit mit der Schulpraxis in diesem Programm hat wichtige Impulse für ihre wissenschaftliche Tätigkeit gegeben.</p> <p>Was zeichnet nun forschendes Lernen aus? Es geht darum, für Schülerinnen und Schüler die Mathematik als von Fragen getriebene Wissenschaft erlebbar zu machen (im Gegensatz zum Einpauken von fest stehenden Lehrsätzen und Regeln). Das erfolgt z.B. über Beobachtungen in handgreiflichen Experimenten, die für die Erlangung von mathematischen Resultaten aktiv erkundet werden müssen. Das ist gleichzeitig ein authentisches Erleben von Mathematik, wie sie in der Forschung betrieben wird, also eine Begegnung mit der Wissenschaft Mathematik, ihren Methoden und Arbeitsweisen.</p> <p>Eine Beschreibung der eigenen forschenden Tätigkeit fällt Mathematiker/innen üblicherweise nicht leicht, diese Metaebene ist für das Forschen ja auch nicht relevant. Aber sie wissen, dass sie Fragen und Vermutungen formulieren aus Erfahrung, Gedankenexperimenten oder einem Bauchgefühl heraus und in Gesprächen im Kollegium, im Auswerten von anderen Arbeiten und im Verwerfen von Hypothesen Stück für Stück neues Wissen finden. Eine derzeit laufende Interviewstudie, die von Prof. Lutz-Westphal betreut wird, soll herausarbeiten, wie man Forschen in der Mathematik präziser charakterisieren kann, um daraus weitere Schlüsse für die authentische didaktische Umsetzung in der Schule zu ziehen</p> <p>Der Ansatz des forschenden Lernens trägt bereits jetzt die wesentlichen Schritte in die Schule: Anregung zum selbstständigen Fragen, Raum für Erkundungen, offen für fächerübergreifende und vorausgreifende Inhalte, Sichtbarmachen der gefundenen mathematischen Erkenntnisse &amp; kritische Auseinandersetzung mit unterschiedlichen Herangehensweisen und Resultaten. Inzwischen gibt es schon viele erprobte Beispiele für forschendes Lernen, die von Lehrpersonen für den eigenen Unterricht übernommen oder adaptiert werden können  (siehe www.matheforscher.de) . In unserem Gespräch gehen wir auf die Frage: Wo bitte ist die Mitte? ein. Für komplexe Gebilde, wie z.B. die Geometrie von Deutschland oder anderen Ländern kann man auf unterschiedliche "Mitten" kommen. Und man findet auch Beispiele, wo die Mitte gar nicht im Innern des Gebietes liegt. Solche Unterrichtsideen helfen Schüler/innen, Mathematik nicht nur als festgefügten Wissenskanon, sondern als kreatives Betätigungsfeld zu erleben, in dem flexibles Denken erforderlich ist.</p> <p>Wesentlich für einen Mathematikunterricht, der auf diese Weise gestaltet ist, ist eine Kultur, in der das Fragen stellen und Fehler machen möglich sind und ein produktiver Umgang mit Fehlern gepflegt wird. Es hat sich bewährt, die Schülerinnen und Schüler ein Lern- oder Forschertagebuch führen zu lassen (bzw. je nach Vermögen der Lerngruppe, einen mündlichen Austausch anzuregen), um besser zu verstehen, wie die Lernenden denken, wo konkrete Probleme im Verständnis sind, bzw. welche eigenen Ansätze die Kinder entwickeln. Dieser dialogische Ansatz öffnet den Weg zu einem individuellen Austausch zwischen Lehrkräften und Lernenden und öffnet die Perspektive in Richtung inklusiver Lerngruppen. </p> <p>Ein Unterricht, der Mathematik forschend entwickelt braucht Lehrpersonen mit einem hohen Selbstvertrauen in ihre eigenen mathematischen Fähigkeiten und einer authentischen Begeisterung für das Fach. Damit ergeben sich auch Ziele in der Lehramtsausbildung:</p> <ul><li> Erlangen fachlicher und fachmethodischer Sicherheit,</li><li> das Kennenlernen moderner Mathematik und aktueller Forschungsthemen,</li><li> eine tiefe fachdidaktische Durchdringung von mathematischen Themen,</li><li> und somit übergreifend: die Stärkung des fachlichen Selbstbewusstseins. </li></ul><br /> <p>Nach ihrem Abitur 1990 studierte Brigitte Lutz-Westphal an der Hochschule der Künste und der freien Universität Berlin Schulmusik, Violine und Mathematik und hatte dabei 1994-95 auch einen Studienaufenthalt in Paris als Stipendiatin des Briand-Stresemann Programms. Auf ihr erstes Staatsexamen in Musik und Mathematik folgte ihr Referendariat am Karl-von-Frisch-Gymnasium in Dußlingen und am Wildermuth-Gymnasium in Tübingen. Nach dem zweiten Staatsexamen für die Laufbahn des höheren Schuldienstes an Gymnasium in Musik und Mathematik, wurde sie in Berlin als Musikpädagogin und Nachhilfelehrerin selbstständig tätig und begann mit ihren Arbeiten zum Projekt "Diskrete Mathematik für die Schule". Ab 2002 wurde sie als wissenschaftliche Angestellte am Konrad-Zuse-Zentrum für Informationstechnik durch die Volkswagenstiftung für das Projekt "Diskrete Mathematik in der Schule" gefördert. Ab 2004 war sie als wissenschaftliche Mitarbeiterin an der TU Berlin unter anderem im Projekt "Visualisierung von Algorithmen" des DFG-Forschungszentrums MATHEON tätig. 2006 promovierte sie an der TU Berlin mit ihrer Dissertation zum Thema "Kombinatorische Optimierung - Inhalte und Methoden für einen authentischen Mathematikunterricht" bei Prof. Martin Gröschel, und trat eine Vertretungsstelle einer Juniorprofessur für Mathematikdidaktik an der TU Berlin und wurde Mitglied der "Junior Faculty" der Berlin Mathematical School (BMS). 2008 wurde sie auf die W2-Professur für Mathematik und Didaktik der Hochschule Vechta berufen, und ist seit 2009 als W2 Professorin für Didaktik der Mathematik der Freien Universität Berlin. Seit 2009 ist die Mitherausgeberin der "Mitteilungen der Deutschen Mathematiker Vereinigung" und ist seit 2017 Mitglied des Beirats der Stiftung Rechnen.</p> <br /> <h2>Literatur und weiterführende Informationen</h2> <ul><li> <a href="http://matheforscher.de/mitforschen/praxistipps/">M. Ludwig, B. Lutz-Westphal, C. Benz: Entdeckendes, forschendes und projektartiges Lernen</a>. Best Practice Beispiele aus dem Programm Mathe.Forscher. Stiftung Rechnen, 3. Auflage 2018. (1. Auflage online)</li><li> <a href="http://www.wtm-verlag.de/beitraege-zum-mathematikunterricht/">P. Linke, B. Lutz-Westphal: Das \"Spot-Modell\" im Mathematikunterricht – forschendes und entdeckendes Lernen fundiert anwenden</a>. In: Beiträge zum Mathematikunterricht. WTM-Verlag. 4 Seiten (in Druck), 2018.</li><li> <a href="http://www.juergen-roth.de/Praxis_der_Mathematik_in_der_Schule.html">M. Ludwig, B. Lutz-Westphal, V. Ulm:Forschendes Lernen im Mathematikunterricht, Mathematische Phänomene aktiv hinterfragen und erforschen</a>. In: Praxis der Mathematik in der Schule Heft 73. S. 2-9, 2017.</li><li> <a href="http://www.wtm-verlag.de/beitraege-zum-mathematikunterricht/">B. Lutz-Westphal, A. Schulte: Mathematische Forschung – Was Forschendes Lernen im Mathematikunterricht aus der Praxis lernen kann</a>. In: Beiträge zum Mathematikunterricht. WTM-Verlag. S. 1181-1184, 2016.</li><li> <a href="https://www.mathematik-lehren.de/zeitschrift/hefte-artikel/">B. Lutz-Westphal: Das forschende Fragen lernen</a>. Pflasterungen: scheinbar Bekanntes neu durchdringen. In: Mathematik lehren Heft 184. S. 16-19, 2014.</li><li> <a href="http://www.wtm-verlag.de/beitraege-zum-mathematikunterricht/">B. Lutz-Westphal: Mathematik forschend entdecken</a>. In: Stiftung Rechnen (Hg.): Mathe.Forscher. Entdecke Mathematik in deiner Welt. WTM-Verlag Münster, S. 103-112, 2013.</li><li> B. Lutz-Westphal, K. Skutella: Dialogic learning on a shared theme – approaching inclusive settings in the mathematics classroom. In M. Knigge et al. (Hrsg.) (in Vorbereitung): Inclusive mathematics education. State-of-the-art research from Brazil and Germany. Springer, 2019.</li><li> <a href="https://link.springer.com/book/10.1007/978-3-658-06993-3">S. Hußmann, B. Lutz-Westphal (Hg.):Diskrete Mathematik erleben. Anwendungsbasierte und verstehensorientierte Zugänge</a>. Springer (2. Auflage), 2015.</li><li> <a href="https://link.springer.com/book/10.1007/978-3-658-01004-1">K. Biermann, M. Grötschel, B. Lutz-Westphal, Brigitte (Hg.):Besser als Mathe! Moderne angewandte Mathematik aus dem MATHEON zum Mitmachen</a>. Springer, 2010.</li><li> <a href="http://www.stiftungrechnen.de">Stiftung Rechnen</a></li><li> <a href="http://www.matheforscher.de">Matheforscher</a></li><li> <a href="https://www.degruyter.com/view/j/dmvm">B. Lutz-Westphal: Kinderseite</a> in den Mitteilungen der Deutschen Mathematiker Vereinigung.</li></ul> <br /> <br /> <h2>Podcasts</h2> <ul><li> <a href="http://modellansatz.de/lerntheken">J.-M. Klinge, G. Thäter: Lerntheken</a>, Gespräch im Modellansatz Podcast, Folge 178, Fakultät für Mathematik, Karlsruher Institut für Technologie (KIT), 2018. <a href="http://modellansatz.de/lerntheken">http://modellansatz.de/lerntheken</a></li><li> <a href="http://modellansatz.de/cammp-week">K. Wohak, M. Hattebuhr, E. Bastian, C. Beizinger, G. Thäter: CAMMP-Week</a>, Gespräch im Modellansatz Podcast, Folge 174, Fakultät für Mathematik, Karlsruher Institut für Technologie (KIT), 2018. <a href="http://modellansatz.de/cammp-week">http://modellansatz.de/cammp-week</a></li><li> <a href="http://modellansatz.de/cammp">G. Thäter, K. Wohak: CAMMP</a>, Gespräch im Modellansatz Podcast, Folge 165, Fakultät für Mathematik, Karlsruher Institut für Technologie (KIT), 2018. <a href="http://modellansatz.de/cammp">http://modellansatz.de/cammp</a></li><li> <a href="http://modellansatz.de/meisterklasse">B. Bötcher, G. Thäter: Meisterklasse</a>, Gespräch im Modellansatz Podcast, Folge 158, Fakultät für Mathematik, Karlsruher Institut für Technologie (KIT), 2018. <a href="http://modellansatz.de/meisterklasse">http://modellansatz.de/meisterklasse</a></li><li> <a href="http://modellansatz.de/was-ist-mathematik">G.M. Ziegler, G. Thäter: Was ist Mathematik?</a> Gespräch im Modellansatz Podcast, Folge 111, Fakultät für Mathematik, Karlsruher Institut für Technologie (KIT), 2016. <a href="http://modellansatz.de/was-ist-mathematik">http://modellansatz.de/was-ist-mathematik</a></li><li> <a href="http://modellansatz.de/lehramtsausbildung">A. Kirsch, G. Thäter: Lehramtsausbildung</a>, Gespräch Modellansatz Podcast, Folge 104, Fakultät für Mathematik, Karlsruher Institut für Technologie (KIT), 2016. <a href="http://modellansatz.de/lehramtsausbildung">http://modellansatz.de/lehramtsausbildung</a></li><li> <a href="http://modellansatz.de/schuelerlabor">E. Dittrich, G. Thäter: Schülerlabor</a>, Gespräch im Modellansatz Podcast, Folge 103, Fakultät für Mathematik, Karlsruher Institut für Technologie (KIT), 2016. <a href="http://modellansatz.de/schuelerlabor">http://modellansatz.de/schuelerlabor</a></li><li> <a href="http://modellansatz.de/incredible-proof-machine">J. Breitner, S. Ritterbusch: Incredible Proof Machine</a>, Gespräch im Modellansatz Podcast, Folge 78, Fakultät für Mathematik, Karlsruher Institut für Technologie (KIT), 2016. <a href="http://modellansatz.de/incredible-proof-machine">http://modellansatz.de/incredible-proof-machine</a></li><li> <a href="http://modellansatz.de/flipped-classroom">C. Spannagel, S. Ritterbusch: Flipped Classroom</a>, Gespräch im Modellansatz Podcast, Folge 51, Fakultät für Mathematik, Karlsruher Institut für Technologie (KIT), 2015. <a href="http://modellansatz.de/flipped-classroom">http://modellansatz.de/flipped-classroom</a></li><li> <a href="https://lut.sprechkontakt.at/lut019/">S. Götz, L. Bodingbauer: Schulmathematik</a>, Gespräch im Lob und Tadel Podcast, Sprechkontakt mit Bildung, Folge 19, 2014.</li></ul>


Modellansatz 181

Gudrun war zu Gast an der FU Berlin für ein lange geplantes Gespräch mit Brigitte Lutz-Westphal zum Thema Forschendes Lernen im Mathematikunterricht. Frau Lutz-Westphal ist dort Professorin für Didaktik der Mathematik und in dieser Rolle in die Lehramtsausbildung eingebunden. Ihre Forschung beschäftigt sich mit der Grundlegung einer Theorie zum forschenden Lernen, mit dialogischem Lernen und authentischem sowie inklusivem Mathematikunterricht. Sie ist seit 2010 wissenschaftliche Begleitung des Programms "Mathe.Forscher" der Stiftung Rechnen. Die enge Zusammenarbeit mit der Schulpraxis in diesem Programm hat wichtige Impulse für ihre wissenschaftliche Tätigkeit gegeben. Was zeichnet nun forschendes Lernen aus? Es geht darum, für Schülerinnen und Schüler die Mathematik als von Fragen getriebene Wissenschaft erlebbar zu machen (im Gegensatz zum Einpauken von fest stehenden Lehrsätzen und Regeln). Das erfolgt z.B. über Beobachtungen in handgreiflichen Experimenten, die für die Erlangung von mathematischen Resultaten aktiv erkundet werden müssen. Das ist gleichzeitig ein authentisches Erleben von Mathematik, wie sie in der Forschung betrieben wird, also eine Begegnung mit der Wissenschaft Mathematik, ihren Methoden und Arbeitsweisen. Eine Beschreibung der eigenen forschenden Tätigkeit fällt Mathematiker/innen üblicherweise nicht leicht, diese Metaebene ist für das Forschen ja auch nicht relevant. Aber sie wissen, dass sie Fragen und Vermutungen formulieren aus Erfahrung, Gedankenexperimenten oder einem Bauchgefühl heraus und in Gesprächen im Kollegium, im Auswerten von anderen Arbeiten und im Verwerfen von Hypothesen Stück für Stück neues Wissen finden. Eine derzeit laufende Interviewstudie, die von Prof. Lutz-Westphal betreut wird, soll herausarbeiten, wie man Forschen in der Mathematik präziser charakterisieren kann, um daraus weitere Schlüsse für die authentische didaktische Umsetzung in der Schule zu ziehen Der Ansatz des forschenden Lernens trägt bereits jetzt die wesentlichen Schritte in die Schule: Anregung zum selbstständigen Fragen, Raum für Erkundungen, offen für fächerübergreifende und vorausgreifende Inhalte, Sichtbarmachen der gefundenen mathematischen Erkenntnisse & kritische Auseinandersetzung mit unterschiedlichen Herangehensweisen und Resultaten. Inzwischen gibt es schon viele erprobte Beispiele für forschendes Lernen, die von Lehrpersonen für den eigenen Unterricht übernommen oder adaptiert werden können (siehe www.matheforscher.de) . In unserem Gespräch gehen wir auf die Frage: Wo bitte ist die Mitte? ein. Für komplexe Gebilde, wie z.B. die Geometrie von Deutschland oder anderen Ländern kann man auf unterschiedliche "Mitten" kommen. Und man findet auch Beispiele, wo die Mitte gar nicht im Innern des Gebietes liegt. Solche Unterrichtsideen helfen Schüler/innen, Mathematik nicht nur als festgefügten Wissenskanon, sondern als kreatives Betätigungsfeld zu erleben, in dem flexibles Denken erforderlich ist. (...)

Forschendes Lernen


<p>Gudrun ist für die aktuelle Episode zu Gast in der <a href="https://www.baw.de/DE/Home/home_node.html">Bundesanstalt für Wasserbau</a> (BAW) am Standort in Karlsruhe.</p> <p>Die BAW ist etwa so alt wie die Bundesrepublik und grob gesagt zuständig für technisch-wissenschaftliche Aufgaben in allen Bereichen des Verkehrswasserbaus an den Bundeswasserstraßen und für Spezialschiffbau. Dabei berät sie die Wasserstraßen- und Schifffahrtsverwaltung des Bundes (WSV). Heute ist der Hauptsitz der BAW in Karlsruhe. Daneben gibt es noch einen Standort in Hamburg.</p> <p>Der Anlass des Besuches ist diesmal der Abschluss der Masterarbeit von Axel Rothert zu einer Fragestellung aus der BAW in Karlsruhe. Der Titel der Arbeit ist "Hybride 2D-3D-Simulation von Strömungsprozessen im Nah- und Fernfeld von Wasserbauwerken in <a href="https://de.wikipedia.org/wiki/OpenFOAM">OpenFOAM</a>". Sie entstand in enger Zusammenarbeit mit den Kollegen Dr.-Ing. Carsten Thorenz und Franz Simons im Referat Wasserbauwerke der BAW. Nach dem Abschlussvortrag hat sich Gudrun mit Franz Simons und Axel Rothert über die Ergebnisse der Arbeit unterhalten.</p> <p>Neben traditionellen mathematischen Modellen, die durch physikalische Experimente kalibriert und erprobt werden, haben sich durch den technischen Fortschritt der letzen Jahrzehnte numerische Simulationen inzwischen fest etabliert. Einerseits, um numerische Näherungslösungen für die partiellen Differentialgleichungen des mathematischen Modells zu liefern, andererseits aber auch zur Durchführung virtueller Experimente.</p> <p>Die Simulation von hydrodynamischen Vorgängen ist hier ein gutes Beispiel. Das Fließen von Wasser muss mit Gleichungen beschrieben werden, die wiederum numerische Lösungen brauchen, wobei durch deren Komplexität auch gleich noch Ansprüche an entweder Hochleistungsrechentechnik (und damit Parallelisierung) oder andererseits gut begründete Vereinfachungen erhoben werden müssen. <br />Das ganze muss verlässliche Aussagen liefern, damit die BAW z.B. die Hochwasserneutralität eines Wasserbauwerks garantieren kann bevor es endgültig geplant und gebaut wird. </p> <p>Dabei werden in der dortigen Praxis beide Wege beschritten: man investiert in modernste Rechentechnik und benutzt erprobte Vereinfachungen im Modell. Im Kontext der Umströmung von Wasserbauwerken haben unterschiedliche Regionen verschiedene dominierende Strömungsprozesse: in der Nähe des Bauwerkes gibt es eine starke Interaktion des Fließgewässers mit dem Hindernis, aber in einiger Entfernung kann man diese Interaktion vernachlässigen und den Modellansatz vereinfachen.</p> <p>Deshalb sollten im Nah- und Fernbereich unterschiedliche Modelle benutzt werden. Konkret sind es in der Arbeit die <a href="https://de.wikipedia.org/wiki/Boussinesq-Gleichung">tiefengemittelten Flachwassergleichungen</a> im Fernfeld und die <a href="https://de.wikipedia.org/wiki/Reynolds-Gleichungen">Reynolds-gemittelten Navier- Stokes-Gleichungen</a> (RANS) im Nahfeld der Wasserbauwerke. Wichtig ist dann natürlich, wie diese Modelle gekoppelt werden. Da eine Informationsübertragung sowohl stromaufwärts als auch stromabwärts möglich ist, ist eine Kopplung in beide Richtungen nötig.</p> <p>In der vorliegenden Arbeit wurde eine <a href="https://github.com/mintgen/shallowInterFoam">vorhandene Implementierung</a> eines Mehr-Regionen-Lösers in OpenFOAM der TU München so weiter entwickelt, dass er für die Anwendungen in der BAW geeignet ist. Dafür musste sie auf die aktuell an der BAW verwendete Version von OpenFOAM portiert und anschließend parallelisiert werden, damit praxisnahe Probleme der BAW in sinnvollen Rechenzeiten bewältigt werden können. Außerdem mussten die Implementierungen der Randbedingungen so abgeändert werden, dass allgemeine Geometrien für den Untergrund und ein trocken fallen bzw. benetzen mit Wasser möglich sind.</p> <p>Die Implementierung wurde anhand eines realistischen Beispiels aus dem Verkehrswasserbau bestätigt. Ein etwa 1,1km langer Flussabschnitt wurde hybrid simuliert. Dabei ist ein Staustufe, bestehend aus Wehranlagen, Schleuse und Kraftwerk enthalten. </p> <br /><br /><h2>Literatur und weiterführende Informationen</h2>  <ul><li> <a href="https://www.springer.com/de/book/9781461459743">Boyer, F. ; Fabrie, P.: Mathematical Tools for the Study of the Incompressible Navier-Stokes Equations and Related Models</a>. New York : Springer-Verlag, 2013</li><li> Gerstner, N. ; Belzner, F. ; Thorenz, C.: Simulation of Flood Scenarios with Combined 2D/3D Numerical Models. In: Lehfeldt, R. (Hrsg.) ; Kopmann, R. (Hrsg.): 11th international conference on hydroscience and engineering. Bundesanstalt für Wasserbau, Karlsruhe, 2014</li><li> Mintgen, F.: Coupling of Shallow and Non-Shallow Flow Solvers - An Open Source Framework. München, Technische Universität, Diss., 2017</li><li> Mintgen, F. ; Manhart, M.: A bi-directional coupling of 2D shallow water and 3D Reynolds-Averaged Navier-Stokes models. 2018. Begutachtet und angenommen vom Journal of Hydraulic Research. Einsehbar: DOI: 10.1080/00221686.2017.1419989</li><li> Uijttewaal, W. S.: Hydrodynamics of shallow flows: application to rivers. In: Journal of Hydraulic Research 52 (2014), Nr. 2, S. 157-172</li></ul><br /><br /> <h2>Podcasts</h2> <ul><li> <a href="http://modellansatz.de/wasserstrassen">R. Kopman, G. Thäter: Wasserstraßen</a>, Gespräch im Modellansatz Podcast, Folge 24, Fakultät für Mathematik, Karlsruher Institut für Technologie (KIT), 2014.</li></ul>


Modellansatz 180

Gudrun ist für die aktuelle Episode zu Gast in der Bundesanstalt für Wasserbau (BAW) am Standort in Karlsruhe. Die BAW ist etwa so alt wie die Bundesrepublik und grob gesagt zuständig für technisch-wissenschaftliche Aufgaben in allen Bereichen des Verkehrswasserbaus an den Bundeswasserstraßen und für Spezialschiffbau. Dabei berät sie die Wasserstraßen- und Schifffahrtsverwaltung des Bundes (WSV). Heute ist der Hauptsitz der BAW in Karlsruhe. Daneben gibt es noch einen Standort in Hamburg. Der Anlass des Besuches ist diesmal der Abschluss der Masterarbeit von Axel Rothert zu einer Fragestellung aus der BAW in Karlsruhe. Der Titel der Arbeit ist "Hybride 2D-3D-Simulation von Strömungsprozessen im Nah- und Fernfeld von Wasserbauwerken in OpenFOAM". Sie entstand in enger Zusammenarbeit mit den Kollegen Dr.-Ing. Carsten Thorenz und Franz Simons im Referat Wasserbauwerke der BAW. Nach dem Abschlussvortrag hat sich Gudrun mit Franz Simons und Axel Rothert über die Ergebnisse der Arbeit unterhalten. Neben traditionellen mathematischen Modellen, die durch physikalische Experimente kalibriert und erprobt werden, haben sich durch den technischen Fortschritt der letzen Jahrzehnte numerische Simulationen inzwischen fest etabliert. Einerseits, um numerische Näherungslösungen für die partiellen Differentialgleichungen des mathematischen Modells zu liefern, andererseits aber auch zur Durchführung virtueller Experimente. Die Simulation von hydrodynamischen Vorgängen ist hier ein gutes Beispiel. Das Fließen von Wasser muss mit Gleichungen beschrieben werden, die wiederum numerische Lösungen brauchen, wobei durch deren Komplexität auch gleich noch Ansprüche an entweder Hochleistungsrechentechnik (und damit Parallelisierung) oder andererseits gut begründete Vereinfachungen erhoben werden müssen.  Das ganze muss verlässliche Aussagen liefern, damit die BAW z.B. die Hochwasserneutralität eines Wasserbauwerks garantieren kann bevor es endgültig geplant und gebaut wird. Dabei werden in der dortigen Praxis beide Wege beschritten: man investiert in modernste Rechentechnik und benutzt erprobte Vereinfachungen im Modell. Im Kontext der Umströmung von Wasserbauwerken haben unterschiedliche Regionen verschiedene dominierende Strömungsprozesse: in der Nähe des Bauwerkes gibt es eine starke Interaktion des Fließgewässers mit dem Hindernis, aber in einiger Entfernung kann man diese Interaktion vernachlässigen und den Modellansatz vereinfachen. Deshalb sollten im Nah- und Fernbereich unterschiedliche Modelle benutzt werden. Konkret sind es in der Arbeit die tiefengemittelten Flachwassergleichungen im Fernfeld und die Reynolds-gemittelten Navier- Stokes-Gleichungen (RANS) im Nahfeld der Wasserbauwerke. Wichtig ist dann natürlich, wie diese Modelle gekoppelt werden. Da eine Informationsübertragung sowohl stromaufwärts als auch stromabwärts möglich ist, ist eine Kopplung in beide Richtungen nötig. (...)

Hybride Strömungsmodelle


<p>Gudrun traf sich mit <a href="https://www.scc.kit.edu/forschung/11349.php">Maren Hattebuhr</a> und <a href="https://www.scc.kit.edu/personen/11460.php">Kirsten Wohak</a>, die wieder ein interessantes Projekt für Schülerinnen und Schüler vorstellen: <a href="https://www.simulierte-welten.de/">Simulierte Welten</a>. Unser Alltag wird immer mehr durch  Simulationen mitbestimmt. Bei der Wettervorhersage ist das wahrscheinlich vielen Menschen bewußt, aber auch Autos und andere Maschinen werden mittels Rechnungen am Computer entwickelt oder die Wirksamkeit neuer Medikamente getestet. Auch Risikoanalysen oder Wahlvorhersagen basieren immer stärker auf der Interpretation von Simulationsergebnissen. Schülerinnen und Schüler sollen deshalb die Möglichkeit bekommen, schon früh die Bedeutung von Simulationen besser einzuschätzen und ihre Chancen und Risiken aufgrund fundierten Grundwissens besser bewerten zu können.</p> <p>Das Vorhaben wird vom <a href="http://www.scc.kit.edu/">Steinbuch Centre for Computing</a> (SCC) und dem <a href="https://www.hlrs.de/home/">Höchstleistungsrechenzentrum Stuttgart</a> (HLRS) in Zusammenarbeit mit dem <a href="https://www.zirius.uni-stuttgart.de/">Zentrum für interdisziplinäre Risiko- und Innovationsforschung der Universität Stuttgart</a> (ZIRIUS) getragen und arbeitet mit verschiedenen Schulen in Baden-Württemberg zusammen. Gefördert wird das Projekt vom Ministerium für Wissenschaft, Forschung und Kunst Baden-Württemberg.</p> <p>Es gibt für Schulen und Personen folgende Möglichkeiten von dem Projekt zu profitieren:</p> <ul><li> <a href="http://www.simulierte-welten.de/152.php">Doppelstunden, Projekttage oder Projektwochen</a> für die Schule buchen</li><li> <a href="http://www.simulierte-welten.de/71.php">(Abend-) Vorträge</a> zu sich einladen</li><li> <a href="http://www.simulierte-welten.de/72.php">Exkursionen</a> durchführen</li><li> <a href="http://www.simulierte-welten.de/76.php">Fortbildung für Lehrerinnen und Lehrer</a> am SCC bzw. dem HLRS </li><li> <a href="http://www.simulierte-welten.de/110.php">Förderstipendien</a> für Schülerinnen und Schüler für Simulationsthemen</li></ul> <p>Im Rahmen der Förderstipendien arbeiten die Schülerinnen und Schüler weitgehend selbstständig in Zweierteams an einem echten wissenschaftlichen Projekt an einem der Rechenzentren mit und werden dabei von einer/einem Wissenschaftlerin/Wissenschaftler betreut. Sie erhalten für ihre Arbeiten einen Unkostenbeitrag in Höhe von bis zu 1.000€, welcher für die Anschaffung eines Laptops und anfallende Fahrtkosten gedacht ist. Nach dem erfolgreichen Abschluss des Stipendiums erhalten die Schülerinnen und Schüler zudem ein Zertifikat über ihre Teilnahme.</p> <p>In der aktuellen Förderperiode ist der Anmeldeschluss der 1. Oktober 2018 und folgende Themen können bearbeitet werden:</p> <ul><li> Aerosole - Winzige Partikel mit großer Wirkung </li><li> Simulation und einfach Analyse von Kollisionsdaten der Hochenergiephysik </li><li> Einblicke in unseren Körper durch Computertomographie </li><li> Chemie-Klimasimulationen mit EMAC </li><li> Simulation von biologischen Zellen </li></ul> <p>Schülerinnen und Schüler sollten folgende <b>Unterlagen</b> bei der <a href="https://www.scc.kit.edu/forschung/11504.php">Kontaktadresse</a> schriftlich oder elektronisch per E-Mail an <a href="mailto:cammp@scc.kit.edu">CAMMP@SCC.kit.edu</a> einreichen:</p> <ul><li> ausgefüllter <a href="https://www.scc.kit.edu/downloads/sca/Schuelerbewerbungsbogen-vorab.pdf">Bewerbungsbogen</a></li><li> Ein Empfehlungsschreiben einer Lehrkraft von der Schule, die den Schüler/die Schülerin unterstützt und CAMMP als Ansprechpartner zur Verfügung steht. Dieses dient dazu den Schüler/die Schülerin besser kennenzulernen.</li><li> Zeugniskopie</li><li> Lebenslauf</li></ul> ><h2>Referenzen</h2> <ul><li> <a href="https://www.scc.kit.edu/forschung/11727.php">Alle Informationen zum Förderstipendium am SCC auf einen Blick</a></li><li> <a href="http://www.simulierte-welten.de/54.php">Direkter Kontakt zum Projekt Simulierte Welten</a></li></ul> <h2>Auswahl an Episoden zu Simulationen</h2> <ul><li> <a href="http://modellansatz.de/flugugunfaelle">B. Sieker, S. Ritterbusch: Flugunfälle</a>, Gespräch im Modellansatz Podcast, Folge 175, Fakultät für Mathematik, Karlsruher Institut für Technologie (KIT), 2018. </li><li> <a href="http://modellansatz.de/computergrafik">G. Thäter, S. Krömker: Computergrafik</a>, Gespräch im Modellansatz Podcast, Folge 166, Fakultät für Mathematik, Karlsruher Institut für Technologie (KIT), 2018.</li><li> <a href="http://modellansatz.de/wasserstofftankstellen">G. Thäter, M. J. Amtenbrink: Wasserstofftankstellen</a>, Gespräch im Modellansatz Podcast, Folge 163, Fakultät für Mathematik, Karlsruher Institut für Technologie (KIT), 2018. </li><li> <a href="http://modellansatz.de/embryonic-patterns">G. Thäter, K. Page: Embryonic Patterns</a>, Gespräch im Modellansatz Podcast, Folge 161, Fakultät für Mathematik, Karlsruher Institut für Technologie (KIT), 2018.</li><li> <a href="http://modellansatz.de/luftspalt">T. Hoffmann, G. Thäter: Luftspalt</a>, Gespräch im Modellansatz Podcast, Folge 153, Fakultät für Mathematik, Karlsruher Institut für Technologie (KIT), 2017. </li><li> <a href="http://modellansatz.de/wahlprognosemodelle">O. Beige, G. Thäter: Wahlprognosemodelle</a>, Gespräch im Modellansatz Podcast, Folge 149, Fakultät für Mathematik, Karlsruher Institut für Technologie (KIT), 2017.</li><li> <a href="http://modellansatz.de/crime-prevention">A. Bertozzi, G. Thäter: Crime Prevention</a>, Gespräch im Modellansatz Podcast, Folge 109, Fakultät für Mathematik, Karlsruher Institut für Technologie (KIT), 2016. </li><li> <a href="http://modellansatz.de/systembiologie">L. Adlung, G. Thäter, S. Ritterbusch: Systembiologie</a>, Gespräch im Modellansatz Podcast, Folge 39, Fakultät für Mathematik, Karlsruher Institut für Technologie (KIT), 2016.</li></ul>


Modellansatz 179

Gudrun traf sich mit Maren Hattebuhr und Kirsten Wohak, die wieder ein interessantes Projekt für Schülerinnen und Schüler vorstellen: Simulierte Welten. Unser Alltag wird immer mehr durch Simulationen mitbestimmt. Bei der Wettervorhersage ist das wahrscheinlich vielen Menschen bewußt, aber auch Autos und andere Maschinen werden mittels Rechnungen am Computer entwickelt oder die Wirksamkeit neuer Medikamente getestet. Auch Risikoanalysen oder Wahlvorhersagen basieren immer stärker auf der Interpretation von Simulationsergebnissen. Schülerinnen und Schüler sollen deshalb die Möglichkeit bekommen, schon früh die Bedeutung von Simulationen besser einzuschätzen und ihre Chancen und Risiken aufgrund fundierten Grundwissens besser bewerten zu können. Das Vorhaben wird vom Steinbuch Centre for Computing (SCC) und dem Höchstleistungsrechenzentrum Stuttgart (HLRS) in Zusammenarbeit mit dem Zentrum für interdisziplinäre Risiko- und Innovationsforschung der Universität Stuttgart (ZIRIUS) getragen und arbeitet mit verschiedenen Schulen in Baden-Württemberg zusammen. Gefördert wird das Projekt vom Ministerium für Wissenschaft, Forschung und Kunst Baden-Württemberg. Es gibt für Schulen und Personen folgende Möglichkeiten von dem Projekt zu profitieren: Doppelstunden, Projekttage oder Projektwochen für die Schule buchen; (Abend-) Vorträge zu sich einladen; Exkursionen durchführen; Fortbildung für Lehrerinnen und Lehrer am SCC bzw. dem HLRS; Förderstipendien für Schülerinnen und Schüler für Simulationsthemen. Im Rahmen der Förderstipendien arbeiten die Schülerinnen und Schüler weitgehend selbstständig in Zweierteams an einem echten wissenschaftlichen Projekt an einem der Rechenzentren mit und werden dabei von einer/einem Wissenschaftlerin/Wissenschaftler betreut. Sie erhalten für ihre Arbeiten einen Unkostenbeitrag in Höhe von bis zu 1.000€, welcher für die Anschaffung eines Laptops und anfallende Fahrtkosten gedacht ist. Nach dem erfolgreichen Abschluss des Stipendiums erhalten die Schülerinnen und Schüler zudem ein Zertifikat über ihre Teilnahme. In der aktuellen Förderperiode ist der Anmeldeschluss der 1. Oktober 2018 und folgende Themen können bearbeitet werden: Aerosole - Winzige Partikel mit großer Wirkung; Simulation und einfach Analyse von Kollisionsdaten der Hochenergiephysik; Einblicke in unseren Körper durch Computertomographie; Chemie-Klimasimulationen mit EMAC; Simulation von biologischen Zellen. Schülerinnen und Schüler sollten folgende Unterlagen bei der Kontaktadresse schriftlich oder elektronisch per E-Mail an CAMMP@SCC.kit.edu einreichen: ausgefüllter Bewerbungsbogen; Ein Empfehlungsschreiben einer Lehrkraft von der Schule, die den Schüler/die Schülerin unterstützt und CAMMP als Ansprechpartner zur Verfügung steht. Dieses dient dazu den Schüler/die Schülerin besser kennenzulernen.; Zeugniskopie; Lebenslauf

Simulierte Welten


<p>Gemeinsam geht vieles besser. Auch deshalb reden wir im Podcast über Mathematik oder darüber wie wir Mathematik lernen bzw. unterrichten möchten. Im Internet setzen sich solche Gespräche manchmal fort. In der Netzgemeinschaft  rund um den Podcast hat Gudrun Jan-Martin Klinge gefunden - oder genauer sein Blog <a href="https://halbtagsblog.de">Halbtagsblog</a>.  Dort finden sich seine Beobachtungen aus dem Alltag als Lehrer für Mathematik, Physik und Arbeitslehre in einer Gesamtschule in Raum Siegen. Dabei mischt sich ganz natürlich privates mit unterschiedlichen beruflichen Aspekten, denn es ist seine persönliche Reflektion über das was gelingt, erzählenswert ist oder bedenkenswert.</p> <p>Schon bald hatte Gudrun den Wunsch, einen Aspekt daraus für den Podcast aufzugreifen, nämlich Jan-Martins ganz praktische Erfahrungen mit <a href="https://de.wikipedia.org/wiki/Lerntheke">Lerntheken</a>. Diese setzt er in der Sekundarstufe 1 vor allem im Mathematikunterricht ein. Wie von Gudrun im Stillen erhofft, war die generelle Bereitschaft zum Gespräch schnell und enthusiastisch erklärt und es musste "nur noch" ein passender Termin gefunden werden, was ein paar Monate dauerte. Aber am 24. August 2018 war es so weit: Gudrun kam am Siegener Hauptbahnhof an und in einem netten Café schräg gegenüber entstand die vorliegende Aufzeichnung.</p> <p>Wie bei allen Konzepten und Methoden gibt es Theorie und Praxis. Die Lerntheke an und für sich ist für Lehrende eine wohlbekanntes und vor allem im Unterricht für junge Schülerinnen und Schüler auch eine gut etablierte offene Unterrichtsform. Für sehr heterogenen Lerngruppen ist ihre größte Stärke, dass qua Konzept alle im eigenen Tempo unterwegs sein können. Und dass nicht nur eine Lehrperson vorn an der Tafel die Rolle hat, alles für alle erklären zu müssen, sondern auch Mitschüler diesen Platz einnehmen können und dabei ihre Hilfe an die Bedürfnisse des Gegenübers recht genau anpassen können.</p> <p>Außerhalb der Primarstufe ist das Konzept in der Praxis an deutschen Schulen jedoch eher in einer Nische zu Hause. Dafür gibt es viele und gut nachvollziehbare Gründe. Andererseits zeigen aber auch solche Beispiele, wie der Alltag in Jan-Martins Unterricht, dass es gut funktioniert. Durch das Beispiel lassen sich andere anstecken, es ähnlich oder genauso auch selbst zu probieren (aktuell hat der Blogbeitrag zu "Was sind Lerntheken" z.B. etwa 150 Antworten).</p> <p>Im Mathematik-Unterricht von Jan-Martin Klinge startet jedes Thema mit zwei bis drei "normalen" Mathematikstunden (also Frontalunterricht) in denen das Thema eingeführt wird. Anschließend arbeiten die Schülerinnen und Schüler einzeln oder in Gruppen mit Karten, auf denen konkrete Rechenaufgaben geübt, Probleme erforscht oder mathematische Spiele gespielt werden. Die Karten haben einen Farbcode, an dem man ablesen kann, ob es sich eher um einfache, mittelschwere oder komplexere Aufgaben handelt. Am Ende jedes Themas sollen die Kinder die mittelschweren Aufgaben bearbeiten können. Aber auch die, bei denen es richtig "Click" gemacht hat, haben genug Material mit dem sie interessantes zum Thema ausprobieren können.</p> <p>Zusätzlich gibt es Karten mit Lernhilfen zu einzelnen Schritten oder Regeln. Auf den Aufgabenkarten ist jeweils vermerkt, welche Hilfskarte weiterhelfen kann. Außerdem gibt es an der Tafel eine Namensliste von Mitschülerinnen und -schülern, die für Nachfragen zur Verfügung stehen.</p> <p>Besonders im Unterricht für die jüngeren Schüler gibt es am Ende jedes Themas noch eine Sicherungsphase.</p> <p>Im Physikunterricht benutzt Jan-Martin Klinge die Lerntheken eher in der Phase, wo gelerntes wiederholt und gefestigt werden soll, da dort die Dichte an neuen Themen größer ist als in der Mathematik.</p> <p>Zusammen mit Kollegen hat Jan-Martin Klinge die Kartensammelung auch übersetzt in andere Sprachen und mit anderen Medien und Anwendungsfällen verbunden. Besonders auf Geräten wie einem iPad ist die Realisierung leicht möglich, weil dort leicht zwischen Sprachen gewechselt werden kann, wenn Schüler in Willkommensklassen das möchten. Dafür gab es sogar 2017 die <a href="https://halbtagsblog.de/tag/berlin2018/">Auszeichnung mit dem Deutschen Lehrerpreis</a>. Das Projekt ist nicht abgeschlossen und Helfer für möglichst viele Sprachen werden noch mit offenen Armen empfangen.</p> <br /> <br /> <h2>Literatur und weiterführende Informationen</h2><ul><li> <a href="https://halbtagsblog.de/schule/lerntheken/">J.-M. Klinge: Was sind Lerntheken?</a> Halbtagsblog, 2013.</li><li> <a href="https://halbtagsblog.de/downloads/lerntheken-2/downloads/">Download von unterschiedlichen Lerntheken</a></li><li> <a href="https://halbtagsblog.de/2016/02/09/das-buch-ist-fertig-yihaaa/">J.-M. Klinge und R. Kara: Mit Lerntheken den Mathematikunterricht neu gestalten</a>, ISBN: 978-1520321479, 2017</li><li> <a href="https://halbtagsblog.de/2017/04/24/hurra-mein-zweites-buch-ist-da/">J.-M. Klinge: Die Physik von Hollywood: Mit aktuellen Kinofilmen Impulse für den Unterricht gewinnen</a>, ISBN 978-1521035474, 2017. </li><li> <a href="http://www.lehrerpreis.de/documents/2017-preistraeger/Steckbriefe_Sonderpreis_Unterricht_2017.pdf">Beschreibung des Projektes für den Deutschen Lehrerpreis</a>, 2017.</li></ul> <br /> <br /> <h2>Podcasts</h2> <ul><li> <a href="http://modellansatz.de/cammp-week">K. Wohak, M. Hattebuhr, E. Bastian, C. Beizinger, G. Thäter: CAMMP-Week</a>, Gespräch im Modellansatz Podcast, Folge 174, Fakultät für Mathematik, Karlsruher Institut für Technologie (KIT), 2018. <a href="http://modellansatz.de/cammp-week">http://modellansatz.de/cammp-week</a></li><li> <a href="http://modellansatz.de/cammp">G. Thäter, K. Wohak: CAMMP</a>, Gespräch im Modellansatz Podcast, Folge 165, Fakultät für Mathematik, Karlsruher Institut für Technologie (KIT), 2018. <a href="http://modellansatz.de/cammp">http://modellansatz.de/cammp</a></li><li> <a href="http://modellansatz.de/meisterklasse">B. Bötcher, G. Thäter: Meisterklasse</a>, Gespräch im Modellansatz Podcast, Folge 158, Fakultät für Mathematik, Karlsruher Institut für Technologie (KIT), 2018. <a href="http://modellansatz.de/meisterklasse">http://modellansatz.de/meisterklasse</a></li><li> <a href="http://modellansatz.de/was-ist-mathematik">G.M. Ziegler, G. Thäter: Was ist Mathematik?</a> Gespräch im Modellansatz Podcast, Folge 111, Fakultät für Mathematik, Karlsruher Institut für Technologie (KIT), 2016. <a href="http://modellansatz.de/was-ist-mathematik">http://modellansatz.de/was-ist-mathematik</a></li><li> <a href="http://modellansatz.de/lehramtsausbildung">A. Kirsch, G. Thäter: Lehramtsausbildung</a>, Gespräch im Modellansatz Podcast, Folge 104, Fakultät für Mathematik, Karlsruher Institut für Technologie (KIT), 2016. <a href="http://modellansatz.de/lehramtsausbildung">http://modellansatz.de/lehramtsausbildung</a></li><li> <a href="http://modellansatz.de/schuelerlabor">E. Dittrich, G. Thäter: Schülerlabor</a>, Gespräch im Modellansatz Podcast, Folge 103, Fakultät für Mathematik, Karlsruher Institut für Technologie (KIT), 2016. <a href="http://modellansatz.de/schuelerlabor">http://modellansatz.de/schuelerlabor</a></li><li> <a href="http://modellansatz.de/flipped-classroom">C. Spannagel, S. Ritterbusch: Flipped Classroom</a>, Gespräch im Modellansatz Podcast, Folge 51, Fakultät für Mathematik, Karlsruher Institut für Technologie (KIT), 2015. <a href="http://modellansatz.de/flipped-classroom">http://modellansatz.de/flipped-classroom</a></li></ul>


Modellansatz 178

Gemeinsam geht vieles besser. Auch deshalb reden wir im Podcast über Mathematik oder darüber wie wir Mathematik lernen bzw. unterrichten möchten. Im Internet setzen sich solche Gespräche manchmal fort. In der Netzgemeinschaft rund um den Podcast hat Gudrun Jan-Martin Klinge gefunden - oder genauer sein Blog Halbtagsblog. Dort finden sich seine Beobachtungen aus dem Alltag als Lehrer für Mathematik, Physik und Arbeitslehre in einer Gesamtschule in Raum Siegen. Dabei mischt sich ganz natürlich privates mit unterschiedlichen beruflichen Aspekten, denn es ist seine persönliche Reflektion über das was gelingt, erzählenswert ist oder bedenkenswert. Schon bald hatte Gudrun den Wunsch, einen Aspekt daraus für den Podcast aufzugreifen, nämlich Jan-Martins ganz praktische Erfahrungen mit Lerntheken. Diese setzt er in der Sekundarstufe 1 vor allem im Mathematikunterricht ein. Wie von Gudrun im Stillen erhofft, war die generelle Bereitschaft zum Gespräch schnell und enthusiastisch erklärt und es musste "nur noch" ein passender Termin gefunden werden, was ein paar Monate dauerte. Aber am 24. August 2018 war es so weit: Gudrun kam am Siegener Hauptbahnhof an und in einem netten Café schräg gegenüber entstand die vorliegende Aufzeichnung. Wie bei allen Konzepten und Methoden gibt es Theorie und Praxis. Die Lerntheke an und für sich ist für Lehrende eine wohlbekanntes und vor allem im Unterricht für junge Schülerinnen und Schüler auch eine gut etablierte offene Unterrichtsform. Für sehr heterogenen Lerngruppen ist ihre größte Stärke, dass qua Konzept alle im eigenen Tempo unterwegs sein können. Und dass nicht nur eine Lehrperson vorn an der Tafel die Rolle hat, alles für alle erklären zu müssen, sondern auch Mitschüler diesen Platz einnehmen können und dabei ihre Hilfe an die Bedürfnisse des Gegenübers recht genau anpassen können. Außerhalb der Primarstufe ist das Konzept in der Praxis an deutschen Schulen jedoch eher in einer Nische zu Hause. Dafür gibt es viele und gut nachvollziehbare Gründe. Andererseits zeigen aber auch solche Beispiele, wie der Alltag in Jan-Martins Unterricht, dass es gut funktioniert. Durch das Beispiel lassen sich andere anstecken, es ähnlich oder genauso auch selbst zu probieren (aktuell hat der Blogbeitrag zu "Was sind Lerntheken" z.B. etwa 150 Antworten). Im Mathematik-Unterricht von Jan-Martin Klinge startet jedes Thema mit zwei bis drei "normalen" Mathematikstunden (also Frontalunterricht) in denen das Thema eingeführt wird. Anschließend arbeiten die Schülerinnen und Schüler einzeln oder in Gruppen mit Karten, auf denen konkrete Rechenaufgaben geübt, Probleme erforscht oder mathematische Spiele gespielt werden. Die Karten haben einen Farbcode, an dem man ablesen kann, ob es sich eher um einfache, mittelschwere oder komplexere Aufgaben handelt. Am Ende jedes Themas sollen die Kinder die mittelschweren Aufgaben bearbeiten können. Aber auch die, bei denen es richtig "Click" gemacht hat, haben genug Material (...)

Lerntheken


<p>Vom 10. - 13. Mai 2018 fand im <a href="https://www.zkm.de/">ZKM</a> und in der <a href="http://www.hfg-karlsruhe.de/">Hochschule für Gestaltung (HfG)</a> die <a href="https://entropia.de/GPN18">GPN18</a> statt. Dort traf sich Sebastian mit Dennis Gnad, um mit ihm über <a href="https://de.wikipedia.org/wiki/Seitenkanalattacke">Seitenangriffe</a> auf <a href="https://de.wikipedia.org/wiki/Field_Programmable_Gate_Array">Field Programmable Gate Arrays (FPGA)</a> zu sprechen.</p> <p>FPGAs sind veränderliche Computerchips, die hervorragend bei der Entwicklung von logischen Schaltkreisen oder spezieller <a href="https://de.wikipedia.org/wiki/Glue_Logic">Glue Logic</a> helfen, und kommen inzwischen auch als Rechenbeschleuniger zum Einsatz. Man kann FPGAs als Vorstufe zu Application-Specific Integrated Circuits (ASIC) sehen, auf denen Strukturen noch viel feiner, für höhere Taktraten und sparsamer abgebildet werden können, das Design aber um Größenordnungen teurer ist. Und während einem ASIC die Funktion ab Werk einbelichtet ist, können FPGAs nahezu beliebig oft zur Laufzeit umprogrammiert werden.</p> <p>Wie im Podcast zu <a href="http://www.modellansatz.de/digitale-waehrungen/">digitalen Währungen</a> erwähnt, spielen Graphical Process Units (GPUs), FPGAs und ASICs eine große Rolle bei <a href="https://de.wikipedia.org/wiki/Kryptowährung">Kryptowährungen</a>. Hier ist ein einzelner FPGA-Chip beim so genannten Mining meisst nicht schneller als eine GPU, verbrauchen jedoch im Vergleich deutlich weniger Strom. Spezialisierte ASICs hingegen übersteigen in Effizienz und Geschwindigkeit alle anderen Lösungen.</p> <p>FPGAs finden sich aktuell in vielen Consumer-Produkten, wie dem <a href="http://www.techinsights.com/about-techinsights/overview/blog/apple-iphone-7-teardown/">Apple iPhone 7</a>, im <a href="https://www.chipworks.com/ko/node/126">Samsung Galaxy S5</a>, <a href="https://www.bunniestudios.com/blog/?p=243">Smart</a>-<a href="https://electronics360.globalspec.com/article/3395/samsung-ln-t4081f-40-inch-lcd-television-teardown">TVs</a> und selbst auch der <a href="https://www.ifixit.com/Teardown/Pebble+Time+Teardown/42382">Pebble Smartwatch</a>. Ihren besonderen Vorteil spielen FPGAs bei der Verarbeitung von großen Datenmengen wie Videodaten aus, da sie in der Parallelisierung nur durch den verfügbaren Platz beschränkt sind.</p> <p>Die Beschreibung von FPGAs und ASICs, oder deren Programmierung, erfolgt eher strukturell in <a href="https://de.wikipedia.org/wiki/Hardwarebeschreibungssprache">Hardwarebeschreibungssprachen</a> wie <a href="https://de.wikipedia.org/wiki/Verilog">Verilog</a> oder <a href="https://de.wikipedia.org/wiki/Very_High_Speed_Integrated_Circuit_Hardware_Description_Language">VHDL</a>. Diese Beschreibungen unterscheiden sich sehr von <a href="https://de.wikipedia.org/wiki/Imperative_Programmierung">imperativen Programmiersprachen</a>, wie sie oft für CPUs oder GPUs verwendet werden.</p> <p>Es werden in logischen oder kombinatorischen Blöcken Daten verarbeitet, die dann in Taktschritten von und in Datenregister übertragen werden. Die erreichbare Taktfrequenz hängt von der Komplexität der kombinatorischen Blöcke ab. Ein Beispiel für logische Blöcke können <a href="https://de.wikipedia.org/wiki/IP-Core#IP-Cores_bei_FPGAs">Soft-Cores</a> sein, wo zukünftige oder nicht mehr erhältliche CPU-Designs in FPGAs zur Evaluation oder Rekonstruktion abgebildet werden.</p> <p>Eine Variante ist die Entwicklung in <a href="https://de.wikipedia.org/wiki/OpenCL">OpenCL</a>, wo verschiedene Architekturen wie GPUs, CPUs und FPGA unterstützt werden. Für die effiziente Umsetzung ist dafür weiterhin großes Hardwarewissen erforderlich, und man kann nicht erwarten, dass Code für FPGAs ebenso auf GPU, oder umgekehrt CPU-Code in FPGAs darstellbar ist.</p> <p>Das Interesse von Dennis Gnad liegt bei den FPGAs darin, deren Daten, Logik oder Inhalte durch <a href="https://de.wikipedia.org/wiki/Seitenkanalattacke">Seitenkanalangriffe</a> in von den Entwicklern unvorhergesehener Art und Weise auszulesen. Ein Beispiel ist das <a href="https://www.cnet.com/news/researchers-find-smart-meters-could-reveal-favorite-tv-shows/">Erkennen von Fernsehsendungen aus dem Stromverbrauch des Fernsehgeräts</a> wie es auch schon im <a href="http://modellansatz.de/smart-meter">Podcast zu Smart Metern</a> beschrieben wurde. Ebenso wurden schon <a href="http://www.cs.tau.ac.il/~tromer/acoustic/">Kryptoschlüssel aus Geräuschen einer CPU bestimmt</a>. <a href="http://bastianborn.de/radio-clock-hack">Mit Soundkarten kann man Funkuhren verstellen</a> und auch <a href="https://www.heise.de/security/meldung/Grafikkarte-funkt-Passwoerter-durch-die-Gegend-2438823.html">Grafikkarten können als UKW-Sender</a> verwendet werden. Die elektromagnetische Abstrahlung ist ein sehr klassischer Seitenkanal und ist als <a href="https://de.wikipedia.org/wiki/Van-Eck-Phreaking">Van-Eck-Phreaking</a> seit 1985 bekannt. Gerade wurden die Timing- und <a href="https://de.wikipedia.org/wiki/Speculative_execution">Speculative-Execution</a>-<a href="https://de.wikipedia.org/wiki/Verdeckter_Kanal">Covered-Channel</a>-Angriffe <a href="https://de.wikipedia.org/wiki/Spectre_(Sicherheitsl%C3%BCcke)">Spectre</a> und <a href="https://de.wikipedia.org/wiki/Meltdown_(Sicherheitsl%C3%BCcke)">Meltdown</a> für einen großteil aktueller CPUs bekannt, die aktiv Seitenkanäle für verdeckten Informationszugriff nutzen.</p> <p>Normalerweise benötigen <a href="https://en.wikipedia.org/wiki/Power_analysis">Power-Side-Angriffe</a>, die den Stromverbrauch auswerten, physischen Zugang zum Gerät oder der Stromversorgung. Überraschenderweise ist es auf FPGAs hingegen möglich den Stromverbrauch anderer Schaltungsbestandteile rein durch Software zu bestimmen. Dazu werden FPGAs an der Grenze der Timing-Parameter betrieben, und statistisch die erfolgreiche Ausführung gemessen. Mit verschieden langen Pfaden können auch gleichzeitig die Zeitschranken verschieden stark belastet werden und damit gleichzeitig für mehrere Spannungsstufen ausgewertet werden. Damit kann der relative Spannungsverlauf kontinuierlich gemessen werden. Im Zuge seiner <a href="https://ieeexplore.ieee.org/document/8410585/">Forschung zu Voltage Fluctuations in FPGAs</a> konnte Dennis Gnad die Qualität der Messungen nachweisen.</p> <p>Für die eigentliche Auswertung der Messungen werden hier die Verfahren der <a href="https://en.wikipedia.org/wiki/Power_analysis#Differential_power_analysis">Differential Power Analysis</a> verwendet, die nicht absolute Messungen, sondern mit relativen Messungen den Verlauf oder Unterschiede in den Verläufen statistisch analysieren. Speziell wurden mit dem <a href="https://de.wikipedia.org/wiki/Korrelationskoeffizient">Pearson Korrelations-Koeffizient</a> verschiedene Schlüssel-Hypothesen mit modellierten Stromverläufen aufgestellt, um den Suchraum für <a href="https://de.wikipedia.org/wiki/Advanced_Encryption_Standard">einen kryptographischen AES-Schlüssel</a> jeweils stückweise einzuschränken. Dafür musste die spezielle AES-Implementation auf dem FPGA bekannt sein, um entsprechende Leakage-Modelle für die Korrelationsauswertung aufstellen zu können. Insgesamt wurde so ein rein software-getriebener Angriff auf FPGAs demonstriert, der ohne sehr aufwändiges <a href="https://de.wikipedia.org/wiki/Review_(Softwaretest)">Code-Review-Verfahren</a>, dessen Umsetzung bei VHDL ohnehin große Fragen aufwirft, kaum zu entdecken ist.</p> <p>Dennis betreibt die Forschung als Doktorand am <a href="http://cdnc.itec.kit.edu/">Chair of Dependable Nano Computing (CDNC)</a> am <a href="https://www.kit.edu/">Karlsruher Institut für Technologie (KIT)</a>, deren Forschung besonders auf die Verlässlichkeit und auch der Sicherheit von Computersystemen abzielt. Die Forschungsarbeiten zu Seitenkanälen über den Stromverbrauch haben ebenso Anwendungen für die Zuverlässigkeit von den Systemen, da ebenso mit der Messung auch eine entsprechende Beeinflussung bis zur Erzeugung von Fehlerzuständen möglich wird, wie es von Dennis durch Fehlerzustände in der Stromversorgung zum Neustart von FPGAs demonstriert werden konnte. Mit <a href="https://de.wikipedia.org/wiki/Stuxnet">Stuxnet</a> wurde bekannt, dass auch Industrieanlagen mit Software zerstört werden konnten, es gab aber auch <a href="https://de.wikipedia.org/wiki/Atari_ST">Computermonitore</a>, die kreativ in neue Nutzungszustände gebracht wurden. </p> <h2>Literatur und weiterführende Informationen</h2><ul><li> <a href="https://media.ccc.de/v/gpn18-132-seitenkanal-angriffe-innerhalb-fpga-chips">D. Gnad: Seitenkanal-Angriffe innerhalb FPGA-Chips</a>, Vortrag auf der GPN18, Karlsruhe, 2018.</li><li> <a href="https://eprint.iacr.org/2018/012">F. Schellenberg, D. Gnad, A. Moradi, M. Tahoori: An  Inside  Job:  Remote  Power  Analysis  Attacks  on  FPGAs</a>, Cryptology ePrint Archive: Report 2018/012, Proceedings  of Design, Automation &amp; Test in Europe (DATE), 2018.</li><li> <a href="http://ieeexplore.ieee.org/abstract/document/8056840/">D. Gnad, F. Oboril, M. Tahoori: Voltage Drop-based Fault Attacks on FPGAs using Valid Bitstreams</a>, International Conference on Field-Programmable Logic and Applications (FPL), Belgium, 2017.</li><li> <a href="https://eprint.iacr.org/2014/409">A. Moradi, F.-X. Standaert: Moments-Correlating  DPA</a>, Cryptology ePrint Archive: Report 2014/409, Theory of Implementations workshop, 2016.</li><li> <a href="https://doi.org/10.1007/s13389-011-0006-y">P. Kocher, J. Jaffe, B. Jun, et al: Introduction to differential power analysis</a>, J Cryptogr Eng 1: 5, 2011.</li><li> <a href="https://www.iacr.org/archive/ches2004/31560016/31560016.pdf">E. Brier, C. Clavier, F. Olivier: Correlation power analysis with a leakage model</a>, International workshop on cryptographic hardware and embedded systems. Springer, Berlin, Heidelberg, 2004.</li><li> <a href="https://eprint.iacr.org/search.html">Cryptology ePrint Archive Search Portal</a></li><li> <a href="https://www.emsec.rub.de/research/projects/sclounge/">Side Channel Cryptanalysis Lounge - Ruhr-Universität Bochum</a></li><li> <a href="https://ieeexplore.ieee.org/document/8410585/">D. Gnad, F. Oboril, S. Kiamehr, M. Tahoori: An Experimental Evaluation and Analysis of Transient Voltage Fluctuations in FPGAs</a>, in IEEE Transactions on Very Large Scale Integration Systems (TVLSI), 2018.</li><li> F. Schellenberg, D. Gnad, A. Moradi, M. Tahoori: Remote Inter-Chip Power Analysis Side-Channel Attacks at Board-Level], In Proceedings of IEEE/ACM International Conference on Computer-Aided  Design (ICCAD), USA, 2018. (to appear Nov. '18)</li><li> J. Krautter, D. Gnad, M. Tahoori: FPGAhammer:  Remote Voltage Fault Attacks on Shared FPGAs, suitable for DFA on AES],  in IACR Transactions on Cryptographic Hardware and Embedded Systems (TCHES), Vol.1, No.3, 2018. (to appear Sept. '18)</li></ul><br /><h1>Podcasts</h1><ul><li> <a href="https://requestforcomments.de/archives/559">A.-L. Baecker, C. Schrimpe: Crypto for the Masses – Grundlagen</a>, Request for Comments, Der RFC Podcast, Folge 15,  2018.</li><li> <a href="http://modellansatz.de/smart-meter">M. Lösch, S. Ritterbusch: Smart Meter Gateway</a>, Gespräch im Modellansatz Podcast, Folge 135, Fakultät für Mathematik, Karlsruher Institut für Technologie (KIT), 2017.</li><li> <a href="http://modellansatz.de/digitale-waehrungen">S. Ritterbusch, G. Thäter: Digitale Währungen</a>, Gespräch im Modellansatz Podcast, Folge 32, Fakultät für Mathematik, Karlsruher Institut für Technologie (KIT), 2014.</li><li> <a href="https://cre.fm/cre117-fpga">B. Heinz, T. Pritlove: FPGA</a>, CRE: Technik, Kultur, Gesellschaft, Folge 117, Metaebene Personal Media, 2009.</li></ul><br /><h1>GPN18 Special</h1><ul><li> <a href="http://modellansatz.de/fpga-seitenkanaele">D. Gnad, S. Ritterbusch: FPGA Seitenkanäle</a>, Gespräch im Modellansatz Podcast, Folge 177, Fakultät für Mathematik, Karlsruher Institut für Technologie (KIT), 2018.  <a href="http://modellansatz.de/fpga-seitenkanaele">http://modellansatz.de/fpga-seitenkanaele</a></li><li> <a href="http://modellansatz.de/flugunfaelle">B. Sieker, S. Ritterbusch: Flugunfälle</a>, Gespräch im Modellansatz Podcast, Folge 175, Fakultät für Mathematik, Karlsruher Institut für Technologie (KIT), 2018. <a href="http://modellansatz.de/flugunfaelle">http://modellansatz.de/flugunfaelle</a></li><li> <a href="http://modellansatz.de/erdbebensicheres-bauen">A. Rick, S. Ritterbusch: Erdbebensicheres Bauen</a>, Gespräch im Modellansatz Podcast, Folge 168, Fakultät für Mathematik, Karlsruher Institut für Technologie (KIT), 2018. <a href="http://modellansatz.de/erdbebensicheres-bauen">http://modellansatz.de/erdbebensicheres-bauen</a></li></ul><br /><h1>GPN17 Special</h1><ul><li> <a href="https://podcast.chaospott.de/2017/05/28/sn004-gpn-17/">Sibyllinische Neuigkeiten: GPN17</a>, Folge 4 im Podcast des CCC Essen, 2017.</li><li> <a href="http://modellansatz.de/bezier-stabwerke">A. Rick, S. Ritterbusch: Bézier Stabwerke</a>, Gespräch im Modellansatz Podcast, Folge 141, Fakultät für Mathematik, Karlsruher Institut für Technologie (KIT), 2017. <a href="http://modellansatz.de/bezier-stabwerke">http://modellansatz.de/bezier-stabwerke</a></li><li> <a href="http://modellansatz.de/binary-analyis">F. Magin, S. Ritterbusch: Automated Binary Analysis</a>, Gespräch im Modellansatz Podcast, Folge 137, Fakultät für Mathematik, Karlsruher Institut für Technologie (KIT), 2017. <a href="http://modellansatz.de/binary-analyis">http://modellansatz.de/binary-analyis</a></li><li> <a href="http://modellansatz.de/smart-meter">M. Lösch, S. Ritterbusch: Smart Meter Gateway</a>, Gespräch im Modellansatz Podcast, Folge 135, Fakultät für Mathematik, Karlsruher Institut für Technologie (KIT), 2017. <a href="http://modellansatz.de/smart-meter">http://modellansatz.de/smart-meter</a></li></ul><br /><h1>GPN16 Special</h1><ul><li> <a href="http://modellansatz.de/adiabatische-quantencomputer">A. Krause, S. Ritterbusch: Adiabatische Quantencomputer</a>, Gespräch im Modellansatz Podcast Folge 105, Fakultät für Mathematik, Karlsruher Institut für Technologie (KIT), 2016. <a href="http://modellansatz.de/adiabatische-quantencomputer">http://modellansatz.de/adiabatische-quantencomputer</a></li><li> <a href="http://modellansatz.de/finanzen-damalstm">S. Ajuvo, S. Ritterbusch: Finanzen damalsTM</a>, Gespräch im Modellansatz Podcast, Folge 97, Fakultät für Mathematik, Karlsruher Institut für Technologie (KIT), 2016. <a href="http://modellansatz.de/finanzen-damalstm">http://modellansatz.de/finanzen-damalstm</a></li><li> <a href="http://modellansatz.de/probabilistische-robotik">M. Fürst, S. Ritterbusch: Probabilistische Robotik</a>, Gespräch im Modellansatz Podcast, Folge 95, Fakultät für Mathematik, Karlsruher Institut für Technologie (KIT), 2016.  <a href="http://modellansatz.de/probabilistische-robotik">http://modellansatz.de/probabilistische-robotik</a></li><li> <a href="http://modellansatz.de/incredible-proof-machine">J. Breitner, S. Ritterbusch: Incredible Proof Machine</a>, Gespräch im Modellansatz Podcast, Folge 78, Fakultät für Mathematik, Karlsruher Institut für Technologie (KIT), 2016. <a href="http://modellansatz.de/incredible-proof-machine">http://modellansatz.de/incredible-proof-machine</a></li></ul>


Modellansatz 177

Vom 10. - 13. Mai 2018 fand im ZKM und in der Hochschule für Gestaltung (HfG) die GPN18 statt. Dort traf sich Sebastian mit Dennis Gnad, um mit ihm über Seitenangriffe auf Field Programmable Gate Arrays (FPGA) zu sprechen. FPGAs sind veränderliche Computerchips, die hervorragend bei der Entwicklung von logischen Schaltkreisen oder spezieller Glue Logic helfen, und kommen inzwischen auch als Rechenbeschleuniger zum Einsatz. Man kann FPGAs als Vorstufe zu Application-Specific Integrated Circuits (ASIC) sehen, auf denen Strukturen noch viel feiner, für höhere Taktraten und sparsamer abgebildet werden können, das Design aber um Größenordnungen teurer ist. Und während einem ASIC die Funktion ab Werk einbelichtet ist, können FPGAs nahezu beliebig oft zur Laufzeit umprogrammiert werden. Wie im Podcast zu digitalen Währungen erwähnt, spielen Graphical Process Units (GPUs), FPGAs und ASICs eine große Rolle bei Kryptowährungen. Hier ist ein einzelner FPGA-Chip beim so genannten Mining meisst nicht schneller als eine GPU, verbrauchen jedoch im Vergleich deutlich weniger Strom. Spezialisierte ASICs hingegen übersteigen in Effizienz und Geschwindigkeit alle anderen Lösungen. FPGAs finden sich aktuell in vielen Consumer-Produkten, wie dem Apple iPhone 7, im Samsung Galaxy S5, Smart-TVs und selbst auch der Pebble Smartwatch. Ihren besonderen Vorteil spielen FPGAs bei der Verarbeitung von großen Datenmengen wie Videodaten aus, da sie in der Parallelisierung nur durch den verfügbaren Platz beschränkt sind. Die Beschreibung von FPGAs und ASICs, oder deren Programmierung, erfolgt eher strukturell in Hardwarebeschreibungssprachen wie Verilog oder VHDL. Diese Beschreibungen unterscheiden sich sehr von imperativen Programmiersprachen, wie sie oft für CPUs oder GPUs verwendet werden. Es werden in logischen oder kombinatorischen Blöcken Daten verarbeitet, die dann in Taktschritten von und in Datenregister übertragen werden. Die erreichbare Taktfrequenz hängt von der Komplexität der kombinatorischen Blöcke ab. Ein Beispiel für logische Blöcke können Soft-Cores sein, wo zukünftige oder nicht mehr erhältliche CPU-Designs in FPGAs zur Evaluation oder Rekonstruktion abgebildet werden. Eine Variante ist die Entwicklung in OpenCL, wo verschiedene Architekturen wie GPUs, CPUs und FPGA unterstützt werden. Für die effiziente Umsetzung ist dafür weiterhin großes Hardwarewissen erforderlich, und man kann nicht erwarten, dass Code für FPGAs ebenso auf GPU, oder umgekehrt CPU-Code in FPGAs darstellbar ist. Das Interesse von Dennis Gnad liegt bei den FPGAs darin, deren Daten, Logik oder Inhalte durch Seitenkanalangriffe in von den Entwicklern unvorhergesehener Art und Weise auszulesen. Ein Beispiel ist das Erkennen von Fernsehsendungen aus dem Stromverbrauch des Fernsehgeräts wie es auch schon im Podcast zu Smart Metern beschrieben wurde. Ebenso wurden schon Kryptoschlüssel aus Geräuschen einer CPU bestimmt. Mit Soundkarten kann man Funkuhren verstellen (...)

FPGA Seitenkanäle


<p>In the last two semesters Gudrun has taught the courses Advanced Mathematics I and II for Mechanical Engineers. This is a mandatory lecture for the International mechanical engineering students at KIT in their first year of the Bachelor program. This program is organized by the <a href="https://www.carlbenzschool.kit.edu/bachelorprogrammechanicalengineering.php">Carl Benz School of Engineering</a>. Beside the study courses, the school also provides common housing for students coming to Karlsruhe from all over the world.</p> <p>The general structure and topics of the first year in Advanced Mathematics were already discussed in our episode 146 <a href="http://modellansatz.de/advanced-mathematics">Advanced Mathematics</a> with Jonathan Rollin.</p> <p>This time Gudrun invited two students from her course to have the student's perspective, talking about mathematics, life, and everything.<br /> Yueyang Cai grew up mostly in China. In 2015, the work of her mother led Yueyang to Stuttgart. While looking for opportunities to study a technical subject in Germany the English speaking program in Karlsruhe somehow suggested itself. After one year she is sure to have made the right decision. </p> <p>The second student in the conversation is Siddhant Dhanrajani. His family is Indian but lives in Dubai. For that he got his education in Dubai in an Indian community follwowing the Indian educational system (CBSE). He had never heard of the Engineering program in Karlsruhe but found it through thourough research. He is really amazed at how such an excellent study program and such an excellent university as the KIT are not better known for their value in the world.</p> <p>In the conversation both students talk about their education in their respective countries, their hopes and plans for the study course mechanical engineering and their experiences in the first year here in Karlsruhe. It is very interesting to see how the different ways to teach mathematics, namely, either as a toolbox full of recipes (which the students get well-trained in) or secondly as a way to approach problems in a context of a mathematical education contribute to an experience to be well-equipped to work creative and with a lot of potential as an engineer.</p> <p>Though the students finished only the first year in a three years course they already work towards applications and necessary certificates for their possible master program after finishing the course in Karlsruhe.</p> <h2>Related Podcasts</h2> <ul><li> <a href="http://modellansatz.de/advanced-mathematics">G. Thäter, J. Rollin: Advanced Mathematics</a>, Conversation in the Modellansatz Podcast, Episode 146, Department of Mathematics, Karlsruhe Institute for Technology (KIT), 2017. </li><li> <a href="http://modellansatz.de/hoehere-mathematik">F. Hettlich, G. Thäter: Höhere Mathematik</a>, Gespräch im Modellansatz Podcast, Folge 34, Fakultät für Mathematik, Karlsruher Institut für Technologie (KIT), 2014.</li></ul>


Modellansatz 176

In the last two semesters Gudrun has taught the courses Advanced Mathematics I and II for Mechanical Engineers. This is a mandatory lecture for the International mechanical engineering students at KIT in their first year of the Bachelor program. This program is organized by the Carl Benz School of Engineering. Beside the study courses, the school also provides common housing for students coming to Karlsruhe from all over the world. The general structure and topics of the first year in Advanced Mathematics were already discussed in our episode 146 Advanced Mathematics with Jonathan Rollin. This time Gudrun invited two students from her course to have the student's perspective, talking about mathematics, life, and everything.  Yueyang Cai grew up mostly in China. In 2015, the work of her mother led Yueyang to Stuttgart. While looking for opportunities to study a technical subject in Germany the English speaking program in Karlsruhe somehow suggested itself. After one year she is sure to have made the right decision. The second student in the conversation is Siddhant Dhanrajani. His family is Indian but lives in Dubai. For that he got his education in Dubai in an Indian community follwowing the Indian educational system (CBSE). He had never heard of the Engineering program in Karlsruhe but found it through thourough research. He is really amazed at how such an excellent study program and such an excellent university as the KIT are not better known for their value in the world. In the conversation both students talk about their education in their respective countries, their hopes and plans for the study course mechanical engineering and their experiences in the first year here in Karlsruhe. It is very interesting to see how the different ways to teach mathematics, namely, either as a toolbox full of recipes (which the students get well-trained in) or secondly as a way to approach problems in a context of a mathematical education contribute to an experience to be well-equipped to work creative and with a lot of potential as an engineer. Though the students finished only the first year in a three years course they already work towards applications and necessary certificates for their possible master program after finishing the course in Karlsruhe.

Mechanical Engineering


<p>Vom 10. - 13. Mai 2018 fand im <a href="https://www.zkm.de/">ZKM</a> und in der <a href="http://www.hfg-karlsruhe.de/">Hochschule für Gestaltung (HfG)</a> die <a href="https://entropia.de/GPN18">GPN18</a> statt. Dort traf Sebastian auf Bernd Sieker und sprach mit ihm um Unfälle mit Autopiloten mit Flugzeugen und Automobilen.</p> <p>Der <a href="https://de.wikipedia.org/wiki/Flugunfall#Verkehrssterblichkeit_und_Unfallhäufigkeit">Flugreiseverkehr ist inzwischen sehr sicher</a>, es verbleibt aber ein Restrisiko, das man an den sehr seltenen <a href="https://de.wikipedia.org/wiki/Flugunfall">Flugunfällen</a> erkennen kann. Bernd <a href="https://de.wikipedia.org/wiki/Flugunfall#Flugunfalluntersuchung">untersucht nun die wenigen Abstürze</a> großer Airliner, die es noch gab, und fragt sich, <a href="https://de.wikipedia.org/wiki/Flugunfall#Meistgenannte_Unfallfaktoren_in_der_Luftfahrt_2002–2011">wie es zu diesen Katastrophen kommen konnte</a>.</p> <p>Beispiele für Unfallursachen können beispielsweise Ausfälle scheinbar weniger relevanter Systeme sein, wo von der Crew Entscheidungen getroffen werden, die sie für sinnvoll halten, sich aber später als problematisch herausstellen. Technische Schäden, die unmittelbar zum Absturz führen, sind inzwischen sehr selten. Und selbst scheinbare kritische Ausfälle wie Triebwerksausfälle werden geübt und es gibt Prozeduren, wie man in diesen Fällen das Flugzeug möglichst sicher landen können sollte.</p> <p>Im <a href="https://de.wikipedia.org/wiki/Segelflug">Segelflug</a> gehört eine <a href="https://de.wikipedia.org/wiki/Außenlandung">Außenlandung</a> auf freiem Feld zum Normalbetrieb, wobei man natürlich für am Boden etwaig entstandenen Schaden aufkommen muss, falls der Landwirt darauf besteht. Eine entsprechende nicht genehmigte <a href="https://de.wikipedia.org/wiki/Landung#Sicherheitslandung">Sicherheits-</a> oder <a href="https://de.wikipedia.org/wiki/Landung#Notlandung">Notlandung</a> führt bei Motorflugzeugen zur Auskunfts- oder Meldepflicht mit entsprechenden Auflagen zum Abtransport oder Erlaubnis zum Wiederstart.</p> <p>Bei der Untersuchung von Unglücksfällen geht der erste Blick auf offizielle Berichte oder Untersuchungen. So auch beim <a href="https://de.wikipedia.org/wiki/Air-France-Flug_447">Air-France Flug 447</a> von 2009, wo ein <a href="https://de.wikipedia.org/wiki/Airbus_A330">Airbus A330-203</a> mitten über dem Atlantik plötzlich verschwand. Erste Indizien auf das Unglück wurden durch <a href="https://de.wikipedia.org/wiki/ACARS">ACARS-System</a> über Satellit empfangen, unter anderem über den Ausfall von <a href="https://de.wikipedia.org/wiki/Pitotrohr">Staurohren</a>, mit denen die Geschwindigkeit des Flugzeugs gemessen wird. Das ist ein dramatischer Ausfall an Information, mit dem die Piloten aber umgehen können müssten und der eigentlich nicht zu einem Absturz führen sollte, denn die Geschwindigkeit ist noch mittels anderer Sensoren erkennbar. Erste gefundene Wrackteile deuteten darauf hin, dass das Flugzeug fast senkrecht in horizontaler Lage auf das Wasser aufgeschlagen sein musste. Dies führte auf die Vermutung, dass das Flugzeug <a href="https://de.wikipedia.org/wiki/Überziehen">überzogen</a> wurde, bis es zum <a href="https://de.wikipedia.org/wiki/Strömungsabriss">Strömungsabriss</a> kam, und es daraufhin einfach herunterfiel.</p> <p>Nach Bergung des <a href="https://de.wikipedia.org/wiki/Flugschreiber">Flugschreibers</a> bestätigte sich der vermutete Ablauf. Er wurde durch einen überraschend kurzen Zeitraum von wenigen Minuten zwischen Fehlermeldung und Absturz aus Reiseflughöhe belegt. Die Piloten müssen in der widersprüchlichen Situation gewesen sein, dass ihnen der Sink"flug" angezeigt wurde, während die Nase des Flugzeugs nach oben zeigte, was laut Training normalerweise in diesem Flugzustand nicht möglich ist. Bei dem eingesetzten <a href="https://de.wikipedia.org/wiki/Fly-by-wire">Fly-by-wire</a> System wäre eigentlich auch kein Strömungsabriss möglich gewesen. Nach Ausfall der Staurohre führte nun die Verkettung zwischen unvorhersehbarem Flugzeugzustand und der dramatischen Fehlinterpretation durch die Piloten zum Absturz.</p> <p>In der Ursachenanalyse ist sowohl zu beachten, dass die Warnmeldungen zum Strömungsabriss von den Piloten womöglich wegen einer Vielzahl von Warnmeldungen nicht mehr erfasst werden konnte. Ebenso wurden widersprüchliche Angaben zur Fluggeschwindigkeit und Anstellwinkeln von den Systemen des Flugzeugs irgendwann als ungültig abgewiesen und entsprechende Warnungen abgeschaltet oder nur noch widersprüchlich wiedergegeben.</p> <p>Dies führt zur Betrachtung solcher Systeme unter dem Aspekt, dass sie <a href="https://de.wikipedia.org/wiki/Soziotechnisches_System">sozio-technisch</a> sind, mit der Einsicht, dass gerade bei der Übertragung von Aufgaben des Menschen an Technik und zurück ein besonderes und schwer vorhersehbares Fehlerpotenzial besteht. Insbesondere <a href="https://de.wikipedia.org/wiki/Autopilot">Autopiloten</a> haben eine besondere Bedeutung, da sie direkt in die Aufgaben der steuernden Menschen eingreifen. Klassisch steuern Autopiloten nur in sehr engen Parametern wie einzuhaltende Richtung, Höhe, Querneigung der Sink-/Steiggeschwindigkeit. Im Auto sind schon Geschwindigkeits- und Abstandsautomatik üblich. Jedoch sind auch <a href="https://de.wikipedia.org/wiki/Autopilot#Landung_mit_Autopilot">Landungen mit Autopilot</a> möglich, die aber ein besonderes Training und Überprüfung von Mensch und Maschine und Verbesserung der Algorithmen und redundante Sensoren erfordern. Dies zeigt schon, wie kritisch Autopiloten im Automobil zu sehen sind, da hier bisher kein besonderes Training für die Verwendung von Autopiloten erfolgt. Eine Überraschung ist dabei, dass eine besondere Gefahr daraus entsteht, wenn Autopiloten so zuverlässig werden dass sich Menschen zu sehr auf sie verlassen. Überraschende Situationen kann aber der Mensch meist besser bewältigen.</p> <p>Bei der Untersuchung von Flugunfällen stellt sich besonders die Frage, welche Ereignisse die eigentliche Ursache also für das Unglück verantwortlich sind. Wie ist hier <a href="https://de.wikipedia.org/wiki/Kausalität">Kausalität</a> zu definieren? An der <a href="http://www.uni-bielefeld.de">Uni Bielefeld</a> wurde in der <a href="https://rvs-bi.de">Arbeitsgruppe von Prof. Ladkin</a> dazu die <a href="https://rvs-bi.de/research/WBA/">Why-Because-Analysis (WBA)</a> entwickelt, wo die <a href="https://plato.stanford.edu/entries/causation-counterfactual/#Lew197CouAna">Counterfactual Test Theory von David Lewis</a> zum Einsatz kommt. Aus der Überprüfung, ob ein Ereignis notwendig und die Menge der gefunden Ereignisse hinreichend für die Entstehung eines Ereignisses war, entsteht ein kausaler "Why-Because"-Graph (WBG), der genau nur die Ereignisse zusammenfasst, die notwendig zum Unglück führten.</p> <p>Ein interessantes philosophisches Konstrukt ist hier die <a href="https://en.wikipedia.org/wiki/Possible_world">Nearest-Possible-World-Theory</a>, die ein Szenario konstruiert, das dem Unglück möglichst stark ähnelt, für das aber es nicht zum Unglück gekommen wäre. Was war hier anders? Was können wir daraus lernen?</p> <p>Durch Vergleich mit vorherigen dokumentierten Ereignissen können Teile des WBG auch quantitativ bewertet werden, obgleich die Datenbasis oft sehr gering ist. Dennoch können Schlüsse gezogen werden, welche Ereignisse bisher ignoriert wurden und ob dies gerechtfertigt ist.</p> <p>Das <a href="https://de.wikipedia.org/wiki/National_Transportation_Safety_Board">National Transportation Safety Board (NTSB)</a> befasst sich in den USA wie die <a href="https://de.wikipedia.org/wiki/Bundesstelle_für_Flugunfalluntersuchung">Bundesstelle für Flugunfalluntersuchung (BFU)</a> in Deutschland typischerweise mit der Aufarbeitung von Unglücksfällen, und wie diesen in Zukunft entgegengewirkt werden kann. Darüber hinaus haben ebenso Versicherungen von Fluggesellschaften ein großes Interesse an einer Aufarbeitung, da die Fluggesellschaften in vielen Bereichen für Unglücke haftbar sind, soweit sie nicht nachweisen können, dass die Hersteller verantwortlich zu machen sind.</p> <p>Während des <a href="https://de.wikipedia.org/wiki/Asiana-Airlines-Flug_214">Asiana Airlines Flug 214</a> kam es in einer <a href="https://de.wikipedia.org/wiki/Boeing_777">Boeing 777</a> im Anflug auf San Francisco 2013 im Landeanflug zu einer "Mode Confusion" beim Autopilot: Die erwartete Schubregulierung blieb aus, und es kam zu einem Absturz. Im Fall des <a href="https://de.wikipedia.org/wiki/Turkish-Airlines-Flug_1951">Turkish Airlines Flug 1951</a> mit einer <a href="https://de.wikipedia.org/wiki/Boeing_737#Boeing_737-800">Boeing 737</a> nach Amsterdam gab es im Anflug einen Fehler im Radarhöhenmessgerät, wodurch der Autopilot in Erwartung der Landung aktiv den Schub zurückregelte. Die Korrektur der Piloten schlug fehl, da sie sich nicht über die genauen Abläufe im Klaren waren.</p> <p>Dies deutet schon deutlich darauf, dass Schwierigkeiten beim Einsatz von Autopiloten im automobilen Umfeld zu erwarten sind. Darüber hinaus sind die erforderlichen menschlichen Reaktionszeiten im Auto deutlich kürzer, so dass Missverständnisse oder das An- oder Abschalten von Autopilot-Funktionen deutlich leichter zu Unglücken führen können. Eine wichtige Einstufung sind hier die erreichten <a href="https://de.wikipedia.org/wiki/Autonomes_Fahren#Autonomiestufen_(Level)">SAE Autonomiestufen</a>, die beschreiben, wie weit das Fahrzeug Aufgaben des Fahrens übernehmen kann. Besonders problematisch ist Autonomiestufe 3: Hier darf der Fahrer sich während der Fahrt anderen Dingen als der Fahrzeugführung zuwenden, muss aber nach einer gewisse Vorwarnzeit wieder die Führung wieder übernnehmen können. Selbst bei wenigen Sekunden wird dies  bei höheren Geschwindigkeiten sehr schwer zu erfüllen sein. Bei Stufe 4 muss das Fahrzeug auch ohne Fahrerintervention sicher bleiben, notfalls durch Anhalten, Stufe 5 ist vollständig autonom von Tür zu Tür.</p> <p>Ein weiterer Gesichtspunkt ist die vorhandene Sensoraustattung und deren Ausfallsicherheit oder die Interpretation der Sensormessungen. Im Fall des Unfalls eines <a href="https://www.heise.de/tp/features/Der-Unfall-von-Uber-in-Arizona-4059282.html">Uber-Autos am 18. März 2018 in Arizona</a> wurde eine Fußgängerin von den Sensoren zwar erfasst, jedoch wurden die Detektion durch die Software als Fehler zurückgewiesen und es kam zum Unfall. Die hier verwendete Software war und wird weit weniger getestet und formal geprüft als Software im Luftfahrtumfeld, da dies auch im Bezug auf neuronale Bilderkennungsverfahren schwer umzusetzen sein wird. </p> <p>Ein weiterer Aspekt ist, dass selbst wenn ein sozio-technisches System sicherer als Menschen fährt, die Akzeptanz nur sehr schwer zu erreichen sein und viele rechtliche und ethische Fragen zunächst zu klären wären.</p> <p>Vielen Dank an Markus Völter für die Unterstützung in dieser Folge.</p> <br /><h1>Literatur und weiterführende Informationen</h1> <ul><li> <a href="https://link.springer.com/chapter/10.1007/978-94-009-9117-0_3">D. Lewis: Counterfactuals and comparative possibility</a>, Springer, Dordrecht, 57-85, 1973.</li><li> <a href="https://link.springer.com/chapter/10.1007/3-540-40891-6_30">P. Ladkin: Causal reasoning about aircraft accidents</a>, International Conference on Computer Safety, Reliability, and Security. Springer, Berlin, Heidelberg, 2000.</li><li> <a href="https://rvs-bi.de/publications/Diplom/sieker.pdf">B. Sieker: Visualisation Concepts and Improved Software Tools for Causal System Analysis</a>, Diplomarbeit an der Technischen Fakultät der Universität Bielefeld, 2004.</li><li> <a href="https://rvs-bi.de/publications/Theses/Dissertation_Bernd_Sieker.pdf">B. Sieker: Systemanforderungsanalyse von Bahnbetriebsverfahren mit Hilfe der Ontological Hazard Analysis am Beispiel des Zugleitbetriebs nach FV-NE</a>, Dissertation an der Technischen Fakultät der Universität Bielefeld, 2010.</li><li> <a href="http://www.causalis.com">Causalis Limited</a></li><li> <a href="https://rvsbi.de">Research Group Networks, System Safety, Embedded and Distributed Systems</a></li><li> <a href="https://media.ccc.de/v/gpn18-108-hold-steering-wheel-autopilots-and-autonomous-driving-">B. Sieker: Hold Steering Wheel! Autopilots and Autonomous Driving.</a> Presentation at the Gulaschprogrammiernacht 18, ZKM/HfG, Karlsruhe, 2018.</li><li> <a href="https://media.ccc.de/v/33c3-8033-what_s_it_doing_now">B. Sieker: What's It Doing Now? The Role of Automation Dependency in Aviation Accidents.</a> Presentation at the Chaos Communication Congress 33C3, 2016.</li></ul> <br /> <h1>Podcasts</h1> <ul><li> <a href="http://omegataupodcast.net/58-komplexe-systeme-4/">H. Butz, M. Völter: Komplexe Systeme</a>, Folge 058 im omega tau Podcast, Markus Völter und Nora Ludewig, 2011.</li><li> <a href="http://omegataupodcast.net/100-system-health-mgt/">S. B. Johnson, M. Völter: System Health Management</a>, Episode 100 in the omega tau Podcast, Markus Völter and Nora Ludewig, 2012.</li><li> <a href="http://omegataupodcast.net/138-fly-by-wire-im-a320/">R. Reichel, M. Völter: Fly by Wire im A320</a>, Folge 138 im omega tau Podcast, Markus Völter und Nora Ludewig, 2014.</li><li> <a href="http://omegataupodcast.net/262-mit-lufthansas-a380-nach-hkg-teil-1/">S., J., C., A., M. Völter: Mit Lufthansas A380 nach Hong Kong Teil 1</a>, Folge 262 im omega tau Podcast, Markus Völter und Nora Ludewig, 2017.</li><li> <a href="http://omegataupodcast.net/263-mit-lufthansas-a380-nach-hkg-teil-2/">S., J., C., A., M. Völter: Mit Lufthansas A380 nach Hong Kong Teil 2</a>, Folge 263 im omega tau Podcast, Markus Völter und Nora Ludewig, 2017.</li><li> <a href="http://modellansatz.de/lilium">P. Nathen, G. Thäter: Lilium</a>, Gespräch im Modellansatz Podcast, Folge 145, Fakultät für Mathematik, Karlsruher Institut für Technologie (KIT), 2017.</li></ul> <br /> <br /> <h1>GPN18 Special</h1> <ul><li> <a href="http://modellansatz.de/flugunfaelle">B. Sieker, S. Ritterbusch: Flugunfälle</a>, Gespräch im Modellansatz Podcast, Folge 175, Fakultät für Mathematik, Karlsruher Institut für Technologie (KIT), 2018. <a href="http://modellansatz.de/flugunfaelle">http://modellansatz.de/flugunfaelle</a></li><li> <a href="http://modellansatz.de/erdbebensicheres-bauen">A. Rick, S. Ritterbusch: Erdbebensicheres Bauen</a>, Gespräch im Modellansatz Podcast, Folge 168, Fakultät für Mathematik, Karlsruher Institut für Technologie (KIT), 2018. <a href="http://modellansatz.de/erdbebensicheres-bauen">http://modellansatz.de/erdbebensicheres-bauen</a></li></ul> <br /> <h1>GPN17 Special</h1> <ul><li> <a href="https://podcast.chaospott.de/2017/05/28/sn004-gpn-17/">Sibyllinische Neuigkeiten: GPN17</a>, Folge 4 im Podcast des CCC Essen, 2017.</li><li> <a href="http://modellansatz.de/bezier-stabwerke">A. Rick, S. Ritterbusch: Bézier Stabwerke</a>, Gespräch im Modellansatz Podcast, Folge 141, Fakultät für Mathematik, Karlsruher Institut für Technologie (KIT), 2017. <a href="http://modellansatz.de/bezier-stabwerke">http://modellansatz.de/bezier-stabwerke</a></li><li> <a href="http://modellansatz.de/binary-analyis">F. Magin, S. Ritterbusch: Automated Binary Analysis</a>, Gespräch im Modellansatz Podcast, Folge 137, Fakultät für Mathematik, Karlsruher Institut für Technologie (KIT), 2017. <a href="http://modellansatz.de/binary-analyis">http://modellansatz.de/binary-analyis</a></li><li> <a href="http://modellansatz.de/smart-meter">M. Lösch, S. Ritterbusch: Smart Meter Gateway</a>, Gespräch im Modellansatz Podcast, Folge 135, Fakultät für Mathematik, Karlsruher Institut für Technologie (KIT), 2017. <a href="http://modellansatz.de/smart-meter">http://modellansatz.de/smart-meter</a></li></ul> <br /> <h1>GPN16 Special</h1></a> <ul><li> <a href="http://modellansatz.de/adiabatische-quantencomputer">A. Krause, S. Ritterbusch: Adiabatische Quantencomputer</a>, Gespräch im Modellansatz Podcast Folge 105, Fakultät für Mathematik, Karlsruher Institut für Technologie (KIT), 2016. <a href="http://modellansatz.de/adiabatische-quantencomputer">http://modellansatz.de/adiabatische-quantencomputer</a></li><li> <a href="http://modellansatz.de/finanzen-damalstm">S. Ajuvo, S. Ritterbusch: Finanzen damalsTM</a>, Gespräch im Modellansatz Podcast, Folge 97, Fakultät für Mathematik, Karlsruher Institut für Technologie (KIT), 2016. <a href="http://modellansatz.de/finanzen-damalstm">http://modellansatz.de/finanzen-damalstm</a></li><li> <a href="http://modellansatz.de/probabilistische-robotik">M. Fürst, S. Ritterbusch: Probabilistische Robotik</a>, Gespräch im Modellansatz Podcast, Folge 95, Fakultät für Mathematik, Karlsruher Institut für Technologie (KIT), 2016.  <a href="http://modellansatz.de/probabilistische-robotik">http://modellansatz.de/probabilistische-robotik</a></li><li> <a href="http://modellansatz.de/incredible-proof-machine">J. Breitner, S. Ritterbusch: Incredible Proof Machine</a>, Gespräch im Modellansatz Podcast, Folge 78, Fakultät für Mathematik, Karlsruher Institut für Technologie (KIT), 2016. <a href="http://modellansatz.de/incredible-proof-machine">http://modellansatz.de/incredible-proof-machine</a></li></ul>


Modellansatz 175

Vom 10. - 13. Mai 2018 fand im ZKM und in der Hochschule für Gestaltung (HfG) die GPN18 statt. Dort traf Sebastian auf Bernd Sieker und sprach mit ihm um Unfälle mit Autopiloten mit Flugzeugen und Automobilen. Der Flugreiseverkehr ist inzwischen sehr sicher, es verbleibt aber ein Restrisiko, das man an den sehr seltenen Flugunfällen erkennen kann. Bernd untersucht nun die wenigen Abstürze großer Airliner, die es noch gab, und fragt sich, wie es zu diesen Katastrophen kommen konnte. Beispiele für Unfallursachen können beispielsweise Ausfälle scheinbar weniger relevanter Systeme sein, wo von der Crew Entscheidungen getroffen werden, die sie für sinnvoll halten, sich aber später als problematisch herausstellen. Technische Schäden, die unmittelbar zum Absturz führen, sind inzwischen sehr selten. Und selbst scheinbare kritische Ausfälle wie Triebwerksausfälle werden geübt und es gibt Prozeduren, wie man in diesen Fällen das Flugzeug möglichst sicher landen können sollte. Im Segelflug gehört eine Außenlandung auf freiem Feld zum Normalbetrieb, wobei man natürlich für am Boden etwaig entstandenen Schaden aufkommen muss, falls der Landwirt darauf besteht. Eine entsprechende nicht genehmigte Sicherheits- oder Notlandung führt bei Motorflugzeugen zur Auskunfts- oder Meldepflicht mit entsprechenden Auflagen zum Abtransport oder Erlaubnis zum Wiederstart. Bei der Untersuchung von Unglücksfällen geht der erste Blick auf offizielle Berichte oder Untersuchungen. So auch beim Air-France Flug 447 von 2009, wo ein Airbus A330-203 mitten über dem Atlantik plötzlich verschwand. Erste Indizien auf das Unglück wurden durch ACARS-System über Satellit empfangen, unter anderem über den Ausfall von Staurohren, mit denen die Geschwindigkeit des Flugzeugs gemessen wird. Das ist ein dramatischer Ausfall an Information, mit dem die Piloten aber umgehen können müssten und der eigentlich nicht zu einem Absturz führen sollte, denn die Geschwindigkeit ist noch mittels anderer Sensoren erkennbar. Erste gefundene Wrackteile deuteten darauf hin, dass das Flugzeug fast senkrecht in horizontaler Lage auf das Wasser aufgeschlagen sein musste. Dies führte auf die Vermutung, dass das Flugzeug überzogen wurde, bis es zum Strömungsabriss kam, und es daraufhin einfach herunterfiel. Nach Bergung des Flugschreibers bestätigte sich der vermutete Ablauf. Er wurde durch einen überraschend kurzen Zeitraum von wenigen Minuten zwischen Fehlermeldung und Absturz aus Reiseflughöhe belegt. Die Piloten müssen in der widersprüchlichen Situation gewesen sein, dass ihnen der Sink"flug" angezeigt wurde, während die Nase des Flugzeugs nach oben zeigte, was laut Training normalerweise in diesem Flugzustand nicht möglich ist. Bei dem eingesetzten Fly-by-wire System wäre eigentlich auch kein Strömungsabriss möglich gewesen. Nach Ausfall der Staurohre führte nun die Verkettung zwischen unvorhersehbarem Flugzeugzustand und der dramatischen Fehlinterpretation durch die Piloten zum Absturz. (...)

Flugunfälle


<p>In dieser Folge unterhält sich Gudrun gleich mit vier Personen. Im Gespräch geht es um ein ganz besonderes Angebot für Schülerinnen und Schüler: die <a href="https://blog.rwth-aachen.de/cammp/angebote/#week">CAMMP-week</a>. Die Abkürzung <a href="http://www.scc.kit.edu/forschung/CAMMP.php">CAMMP</a> steht hier für "Computational and Mathematical Modeling Program" (deutsch: "Computergestütztes Mathematisches  Modellierungsprogramm"). Das Programm wurde in der Arbeitsgruppe von <a href="http://www.scc.kit.edu/personen/martin.frank.php">Martin Frank</a> während seiner Tätigkeit an der RWTH in Aachen entwickelt. Mit seinem Wechsel ans KIT in Karlsruhe gibt es nun seit Januar 2018 auch ein Standbein am KIT. Mit <a href="https://www.scc.kit.edu/personen/11460.php">Kirsten Wohak</a> hatte Gudrun schon über das Konzept, die Idee und konkrete Beispiele für <a href="http://modellansatz.de/cammp">CAMMP</a> gesprochen. Dabei entstand der Wunsch, unbedingt auch Schülerinnen und Schüler zu Wort kommen zu lassen, die an einer CAMMP-Veranstaltung teilgenommen haben.</p> <p>Elly Bastian und Christian Beitzinger haben vom 24.-29. Juni 2018 an der diesjährigen CAMMP week in der Jugendherberge in Voeren (Belgien) teilgenommen und hatten Lust, im Podcast über ihre Erfahrungen zu berichten. Elly ist derzeit noch Schülerin der 10. Klasse am <a href="https://goethe-gymnasium-gaggenau.de/">Goethe-Gymnasium in Gaggenau</a> und Christian ist in der K1 im <a href="http://www.lehrer.uni-karlsruhe.de/~za184/">Tulla-Gymnasium in Rastatt</a>. </p> <p>Zwei Programmgestalterinnen waren ebenfalls mit in der Podcast-Gesprächsrunde, nämlich <a href="https://www.scc.kit.edu/personen/11460.php">Kirsten Wohak</a> und  <a href="https://www.scc.kit.edu/personen/11349.php">Maren Hattebuhr</a>. Sie gehören am <a href="https://www.kit.edu/">KIT</a> zur Arbeitsgruppe von Martin Frank  <a href="http://www.scc.kit.edu/ueberuns/rg-csmm.php">Computational Science and Mathematical Methods</a>. Diese Gruppe schlägt eine Brücke zwischen dem <a href="http://www.scc.kit.edu/index.php">Steinbuch Center for Computing</a> und der <a href="http://www.math.kit.edu/">KIT-Fakultät für Mathematik</a>.</p> <p>Das Angebot  der CAMMP week richtet sich an Schüler und Schülerinnen der Oberstufe, die an Mathematik interessiert sind, an Mathematiklehrpersonen sowie Personen im Referendariat oder Lehramtsstudium und findet jährlich in der Jugendherberge in Voeren in Belgien statt. In Karlsruhe wird zusätzlich noch eine zweite Modellierungswoche in Zusammenarbeit mit dem <a href="http://www.scc.kit.edu/forschung/11521.php">MINT-EC</a> angeboten, an welcher Schülerinnen und Schüler von Schulen, die Teil des MINT-Schulnetzwerks sind, teilnehmen können. In beiden Wochen werden die Teilnehmenden in Gruppen aufgeteilt, die  jeweils aus sechs Schülerinnen und Schülern und zwei (angehenden) Lehrkräften bestehen. Bei den zu lösenden Problemen handelt es sich um reale Fragestellungen aus der Forschung von Firmen oder Universitätsinstituten.</p> <p>Jede Gruppe erhält eine individuelle Aufgabenstellung, an der sie innerhalb der fünf Tage forscht. Dabei wird sie auch wissenschaftlich betreut. Die Schülerteams präsentieren ihre Ergebnisse den Firmen am Ende der Woche im Rahmen einer repräsentativen Abschlussveranstaltung. Hier sind auch die Familien und die Schulen dabei. </p> <p>Welche Wege führen junge Menschen nun in die CAMMP week? </p> <p>Elly hatte Anfang 2018 die Arbeit der Gruppe um Martin Frank im Rahmen ihres <a href="https://de.wikipedia.org/wiki/Berufs-_und_Studienorientierung_an_Gymnasien">BOGY-Praktikums</a> kennen gelernt und dabei Lust bekommen, noch mehr praktische Mathematik zu machen. Obwohl sie keine andere Person kannte, die auch nach Belgien fahren würde, war ihre Lust so groß, dass sie sich auf das Abenteuer einlassen wollte. Christian wurde von seinem Mathelehrer auf die Möglichkeit hingewiesen und hatte sich mit Mitschülern abgesprochen. Beide berichteten darüber, dass sie in der jeweiligen Gruppe mit viel Enthusiasmus arbeiten konnten, viele Ideen geboren und wieder verworfen wurden und am Ende auch in schwierigen Phasen ein Ausweg gefunden wurde. </p> <p>Es war eine interessante Erfahrungen, mit anderen Schülerinnen und Schülern zusammen zu sein, die auch Begeisterung für Mathematik empfinden. Beide haben nun ein neues Bild von Mathematik und den Möglichkeiten einer späteren Berufstätigkeit mit einer mathematischen Vorbildung und würden auch gern wieder an einer CAMMP week teilnehmen.</p> <h2>Podcasts</h2> <ul><li> <a href="http://modellansatz.de/schuelerlabor">E. Dittrich: Schülerlabor</a>, Gespräch mit G. Thäter im Modellansatz Podcast, Folge 103, Fakultät für Mathematik, Karlsruher Institut für Technologie (KIT), 2016.</li><li> <a href="http://modellansatz.de/kinetische-theorie">M. Frank: Kinetische Theorie</a>, Gespräch mit G. Thäter im Modellansatz Podcast, Folge 152, Fakultät für Mathematik, Karlsruher Institut für Technologie (KIT), 2017. </li><li> <a href="http://modellansatz.de/meisterklasse">B. Böttcher: Meisterklasse</a>, Gespräch mit G. Thäter im Modellansatz Podcast, Folge 158, Fakultät für Mathematik, Karlsruher Institut für Technologie (KIT), 2018. </li><li> <a href="http://modellansatz.de/cammp">G. Thäter, K. Wohak: CAMMP</a>, Gespräch im Modellansatz Podcast, Folge 165, Fakultät für Mathematik, Karlsruher Institut für Technologie (KIT), 2018. </li></ul><br /> <br /> <h2>10 Jahre Omega Tau Podcast</h2> <p><a href="https://omegataupodcast.net/ot10" target="blank"><img src="http://omegataupodcast.net/wp-content/uploads/2018/06/ot10-lang.jpg" width="100%" alt="10 Jahre Omega Tau Podcast" title="10 Jahre Omega Tau Podcast"/></a></p>


Modellansatz 174

In dieser Folge unterhält sich Gudrun gleich mit vier Personen. Im Gespräch geht es um ein ganz besonderes Angebot für Schülerinnen und Schüler: die CAMMP-week. Die Abkürzung CAMMP steht hier für "Computational and Mathematical Modeling Program" (deutsch: "Computergestütztes Mathematisches Modellierungsprogramm"). Das Programm wurde in der Arbeitsgruppe von Martin Frank während seiner Tätigkeit an der RWTH in Aachen entwickelt. Mit seinem Wechsel ans KIT in Karlsruhe gibt es nun seit Januar 2018 auch ein Standbein am KIT. Mit Kirsten Wohak hatte Gudrun schon über das Konzept, die Idee und konkrete Beispiele für CAMMP gesprochen. Dabei entstand der Wunsch, unbedingt auch Schülerinnen und Schüler zu Wort kommen zu lassen, die an einer CAMMP-Veranstaltung teilgenommen haben. Elly Bastian und Christian Beitzinger haben vom 24.-29. Juni 2018 an der diesjährigen CAMMP week in der Jugendherberge in Voeren (Belgien) teilgenommen und hatten Lust, im Podcast über ihre Erfahrungen zu berichten. Elly ist derzeit noch Schülerin der 10. Klasse am Goethe-Gymnasium in Gaggenau und Christian ist in der K1 im Tulla-Gymnasium in Rastatt. Zwei Programmgestalterinnen waren ebenfalls mit in der Podcast-Gesprächsrunde, nämlich Kirsten Wohak und Maren Hattebuhr. Sie gehören am KIT zur Arbeitsgruppe von Martin Frank Computational Science and Mathematical Methods. Diese Gruppe schlägt eine Brücke zwischen dem Steinbuch Center for Computing und der KIT-Fakultät für Mathematik. Das Angebot der CAMMP week richtet sich an Schüler und Schülerinnen der Oberstufe, die an Mathematik interessiert sind, an Mathematiklehrpersonen sowie Personen im Referendariat oder Lehramtsstudium und findet jährlich in der Jugendherberge in Voeren in Belgien statt. In Karlsruhe wird zusätzlich noch eine zweite Modellierungswoche in Zusammenarbeit mit dem MINT-EC angeboten, an welcher Schülerinnen und Schüler von Schulen, die Teil des MINT-Schulnetzwerks sind, teilnehmen können. In beiden Wochen werden die Teilnehmenden in Gruppen aufgeteilt, die jeweils aus sechs Schülerinnen und Schülern und zwei (angehenden) Lehrkräften bestehen. Bei den zu lösenden Problemen handelt es sich um reale Fragestellungen aus der Forschung von Firmen oder Universitätsinstituten. Jede Gruppe erhält eine individuelle Aufgabenstellung, an der sie innerhalb der fünf Tage forscht. Dabei wird sie auch wissenschaftlich betreut. Die Schülerteams präsentieren ihre Ergebnisse den Firmen am Ende der Woche im Rahmen einer repräsentativen Abschlussveranstaltung. Hier sind auch die Familien und die Schulen dabei. Welche Wege führen junge Menschen nun in die CAMMP week? Elly hatte Anfang 2018 die Arbeit der Gruppe um Martin Frank im Rahmen ihres BOGY-Praktikums kennen gelernt und dabei Lust bekommen, noch mehr praktische Mathematik zu machen. Obwohl sie keine andere Person kannte, die auch nach Belgien fahren würde, war ihre Lust so groß, dass sie sich auf das Abenteuer einlassen wollte. (...)

CAMMP Week


<p>Gudrun met the USA-based mathematician <a href="https://www.bsu.edu/academics/collegesanddepartments/math/facultyandstaff/tenuretrackfaculty/aceskaroza">Roza Aceska</a> from Macedonia in Turin at the Conference <a href="http://www.mltf18.unito.it/">MicroLocal and Time-Frequency Analysis 2018</a>. </p> <p><img class="imgcenter" src="http://www.math.kit.edu/ianm4/seite/ma-dynamical-sampling/media/turin-480x321.jpg" alt="Mathematical Department, University of Turin, Photo: G.Thäter" title="Mathematical Department, University of Turin, Photo: G.Thäter" /> </p> <p>The topic of the recorded conversation is dynamical sampling. The situation which Roza and other mathematician study is: There is a process which develops over time which in principle is well understood. In mathematical terms this means we know the equation which governs our model of the process or in other words we know the family of evolution operators. Often this is a partial differential equation which accounts for changes in time and in 1, 2 or 3 spatial variables. This means, if we know the initial situation (i.e. the initial conditions in mathematical terms), we can numerically calculate good approximations for the instances the process will have at all places and at all times in the future.</p> <p>But in general when observing a process life is not that well sorted. Instead we might know the principal equation but only through (maybe only a few) measurements we can find information about the initial condition or material constants for the process. This leads to two questions: How many measurements are necessary in order to obtain the full information (i.e. to have exact knowledge)? Are there possibilities to choose the time and the spatial situation of a measurement so clever as to gain as much as possible new information from any measurement? These are mathematical questions which are answered through studying the equations.</p> <p>The science of sampling started in the 1940s with <a href="https://en.wikipedia.org/wiki/Claude_Shannon">Claude Shannon</a> who found fundamental limits of <a href="https://en.wikipedia.org/wiki/Signal_processing">signal processing</a>. He developed a precise framework - the so-called <a href="https://en.wikipedia.org/wiki/Information_theory">information theory</a>. Sampling and reconstruction theory is important because it serves as a bridge between the modern digital world and the analog world of continuous functions.  It is surprising to see how many applications rely on taking samples in order to understand processes. A few examples in our everyday life are: Audio signal processing (electrical signals representing sound of speech or music), image processing, and wireless communication. But also seismology or genomics can only develop models by taking very intelligent sample measurements, or, in other words, by making the most scientific sense out of available measurements. </p> <p>The new development in dynamical sampling is, that in following a process over time it might by possible to find good options to gain valuable information about the process at different time instances, as well as different spatial locations. In practice, increasing the number of spatially used sensors  is more expensive (or even impossible) than increasing the temporal sampling density. These issues are overcome by a  spatio-temporal sampling framework in evolution processes. The idea is to use a reduced number of sensors with each being activated more frequently.  Roza refers to a paper by <a href="https://en.wikipedia.org/wiki/Enrique_Zuazua">Enrique Zuazua</a> in which he and his co-author study the <a href="https://en.wikipedia.org/wiki/Heat_equation">heat equation</a> and construct a series of later-time measurements at a single location throughout the underlying process. The heat equation is prototypical and one can  use similar ideas in a more general setting. This is one topic on which Roza and her co-workers succeeded and want to proceed further.</p> <p>After Roza graduated with a Ph.D. in Mathematics at the <a href="https://en.wikipedia.org/wiki/University_of_Vienna">University of Vienna</a> she worked as Assistant Professor at the <a href="https://en.wikipedia.org/wiki/Ss._Cyril_and_Methodius_University_of_Skopje">University Ss Cyril and Methodius</a> in Skopje (Macedonia), and after that at the <a href="https://en.wikipedia.org/wiki/Vanderbilt_University">Vanderbilt University</a> in Nashville (Tennessee). Nowadays she is a faculty member of <a href="https://en.wikipedia.org/wiki/Ball_State_University">Ball State University</a> in Muncie (Indiana).</p> <h2>References</h2> <ul><li> <b>Overview</b> on sampling theory and applications:  <a href="https://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=843002">M. Unser:  Sampling-50 years after Shannon</a> Proceedings of the IEEE 88 (4) 569 - 587, 2000.</li><li> <b>Dynamical sampling in shift-invariant spaces</b>: <a href="https://as.vanderbilt.edu/math/bio/docs/roza-aceska/DynSampSIS.pdf">R. Aceska e.a.: Dynamical Sampling in Shift-Invariant Spaces</a> 2014 (Version at <a href="https://arxiv.org/abs/1409.8333">Archive</a>}</li><li> <b>Dynamical sampling</b>: <a href="https://ieeexplore.ieee.org/document/7148929/">R. Aceska, A. Petrosyan, S. Tang: Dynamical sampling of two-dimensional temporally-varying signals</a> International Conference on Sampling Theory and Applications (SampTA), DOI:10.1109/SAMPTA.2015.7148929, 2015.</li><li> <a href="https://www.worldscientific.com/doi/abs/10.1142/S0218202514500262">DeVore, Ronald, and Enrique Zuazua: Recovery of an initial temperature from discrete sampling</a>, Mathematical Models and Methods in Applied Sciences 24.12 (2014): 2487-2501, 2014.</li><li> <b>Evolution operators</b> involved in dynamical sampling: <a href="https://link.springer.com/article/10.1007/s10444-016-9497-5"> S. Tang: System identification in dynamical sampling</a>, Advances in Computational Mathematics 43 (3) 555–580, 2017.</li><li> On <b>Bessel systems, bases and frames</b> in the dynamical sampling setup: <a href="https://www.sciencedirect.com/science/article/pii/S0022123616303536">A.Aldroubi e.a.:lterative actions of normal operators</a>  Journal of Functional Analysis 272 (3), 1121-1146, 2017.</li></ul> <h2>Related Podcasts</h2> <ul><li> <a href="http://modellansatz.de/waves">G. Thäter, E. Zuazua: Waves</a>, Conversation in Modellansatz Podcast Episode 054, Fakultät für Mathematik, Karlsruher Institut für Technologie (KIT), 2015. </li></ul> 


Modellansatz 173

Gudrun met the USA-based mathematician Roza Aceska from Macedonia in Turin at the Conference MicroLocal and Time-Frequency Analysis 2018. The topic of the recorded conversation is dynamical sampling. The situation which Roza and other mathematician study is: There is a process which develops over time which in principle is well understood. In mathematical terms this means we know the equation which governs our model of the process or in other words we know the family of evolution operators. Often this is a partial differential equation which accounts for changes in time and in 1, 2 or 3 spatial variables. This means, if we know the initial situation (i.e. the initial conditions in mathematical terms), we can numerically calculate good approximations for the instances the process will have at all places and at all times in the future. But in general when observing a process life is not that well sorted. Instead we might know the principal equation but only through (maybe only a few) measurements we can find information about the initial condition or material constants for the process. This leads to two questions: How many measurements are necessary in order to obtain the full information (i.e. to have exact knowledge)? Are there possibilities to choose the time and the spatial situation of a measurement so clever as to gain as much as possible new information from any measurement? These are mathematical questions which are answered through studying the equations. The science of sampling started in the 1940s with Claude Shannon who found fundamental limits of signal processing. He developed a precise framework - the so-called information theory. Sampling and reconstruction theory is important because it serves as a bridge between the modern digital world and the analog world of continuous functions. It is surprising to see how many applications rely on taking samples in order to understand processes. A few examples in our everyday life are: Audio signal processing (electrical signals representing sound of speech or music), image processing, and wireless communication. But also seismology or genomics can only develop models by taking very intelligent sample measurements, or, in other words, by making the most scientific sense out of available measurements. The new development in dynamical sampling is, that in following a process over time it might by possible to find good options to gain valuable information about the process at different time instances, as well as different spatial locations. In practice, increasing the number of spatially used sensors is more expensive (or even impossible) than increasing the temporal sampling density. These issues are overcome by a spatio-temporal sampling framework in evolution processes. The idea is to use a reduced number of sensors with each being activated more frequently. Roza refers to a paper by Enrique Zuazua (...)

Dynamical Sampling

Bei genauem Hinsehen finden wir die Naturwissenschaft und besonders Mathematik überall in unserem Leben, vom Wasserhahn über die automatischen Temporegelungen an Autobahnen, in der Medizintechnik bis hin zum Mobiltelefon. Woran die Forscher, Absolventen und Lehrenden in Karlsruhe gerade tüfteln, erfahren wir hier aus erster Hand.

PODLIST

Modellansatz

Mathematik und ihre Anwendungen

Neue Episoden

Rechenschieber

Modellansatz

Electric Vehicles on the Grid

Modellansatz

SimScale

Modellansatz

Forschendes Lernen

Modellansatz

Hybride Strömungsmodelle

Modellansatz

Simulierte Welten

Modellansatz

Lerntheken

Modellansatz

FPGA Seitenkanäle

Modellansatz

Mechanical Engineering

Modellansatz

Flugunfälle

Modellansatz

CAMMP Week

Modellansatz

Dynamical Sampling

Modellansatz