UnivIS
Information system of Friedrich-Alexander-University Erlangen-Nuremberg © Config eG 
FAU Logo
  Collection/class schedule    module collection Home  |  Legal Matters  |  Contact  |  Help    
search:      semester:   
 
 Layout
 
compact

short

printable version

 
 
class schedule

 
 
 Extras
 
tag all

untag all

 
 
 Also in UnivIS
 
lecture directory

lectures by institutions

 
 
course list >> Technische Fakultät (Tech) >> Computational Engineering (CE) >> Bachelorstudiengang >> Lehrveranstaltungsverzeichnis (CE-BA) >>

Engineering - Optional Modules

 

Lasers and photonics, practical lab course [PR Pho 2]

Lecturers:
Jasper Podschus, Max Köppel, Bernhard Schmauss
Details:
Praktikum, 2 cred.h, certificate, ECTS: 2,5, nur Fachstudium
Fields of study:
WF CE-BA-TW ab 4
Prerequisites / Organisational information:
Voraussetzung: Photonik 1 + Photonik 2, kann parallel besucht werden.

Jeder Student erstellt für genau einen vorher bekannt gegebenen Versuch eine schriftlich ausgearbeitete ausführliche Versuchsdokumentation.

ACHTUNG: Anmeldung ab 28. März mit StudOn (Zentrale Seminar- und Praktikaanmeldung des Departments EEI!)

Besuch der Vorbesprechung mit Sicherheitsbelehrung obligatorisch. Der Termin findet digital statt.
Zugangsdaten und weitere aktuelle Informationen werden über den
Studon-Kurs bekannt gegeben.

Aktueller Informationen für das Sommersemester 2022

Contents:
Versuchsthemen
  • Polarisation - Doppelbrechung - Jones-Matrizen - lambda/4-Plättchen

  • Zeitliche Kohärenz - Michelson-Interferometer - Linienbreiten

  • Räumliche Kohärenz - Beugung - Doppelspalt

  • Leistungs-Laserdiode - Kennlinie - Wellenlängenabstimmung

  • Lichtwellenmesstechnik - Wavemeter - OSA - Laserdioden-Parameter

  • EDFA - Erbium-dotierter Faserverstärker - Faser-Laser

  • Nd:YAG-Laser - Kennlinien - Resonator - g-Parameter - Stabilität

  • Dynamik im Laser - Q-Switch - Spiking - Sättigbarer Absorber

Recommended literature:
Träger, F. (Ed.): Handbook of Lasers and Optics, Springer Verlag, Berlin 2007.
Eichler/Eichler: Laser. Springer Verlag, Berlin 2006.
Reider, G.A.: Photonik. Springer Verlag, Berlin 2003.
Bergmann, Schäfer: Lehrbuch der Experimentalphysik, Bd.3: Optik. DeGruyter 1993.
Keywords:
Laser, Photonik, Glasfaser, Praktikum, Licht, Optik

 
 
Mon12:30 - 14:00n.V.  Podschus, J.
Assistenten
 
Gemeinsame wochenweise Versuchsbesprechung für alle.
 
 
Tue14:00 - 17:00n.V.  Assistenten 
Achtung: Raum 05.218 (Photonik Praktikum)
 
 
Wed9:00 - 12:00n.V.  Assistenten 
Achtung: Raum 05.218 (Photonik Praktikum)
 
 
Wed14:00 - 17:00n.V.  Assistenten 
Achtung: Raum 05.218 (Photonik Praktikum)
 

Exercises in Computational Optics CE & MAOT

Lecturer:
Phillip Rall
Details:
Übung, 2 cred.h, graded certificate, nur Fachstudium, für FAU Scientia Gaststudierende zugelassen, Room: 00.133-128 (Animationslabor)
Fields of study:
WF CE-BA-TW ab 4

 
 
Tue12:15 - 13:45Übung 3 / 01.252-128  Rall, Ph. 
Room: 00.133-128 (Animationslabor)
 
 
Wed12:15 - 13:45Übung 3 / 01.252-128  Rall, Ph. 
Room: 00.133-128 (Animationslabor)
 

Artificial Intelligence II [AI II]

Lecturer:
Michael Kohlhase
Details:
Vorlesung, 4 cred.h, für FAU Scientia Gaststudierende zugelassen, Artificial Intelligence II will take place this semester, probably online. For details, see the announcements at https://fsi.cs.fau.de/forum/149-Kuenstliche-Intelligenz-II
Dates:
Tue, 16:15 - 17:45, H8
Thu, 12:15 - 13:45, H8
Fields of study:
WF CE-BA-TW ab 4
Contents:
Artificial Intelligence II will be hybrid (presence/online) this semester. Details will be announced on StudOn

Dieser Kurs beschäftigt sich mit den Grundlagen der Künstlichen Intelligenz (KI), insbesondere mit Techniken des Schliessens unter Unsicherheit, des maschinellen Lernens und dem Sprachverstehen.
Der Kurs baut auf der Vorlesung Künstliche Intelligenz I vom Wintersemester auf und führt diese weiter.

Lernziele und Kompetenzen
Fach- Lern- bzw. Methodenkompetenz

  • Wissen: Die Studierenden lernen grundlegende Repräsentationsformalismen und Algorithmen der Künstlichen Intelligenz kennen.

  • Anwenden: Die Konzepte werden an Beispielen aus der realen Welt angewandt (Übungsaufgaben).

  • Analyse: Die Studierenden lernen über die Modellierung in der Maschine menschliche Intelligenzleistungen besser einzuschätzen.

Sozialkompetenz

  • Die Studierenden arbeiten in Kleingruppen zusammen um kleine Projekte zu bewältigen

Recommended literature:
Die Vor­lesung folgt weit­ge­hend dem Buch Stu­art Rus­sell und Peter Norvig: Ar­ti­fi­cial In­tel­li­gence: A Mod­ern Ap­proach. Pren­tice Hall, 3rd edi­tion, 2009.
Deutsche Aus­gabe: Stu­art Rus­sell und Peter Norvig: Künstliche In­tel­li­genz: Ein Mod­ern­er Ansatz. Pear­son-Studi­um, 2004 (Überset­zung der 2.Auflage).
ISBN: 978-3-8273-7089-1

 

Übungen zu Artificial Intelligence II [UeAI II]

Lecturer:
Florian Rabe
Details:
Übung, 2 cred.h, für FAU Scientia Gaststudierende zugelassen
Fields of study:
WF CE-BA-TW ab 4

 
 
Mon8:15 - 9:45Übung 3 / 01.252-128  N.N. 
 
 
Wed12:15 - 13:4501.151-128  Mehlich, D. 
on May 11, only online at https://fau.zoom.us/j/97169402146
 
 
Wed14:15 - 15:45n.V.  Rabe, F. 
Zoom: https://fau.zoom.us/j/97169402146
 
 
Wed16:15 - 17:45Übung 3 / 01.252-128  N.N. 
 
 
Thu14:15 - 15:4501.021  N.N. 
 

