Kategorie: ChaosSeminar

In dem Talk geht es darum aufzuzeigen wie auf einem Desktop PC, durch ein verbundenes Android das verschiedene physische Geräte vortäuschen kann, unerwünschte Aktionen oder Software ausgeführt werden kann.

Wenn man “Fliegende Augen” hoert, denkt man heute nicht an neues Spiel unter Medizinstudenten sondern man denkt an Drohnen mit Kamerasystemen an Bord. Kameras sind heute in Autos, in Telefonen, in (optischen) Maeusen, in Tollcollect-Bruecken in 70-Euro-Spielzeughubschraubern. Nicht zu vergessen sind die Kameras, die in der Industrie die Produktion ueberwachen und steuern helfen. Kameraelektronik ist also ein allgegenwaertiger Teil unseres Lebens, und darum geht es in diesem Vortrag. Kameras als technischer Nachbau eines Auges zusaetzlich mit Beleuchtung, Auswerteeinheit und Schnittstellen bilden dann im Zusammenwirken Kamerasysteme. Insbesondere werden Auge und Kamera verglichen, Bildverarbeitung als die zugehoerige Softwarediziplin vorgestellt und behandelt, Anekdoten aus ueber vierzig Jahren Kamerasystementwicklung zum Besten gegeben und es wird versucht ein Ausblick zu geben, was die Zukunft hier bringen koennte.

Die Mathematik bietet viel praktisches aber, zumindest je nach Sichtweise auch vergnügliches bis unglaubliches. Der Vortrag stellt zunächst Fourierreihen vor, weil die vor ein paar Monaten im Chaosseminar zu sehen waren und es da noch viel zu sagen gab. Als Abfallprodukt lösen wir das Basler Problem. Das führt zu einem sehr mathematischen Thema der Riemannschen Zetafunktion. Aus der Abteilung Magie zeigen wir schliesslich, dass 1+2+3+4+…= -1/12.

Eine Einführung in die Kategorientheorie mit Beispielen in Haskell.

Eine subjektive Zeitreise und berblick über die Geschichte der Webentwicklung und verschiedene Web-Technologien, inklusive einer kleinen Live Demonstration wie Web-Anwendungen entwickelt werden können, ohne dabei Bluthochdruck zu bekommen. =)

Software schreiben ist schwierig. Ein Tool, das immer wieder kurze Zeit auf kommt, um danach wieder zu verschwinden, ist die (automatische, statische) Verifikation von Software. Ziel ist, mit einem Algorithmus fest zu stellen, ob ein Programm “korrekt” funktioniert. In diesem Vortrag geht es hauptsächlich darum klar zu machen, warum Verifikation sich nicht wirklich durchgesetzt hat, was denn “korrekt” heißen soll, wofür man Verifikation sonst noch einsetzen kann, und letztlich was man aus das ganze lernen kann ohne es anwenden zu müssen.

oder — wie Marcus im Labor Mikrocontroller ge-blitz-dingst hat —

Alle elektrisch betriebenen Geräte generieren mehr oder weniger stark ausgeprägte elektromagnetische Felder, lassen sich aber auch von Feldern ab einer gewissen Intensität selbst beeinflussen. Dies kann eventuell gewollt sein (z.B. bei drahtloser Kommunikation), aber natürlich auch ungewollte Effekte wie Fehlfunktionen oder den kompletten Ausfall von Geräten zur Folge haben. Richtlinien zur elektromagnetischen Verträglichkeit auf nationaler sowie internationaler Ebene definieren, welche Intensität von elektronischen Geräten ohne Fehlfunktion toleriert werden müssen.

Der Vortrag startet mit einen kurzen Einblick in die Grundlagen der Elektrotechnik, die nötig sind um die Entstehung und die Auswirkungen von elektromagnetischen Feldern zu veranschaulichen. Wichtige Themen in dem Zusammenhang sind der Übergang von idealen zu realen Bauteilen bei Steigerung der Frequenz, die Auswirkungen der Manipulation von räumlichen Dimensionen und wechselseitige Beeinflussungsmöglichkeiten - (unbewusste) Kopplungen. Die verschiedenen Aspekte werden durch bekannte Beispiele aus der realen Welt verdeutlicht, z.B. warum das Kabel der USB-Maus nicht zum Anschließen einer USB-Festplatte geeignet ist.

Zu Beginn des Seminars wird es ein kurzes Update zur Anschaffung neuer Hardware für unserer “dontpanic” geben.