Vorlesungsaufzeichnungen

Introduction to Software Development

China Woche 2024-European-Sino Workshop: Hydrogen

China Woche 2020

Vom 2. bis 6. November läuft an der TU Clausthal die China Woche 2020. Die Teilnehmenden werden den zahlreichen Vorträgen per Videokonferenz (Zoom) zugeschaltet. Hier finden Sie die Aufzeichnung der Redebeiträge.

Highlights aus Liebigs Experimentalvorlesung

Highlights aus Liebigs Experimentalvorlesung

Vorlesung Berg- und Umweltrecht II (Umweltrecht)

Elektrizitätswirtschaft

Experimentalphysik II

Diese Vorlesung ist die Fortsetzung der (link)http://video.tu-clausthal.de/vorlesung/379.html(/link)Experimentalphysik I(/name). Themen der Vorlesung sind: 7. Wellen, 8. Elektrostatik, 9. Elektrische Ströme, 10. Magnetostatik, 11. Zeitabhängige elektromagnetische Felder, 12. Elektromagnetische Strahlung und Optik

Experimentalphysik I

0. Einführung: Physikalische Größen und Einheiten 1. Bewegung von Massenpunkten 2. Dynamik von Massenpunkten 3. Energie, Arbeit und Leistung 4. Gravitation 5. Harmonische Schwingungen 6. Mechanik starrer Körper 7. Wellen

Technische Thermodynamik I

*Einführung und Grundbegriffe der Technischen Thermodynamik *Ideales Gasgesetz *Stoffbilanzen (Massenerhaltungssatz) *Energiebilanzen (Energieerhaltungssatz, 1. Hauptsatz der Thermodynamik) *Zustandsänderungen *Kreisprozesse (2. Hauptsatz der Thermodynamik) *Technische Verbrennung *Anwendungen der Technischen Thermodynamik

Elektronik I

Elektronik II

Grundlagen der Digitaltechnik

Test und Verlässlichkeit

Cooperation Systems WS 20/21

Entwurf digitaler Schaltungen

Multiagentensysteme und Algorithmische Spieltheorie

Mensch-Maschine-Interaktion

* Grundlagen der menschlichen Informationsverarbeitung * Paradigmen der Mensch-Maschine-Interaktion und des Interaktionsdesigns * Benutzerschnittstellen im Prozess des Software Engineerings * Ergonomiestandards * Evaluationsmethoden für interaktive Systeme * Kognitive und sozio-organisatorische Modelle * Methoden zur Dialog- und Aufgabenmodellierung * Fallstudien zu Interaktiven Systemen und Mensch-Maschine-Schnittstellen

Serious Games

Wissenschaftliche Arbeitstechniken für Seminare

Logik und Verifikation

Dieser Kurs befasst sich mit logikbasierten formalen Methoden und wie man sie zur Verifikation in der Informatik einsetzt. Es werden die Sprache und die Semantik der Sentenzenlogik (SL) und der Logik erster Ordnung (FOL) genau definiert. Wir führen den Begriff des Modells ein und zeigen, wie Hardware- und Softwaresysteme in diesem Rahmen modelliert werden können. Wir betrachten auch semantische Folgerung vs. syntaktische Ableitbarkeit von Formeln und wie diese beiden Begriffe durch Korrektheit und Vollständigkeit miteinander verbunden sind. Vollständigkeit wird für SL formal bewiesen und für FOL ausführlich diskutiert (in Form von Vollständigkeit der Widerlegung). Beide Logiken werden auf wichtige Verifikationsprobleme angewandt: SL und seine Erweiterung LTL zur Verifikation linearer zeitlicher Eigenschaften in nebenläufigen Systemen, und FOL zur Verifikation von Eingabe/Ausgabe-Eigenschaften von Programmen (Hoare-Kalkül). Wir zeigen, wie das Auflösungskalkül für FOL zu PROLOG führt, einer Programmiersprache, die auf FOL basiert. Wir zeigen auch, dass SL zu einer deklarativen Version von PROLOG führt: Answer Set Programming (ASP), die zur Lösung von Problemen verwendet werden kann, die sich auf der zweiten Ebene der Polynomhierarchie ausdrücken lassen. Obwohl ASP keine vollwertige Programmiersprache ist, kann sie für viele natürlich auftretende Probleme verwendet werden und erlaubt es, diese auf eine rein deklarative Weise zu modellieren. 1. Einführung 2. Sententielle Logik (SL) 3. Verifikation I: Reaktive Systeme 4. Logik erster Ordnung (FOL) 5. Verifikation II: Hoare-Kalkül 6. Von FOL zu PROLOG 7. PROLOG Übersetzt mit DeepL.com (kostenlose Version)