Cyber-Physical Systems [CPS]

Lecturer:
Torsten Klie
Details:
Vorlesung, 2 cred.h, ECTS: 2,5, für FAU Scientia Gaststudierende zugelassen
Dates:
Fri, 10:15 - 11:45, 02.133-113
Fields of study:
WF CE-BA-TW ab 4

 

Übung zu Cyber-Physical Systems [UE-CPS]

Lecturer:
Torsten Klie
Details:
Übung, 2 cred.h, ECTS: 2,5, für FAU Scientia Gaststudierende zugelassen
Dates:
Tue, 16:15 - 17:45, 02.134-113
Fields of study:
WF CE-BA-TW ab 5

 

Deep Learning for Beginners (VHB-Kurs) [DL4B]

Lecturers:
Aline Sindel, Andreas Maier
Details:
Vorlesung, 2 cred.h, ECTS: 2,5, für FAU Scientia Gaststudierende zugelassen
Dates:
to be determined
Fields of study:
WF CE-BA-TW ab 3
Prerequisites / Organisational information:
Requirements: mathematics for engineering, basic knowledge of python
Organization: This is an online course of Virtuelle Hochschule Bayern (VHB). Go to https://www.vhb.org to register to this course. FAU students register for the written exam via meinCampus.
Contents:
Neural networks have had an enormous impact on research in image and signal processing in recent years. In this course, you will learn all the basics about deep learning in order to understand how neural network systems are built. The course is addressed to students who are new to the field. In the beginning of the course, we introduce you to the topic with some applications of deep learning in the field of medical imaging, digital humanities and industry projects. Before we dive into the core elements of neural networks, there are two lecture units on the fundamentals of signal and image processing to teach you relevant parts of system theory such as convolutions, Fourier transform, and sampling theorem. In the next lecture units, you learn the basic blocks of neural networks, such as backpropagation, fully connected layers, convolutional layers, activation functions, loss functions, optimization, and regularization strategies. Then, we look into common practices for training and evaluating neural networks. The next lecture unit is focusing on common neural network architectures, such as LeNet, Alexnet, and VGG. It follows a lecture unit about unsupervised learning that contains the principles of autoencoders and generative adversarial networks. Lastly, we cover some applications of deep learning in segmentation and object detection. The accompanying programming exercises will provide a deeper understanding of the workings and architecture of neural networks, in which you will develop a basic neural network from scratch in pure Python without using deep learning frameworks, such as PyTorch or TensorFlow. At the end of the semester, there will be a written exam.

 

Digital Control [DIR]

Lecturer:
Andreas Michalka
Details:
Vorlesung, 2 cred.h
Dates:
Tue, 12:15 - 13:45, H9
Die Lehrveranstaltung ist als Präsenzveranstaltung geplant. Interessierte Teilnehmer melden sich bitte über StudOn an, dort werden wir Sie auch über etwaige Termin/Modus-Änderungen informieren.
Fields of study:
WF CE-BA-TW ab 4
Prerequisites / Organisational information:
Die Vorlesungen "Regelungstechnik A" und "Regelungstechnik B" oder "Einführung in die Regelungstechnik" werden vorausgesetzt.
Contents:
Es werden Aufbau und mathematische Beschreibung digitaler Regelkreise für LZI-Systeme sowie Verfahren zu deren Analyse und Synthese betrachtet:
  • quasikontinuierliche Beschreibung und Regelung der Strecke unter Berücksichtigung der DA- bzw. AD-Umsetzer

  • zeitdiskrete Beschreibung der Regelstrecke als Zustandsdifferenzengleichung oder z-Übertragungsfunktion

  • Analyse von Abtastsystemen, Stabilität, Steuer- und Beobachtbarkeit

  • Regelungssynthese: Steuerungsentwurf, Zustandsregelung und Beobachterentwurf, Störungen im Regelkreis, Berücksichtigung von Totzeiten, „Intersampling-Verhalten"

 

Übungen zu Digitale Regelung [DIR UE]

Lecturer:
Alexander Verhoolen
Details:
Übung, 2 cred.h
Dates:
Fri, 12:15 - 13:45, H9
Die Lehrveranstaltung ist als Präsenzveranstaltung geplant. Interessierte Teilnehmer melden sich bitte über StudOn an, dort werden wir Sie auch über etwaige Termin/Modus-Änderungen informieren.
Fields of study:
WF CE-BA-TW ab 4

 

Digitale Übertragung [DÜ]

Lecturers:
Robert Schober, Lukas Brand
Details:
Vorlesung, 3 cred.h, graded certificate, ECTS: 5
Dates:
Mon, 10:15 - 11:45, H6
Wed, 12:15 - 13:45, H5
Fields of study:
WF CE-BA-TW ab 6

 

Digitalen Übertragung - Übungen [DÜ-Üb]

Lecturer:
Lukas Brand
Details:
Übung, 1 cred.h, nur Fachstudium
Dates:
Bitte die Hinweise auf StudOn zu den Übungsterminen beachten!
Fields of study:
WF CE-BA-TW ab 6

 

Discrete Event Systems [DES]

Lecturer:
Thomas Moor
Details:
Vorlesung, 2 cred.h, nur Fachstudium, für FAU Scientia Gaststudierende zugelassen
Dates:
Wed, 14:15 - 15:45, 04.023
Die Lehrveranstaltung ist als Präsenzveranstaltung geplant. Interessierte Teilnehmer melden sich bitte über StudOn an, dort werden wir Sie auch über etwaige Termin/Modus-Änderungen informieren.
Fields of study:
WF CE-BA-TW ab 4
Prerequisites / Organisational information:
Findet nur im SS statt.
Erlaubte Hilfsmittel bei Prüfungen: Vorlesungsmitschrift + eigene Zusammenfassung.
Contents:
Formale Sprachen als Modelle ereignisdiskreter Dynamik
  • reguläre Ausdrücke, endliche Automaten, Nerode-Äquivalenz

  • natürliche Projektion, synchrone Komposition, Konfliktfreiheit.

Entwurf ereignisdiskreter Regler:

  • Sicherheitsspezifikation, Konfliktfreiheit

  • supremale steuerbare Teilsprache, Fixpunktiterationen

  • Normalität, Regelung unter eingeschränkter Beobachtbarkeit.

Anwendungsstudie:

  • Modellbildung eines einfachen technischen Prozesses

  • Spezifikation/Entwurf/Simulation am Anwendungsbeispiel

Recommended literature:
Cassandras, C.G., Lafortune, S.: Introduction to Discrete Event Systems, Kluwer, 1999

 

Übungen zu Ereignisdiskrete Systeme [ÜDES]

