Modellansatz 144
Nikki Vercauteren erforscht an der Freien Universität Berlin die mehrskalige Analyse von atmosphärischen Prozessen und traf sich mit Sebastian Ritterbusch in der Urania Berlin, um über ihre Forschung und ihre Experimente auf Gletschern zu sprechen. Zum Zeitpunkt der Aufnahme fand in der Urania das Banff Mountain Film Festival, des Banff Centre for Arts and Creativity aus Kanada, statt. Auf dem Campus des Banff Centre befindet sich auch die Banff International Research Station (BIRS), ein Forschungsinstitut und Tagungsort nach Vorbild des Mathematischen Forschungsinstituts Oberwolfach, das sich der mathematischen Forschung und internationalen Zusammenarbeit verschrieben hat, und welches Nikki Vercauteren Anfang des Jahres zu einem Workshop besuchen konnte. Das Forschungsgebiet der Meteorologie umfasst viele Phänomene, von denen einige durch Fluiddynamik beschrieben werden können. Dabei geht es um eine große Menge von Skalen, von der globalen Perspektive, über kontinentale Skalen zur Mesoskala im Wetterbericht und der Mikroskala zu lokalen Phänomenen. Die Skalen bilden sich auch in den Berechnungsmodellen für die Wettervorhersage wieder. Das Europäische Zentrum für mittelfristige Wettervorhersage (EZMW) betrachtet die globale Perspektive mit Hilfe von Ensemblevorhersagen. Von dort verfeinert das aus dem lokalen Modell des Deutschen Wetterdienstes (DWD) entstandene COSMO Modell die Vorhersage auf die europäische und schließlich nationale Ebenen. Hier geht es um die sehr lokale Analyse von Windgeschwindigkeiten, die bis zu 20mal pro Sekunde gemessen werden und damit die Analyse von lokalen Turbulenzen bis zum natürlichem Infraschall ermöglichen. Die Erfassung erfolgt mit Ultraschallanemometer bzw. ultrasonic anemometers, wo bei manchen Typen durch die Erfassung des Doppler-Effekts bewegter Staubteilchen die Bewegungsgeschwindigkeit der Luft durch mehrere Sensoren räumlich bestimmt wird. Teilweise werden auch Laser-Anemometer eingesetzt. Im Rahmen ihrer Promotion in Umweltwissenschaften an der École Polytechnique Fédérale de Lausanne (EPFL) bekam Sie die Gelegenheit selbst vor Ort eine Messanlage auf einem Gletscher mit aufzubauen und in Stand zu halten. Der See- und Landwind sind typische Phänomene in der mikroskaligen Meteorologie, die Nikki Vercauteren zu ihrer Promotion am Genfersee zur Analyse von turbulenten Strömungen von Wasserdampf untersucht hat. Mit mehreren Laser-Doppler-Anemometern in einer Gitter-Aufstellung konnte sie so die Parametrisierung einer Large Eddy Simulation dadurch testen, in dem sie die im Modell angesetzte Energie in den kleinen Skalen mit den tatsächlichen Messungen vergleichen konnte. Kernpunkt der Betrachtung ist dabei das Problem des Turbulenzmodells: Als Verwirbelung in allen Skalen mit teilweise chaotischem Verhalten ist sie nicht vorhersagbar und kaum vollständig mathematisch beschreibbar. Sie spielt aber wegen der wichtigen Eigenschaften der Vermischung und Energietransfers eine elementare Rolle im Gesamtsystem. (...)
Erschienen: 27.09.2017
Dauer: 1:24:56
Modellansatz 143
Gudrun hat sich auf den Weg an ihre Alma Mater nach Dresden gemacht, um mit einem ehemaligen Kommilitonen zu sprechen, der dort als Diplom-Mathematiker schon seit 30 Jahren unter Ingenieuren Strömungssimulation betreibt. Markus Rösler hat von 1982-87 an der TU Dresden Mathematik studiert. Im Industriepraktikum im Rahmen des Studiums kam er in Berührung mit der damaligen Sektion Energieumwandlung und stieg dort für drei Monate in die Strömungssimulation ein. Nach dem Studium wechselte er dauerhaft auf eine Stelle im Institut für Srömungsmechanik in der damaligen Sektion Energieumwandlung, promovierte zum Dr.-Ing. und arbeitet seitdem neben der Lehre für Maschinenbauer an Projekten mit, die Strömungen in Gebäuden und in Räumen besser vorhersagen und analysieren zu können. Inzwischen an der Fakultät Maschinenwesen, Professur für Gebäudeenergietechnik und Wärmeversorgung. Gudrun und Markus teilen die Faszination für Strömungen, die fast schon philosophisch tief greift sowohl in der Beschreibung der Beobachtungen als auch im Verständnis der Phänomenologie. Das Tagesgeschäft in Markus' Alltag an der TU Dresden sind die Erforschung der Wirkung von Strömung im Raum auf Energiebedarf und thermische Behaglichkeit. Das erfolgt einerseits in konkreten Projekten - andererseits aber auch in grundlegenden Überlegungen für Situationen in Typenräumen in typischen Situationen. So entstand bereits ein Katalog, in dem sich Aussagen finden lassen, wie gebaut oder umgebaut werden kann, um die Energie effektiver zu nutzen. Ein Problem in der numerischen Simulation ist, dass die Strömung in Innenräumen in der Regel eine nicht vollständig ausgebildete turbulente Strömung ist. D.h. die Modellgleichungen sind jeweils - optimistisch ausgedrückt - im Grenzfall der Gültigkeit, da es weder laminar noch wirklich voll turbulent strömt. Die geometrische Auflösung ist dabei auch ganz kritisch. In einem Plattenheizkörper muss beispielsweise die genaue Luftströmung um den Heizkörper mit all seinen Lamellen berücksichtigt werden. Außerdem die Wasserströmung im Heizkörper. Die Strömungen werden in der Arbeitsgruppe in der Regel mit einer Reynolds-Mittelung der Navier-Stokes Gleichungen gerechnet, die mit geeigneten Turbulenzmodellen gekoppelt wird. Hier ergibt sich jedoch in der Regel ein Schließungsproblem, d.h. es gibt zu wenige Gleichungen für die Zahl der Variablen. Diese Lücke wird mit gewählten Parametern, die auf Messungen beruhen, geschlossen. Alle Rechnungen sollten etwa in Echtzeit erfolgen. Dafür sind die eben genannten Methoden gut geeignet. Andererseits werden immer genauere Rechnungen nötig, die mit den bisher genutzten Mittelungen nicht möglich sind. Dafür arbeiten sich Markus und seine Kollegen in neue Methoden ein - wie z.B. Lattice Boltzmann Modelle. Aber es ist noch sehr schwierig, mit diesen neuen und genaueren Methoden die geforderten Rechengeschwindigkeiten zu erreichen. Ein konkretes Beispiel aus der aktuellen Arbeit sind Simulationen für Dialyseräume. (...)
Erschienen: 14.09.2017
Dauer: 16:44
Modellansatz 142
Gudrun Thäter hat sich an der FU Berlin zu einem Gespräch über Geschlecht und Mathematik mit Anina Mischau & Mechthild Koreuber verabredet. Anina Mischau leitet dort im Fachbereich Mathematik und Informatik die Arbeitsgruppe Gender Studies in der Mathematik. Dies ist in Deutschland die einzige derartige Stelle, die innerhalb der Mathematik angesiedelt ist. Sie hat dort vielfältige Aufgaben in Forschung und Lehre mit einem gewissen Schwerpunkt in der Ausbildung für das Lehramt. Dort hilft sie, einen Grundstein dafür zu legen, dass zukünftige Mathelehrkräfte für die Bedeutung der sozialen Kategorie Geschlecht bei der Vermittlung und beim Lernen von Mathematik sensibilisiert werden und lernen, einen gendersensiblen Mathematikunterricht zu gestalten. Auf Vorschlag von Anina Mischau hatten wir auch die zentrale Frauenbeauftragte der FU - Mechthild Koreuber - herzlich zu unserem Gespräch eingeladen. Auch sie ist studierte Mathematikerin und hat über Mathematikgeschichte promoviert. Uns alle bewegen solche Fragen wie: Warum entsprechen die Anteile von Frauen in höheren Ebenen der Mathematikfachbereiche nicht ihren Anteilen in den Eingangsstadien wie Studium oder Promotion? Liegt es auschließlich an den Eigenheiten der akademischen Laufbahn oder gibt es hierfür zudem spezifisch fachkulturelle Gründe? Was bedeutet es für die Mathematik, wenn sie ausschließlich von Männern entwickelt wird? In der wissenschaftlichen Arbeit hierzu verfolgen die zwei Gesprächspartnerinnen von Gudrun vier unterschiedliche Forschungsrichtungen: Wie stellt sich die Geschichte von Frauen in der Mathematik dar? Welche didaktischen Ansätze sind geeignet, um mehr Menschen zu Mathematik einzuladen? Was sind Exklusionsmechanismen für Frauen (und nicht in die vorherrschende Mathematiker-Norm passende andere Personen) in der Mathematik? Wie könnte eine Mathematik aussehen, die das Potential von unterschiedlicheren Menschen einbezieht? In der Geschichte der Mathematik geht es nicht nur darum, das Vergessen in und die Verdrängung von Frauen aus der eigenen Disziplingeschichte sichtbar zu machen, sondern vor allem auch um das Aufzeigen, wo und wie das Werk und Wirken von Mathematikerinnen mathematische Diskurse und damit innermathematische Entwicklungen der Disziplin beeinflusst haben. Ein Thema, an dem Mechthild Koreuber zum Beispiel intensiv forscht, ist die Schule um Emmy Noether. Wie konnte es einen so großen Kreis von Schülerinnen und Schülern geben, die bei ihr lernen wollten, trotz eigener prekären Stellensituation und damit verbunden auch (formal) wenig Reputationsgewinn für ihre Schüler und Schülerinnen. Es kann eigentlich nur die Faszination der mathematischen Ideen gewesen sein! Das Bild der Mathematik als von Männern entwickelte und betriebene - also männliche - Disziplin ist verquickt mit der Vorstellung, was von uns als Mathematik eingeordnet wird, aber auch wem wir mathematische Fähigkeiten zuschreiben. (...)
Erschienen: 10.08.2017
Dauer: 57:59
Modellansatz 141
Arne Rick (@Couchsofa) war schon ein häufiger, aber ungenannter Gast im Modellansatz Podcast: Als DJ war er auf den Aufnahmen von der aktuellen und früheren Gulasch-Programmiernächten im Hintergrund zu hören. Außer für Musik hat Arne auch ein großes Faible für Mathematik und Informatik und befasst sich im Zuge seiner von Prof. Marcus Aberle betreuten Bachelorarbeit zum Bauingenieurwesen an der Hochschule Karlsruhe mit Bezierkurven für Stabwerke. Stabwerke sind Modelle für Strukturen in Bauwerken und eine Lösung für ein System von Stabwerken hilft im konstruktiven Bauingenieurwesen, die Aufbauten in ihren Bemessungen und Anforderungen auszulegen und erforderliche Eigenschaften festzulegen. Die Darstellung als Stabwerke ist im Sinne eines Fachwerks eng verknüpft mit dem Prinzip von Finite Elementen, da diese in gewissen Anwendungen als Stabwerke und umgekehrt interpretiert werden können. Weiterhin können Stabwerke mit Hilfe von finite Elementen innerhalb der Stäbe genauer bestimmt bzw. verfeinert werden. Die Betrachtung des Stabwerks beginnt mit der Struktur und den Einwirkungen: Hier ist spielt das Semiprobabilistische Teilsicherheitsbeiwerte-System eine besondere Rolle, da es die möglichen Einwirkungen auf die Bauteile und damit die Gesamtanalyse probabilistisch erfassbar macht. Man unterscheidet hier nicht mehr so stark zwischen dem Bauen im Bestand, wo viele Nebenbedingungen zwar bekannt, aber die Eigenschaften der verbleibenden Bestandteile unsicher sind, und dem Aufbau eines Neubaus, wo es jeweils für die Bauingenieure gilt, die Vorgaben aus der Architektur konstruktiv, berechnend, planend und organisatorisch unter Berücksichtigung des möglichen Zeit- und finanziellen Rahmens, verfügbarer Materialien, Technik, Mitarbeiter und Bauverfahren sicher umzusetzen. Speziell in der Betrachtung der Stabwerke können die Fälle der statistischen Über- und Unterbestimmung des Bauwerks auftreten, wo Überbestimmung grundsätzlich zu Verformungen führt, eine Unterbestimmung andererseits kein funktionsfähiges Bauwerk darstellt. Weiterhin ändert jede Anpassung von beispielsweise der Tragfähigkeit eines Bauteils auch gleich zur Änderung des gesamten Stabwerks, da ein stärkerer Stab oft auch mehr wiegt und sich eventuell auch weniger verformt. Außerdem ziehen in einem statisch überbestimmten System die steiferen Elemente die Lasten an. So ist es häufig, eher unintuitiv, von Vorteil Bauteile zu schwächen um eine Lastumlagerung zu erzwingen. Dies führt in der Auslegung oft zu einem iterativen Prozess. Die Darstellung eines Stabes oder Balkens ist dabei eine Reduzierung der Wirklichkeit auf ein lokal ein-dimensionales Problem, wobei die weiteren Einwirkungen aus der Umgebung durch Querschnittswerte abgebildet werden. Die Voute ist ein dabei oft auftretendes konstruktives Element in der baulichen Umsetzung eines Tragwerks, die in der Verbindung von Stäben eine biegesteife Ecke bewirkt und in vielen Gebäuden wie beispielsweise dem ZKM zu sehen sind. (...)
Erschienen: 27.07.2017
Dauer: 53:00
Modellansatz 140
Ein Gespräch mit Oliver Beige über dynamische Prozesse in der Mikroökonomik: Über Einfluss, Ideenpropagation und Nachbarschaftseffekte. Oliver Beige und Gudrun Thäter haben sich online über die große gemeinsame Schnittmenge im Musikgeschmack gefunden. Obwohl Oliver in Berlin lebt und Gudrun in Karlsruhe ist es schon vorgekommen, dass sie im gleichen Konzert waren ohne das rechtzeitig zu bemerken, weil sie sich persönlich noch nicht kannten. Im vergangenen Jahr fand Gudrun dann interessante Überlegungen zur aktuellen Anwendbarkeit der Ideen und Modelle von Malthus, die Oliver veröffentlicht hatte. Diese erwiesen sich als spannende Lektüre für die Studierenden der Modellbildungsvorlesung, die Gudrun gerade hielt. Damit war der Plan geboren, dass man sich nicht nur unbedingt einmal persönlich kennenlernen müsste, sondern bei nächster Gelegenheit auch für den Podcast einmal unterhalten sollte. Diese Gelegenheit bot sich im Juli 2017 nach einem Freiluftkonzert in der Kulturbrauerei in Berlin. Oliver ist Ökonom. Er hat 1993 in Karlsruhe sein Diplom in Wirtschaftsingenieurwesen erworben und sich anschließend in den Staaten umgesehen. Dort hat er 1997 einen Master of Business Administration (University of Illinois) abgeschlossen und sich schließlich im Rahmen seiner Promotion an der UC Berkeley mit der mathematischen Modellierung von Ideenpropagation und Entscheidungsprozessen in Netzwerken beschäftigt. Er hat dabei auch zwei Wellen von Innovation im Silicon Valley hautnah miterlebt. Was so einfach und grundlegend klingt ist tatsächlich eine sehr schwierig zu beantwortende Frage: Wie beeinflussen sich Mitglieder in einer Gruppe gegenseitig beim Finden von Entscheidungen? Während Soziologen gerne über gruppendynmische Prozesse diskutieren, arbeiten Ökonomen traditionell unter der vereinfachten Annahme, dass Entscheidungen als unabhängig voneinander getroffen werden - gestützt auf einer rein rationalen, isolierten Nutzenkalkulation. Erst seit Kurzem wird diese Annahme in der Ökonmie durch neue Modelle in Frage gestellt. Was jedoch modellhaft einen Zugang zum dynamischen Entscheidungsprozess in einer Gruppe verschaffen kann - in dem natürlich ganz viel Rückkopplung eingebaut werden muss - sind neuronale Netze - z.B. die Boltzmann-Maschine. Diese hatte Oliver in Karlsruhe kennen- und schätzen gelernt. Sie bilden ein stochastisches Feedback-Netzwerk, in dem man auch untersuchen kann, wie man zu einem Equilibrium kommen kann. Wie läuft denn so eine kollektive Entscheidung ab? Vorab hat jede/r in der Gruppe Präferenz - z.B. für einen bestimmten Film, den er oder sie gern in Begleitung anderer in der Gruppe sehen würde. Darüber wird gesprochen und schließlich teilt sich die Gruppe auf in Untergruppen, die im Kino den gleichen Film sehen. Im Gespräch werden die Präferenzen der anderen jeweils gewichtet in die eigene Entscheidung einfließen. Mathematisch wird das ausgedrückt in einer Nutzenfunktion, deren Wert maximiert wird. (...)
Erschienen: 13.07.2017
Dauer: 38:17
Modellansatz 139
Paul Darscheid gehört der KIT-Hochschulgruppe Engineers without borders an und arbeitet dort konkret in einer Projektgruppe mit, die im ländlichen Raum von Äthopien einen Brunnen bohrt. Um dafür die Nachhaltigkeit des Grundwasserzuflusses zu klären, suchte er den Kontakt zu Uwe Ehret vom Institut für Wasser und Gewässerentwicklung, Bereich Hydrologie. Die spannenden Themen dort fesselten ihn so sehr, dass schließlich auch seine Masterarbeit in Zusammenarbeit mit der Hydrologie entstand. Zum Spektrum der Fragen der Hydrologen gehören sehr viele unterschiedliche Themen. Man kann summarisch sagen: alles zum Thema Wasserkreislauf, was nicht die Meteorologen beantworten. Konkret geht es z.B. um Niederschlagsabfluss oder Hochwasservorhersage. Eine Frage, die dabei immer wieder auftaucht ist: Wo steckt die meiste Information in den Datensätzen oder den erstellten Modellen? Ein typischer Anwendungsfall schließt beispielsweise aus den Flußpegelstände von unterschiedlichen Flüssen im gleichen System, den Niederschlagmessungen, der Lufttemperatur, Schneehöhen, Bodenfeuchte und Bodenbeschaffenheit auf die Zielgröße - einen konkreten Flusspegelstand. Ein Zusammenhang aller Daten mit der Zielgröße ist klar, aber wie er konkret aussieht ist schwerer zu fassen. Informationsflüsse quantifizieren in diesem Kontext, welche Messreihen die meisten Informationen über die Zielgröße liefern. Daneben stellt sich auch die Frage: Kann ich einmal gewonnene Konzepte auf andere System übertragen? Kann ich mir dort sparen noch einmal sehr viel zu messen, also mit weniger Daten auskommen? Am Anfang steht dann die Frage: Was ist Information? Das Konzept für das sich Paul Darscheid entschieden hat ist die Shannon Entropie - ein Maß für Unsicherheit aufgrund der vorliegenden Streuung in den Daten. Tatsächlich besteht ein Zusammenhang zum physikalischen Begriff der Entropie. Die unterstellte Verteilung eines Datensatzes wird zur Grundlage auf der Größen wie Informationssicherheit und andere abgeleitet werden. Die Natur als Meßdaten führt auf eine diskrete Verteilung, die evtl. noch vergröbert wird durch Wählen von Stufen (bins) innerhalb derer der Unterschied als nicht relevant angesehen wird. Für eine Beobachtung stellt sich die Frage: Wieviel Information steckt in dieser zusätzlichen Messung? Für sehr wahrscheinliche Ereignisse ist es kaum zusätzliches Wissen, weil es mit vorherigen Vermutungen übereinstimmt. Für ein unwahrscheinliches Ereignis ist die zusätzlich gewonnene Information sehr groß. Ein Problem ist auch, dass die diskrete Verteilung aus beobachteten Daten gewonnen wird - d.h. man muss eine Schätzung der Verteilung vornehmen. Darauf aufbauend ist es wichtig zu wissen, wie mit Teilmengen des Datensatzes die geschätzte Verteilung approximiert werden kann. Die Unsicherheit hierbei kommt durch Streuung der Daten und durch den vorhandenen Ausschnitt der Realität, der in den Daten eingefangen wird. (...)
Erschienen: 06.07.2017
Dauer: 35:20
Modellansatz 138
Peer Kunstmann hat in Kiel Mathematik studiert und 1995 promoviert. In seiner Zeit an der Fakultät für Mathematik in Karlsruhe hat er sich 2002 habilitiert. Er arbeitet als Akademischer Oberrat dauerhaft in der Arbeitsgruppe Angewandte Analysis an unserer Fakultät. Gudrun hat das Gespräch über ein für beide interessantes Thema - das Stokesproblem - gesucht, weil beide schon über längere Zeit mit unterschiedlichen Methoden zu dieser Gleichung forschen. Das Stokesproblem ist der lineare Anteil der Navier-Stokes Gleichungen, dem klassischen Modell für Strömungen. Sie haben eine gewisse Faszination, da sie einfach genug erscheinen, um sie in ihrer Struktur sehr eingehend verstehen zu können, zeigen aber auch immer wieder, dass man sie nicht unterschätzen darf in ihrer Komplexität. Peers Interesse wurde zu Beginn seiner Zeit in Karlsruhe durch Matthias Hieber geweckt, der inzwischen an der TU Darmstadt tätig ist. Es zeigte sich seit damals als sehr aktives Forschungsgebiet, weshalb er auch immer wieder neu zu diesen Fragestellungen zurückgekehrt ist. Mit den klassischen Randbedingungen (konkret, wenn auf dem Rand vorgeschrieben wird, dass die Lösung dort verschwindet = homogene Dirichletbedingung) ist das Stokesproblem auffassbar als Laplaceoperator, der auf Räumen mit divergenzfreien Vektorfeldern agiert. Der Laplaceoperator ist sehr gut verstanden und die Einschränkung auf den abgeschlossenen Unterraum der Vektorfelder mit der Eigenschaft, dass ihre Divergenz den Wert 0 ergibt, lässt sich mit einer Orthogonalprojektion - der Helmholtzprojektion - beschreiben. Im Hilbertraumfall, d.h. wenn die Räume auf einer L^2-Struktur basieren und der Raum deshalb auch ein Skalarprodukt hat, weiß man, dass diese Projektion immer existiert und gute Eigenschaften hat. Für andere Räume ohne diese Struktur (z.B. L^q-basiert für q nicht 2) hängt die Antwort auf die Frage, für welche q die Projektion existiert, von der Geometrie des Gebietes ab. Für beschränkte Gebiete geht vor allem die Glattheit des Randes ein. Das spiegelt sich auch auf der Seite des Laplaceproblems, wo die Regularität im Innern des Gebietes relativ elementar gezeigt werden kann, aber in der Nähe des Randes und auf dem Rand gehen in die Argumente direkt die Regularität des Randes ein. Mathematisch wird das Gebiet dabei mit Kreisen überdeckt und mit Hilfe einer sogenannten Zerlegung der Eins anschließend die Lösung für das ganze Gebiet zusammengesetzt. Für die Kreise, die ganz im Innern des Gebietes liegen, wird die Lösung auf den ganzen Raum mit dem Wert 0 fortgesetzt, weil die Behandlung des ganzen Raumes sehr einfach ist. Für Kreise am Rand, wird der Rand lokal glatt gebogen zu einer geraden Linie und (ebenfalls nach Fortsetzung mit 0) ein Halbraum-Problem gelöst. Natürlich liegt es in der Glattheit des Randes, ob das "gerade biegen" nur kleine Fehlerterme erzeugt, die sich "verstecken" lassen oder (...)
Erschienen: 29.06.2017
Dauer: 1:14:01
Modellansatz 137
Zur GPN17 des Entropia e.V. im ZKM - Zentrum für Kunst und Medien und der Hochschule für Gestaltung (HfG) hat Florian Magin (@0x464d) einen Vortrag zu Automated Binary Analysis gehalten und war bereit uns auch im Podcast zu erzählen, wie er mit mathematischen Verfahren Software auf Schwachstellen analysiert. Florian studiert Informatik an der TU Darmstadt und engagiert sich im CTF-Team Wizards of Dos seiner Universität. Sein Interesse an der Computersicherheit hat ihn auch zur Firma ERNW Research geführt, wo er als Werkstudent in der IT-Sicherheitsforschung tätig ist. Wie wichtig die Suche nach Schwachstellen und deren Absicherung ist, wurde kürzlich bei der weltweiten Verbreitung der WannaCry/WannaCrypt-Schadsoftware bewusst, die die Aufmerksamkeit von einer anderen und lukrativeren Schadsoftware Adylkuzz ablenkte. Unter der Binary Analysis versteht man die quellenlose Analyse eines Programms alleine auf den Daten im Maschinencode auf einem Speichermedium. Ein erster Schritt der Analysis ist die Wandlung der Maschinensprache in Mnemonic durch einen Disassembler. Dieser Programmcode kann sich deutlich von einer ursprünglichen Quelltext des Programms unterscheiden, da der Maschinencode erzeugende Compiler eine Vielzahl von Optimierungsmöglichkeiten umsetzt, die den Ablauf und das Abbild des Programms im Maschinencode deutlich verändern können. Eine Herausforderung stellt sich inzwischen in der Größe der Programme: Während es inzwischen zahlreiche Wettbewerbe gibt, Programme unter extremen Platzbeschränkungen umzusetzen, wächst die Größe klassischer Programme stark an. Ein Maschinensprache-Befehl kann in einem Byte kodiert sein, wie früher etwa hexadezimal C9 auf dem Z80 eine Unterroutine beendet, so können in 4 Bytes Operationen wie eine Addition samt Parameter definiert sein. Die automatisierte Binäranalyse hat besonders durch die Darpa Cyber Grand Challenge im Jahr 2016 großes Interesse geweckt, wo die Teams autonome Software entwickeln sollten, die für sich alleine den CTF-Wettbewerb bestreitet. Eine Anwendung solcher automatisierten Programme ist die schnelle Überprüfung von neuer Software auf bekannte oder typische Schwachstellen oder Implementierungsfehler. Eine sehr allgemeine Methode zur Detektion von Sicherheitslücken ist das Fuzzing: Das Open Source Tool AFL modifiziert beispielsweise korrekte Eingabewerte und prüft bei welcher Modifikation das Programm vom zuvor aufgezeichneten Programmablauf abweicht und damit einen Hinweis auf eine mögliche Schwachstelle gibt. Es kann dabei idealerweise auf dem Sourcecode operieren oder auch das Programm in einem Emulator wie QEMU ausführen und analysieren. (...)
Erschienen: 22.06.2017
Dauer: 53:06
Weitere Informationen zur Episode "Automated Binary Analysis"
Modellansatz 136
Stephanie Wollherr hat ihr Mathestudium am Karlsruher Institut für Technologie (KIT) absolviert und in unserer Arbeitsgruppe die Abschlussarbeit im Kontext von numerischen Methoden für Wellengleichungen geschrieben. Damals hat Gudrun Thäter sie aus dem Podcastgespräch verabschiedet mit dem Wunsch, in einigen Jahren zu hören, was sie in der Zwischenzeit mathematisches tut. Was wie eine Floskel klingen mag, hat nun zum ersten Mal tatsächlich stattgefunden - ein Gespräch zur Arbeit von Stephanie in der Seismologie an der Ludwig-Maximillians-Universität (LMU) in München. In der Geophysik an der LMU wurde in den letzten 10 Jahren eine Software zur Wellenausbreitung entwickelt und benutzt, die immer weiter um simulierbare Phänomene ergänzt wird. Stephanie arbeitet an Dynamic Rupture Problemen - also der Simulation der Bruchdynamik als Quelle von Erdbeben. Hier geht es vor allem darum, weitere physikalische Eigenschaften wie z.B. Plastizität (bisher wurde meist vorausgesetzt, dass sich das Gestein elastisch verformt) und neue Reibungsgesetze zu implementieren und in Simulationen auf ihre Wirkung zu testen. Als Basis der Simulationen stehen zum einen Beobachtungen von Erdbeben aus der Vergangenheit zur Verfügung, zum anderen versucht man auch durch Laborexperimente, die aber leider ganz andere Größenskalen als die Realität haben, mögliche Eigenschaften der Bruchdynamik miteinzubeziehen. Die Daten der Seimsologischen Netzwerke sind zum Teil sogar öffentlich zugänglich. Im Bereich Dynamic Rupture Simulationen kann man eine gewisse Konzentration an Forschungskompetenz in Kalifornien feststellen, weil dort die möglicherweise katastrophalen Auswirkungen von zu erwartenden Erdbeben recht gegenwärtig sind. Das South California Earthquake Center unterstützt zum Beispiel unter anderem Softwares, die diese Art von Problemen simulieren, indem sie synthetische Testprobleme zur Verfügung stellen, die man benutzen kann, um die Ergebnisse seiner Software mit anderen zu vergleichen. Prinzipiell sind der Simulation von Bruchzonen bei Erdbeben gewissen Grenzen mit traditionellen Methoden gesetzt, da die Stetigkeit verloren geht. Der momentan gewählte Ausweg ist, im vornherein festzulegen, wo die Bruchzone verläuft, zutreffende Reibungsgesetze als Randbedingung zu setzen und mit Discontinuous Galerkin Methoden numerisch zu lösen. Diese unstetig angesetzten Verfahren eignen sich hervorragend, weil sie zwischen den Elementen Sprünge zulassen. Im Moment liegt der Fokus darauf, schon stattgefundene Erbeben zu simulieren. Leider sind auch hier die Informationen stets unvollständig: zum Beispiel können schon vorhandenen Bruchzonen unterhalb der Oberfläche unentdeckt bleiben und auch das regionale Spannungsfeld ist generell nicht sehr gut bestimmt. (...)
Erschienen: 15.06.2017
Dauer: 30:22
Modellansatz 135
Zur GPN17 des Entropia e.V. im ZKM - Zentrum für Kunst und Medien und der Hochschule für Gestaltung (HfG) hat Manuel Lösch einen Vortrag zu Smart Meter Gateways gehalten. Manuel promoviert am FZI Forschungszentrum Informatik in Karlsruhe zu intelligenten Stromnetzen und der Flexibilisierung von elektrischen Lasten, um diese netzdienlich zur Verfügung zu stellen. Die Einführung des Smart Meter Gateway wurde mit dem Gesetz zur Digitalisierung der Energiewende Ende 2016 in Deutschland beschlossen. Dabei muss man Smart Meter Gateways deutlich von den so genannten Smart Metern oder intelligenten Zählern unterscheiden, die im Fall der elektrischen Energie den Ferraris-Zähler ablösen werden und den Stromverbrauch digital aufzeichnen und verarbeiten können. Die Kombination von intelligenten Zählern und einem Smart Meter Gateway resultiert in einem Intelligenten Messsystem, das Informationen auch an externe Entitäten wie Energielieferanten oder Netzbetreiber versenden kann. Viele Smart Meter sind mit einer Infrarot-Schnittstelle via Smart Message Language beispielsweise über das Volkszähler-Projekt auslesbar. Neuere Geräte verfügen über eine standardisierte M-Bus-Schnittstelle zur digitalen Datenübertragung zwischen Zähler und z.B. dem Smart Meter Gateway. Grundsätzlich soll die Standardisierung den Kunden das Auslesen erleichtern, damit sie einen besseren Einblick in ihr Energienutzungsverhalten erhalten und Einsparmöglichkeiten erkennen können. Gesetzlich ist sogar vorgeschrieben, dass die Nutzer eines intelligenten Zählers neben dem aktuellen Verbrauchswert sogar einen Einblick bis zwei Jahre in die Vergangenheit erhalten müssen. Bis zum Jahre 2032 sollen nach dem Gesetz zur Digitalisierung der Energiewende alle Haushalte in Deutschland mit mindestens intelligenten Zählern ausgestattet sein, und je nach Haushaltsgröße auch mit Smart Meter Gateways, die die Kommunikation nach extern ermöglichen. Die Basis des Gesetzes ist das dritte Energiepaket der EU von 2009, die den Mitgliedstaaten vorgab eine Smart-Metering-Infrastruktur einzurichten, wenn eine Kosten-Nutzen-Analyse dieses für sinnvoll erachtet. Daher wurde 2013 eine Kosten-Nutzen-Analyse durchgeführt mit dem Ergebnis, dass ein Teil-Rollout für Deutschland sinnvoll ist. So sollen zwar alle Nutzer intelligente Zähler erhalten, jedoch sind die Gateways nur für größere, sog. netzrelevante, Nutzer vorgeschrieben. Die betrachtete Nutzungsgröße kann sich mit größerer Elektromobilität jedoch stark ändern: Mit einem Elektroauto kann der Verbrauch eines kleinen Haushalts sich vervielfachen und auch die dezentrale Stromerzeugung beispielsweise durch Photovoltaik wird einbezogen. Mit der Energiewende hat sich die Belastung der Stromnetze stark geändert. Die bisher auf zentrale Versorgung ausgelegte hierarchische Netztopologie kann durch dezentrale Stromerzeugung stark belastet werden. (...)
Erschienen: 08.06.2017
Dauer: 1:24:08