Rechnernetze I

· Bitübertragungsschicht · Echtzeitzugang zu Rechnernetzen · Echtzeitübertragung in Netzen · xDSL (digital subscriber line) · Lokale Netze · SONET/SDH, Weitverkehrsnetze · Wegewahl in Weitverkehrsnetzen · Internet Protocol IP · Transportschicht, ISO-Transportdienst · Internet Protocol TCP · Breitband-ISDN, Asynchronous Transfer Mode (ATM)

Rechnernetze II

Teil 1: ISO-Darstellungsschicht (Schicht 6) · Kompression von Graphik/Bild/Video-Daten · Gliederung der Kodierungen · RLE, Huffman-Kode, Lempel-Ziv-Kode, Arithmetische Kodierung · JPEG, MPEG Teil 2: ISO-Anwendungsschicht (Schicht 7) Teil 2a: Internet-Dienste · Domain Name System (DNS) und Namensauflösung · Telnet, FTP, Email, USENET, World Wide Web · Client Server-Architekturen · Client-Server-Betriebsweise · HTTP-Protokoll · Web Browser Teil 2b: Internet-Anwendungen · NFS, CGI, Remote Procedure Calls · SUN RPCs · DCE, CORBA, (D)COM Middleware

Rechnerorganisation I

Die Vorlesung besteht aus den drei Teilen A, B und C. In Teil A sollen die Studierenden die Grundlagen der Rechnerarchitektur kennenlernen. In Teil B ist das Lernziel die Peripherieeinheiten eines Prozessors. In Teil C lernen die Studierenden die Architektur von RISC-Rechnern mit Schwerpunkt auf Verfahren zur Beschleunigung der Befehlsausführung.

Rechnerorganisation II

Teil 1: Vertiefung RISC-Rechner Teil 2: Parallelrechner

Werkzeuge der Informatik

· Einführung in die Skriptprogrammierung unter Unix/Linux · Wissenschaftlicher Textsatz mit Latex · Grundlagen und Werkzeuge des WWW · Datenrepräsentation mit XML · Wissenschaftliches Rechnen mit Matlab · Tabellenkalkulation und Präsentation

Komplexitätstheorie

The first chapter covers some topics from the Chomsky hierarchy: the Myhill-Nerode theorem (how to construct a minimal finite automaton), deterministic PDA’s, type 1 languages, normalform for type 0 and type 1 languages, Ehrenfeuchts theorem and Lindenmayer systems, a class of grammars that is orthogonal to parts of the Chomsky hierarchy. Chapter 2 discusses undecidability results in greater depth (Posts Correspondence theorem, (primitive) recursive functions, Hilberts 10. problem (solving diophantine equations)). We also cover Rices theorem and its analogue for grammars. Makanins problem (word equations over a free monoid) is decidable but not primitive recursive. Chapters 3 and 4 cover classical complexity results: time versus space, speed-up, gap-theorem, union-theorem and complexity classes: PH (the polynomial hierarchy), PSPACE, EXPSPACE and most of their interesting subclasses. We also cover closure properties and the Immerman/Szelepcsényi theorem. Chapter 5 covers the arithmetical and analytical hierarchy (extending EXPSPACE into the undecidable) and discusses descriptive complexity: can we find logics corresponding to complexity classes (Fagins theorem).

Informatik III

· Grammatiken der Chomsky Hierarchie (Typ3-Typ 0) · Reguäre Ausdrücke, Satz von Kleene, · Endliche Automaten (indet.), epsilon Kanten, Pumping Lemma, · Kellerautomaten, Turingmaschinen · Busy Beaver, Halteproblem, Reduktionen, aufzaehlbar/entscheidbar · Random access machines, P/NP

