Lehr-Moodle der Universität Duisburg-Essen

Einschreibeschlüssel: tulsose

Zur automatischen Verifikation und Validierung von Programmen und Systemen benötigt man Verfahren, die bei Eingabe eines Programms und einer zugehörigen Spezifikation entscheiden, ob das Programm diese Spezifikation erfüllt.

Im Allgemeinen ist dieses Problem unentscheidbar, es gibt jedoch viele sicherheitskritische Programme, die man dennoch gerne maschinell analysieren und verifizieren möchte. Auch sie können analysiert werden, wenn man nicht-vollständige Verfahren zulässt. Man verlangt, dass diese Analyseverfahren niemals ein fehlerhaftes Programm als korrekt ansehen, es ist aber zulässig, korrekte Programme abzulehnen (einseitiger Irrtum). Auf diese Weise kann immer noch eine große Menge von Programmen analysiert und ihre Korrektheit verifiziert werden. Ein anderer wichtiger Anwendungsbereich ist die Programmoptimierung im Compilerbau.

In der Vorlesung werden insbesondere folgende Themen behandelt:

• Datenflussanalyse (Fixpunkttheorie, Monotone Frameworks, Worklist-Algorithmus, Anwendungsbeispiele: Compilerbau, Java Bytecode Verifier)
• Grundlagen der abstrakten Interpretation (Galois-Verbindungen, Sichere Approximation von Funktionen, Abstraktionsverfeinerung)

Sehr geehrte Studierende des Bachelorstudiengangs Erziehungswissenschaft,
in diesem Teilmodul werden Sie Techniken zum Lesen, Schreiben, Zitieren und Präsentieren erlernen. Während Ihres Studiums werden Sie zahlreiche Hausarbeiten für verschiedene Module verfassen müssen, und dieses Seminar unterstützt Sie dabei, die entsprechenden Methoden zu erlernen. Die Schlüsselbegriffe sind Lesen, Zitieren, Schreiben und Präsentieren. Sie werden die Bedeutung wissenschaftlicher Arbeit, deren Struktur sowie die Recherche nach wissenschaftlichen Quellen, die Sie für Ihre Aufgaben benötigen, kennenlernen.
Die Studierenden werden im Seminar viel tun, aber Sie müssen auch außerhalb des Seminars viele Texte lesen.
Ich wünsche Ihnen alles Gute für den Beginn Ihres Studiums.

Herzliche Grüße,

 Bita Behravan

Im Rahmen der Veranstaltung "Moderne Energiesysteme" werden ausgewählte (moderne) Energiesysteme stofflich, energetisch und wirtschaftlich bilanziert.

Über die Darstellung der Funktionsweise wichtiger Prozesse und energiewirtschaftlicher Zusammenhänge werden die erforderlichen, aus der Vorlesung Energietechnik bereits bekannten Methoden noch einmal kurz vorgestellt, so dass man anhand praxisnaher Beispiele moderner Energiesysteme zu eigenen qualitativen und quantitativen Aussagen kommen kann. Die Vorlesung strebt das vertiefte Verständnis wichtiger komplexer Systeme der Energietechnik unter technischen, ökonomischen und ökologischen Gesichtspunkten an.

Es werden u.a. moderne Konzepte fossil gefeuerter Kraftwerke (moderne Steinkohle- und GuD-Anlagen) und von Blockheizkraftwerken zur dezentralen Strom- und Wärmeversorgung (KWK) vorgestellt und bilanziert. Des Weiteren gibt es Kapitel zum Organic-Rankine-Cycle (ORC) und der Brennstoffzelle.  

Das Thema Kernenergie soll bei dieser umstrittenen Technologie ihrer wichtigen Eigenschaft der regelbaren Stromproduktion ohne CO2-Emissionen Rechnung tragen und internationale Entwicklungen berücksichtigen.

Die Wärme- bzw. Kältebereitstellung (insbesondere mit Wärmepumpen und Kompressionskältemaschinen) und die Wärmeversorgung mittels Wärmenetzen runden die betrachteten (Energiewende-)Technologien ab.

Technische Innovationen versprechen Fortschritt, Teilhabe und Effizienz und erzeugen und verstärken zugleich oft soziale Ungleichheiten. Im Seminar untersuchen wir aus soziologischer Perspektive, wie Digitalisierung, Plattformen, Algorithmen und KI mit Fragen von Klasse, Geschlecht, Migration, Bildung, Staat und Arbeit zusammenhängen. Anhand aktueller Debatten und empirischer Beispiele diskutieren wir, wer von technischen Entwicklungen profitiert, wer ausgeschlossen wird und wie Technik gesellschaftlich gestaltet werden kann. Das Seminar vertieft zentrale Grundbegriffe der Soziologie in einem hochaktuellen Themenfeld und lädt dazu ein, die digitale Gegenwart kritisch zu analysieren.