Lecturer:
Yiheng Tang
Details:
Übung, 2 cred.h
Dates:
Wed, 16:15 - 17:45, 04.023
Die Lehrveranstaltung ist als Präsenzveranstaltung geplant. Interessierte Teilnehmer melden sich bitte über StudOn an, dort werden wir Sie auch über etwaige Termin/Modus-Änderungen informieren.
Fields of study:
WF CE-BA-TW ab 4

 

Basics of Electrical Circuit Technology [GdS-V]

Lecturers:
Albert Heuberger, Florian Rittner
Details:
Vorlesung, 2 cred.h, ECTS: 5, nur Fachstudium, Anmeldung über MeinCampus
Dates:
Mon, 10:15 - 11:45, H7
Fields of study:
WF CE-BA-TW 4
Prerequisites / Organisational information:
Online-Angebot: Aufzeichnungen von Vorlesung und Übung stehen weiterhin zur Verfügung

GdS auf StudOn: http://www.studon.uni-erlangen.de/crs129571.html
Der Zugang zu StudOn ist an Mein Campus gekoppelt. Bitte daher über Mein Campus anmelden.

Die LV wird im SS’22 das letzte Mal angeboten. Die Prüfung dazu das letzte Mal im SS’24. Für weitere Informationen siehe Prüfungsordnung

Contents:
  • Elektrotechnische Grundlagen
  • Halbleiterbauelemente

  • Grundschaltungen der Digitaltechnik

  • Halbleiterspeicher

  • AD- und DA-Umsetzer

Keywords:
Elektrotechnische Grundlagen, Halbleiterbauelemente, Grundschaltungen der Digitaltechnik, Halbleiterspreicher

 

Exercises to Basics of Electrical Circuit Technology [GdS-Ü]

Lecturer:
Florian Rittner
Details:
Übung, 2 cred.h, nur Fachstudium
Dates:
Wed, 10:15 - 11:45, H8
Fields of study:
WF CE-BA-TW 4
Prerequisites / Organisational information:
Online-Angebot: Aufzeichnungen von Vorlesung und Übung stehen weiterhin zur Verfügung.

GdS auf StudOn: http://www.studon.uni-erlangen.de/crs129571.html
Der Zugang zu StudOn ist an Mein Campus gekoppelt. Bitte daher über Mein Campus anmelden.

Keywords:
Elektrotechnische Grundlagen, Halbleiterbauelemente, Grundschaltungen der Digitaltechnik, Halbleiterspreicher

 

Hardware-Software-Co-Design [HSCD]

Lecturer:
Jürgen Teich
Details:
Vorlesung, 2 cred.h, ECTS: 2,5, nur Fachstudium, auch für Computational Engineering
Dates:
Tue, 10:15 - 11:45, H4
Anmeldung via StudOn: https://www.studon.fau.de/crs3632783_join.html
Fields of study:
WF CE-BA-TW ab 3
Contents:
1. Überblick und Vergleich von Architekturen und Komponenten in Hardware/Software-Systemen.
2. Aufbau eines Compilers und Codeoptimierungsverfahren für Hardware und Software
3. Hardware/Software-Partitionierung (Partitionierung komplexer Systeme, Schätzungsverfahren, Performanzanalyse, Codegenerierung)
4. Interfacesynthese (Kommunikationsarten, Synchronisation, Synthese)
5. Verifikation und Cosimulation
6. Übungen, Demonstrationen mit rechnergestützten Entwurfswerkzeugen
Recommended literature:
Teich, J.; Haubelt, C.: Digitale Hardware/Software-Systeme: Synthese und Optimierung; Springer, Berlin; Auflage: 2. erw. Aufl. (2. März 2007)
Teich, J.: Hardware/Software-Architekturen. Ergänzendes Skriptum zur Vorlesung.
Gajski, D.: Specification and Design of Embedded Systems. Prentice Hall, Englewood Cliffs, NJ, 1994.

 

Erweiterte Übungen zu Hardware-Software-Co-Design [EU-HSCD]

Lecturers:
Tobias Hahn, Muhammad Sabih
Details:
Übung, 2 cred.h, ECTS: 2,5, für FAU Scientia Gaststudierende zugelassen
Dates:
verpflichtend, vor Ort an den Rechnerarbeitsplätzen des Lehrstuhls
Fields of study:
WF CE-BA-TW ab 3

 

Exercises for Hardware-Software-Co-Design [UE-HSCD]

Lecturers:
Tobias Hahn, Muhammad Sabih, Stefan Wildermann
Details:
Übung, 2 cred.h, ECTS: 2,5
Fields of study:
WF CE-BA-TW ab 3

 
 
Tue14:15 - 15:4502.112-128  Sabih, M. 
 
 
Wed16:15 - 17:4502.133-128  Hahn, T. 
 

Heterogene Rechnerarchitekturen Online [HETRON]

Lecturers:
Dietmar Fey, Philipp Holzinger
Details:
Vorlesung, für FAU Scientia Gaststudierende zugelassen, Online-Vorlesung
Dates:
Online-Vorlesung
Fields of study:
WF CE-BA-TW ab 4

 

High End Simulation in Practice [HESPA]

Lecturer:
Harald Köstler
Details:
Vorlesung, 2 cred.h, ECTS: 2,5, nur Fachstudium, für FAU Scientia Gaststudierende zugelassen
Dates:
Tue, 16:15 - 17:45, 00.152-113
Fields of study:
WF CE-BA-TW ab 5

 

Exercises to High End Simulation in Practice [ExHESP]

Lecturer:
Rafael Ravedutti Lucio Machado
Details:
Übung, 4 cred.h, ECTS: 5, für FAU Scientia Gaststudierende zugelassen
Fields of study:
WF CE-BA-TW ab 5

 
 
Thu16:15 - 17:450.01-142 CIP  Ravedutti Lucio Machado, R. 
Zoom Session
 

Information Visualization [InfoVIS]

Lecturer:
Roberto Grosso
Details:
Vorlesung, 2 cred.h, graded certificate, ECTS: 2,5, nur Fachstudium, für FAU Scientia Gaststudierende zugelassen, Please, check the StudOn course InfoVIS
Dates:
Thu, 14:15 - 15:45, 01.150-128
Fields of study:
WF CE-BA-TW ab 3
Contents:
In diesem Modul werden Visualisierungsmethoden für die folgenden Datentypen behandelt:
  • Multivariate Daten

  • Graphen und Netzwerke

  • Dynamische Graphen

  • Hierarchien und Bäume

  • Time-Series Daten

  • Textvisualisierung