Künstliche Intelligenz

Die Aufzeichnungen wurden aus dem Sommersemester 2008 übernommen. Nur das Kapitel 5 wurde neu aufgezeichnet.

Antrittsvorlesung Prof. Dr.-Ing. Wan Gang

Eine Antrittsvorlesung der besonderen Art hat Chinas Minister für Wissenschaft und Technologie, Professor Wan Gang, im Audimax der TU Clausthal gehalten: Der neue Honorarprofessor referierte auf Deutsch über das Thema Elektromobilität. Einen Beitrag über den gesamten Besuch von Professor Wan Gang finden Sie unter: (link)https://video.tu-clausthal.de/film/601.html(/link)https://video.tu-clausthal.de/film/601.html(/name)

Konstruktionslehre II

6. Strategien für den Entwurf konstruktiver Systeme (Konstruktionsprinzipien) 7. Sichere und zuverlässige Gestaltung konstruktiver Systeme 8. Gestaltungsregeln 9. Konstruktion im Bereich Mensch-Maschine-Umwelt: 9.1 Konstruktion ergonomischer Arbeitsmittel und Maschinen 9.2 Konstruktion gefahrenfreier Arbeitsmittel und Maschinen 9.3 Konstruktion lärmarmer Maschinen

Konstruktionslehre I

0. Einführung in das Lehrgebiet 1. Modellvorstellungen zum Konstruktionsprozeß 2. Methoden zur Lösungsfindung 3. CAD im Konstruktionsprozeß 4. Kostenbewußtes Konstruieren 5. Konstruieren von Baureihen- und Baukastensystemen

Konstruktionselemente III

6.2 Formschlüssige Wälztriebe (Zahnradtriebe) 6.3 Reibschlüssige Wälztriebe (Reibradgetriebe) 6.4 Reibschlüssige Umschlingungstriebe (Seil- und Riementriebe) 6.5 Formschlüssige Umschlingungstriebe (Zahnriemen- und Kettentriebe) 7. Konstruktionselemente der Apparatetechnik: 7.1 Dichtungen 7.2 Behälter, Rohrleitungen, Flansche 7.3 Absperr- und Regelorgane

Konstruktionselemente II

4.3 Reibschlüssige Verbindungen 4.4 Schraubenverbindungen 4.5 Elastische Verbindungen (Federn) 5. Antriebselemente: 5.1 Wellen und Achsen 5.2 Gleitlager 5.3 Wälzlager 5.4 Kupplungen 6. Antriebe: 6.1 Aufgaben der Antriebstechnik

Konstruktionselemente I

Maschinenlehre I

1. Einführung 2. Grundlagen 2.1 Berechnung von Maschinenteilen: Spannungen, Dehnungen 2.2 Kerbwirkung 2.3 Ruhende und zeitlich veränderliche Beanspruchung 2.4 Übersicht Fertigungsverfahren 2.5 Übersicht Konstruktionsprozeß 3. Apparateelemente 4. Verbindungen und Verbindungselemente 4.1 Stoffschlüssige Verbindungen: Schweißen, Löten, Kleben 4.2 Formschlüssige Verbindungen 4.3 Reibschlüssige Verbindungen 4.4 Elastische Verbindungen: Federn 4.5 Schraubenverbindungen 5. Antriebselemente 5.1 Wellen und Achsen 5.2 Gleitlager, Schmierstoffe 5.3 Wälzlager

Computational Modeling and Simulation II: Continuous Systems

The class will provide fundamental topics on modeling and simulation of continuous time systems ranging from mathematical description to simulation-based analysis Modeling techniques simulation tools, verification and validation in the context of a design in several application domains, single - and multi step integration algorithms, stability analysis as well as existence and uniqueness of the solution will be covered. The examples and projects in this course will be selected from engineering, especially from electrical and computer engineering.

Research Seminar in Cyber-Physical Systems

