Modulhandbuch
Master
Computer Science
Kohorte: Wintersemester 2015
Stand: 31. Mai 2017
Inhalt
Im Masterstudiengang Computer Science wird ein breites, fundiertes und vertieftes Grundlagenwissen in den Bereichen mathematische Modellbildung in der Informatik, Softwaretechnik, Hardware-Entwurf und Intelligente Systeme vermittelt. Zudem werden weitergehende Kenntnisse in Betriebswirtschaftslehre und Management sowie nichttechnischen Fächern erlangt, um die Kompetenzen für das Bewältigen umfangreicher IT-Projekte zu erhöhen. Das Masterprogramm bereitet auf Kompetenzebene weiterhin optimal auf die Promotion vor, so dass neben praktischen Berufsbildern auch auf die Forschung in Informatik vorbereitet wird.
Berufliche Perspektiven
Der Studiengang bildet Informatiker aus, die auf dem deutschen oder internationalen Arbeitsmarkt unabhängig von Konjunkturbewegungen sehr gute Beschäftigungsmöglichkeiten vorfinden sollten. Absolventen und Absolventinnen werden nicht nur als Systementwickler in der IT-Branche oder in den Entwicklungsabteilungen des Maschinenbaus und des Automobilindustrie tätig sein, sondern auch in der Medienindustrie als Entwickler von autonom agierenden Systemen oder Computerspielen.
Lernziele
Das Masterstudium Computer Science soll die Studierenden sowohl auf eine gehobene berufliche Tätigkeit als auch auf die Promotion vorbereiten. Die dazu notwendigen methodischen Kompetenzen werden im Rahmen des Studiums erworben. Die Lernziele sind im Folgenden eingeteilt in die Kategorien Wissen, Fertigkeiten, Sozialkompetenz und Selbstständigkeit.
Wissen
Wissen konstituiert sich aus Fakten, Grundsätzen und Theorien und wird im Masterstudiengang Computer Science auf folgenden Gebieten erworben:
Fertigkeiten
Die Fähigkeit, erlerntes Wissen anzuwenden, um spezifische Probleme zu lösen, wird im Studiengang Computer Science auf vielfältige Weise unterstützt:
Erwerb von Sozialkompetenz
Sozialkompetenz umfasst die individuelle Fähigkeit und den Willen, zielorientiert mit anderen zusammen zu arbeiten, die Interessen der anderen zu erfassen, sich zu verständigen und die Arbeits- und Lebenswelt mitzugestalten.
Kompetenz zum selbstständigen Arbeiten
Personale Kompetenzen umfassen neben der Kompetenz zum selbständigen Handeln auch die System- und Lösungskompetenz, allgemeine Problemstellungen auf spezifische Teilprobleme abzubilden sowie die Auswahl und das Beherrschen geeigneter Methoden und Verfahren zur Problemlösung.
Studiengangsstruktur
Dadurch ergibt sich ein Gesamtaufwand von 120 LP.
Die Pflichtmodule der Kernqualifikation sind teilen sich auf in überfachliche Module:
und das Forschungsprojekt mit Seminar (18 LP, 3. Semester).
In den Wahlpflichtmodulen der Kernqualifikation werden fachliche Schlüsselqualifikationen in Informatik und Mathematik vermittelt, die für den weiteren Verlauf des Studiums grundlegend sind. Die Studierenden belegen je nach Schwerpunktlegung drei von sechs Veranstaltungen.
In der Vertiefung werden fachliche Schlüsselqualifikationen erworben. Wählbar sind:
Die Studierenden besuchen in der gewählten Vertiefung Veranstaltungen in einem Umfang von 42 LP. In beiden Zweigen bestehen ausreichend Wahlmöglichkeiten.
Der Studienplan enthält ein Mobilitätsfenster derart, dass Studierende das dritte Semester im Ausland absolvieren können.
Modul M0523: Betrieb & Management |
Modulverantwortlicher | Prof. Matthias Meyer |
Zulassungsvoraussetzungen | Keine |
Empfohlene Vorkenntnisse | Keine |
Modulziele/ angestrebte Lernergebnisse | Nach erfolgreicher Teilnahme haben die Studierenden die folgenden Lernergebnisse erreicht |
Fachkompetenz | |
Wissen |
|
Fertigkeiten |
|
Personale Kompetenzen | |
Sozialkompetenz |
-- |
Selbstständigkeit |
|
Arbeitsaufwand in Stunden | Abhängig von der Wahl der Lehrveranstaltungen |
Leistungspunkte | 6 |
Lehrveranstaltungen |
Die Informationen zu den Lehrveranstaltungen entnehmen Sie dem separat veröffentlichten Modulhandbuch des Moduls. |
Modul M0524: Nichttechnische Ergänzungskurse im Master |
Modulverantwortlicher | Dagmar Richter |
Zulassungsvoraussetzungen | Keine |
Empfohlene Vorkenntnisse | Keine |
Modulziele/ angestrebte Lernergebnisse | Nach erfolgreicher Teilnahme haben die Studierenden die folgenden Lernergebnisse erreicht |
Fachkompetenz | |
Wissen |
Der Studienbereich Nichttechnische Wahlpflichtfächer vermittelt die in Hinblick auf das Ausbildungsprofil der TUHH nötigen Kompetenzen, die ingenieurwissenschaftliche Fachlehre fördern aber nicht abschließend behandeln kann: Eigenverantwortlichkeit, Selbstführung, Zusammenarbeit und fachliche wie personale Leitungsbefähigung der zukünftigen Ingenieurinnen und Ingenieure. Er setzt diese Ausbildungsziele in seiner Lehrarchitektur, den Lehr-Lern-Arrangements, den Lehrbereichen und durch Lehrangebote um, in denen sich Studierende wahlweise für spezifische Kompetenzen und ein Kompetenzniveau auf Bachelor- oder Masterebene qualifizieren können. Die Lehrangebote sind jeweils in einem Modulkatalog Nichttechnische Ergänzungskurse zusammengefasst. Die Lehrarchitektur besteht aus einem studiengangübergreifenden Pflichtstudienangebot. Durch dieses zentral konzipierte Lehrangebot wird die Profilierung der TUHH Ausbildung auch im „Nichttechnischen Studienbereich“ gewährleistet. Die Lernarchitektur erfordert und übt eigenverantwortliche Bildungsplanung in Hinblick auf den individuellen Kompetenzaufbau ein und stellt dazu Orientierungswissen zu thematischen Schwerpunkten von Veranstaltungen bereit. Das über den gesamten Studienverlauf begleitend studierbare Angebot kann ggf. in ein-zwei Semestern studiert werden. Angesichts der bekannten, individuellen Anpassungsprobleme beim Übergang von Schule zu Hochschule in den ersten Semestern und um individuell geplante Auslandsemester zu fördern, wird jedoch von einer Studienfixierung in konkreten Fachsemestern abgesehen. Die Lehr-Lern-Arrangements sehen für Studierende - nach B.Sc. und M.Sc. getrennt - ein semester- und fachübergreifendes voneinander Lernen vor. Der Umgang mit Interdisziplinarität und einer Vielfalt von Lernständen in Veranstaltungen wird eingeübt - und in spezifischen Veranstaltungen gezielt gefördert. Die Lehrbereiche basieren auf Forschungsergebnissen aus den wissenschaftlichen Disziplinen Kulturwissenschaften, Gesellschaftswissenschaften, Kunst, Geschichtswissenschaften, Kommunikationswissenschaften, Nachhaltigkeitsforschung und aus der Fachdidaktik der Ingenieurwissenschaften. Über alle Studiengänge hinweg besteht im Bachelorbereich zusätzlich ab Wintersemester 2014/15 das Angebot, gezielt Betriebswirtschaftliches und Gründungswissen aufzubauen. Das Lehrangebot wird durch soft skill und Fremdsprachkurse ergänzt. Hier werden insbesondere kommunikative Kompetenzen z.B. für Outgoing Engineers gezielt gefördert. Das Kompetenzniveau der Veranstaltungen in den Modulen der nichttechnischen Ergänzungskurse unterscheidet sich in Hinblick auf das zugrunde gelegte Ausbildungsziel: Diese Unterschiede spiegeln sich in den verwendeten Praxisbeispielen, in den - auf unterschiedliche berufliche Anwendungskontexte verweisende - Inhalten und im für M.Sc. stärker wissenschaftlich-theoretischen Abstraktionsniveau. Die Soft skills für Bachelor- und für Masterabsolventinnen/ Absolventen unterscheidet sich an Hand der im Berufsleben unterschiedlichen Positionen im Team und bei der Anleitung von Gruppen. Fachkompetenz (Wissen) Die Studierenden können
|
Fertigkeiten |
Die Studierenden können in ausgewählten Teilbereichen
|
Personale Kompetenzen | |
Sozialkompetenz |
Die Studierenden sind fähig ,
|
Selbstständigkeit |
Die Studierenden sind in ausgewählten Bereichen in der Lage,
|
Arbeitsaufwand in Stunden | Abhängig von der Wahl der Lehrveranstaltungen |
Leistungspunkte | 6 |
Lehrveranstaltungen |
Die Informationen zu den Lehrveranstaltungen entnehmen Sie dem separat veröffentlichten Modulhandbuch des Moduls. |
Modul M0667: Algorithmische Algebra |
||||||||||||
Lehrveranstaltungen | ||||||||||||
|
Modulverantwortlicher | Dr. Prashant Batra |
Zulassungsvoraussetzungen | |
Empfohlene Vorkenntnisse | Mathe I-III (Reelle Analysis,Rechnen in Vektorräumen, Vollst. Induktion) Diskrete Mathematik I (Gruppen, Ringe, Ideale, Körper; euklidscher Algorithmus) |
Modulziele/ angestrebte Lernergebnisse | Nach erfolgreicher Teilnahme haben die Studierenden die folgenden Lernergebnisse erreicht |
Fachkompetenz | |
Wissen |
Studierende sind in der Lage, logische Zusammenhänge zwischen diesen Konzepten zu diskutieren und anhand von Beispielen zu erläutern: Smith-Normalform, Chinesischer Restsatz, Gitterpunktsätze, Ganzzahlige Lösung von Ungleichungssystemen. |
Fertigkeiten |
Studierende sind in der Lage, sich weitere logische Zusammenhänge zwischen den kennengelernten Konzepten selbständig zu erschließen und können diese verifizieren. Studierende können zu gegebenen Problemstellungen einen geeigneten Lösungsansatz entwickeln, diesen verfolgen und die Ergebnisse kritisch auswerten, wie beispielsweise bei der Lösung multivariater Gleichungssysteme und in der Gitterpunkttheorie. |
Personale Kompetenzen | |
Sozialkompetenz | , |
Selbstständigkeit | |
Arbeitsaufwand in Stunden | Eigenstudium 124, Präsenzstudium 56 |
Leistungspunkte | 6 |
Prüfung | Mündliche Prüfung |
Prüfungsdauer und -umfang | |
Zuordnung zu folgenden Curricula |
Computer Science: Kernqualifikation: Wahlpflicht Informatik-Ingenieurwesen: Vertiefung Wissenschaftliches Rechnen: Wahlpflicht |
Lehrveranstaltung L0422: Algorithmische Algebra |
Typ | Vorlesung | ||||||||||||||
SWS | 3 | ||||||||||||||
LP | 5 | ||||||||||||||
Arbeitsaufwand in Stunden | Eigenstudium 108, Präsenzstudium 42 | ||||||||||||||
Dozenten | Dr. Prashant Batra | ||||||||||||||
Sprachen | DE | ||||||||||||||
Zeitraum | WiSe | ||||||||||||||
Inhalt |
Erweiterter Euklidscher Algorithmus, Lösen der Bezout-Gleichung Teilen mit Rest in Ringen Schnelle Rechenalgorithmen (Konversion in Zahlformate, Schnelle Multiplikationen) Diskrete Fourier-Transformation in Ringe Rechnen mit modularen Resten, Lösen von Restsystemen (Chinesischer Restsatz), Lösbarkeit ganzzahliger 'Gleichungssysteme Linearisierung polynomialer Gleichungen - Matrizenansatz Sylvester-Matrix, Elimination Elimination in Ringen, Elimination mehrer Veränderlicher Buchberger-Algorithmus, Gröbner-Basis Minkowskischer Gitterpunktsatz und Ganzzahlige Optimierung LLL-Algorithmus zum Auffinden 'kurzer' Vektoren in polynomialer Zeit |
||||||||||||||
Literatur |
von zur Gathen, Joachim; Gerhard, Jürgen Modern computer algebra. 3rd ed. (English) Zbl 1277.68002 Yap, Chee Keng Free download for students from author's website: http://cs.nyu.edu/yap/book/berlin/ Cox, David; Little, John; O’Shea, Donal eBook: http://dx.doi.org/10.1007/978-0-387-35651-8
Koepf, Wolfram springer eBook: http://dx.doi.org/10.1007/3-540-29895-9 Kaplan, Michael springer eBook: http://dx.doi.org/10.1007/b137968 |
Lehrveranstaltung L0423: Algorithmische Algebra |
Typ | Gruppenübung |
SWS | 1 |
LP | 1 |
Arbeitsaufwand in Stunden | Eigenstudium 16, Präsenzstudium 14 |
Dozenten | Dr. Prashant Batra |
Sprachen | DE |
Zeitraum | WiSe |
Inhalt | Siehe korrespondierende Vorlesung |
Literatur | Siehe korrespondierende Vorlesung |
Modul M0586: Effiziente Algorithmen |
||||||||||||
Lehrveranstaltungen | ||||||||||||
|
Modulverantwortlicher | Prof. Siegfried Rump |
Zulassungsvoraussetzungen | Keine |
Empfohlene Vorkenntnisse |
Programmieren in Matlab und/oder C Grundkenntnisse in diskreter Mathematik |
Modulziele/ angestrebte Lernergebnisse | Nach erfolgreicher Teilnahme haben die Studierenden die folgenden Lernergebnisse erreicht |
Fachkompetenz | |
Wissen |
Die Studierenden können die grundlegenden Theorien, Zusammenhänge und Methoden der Netzwerkalgorithmen und insbesondere deren Datenstrukturen erklären. Sie können das Rechenzeitverhalten wesentlicher Netzwerkalgorithmen beschreiben und analysieren. Die Studierenden können insbesondere zwischen effizient lösbaren und NP-harten Aufgabenstellungen diskriminieren. |
Fertigkeiten |
Die Studenten können komplexe Problemstellungen analysieren und die Möglichkeiten der Transformation in Netzwerkalgorithmen bestimmen. Sie können grundlegende Algorithmen und Datenstrukturen der linearen Optimierung und Netzwerktheorie effizient implementieren und mögliche Schwachstellen identifizieren. Sie können die Auswirkung der Nutzung verschiedener effizienter Datenstrukturen selbständig analysieren und jene gegebenenfalls einsetzen. |
Personale Kompetenzen | |
Sozialkompetenz |
Die Studierenden können in kleinen Gruppen fachspezifische Aufgaben gemeinsam bearbeiten und Ergebnisse in geeigneter Weise präsentieren, zum Beispiel während Kleingruppenübungen. |
Selbstständigkeit |
Die Studierenden sind in der Lage, die notwendigen Informationen aus den angegebenen Literaturquellen zu beschaffen und in den Kontext der Vorlesung zu setzen. Sie können ihren Wissensstand mit Hilfe vorlesungsbegleitender Maßnahmen (Quiz-Fragen in den Vorlesungen, klausurnahe Aufgaben) kontinuierlich überprüfen und auf dieser Basis ihre Lernprozesse steuern. |
Arbeitsaufwand in Stunden | Eigenstudium 124, Präsenzstudium 56 |
Leistungspunkte | 6 |
Prüfung | Mündliche Prüfung |
Prüfungsdauer und -umfang | 30 Minuten |
Zuordnung zu folgenden Curricula |
Computer Science: Kernqualifikation: Wahlpflicht Informatik-Ingenieurwesen: Kernqualifikation: Wahlpflicht Theoretischer Maschinenbau: Vertiefung Numerik und Informatik: Wahlpflicht |
Lehrveranstaltung L0120: Effiziente Algorithmen |
Typ | Vorlesung |
SWS | 2 |
LP | 3 |
Arbeitsaufwand in Stunden | Eigenstudium 62, Präsenzstudium 28 |
Dozenten | Prof. Siegfried Rump |
Sprachen | DE |
Zeitraum | WiSe |
Inhalt |
- Lineare Optimierung - Datenstrukturen - Leftist heaps - Minimum spanning tree - Shortest path - Maximum flow - NP-harte Probleme via max-cut |
Literatur |
R. E. Tarjan: Data Structures and Network Algorithms. CBMS 44, Society for Industrial and Applied Mathematics, Philadelphia, PA, 1983. Wesley, 2011 http://algs4.cs.princeton.edu/home/ V. Chvátal, ``Linear Programming'', Freeman, New York, 1983. |
Lehrveranstaltung L1207: Effiziente Algorithmen |
Typ | Gruppenübung |
SWS | 2 |
LP | 3 |
Arbeitsaufwand in Stunden | Eigenstudium 62, Präsenzstudium 28 |
Dozenten | Prof. Siegfried Rump |
Sprachen | DE |
Zeitraum | WiSe |
Inhalt | Siehe korrespondierende Vorlesung |
Literatur | Siehe korrespondierende Vorlesung |
Modul M0683: Algebraische Statistik für computerorientierte Biologie |
||||||||||||
Lehrveranstaltungen | ||||||||||||
|
Modulverantwortlicher | Prof. Karl-Heinz Zimmermann |
Zulassungsvoraussetzungen | Keine. |
Empfohlene Vorkenntnisse | Höhere Mathematik, insbesondere Analysis, Lineare Algebra und Grundlagen der abstrakten Algebra. |
Modulziele/ angestrebte Lernergebnisse | Nach erfolgreicher Teilnahme haben die Studierenden die folgenden Lernergebnisse erreicht |
Fachkompetenz | |
Wissen |
Wissen: Die Studierenden kennen
|
Fertigkeiten |
Fertigkeiten: Die Studierenden können
|
Personale Kompetenzen | |
Sozialkompetenz |
Die Studierenden sind nach Abschluss des Moduls in der Lage, fachspezifische Aufgaben alleine oder in einer Gruppe zu bearbeiten und die Resultate geeignet zu präsentieren. |
Selbstständigkeit |
Die Studierenden sind nach Abschluss des Moduls in der Lage, sich Teilbereiche des Fachgebietes anhand von einschlägiger Fachliteratur selbständig zu erarbeiten, das erworbene Wissen zusammenzufassen, zu präsentieren und es mit den Inhalten anderer Lehrveranstaltungen zu verknüpfen. |
Arbeitsaufwand in Stunden | Eigenstudium 124, Präsenzstudium 56 |
Leistungspunkte | 6 |
Prüfung | Mündliche Prüfung |
Prüfungsdauer und -umfang | 30 min |
Zuordnung zu folgenden Curricula |
Bioverfahrenstechnik: Vertiefung A - Allgemeine Bioverfahrenstechnik: Wahlpflicht Chemical and Bioprocess Engineering: Vertiefung Bioverfahrenstechnik: Wahlpflicht Chemical and Bioprocess Engineering: Vertiefung Allgemeine Verfahrenstechnik: Wahlpflicht Computer Science: Kernqualifikation: Wahlpflicht Informatik-Ingenieurwesen: Kernqualifikation: Wahlpflicht Internationales Wirtschaftsingenieurwesen: Vertiefung II. Informationstechnologie: Wahlpflicht |
Lehrveranstaltung L0457: Algebraische Statistik für computergestützte Biologie |
Typ | Gruppenübung |
SWS | 2 |
LP | 3 |
Arbeitsaufwand in Stunden | Eigenstudium 62, Präsenzstudium 28 |
Dozenten | Prof. Karl-Heinz Zimmermann |
Sprachen | DE/EN |
Zeitraum | WiSe |
Inhalt | |
Literatur |
Lehrveranstaltung L0456: Algebraische Statistik für computerorientierte Biologie |
Typ | Vorlesung |
SWS | 2 |
LP | 3 |
Arbeitsaufwand in Stunden | Eigenstudium 62, Präsenzstudium 28 |
Dozenten | Prof. Karl-Heinz Zimmermann |
Sprachen | DE/EN |
Zeitraum | WiSe |
Inhalt | |
Literatur |
Modul M0711: Numerische Mathematik II |
||||||||||||
Lehrveranstaltungen | ||||||||||||
|
Modulverantwortlicher | Prof. Blanca Ayuso Dios |
Zulassungsvoraussetzungen |
Keine |
Empfohlene Vorkenntnisse |
|
Modulziele/ angestrebte Lernergebnisse | Nach erfolgreicher Teilnahme haben die Studierenden die folgenden Lernergebnisse erreicht |
Fachkompetenz | |
Wissen |
Studierende können
|
Fertigkeiten |
Studierende sind in der Lage,
|
Personale Kompetenzen | |
Sozialkompetenz |
Studierende können
|
Selbstständigkeit |
Studierende sind fähig,
|
Arbeitsaufwand in Stunden | Eigenstudium 124, Präsenzstudium 56 |
Leistungspunkte | 6 |
Prüfung | Mündliche Prüfung |
Prüfungsdauer und -umfang | 30 min |
Zuordnung zu folgenden Curricula |
Computer Science: Kernqualifikation: Wahlpflicht Informatik-Ingenieurwesen: Kernqualifikation: Wahlpflicht Technomathematik: Vertiefung Mathematik: Wahlpflicht Theoretischer Maschinenbau: Vertiefung Numerik und Informatik: Wahlpflicht |
Lehrveranstaltung L0568: Numerische Mathematik II |
Typ | Vorlesung |
SWS | 2 |
LP | 3 |
Arbeitsaufwand in Stunden | Eigenstudium 62, Präsenzstudium 28 |
Dozenten | Prof. Blanca Ayuso Dios |
Sprachen | DE/EN |
Zeitraum | WiSe |
Inhalt |
|
Literatur |
|
Lehrveranstaltung L0569: Numerische Mathematik II |
Typ | Gruppenübung |
SWS | 2 |
LP | 3 |
Arbeitsaufwand in Stunden | Eigenstudium 62, Präsenzstudium 28 |
Dozenten | Prof. Blanca Ayuso Dios |
Sprachen | DE/EN |
Zeitraum | WiSe |
Inhalt | Siehe korrespondierende Vorlesung |
Literatur | Siehe korrespondierende Vorlesung |
Modul M0582: Nichtlineare Optimierung |
||||||||||||
Lehrveranstaltungen | ||||||||||||
|
Modulverantwortlicher | Dr. Christian Jansson |
Zulassungsvoraussetzungen | Keine |
Empfohlene Vorkenntnisse |
Grundkenntnisse in Mathematik |
Modulziele/ angestrebte Lernergebnisse | Nach erfolgreicher Teilnahme haben die Studierenden die folgenden Lernergebnisse erreicht |
Fachkompetenz | |
Wissen | Die Studierenden haben Kenntnisse der grundlegenden Prinzipien der numerischen nichtlinearen Optimierung. Insbesondere kennen sie die wichtigsten Optimalitätskriterien und Optimierungsverfahren für endlich dimensionale sowie unendlich dimensionale Probleme. |
Fertigkeiten | Die Studierenden haben Erfahrungen im Umgang mit Software-Paketen im Bereich der Optimierung. Sie können praktische Optimierungsprobleme flexibel modellieren und näherungsweise berechnete optimale Lösungen problemangepasst beurteilen. |
Personale Kompetenzen | |
Sozialkompetenz | Die Studierenden können in kleinen Gruppen fachspezifische Aufgaben gemeinsam bearbeiten und Ergebnisse in geeigneter Weise präsentieren, zum Beispiel während Kleingruppenübungen. |
Selbstständigkeit | Die Studierenden sind in der Lage, die angegebenen Literaturquellen zu benutzen und auszuwerten. Sie können ihren Wissensstand mit Hilfe von Übungen kontinuierlich überprüfen und auf dieser Basis ihre Lernprozesse steuern. |
Arbeitsaufwand in Stunden | Eigenstudium 124, Präsenzstudium 56 |
Leistungspunkte | 6 |
Prüfung | Mündliche Prüfung |
Prüfungsdauer und -umfang | 90 Minuten |
Zuordnung zu folgenden Curricula |
Computer Science: Kernqualifikation: Wahlpflicht Informatik-Ingenieurwesen: Kernqualifikation: Wahlpflicht Mechatronics: Vertiefung Systementwurf: Wahlpflicht Mechatronics: Vertiefung Intelligente Systeme und Robotik: Wahlpflicht Produktentwicklung, Werkstoffe und Produktion: Kernqualifikation: Wahlpflicht |
Lehrveranstaltung L0228: Nichtlineare Optimierung |
Typ | Vorlesung |
SWS | 3 |
LP | 4 |
Arbeitsaufwand in Stunden | Eigenstudium 78, Präsenzstudium 42 |
Dozenten | Dr. Christian Jansson |
Sprachen | DE |
Zeitraum | SoSe |
Inhalt |
Einleitung Beispiele MATLAB und Optimization Toolbox Grundlagen
Optimalitätsbedingungen
Optimierung dynamischer Systeme
Nichtlineare Minimierung ohne Nebenbedingungen
Nichtlineare Minimierung mit Nebenbedingungen und konvexe Optimierung
|
Literatur |
|
Lehrveranstaltung L0229: Nichtlineare Optimierung |
Typ | Gruppenübung |
SWS | 1 |
LP | 2 |
Arbeitsaufwand in Stunden | Eigenstudium 46, Präsenzstudium 14 |
Dozenten | Dr. Christian Jansson |
Sprachen | DE |
Zeitraum | SoSe |
Inhalt | Siehe korrespondierende Vorlesung |
Literatur | Siehe korrespondierende Vorlesung |
Modul M0685: Algebraische Methoden in Informations- und Kommunikationstechnik |
||||||||||||
Lehrveranstaltungen | ||||||||||||
|
Modulverantwortlicher | Prof. Karl-Heinz Zimmermann |
Zulassungsvoraussetzungen |
Keine. |
Empfohlene Vorkenntnisse |
Höhere Mathematik, insbesondere Analysis, Lineare Algebra und Grundlagen der abstrakten Algebra. |
Modulziele/ angestrebte Lernergebnisse | Nach erfolgreicher Teilnahme haben die Studierenden die folgenden Lernergebnisse erreicht |
Fachkompetenz | |
Wissen |
Wissen: Die Studierenden werden vertraut gemacht mit folgenden Themen:
|
Fertigkeiten |
Die Studierenden können Rechnungen zu folgenden Themen durchführen:
|
Personale Kompetenzen | |
Sozialkompetenz |
Die Studierenden sind nach Abschluss des Moduls in der Lage, fachspezifische Aufgaben alleine oder in einer Gruppe zu bearbeiten und die Resultate geeignet zu präsentieren. |
Selbstständigkeit |
Die Studierenden sind nach Abschluss des Moduls in der Lage, sich Teilbereiche des Fachgebietes anhand von einschlägiger Fachliteratur selbständig zu erarbeiten, das erworbene Wissen zusammenzufassen, zu präsentieren und es mit den Inhalten anderer Lehrveranstaltungen zu verknüpfen. |
Arbeitsaufwand in Stunden | Eigenstudium 124, Präsenzstudium 56 |
Leistungspunkte | 6 |
Prüfung | Mündliche Prüfung |
Prüfungsdauer und -umfang | Einzelprüfung, 30 min |
Zuordnung zu folgenden Curricula |
Computer Science: Kernqualifikation: Wahlpflicht Informatik-Ingenieurwesen: Kernqualifikation: Wahlpflicht |
Lehrveranstaltung L0461: Algebraische Methoden in Informations- und Kommunikationstechnik |
Typ | Vorlesung |
SWS | 2 |
LP | 3 |
Arbeitsaufwand in Stunden | Eigenstudium 62, Präsenzstudium 28 |
Dozenten | Prof. Karl-Heinz Zimmermann |
Sprachen | DE/EN |
Zeitraum | SoSe |
Inhalt | |
Literatur |
Lehrveranstaltung L0462: Algebraische Methoden in Informations- und Kommunikationstechnik |
Typ | Gruppenübung |
SWS | 2 |
LP | 3 |
Arbeitsaufwand in Stunden | Eigenstudium 62, Präsenzstudium 28 |
Dozenten | Prof. Karl-Heinz Zimmermann |
Sprachen | DE/EN |
Zeitraum | SoSe |
Inhalt | |
Literatur |
Modul M0804: Forschungsprojekt und Seminar |
||||||||||||
Lehrveranstaltungen | ||||||||||||
|
Modulverantwortlicher | Prof. Karl-Heinz Zimmermann |
Zulassungsvoraussetzungen | Keine |
Empfohlene Vorkenntnisse | Wissen und Fertigkeiten aus einer der Vertiefungen im Master-Bereich des Studiengangs |
Modulziele/ angestrebte Lernergebnisse | Nach erfolgreicher Teilnahme haben die Studierenden die folgenden Lernergebnisse erreicht |
Fachkompetenz | |
Wissen |
Die Studierenden wissen,
|
Fertigkeiten |
Die Studierenden können
|
Personale Kompetenzen | |
Sozialkompetenz |
|
Selbstständigkeit |
|
Arbeitsaufwand in Stunden | Eigenstudium 372, Präsenzstudium 168 |
Leistungspunkte | 18 |
Prüfung | laut FSPO |
Prüfungsdauer und -umfang | Das Seminar erfordert eine Präsentation über ein aktuelles Forschungsthema (Vortrag 25-30 min und Diskussion 5 min). Das Forschungsprojekt ist eine Projektarbeit im Sinne der ASPO und der einschlägigen FSPO. |
Zuordnung zu folgenden Curricula |
Computer Science: Kernqualifikation: Pflicht Informatik-Ingenieurwesen: Kernqualifikation: Pflicht Information and Communication Systems: Kernqualifikation: Pflicht |
Lehrveranstaltung L1761: Forschungsprojekt |
Typ | Projektierungskurs |
SWS | 10 |
LP | 16 |
Arbeitsaufwand in Stunden | Eigenstudium 340, Präsenzstudium 140 |
Dozenten | Dozenten des SD E |
Sprachen | DE/EN |
Zeitraum | WiSe |
Inhalt |
Aktuelle Forschungsthemen aus der gewählten Vertiefungsrichtung. |
Literatur |
Aktuelle Literatur zu Forschungsthemen aus der gewählten Vertiefungsrichtung. |
Lehrveranstaltung L0817: Hauptseminar |
Typ | Seminar |
SWS | 2 |
LP | 2 |
Arbeitsaufwand in Stunden | Eigenstudium 32, Präsenzstudium 28 |
Dozenten | Dozenten des SD E |
Sprachen | DE/EN |
Zeitraum | WiSe |
Inhalt |
|
Literatur | Wird vom Veranstalter bekanntgegeben. |
Modul M0836: Communication Networks I - Analysis and Structure |
||||||||||||||||
Lehrveranstaltungen | ||||||||||||||||
|
Modulverantwortlicher | Prof. Andreas Timm-Giel |
Zulassungsvoraussetzungen | None |
Empfohlene Vorkenntnisse |
|
Modulziele/ angestrebte Lernergebnisse | Nach erfolgreicher Teilnahme haben die Studierenden die folgenden Lernergebnisse erreicht |
Fachkompetenz | |
Wissen |
Students are able to describe the principles and structures of communication networks in detail. They can explain the formal description methods of communication networks and their protocols. They are able to explain how current and complex communication networks work and describe the current research in these examples. |
Fertigkeiten |
Students are able to evaluate the performance of communication networks using the learned methods. They are able to work out problems themselves and apply the learned methods. They can apply what they have learned autonomously on further and new communication networks. |
Personale Kompetenzen | |
Sozialkompetenz |
Students are able to define tasks themselves in small teams and solve these problems together using the learned methods. They can present the obtained results. They are able to discuss and critically analyse the solutions. |
Selbstständigkeit |
Students are able to obtain the necessary expert knowledge for understanding the functionality and performance capabilities of new communication networks independently. |
Arbeitsaufwand in Stunden | Eigenstudium 110, Präsenzstudium 70 |
Leistungspunkte | 6 |
Prüfung | Kolloquium |
Prüfungsdauer und -umfang | 1,5 Stunden Kolloquium mit je drei Prüflingen, also ca. 30 min je Prüfling. Inhalt des Kolloquiums sind die Poster der vorhergehenden Postersession sowie die Lehrinhalte. |
Zuordnung zu folgenden Curricula |
Computer Science: Vertiefung Computer and Software Engineering: Wahlpflicht Elektrotechnik: Vertiefung Nachrichten- und Kommunikationstechnik: Wahlpflicht Elektrotechnik: Vertiefung Regelungs- und Energietechnik: Wahlpflicht Informatik-Ingenieurwesen: Vertiefung Informations- und Kommunikationstechnik: Wahlpflicht Information and Communication Systems: Vertiefung Kommunikationssysteme: Wahlpflicht Information and Communication Systems: Vertiefung Sichere und zuverlässige IT-Systeme, Schwerpunkt Netze: Wahlpflicht Mechatronics: Technischer Ergänzungskurs: Wahlpflicht Microelectronics and Microsystems: Vertiefung Communication and Signal Processing: Wahlpflicht |
Lehrveranstaltung L0897: Analysis and Structure of Communication Networks |
Typ | Vorlesung |
SWS | 2 |
LP | 2 |
Arbeitsaufwand in Stunden | Eigenstudium 32, Präsenzstudium 28 |
Dozenten | Dr. Maciej Mühleisen |
Sprachen | EN |
Zeitraum | WiSe |
Inhalt | |
Literatur |
Further literature is announced at the beginning of the lecture. |
Lehrveranstaltung L0899: Selected Topics of Communication Networks |
Typ | Problemorientierte Lehrveranstaltung |
SWS | 2 |
LP | 2 |
Arbeitsaufwand in Stunden | Eigenstudium 32, Präsenzstudium 28 |
Dozenten | Dr. Maciej Mühleisen |
Sprachen | EN |
Zeitraum | WiSe |
Inhalt | Example networks selected by the students will be researched on in a PBL course by the students in groups and will be presented in a poster session at the end of the term. |
Literatur |
|
Lehrveranstaltung L0898: Communication Networks Excercise |
Typ | Problemorientierte Lehrveranstaltung |
SWS | 1 |
LP | 2 |
Arbeitsaufwand in Stunden | Eigenstudium 46, Präsenzstudium 14 |
Dozenten | Dr. Maciej Mühleisen |
Sprachen | EN |
Zeitraum | WiSe |
Inhalt | Part of the content of the lecture Communication Networks are reflected in computing tasks in groups, others are motivated and addressed in the form of a PBL exercise. |
Literatur |
|
Modul M0753: Software Verification |
||||||||||||||||
Lehrveranstaltungen | ||||||||||||||||
|
Modulverantwortlicher | Prof. Sibylle Schupp |
Zulassungsvoraussetzungen | None |
Empfohlene Vorkenntnisse |
|
Modulziele/ angestrebte Lernergebnisse | Nach erfolgreicher Teilnahme haben die Studierenden die folgenden Lernergebnisse erreicht |
Fachkompetenz | |
Wissen |
Students apply the major verification techniques in model checking and deductive verification. They explain in formal terms syntax and semantics of the underlying logics, and assess the expressivity of different logics as well as their limitations. They classify formal properties of software systems. They find flaws in formal arguments, arising from modeling artifacts or underspecification. |
Fertigkeiten |
Students formulate provable properties of a software system in a formal language. They develop logic-based models that properly abstract from the software under verification and, where necessary, adapt model or property. They construct proofs and property checks by hand or using tools for model checking or deductive verification, and reflect on the scope of the results. Presented with a verification problem in natural language, they select the appropriate verification technique and justify their choice. |
Personale Kompetenzen | |
Sozialkompetenz |
Students discuss relevant topics in class. They defend their solutions orally. They communicate in English. |
Selbstständigkeit |
Using accompanying on-line material for self study, students can assess their level of knowledge continuously and adjust it appropriately. Working on exercise problems, they receive additional feedback. Within limits, they can set their own learning goals. Upon successful completion, students can identify and precisely formulate new problems in academic or applied research in the field of software verification. Within this field, they can conduct independent studies to acquire the necessary competencies and compile their findings in academic reports. They can devise plans to arrive at new solutions or assess existing ones. |
Arbeitsaufwand in Stunden | Eigenstudium 96, Präsenzstudium 84 |
Leistungspunkte | 6 |
Prüfung | Klausur |
Prüfungsdauer und -umfang | 90 min |
Zuordnung zu folgenden Curricula |
Computer Science: Vertiefung Computer and Software Engineering: Wahlpflicht Informatik-Ingenieurwesen: Vertiefung Informations- und Kommunikationstechnik: Wahlpflicht Information and Communication Systems: Vertiefung Kommunikationssysteme, Schwerpunkt Software: Wahlpflicht Information and Communication Systems: Vertiefung Sichere und zuverlässige IT-Systeme: Pflicht Internationales Wirtschaftsingenieurwesen: Vertiefung II. Informationstechnologie: Wahlpflicht |
Lehrveranstaltung L0629: Software Verification |
Typ | Vorlesung |
SWS | 2 |
LP | 3 |
Arbeitsaufwand in Stunden | Eigenstudium 62, Präsenzstudium 28 |
Dozenten | Prof. Sibylle Schupp |
Sprachen | EN |
Zeitraum | WiSe |
Inhalt |
|
Literatur |
|
Lehrveranstaltung L0630: Software Verification |
Typ | Gruppenübung |
SWS | 2 |
LP | 2 |
Arbeitsaufwand in Stunden | Eigenstudium 32, Präsenzstudium 28 |
Dozenten | Prof. Sibylle Schupp |
Sprachen | EN |
Zeitraum | WiSe |
Inhalt | Siehe korrespondierende Vorlesung |
Literatur | Siehe korrespondierende Vorlesung |
Lehrveranstaltung L1622: Software Verification |
Typ | Hörsaalübung |
SWS | 2 |
LP | 1 |
Arbeitsaufwand in Stunden | Eigenstudium 2, Präsenzstudium 28 |
Dozenten | Prof. Sibylle Schupp |
Sprachen | EN |
Zeitraum | WiSe |
Inhalt | |
Literatur |
Modul M0926: Verteilte Algorithmen |
||||||||||||
Lehrveranstaltungen | ||||||||||||
|
Modulverantwortlicher | Prof. Volker Turau |
Zulassungsvoraussetzungen | Keine |
Empfohlene Vorkenntnisse | |
Modulziele/ angestrebte Lernergebnisse | Nach erfolgreicher Teilnahme haben die Studierenden die folgenden Lernergebnisse erreicht |
Fachkompetenz | |
Wissen |
Studierende können die wichtigsten Abstraktion von Verteilten Algorithmen erklären (synchrones/asynchrones Model, nachrichtenbasierte und speicherbasierte Kommunikation, Randomisierung). Sie sind in der Lage, komplexitätsmaße für verteilte Algorithmen zu beschreiben (Runden-, Nachrichten- und Speicherkomplexität). Sie können Basisalgorithmen für die wichtigsten verteilten Probleme: Leader election, wechselseitiger Ausschluss, Graphfärbungen, Spannbäume beschreiben. Sie kennen die wesentlichen Techniken von radomisierten Algorithmen. |
Fertigkeiten |
Studierende können eigene verteilte Algorithmen entwerfen und der Komplexität analysieren. Sie greifen dabei auf existierende Standardalgorithmen zurück. Sie analysieren die Komplexität randomisierter Algorithmen. |
Personale Kompetenzen | |
Sozialkompetenz | |
Selbstständigkeit | |
Arbeitsaufwand in Stunden | Eigenstudium 124, Präsenzstudium 56 |
Leistungspunkte | 6 |
Prüfung | Mündliche Prüfung |
Prüfungsdauer und -umfang | |
Zuordnung zu folgenden Curricula |
Computer Science: Vertiefung Computer and Software Engineering: Wahlpflicht Informatik-Ingenieurwesen: Vertiefung Informations- und Kommunikationstechnik: Wahlpflicht Theoretischer Maschinenbau: Vertiefung Numerik und Informatik: Wahlpflicht |
Lehrveranstaltung L1071: Verteilte Algorithmen |
Typ | Vorlesung |
SWS | 2 |
LP | 3 |
Arbeitsaufwand in Stunden | Eigenstudium 62, Präsenzstudium 28 |
Dozenten | Prof. Volker Turau |
Sprachen | DE/EN |
Zeitraum | WiSe |
Inhalt |
|
Literatur |
|
Lehrveranstaltung L1072: Verteilte Algorithmen |
Typ | Hörsaalübung |
SWS | 2 |
LP | 3 |
Arbeitsaufwand in Stunden | Eigenstudium 62, Präsenzstudium 28 |
Dozenten | Prof. Volker Turau |
Sprachen | DE/EN |
Zeitraum | WiSe |
Inhalt | Siehe korrespondierende Vorlesung |
Literatur | Siehe korrespondierende Vorlesung |
Modul M0556: Computer Graphics and Animation |
||||||||||||
Lehrveranstaltungen | ||||||||||||
|
Modulverantwortlicher | Prof. Helmut Weberpals |
Zulassungsvoraussetzungen |
|
Empfohlene Vorkenntnisse |
Students are expected to have a solid knowledge of object-oriented programming as well as of linear algebra and geometry. |
Modulziele/ angestrebte Lernergebnisse | Nach erfolgreicher Teilnahme haben die Studierenden die folgenden Lernergebnisse erreicht |
Fachkompetenz | |
Wissen |
Students have acquired a theoretical basis in computer graphics and have a clear understanding of the process of computer animation. |
Fertigkeiten |
Students have acquired
|
Personale Kompetenzen | |
Sozialkompetenz |
Students are trained in communicating abstract ideas and are familiar with planning and conducting projects within a small team. |
Selbstständigkeit |
Students are able to direct complex computer animation projects. |
Arbeitsaufwand in Stunden | Eigenstudium 124, Präsenzstudium 56 |
Leistungspunkte | 6 |
Prüfung | Projektarbeit |
Prüfungsdauer und -umfang | 90 min |
Zuordnung zu folgenden Curricula |
Computer Science: Vertiefung Computer and Software Engineering: Wahlpflicht Informatik-Ingenieurwesen: Vertiefung Systemtechnik: Wahlpflicht Information and Communication Systems: Vertiefung Kommunikationssysteme, Schwerpunkt Signalverarbeitung: Wahlpflicht Information and Communication Systems: Vertiefung Sichere und zuverlässige IT-Systeme, Schwerpunkt Software und Signalverarbeitung : Wahlpflicht |
Lehrveranstaltung L0145: Computer Graphics and Animation |
Typ | Vorlesung |
SWS | 2 |
LP | 3 |
Arbeitsaufwand in Stunden | Eigenstudium 62, Präsenzstudium 28 |
Dozenten | Prof. Helmut Weberpals |
Sprachen | EN |
Zeitraum | SoSe |
Inhalt |
Computer graphics and animation are leading to an unprecedented visual revolution. The course deals with its technological foundations:
Students will be be working on a series of mini-projects which will eventually evolve into a final project. Learning computer graphics and animation resembles learning a musical instrument. Therefore, doing your projects well and in time is essential for performing well on this course. |
Literatur |
Alan H. Watt: 3D Computer Graphics. Harlow: Pearson (3rd ed., repr., 2009). Dariush Derakhshani: Introducing Autodesk Maya 2014. New York, NY : Wiley (2013). |
Lehrveranstaltung L0768: Computer Graphics and Animation |
Typ | Projektseminar |
SWS | 2 |
LP | 3 |
Arbeitsaufwand in Stunden | Eigenstudium 62, Präsenzstudium 28 |
Dozenten | Prof. Helmut Weberpals |
Sprachen | EN |
Zeitraum | SoSe |
Inhalt | Siehe korrespondierende Vorlesung |
Literatur | Siehe korrespondierende Vorlesung |
Modul M0653: Hochleistungsrechnen |
||||||||||||
Lehrveranstaltungen | ||||||||||||
|
Modulverantwortlicher | Prof. Thomas Rung |
Zulassungsvoraussetzungen |
Keine |
Empfohlene Vorkenntnisse | Allgemeine Grundlagen der angewandten Informationstechnik |
Modulziele/ angestrebte Lernergebnisse | Nach erfolgreicher Teilnahme haben die Studierenden die folgenden Lernergebnisse erreicht |
Fachkompetenz | |
Wissen |
Studierende können die Grundlagen der Numerik und Algorithmen von Hochleistungsrechnern unter Verwendung von aktuellen Hardwarebeispielen erläutern. Studierende sind in der Lage, die algorithmische Verknüpfung von Hard- und Softwaremerkmalen zu erklären. |
Fertigkeiten |
Studierende sind durch ihre Kenntnisse in der Lage, die algorithmischen Effizienz von Simulationsverfahren zu beurteilen. |
Personale Kompetenzen | |
Sozialkompetenz | Studierende sind befähigt im Team Algorithmen zu entwickeln und zu kodieren. |
Selbstständigkeit |
|
Arbeitsaufwand in Stunden | Eigenstudium 124, Präsenzstudium 56 |
Leistungspunkte | 6 |
Prüfung | Klausur |
Prüfungsdauer und -umfang | 1.5h |
Zuordnung zu folgenden Curricula |
Computer Science: Vertiefung Computer and Software Engineering: Wahlpflicht Informatik-Ingenieurwesen: Vertiefung Wissenschaftliches Rechnen: Wahlpflicht Theoretischer Maschinenbau: Vertiefung Numerik und Informatik: Wahlpflicht |
Lehrveranstaltung L0242: Grundlagen des Hochleistungsrechnens |
Typ | Vorlesung |
SWS | 2 |
LP | 3 |
Arbeitsaufwand in Stunden | Eigenstudium 62, Präsenzstudium 28 |
Dozenten | Prof. Thomas Rung |
Sprachen | DE/EN |
Zeitraum | SoSe |
Inhalt |
Grundlagen moderner Hardwarearchitektu, kritische Aspekte der rechnerischen bzw. hardwaretechnischen Umsetzung exemplarischer Algorithmen, Konzepte für Shared- und Distributed-Memory-System, Programmierkonzepte für Beschleunigerhardware (GPGPUs) |
Literatur |
Lehrveranstaltung L1416: Grundlagen des Hochleistungsrechnens |
Typ | Problemorientierte Lehrveranstaltung |
SWS | 2 |
LP | 3 |
Arbeitsaufwand in Stunden | Eigenstudium 62, Präsenzstudium 28 |
Dozenten | Prof. Thomas Rung |
Sprachen | DE/EN |
Zeitraum | SoSe |
Inhalt | Siehe korrespondierende Vorlesung |
Literatur | Siehe korrespondierende Vorlesung |
Modul M0673: Informationstheorie und Codierung |
||||||||||||
Lehrveranstaltungen | ||||||||||||
|
Modulverantwortlicher | Prof. Gerhard Bauch |
Zulassungsvoraussetzungen |
Keine |
Empfohlene Vorkenntnisse |
Wahrscheinlichkeitsrechnung und Stochastische Prozesse wünschenswert sind Grundkenntnisse der Nachrichtentechnik, z.B. aus der Vorlesung "Einführung in die Nachrichtentechnik und deren stochastische Methoden" |
Modulziele/ angestrebte Lernergebnisse | Nach erfolgreicher Teilnahme haben die Studierenden die folgenden Lernergebnisse erreicht |
Fachkompetenz | |
Wissen |
Die Studierenden kennen die grundlegenden Definitionen zur informationstheoretischen Quantifizierung von Information. Sie kennen das Shannonsche Quellencodierungstheorem sowie das Kanalcodierungstheorem und können damit Grenzen der Kompression bzw. der fehlerfreien Datenübertragung bestimmen. Sie verstehen die Grundprinzipien der Datenkompression (Quellencodierung) und der fehlererkennenden und fehlerkorrigierenden Kanalcodierung. Sie sind mit den Prinzipien der Decodierung vertraut, insbesondere mit modernen Verfahren der iterativen Decodierung. Sie kennen grundlegende Codierverfahren, deren Eigenschaften und Decodierverfahren. |
Fertigkeiten |
Die Studierenden sind in der Lage, die Grenzen der Datenkompression bzw. der Datenübertragungsrate für gestörte Kanäle zu bestimmen und damit ein Übertragungsverfahren zu dimensionieren. Sie sind in der Lage, die Parameter eines fehlererkennenden bzw. fehlerkorrigierenden Kanalcodierungsverfahrens zum Erreichen gegebener Zielvorgaben abzuschätzen. Sie sind in der Lage, die Eigenschaften grundlegender Kanalcodierungs- und Decodierungsverfahren hinsichtlich Fehlerkorrektureigenschaften, Decodierverzögerung und Decodierkomplexität zu vergleichen und ein geeignetes Verfahren auszuwählen. Sie sind in der Lage, grundlegende Codier- und Decodierverfahren in Software zu implementieren. |
Personale Kompetenzen | |
Sozialkompetenz |
Die Studierenden können in fachspezifische Aufgaben gemeinsam bearbeiten.
|
Selbstständigkeit |
Die Studierenden sind in der Lage, die notwendigen Informationen aus geeigneten Literaturquellen selbständig zu beschaffen und in den Kontext der Vorlesung zu setzen. Sie können ihren Wissensstand mit Hilfe vorlesungsbegleitender Maßnahmen (klausurnahe Aufgaben, Software-Tools, Clicker-System) kontinuierlich überprüfen und auf dieser Basis ihre Lernprozesse steuern. |
Arbeitsaufwand in Stunden | Eigenstudium 124, Präsenzstudium 56 |
Leistungspunkte | 6 |
Prüfung | Klausur |
Prüfungsdauer und -umfang | 90 min |
Zuordnung zu folgenden Curricula |
Computer Science: Vertiefung Computer and Software Engineering: Wahlpflicht Elektrotechnik: Vertiefung Nachrichten- und Kommunikationstechnik: Wahlpflicht Informatik-Ingenieurwesen: Vertiefung Ingenieurwesen: Wahlpflicht Information and Communication Systems: Kernqualifikation: Pflicht Mechatronics: Technischer Ergänzungskurs: Wahlpflicht |
Lehrveranstaltung L0436: Informationstheorie und Codierung |
Typ | Vorlesung |
SWS | 3 |
LP | 4 |
Arbeitsaufwand in Stunden | Eigenstudium 78, Präsenzstudium 42 |
Dozenten | Prof. Gerhard Bauch |
Sprachen | DE/EN |
Zeitraum | SoSe |
Inhalt |
|
Literatur |
Bossert, M.: Kanalcodierung. Oldenbourg. Friedrichs, B.: Kanalcodierung. Springer. Lin, S., Costello, D.: Error Control Coding. Prentice Hall. Roth, R.: Introduction to Coding Theory. Johnson, S.: Iterative Error Correction. Cambridge. Richardson, T., Urbanke, R.: Modern Coding Theory. Cambridge University Press. Gallager, R. G.: Information theory and reliable communication. Whiley-VCH Cover, T., Thomas, J.: Elements of information theory. Wiley. |
Lehrveranstaltung L0438: Informationstheorie und Codierung |
Typ | Hörsaalübung |
SWS | 1 |
LP | 2 |
Arbeitsaufwand in Stunden | Eigenstudium 46, Präsenzstudium 14 |
Dozenten | Prof. Gerhard Bauch |
Sprachen | DE/EN |
Zeitraum | SoSe |
Inhalt | Siehe korrespondierende Vorlesung |
Literatur | Siehe korrespondierende Vorlesung |
Modul M1318: Wireless Sensor Networks |
||||||||||||||||
Lehrveranstaltungen | ||||||||||||||||
|
Modulverantwortlicher | Prof. Bernd-Christian Renner |
Zulassungsvoraussetzungen | None |
Empfohlene Vorkenntnisse | |
Modulziele/ angestrebte Lernergebnisse | Nach erfolgreicher Teilnahme haben die Studierenden die folgenden Lernergebnisse erreicht |
Fachkompetenz | |
Wissen | |
Fertigkeiten | |
Personale Kompetenzen | |
Sozialkompetenz | |
Selbstständigkeit | |
Arbeitsaufwand in Stunden | Eigenstudium 124, Präsenzstudium 56 |
Leistungspunkte | 6 |
Prüfung | Mündliche Prüfung |
Prüfungsdauer und -umfang | 30 min |
Zuordnung zu folgenden Curricula |
Computer Science: Vertiefung Computer and Software Engineering: Wahlpflicht Informatik-Ingenieurwesen: Vertiefung Informations- und Kommunikationstechnik: Wahlpflicht |
Lehrveranstaltung L1819: Selected Topics of Wireless Sensor Networks |
Typ | Problemorientierte Lehrveranstaltung |
SWS | 1 |
LP | 2 |
Arbeitsaufwand in Stunden | Eigenstudium 46, Präsenzstudium 14 |
Dozenten | Prof. Bernd-Christian Renner |
Sprachen | EN |
Zeitraum | SoSe |
Inhalt |
Selected topics on sensor network research will be researched in a PBL course by the students in groups and will be presented in a poster session at the end of the term. Topics are:
|
Literatur |
Will be provided individually |
Lehrveranstaltung L1815: Wireless Sensor Networks |
Typ | Vorlesung |
SWS | 2 |
LP | 2 |
Arbeitsaufwand in Stunden | Eigenstudium 32, Präsenzstudium 28 |
Dozenten | Prof. Bernd-Christian Renner |
Sprachen | EN |
Zeitraum | SoSe |
Inhalt | |
Literatur |
Lehrveranstaltung L1816: Wireless Sensor Networks |
Typ | Gruppenübung |
SWS | 1 |
LP | 2 |
Arbeitsaufwand in Stunden | Eigenstudium 46, Präsenzstudium 14 |
Dozenten | Prof. Bernd-Christian Renner |
Sprachen | EN |
Zeitraum | SoSe |
Inhalt | Siehe korrespondierende Vorlesung |
Literatur | Siehe korrespondierende Vorlesung |
Modul M1323: Kryptographie |
||||||||||||
Lehrveranstaltungen | ||||||||||||
|
Modulverantwortlicher | Prof. Chris Brzuska |
Zulassungsvoraussetzungen | Keine |
Empfohlene Vorkenntnisse |
Prerequisites: |
Modulziele/ angestrebte Lernergebnisse | Nach erfolgreicher Teilnahme haben die Studierenden die folgenden Lernergebnisse erreicht |
Fachkompetenz | |
Wissen | |
Fertigkeiten | |
Personale Kompetenzen | |
Sozialkompetenz | |
Selbstständigkeit | |
Arbeitsaufwand in Stunden | Eigenstudium 124, Präsenzstudium 56 |
Leistungspunkte | 6 |
Prüfung | Mündliche Prüfung |
Prüfungsdauer und -umfang | |
Zuordnung zu folgenden Curricula |
Computer Science: Vertiefung Computer and Software Engineering: Wahlpflicht Informatik-Ingenieurwesen: Vertiefung Informations- und Kommunikationstechnik: Wahlpflicht Information and Communication Systems: Vertiefung Sichere und zuverlässige IT-Systeme: Wahlpflicht |
Lehrveranstaltung L1825: Krypthographie |
Typ | Gruppenübung |
SWS | 2 |
LP | 3 |
Arbeitsaufwand in Stunden | Eigenstudium 62, Präsenzstudium 28 |
Dozenten | Prof. Chris Brzuska |
Sprachen | DE/EN |
Zeitraum | SoSe |
Inhalt | |
Literatur |
Literatur: |
Lehrveranstaltung L1826: Kryptographie |
Typ | Vorlesung |
SWS | 2 |
LP | 3 |
Arbeitsaufwand in Stunden | Eigenstudium 62, Präsenzstudium 28 |
Dozenten | Prof. Chris Brzuska |
Sprachen | DE/EN |
Zeitraum | SoSe |
Inhalt |
Content: |
Literatur |
Literatur: |
Modul M1324: Software Testing |
||||||||||||
Lehrveranstaltungen | ||||||||||||
|
Modulverantwortlicher | Prof. Sibylle Schupp |
Zulassungsvoraussetzungen | None |
Empfohlene Vorkenntnisse | |
Modulziele/ angestrebte Lernergebnisse | Nach erfolgreicher Teilnahme haben die Studierenden die folgenden Lernergebnisse erreicht |
Fachkompetenz | |
Wissen | |
Fertigkeiten | |
Personale Kompetenzen | |
Sozialkompetenz | |
Selbstständigkeit | |
Arbeitsaufwand in Stunden | Eigenstudium 124, Präsenzstudium 56 |
Leistungspunkte | 6 |
Prüfung | Klausur |
Prüfungsdauer und -umfang | 90 min |
Zuordnung zu folgenden Curricula |
Computer Science: Vertiefung Computer and Software Engineering: Wahlpflicht Informatik-Ingenieurwesen: Vertiefung Informations- und Kommunikationstechnik: Wahlpflicht Information and Communication Systems: Vertiefung Kommunikationssysteme, Schwerpunkt Software: Wahlpflicht Information and Communication Systems: Vertiefung Sichere und zuverlässige IT-Systeme, Schwerpunkt Software und Signalverarbeitung : Wahlpflicht |
Lehrveranstaltung L1827: Software Testing |
Typ | Problemorientierte Lehrveranstaltung |
SWS | 2 |
LP | 3 |
Arbeitsaufwand in Stunden | Eigenstudium 62, Präsenzstudium 28 |
Dozenten | Dr. Sandro Schulze |
Sprachen | EN |
Zeitraum | SoSe |
Inhalt | |
Literatur |
Lehrveranstaltung L1828: Software Testing |
Typ | Vorlesung |
SWS | 2 |
LP | 3 |
Arbeitsaufwand in Stunden | Eigenstudium 62, Präsenzstudium 28 |
Dozenten | Dr. Sandro Schulze |
Sprachen | EN |
Zeitraum | SoSe |
Inhalt | |
Literatur |
Modul M0733: Software Analysis |
||||||||||||
Lehrveranstaltungen | ||||||||||||
|
Modulverantwortlicher | Prof. Sibylle Schupp |
Zulassungsvoraussetzungen |
None |
Empfohlene Vorkenntnisse |
|
Modulziele/ angestrebte Lernergebnisse | Nach erfolgreicher Teilnahme haben die Studierenden die folgenden Lernergebnisse erreicht |
Fachkompetenz | |
Wissen |
Students apply the major approaches to data-flow analysis, control-flow analysis, and type-based analysis, along with their classification schemes, and employ abstract interpretation. They explain the standard forms of internal representations and models, including their mathematical structure and properties, and evaluate their suitability for a particular analysis. They explain and categorize the major analysis algorithms. They distinguish precise solutions from approximative approaches, and show termination and soundness properties. |
Fertigkeiten |
Presented with an analytical task for a software artifact, students select appropriate approaches from software analysis, and justify their choice. They design suitable representations by modifying standard representations. They develop customized analyses and devise them as safe overapproximations. They formulate analyses in a formal way and construct arguments for their correctness, behavior, and precision. |
Personale Kompetenzen | |
Sozialkompetenz |
Students discuss relevant topics in class. They defend their solutions orally. They communicate in English. |
Selbstständigkeit |
Using accompanying on-line material for self study, students can assess their level of knowledge continuously and adjust it appropriately. Working on exercise problems, they receive additional feedback. Within limits, they can set their own learning goals. Upon successful completion, students can identify and precisely formulate new problems in academic or applied research in the field of software analysis. Within this field, they can conduct independent studies to acquire the necessary competencies and compile their findings in academic reports. They can devise plans to arrive at new solutions or assess existing ones. |
Arbeitsaufwand in Stunden | Eigenstudium 124, Präsenzstudium 56 |
Leistungspunkte | 6 |
Prüfung | Klausur |
Prüfungsdauer und -umfang | 90 min |
Zuordnung zu folgenden Curricula |
Computer Science: Vertiefung Computer and Software Engineering: Wahlpflicht Informatik-Ingenieurwesen: Vertiefung Informations- und Kommunikationstechnik: Wahlpflicht Information and Communication Systems: Vertiefung Kommunikationssysteme, Schwerpunkt Software: Wahlpflicht Information and Communication Systems: Vertiefung Sichere und zuverlässige IT-Systeme, Schwerpunkt Software und Signalverarbeitung : Wahlpflicht Internationales Wirtschaftsingenieurwesen: Vertiefung II. Informationstechnologie: Wahlpflicht |
Lehrveranstaltung L0631: Software Analysis |
Typ | Vorlesung |
SWS | 2 |
LP | 3 |
Arbeitsaufwand in Stunden | Eigenstudium 62, Präsenzstudium 28 |
Dozenten | Prof. Sibylle Schupp |
Sprachen | EN |
Zeitraum | SoSe |
Inhalt |
|
Literatur |
|
Lehrveranstaltung L0632: Software Analysis |
Typ | Gruppenübung |
SWS | 2 |
LP | 3 |
Arbeitsaufwand in Stunden | Eigenstudium 62, Präsenzstudium 28 |
Dozenten | Prof. Sibylle Schupp |
Sprachen | EN |
Zeitraum | SoSe |
Inhalt | Siehe korrespondierende Vorlesung |
Literatur | Siehe korrespondierende Vorlesung |
Modul M0837: Communication Networks II - Simulation and Modeling |
||||||||
Lehrveranstaltungen | ||||||||
|
Modulverantwortlicher | Prof. Andreas Timm-Giel |
Zulassungsvoraussetzungen | |
Empfohlene Vorkenntnisse |
|
Modulziele/ angestrebte Lernergebnisse | Nach erfolgreicher Teilnahme haben die Studierenden die folgenden Lernergebnisse erreicht |
Fachkompetenz | |
Wissen |
Students are able to explain the necessary stochastics, the discrete event simulation technology and modelling of networks for performance evaluation. |
Fertigkeiten |
Students are able to apply the method of simulation for performance evaluation to different, also not practiced, problems of communication networks. The students can analyse the obtained results and explain the effects observed in the network. They are able to question their own results. |
Personale Kompetenzen | |
Sozialkompetenz |
Students are able to acquire expert knowledge in groups, present the results, and discuss solution approaches and results. They are able to work out solutions for new problems in small teams. |
Selbstständigkeit |
Students are able to transfer independently and in discussion with others the acquired method and expert knowledge to new problems. They can identify missing knowledge and acquire this knowledge independently. |
Arbeitsaufwand in Stunden | Eigenstudium 110, Präsenzstudium 70 |
Leistungspunkte | 6 |
Prüfung | Kolloquium |
Prüfungsdauer und -umfang | 45-60 Minuten Kolloquium mit zwei Studierenden, also ca. 30 Minuten pro Student. |
Zuordnung zu folgenden Curricula |
Computer Science: Vertiefung Computer and Software Engineering: Wahlpflicht Elektrotechnik: Vertiefung Nachrichten- und Kommunikationstechnik: Wahlpflicht Informatik-Ingenieurwesen: Vertiefung Informations- und Kommunikationstechnik: Wahlpflicht Information and Communication Systems: Vertiefung Kommunikationssysteme: Wahlpflicht Information and Communication Systems: Vertiefung Sichere und zuverlässige IT-Systeme, Schwerpunkt Netze: Wahlpflicht |
Lehrveranstaltung L0887: Simulation and Modelling of Communication Networks |
Typ | Problemorientierte Lehrveranstaltung |
SWS | 5 |
LP | 6 |
Arbeitsaufwand in Stunden | Eigenstudium 110, Präsenzstudium 70 |
Dozenten | Prof. Andreas Timm-Giel |
Sprachen | EN |
Zeitraum | SoSe |
Inhalt |
In the course necessary basic stochastics and the discrete event simulation are introduced. Also simulation models for communication networks, for example, traffic models, mobility models and radio channel models are presented in the lecture. Students work with a simulation tool, where they can directly try out the acquired skills, algorithms and models. At the end of the course increasingly complex networks and protocols are considered and their performance is determined by simulation. |
Literatur |
Further literature is announced at the beginning of the lecture. |
Modul M0924: Software für Eingebettete Systeme |
||||||||||||
Lehrveranstaltungen | ||||||||||||
|
Modulverantwortlicher | Prof. Volker Turau |
Zulassungsvoraussetzungen | Keine |
Empfohlene Vorkenntnisse | |
Modulziele/ angestrebte Lernergebnisse | Nach erfolgreicher Teilnahme haben die Studierenden die folgenden Lernergebnisse erreicht |
Fachkompetenz | |
Wissen |
Studierende können die grundlegende Prinzipien und Vorgehensweisen für die Erstellung von Software für eingebettete Systeme erklären. Sie sind in der Lage, ereignisbasierte Programmiertechniken mittels Interrupts zu beschreiben. Sie kennen den Aufbau und Funktion eines konkreten Mikrocontrollers. Die Teilnehmer sind in der Lage, Anforderungen an Echtzeitsysteme zu erläutern. Sie können mindestens drei Scheduling Algorithmen für Echzeitbetriebssysteme erläutern (einschließlich Vor- und Nachteile) |
Fertigkeiten | Studierende erstellen interrupt-basierte Programme für einen konkreten Mikrocontroller. Sie erstellen und benutzen einen preemptiven scheduler. Sie setzen periphere Komponenten (Timer, ADCs, EEPROM) für komplexe Aufgaben eingebetteter System ein. Für den Anschluss externer Komponenten setzen sie serielle Protokolle ein. |
Personale Kompetenzen | |
Sozialkompetenz | |
Selbstständigkeit | |
Arbeitsaufwand in Stunden | Eigenstudium 110, Präsenzstudium 70 |
Leistungspunkte | 6 |
Prüfung | Klausur |
Prüfungsdauer und -umfang | 90 min |
Zuordnung zu folgenden Curricula |
Computer Science: Vertiefung Computer and Software Engineering: Wahlpflicht Informatik-Ingenieurwesen: Vertiefung Informations- und Kommunikationstechnik: Wahlpflicht Information and Communication Systems: Vertiefung Kommunikationssysteme, Schwerpunkt Software: Wahlpflicht Information and Communication Systems: Vertiefung Sichere und zuverlässige IT-Systeme, Schwerpunkt Software und Signalverarbeitung : Wahlpflicht Mechatronics: Technischer Ergänzungskurs: Wahlpflicht |
Lehrveranstaltung L1069: Software für eingebettete Systeme |
Typ | Vorlesung |
SWS | 2 |
LP | 3 |
Arbeitsaufwand in Stunden | Eigenstudium 62, Präsenzstudium 28 |
Dozenten | Prof. Volker Turau |
Sprachen | DE/EN |
Zeitraum | SoSe |
Inhalt |
|
Literatur |
|
Lehrveranstaltung L1070: Software für eingebettete Systeme |
Typ | Gruppenübung |
SWS | 3 |
LP | 3 |
Arbeitsaufwand in Stunden | Eigenstudium 48, Präsenzstudium 42 |
Dozenten | Prof. Volker Turau |
Sprachen | DE/EN |
Zeitraum | SoSe |
Inhalt | Siehe korrespondierende Vorlesung |
Literatur | Siehe korrespondierende Vorlesung |
Modul M0943: Network Security |
||||||||||||
Lehrveranstaltungen | ||||||||||||
|
Modulverantwortlicher | Prof. Dieter Gollmann |
Zulassungsvoraussetzungen | None |
Empfohlene Vorkenntnisse | Discrete Mathematics, Computer Networks (TCP/IP) |
Modulziele/ angestrebte Lernergebnisse | Nach erfolgreicher Teilnahme haben die Studierenden die folgenden Lernergebnisse erreicht |
Fachkompetenz | |
Wissen |
Students can
|
Fertigkeiten |
Students are capable of
|
Personale Kompetenzen | |
Sozialkompetenz | None |
Selbstständigkeit | Students are capable of acquiring knowledge independently from professional publications, technical standards, and other sources, and are capable of applying newly acquired knowledge to new problems. |
Arbeitsaufwand in Stunden | Eigenstudium 110, Präsenzstudium 70 |
Leistungspunkte | 6 |
Prüfung | Klausur |
Prüfungsdauer und -umfang | 120 Minuten |
Zuordnung zu folgenden Curricula |
Computer Science: Vertiefung Computer and Software Engineering: Wahlpflicht Informatik-Ingenieurwesen: Vertiefung Informations- und Kommunikationstechnik: Wahlpflicht Information and Communication Systems: Vertiefung Sichere und zuverlässige IT-Systeme: Wahlpflicht |
Lehrveranstaltung L1105: Network Security |
Typ | Vorlesung |
SWS | 3 |
LP | 3 |
Arbeitsaufwand in Stunden | Eigenstudium 48, Präsenzstudium 42 |
Dozenten | Prof. Dieter Gollmann |
Sprachen | EN |
Zeitraum | SoSe |
Inhalt |
|
Literatur |
W. Stallings: Cryptography and Network Security: Principles and Practice, 6th edition (2013) A. Menezes, P. van Oorschot, S. Vanstone: Handbook of Applied Cryptography, CRC Press (1997) D. Gollmann: Computer Security, 3rd edition, Wiley (2011) V. Niemi, K. Nyberg: UMTS Security, Wiley (2003) |
Lehrveranstaltung L1106: Network Security |
Typ | Gruppenübung |
SWS | 2 |
LP | 3 |
Arbeitsaufwand in Stunden | Eigenstudium 62, Präsenzstudium 28 |
Dozenten | Prof. Dieter Gollmann |
Sprachen | EN |
Zeitraum | SoSe |
Inhalt | Siehe korrespondierende Vorlesung |
Literatur | Siehe korrespondierende Vorlesung |
Modul M1248: Compiler für Eingebettete Systeme |
||||||||||||
Lehrveranstaltungen | ||||||||||||
|
Modulverantwortlicher | Prof. Heiko Falk |
Zulassungsvoraussetzungen | Keine |
Empfohlene Vorkenntnisse |
Modul "Eingebettete Systeme" C/C++ Programmierkenntnisse |
Modulziele/ angestrebte Lernergebnisse | Nach erfolgreicher Teilnahme haben die Studierenden die folgenden Lernergebnisse erreicht |
Fachkompetenz | |
Wissen |
Die Bedeutung Eingebetteter Systeme steigt von Jahr zu Jahr. Innerhalb Eingebetteter Systeme steigt der Software-Anteil, der auf Prozessoren ausgeführt wird, aufgrund geringerer Kosten und höherer Flexibilität ebenso kontinuierlich. Wegen der besonderen Einsatzgebiete Eingebetteter Systeme kommen hier hochgradig spezialisierte Prozessoren zum Einsatz, die applikationsspezifisch auf ihr jeweiliges Einsatzgebiet ausgerichtet sind. Diese hochgradig spezialisierten Prozessoren stellen hohe Anforderungen an einen Compiler, der Code von hoher Qualität generieren soll. Nach erfolgreichem Besuch der Veranstaltung sind die Studierenden in der Lage,
Wegen der hohen Anforderungen an Compiler für Eingebettete Systeme sind effektive Optimierungen unerlässlich. Die Studierenden lernen insbes.,
Da Compiler für Eingebettete Systeme oft verschiedene Zielfunktionen optimieren sollen (z.B. durchschnittliche oder worst-case Laufzeit, Energieverbrauch, Code-Größe), lernen die Studierenden den Einfluss von Optimierungen auf diese verschiedenen Zielfunktionen zu beurteilen. |
Fertigkeiten |
Studierende werden in die Lage versetzt, hochsprachlichen Programmcode in Maschinensprache zu übersetzen. Die Studierenden erwerben die Fähigkeit zu beurteilen, welche Art von Code-Optimierung innerhalb eines Compilers am effektivsten auf welchem Abstraktionsniveau (bspw. Quell- oder Assemblercode) durchzuführen ist. Während der Übungen erwerben die Studierenden die Fähigkeit, einen funktionierenden Compiler mitsamt Optimierungen zu implementieren. |
Personale Kompetenzen | |
Sozialkompetenz |
Die Studierenden sind nach Abschluss des Moduls in der Lage, ähnliche Aufgaben alleine oder in einer Gruppe zu bearbeiten und die Resultate geeignet zu präsentieren. |
Selbstständigkeit |
Die Studierenden sind nach Abschluss des Moduls in der Lage, sich Teilbereiche des Fachgebietes anhand von Fachliteratur selbständig zu erarbeiten, das erworbene Wissen zusammenzufassen, zu präsentieren und es mit den Inhalten anderer Lehrveranstaltungen zu verknüpfen. |
Arbeitsaufwand in Stunden | Eigenstudium 124, Präsenzstudium 56 |
Leistungspunkte | 6 |
Prüfung | Mündliche Prüfung |
Prüfungsdauer und -umfang | 30 Minuten, Inhalte der Vorlesung |
Zuordnung zu folgenden Curricula |
Computer Science: Vertiefung Computer and Software Engineering: Wahlpflicht Elektrotechnik: Vertiefung Nachrichten- und Kommunikationstechnik: Wahlpflicht Informatik-Ingenieurwesen: Vertiefung Informations- und Kommunikationstechnik: Wahlpflicht |
Lehrveranstaltung L1692: Compiler für Eingebettete Systeme |
Typ | Vorlesung |
SWS | 3 |
LP | 4 |
Arbeitsaufwand in Stunden | Eigenstudium 78, Präsenzstudium 42 |
Dozenten | Prof. Heiko Falk |
Sprachen | DE/EN |
Zeitraum | SoSe |
Inhalt | |
Literatur |
|
Lehrveranstaltung L1693: Compiler für Eingebettete Systeme |
Typ | Fachlabor |
SWS | 1 |
LP | 2 |
Arbeitsaufwand in Stunden | Eigenstudium 46, Präsenzstudium 14 |
Dozenten | Prof. Heiko Falk |
Sprachen | DE/EN |
Zeitraum | SoSe |
Inhalt | Siehe korrespondierende Vorlesung |
Literatur | Siehe korrespondierende Vorlesung |
Modul M0910: Fortgeschrittener Entwurf von Chip-Systemen (Praktikum) |
||||||||
Lehrveranstaltungen | ||||||||
|
Modulverantwortlicher | Prof. Heiko Falk |
Zulassungsvoraussetzungen | Keine. |
Empfohlene Vorkenntnisse |
Modul "Rechnerarchitektur", insbesondere Bestehen der praktischen Übungen zu "Rechnerarchitektur" |
Modulziele/ angestrebte Lernergebnisse | Nach erfolgreicher Teilnahme haben die Studierenden die folgenden Lernergebnisse erreicht |
Fachkompetenz | |
Wissen |
In diesem Modul werden fortgeschrittene Konzepte der
Rechnerarchitektur praxisorientiert vermittelt. Mit Hilfe der Hardware-Beschreibungssprache VHDL und rekonfigurierbarer FPGA-Hardware lernen Studierende, wie komplexe Rechensysteme (sog. Systems-on-Chip, SoCs), wie sie insbesondere im Bereich der eingebetteten Systeme anzutreffen sind, in Hardware zu entwerfen sind. Ausgehend von einer einfachen Prozessor-Architektur lernen Studierende, die Verarbeitung von Befehlen durch eine Maschine nach dem Pipelining-Prinzip zu realisieren. Sie implementieren verschiedene Formen Cache-basierter Speicher-Hierarchien, untersuchen Ansätze zum dynamischen Scheduling von Maschinenbefehlen und zur Sprungvorhersage, und konstruieren letztlich ein komplexes MPSoC-System (multi-processor system-on-chip), das aus mehreren Kernen besteht, die über einen gemeinsamen Bus verbunden sind. |
Fertigkeiten |
Die Studierenden können analysieren, wie hochspezifische und individuelle Rechner aus einer Sammlung gängiger Einzelkomponenten zusammengesetzt werden. Sie sind in der Lage, die Wechselwirkungen zwischen einem physischen Rechensystem und der darauf ausgeführten Software beurteilen zu können. Sie sollen so in die Lage versetzt werden, Auswirkungen hardwarenaher Entwurfsentscheidungen auf die Leistung des Gesamtsystems abzuschätzen, zu beurteilen und geeignete Optionen vorzuschlagen. |
Personale Kompetenzen | |
Sozialkompetenz |
Die Studierenden sind nach Abschluss des Moduls in der Lage, ähnliche Aufgaben alleine oder in einer Gruppe zu bearbeiten und die Resultate geeignet zu präsentieren. |
Selbstständigkeit |
Die Studierenden sind nach Abschluss des Moduls in der Lage, sich Teilbereiche des Fachgebietes anhand von Fachliteratur selbständig zu erarbeiten, das erworbene Wissen in konkrete Implementierungen komplexer Hardware-Strukturen zu überführen und es mit den Inhalten anderer Lehrveranstaltungen zu verknüpfen. |
Arbeitsaufwand in Stunden | Eigenstudium 138, Präsenzstudium 42 |
Leistungspunkte | 6 |
Prüfung | Projektarbeit |
Prüfungsdauer und -umfang | |
Zuordnung zu folgenden Curricula |
Computer Science: Vertiefung Computer and Software Engineering: Wahlpflicht Informatik-Ingenieurwesen: Vertiefung Informations- und Kommunikationstechnik: Wahlpflicht |
Lehrveranstaltung L1061: Fortgeschrittener Entwurf von Chip-Systemen |
Typ | Problemorientierte Lehrveranstaltung |
SWS | 3 |
LP | 6 |
Arbeitsaufwand in Stunden | Eigenstudium 138, Präsenzstudium 42 |
Dozenten | Prof. Heiko Falk |
Sprachen | DE/EN |
Zeitraum | WiSe |
Inhalt |
|
Literatur |
|
Modul M0942: Software Security |
||||||||||||
Lehrveranstaltungen | ||||||||||||
|
Modulverantwortlicher | Prof. Dieter Gollmann |
Zulassungsvoraussetzungen | None |
Empfohlene Vorkenntnisse | Familiarity with C/C++, web programming |
Modulziele/ angestrebte Lernergebnisse | Nach erfolgreicher Teilnahme haben die Studierenden die folgenden Lernergebnisse erreicht |
Fachkompetenz | |
Wissen |
Students can
|
Fertigkeiten |
Students are capable of
|
Personale Kompetenzen | |
Sozialkompetenz | None |
Selbstständigkeit | Students are capable of acquiring knowledge independently from professional publications, technical standards, and other sources, and are capable of applying newly acquired knowledge to new problems. |
Arbeitsaufwand in Stunden | Eigenstudium 124, Präsenzstudium 56 |
Leistungspunkte | 6 |
Prüfung | Klausur |
Prüfungsdauer und -umfang | 120 Minuten |
Zuordnung zu folgenden Curricula |
Computer Science: Vertiefung Computer and Software Engineering: Wahlpflicht Informatik-Ingenieurwesen: Vertiefung Informations- und Kommunikationstechnik: Wahlpflicht Information and Communication Systems: Vertiefung Sichere und zuverlässige IT-Systeme: Wahlpflicht |
Lehrveranstaltung L1103: Software Security |
Typ | Vorlesung |
SWS | 2 |
LP | 3 |
Arbeitsaufwand in Stunden | Eigenstudium 62, Präsenzstudium 28 |
Dozenten | Prof. Dieter Gollmann |
Sprachen | EN |
Zeitraum | WiSe |
Inhalt |
|
Literatur |
M. Howard, D. LeBlanc: Writing Secure Code, 2nd edition, Microsoft Press (2002) G. Hoglund, G. McGraw: Exploiting Software, Addison-Wesley (2004) L. Gong, G. Ellison, M. Dageforde: Inside Java 2 Platform Security, 2nd edition, Addison-Wesley (2003) B. LaMacchia, S. Lange, M. Lyons, R. Martin, K. T. Price: .NET Framework Security, Addison-Wesley Professional (2002) D. Gollmann: Computer Security, 3rd edition (2011) |
Lehrveranstaltung L1104: Software Security |
Typ | Gruppenübung |
SWS | 2 |
LP | 3 |
Arbeitsaufwand in Stunden | Eigenstudium 62, Präsenzstudium 28 |
Dozenten | Prof. Dieter Gollmann |
Sprachen | EN |
Zeitraum | WiSe |
Inhalt | Siehe korrespondierende Vorlesung |
Literatur | Siehe korrespondierende Vorlesung |
Modul M0913: CMOS Nanoelectronics with Practice |
||||||||||||||||
Lehrveranstaltungen | ||||||||||||||||
|
Modulverantwortlicher | Prof. Wolfgang Krautschneider |
Zulassungsvoraussetzungen | None |
Empfohlene Vorkenntnisse | Fundamentals of MOS devices and electronic circuits |
Modulziele/ angestrebte Lernergebnisse | Nach erfolgreicher Teilnahme haben die Studierenden die folgenden Lernergebnisse erreicht |
Fachkompetenz | |
Wissen |
|
Fertigkeiten |
|
Personale Kompetenzen | |
Sozialkompetenz |
|
Selbstständigkeit |
|
Arbeitsaufwand in Stunden | Eigenstudium 110, Präsenzstudium 70 |
Leistungspunkte | 6 |
Prüfung | Klausur |
Prüfungsdauer und -umfang | 90 min |
Zuordnung zu folgenden Curricula |
Computer Science: Vertiefung Computer and Software Engineering: Wahlpflicht Elektrotechnik: Kernqualifikation: Pflicht Informatik-Ingenieurwesen: Vertiefung Informations- und Kommunikationstechnik: Wahlpflicht Internationales Wirtschaftsingenieurwesen: Vertiefung II. Elektrotechnik: Wahlpflicht Mechanical Engineering and Management: Vertiefung Mechatronik: Wahlpflicht Mechatronics: Vertiefung Systementwurf: Wahlpflicht Microelectronics and Microsystems: Kernqualifikation: Wahlpflicht |
Lehrveranstaltung L0764: CMOS Nanoelectronics |
Typ | Vorlesung |
SWS | 2 |
LP | 3 |
Arbeitsaufwand in Stunden | Eigenstudium 62, Präsenzstudium 28 |
Dozenten | Prof. Wolfgang Krautschneider |
Sprachen | EN |
Zeitraum | WiSe |
Inhalt |
|
Literatur |
|
Lehrveranstaltung L1063: CMOS Nanoelectronics |
Typ | Laborpraktikum |
SWS | 2 |
LP | 2 |
Arbeitsaufwand in Stunden | Eigenstudium 32, Präsenzstudium 28 |
Dozenten | Prof. Wolfgang Krautschneider |
Sprachen | EN |
Zeitraum | WiSe |
Inhalt | Siehe korrespondierende Vorlesung |
Literatur | Siehe korrespondierende Vorlesung |
Lehrveranstaltung L1059: CMOS Nanoelectronics |
Typ | Gruppenübung |
SWS | 1 |
LP | 1 |
Arbeitsaufwand in Stunden | Eigenstudium 16, Präsenzstudium 14 |
Dozenten | Prof. Wolfgang Krautschneider |
Sprachen | EN |
Zeitraum | WiSe |
Inhalt | Siehe korrespondierende Vorlesung |
Literatur | Siehe korrespondierende Vorlesung |
Modul M0839: Traffic Engineering |
||||||||||||||||
Lehrveranstaltungen | ||||||||||||||||
|
Modulverantwortlicher | Prof. Andreas Timm-Giel |
Zulassungsvoraussetzungen | none |
Empfohlene Vorkenntnisse |
|
Modulziele/ angestrebte Lernergebnisse | Nach erfolgreicher Teilnahme haben die Studierenden die folgenden Lernergebnisse erreicht |
Fachkompetenz | |
Wissen |
Students are able to describe methods for planning, optimisation and performance evaluation of communication networks. |
Fertigkeiten |
Students are able to solve typical planning and optimisation tasks for communication networks. Furthermore they are able to evaluate the network performance using queuing theory. Students are able to apply independently what they have learned to other and new problems. They can present their results in front of experts and discuss them. |
Personale Kompetenzen | |
Sozialkompetenz | |
Selbstständigkeit |
Students are able to acquire the necessary expert knowledge to understand the functionality and performance of new communication networks independently. |
Arbeitsaufwand in Stunden | Eigenstudium 110, Präsenzstudium 70 |
Leistungspunkte | 6 |
Prüfung | Mündliche Prüfung |
Prüfungsdauer und -umfang | 30 min |
Zuordnung zu folgenden Curricula |
Computer Science: Vertiefung Computer and Software Engineering: Wahlpflicht Elektrotechnik: Vertiefung Nachrichten- und Kommunikationstechnik: Wahlpflicht Informatik-Ingenieurwesen: Vertiefung Informations- und Kommunikationstechnik: Wahlpflicht Informatik-Ingenieurwesen: Vertiefung Informations- und Kommunikationstechnik: Wahlpflicht Information and Communication Systems: Vertiefung Kommunikationssysteme: Wahlpflicht Information and Communication Systems: Vertiefung Sichere und zuverlässige IT-Systeme, Schwerpunkt Netze: Wahlpflicht |
Lehrveranstaltung L0902: Seminar Traffic Engineering |
Typ | Seminar |
SWS | 2 |
LP | 2 |
Arbeitsaufwand in Stunden | Eigenstudium 32, Präsenzstudium 28 |
Dozenten | Prof. Andreas Timm-Giel |
Sprachen | EN |
Zeitraum | WiSe |
Inhalt | Selected applications of methods for planning, optimization, and performance evaluation of communication networks, which have been introduced in the traffic engineering lecture are prepared by the students and presented in a seminar. |
Literatur |
|
Lehrveranstaltung L0900: Traffic Engineering |
Typ | Vorlesung |
SWS | 2 |
LP | 2 |
Arbeitsaufwand in Stunden | Eigenstudium 32, Präsenzstudium 28 |
Dozenten | Prof. Andreas Timm-Giel |
Sprachen | EN |
Zeitraum | WiSe |
Inhalt |
Network Planning and Optimization |
Literatur |
Literatur: |
Lehrveranstaltung L0901: Traffic Engineering Exercises |
Typ | Gruppenübung |
SWS | 1 |
LP | 2 |
Arbeitsaufwand in Stunden | Eigenstudium 46, Präsenzstudium 14 |
Dozenten | Prof. Andreas Timm-Giel |
Sprachen | EN |
Zeitraum | WiSe |
Inhalt |
Accompanying exercise for the traffic engineering course |
Literatur |
Literatur: |
Modul M0549: Wissenschaftliches Rechnen und Genauigkeit |
||||||||||||
Lehrveranstaltungen | ||||||||||||
|
Modulverantwortlicher | Prof. Siegfried Rump |
Zulassungsvoraussetzungen |
Keine |
Empfohlene Vorkenntnisse |
Grundkenntnisse in numerischer Mathematik |
Modulziele/ angestrebte Lernergebnisse | Nach erfolgreicher Teilnahme haben die Studierenden die folgenden Lernergebnisse erreicht |
Fachkompetenz | |
Wissen |
Die Studenten haben vertiefte Kenntnisse von numerischen und seminumerischen Methoden mit dem Ziel, prinzipiell exakte und genaue Fehlerschranken zu berechnen. Für diverse, grundlegende Problemstellungen kennen sie Algorithmen mit der Verifikation der Korrektheit des Resultats. |
Fertigkeiten |
Die Studenten können für grundlegende Probleme Algorithmen entwerfen, die korrekte Fehlerschranken für die Lösung berechnen und gleichzeitig die Empfindlichkeit in bezug auf Variation der Eingabedaten analysieren.
|
Personale Kompetenzen | |
Sozialkompetenz |
Die Studierenden können in kleinen Gruppen fachspezifische Aufgaben gemeinsam bearbeiten und Ergebnisse in geeigneter Weise präsentieren, zum Beispiel während Kleingruppenübungen. |
Selbstständigkeit |
Die Studierenden sind in der Lage, die notwendigen Informationen aus den angegebenen Literaturquellen zu beschaffen und in den Kontext der Vorlesung zu setzen. Sie können ihren Wissensstand mit Hilfe vorlesungsbegleitender Maßnahmen (Quiz-Fragen in den Vorlesungen, klausurnahe Aufgaben) kontinuierlich überprüfen und auf dieser Basis ihre Lernprozesse steuern. |
Arbeitsaufwand in Stunden | Eigenstudium 124, Präsenzstudium 56 |
Leistungspunkte | 6 |
Prüfung | Mündliche Prüfung |
Prüfungsdauer und -umfang | 30 Minuten |
Zuordnung zu folgenden Curricula |
Bioverfahrenstechnik: Vertiefung A - Allgemeine Bioverfahrenstechnik: Wahlpflicht Computer Science: Vertiefung Intelligence Engineering: Wahlpflicht Computer Science: Vertiefung Computer and Software Engineering: Wahlpflicht Informatik-Ingenieurwesen: Vertiefung Systemtechnik - Robotik: Wahlpflicht Informatik-Ingenieurwesen: Vertiefung Wissenschaftliches Rechnen: Wahlpflicht Technomathematik: Vertiefung II. Informatik: Wahlpflicht Verfahrenstechnik: Vertiefung Allgemeine Verfahrenstechnik: Wahlpflicht Verfahrenstechnik: Vertiefung Chemische Verfahrenstechnik: Wahlpflicht |
Lehrveranstaltung L0122: Einschließungsmethoden |
Typ | Vorlesung |
SWS | 2 |
LP | 3 |
Arbeitsaufwand in Stunden | Eigenstudium 62, Präsenzstudium 28 |
Dozenten | Prof. Siegfried Rump |
Sprachen | DE |
Zeitraum | WiSe |
Inhalt |
|
Literatur |
Neumaier: Interval Methods for Systems of Equations. In: Encyclopedia of Mathematics and its Applications. Cambridge University Press, 1990 S.M. Rump. Verification methods: Rigorous results using floating-point arithmetic. Acta Numerica, 19:287-449, 2010. |
Lehrveranstaltung L1208: Einschließungsmethoden |
Typ | Gruppenübung |
SWS | 2 |
LP | 3 |
Arbeitsaufwand in Stunden | Eigenstudium 62, Präsenzstudium 28 |
Dozenten | Prof. Siegfried Rump |
Sprachen | DE |
Zeitraum | WiSe |
Inhalt | Siehe korrespondierende Vorlesung |
Literatur | Siehe korrespondierende Vorlesung |
Modul M1318: Wireless Sensor Networks |
||||||||||||||||
Lehrveranstaltungen | ||||||||||||||||
|
Modulverantwortlicher | Prof. Bernd-Christian Renner |
Zulassungsvoraussetzungen | None |
Empfohlene Vorkenntnisse | |
Modulziele/ angestrebte Lernergebnisse | Nach erfolgreicher Teilnahme haben die Studierenden die folgenden Lernergebnisse erreicht |
Fachkompetenz | |
Wissen | |
Fertigkeiten | |
Personale Kompetenzen | |
Sozialkompetenz | |
Selbstständigkeit | |
Arbeitsaufwand in Stunden | Eigenstudium 124, Präsenzstudium 56 |
Leistungspunkte | 6 |
Prüfung | Mündliche Prüfung |
Prüfungsdauer und -umfang | 30 min |
Zuordnung zu folgenden Curricula |
Computer Science: Vertiefung Computer and Software Engineering: Wahlpflicht Computer Science: Vertiefung Computer and Software Engineering: Wahlpflicht Elektrotechnik: Vertiefung Nachrichten- und Kommunikationstechnik: Wahlpflicht Elektrotechnik: Vertiefung Nachrichten- und Kommunikationstechnik: Wahlpflicht Informatik-Ingenieurwesen: Vertiefung Informations- und Kommunikationstechnik: Wahlpflicht |
Lehrveranstaltung L1819: Selected Topics of Wireless Sensor Networks |
Typ | Problemorientierte Lehrveranstaltung |
SWS | 1 |
LP | 2 |
Arbeitsaufwand in Stunden | Eigenstudium 46, Präsenzstudium 14 |
Dozenten | Prof. Bernd-Christian Renner |
Sprachen | EN |
Zeitraum | SoSe |
Inhalt |
Selected topics on sensor network research will be researched in a PBL course by the students in groups and will be presented in a poster session at the end of the term. Topics are:
|
Literatur |
Will be provided individually |
Lehrveranstaltung L1815: Wireless Sensor Networks |
Typ | Vorlesung |
SWS | 2 |
LP | 2 |
Arbeitsaufwand in Stunden | Eigenstudium 32, Präsenzstudium 28 |
Dozenten | Prof. Bernd-Christian Renner |
Sprachen | EN |
Zeitraum | SoSe |
Inhalt | |
Literatur |
Lehrveranstaltung L1816: Wireless Sensor Networks |
Typ | Gruppenübung |
SWS | 1 |
LP | 2 |
Arbeitsaufwand in Stunden | Eigenstudium 46, Präsenzstudium 14 |
Dozenten | Prof. Bernd-Christian Renner |
Sprachen | EN |
Zeitraum | SoSe |
Inhalt | Siehe korrespondierende Vorlesung |
Literatur | Siehe korrespondierende Vorlesung |
Modul M1301: Software Testing |
||||||||||||
Lehrveranstaltungen | ||||||||||||
|
Modulverantwortlicher | Prof. Sibylle Schupp |
Zulassungsvoraussetzungen | None |
Empfohlene Vorkenntnisse |
|
Modulziele/ angestrebte Lernergebnisse | Nach erfolgreicher Teilnahme haben die Studierenden die folgenden Lernergebnisse erreicht |
Fachkompetenz | |
Wissen |
Students explain the different phases of testing, describe fundamental techniques of different types of testing, and paraphrase the basic principles of the corresponding test process. They give examples of software development scenarios and the corresponding test type and technique. They explain algorithms used for particular testing techniques and describe possible advantages and limitations. |
Fertigkeiten |
Students identify the appropriate testing type and technique for a given problem. They adapt and execute respective algorithms to execute a concrete test technique properly. They interpret testing results and execute corresponding steps for proper re-test scenarios. They write and analyze test specifications. They apply bug finding techniques for non-trivial problems. |
Personale Kompetenzen | |
Sozialkompetenz |
Students discuss relevant topics in class. They defend their solutions orally. |
Selbstständigkeit |
Students can assess their level of knowledge continuously and adjust it appropriately, based on feedback and on self-guided studies. Within limits, they can set their own learning goals. Upon successful completion, students can identify and precisely formulate new problems in academic or applied research in the field of software testing. Within this field, they can conduct independent studies to acquire the necessary competencies and compile their findings in academic reports. They can devise plans to arrive at new solutions or assess existing ones |
Arbeitsaufwand in Stunden | Eigenstudium 124, Präsenzstudium 56 |
Leistungspunkte | 6 |
Prüfung | Klausur |
Prüfungsdauer und -umfang | 90 min |
Zuordnung zu folgenden Curricula |
Computer Science: Vertiefung Computer and Software Engineering: Wahlpflicht Computer Science: Vertiefung Computer and Software Engineering: Wahlpflicht Informatik-Ingenieurwesen: Vertiefung Informations- und Kommunikationstechnik: Wahlpflicht Informatik-Ingenieurwesen: Vertiefung Informations- und Kommunikationstechnik: Wahlpflicht Information and Communication Systems: Vertiefung Sichere und zuverlässige IT-Systeme, Schwerpunkt Software und Signalverarbeitung : Wahlpflicht Information and Communication Systems: Vertiefung Kommunikationssysteme, Schwerpunkt Software: Wahlpflicht Information and Communication Systems: Vertiefung Kommunikationssysteme, Schwerpunkt Software: Wahlpflicht |
Lehrveranstaltung L1791: Software Testing |
Typ | Vorlesung |
SWS | 2 |
LP | 3 |
Arbeitsaufwand in Stunden | Eigenstudium 62, Präsenzstudium 28 |
Dozenten | Dr. Sandro Schulze |
Sprachen | EN |
Zeitraum | SoSe |
Inhalt |
|
Literatur |
|
Lehrveranstaltung L1792: Software Testing |
Typ | Problemorientierte Lehrveranstaltung |
SWS | 2 |
LP | 3 |
Arbeitsaufwand in Stunden | Eigenstudium 62, Präsenzstudium 28 |
Dozenten | Dr. Sandro Schulze |
Sprachen | EN |
Zeitraum | SoSe |
Inhalt |
|
Literatur |
|
Modul M0550: Digital Image Analysis |
||||||||
Lehrveranstaltungen | ||||||||
|
Modulverantwortlicher | Prof. Rolf-Rainer Grigat |
Zulassungsvoraussetzungen | |
Empfohlene Vorkenntnisse |
System theory of one-dimensional signals (convolution and correlation, sampling theory, interpolation and decimation, Fourier transform, linear time-invariant systems), linear algebra (Eigenvalue decomposition, SVD), basic stochastics and statistics (expectation values, influence of sample size, correlation and covariance, normal distribution and its parameters), basics of Matlab, basics in optics |
Modulziele/ angestrebte Lernergebnisse | Nach erfolgreicher Teilnahme haben die Studierenden die folgenden Lernergebnisse erreicht |
Fachkompetenz | |
Wissen |
Students can
|
Fertigkeiten |
Students are able to
Students can solve simple arithmetical problems relating to the specification and design of image processing and image analysis systems. Students are able to assess different solution approaches in multidimensional decision-making areas. Students can undertake a prototypical analysis of processes in Matlab. |
Personale Kompetenzen | |
Sozialkompetenz |
|
Selbstständigkeit |
Students can solve image analysis tasks independently using the relevant literature. |
Arbeitsaufwand in Stunden | Eigenstudium 124, Präsenzstudium 56 |
Leistungspunkte | 6 |
Prüfung | Klausur |
Prüfungsdauer und -umfang | 60 Minuten, Umfang Vorlesung und Materialien im StudIP |
Zuordnung zu folgenden Curricula |
Computer Science: Vertiefung Intelligence Engineering: Wahlpflicht Elektrotechnik: Vertiefung Nachrichten- und Kommunikationstechnik: Wahlpflicht Elektrotechnik: Vertiefung Medizintechnik: Wahlpflicht Informatik-Ingenieurwesen: Vertiefung Systemtechnik: Wahlpflicht Information and Communication Systems: Vertiefung Kommunikationssysteme, Schwerpunkt Signalverarbeitung: Wahlpflicht Information and Communication Systems: Vertiefung Sichere und zuverlässige IT-Systeme, Schwerpunkt Software und Signalverarbeitung : Wahlpflicht Internationales Wirtschaftsingenieurwesen: Vertiefung II. Informationstechnologie: Wahlpflicht Mechatronics: Vertiefung Intelligente Systeme und Robotik: Wahlpflicht Microelectronics and Microsystems: Vertiefung Communication and Signal Processing: Wahlpflicht Theoretischer Maschinenbau: Vertiefung Numerik und Informatik: Wahlpflicht |
Lehrveranstaltung L0126: Digital Image Analysis |
Typ | Vorlesung |
SWS | 4 |
LP | 6 |
Arbeitsaufwand in Stunden | Eigenstudium 124, Präsenzstudium 56 |
Dozenten | Prof. Rolf-Rainer Grigat |
Sprachen | EN |
Zeitraum | WiSe |
Inhalt |
|
Literatur |
Bredies/Lorenz, Mathematische Bildverarbeitung, Vieweg, 2011 |
Modul M0554: Quantitative Methods - Statistics and Operations Research |
||||||||||||
Lehrveranstaltungen | ||||||||||||
|
Modulverantwortlicher | Prof. Kathrin Fischer |
Zulassungsvoraussetzungen | None. |
Empfohlene Vorkenntnisse |
Knowledge of Mathematics on the Bachelor Level. Relevant previous knowledge is tested by an online module |
Modulziele/ angestrebte Lernergebnisse | Nach erfolgreicher Teilnahme haben die Studierenden die folgenden Lernergebnisse erreicht |
Fachkompetenz | |
Wissen |
The students know
|
Fertigkeiten |
Students are able to
|
Personale Kompetenzen | |
Sozialkompetenz |
Students are able to
|
Selbstständigkeit |
Students are able to
|
Arbeitsaufwand in Stunden | Eigenstudium 110, Präsenzstudium 70 |
Leistungspunkte | 6 |
Prüfung | Klausur |
Prüfungsdauer und -umfang | 3 Stunden (1,5 Stunden Midterm, 1,5 Stunden Abschlussklausur) |
Zuordnung zu folgenden Curricula |
Computer Science: Vertiefung Intelligence Engineering: Wahlpflicht Global Innovation Management: Kernqualifikation: Wahlpflicht Internationales Wirtschaftsingenieurwesen: Kernqualifikation: Pflicht |
Lehrveranstaltung L0127: Quantitative Methods - Statistics and Operations Research |
Typ | Problemorientierte Lehrveranstaltung |
SWS | 3 |
LP | 4 |
Arbeitsaufwand in Stunden | Eigenstudium 78, Präsenzstudium 42 |
Dozenten | Prof. Kathrin Fischer |
Sprachen | EN |
Zeitraum | WiSe |
Inhalt |
Statistics
|
Literatur |
Ausgewählte Bücher: D.R. Anderson / D.J. Sweeney / T.A. Williams / Martin: Quantitative Methods for Business. 11th Edition, Thomson, South Western 2008. Bluman, Alan G.: Elementary Statistics – A brief version. Third Edition, McGrawHill 2006. Domschke, W., Drexl, A.: Einführung in Operations Research, 7. Auflage, Springer, Berlin et al. 2007. Domschke, W. / A. Drexl / R. Klein / A. Scholl / S. Voß: Übungen und Fallbeispiele zum Operations Research, 6. Auflage, Springer, Berlin et al. 2007 Hillier, F.S., Lieberman, G.J.: Introduction to Operations Research. 8th Edition, McGraw-Hill, 2005. Schira, J.: Statistische Methoden der VWL und BWL – Theorie und Praxis. 2. Auflage, Pearson Verlag 2005. Zudem: Skript und Unterlagen, die zur Vorlesung herausgegeben werden. |
Lehrveranstaltung L0250: Quantitative Methods - Statistics and Operations Research |
Typ | Vorlesung |
SWS | 2 |
LP | 2 |
Arbeitsaufwand in Stunden | Eigenstudium 32, Präsenzstudium 28 |
Dozenten | Prof. Kathrin Fischer |
Sprachen | EN |
Zeitraum | WiSe |
Inhalt |
Statistics
Operations Research
|
Literatur |
Ausgewählte Bücher: D.R. Anderson / D.J. Sweeney / T.A. Williams / Martin: Quantitative Methods for Business. 11th Edition, Thomson, South Western 2008. Bluman, Alan G.: Elementary Statistics – A brief version. Third Edition, McGrawHill 2006. Domschke, W., Drexl, A.: Einführung in Operations Research, 7. Auflage, Springer, Berlin et al. 2007. Domschke, W. / A. Drexl / R. Klein / A. Scholl / S. Voß: Übungen und Fallbeispiele zum Operations Research, 6. Auflage, Springer, Berlin et al. 2007 Hillier, F.S., Lieberman, G.J.: Introduction to Operations Research. 8th Edition, McGraw-Hill, 2005. Schira, J.: Statistische Methoden der VWL und BWL – Theorie und Praxis. 2. Auflage, Pearson Verlag 2005. Zudem: Skript und Unterlagen, die zur Vorlesung herausgegeben werden. |
Modul M0846: Control Systems Theory and Design |
||||||||||||
Lehrveranstaltungen | ||||||||||||
|
Modulverantwortlicher | Prof. Herbert Werner |
Zulassungsvoraussetzungen | None |
Empfohlene Vorkenntnisse | Introduction to Control Systems |
Modulziele/ angestrebte Lernergebnisse | Nach erfolgreicher Teilnahme haben die Studierenden die folgenden Lernergebnisse erreicht |
Fachkompetenz | |
Wissen |
|
Fertigkeiten |
|
Personale Kompetenzen | |
Sozialkompetenz |
Students can work in small groups on specific problems to arrive at joint solutions. |
Selbstständigkeit |
Students can obtain information from provided sources (lecture notes, software documentation, experiment guides) and use it when solving given problems. They can assess their knowledge in weekly on-line tests and thereby control their learning progress. |
Arbeitsaufwand in Stunden | Eigenstudium 124, Präsenzstudium 56 |
Leistungspunkte | 6 |
Prüfung | Klausur |
Prüfungsdauer und -umfang | 120 min |
Zuordnung zu folgenden Curricula |
Computer Science: Vertiefung Intelligence Engineering: Wahlpflicht Elektrotechnik: Kernqualifikation: Pflicht Energietechnik: Kernqualifikation: Wahlpflicht Flugzeug-Systemtechnik: Vertiefung Flugzeug-Systemtechnik: Pflicht Informatik-Ingenieurwesen: Vertiefung Systemtechnik: Wahlpflicht Informatik-Ingenieurwesen: Vertiefung Systemtechnik: Wahlpflicht Internationales Wirtschaftsingenieurwesen: Vertiefung II. Elektrotechnik: Wahlpflicht Internationales Wirtschaftsingenieurwesen: Vertiefung II. Mechatronik: Wahlpflicht Mechatronics: Kernqualifikation: Pflicht Mediziningenieurwesen: Vertiefung Künstliche Organe und Regenerative Medizin: Wahlpflicht Mediziningenieurwesen: Vertiefung Implantate und Endoprothesen: Wahlpflicht Mediziningenieurwesen: Vertiefung Medizin- und Regelungstechnik: Pflicht Mediziningenieurwesen: Vertiefung Management und Administration: Wahlpflicht Produktentwicklung, Werkstoffe und Produktion: Kernqualifikation: Wahlpflicht Theoretischer Maschinenbau: Kernqualifikation: Pflicht |
Lehrveranstaltung L0656: Control Systems Theory and Design |
Typ | Vorlesung |
SWS | 2 |
LP | 4 |
Arbeitsaufwand in Stunden | Eigenstudium 92, Präsenzstudium 28 |
Dozenten | Prof. Herbert Werner |
Sprachen | EN |
Zeitraum | WiSe |
Inhalt |
State space methods (single-input single-output) • State space models and transfer functions, state feedback Digital Control System identification and model order reduction Case study |
Literatur |
|
Lehrveranstaltung L0657: Control Systems Theory and Design |
Typ | Gruppenübung |
SWS | 2 |
LP | 2 |
Arbeitsaufwand in Stunden | Eigenstudium 32, Präsenzstudium 28 |
Dozenten | Prof. Herbert Werner |
Sprachen | EN |
Zeitraum | WiSe |
Inhalt | Siehe korrespondierende Vorlesung |
Literatur | Siehe korrespondierende Vorlesung |
Modul M0629: Intelligent Autonomous Agents and Cognitive Robotics |
||||||||||||
Lehrveranstaltungen | ||||||||||||
|
Modulverantwortlicher | Rainer Marrone |
Zulassungsvoraussetzungen |
|
Empfohlene Vorkenntnisse | Vectors, matrices, Calculus, propositional Logic, Stochastics (in particular practical representation formalisms such as Bayesian networks, dynamic Bayesian networks, hidden Markov models, Kalman filters) |
Modulziele/ angestrebte Lernergebnisse | Nach erfolgreicher Teilnahme haben die Studierenden die folgenden Lernergebnisse erreicht |
Fachkompetenz | |
Wissen |
Students can explain the agent abstraction, define intelligence in terms of rational behavior, and give details about agent design (goals, utilities, environments). They can describe the main features of environments. The notion of adversarial agent cooperation can be discussed in terms of decision problems and algorithms for solving these problems. For dealing with uncertainty in real-world scenarios, students can summarize how Bayesian networks can be employed as a knowledge representation and reasoning formalism in static and dynamic settings. In addition, students can define decision making procedures in simple and sequential settings, with and with complete access to the state of the environment. In this context, students can describe techniques for solving (partially observable) Markov decision problems, and they can recall techniques for measuring the value of information. Students can identify techniques for simultaneous localization and mapping, and can explain planning techniques for achieving desired states. Students can explain coordination problems and decision making in a multi-agent setting in term of different types of equilibria, social choice functions, voting protocol, and mechanism design techniques. |
Fertigkeiten |
Students can select an appropriate agent architecture for concrete agent application scenarios. For simplified agent application students can derive decision trees and apply basic optimization techniques. For those applications they can also create Bayesian networks/dynamic Bayesian networks and apply bayesian reasoning for simple queries. Students can also name and apply different sampling techniques for simplified agent scenarios. For simple and complex decision making students can compute the best action or policies for concrete settings. In multi-agent situations students will apply techniques for finding different equilibria states,e.g., Nash equilibria. For multi-agent decision making students will apply different voting protocols and compare and explain the results. |
Personale Kompetenzen | |
Sozialkompetenz | |
Selbstständigkeit | |
Arbeitsaufwand in Stunden | Eigenstudium 124, Präsenzstudium 56 |
Leistungspunkte | 6 |
Prüfung | Klausur |
Prüfungsdauer und -umfang | 90 Minuten |
Zuordnung zu folgenden Curricula |
Computer Science: Vertiefung Intelligence Engineering: Wahlpflicht Informatik-Ingenieurwesen: Vertiefung Systemtechnik: Wahlpflicht International Production Management: Vertiefung Produktionstechnik: Wahlpflicht Internationales Wirtschaftsingenieurwesen: Vertiefung II. Informationstechnologie: Wahlpflicht Mechatronics: Technischer Ergänzungskurs: Wahlpflicht Mediziningenieurwesen: Vertiefung Künstliche Organe und Regenerative Medizin: Wahlpflicht Mediziningenieurwesen: Vertiefung Implantate und Endoprothesen: Wahlpflicht Mediziningenieurwesen: Vertiefung Medizin- und Regelungstechnik: Wahlpflicht Mediziningenieurwesen: Vertiefung Management und Administration: Wahlpflicht |
Lehrveranstaltung L0341: Intelligent Autonomous Agents and Cognitive Robotics |
Typ | Vorlesung |
SWS | 2 |
LP | 4 |
Arbeitsaufwand in Stunden | Eigenstudium 92, Präsenzstudium 28 |
Dozenten | Rainer Marrone |
Sprachen | EN |
Zeitraum | WiSe |
Inhalt |
|
Literatur |
|
Lehrveranstaltung L0512: Intelligent Autonomous Agents and Cognitive Robotics |
Typ | Gruppenübung |
SWS | 2 |
LP | 2 |
Arbeitsaufwand in Stunden | Eigenstudium 32, Präsenzstudium 28 |
Dozenten | Rainer Marrone |
Sprachen | EN |
Zeitraum | WiSe |
Inhalt | Siehe korrespondierende Vorlesung |
Literatur | Siehe korrespondierende Vorlesung |
Modul M0881: Mathematische Bildverarbeitung |
||||||||||||
Lehrveranstaltungen | ||||||||||||
|
Modulverantwortlicher | Prof. Marko Lindner |
Zulassungsvoraussetzungen | Keine |
Empfohlene Vorkenntnisse |
|
Modulziele/ angestrebte Lernergebnisse | Nach erfolgreicher Teilnahme haben die Studierenden die folgenden Lernergebnisse erreicht |
Fachkompetenz | |
Wissen |
Die Studierenden können
|
Fertigkeiten |
Die Studierenden können
|
Personale Kompetenzen | |
Sozialkompetenz |
Studierende können in heterogen zusammengesetzten Teams (d.h. aus unterschiedlichen Studiengängen und mit unterschiedlichem Hintergrundwissen) zusammenarbeiten und sich theoretische Grundlagen erklären. |
Selbstständigkeit |
|
Arbeitsaufwand in Stunden | Eigenstudium 124, Präsenzstudium 56 |
Leistungspunkte | 6 |
Prüfung | Mündliche Prüfung |
Prüfungsdauer und -umfang | 30 |
Zuordnung zu folgenden Curricula |
Bioverfahrenstechnik: Vertiefung A - Allgemeine Bioverfahrenstechnik: Wahlpflicht Computer Science: Vertiefung Intelligence Engineering: Wahlpflicht Informatik-Ingenieurwesen: Vertiefung Systemtechnik: Wahlpflicht Mechatronics: Technischer Ergänzungskurs: Wahlpflicht Technomathematik: Vertiefung Mathematik: Wahlpflicht Verfahrenstechnik: Vertiefung Allgemeine Verfahrenstechnik: Wahlpflicht |
Lehrveranstaltung L0991: Mathematische Bildverarbeitung |
Typ | Vorlesung |
SWS | 3 |
LP | 4 |
Arbeitsaufwand in Stunden | Eigenstudium 78, Präsenzstudium 42 |
Dozenten | Prof. Marko Lindner |
Sprachen | DE/EN |
Zeitraum | WiSe |
Inhalt |
|
Literatur | Bredies/Lorenz: Mathematische Bildverarbeitung |
Lehrveranstaltung L0992: Mathematische Bildverarbeitung |
Typ | Gruppenübung |
SWS | 1 |
LP | 2 |
Arbeitsaufwand in Stunden | Eigenstudium 46, Präsenzstudium 14 |
Dozenten | Prof. Marko Lindner |
Sprachen | DE/EN |
Zeitraum | WiSe |
Inhalt | Siehe korrespondierende Vorlesung |
Literatur | Siehe korrespondierende Vorlesung |
Modul M0551: Pattern Recognition and Data Compression |
||||||||
Lehrveranstaltungen | ||||||||
|
Modulverantwortlicher | Prof. Rolf-Rainer Grigat |
Zulassungsvoraussetzungen | |
Empfohlene Vorkenntnisse |
Linear algebra (including PCA, unitary transforms), stochastics and statistics, binary arithmetics |
Modulziele/ angestrebte Lernergebnisse | Nach erfolgreicher Teilnahme haben die Studierenden die folgenden Lernergebnisse erreicht |
Fachkompetenz | |
Wissen |
Students can name the basic concepts of pattern recognition and data compression. Students are able to discuss logical connections between the concepts covered in the course and to explain them by means of examples. |
Fertigkeiten |
Students can apply statistical methods to classification problems in pattern recognition and to prediction in data compression. On a sound theoretical and methodical basis they can analyze characteristic value assignments and classifications and describe data compression and video signal coding. They are able to use highly sophisticated methods and processes of the subject area. Students are capable of assessing different solution approaches in multidimensional decision-making areas. |
Personale Kompetenzen | |
Sozialkompetenz | |
Selbstständigkeit |
Students are capable of identifying problems independently and of solving them scientifically, using the methods they have learnt. |
Arbeitsaufwand in Stunden | Eigenstudium 124, Präsenzstudium 56 |
Leistungspunkte | 6 |
Prüfung | Klausur |
Prüfungsdauer und -umfang | 60 Minuten, Umfang Vorlesung und Materialien im StudIP |
Zuordnung zu folgenden Curricula |
Computer Science: Vertiefung Intelligence Engineering: Wahlpflicht Elektrotechnik: Vertiefung Nachrichten- und Kommunikationstechnik: Wahlpflicht Informatik-Ingenieurwesen: Vertiefung Systemtechnik: Wahlpflicht Information and Communication Systems: Vertiefung Kommunikationssysteme, Schwerpunkt Signalverarbeitung: Wahlpflicht Information and Communication Systems: Vertiefung Sichere und zuverlässige IT-Systeme, Schwerpunkt Software und Signalverarbeitung : Wahlpflicht Internationales Wirtschaftsingenieurwesen: Vertiefung II. Informationstechnologie: Wahlpflicht Theoretischer Maschinenbau: Vertiefung Numerik und Informatik: Wahlpflicht |
Lehrveranstaltung L0128: Pattern Recognition and Data Compression |
Typ | Vorlesung |
SWS | 4 |
LP | 6 |
Arbeitsaufwand in Stunden | Eigenstudium 124, Präsenzstudium 56 |
Dozenten | Prof. Rolf-Rainer Grigat |
Sprachen | EN |
Zeitraum | SoSe |
Inhalt |
Structure of a pattern recognition system, statistical decision theory, classification based on statistical models, polynomial regression, dimension reduction, multilayer perceptron regression, radial basis functions, support vector machines, unsupervised learning and clustering, algorithm-independent machine learning, mixture models and EM, adaptive basis function models and boosting, Markov random fields Information, entropy, redundancy, mutual information, Markov processes, basic coding schemes (code length, run length coding, prefix-free codes), entropy coding (Huffman, arithmetic coding), dictionary coding (LZ77/Deflate/LZMA2, LZ78/LZW), prediction, DPCM, CALIC, quantization (scalar and vector quantization), transform coding, prediction, decorrelation (DPCM, DCT, hybrid DCT, JPEG, JPEG-LS), motion estimation, subband coding, wavelets, HEVC (H.265,MPEG-H) |
Literatur |
Schürmann: Pattern Classification, Wiley 1996 Salomon, Data Compression, the Complete Reference, Springer, 2000 |
Modul M0558: Operations Research |
||||||||||||
Lehrveranstaltungen | ||||||||||||
|
Modulverantwortlicher | Prof. Kathrin Fischer |
Zulassungsvoraussetzungen |
Keine |
Empfohlene Vorkenntnisse |
Gute Kenntnisse aus dem Modul „Quantitative Methoden“ in den Bereichen Lineare Programmierung, Netzwerkoptimierung und ganzzahlige Optimierung |
Modulziele/ angestrebte Lernergebnisse | Nach erfolgreicher Teilnahme haben die Studierenden die folgenden Lernergebnisse erreicht |
Fachkompetenz | |
Wissen |
Wissen: Die Studierenden haben vertiefte Kenntnisse in den folgenden Bereichen erworben: Sie können
|
Fertigkeiten |
Fertigkeiten: Die Studierenden sind auf Basis des erlernten Wissens in der Lage,
|
Personale Kompetenzen | |
Sozialkompetenz |
Sozialkompetenz: Die Studierenden sind nach Abschluss des Moduls in der Lage,
|
Selbstständigkeit |
Selbständigkeit: Die Studierenden sind nach Abschluss des Moduls in der Lage,
|
Arbeitsaufwand in Stunden | Eigenstudium 124, Präsenzstudium 56 |
Leistungspunkte | 6 |
Prüfung | Hausarbeit |
Prüfungsdauer und -umfang | Wird in der LV bekannt gegeben. |
Zuordnung zu folgenden Curricula |
Computer Science: Vertiefung Intelligence Engineering: Wahlpflicht Internationales Wirtschaftsingenieurwesen: Vertiefung I. Management: Wahlpflicht Logistik, Infrastruktur und Mobilität: Kernqualifikation: Wahlpflicht |
Lehrveranstaltung L0155: Operations Research |
Typ | Vorlesung |
SWS | 2 |
LP | 3 |
Arbeitsaufwand in Stunden | Eigenstudium 62, Präsenzstudium 28 |
Dozenten | Prof. Kathrin Fischer |
Sprachen | DE |
Zeitraum | SoSe |
Inhalt |
|
Literatur |
Bücher: Albright, C., Winston, W.: Management Science Modeling. Revised Third Edition, South-Western 2009. Eiselt, H.A., Sandblom, C.-L.: Linear Programming and its Applications, Springer 2007. Eiselt, H.A., Sandblom, C.-L.: Integer Programming and Network Models, Springer 2000. Eiselt, H.A., Sandblom, C.-L.: Decision Analysis, Location Models, and Scheduling Problems, Springer 2004. Suhl, L., Mellouli, T.: Optimierungssysteme. Springer, Berlin et al., 2. Auflage, 2009. Williams, H.P.: Model Building in Mathematical Programming. 5th edition, Wiley & Sons, 2013. Winston, W., Venkataramanan, M.: Mathematical Programming. Operations Research, Volume 1, 4th Edition, Thomson, London et al. 2003. Sowie ein Skript, das zur Vorlesung herausgegeben wird. |
Lehrveranstaltung L0156: Operations Research - Seminar |
Typ | Seminar |
SWS | 2 |
LP | 3 |
Arbeitsaufwand in Stunden | Eigenstudium 62, Präsenzstudium 28 |
Dozenten | Prof. Kathrin Fischer |
Sprachen | DE |
Zeitraum | SoSe |
Inhalt |
Im Seminar werden durch Hausarbeiten und Vorträge zu speziellen Themen aus Bereichen der Vorlesung „Operations Research“ die Kenntnisse der Teilnehmer in einigen ausgewählten Gebieten, z.B. im Feld der Humanitären Logistik oder des Internationalen Supply Chain Management, weiter vertieft. Grundlage der Hausarbeiten und Vorträge bilden dabei in der Regel aktuelle Fachpublikationen aus hochrangigen englischsprachigen Zeitschriften wie dem EJOR, den Annals of Operations Research oder Interfaces, welche eine Anwendung eines bestimmten Modells oder Verfahrens für eine ausgewählte Planungssituation behandeln. Die Studierenden erhalten so die Möglichkeit, das in der Vorlesung erworbene Wissen anzuwenden und sich in eigenständiger Arbeit forschungsorientiert mit dem „State-of-the-Art“ in einem Teilgebiet des Faches Operations Research zu befassen. Durch die eigenständige Einarbeitung in aktuelle Forschungsergebnisse und deren Anwendung auf neue Fragestellungen und Beispiele erwerben die Teilnehmer vertiefte Kompetenzen auf dem Gebiet des Operations Research. |
Literatur |
Fachartikel (Journal Papers), die zu Beginn des Seminars bekanntgegeben werden. |
Modul M0587: Numerische und Seminumerische Programmierung |
||||||||||||
Lehrveranstaltungen | ||||||||||||
|
Modulverantwortlicher | Prof. Siegfried Rump |
Zulassungsvoraussetzungen | Bachelor IIW oder Mathematik |
Empfohlene Vorkenntnisse |
Vorlesung Numerik und Computer Algebra Grundkenntnisse in numerischer und diskreter Mathematik |
Modulziele/ angestrebte Lernergebnisse | Nach erfolgreicher Teilnahme haben die Studierenden die folgenden Lernergebnisse erreicht |
Fachkompetenz | |
Wissen |
Die Studierenden haben vertiefte Kenntnisse numerischer, heuristischer und exakter Methoden. Für diverse, grundlegende Problemstellungen kennen sie approximative und exakte Lösungsmöglichkeiten. Sie können zwischen exakten Lösungen und heuristisch approximativen Näherungen unterscheiden. |
Fertigkeiten |
Die Studierenden können komplexe Problemstellungen aus der Mathematik und Informatik vertieft analysieren, die Empfindlichkeit der Lösung bestimmen und insbesondere verifizierte Fehlerschranken bestimmen. Für NP-harte Probleme können sie effizient und heuristisch Lösungen bestimmen. |
Personale Kompetenzen | |
Sozialkompetenz |
Die Studierenden können in kleinen Gruppen fachspezifische Aufgaben gemeinsam bearbeiten und Ergebnisse in geeigneter Weise präsentieren, zum Beispiel während Kleingruppenübungen. |
Selbstständigkeit |
Die Studierenden sind in der Lage, die notwendigen Informationen aus den angegebenen Literaturquellen zu beschaffen und in den Kontext der Vorlesung zu setzen. Sie können ihren Wissensstand mit Hilfe vorlesungsbegleitender Maßnahmen (Quiz-Fragen in den Vorlesungen, klausurnahe Aufgaben) kontinuierlich überprüfen und auf dieser Basis ihre Lernprozesse steuern. |
Arbeitsaufwand in Stunden | Eigenstudium 124, Präsenzstudium 56 |
Leistungspunkte | 6 |
Prüfung | Mündliche Prüfung |
Prüfungsdauer und -umfang | |
Zuordnung zu folgenden Curricula |
Computer Science: Vertiefung Intelligence Engineering: Wahlpflicht Informatik-Ingenieurwesen: Vertiefung Wissenschaftliches Rechnen: Wahlpflicht |
Lehrveranstaltung L0124: Numerische und Seminumerische Programmierung |
Typ | Vorlesung |
SWS | 2 |
LP | 3 |
Arbeitsaufwand in Stunden | Eigenstudium 62, Präsenzstudium 28 |
Dozenten | Prof. Siegfried Rump |
Sprachen | DE |
Zeitraum | SoSe |
Inhalt |
|
Literatur |
Golub, G.H. and Van Loan, Ch.: Matrix Computations, John Hopkins University Press, 3rd edition, 1996 Higham, N.J.: Accuracy and stability of numerical algorithms, SIAM Publications, Philadelphia, 2nd edition, 2002 S.M. Rump. Verification methods: Rigorous results using floating-point arithmetic. Acta Numerica, 19:287–449, 2010. |
Lehrveranstaltung L1210: Numerische und Seminumerische Programmierung |
Typ | Gruppenübung |
SWS | 2 |
LP | 3 |
Arbeitsaufwand in Stunden | Eigenstudium 62, Präsenzstudium 28 |
Dozenten | Prof. Siegfried Rump |
Sprachen | DE |
Zeitraum | SoSe |
Inhalt | Siehe korrespondierende Vorlesung |
Literatur | Siehe korrespondierende Vorlesung |
Modul M0630: Robotics and Navigation in Medicine |
||||||||||||||||
Lehrveranstaltungen | ||||||||||||||||
|
Modulverantwortlicher | Prof. Alexander Schlaefer |
Zulassungsvoraussetzungen |
None |
Empfohlene Vorkenntnisse |
principles of math (algebra, analysis/calculus) |
Modulziele/ angestrebte Lernergebnisse | Nach erfolgreicher Teilnahme haben die Studierenden die folgenden Lernergebnisse erreicht |
Fachkompetenz | |
Wissen |
The students can explain kinematics and tracking systems in clinical contexts and illustrate systems and their components in details. Systems can be evaluated with respect to collision detection and safety and regulations. Students can assess typical systems regarding design and limitations. |
Fertigkeiten |
The students are able to design and evaluate navigation systems and robotic systems for medical applications. |
Personale Kompetenzen | |
Sozialkompetenz |
The students discuss the results of other groups, provide helpful feedback and can incoorporate feedback into their work. |
Selbstständigkeit |
The students can reflect their knowledge and document the results of their work. They can present the results in an appropriate manner. |
Arbeitsaufwand in Stunden | Eigenstudium 110, Präsenzstudium 70 |
Leistungspunkte | 6 |
Prüfung | Klausur |
Prüfungsdauer und -umfang | 90 Minuten |
Zuordnung zu folgenden Curricula |
Computer Science: Vertiefung Intelligence Engineering: Wahlpflicht Elektrotechnik: Vertiefung Medizintechnik: Wahlpflicht Informatik-Ingenieurwesen: Vertiefung Systemtechnik: Wahlpflicht Mechatronics: Vertiefung Intelligente Systeme und Robotik: Wahlpflicht Mediziningenieurwesen: Vertiefung Künstliche Organe und Regenerative Medizin: Wahlpflicht Mediziningenieurwesen: Vertiefung Implantate und Endoprothesen: Wahlpflicht Mediziningenieurwesen: Vertiefung Medizin- und Regelungstechnik: Wahlpflicht Mediziningenieurwesen: Vertiefung Management und Administration: Wahlpflicht Produktentwicklung, Werkstoffe und Produktion: Vertiefung Produktentwicklung: Wahlpflicht Produktentwicklung, Werkstoffe und Produktion: Vertiefung Produktion: Wahlpflicht Produktentwicklung, Werkstoffe und Produktion: Vertiefung Werkstoffe: Wahlpflicht Theoretischer Maschinenbau: Vertiefung Bio- und Medizintechnik: Wahlpflicht |
Lehrveranstaltung L0335: Robotics and Navigation in Medicine |
Typ | Vorlesung |
SWS | 2 |
LP | 3 |
Arbeitsaufwand in Stunden | Eigenstudium 62, Präsenzstudium 28 |
Dozenten | Prof. Alexander Schlaefer |
Sprachen | EN |
Zeitraum | SoSe |
Inhalt |
- kinematics |
Literatur |
Spong et al.: Robot Modeling and Control, 2005 |
Lehrveranstaltung L0338: Robotics and Navigation in Medicine |
Typ | Projektseminar |
SWS | 2 |
LP | 2 |
Arbeitsaufwand in Stunden | Eigenstudium 32, Präsenzstudium 28 |
Dozenten | Prof. Alexander Schlaefer |
Sprachen | EN |
Zeitraum | SoSe |
Inhalt | Siehe korrespondierende Vorlesung |
Literatur | Siehe korrespondierende Vorlesung |
Lehrveranstaltung L0336: Robotics and Navigation in Medicine |
Typ | Gruppenübung |
SWS | 1 |
LP | 1 |
Arbeitsaufwand in Stunden | Eigenstudium 16, Präsenzstudium 14 |
Dozenten | Prof. Alexander Schlaefer |
Sprachen | EN |
Zeitraum | SoSe |
Inhalt | Siehe korrespondierende Vorlesung |
Literatur | Siehe korrespondierende Vorlesung |
Modul M0627: Machine Learning and Data Mining |
||||||||||||
Lehrveranstaltungen | ||||||||||||
|
Modulverantwortlicher | NN |
Zulassungsvoraussetzungen |
|
Empfohlene Vorkenntnisse |
|
Modulziele/ angestrebte Lernergebnisse | Nach erfolgreicher Teilnahme haben die Studierenden die folgenden Lernergebnisse erreicht |
Fachkompetenz | |
Wissen |
Students can explain the difference between instance-based and model-based learning approaches, and they can enumerate basic machine learning technique for each of the two basic approaches, either on the basis of static data, or on the basis of incrementally incoming data . For dealing with uncertainty, students can describe suitable representation formalisms, and they explain how axioms, features, parameters, or structures used in these formalisms can be learned automatically with different algorithms. Students are also able to sketch different clustering techniques. They depict how the performance of learned classifiers can be improved by ensemble learning, and they can summarize how this influences computational learning theory. Algorithms for reinforcement learning can also be explained by students. |
Fertigkeiten |
Student derive decision trees and, in turn, propositional rule sets from simple and static data tables and are able to name and explain basic optimization techniques. They present and apply the basic idea of first-order inductive leaning. Students apply the BME, MAP, ML, and EM algorithms for learning parameters of Bayesian networks and compare the different algorithms. They also know how to carry out Gaussian mixture learning. They can contrast kNN classifiers, neural networks, and support vector machines, and name their basic application areas and algorithmic properties. Students can describe basic clustering techniques and explain the basic components of those techniques. Students compare related machine learning techniques, e.g., k-means clustering and nearest neighbor classification. They can distinguish various ensemble learning techniques and compare the different goals of those techniques. |
Personale Kompetenzen | |
Sozialkompetenz | |
Selbstständigkeit | |
Arbeitsaufwand in Stunden | Eigenstudium 124, Präsenzstudium 56 |
Leistungspunkte | 6 |
Prüfung | Klausur |
Prüfungsdauer und -umfang | 90 Minuten |
Zuordnung zu folgenden Curricula |
Computer Science: Vertiefung Intelligence Engineering: Wahlpflicht Informatik-Ingenieurwesen: Vertiefung Systemtechnik: Wahlpflicht Internationales Wirtschaftsingenieurwesen: Vertiefung II. Informationstechnologie: Wahlpflicht Theoretischer Maschinenbau: Vertiefung Numerik und Informatik: Wahlpflicht |
Lehrveranstaltung L0340: Machine Learning and Data Mining |
Typ | Vorlesung |
SWS | 2 |
LP | 4 |
Arbeitsaufwand in Stunden | Eigenstudium 92, Präsenzstudium 28 |
Dozenten | NN |
Sprachen | EN |
Zeitraum | SoSe |
Inhalt |
|
Literatur |
|
Lehrveranstaltung L0510: Machine Learning and Data Mining |
Typ | Gruppenübung |
SWS | 2 |
LP | 2 |
Arbeitsaufwand in Stunden | Eigenstudium 32, Präsenzstudium 28 |
Dozenten | NN |
Sprachen | EN |
Zeitraum | SoSe |
Inhalt | Siehe korrespondierende Vorlesung |
Literatur | Siehe korrespondierende Vorlesung |
Modul M0552: 3D Computer Vision |
||||||||||||
Lehrveranstaltungen | ||||||||||||
|
Modulverantwortlicher | Prof. Rolf-Rainer Grigat |
Zulassungsvoraussetzungen | None |
Empfohlene Vorkenntnisse |
|
Modulziele/ angestrebte Lernergebnisse | Nach erfolgreicher Teilnahme haben die Studierenden die folgenden Lernergebnisse erreicht |
Fachkompetenz | |
Wissen |
Students can explain and describe the field of projective geometry. |
Fertigkeiten |
Students are capable of
With assistance from the teacher students are able to link the contents of the three subject areas (modules)
in practical assignments. |
Personale Kompetenzen | |
Sozialkompetenz |
Students can collaborate in a small team on the practical realization and testing of a system to reconstruct a three-dimensional scene or to evaluate volume data sets. |
Selbstständigkeit |
Students are able to solve simple tasks independently with reference to the contents of the lectures and the exercise sets. Students are able to solve detailed problems independently with the aid of the tutorial’s programming task. |
Arbeitsaufwand in Stunden | Eigenstudium 124, Präsenzstudium 56 |
Leistungspunkte | 6 |
Prüfung | Klausur |
Prüfungsdauer und -umfang | 60 Minuten, Umfang Vorlesung und Materialien im StudIP |
Zuordnung zu folgenden Curricula |
Computer Science: Vertiefung Intelligence Engineering: Wahlpflicht Informatik-Ingenieurwesen: Vertiefung Systemtechnik - Robotik: Wahlpflicht Information and Communication Systems: Vertiefung Kommunikationssysteme, Schwerpunkt Signalverarbeitung: Wahlpflicht Information and Communication Systems: Vertiefung Sichere und zuverlässige IT-Systeme, Schwerpunkt Software und Signalverarbeitung : Wahlpflicht Mechanical Engineering and Management: Vertiefung Mechatronik: Wahlpflicht Mechatronics: Vertiefung Intelligente Systeme und Robotik: Wahlpflicht Microelectronics and Microsystems: Vertiefung Communication and Signal Processing: Wahlpflicht |
Lehrveranstaltung L0129: 3D Computer Vision |
Typ | Vorlesung |
SWS | 2 |
LP | 3 |
Arbeitsaufwand in Stunden | Eigenstudium 62, Präsenzstudium 28 |
Dozenten | Prof. Rolf-Rainer Grigat |
Sprachen | EN |
Zeitraum | WiSe |
Inhalt |
|
Literatur |
|
Lehrveranstaltung L0130: 3D Computer Vision |
Typ | Gruppenübung |
SWS | 2 |
LP | 3 |
Arbeitsaufwand in Stunden | Eigenstudium 62, Präsenzstudium 28 |
Dozenten | Prof. Rolf-Rainer Grigat |
Sprachen | EN |
Zeitraum | WiSe |
Inhalt | Siehe korrespondierende Vorlesung |
Literatur | Siehe korrespondierende Vorlesung |
Modul M1249: Numerische Verfahren in der medizinischen Bildgebung |
||||||||||||
Lehrveranstaltungen | ||||||||||||
|
Modulverantwortlicher | Prof. Tobias Knopp |
Zulassungsvoraussetzungen |
Keine |
Empfohlene Vorkenntnisse |
Grundkenntnisse in Linear Algebra, insbesondere im Lösen von Gleichungssystemen |
Modulziele/ angestrebte Lernergebnisse | Nach erfolgreicher Teilnahme haben die Studierenden die folgenden Lernergebnisse erreicht |
Fachkompetenz | |
Wissen |
Nach erfolgreichem Abschluss des Moduls sind die Studierenden in der Lage, für verschiedene tomographische Bildgebungsmodalitäten Rekonstruktionsverfahren zu beschreiben. Insbesondere können die in der Computertomographie verwendeten Methoden, wie die gefilterte Rückprojektion, erläutert werden. Die Studierenden sind in der Lage die inversen Probleme hinter den verschiedenen Bildgebungsverfahren zu formulieren und Lösungsansätze zu beschreiben. |
Fertigkeiten |
Die Studierenden sind dazu in der Lage, Rekonstruktionsverfahren zu implementieren und diese anhand von tomographischen Messdaten zu testen. Sie können die rekonstruierten Bilder visualisieren und die Qualität ihrer Daten und Resultate und beurteilen. |
Personale Kompetenzen | |
Sozialkompetenz | |
Selbstständigkeit | |
Arbeitsaufwand in Stunden | Eigenstudium 124, Präsenzstudium 56 |
Leistungspunkte | 6 |
Prüfung | Klausur |
Prüfungsdauer und -umfang | 90 min |
Zuordnung zu folgenden Curricula |
Computer Science: Vertiefung Intelligence Engineering: Wahlpflicht Elektrotechnik: Vertiefung Modellierung und Simulation: Wahlpflicht Elektrotechnik: Vertiefung Medizintechnik: Wahlpflicht Elektrotechnik: Vertiefung Medizintechnik: Wahlpflicht Informatik-Ingenieurwesen: Vertiefung Systemtechnik - Robotik: Wahlpflicht |
Lehrveranstaltung L1694: Numerische Verfahren in der medizinischen Bildgebung |
Typ | Vorlesung |
SWS | 2 |
LP | 3 |
Arbeitsaufwand in Stunden | Eigenstudium 62, Präsenzstudium 28 |
Dozenten | Prof. Tobias Knopp |
Sprachen | DE |
Zeitraum | WiSe |
Inhalt | |
Literatur |
Bildgebende Verfahren in der Medizin; O. Dössel; Springer, Berlin, 2000 Bildgebende Systeme für die medizinische Diagnostik; H. Morneburg (Hrsg.); Publicis MCD, München, 1995 Introduction to the Mathematics of Medical Imaging; C. L.Epstein; Siam, Philadelphia, 2008 Medical Image Processing, Reconstruction and Restoration; J. Jan; Taylor and Francis, Boca Raton, 2006 Principles of Magnetic Resonance Imaging; Z.-P. Liang and P. C. Lauterbur; IEEE Press, New York, 1999 |
Lehrveranstaltung L1695: Numerische Verfahren in der medizinischen Bildgebung |
Typ | Gruppenübung |
SWS | 2 |
LP | 3 |
Arbeitsaufwand in Stunden | Eigenstudium 62, Präsenzstudium 28 |
Dozenten | Prof. Tobias Knopp |
Sprachen | DE |
Zeitraum | WiSe |
Inhalt | Siehe korrespondierende Vorlesung |
Literatur | Siehe korrespondierende Vorlesung |
Modul M0623: Intelligent Systems in Medicine |
||||||||||||||||
Lehrveranstaltungen | ||||||||||||||||
|
Modulverantwortlicher | Prof. Alexander Schlaefer |
Zulassungsvoraussetzungen | None |
Empfohlene Vorkenntnisse |
|
Modulziele/ angestrebte Lernergebnisse | Nach erfolgreicher Teilnahme haben die Studierenden die folgenden Lernergebnisse erreicht |
Fachkompetenz | |
Wissen |
The students are able to analyze and solve clinical treatment planning and decision support problems using methods for search, optimization, and planning. They are able to explain methods for classification and their respective advantages and disadvantages in clinical contexts. The students can compare different methods for representing medical knowledge. They can evaluate methods in the context of clinical data and explain challenges due to the clinical nature of the data and its acquisition and due to privacy and safety requirements. |
Fertigkeiten |
The students can give reasons for selecting and adapting methods for classification, regression, and prediction. They can assess the methods based on actual patient data and evaluate the implemented methods. |
Personale Kompetenzen | |
Sozialkompetenz |
The students discuss the results of other groups, provide helpful feedback and can incoorporate feedback into their work. |
Selbstständigkeit |
The students can reflect their knowledge and document the results of their work. They can present the results in an appropriate manner. |
Arbeitsaufwand in Stunden | Eigenstudium 110, Präsenzstudium 70 |
Leistungspunkte | 6 |
Prüfung | Klausur |
Prüfungsdauer und -umfang | 90 Minuten |
Zuordnung zu folgenden Curricula |
Computer Science: Vertiefung Intelligence Engineering: Wahlpflicht Elektrotechnik: Vertiefung Medizintechnik: Wahlpflicht Informatik-Ingenieurwesen: Vertiefung Systemtechnik - Robotik: Wahlpflicht Mechatronics: Vertiefung Intelligente Systeme und Robotik: Wahlpflicht Mediziningenieurwesen: Vertiefung Künstliche Organe und Regenerative Medizin: Wahlpflicht Mediziningenieurwesen: Vertiefung Implantate und Endoprothesen: Wahlpflicht Mediziningenieurwesen: Vertiefung Medizin- und Regelungstechnik: Wahlpflicht Mediziningenieurwesen: Vertiefung Management und Administration: Wahlpflicht Theoretischer Maschinenbau: Vertiefung Bio- und Medizintechnik: Wahlpflicht Theoretischer Maschinenbau: Technischer Ergänzungskurs: Wahlpflicht |
Lehrveranstaltung L0331: Intelligent Systems in Medicine |
Typ | Vorlesung |
SWS | 2 |
LP | 3 |
Arbeitsaufwand in Stunden | Eigenstudium 62, Präsenzstudium 28 |
Dozenten | Prof. Alexander Schlaefer |
Sprachen | EN |
Zeitraum | WiSe |
Inhalt |
- methods for search, optimization, planning, classification, regression and prediction in a clinical context |
Literatur |
Russel & Norvig: Artificial Intelligence: a Modern Approach, 2012 |
Lehrveranstaltung L0334: Intelligent Systems in Medicine |
Typ | Projektseminar |
SWS | 2 |
LP | 2 |
Arbeitsaufwand in Stunden | Eigenstudium 32, Präsenzstudium 28 |
Dozenten | Prof. Alexander Schlaefer |
Sprachen | EN |
Zeitraum | WiSe |
Inhalt | Siehe korrespondierende Vorlesung |
Literatur | Siehe korrespondierende Vorlesung |
Lehrveranstaltung L0333: Intelligent Systems in Medicine |
Typ | Gruppenübung |
SWS | 1 |
LP | 1 |
Arbeitsaufwand in Stunden | Eigenstudium 16, Präsenzstudium 14 |
Dozenten | Prof. Alexander Schlaefer |
Sprachen | EN |
Zeitraum | WiSe |
Inhalt | Siehe korrespondierende Vorlesung |
Literatur | Siehe korrespondierende Vorlesung |
Modul M0633: Industrial Process Automation |
||||||||||||
Lehrveranstaltungen | ||||||||||||
|
Modulverantwortlicher | Prof. Alexander Schlaefer |
Zulassungsvoraussetzungen | None |
Empfohlene Vorkenntnisse |
mathematics and optimization methods |
Modulziele/ angestrebte Lernergebnisse | Nach erfolgreicher Teilnahme haben die Studierenden die folgenden Lernergebnisse erreicht |
Fachkompetenz | |
Wissen |
The students can evaluate and assess disctrete event systems. They can evaluate properties of processes and explain methods for process analysis. The students can compare methods for process modelling and select an appropriate method for actual problems. They can discuss scheduling methods in the context of actual problems and give a detailed explanation of advantages and disadvantages of different programming methods. |
Fertigkeiten |
The students are able to develop and model processes and evaluate them accordingly. This involves taking into account optimal scheduling, understanding algorithmic complexity and implementation using PLCs. |
Personale Kompetenzen | |
Sozialkompetenz |
The students work in teams to solve problems. |
Selbstständigkeit |
The students can reflect their knowledge and document the results of their work. |
Arbeitsaufwand in Stunden | Eigenstudium 124, Präsenzstudium 56 |
Leistungspunkte | 6 |
Prüfung | Klausur |
Prüfungsdauer und -umfang | 90 Minuten |
Zuordnung zu folgenden Curricula |
Bioverfahrenstechnik: Vertiefung A - Allgemeine Bioverfahrenstechnik: Wahlpflicht Chemical and Bioprocess Engineering: Vertiefung Chemische Verfahrenstechnik: Wahlpflicht Chemical and Bioprocess Engineering: Vertiefung Allgemeine Verfahrenstechnik: Wahlpflicht Computer Science: Vertiefung Intelligence Engineering: Wahlpflicht Elektrotechnik: Vertiefung Regelungs- und Energietechnik: Wahlpflicht Informatik-Ingenieurwesen: Vertiefung Wissenschaftliches Rechnen: Wahlpflicht Informatik-Ingenieurwesen: Vertiefung Systemtechnik - Robotik: Wahlpflicht International Production Management: Vertiefung Produktionstechnik: Wahlpflicht Internationales Wirtschaftsingenieurwesen: Vertiefung II. Mechatronik: Wahlpflicht Mechanical Engineering and Management: Vertiefung Mechatronik: Wahlpflicht Mechatronics: Vertiefung Intelligente Systeme und Robotik: Wahlpflicht Theoretischer Maschinenbau: Vertiefung Numerik und Informatik: Wahlpflicht Theoretischer Maschinenbau: Technischer Ergänzungskurs: Wahlpflicht Verfahrenstechnik: Vertiefung Chemische Verfahrenstechnik: Wahlpflicht Verfahrenstechnik: Vertiefung Allgemeine Verfahrenstechnik: Wahlpflicht |
Lehrveranstaltung L0344: Industrial Process Automation |
Typ | Vorlesung |
SWS | 2 |
LP | 3 |
Arbeitsaufwand in Stunden | Eigenstudium 62, Präsenzstudium 28 |
Dozenten | Prof. Alexander Schlaefer |
Sprachen | EN |
Zeitraum | WiSe |
Inhalt |
- foundations of problem solving and system modeling, discrete event systems |
Literatur |
J. Lunze: „Automatisierungstechnik“, Oldenbourg Verlag, 2012 |
Lehrveranstaltung L0345: Industrial Process Automation |
Typ | Gruppenübung |
SWS | 2 |
LP | 3 |
Arbeitsaufwand in Stunden | Eigenstudium 62, Präsenzstudium 28 |
Dozenten | Prof. Alexander Schlaefer |
Sprachen | EN |
Zeitraum | WiSe |
Inhalt | Siehe korrespondierende Vorlesung |
Literatur | Siehe korrespondierende Vorlesung |
Modul M0738: Digital Audio Signal Processing |
||||||||||||
Lehrveranstaltungen | ||||||||||||
|
Modulverantwortlicher | Prof. Udo Zölzer |
Zulassungsvoraussetzungen |
None |
Empfohlene Vorkenntnisse | |
Modulziele/ angestrebte Lernergebnisse | Nach erfolgreicher Teilnahme haben die Studierenden die folgenden Lernergebnisse erreicht |
Fachkompetenz | |
Wissen |
Die Studierenden können die grundlegenden Verfahren und Methoden der digitalen Audiosignalverarbeitung erklären. Sie können die wesentlichen physikalischen Effekte bei der Sprach- und Audiosignalverarbeitung erläutern und in Kategorien einordnen. Sie können einen Überblick der numerischen Methoden und messtechnischen Charakterisierung von Algorithmen zur Audiosignalverarbeitung geben. Sie können die erarbeiteten Algorithmen auf weitere Anwendungen im Bereich der Informationstechnik und Informatik abstrahieren. |
Fertigkeiten |
The students will be able to apply methods and techniques from audio signal processing in the fields of mobile and internet communication. They can rely on elementary algorithms of audio signal processing in form of Matlab code and interactive JAVA applets. They can study parameter modifications and evaluate the influence on human perception and technical applications in a variety of applications beyond audio signal processing. Students can perform measurements in time and frequency domain in order to give objective and subjective quality measures with respect to the methods and applications. |
Personale Kompetenzen | |
Sozialkompetenz |
The students can work in small groups to study special tasks and problems and will be enforced to present their results with adequate methods during the exercise. |
Selbstständigkeit |
The students will be able to retrieve information out of the relevant literature in the field and putt hem into the context of the lecture. They can relate their gathered knowledge and relate them to other lectures (signals and systems, digital communication systems, image and video processing, and pattern recognition). They will be prepared to understand and communicate problems and effects in the field audio signal processing. |
Arbeitsaufwand in Stunden | Eigenstudium 124, Präsenzstudium 56 |
Leistungspunkte | 6 |
Prüfung | Klausur |
Prüfungsdauer und -umfang | 45 min |
Zuordnung zu folgenden Curricula |
Computer Science: Vertiefung Intelligence Engineering: Wahlpflicht Elektrotechnik: Vertiefung Nachrichten- und Kommunikationstechnik: Wahlpflicht Informatik-Ingenieurwesen: Vertiefung Informations- und Kommunikationstechnik: Wahlpflicht Information and Communication Systems: Vertiefung Sichere und zuverlässige IT-Systeme, Schwerpunkt Software und Signalverarbeitung : Wahlpflicht Information and Communication Systems: Vertiefung Kommunikationssysteme, Schwerpunkt Signalverarbeitung: Wahlpflicht Microelectronics and Microsystems: Vertiefung Communication and Signal Processing: Wahlpflicht |
Lehrveranstaltung L0650: Digital Audio Signal Processing |
Typ | Vorlesung |
SWS | 3 |
LP | 4 |
Arbeitsaufwand in Stunden | Eigenstudium 78, Präsenzstudium 42 |
Dozenten | Prof. Udo Zölzer |
Sprachen | EN |
Zeitraum | WiSe |
Inhalt |
|
Literatur |
- U. Zölzer, Digitale Audiosignalverarbeitung, 3. Aufl., B.G. Teubner, 2005. - U. Zölzer, Digitale Audio Signal Processing, 2nd Edition, J. Wiley & Sons, 2005. - U. Zölzer (Ed), Digital Audio Effects, 2nd Edition, J. Wiley & Sons, 2011.
|
Lehrveranstaltung L0651: Digital Audio Signal Processing |
Typ | Hörsaalübung |
SWS | 1 |
LP | 2 |
Arbeitsaufwand in Stunden | Eigenstudium 46, Präsenzstudium 14 |
Dozenten | Prof. Udo Zölzer |
Sprachen | EN |
Zeitraum | WiSe |
Inhalt | |
Literatur |
Modul M0549: Wissenschaftliches Rechnen und Genauigkeit |
||||||||||||
Lehrveranstaltungen | ||||||||||||
|
Modulverantwortlicher | Prof. Siegfried Rump |
Zulassungsvoraussetzungen |
Keine |
Empfohlene Vorkenntnisse |
Grundkenntnisse in numerischer Mathematik |
Modulziele/ angestrebte Lernergebnisse | Nach erfolgreicher Teilnahme haben die Studierenden die folgenden Lernergebnisse erreicht |
Fachkompetenz | |
Wissen |
Die Studenten haben vertiefte Kenntnisse von numerischen und seminumerischen Methoden mit dem Ziel, prinzipiell exakte und genaue Fehlerschranken zu berechnen. Für diverse, grundlegende Problemstellungen kennen sie Algorithmen mit der Verifikation der Korrektheit des Resultats. |
Fertigkeiten |
Die Studenten können für grundlegende Probleme Algorithmen entwerfen, die korrekte Fehlerschranken für die Lösung berechnen und gleichzeitig die Empfindlichkeit in bezug auf Variation der Eingabedaten analysieren.
|
Personale Kompetenzen | |
Sozialkompetenz |
Die Studierenden können in kleinen Gruppen fachspezifische Aufgaben gemeinsam bearbeiten und Ergebnisse in geeigneter Weise präsentieren, zum Beispiel während Kleingruppenübungen. |
Selbstständigkeit |
Die Studierenden sind in der Lage, die notwendigen Informationen aus den angegebenen Literaturquellen zu beschaffen und in den Kontext der Vorlesung zu setzen. Sie können ihren Wissensstand mit Hilfe vorlesungsbegleitender Maßnahmen (Quiz-Fragen in den Vorlesungen, klausurnahe Aufgaben) kontinuierlich überprüfen und auf dieser Basis ihre Lernprozesse steuern. |
Arbeitsaufwand in Stunden | Eigenstudium 124, Präsenzstudium 56 |
Leistungspunkte | 6 |
Prüfung | Mündliche Prüfung |
Prüfungsdauer und -umfang | 30 Minuten |
Zuordnung zu folgenden Curricula |
Bioverfahrenstechnik: Vertiefung A - Allgemeine Bioverfahrenstechnik: Wahlpflicht Computer Science: Vertiefung Intelligence Engineering: Wahlpflicht Computer Science: Vertiefung Computer and Software Engineering: Wahlpflicht Informatik-Ingenieurwesen: Vertiefung Systemtechnik - Robotik: Wahlpflicht Informatik-Ingenieurwesen: Vertiefung Wissenschaftliches Rechnen: Wahlpflicht Technomathematik: Vertiefung II. Informatik: Wahlpflicht Verfahrenstechnik: Vertiefung Allgemeine Verfahrenstechnik: Wahlpflicht Verfahrenstechnik: Vertiefung Chemische Verfahrenstechnik: Wahlpflicht |
Lehrveranstaltung L0122: Einschließungsmethoden |
Typ | Vorlesung |
SWS | 2 |
LP | 3 |
Arbeitsaufwand in Stunden | Eigenstudium 62, Präsenzstudium 28 |
Dozenten | Prof. Siegfried Rump |
Sprachen | DE |
Zeitraum | WiSe |
Inhalt |
|
Literatur |
Neumaier: Interval Methods for Systems of Equations. In: Encyclopedia of Mathematics and its Applications. Cambridge University Press, 1990 S.M. Rump. Verification methods: Rigorous results using floating-point arithmetic. Acta Numerica, 19:287-449, 2010. |
Lehrveranstaltung L1208: Einschließungsmethoden |
Typ | Gruppenübung |
SWS | 2 |
LP | 3 |
Arbeitsaufwand in Stunden | Eigenstudium 62, Präsenzstudium 28 |
Dozenten | Prof. Siegfried Rump |
Sprachen | DE |
Zeitraum | WiSe |
Inhalt | Siehe korrespondierende Vorlesung |
Literatur | Siehe korrespondierende Vorlesung |
Modul M0832: Advanced Topics in Control |
||||||||||||
Lehrveranstaltungen | ||||||||||||
|
Modulverantwortlicher | Prof. Herbert Werner |
Zulassungsvoraussetzungen | Optimal and Robust Control |
Empfohlene Vorkenntnisse | H-infinity optimal control, mixed-sensitivity design, linear matrix inequalities |
Modulziele/ angestrebte Lernergebnisse | Nach erfolgreicher Teilnahme haben die Studierenden die folgenden Lernergebnisse erreicht |
Fachkompetenz | |
Wissen |
|
Fertigkeiten |
|
Personale Kompetenzen | |
Sozialkompetenz | Students can work in small groups and arrive at joint results. |
Selbstständigkeit |
Students are able to find required information in sources provided (lecture notes, literature, software documentation) and use it to solve given problems. |
Arbeitsaufwand in Stunden | Eigenstudium 124, Präsenzstudium 56 |
Leistungspunkte | 6 |
Prüfung | Mündliche Prüfung |
Prüfungsdauer und -umfang | 30 min |
Zuordnung zu folgenden Curricula |
Computer Science: Vertiefung Intelligence Engineering: Wahlpflicht Elektrotechnik: Vertiefung Regelungs- und Energietechnik: Wahlpflicht Flugzeug-Systemtechnik: Vertiefung Flugzeugsysteme: Wahlpflicht Informatik-Ingenieurwesen: Vertiefung Systemtechnik - Robotik: Wahlpflicht Internationales Wirtschaftsingenieurwesen: Vertiefung II. Mechatronik: Wahlpflicht Mechatronics: Vertiefung Systementwurf: Wahlpflicht Mechatronics: Vertiefung Intelligente Systeme und Robotik: Wahlpflicht Theoretischer Maschinenbau: Kernqualifikation: Wahlpflicht Theoretischer Maschinenbau: Technischer Ergänzungskurs: Wahlpflicht |
Lehrveranstaltung L0661: Advanced Topics in Control |
Typ | Vorlesung |
SWS | 2 |
LP | 3 |
Arbeitsaufwand in Stunden | Eigenstudium 62, Präsenzstudium 28 |
Dozenten | Prof. Herbert Werner |
Sprachen | EN |
Zeitraum | WiSe |
Inhalt |
|
Literatur |
|
Lehrveranstaltung L0662: Advanced Topics in Control |
Typ | Gruppenübung |
SWS | 2 |
LP | 3 |
Arbeitsaufwand in Stunden | Eigenstudium 62, Präsenzstudium 28 |
Dozenten | Prof. Herbert Werner |
Sprachen | EN |
Zeitraum | WiSe |
Inhalt | Siehe korrespondierende Vorlesung |
Literatur | Siehe korrespondierende Vorlesung |
Modul M-002: Masterarbeit |
||||
Lehrveranstaltungen | ||||
|
Modulverantwortlicher | Professoren der TUHH |
Zulassungsvoraussetzungen |
|
Empfohlene Vorkenntnisse | keine |
Modulziele/ angestrebte Lernergebnisse | Nach erfolgreicher Teilnahme haben die Studierenden die folgenden Lernergebnisse erreicht |
Fachkompetenz | |
Wissen |
|
Fertigkeiten |
|
Personale Kompetenzen | |
Sozialkompetenz |
Studierende können
|
Selbstständigkeit |
Studierende sind fähig,
|
Arbeitsaufwand in Stunden | Eigenstudium 900, Präsenzstudium 0 |
Leistungspunkte | 30 |
Prüfung | laut FSPO |
Prüfungsdauer und -umfang | laut FSPO |
Zuordnung zu folgenden Curricula |
Bauingenieurwesen: Abschlussarbeit: Pflicht Bioverfahrenstechnik: Abschlussarbeit: Pflicht Chemical and Bioprocess Engineering: Abschlussarbeit: Pflicht Computer Science: Abschlussarbeit: Pflicht Elektrotechnik: Abschlussarbeit: Pflicht Energie- und Umwelttechnik: Abschlussarbeit: Pflicht Energietechnik: Abschlussarbeit: Pflicht Environmental Engineering: Abschlussarbeit: Pflicht Flugzeug-Systemtechnik: Abschlussarbeit: Pflicht Global Innovation Management: Abschlussarbeit: Pflicht Informatik-Ingenieurwesen: Abschlussarbeit: Pflicht Information and Communication Systems: Abschlussarbeit: Pflicht International Production Management: Abschlussarbeit: Pflicht Internationales Wirtschaftsingenieurwesen: Abschlussarbeit: Pflicht Joint European Master in Environmental Studies - Cities and Sustainability: Abschlussarbeit: Pflicht Logistik, Infrastruktur und Mobilität: Abschlussarbeit: Pflicht Materialwissenschaft: Abschlussarbeit: Pflicht Mechanical Engineering and Management: Abschlussarbeit: Pflicht Mechatronics: Abschlussarbeit: Pflicht Mediziningenieurwesen: Abschlussarbeit: Pflicht Microelectronics and Microsystems: Abschlussarbeit: Pflicht Produktentwicklung, Werkstoffe und Produktion: Abschlussarbeit: Pflicht Regenerative Energien: Abschlussarbeit: Pflicht Schiffbau und Meerestechnik: Abschlussarbeit: Pflicht Ship and Offshore Technology: Abschlussarbeit: Pflicht Theoretischer Maschinenbau: Abschlussarbeit: Pflicht Verfahrenstechnik: Abschlussarbeit: Pflicht Wasser- und Umweltingenieurwesen: Abschlussarbeit: Pflicht |