Für mehr Information über Inhalt dieses Moduls besuche Sie den StudOn-Kurs InfoVIS (https://www.studon.fau.de/crs2722847.html).

Recommended literature:
  • Robert Spence: Information Visualization: Design for Interaction
  • Stuart K. Card, Jock Mackinlay, Ben Shneiderman: Readings in Information Visualization – Using Vision to Think

  • Benjamin B. Bederson, Ben Shneiderman: The Craft of Information Visualization – Readings and Reflections

  • Tamara Munzner: Visualization Analysis and Design: Principles, Techniques, and Practice

Keywords:
visualization, JavaScript, graphs, hierarchies, D3 programming, text visualization

 

Tutorials to Information Visualization [UEInfoVIS]

Lecturer:
Roberto Grosso
Details:
Übung, certificate, ECTS: 2,5, nur Fachstudium, für FAU Scientia Gaststudierende zugelassen
Fields of study:
WF CE-BA-TW ab 3

 
 
Wed12:15 - 13:4501.150-128  Grosso, R. 
 

Interactive Computer Graphics [InCG]

Lecturer:
Marc Stamminger
Details:
Vorlesung, 2 cred.h, ECTS: 2,5, nur Fachstudium, für FAU Scientia Gaststudierende zugelassen
Dates:
Tue, 16:15 - 17:45, 01.150-128
Fields of study:
WF CE-BA-TW ab 4
Prerequisites / Organisational information:
Die Vorlesung wird dieses Jahr wieder in Präsenz und auf Englisch stattfinden, Übungen werden ebenfalls in Präsenz oder virtuell (vis Teams) betreut (auf Deutsch und Englisch). Eine Anmeldung ist nicht erforderlich, kommen Sie einfach in die erste Vorlesung am 26. April für weitere Informationen.
Wir gehen in der Vorlesung davon aus, dass Sie die Vorlesung "Computergrahik" gehört haben. Kenntnisse in C++ sind für die Übungen von Vorteil.
Contents:
Die Vorlesung führt in die Methoden und Technologien der interaktiven Computergrafik ein.
Schwerpunkte sind dabei:
  • Funktionsweise von hardwareunterstützter 3D-Grafik

  • Möglichkeiten und neueste Features moderner Grafikkarten

  • Spezielle Beleuchtungseffekte wie Spiegelungen und Schatten

  • Level-Of-Detail-Verfahren zur Darstellung komplexer Objekte

Recommended literature:
  • Möller, Haines: "Real-Time Rendering"
  • The internet

 

Tutorials to Interactive Computer Graphics [TutInCG]

Lecturers:
Jonas Müller, Laura Fink
Details:
Übung, 2 cred.h, ECTS: 2,5, nur Fachstudium, für FAU Scientia Gaststudierende zugelassen
Dates:
Thu, 9:00 - 12:00, 0.01-142 CIP
Fields of study:
WF CE-BA-TW ab 4

 

Introduction to Machine Learning [IntroML]

Lecturer:
Vincent Christlein
Details:
Vorlesung, 2 cred.h, certificate, ECTS: 3,75, für FAU Scientia Gaststudierende zugelassen, Information regarding the online teaching will be added to the studon course
Dates:
Fri, 8:30 - 10:00, H7
Fields of study:
WF CE-BA-TW ab 5
Prerequisites / Organisational information:
https://www.studon.fau.de/crs4368398.html
Keywords:
Mustererkennung, Vorverarbeitung, Merkmalsextraktion, Klassifikation

 

Introduction to Machine Learning Exercises [IntroML-Ex]

Lecturer:
Paul Stöwer
Details:
Übung, 2 cred.h, certificate, ECTS: 1,25, für FAU Scientia Gaststudierende zugelassen
Fields of study:
WF CE-BA-TW ab 5
Keywords:
Mustererkennung, Vorverarbeitung, Merkmalsextraktion, Klassifkation

 
 
Mon8:15 - 9:4500.152-113  Stöwer, P. 
 
 
Tue10:15 - 11:4501.255-128  Stöwer, P. 
 
 
Wed8:15 - 9:4501.255-128  Stöwer, P. 
 
 
Thu10:15 - 11:4501.255-128  Stöwer, P. 
 

Introduction to Machine Learning Tutorial [IntroML-Tut]

Lecturer:
Paul Stöwer
Details:
Übung, 2 cred.h, für FAU Scientia Gaststudierende zugelassen
Fields of study:
WF CE-BA-TW ab 5
Keywords:
Mustererkennung, Vorverarbeitung, Merkmalsextraktion, Klassifkation

 
 
Tue12:15 - 13:450.151-115  Stöwer, P. 
 

Introduction to the Finite Element Method [IFEM (V)]

Lecturer:
Sebastian Pfaller
Details:
Vorlesung, 2 cred.h, für FAU Scientia Gaststudierende zugelassen
Dates:
Mon, 14:15 - 15:45, 04.023
Fields of study:
WF CE-BA-TW ab 5
Prerequisites / Organisational information:
Alle Informationen zum Ablauf der Lehrveranstaltung werden über den StudOn-Kurs kommuniziert. Deshalb bitten wir Sie, sich unter https://www.studon.fau.de/cat5282.html einzuschreiben. Der Beitritt ist nicht, wie sonst üblich, passwortgeschützt, sondern erfolgt nach Bestätigung durch den Dozenten. Dies geschieht mitunter nicht umgehend, aber rechtzeitig vor dem ersten Termin. Wir bitten um Ihr Verständnis.

 

Introduction to the Finite Element Method - Tutorial [IFEM (UE)]

Lecturer:
Sebastian Pfaller
Details:
Übung, 2 cred.h, für FAU Scientia Gaststudierende zugelassen
Dates:
Mon, 16:00 - 17:30, 04.023
Fields of study:
WF CE-BA-TW ab 5

 

Finite Element Methods [FE (V)]

Lecturer:
Kai Willner
Details:
Vorlesung, 2 cred.h, nur Fachstudium
Dates:
Tue, 14:15 - 15:45, H7
Fields of study:
WF CE-BA-TW ab 6
Prerequisites / Organisational information:
Alle Informationen zum Ablauf der Lehrveranstaltung werden über den StudOn-Kurs kommuniziert. Deshalb bitten wir Sie, sich unter https://www.studon.fau.de/cat5282.html einzuschreiben. Der Beitritt ist nicht, wie sonst üblich, passwortgeschützt, sondern erfolgt nach Bestätigung durch den Dozenten. Dies geschieht mitunter nicht umgehend, aber rechtzeitig vor dem ersten Termin. Wir bitten um Ihr Verständnis.

 

Tutorial Finite Element Method [FE (T)]

Lecturers:
Gunnar Possart, Michael Lengger
Details:
Tutorium, nur Fachstudium
Dates:
Thu, 14:15 - 15:45, H9
Fields of study:
WF CE-BA-TW ab 6

 

Exercises for Finite Element Methods [FE (UE)]

Lecturer:
Gunnar Possart
Details:
Übung, 2 cred.h, nur Fachstudium
Fields of study:
WF CE-BA-TW ab 6

 
 
Wed08:15 - 09:45H8  Lengger, M. 
 

Optical Communications Systems [OPÜT]

Lecturer:
Bernhard Schmauss
Details:
Vorlesung, 2 cred.h, graded certificate, ECTS: 5, nur Fachstudium
Dates:
Thu, 10:15 - 11:45, HF-Technik: SR 05.222
Fields of study:
WF CE-BA-TW 6
Prerequisites / Organisational information:
  • "Komponenten Optischer Kommunikationssysteme" oder "Photonik 1" empfohlen, aber nicht vorausgesetzt.
Contents:
Kommerzielle Optische Kommunikationssysteme erreichen pro Faser Übertragungskapazitäten von mehreren Tbit/s. Im Labor wurden mehr als 100Tbit/s nachgewiesen. Die Realisierung derartiger Systeme setzt die Beherrschung verschiedenster Techniken der optischen Übertragungstechnik voraus. In der Vorlesung werden Techniken des Zeitbereichs - (TDM) und Wellenlängenmultiplex (WDM), aber besonders auch der Auslegung der Übertragungsstrecke (Link Design) auf der Basis entsprechender physikalischer und signaltheoretischer Grundlagen behandelt und vertieft. Dabei werden Verfahren besprochen, die sicherstellen, dass sowohl die Signalverzerrungen durch lineare und nichtlineare Fasereffekte als auch die Akkumulation des Verstärkerrauschens begrenzt bleiben. Es wird ausführlich die Systemoptimierung hinsichtlich des optischen Signal-Rausch-Verhältnisses (OSNR) diskutiert sowie auf Techniken des Dispersions- und Nichtlinearitätsmanagements (z.B. Solitonenübertragung) eingegangen. Hierbei wird dem Themenkomplex einer optimalen Streckenauslegung besonders eingehend behandelt. In der Folge werden verschiedene, gebräuchliche Modulationsverfahren einschließlich kohärenter Übertragungsverfahren behandelt, die in neueren Systemen eingesetzt und in experimentellen Systemen getestet werden. Eine Besprechung optischer Verfahren zur Signalregeneration bildet die Brücke zu aktuellen eigenen Forschungsarbeiten.

Die vermittelten Grundlagen werden in der Übung zur Vorlesung durch praxisnahe und anschauliche Simulationsbeispiele vertieft.

Recommended literature:
Agrawal, G.P.: Fiber-Optic Communication Systems, John Wiley & Sons, 1997
Agrawal, G.P.: Nonlinear Fiber Optics, John Wiley & Sons, 3. Auflage, 2001
Kaminow, I, Koch, T.: Optical Fiber Telecommunications IVA, Academic Press, 2002
Skriptum zur Vorlesung
Kaminow, I, Li, T., Willner,A.: Optical Fiber Telecommunications VA, Academic Press, 2008
Keywords:
Optik, Photonik, Glasfaser, Kommunikation, Datenübertragung

 

Optische Übertragungstechnik Übung [OPÜT Ü]

Lecturers:
Benedikt Beck, Esther Renner
Details:
Übung, 2 cred.h, nur Fachstudium, für FAU Scientia Gaststudierende zugelassen
Dates:
Tue, 12:15 - 13:45, HF-Technik: SR 05.222
Fields of study:
WF CE-BA-TW ab 6

 

Parallel Systems [PSys]

Lecturers:
Frank Hannig, Jürgen Teich
Details:
Vorlesung, 2 cred.h, ECTS: 2,5, nur Fachstudium
Dates:
Tue, 12:15 - 13:45, 01.021
Fields of study:
WF CE-BA-TW ab 4
Contents:
Selbst unser PC erlaubt bereits ein hohes Maß an nebenläufiger Verarbeitung von Daten. Die effiziente Ausnutzung von Parallelität bedarf allerdings auch spezieller Programmier- und Übersetzungstechniken. Beschrieben werden Eigenschaften unterschiedlicher paralleler Rechnerarchitekturen und Metriken zu deren Beurteilung. Weiterhin werden Modelle und Sprachen zum Programmieren paralleler Rechner eingeführt. Neben der Programmierung von allgemeinen Parallelrechnern werden Entwurfsmethoden (CAD) vorgestellt, wie man ausgehend von einer algorithmischen Problemstellung massiv parallele Rechenfelder in VLSI herleiten kann. Im Einzelnen werden behandelt:

1. Theorie der Parallelität (parallele Computermodelle, parallele Spezifikationsformen und -sprachen, Performanzmodelle und -berechnung)
2. Klassifikation paralleler und skalierbarer Rechnerarchitekturen (Multiprozessoren und Multicomputer, Vektorrechner, Datenflussmaschinen, VLSI-Rechenfelder)
3. Programmierung paralleler Rechner (Sprachen und Modelle, Entwurfsmethoden und Compiler, Optimierung)
4. Massive Parallelität: Vom Algorithmus zur Schaltung

Theoretische und praktische Übungen mit rechnergestützten Werkzeugen

 

Erweiterte Übungen zu Parallele Systeme [EU-PSys]

Lecturers:
Stefan Groth, Michael Witterauf, Marcel Brand, Frank Hannig
Details:
Übung, 2 cred.h, ECTS: 2,5, für FAU Scientia Gaststudierende zugelassen
Dates:
Thu, 14:00 - 18:00, 02.133-128
Wed, 8:00 - 12:00, 02.133-128
single appointment on 22.6.2022, 9:00 - 13:00, 02.133-128
single appointment on 24.6.2022, 14:00 - 18:00, 02.133-128
single appointment on 13.7.2022, 9:00 - 13:00, 02.133-128
single appointment on 15.7.2022, 14:00 - 18:00, 02.133-128
single appointment on 20.7.2022, 9:00 - 13:00, 02.133-128
single appointment on 22.7.2022, 14:00 - 18:00, 02.133-128
verpflichtend, vor Ort an den Rechnerarbeitsplätzen des Lehrstuhls
Fields of study:
WF CE-BA-TW ab 4

 

Übung zu Parallele Systeme [UE-PSys]

Lecturer:
Frank Hannig
Details:
Übung, 2 cred.h, ECTS: 2,5
Fields of study:
WF CE-BA-TW ab 4

 
 
Tue16:00 - 17:3001.255-128  Hannig, F. 
 
 
Thu8:00 - 9:3002.133-128  Hannig, F. 
 
 
Thu14:15 - 15:4501.255-128  Groth, S. 
 

Parallele und Funktionale Programmierung [PFP]

Lecturers:
Michael Philippsen, Norbert Oster
Details:
Vorlesung, 2 cred.h, ECTS: 2,5, Frühstudium, für FAU Scientia Gaststudierende zugelassen
Dates:
Tue, 8:15 - 9:45, H11
Fields of study:
WF CE-BA-TW ab 4
Contents:
Die Materialien zur Lehrveranstaltung werden über StudOn bereitgestellt.

 

Übungen zu Parallele und funktionale Programmierung [UePFP]

Lecturer:
Julian Brandner
Details:
Übung, 2 cred.h, ECTS: 2,5, für FAU Scientia Gaststudierende zugelassen
Fields of study:
WF CE-BA-TW ab 4
Prerequisites / Organisational information:
Informationen zur Übungseinteilung erhalten Sie in der ersten Vorlesung!
Contents:
Die Materialien zur Lehrveranstaltung werden über StudOn bereitgestellt.

 
 
Mon14:00 - 16:0000.153-113 CIP  Schwarzbeck, D. 
Freiwillige Rechnerübung
 
 
Mon14:15 - 15:4502.133-113  Hübner, J. 
 
 
Mon16:00 - 18:000.01-142 CIP  Hübner, J.
Schwarzbeck, D.
 
Freiwillige Rechnerübung
 
 
Tue10:00 - 12:0000.156-113 CIP  Eckl, F. 
Freiwillige Rechnerübung
 
 
Tue10:15 - 11:4500.151-113  Schwarzbeck, D. 
 
 
Tue12:00 - 14:000.01-142 CIP  Eckl, F. 
Freiwillige Rechnerübung
 
 
Tue14:15 - 15:4502.133-113  Eckl, F. 
 
 
Tue16:15 - 17:4502.133-113  Eckl, F. 
 
 
Tue16:15 - 17:4500.151-113  Schwarzbeck, D. 
 
 
Wed8:15 - 9:4502.133-113  Vogler, T. 
 
 
Wed10:00 - 12:0000.153-113 CIP  Güthlein, T. 
Freiwillige Rechnerübung
 
 
Wed10:15 - 11:4502.133-113  Dittrich, J. 
 
 
Wed14:00 - 16:0000.153-113 CIP  Dittrich, J. 
Freiwillige Rechnerübung
 
 
Wed14:15 - 15:4502.133-113  Vogler, T. 
 
 
Wed14:15 - 15:4500.151-113  Güthlein, T. 
 
 
Thu10:15 - 11:4500.151-113  Suft, T. 
 
 
Thu12:00 - 14:000.01-142 CIP  Suft, T. 
Freiwillige Rechnerübung
 
 
Fri8:15 - 9:4502.133-113  Schauenberg, Th. 
 
 
Fri12:00 - 14:000.01-142 CIP  Schauenberg, Th. 
Freiwillige Rechnerübung
 

Rechnerkommunikation [RK]

Lecturer:
Reinhard German
Details:
Vorlesung, 2 cred.h, ECTS: 2,5
Dates:
Mon, 12:15 - 13:45, H7
Fields of study:
WF CE-BA-TW ab 4
Contents:
Die Vorlesung vermittelt die Grundlagen der Rechnerkommunikation und durchläuft von oben nach unten die Schichten des Internets:
  • Anwendungsschicht

  • Transportschicht

  • Netzwerkschicht

  • Sicherungsschicht

  • Physikalische Schicht

Der Aspekt der Sicherheit in Rechnernetzen wird zunächst grundlegend und dann jeweils als Teil der einzelnen Schichten behandelt.

Recommended literature:
Kurose, Ross. Computer Networking: A Top-Down Approach. 8th Ed., Pearson Education, 2020.

 

Rechnerkommunikation Übungen [ÜRK]

Lecturers:
Alexander Brummer, Peter Bazan
Details:
Übung, 2 cred.h, ECTS: 2,5
Fields of study:
WF CE-BA-TW ab 4

 
 
Mon16:00 - 18:0000.153-113 CIP  Bazan, P. 
 
 
Tue12:00 - 14:0002.135-113 CIP  Heinlein, B. 
 
 
Tue14:00 - 16:0002.135-113 CIP  Vogler, T. 
 
 
Tue16:00 - 18:0000.153-113 CIP  Vogler, T. 
 
 
Wed8:00 - 10:0002.135-113 CIP  Brummer, A. 
 
 
Wed10:00 - 12:0002.135-113 CIP  Heinlein, B. 
 
 
Wed12:00 - 14:0000.153-113 CIP  Haag, B. 
 
 
Wed14:00 - 16:0002.135-113 CIP  Haag, B. 
 
 
Wed16:00 - 18:0000.153-113 CIP  Brummer, A. 
 
 
Thu8:00 - 10:0002.135-113 CIP  Bazan, P. 
 
 
Thu10:00 - 12:0002.135-113 CIP  Thummerer, A. 
 
 
Thu12:00 - 14:0000.153-113 CIP  Thummerer, A. 
 

Scientific Visualization [SciVis]

Lecturer:
Tobias Günther
Details:
Vorlesung, 2 cred.h, ECTS: 5,0, nur Fachstudium, für FAU Scientia Gaststudierende zugelassen
Dates:
Tue, 14:15 - 15:45, H4
Fields of study:
WF CE-BA-TW ab 4

 

Tutorials to Scientific Visualization [TutSciVis]

Lecturers:
Tobias Günther, Xingze Tian
Details:
Übung, 2 cred.h, nur Fachstudium, für FAU Scientia Gaststudierende zugelassen
Dates:
Thu, 14:15 - 15:45, H4
Thu, 10:15 - 11:45, Zoom-Meeting
Fields of study:
WF CE-BA-TW ab 4

 

Statics and Strength of Materials [S&F (V)]

Lecturers:
Giuseppe Capobianco, Sigrid Leyendecker
Details:
Vorlesung, 3 cred.h, ECTS: 7,5, nur Fachstudium, Frühstudium, Vorlesung, Übung und Tutorium werden gemeinsam geprüft und kreditiert. Prüfung schriftlich 90 Minuten.
Fields of study:
WF CE-BA-TW ab 4
Contents:
  • Kraft- und Momentenbegriff, Axiome der Statik
  • ebene und räumliche Statik

  • Flächenmomente 1. und 2. Ordnung

  • Tribologie

  • Arbeit

  • Spannung, Formänderung, Stoffgesetz

  • überbestimmte Stabwerke, Balkenbiegung

  • Torsion

  • Energiemethoden der Elastostatik

  • Stabilität

  • Elastizitätstheorie und Festigkeitsnachweis

Recommended literature:
  • Gross, Hauger, Schröder, Wall: Technische Mechanik 1. Berlin:Springer-Verlag 2006
  • Gross, Hauger, Schröder, Wall: Technische Mechanik 2. Berlin:Springer-Verlag 2007

 
 
Tue, Wed08:15 - 09:45H7  Capobianco, G.
Leyendecker, S.
 
 

Tutorial Statics and Strength of Materials [S&F (Tut)]

Lecturers:
Sigrid Leyendecker, und Mitarbeiter/innen
Details:
Tutorium, 2 cred.h, nur Fachstudium, Frühstudium, für FAU Scientia Gaststudierende zugelassen
Fields of study:
WF CE-BA-TW ab 4

 
 
Mon18:15 - 19:45H9  Chen, X.
Holz, D.
Huang, D.
Schubert, M.
 
 

Exercises Statics and Strength of Materials [S&F (Ü)]

Lecturers:
Sigrid Leyendecker, und Mitarbeiter/innen
Details:
Übung, 2 cred.h, nur Fachstudium, Frühstudium, für FAU Scientia Gaststudierende zugelassen
Fields of study:
WF CE-BA-TW ab 4

 
 
Thu8:15 - 9:45H8  Chen, X.
Holz, D.
Schubert, M.
 
 

Stochastic Processes [STOPRO]

Lecturer:
Walter Kellermann
Details:
Vorlesung, 3 cred.h, ECTS: 5, nur Fachstudium
Dates:
Tue, Wed, 10:15 - 11:45, 05.025
Fields of study:
WF CE-BA-TW ab 4
Prerequisites / Organisational information:
Voraussetzung: Vorlesung Signale und Systeme I

Auf StudOn finden Sie das Vorlesungsskript als PDF-Datei sowie aktuelle Informationen zur Vorlesung und Übung.

Contents:
Wahrscheinlichkeitsrechnung und Zufallsvariablen
Wahrscheinlichkeit, Zufallsvariablen, uni- und multivariate Wahrscheinlichkeitsverteilungen und -dichten; Funktionen von Zufallsvariablen und deren Verteilungen und -dichten; Erwartungswerte; spezielle Verteilungen (diskrete und kontinuierliche); Grenzwertsätze

Stochastische Prozesse
Verteilungen, Dichten und Erwartungswerte eindimensionaler Stochastischer Prozesse; Stationarität, Zyklostationarität, Ergodizität; Schwach stationäre, zeitkontinuierliche und zeitdiskrete Prozesse im Zeit- und Frequenzbereich; lineare zeitinvariante (LZI) Systeme und schwach stationäre Prozesse

Schätztheorie
Punkt- und Intervallschätzung; Schätzkriterien; Prädiktion; klassische und Bayes'sche Parameterschätzung (inkl. MMSE, Maximum Likelihood, Maximum A Posteriori); Cramer-Rao-Schranke; Hypothesentests und Entscheidungsverfahren (binäre Entscheidungen, Teststatistiken, Chi-Quadrat-Test); Binäre Entscheidungen, Neyman-Pearson-Kriterium

Lineare Optimalfilterung
Orthogonalitätsprinzip; zeitkontinuierliche und zeitdiskrete Wiener-Filterung; adaptive Filter (LMS, NLMS); zeitkontinuierliche und zeitdiskrete Signalangepasste Filter

Recommended literature:
Hänsler: Statistische Signale, Springer 1998;

Papoulis/Pillai: Probability, Random Variables, and Stochastic Processes, Prentice Hall, 2002

 

Tutorial on Stochastic Processes [TUTSTOPRO]

Lecturer:
Johannes Zeitler
Details:
Tutorium, 1 cred.h, nur Fachstudium
Dates:
im Wechsel mit der Übung
Fields of study:
WF CE-BA-TW ab 4
Prerequisites / Organisational information:
Die Übungsaufgaben mit Kurzlösungen werden per StudOn zur Verfügung gestellt wo weitere Informationen zu finden sind.

 

Supplement course stochastic processes [ÜSTOPRO]

Lecturer:
Johannes Zeitler
Details:
Übung, 1 cred.h, nur Fachstudium
Dates:
Tue, 12:15 - 13:45, 05.025
im Wechsel mit dem Tutorium
Fields of study:
WF CE-BA-TW ab 4
Prerequisites / Organisational information:
Die Übungsaufgaben werden für jeden Termin als Download via StudOn zur Verfügung gestellt. Weitere Informationen zur Übung sind auf StudOn zu finden.

 

Fluid mechanics for mechanical engineering and energy technology [STM I V]

Lecturer:
Andreas Wierschem
Details:
Vorlesung, 2 cred.h, ECTS: 5, nur Fachstudium
Dates:
Wed, 14:15 - 15:45, H4
Das Kennwort für StudOn wird bei der ersten Vorlesung bekannt gegeben
Fields of study:
WF CE-BA-TW ab 5
Prerequisites / Organisational information:
Grundwissen in Mathematik und Physik für Ingenieure. Vorlesung und Übungen werden in Deutsch gehalten.
Contents:
Die Vorlesung stellt eine Einführung in die Strömungsmechanik dar. Es werden Grundbegriffe behandelt und die wichtigsten Grundgesetze abgeleitet und angewendet.
In der Vorlesung werden kontinuumsmechanische Grundlagen, Strömungskinematik, Bilanzgleichungen, Hydrostatik, Grundlagen der Ähnlichkeitstheorie, Bernoulli-Gleichung etc. behandelt.

Strömungen werden auf ihr Deformationsverhalten hin analysiert. Die Grundgleichungen wie Kontinuitäts- und Navier-Stokes-Gleichung werden hergeleitet und deren Lösungen für grundlegende Strömungsformen werden vorgestellt.
Die Berechnungen von Kräften in Folge von Strömungsvorgängen werden anhand der integralen Impulsgleichung angegeben und der Einsatz der Endgleichung erläutert.
Aufbauend auf den Grundgesetzen wird die Hydrostatik als Sonderfall der Strömungsmechanik behandelt. Anhand zahlreicher Beispiele wird die Anwendung der hydrostatischen Grundgesetze verdeutlicht.
Zudem werden mit Hilfe von Größenordnungsbetrachtungen Grenzfälle der Navier-Stokes-Gleichung behandelt. Die Bernoulli-Gleichung wird abgeleitet und in zahlreichen Beispielen angewendet.
Übungen ergänzen die Vorlesung. Studenten werden angeleitet, das erhaltene Wissen zur Lösung strömungsmechanischer Probleme anzuwenden.

Recommended literature:
  • J. H. Spurk, N. Aksel: Strömungslehre: Einführung in die Theorie der Strömungen, 8. Auflage, Springer-Verlag Berlin, Heidelberg, New York, 2010
  • F. Durst: Grundlagen der Strömungsmechanik - Eine Einführung in die Theorie der Strömungen in Fluiden, Springer, 2006

  • H. Kuhlmann: Strömungsmechanik, Pearson, 2007

  • P. K. Kundu: Fluid Mechanics, 5th Ed., Academic Press, 2012

  • F. M. White: Fluid Mechanics, 7th Rev. Ed., McGraw Hill, 2011

  • F. A. Morrison: An Introduction to Fluid Mechanics, Cambridge University Press, 2013

  • L. Böswirth: Technische Strömungslehre, 9. Auflage, Vieweg & Teubner, 2011

  • W. Kümmel: Technische Strömungsmechanik - Theorie und Praxis, 3. Auflage, Teubner, 2007

  • H. Sigloch: Technische Fluidmechanik, 8. Auflage, Springer, 2012

  • H. Oertel Jr.: Strömungsmechanik - Grundlagen, Grundgleichungen, Lösungsmethoden, Softwarebeispiele, 6. Auflage, Vieweg & Teubner, 2011

 

Strömungsmechanik I - Übung [STM I UE]

Lecturer:
Andreas Wierschem
Details:
Übung, 2 cred.h, nur Fachstudium
Dates:
Tue, 8:15 - 9:45, KS I
! NICHT AM 26.04.2022 !
Fields of study:
WF CE-BA-TW ab 5

 

Mechanical Vibrations [TSL (V)]

Lecturer:
Kai Willner
Details:
Vorlesung, 2 cred.h, nur Fachstudium, Vorlesung und Übung werden gemeinsam geprüft und kreditiert
Dates:
Thu, 10:15 - 11:45, H4
Achtung: 1. Termin bereits am Montag 25.04. 8:15-9:45 Uhr im H16 (anstelle des Tutoriums)
Fields of study:
WF CE-BA-TW ab 4
Prerequisites / Organisational information:
Alle Informationen zum Ablauf der Lehrveranstaltung werden über den StudOn-Kurs kommuniziert. Deshalb bitten wir Sie, sich unter https://www.studon.fau.de/cat5282.html einzuschreiben. Der Beitritt ist nicht, wie sonst üblich, passwortgeschützt, sondern erfolgt nach Bestätigung durch den Dozenten. Dies geschieht mitunter nicht umgehend, aber rechtzeitig vor dem ersten Termin. Wir bitten um Ihr Verständnis.

 

Tutorial Mechanical Vibrations [TSL (T)]

Lecturer:
Özge Akar
Details:
Tutorium, 2 cred.h, nur Fachstudium
Dates:
Mon, 8:15 - 9:45, H16
Fields of study:
WF CE-BA-TW ab 4

 

Exercises Mechanical Vibrations [TSL (UE)]

Lecturer:
Özge Akar
Details:
Übung, 2 cred.h, nur Fachstudium
Dates:
Thu, 08:15 - 09:45, H4
Fields of study:
WF CE-BA-TW ab 4

 

Transportprozesse [TP VL]

Lecturer:
Michael Wensing
Details:
Vorlesung, 2 cred.h, ECTS: 3, für FAU Scientia Gaststudierende zugelassen
Dates:
Mon, 10:15 - 11:45, KS I
erste Veranstaltung: Mo, 25.04.2022, weitere Informationen in StudOn-Gruppe: https://www.studon.fau.de/crs489287_join.html
Fields of study:
WF CE-BA-TW ab 4

 

Übung zu Transportprozesse [CBI-TP UE]

Lecturers:
Michael Wensing, Chris Conrad, Bastian Lehnert
Details:
Übung, 1 cred.h, ECTS: 2, für FAU Scientia Gaststudierende zugelassen
Dates:
Wed, 8:15 - 9:45, KS I
weitere Informationen in Vorlesung und StudOn-Gruppe: https://www.studon.fau.de/crs489287_join.html
Fields of study:
WF CE-BA-TW ab 4

 

Verifikation digitaler Systeme [VdS]

Lecturer:
Oliver Keszöcze
Details:
Vorlesung, 2 cred.h, ECTS: 2,5, nur Fachstudium, für FAU Scientia Gaststudierende zugelassen
Dates:
Thu, 8:15 - 9:45, 02.112-128
Fields of study:
WF CE-BA-TW ab 4
Contents:
Für den Entwurf eines digitalen Systems werden heute in der Industrie ebenso viele Verifikationsingenieure wie Designer benötigt. Trotzdem beansprucht die Verifikation heute bereits 70%-80% der gesamten Entwurfszeit. Neben konventionellen Verifikationserfahren wie der Simulation sind werden seit einigen Jahren sogenannte "formale Verifikationsmethoden" in heutigen Entwursflüssen eingesetzt. Der Umgang mit diesen Methoden stellt ein wichtiges neues Aufgabenfeld dar. Im Gegensatz zur Simulation beruht die formale Verifikation auf exakten mathematischen Methoden zum Nachweis funktionaler Schaltungseigenschaften. Dadurch können Entwurfsfehler frühzeitiger und mit höherer Zuverlässigkeit als bisher erkannt werden. Jedes System zur formalen Hardwareverifikation erfordert:
  • ein geeignetes Modell des zu verifizierenden Systems

  • eine Sprache zur Formulierung der zu verifizierenden Eigenschaften

  • eine Beweismethode.

Die Vorlesung behandelt diese drei Bereiche, vermittelt die grundlegenden Algorithmen und Konzepte moderner Werkzeuge für die formale Hardwareverifikation und erläutert deren Einsatz in der industriellen Praxis. Im Einzelnen werden in dieser Vorlesung die folgenden Punkte behandelt:
1. Modellierung digitaler Systeme 2. Unterschiede formaler und simulationsbasierter Verifikationsmethoden 3. Äquivalenzvergleich 4. Formale und simulationsbasierte Eigenschaftsprüfung 5. Assertions 6. Verifikation arithmetischer Schaltungen

 

Übung zur Verifikation digitaler Systeme [UE-VdS]

Lecturer:
Oliver Keszöcze
Details:
Übung, 2 cred.h, ECTS: 2,5, für FAU Scientia Gaststudierende zugelassen
Dates:
Thu, 10:15 - 11:45, 02.112-128
Fields of study:
WF CE-BA-TW ab 4

 

Computational Optics CE & MAOT [CompOptCE+MAOT]

Lecturer:
Christoph Pflaum
Details:
Vorlesung mit Übung, 2 cred.h, ECTS: 7,5, für FAU Scientia Gaststudierende zugelassen
Dates:
Wed, 8:15 - 9:45, 01.151-128
Fields of study:
WF CE-BA-TW ab 4

 

Flow Measuring Techniques (Experimental Fluid Mechanics) [EFM V+UE]

Lecturer:
Andreas Wierschem
Details:
Vorlesung mit Übung, 3 cred.h, ECTS: 5, nur Fachstudium, For CEP: 4 SWS
Dates:
Mon, 16:15 - 17:45, KS II
Tue, 14:15 - 15:45, KS II
The password for StudOn will be announced at the first lecture
Fields of study:
WF CE-BA-TW ab 4
Contents:
Die Studierenden erwerben einen Überblick über die Messtechniken der Strömungsmechanik und lernen deren Grundlagen, ihre Möglichkeiten und Beschränkungen verstehen.
Sie sollen in die Lage versetzt werden für eine spezifische Messaufgabe eine geeignete Messtechnik auszuwählen.
Inhalt: Einführung in die Messtechnik, Strömungsvisualisierung, Druckmessung, pneumatische Messtechnik, Volumenstrommessung, Kraftmessung, Dehnmessstreifen,
Thermische Geschwindigkeitsmessung, Hitzdrahtanemometrie, LDA/PDA (Laser-Doppler-Anemometrie / Phasen-Doppler-Anemometrie),
PIV (Particle-Image-Velocimetry), Datenerfassung, Signalverarbeitung, Messwertstatistik, Zeitreihenanalyse).



UnivIS is a product of Config eG, Buckenhof