The ITIS Research Seminar in Cyber-Physical Systems is integral part of research in information technology and information systems at Clausthal University of Technology (TUC). Through scientific presentations, critical reflection and discussion, students learn current research topics in the field of Cyber Physical Systems. For this purpose, up to date research work as well as problem statements, models, solutions, results and more will be presented and discussed in plenary. The suggestions obtained from the discussion support students in their own project work in the field of Cyber-Physical Systems which is mandatory. In this sense the Research Seminar in Cyber-Physical Systems presents a platform for students across all fields of information technology and information systems with a focus is on interesting new research ideas in Cyber-Physical Systems and on student based project work.

Seminar in Ubiquitous Computing

Through scientific presentations, critical reflection and discussion, students learn current state-of-the art topics in the field of Ubiquitous Computing. For this purpose, up to date scientifc work as well as problem statements, models, solutions, results and more will be presented and discussed in plenary. The suggestions obtained from the discussion support students in their own project work in the field of Ubiquitous Computing which is mandatory. In this sense the Seminar in Ubiquitous Computing presents a platform for students across all fields of information technology and information systems with a focus on interesting new state-of-the art ideas in Ubiquitous Computing and on student based project work.

Transportation Analysis, Modelling and Simulation

Modeling and simulation has been identified by the National Science Foundation (NSF, USA) as one of the key enabling technologies of the 21st century. Therefore, transportation analysis, modeling and simulation address the mathematical background while modeling transportation system scenarios such as freeway junctions, arterial routes, roundabouts, grid systems, etc. through the application of simulation software to better help planning, designing, and operating transportation systems. First the fundamentals of modeling are described, as they represent the largest portion of transportation analysis. In addition, the mathematical background describing real transportation systems is introduced on a basic level as well as on a more advanced one; and its correspondence to the respective modeling methodologies is described. Secondly, the most interesting simulation systems are presented at the language and logic level, and their use is described in several case studies. However, a class cannot describe all of the available simulation systems in detail. For this reason, students are referred to specific supplemental material, such as textbooks, reference guides, user manuals, etc., as well as Internet-based information which addresses several simulation languages. Thirdly, a variety of actual real world transportation applications are introduced as use case to study how to build models in the traffic system sector.

Introduction to Cyber-Physical Systems

ITIS module Introduction to Cyber-Physical Systems (CPS) combine cyber capabilities (computation and/or communication) with physical capabilities (motion or other physical processes). Cars, aircrafts, ships, trains, robots, and more are prime examples, because they move physically in space in a way that is determined by discrete computerized algorithms. Designing such algorithms to control Cyber-Physical Systems is challenging with regard to their tight coupling with physical components/systems behavior. Moreover, it is vital that these algorithms are correct, because user rely on Cyber-Physical Systems for safety-critical tasks like keeping aircrafts away from colliding as part of a runway incursion CPS.

Discrete Event Simulation

The lecture give an introduction into the theoretical and methodological background of discrete-event modeling and simulation. Based on this knowledge applications about discrete-event simulation as case study examples will be introduced to show how to apply the gained knowledge in an area of concentration. This require at the very first the clear problem formulation, setting of objectives and an overall project plan, model conceptualization, data collection, model translation and verification, and finally simulation runs and validation of obtained results. Therefore the class introduce into the basics of simulation with a specialization on concepts in discrete event simulation. Based on that simulation software tools will be introduced to link with the execution of mathematical and statistical models. These model types will be introduced as statistical models in simulation and queuing models. With this knowledge the analysis of simulation data as well as verification and validation of simulation models will be introduced and discussed in the very detail based on case study examples to integrate the essential knowledge for own Discrete Event Simulation class work of Part I.

Embedded Computing Systems

ITIS module Embedded Computing Systems (ECS) consider the tremendous growing of integrating micro-electronic computing components in recent years with regard to their architectures, complexity, design and programming. The complexity of Embedded Computing Systems require a new type of design crossing the traditional border between hardware and software design. Therefore, the ECS class portrays hardware and software not as different domains, but rather as two implementations along a continuum of options varying in their design metrics like cost, design efficiency, flexibility, level of abstraction, performance, power consumption, responsibility, configurability and reconfigurability, scalability, size, technology, to name a few. This approach also targets the reduction of time-to-market of products considerably. Thus, the scope of the ITIS module Embedded Computing Systems (ECS) is to conciliate a well defined and well chosen theoretical and methodological background on methods to earn these competencies which are not only based on the primary computer science and engineering knowledge, which is understood as knowledge for the sake of action out of the synthesis of mathematical methodology and engineering concreteness, realized in the technical embedded computing system. Therefore, it also focus on a strategic knowledge of orientation which allow the self-contained handling of knowledge within complex real world process requirements in the respective application domain.

Ausgewählte Kapitel der Analysis/Linearen Algebra

Hardware Software Co-Design

Lineare Algebra und diskrete Strukturen III

- Normale Endomorphismen Enthält Detaildiskussionen von Hermiteschen (symmetrischen) Endomorphismen Unitären (orthogonalen) Endomorphismen Spektralsätze für diagonalisierbare und für normale Endomorphismen - Normalformen, Allgemeine Spektraltheorie Äquivalenz und Ähnlichkeit von nxn-Matrizen Nilpotente Endomorphismen Allgemeiner Spektralsatz, Jordansche Normalform Anwendung: Lösung von Systemen linearer Differentialgleichungen

Angewandte Graphentheorie

Internet of Things

The raise of the availability of the Internet elsewhere and the advances in software and telecommunication services led to the opportunity connecting every thing, element, and/or object with any thing, element, and/or object. Thus the basic idea of Internet of Things (IoT) is that virtually every thing can also feature tiny computers that are connected to the Internet. Learn how the Internet of Things will change the world as we know it for the better.

Werkstoffdesign in der Gießereitechnik

Introduction to Ceramics Processing

(link)http://www.ceramics-processing.com/(/link)Lecture Manuscript(/name) (link)http://video.tu-clausthal.de/film/435.html(/link)Lecture Videoclips(/name) (link)http://video.tu-clausthal.de/vorlesung/201.html(/link)German Lecture(/name)

Technologie der Keramik

(link)http://video.tu-clausthal.de/film/435.html(/link)Videoclips zur Vorlesung(/name) Skripte: (link)http://www.ceramics-processing.com/(/link)Einführung in die Technologie der Keramik(/name) (link)http://video.tu-clausthal.de/videos/inw/vorlesung/tk-ws2009/Physikalische_und_chemische_Grundlagen_der_Keramik Teil_I.pdf(/link)Physikalische und chemische Grundlagen der Keramik Teil I(/name) (link)http://video.tu-clausthal.de/videos/inw/vorlesung/tk-ws2009/Physikalische_und_chemische_Grundlagen_der_Keramik _Teil_II.pdf(/link)Physikalische und chemische Grundlagen der Keramik Teil II(/name) (link)http://video.tu-clausthal.de/videos/inw/vorlesung/tk-ws2009/Keramische_Konstruktionswerkstoffe.pdf(/link)Keramische Konstruktionswerkstoffe(/name) (link)http://video.tu-clausthal.de/videos/inw/vorlesung/tk-ws2009/Werkstofftechnik_Skript.pdf(/link)Werkstofftechnik II - Keramik(/name) (link)http://video.tu-clausthal.de/videos/inw/vorlesung/tk-ws2009/Heterogene_Gleichgewichte.pdf(/link)Heterogene Gleichgewichte(/name) (link)http://video.tu-clausthal.de/videos/inw/vorlesung/tk-ws2009/Skript_WKII.pdf(/link)Werkstoffkunde II(/name)

Grundlagen der Keramik II

Teil 1: Struktureller Aufbau keramischer Werkstoffe Skripte: (link)http://video.tu-clausthal.de/videos/inw/vorlesung/tk-ws2009/Physikalische_und_chemische_Grundlagen_der_Keramik _Teil_II.pdf(/link)Physikalische und chemische Grundlagen der Keramik Teil II(/name) (link)http://video.tu-clausthal.de/videos/inw/vorlesung/tk-ws2009/Physikalische_und_chemische_Grundlagen_der_Keramik Teil_I.pdf(/link)Physikalische und chemische Grundlagen der Keramik Teil I(/name) (link)http://www.ceramics-processing.com/(/link)Einführung in die Technologie der Keramik(/name) (link)http://video.tu-clausthal.de/videos/inw/vorlesung/tk-ws2009/Keramische_Konstruktionswerkstoffe.pdf(/link)Keramische Konstruktionswerkstoffe(/name) (link)http://video.tu-clausthal.de/videos/inw/vorlesung/tk-ws2009/Werkstofftechnik_Skript.pdf(/link)Werkstofftechnik II - Keramik(/name) (link)http://video.tu-clausthal.de/videos/inw/vorlesung/tk-ws2009/Heterogene_Gleichgewichte.pdf(/link)Heterogene Gleichgewichte(/name) (link)http://video.tu-clausthal.de/videos/inw/vorlesung/tk-ws2009/Skript_WKII.pdf(/link)Werkstoffkunde II(/name)

Grundlagen der Keramik I

Teil 1: Struktureller Aufbau keramischer Werkstoffe Skripte: (link)http://video.tu-clausthal.de/videos/inw/vorlesung/tk-ws2009/Physikalische_und_chemische_Grundlagen_der_Keramik Teil_I.pdf(/link)Physikalische und chemische Grundlagen der Keramik Teil I(/name) (link)http://video.tu-clausthal.de/videos/inw/vorlesung/tk-ws2009/Physikalische_und_chemische_Grundlagen_der_Keramik _Teil_II.pdf(/link)Physikalische und chemische Grundlagen der Keramik Teil II(/name) (link)http://www.ceramics-processing.com/(/link)Einführung in die Technologie der Keramik(/name) (link)http://video.tu-clausthal.de/videos/inw/vorlesung/tk-ws2009/Keramische_Konstruktionswerkstoffe.pdf(/link)Keramische Konstruktionswerkstoffe(/name) (link)http://video.tu-clausthal.de/videos/inw/vorlesung/tk-ws2009/Werkstofftechnik_Skript.pdf(/link)Werkstofftechnik II - Keramik(/name) (link)http://video.tu-clausthal.de/videos/inw/vorlesung/tk-ws2009/Heterogene_Gleichgewichte.pdf(/link)Heterogene Gleichgewichte(/name) (link)http://video.tu-clausthal.de/videos/inw/vorlesung/tk-ws2009/Skript_WKII.pdf(/link)Werkstoffkunde II(/name)

Emerging Technologies for the Circular Economy SS24

Introduction to AI

Introduction to AI (WS 23/24)

Emerging Technologies for the Circular Economy SS23

IoT and Digitalization for the Circular Economy SS23

The Limits to Growth - Sustainability and the Circular Economy (SS23)

Emerging Technologies for the Circular Economy SS22

The Limits to Growth - Sustainability and the Circular Economy

Introduction to Software Development Wittek

Nachhaltigkeit und Dynamische Systeme

Die Vorlesungsreihe basiert auf den folgenden drei Büchern: Dynamik in Natur und Technik – Wandel verstehen und gestalten (2018) oekom Herausforderung Zukunft – Technischer Fortschritt und Globalisierung (2. Aufl.) Spektrum Akad. Verlag (2005) Springer Spektrum (Softcover und E-Version 2014) Ingenieurwissenschaften (2004) Springer, erschienen in der fünfbändigen Reihe „Studium der Umweltwissenschaften“ Weitere Informationen finden Sie unter: (link)https://www.itm.tu-clausthal.de/jischa(/link)www.itm.tu-clausthal.de/jischa(/name)

Programmierkurs SS2020

Project and Quality Management in Software Systems Engineering

• Definition von Projektmanagement und Qualitätssicherung • Grundbegriffe der Softwareprojektdurchführung • Modelle (Prozess- und Qualitätsmodelle) als Grundlage für systematisches Pro-jektmanagement bzw. Qualitätssicherung • Grundkonzepte des Projekt- und Prozessmanagements • Grundkonzepte des Messens und Bewertens • Techniken/Methoden/Werkzeuge zur Unterstützung von Projektmanagement und Qualitätssicherung • Beispiele aus praktischen Projekten

Model Driven Software Engineering

Part I: Theory - Dr. Edward Fischer Part II: Tool support - Dr. Michaela Huhn

Simulationsmethoden in den Ingenieurwissenschaften

Aufzeichnung für die Universität Göttingen im Rahmen des SWZ.

UB Coffee Lectures