Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Die mathematische Modellierung turbulenter Flammen ist auf Grund der intensiven Kopplung zwischen turbulenten Transportprozessen und der chemischen Kinetik eine herausfordernde Aufgabe. In dieser Arbeit wird ein Modell vorgestellt, das seinen Fokus auf der detaillierten Simulation der Turbulenz-Chemie-Interaktion hat. Das Modell soll dabei generisch sein in dem Sinne, als das es für verschiedene Verbrennungsregime anwendbar und prädiktiv ist.

Numerische Simulation --- turbulente Flammen --- hybride transported PDF Modelle --- Drallflammen --- Instabilitäten

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Verständnisprozesse sind zentraler Teil des Lernens und der Bildung. Vor allem in den Naturwissenschaften und in der Mathematik ist es jedoch häufig der Fall, dass diese Prozesse nur teils oder gar nicht stattfinden. Ausgehend von dieser Problematik wird hier eine Studie vorgestellt, die mentale Modelle der Atomhülle und allgemein das Modellverständnis in der Physik gemeinsam untersucht. Aus den gewonnen empirischen Daten werden dabei vier Verständnistypen mentaler Modelle abgeleitet und mittels Literaturvergleichs in die Literatur der naturwissenschaftlichen Didaktik eingeordnet. Somit liefert die vorliegende Arbeit nicht nur eine mögliche Erklärung für das Festhalten an klassischen, mechanistischen Modellvorstellungen trotz der Einführung in die Quantenphysik, sondern auch generell für Probleme beim Verständnisprozess, die in der naturwissenschaftlichen Didaktik beim Lernen mit Modellen und bei Vorstellungen auftreten.

Psychological testing & measurement --- Verständnisentwicklung --- Quantenphysik --- Mentale Modelle --- Didaktik --- Conceptual Change

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Mario Lukas beleuchtet in seinem Buch "Das 3D-Scanner-Praxisbuch" das gesamte moderne Wissens- und Erfahrungsspektrum zum Thema „3D-Scanner“. Er erklärt leicht verständlich die technischen Voraussetzungen für das 3D-Scanning, beschreibt die unterschiedlichen technischen Verfahren und testet die auf dem Markt befindlichen aktuellen 3D-Scanner. Im Praxisteil des Buches beschreibt der Autor ausführlich in Schritt-für-Schritt-Anleitungen den Bau eines Laser-Scanners aus einem Raspberry Pi und einer Raspberry-Pi-Camera sowie den Bau eines Scanners für große Objekte und Personen mit einer Kinect-Videospielkonsole. Die Software-Bearbeitungskette im Post-Scanning-Prozess zur Erzielung hochwertiger Scan-Ergebnisse machen das Buch zu einem Standardwerk des 3D-Scannings.

3D-Druck --- 3D --- Fotogrammetrie --- Raspberry Pi --- Scannen --- CNC-Fräse --- 3D-Modelle --- ArcheOS --- FabScanPi --- Kinect --- Laser-Scanner

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book is based on the proceedings of the "International Working Conference on Model Realism" which was held in Bad Honnef near Bonn, April 20 - 23, 1982. ·Both its theme and format of discussion were unconventional. Their main motivation can be de­ scribed as follows: In the last several years there has been a growing interest in determining the ex­ tent to which different methodologies are able to adequately deal with real-world problems of contemporary interest, especially when people from different disciplines are involved in a large-scale project. The conference was to deal with the modeling aspects of different systems theories and approaches. It was intended to be a first step for an ongoing comparative discussion about the way in which methodologies can be used or be combined in order to contribute to systematic problem solutions. In order to get a common basis for a coherent and reliable discussion a set of 3 problem studies was introduced in the Call for Papers, each with a different back­ ground. They should provide a framework for a more detailed or specific problem de­ finition in a paper related to one of the problem studies. Slightly adjusted to the book format they are found ahead of the 3 main sections of this book each. The problem studies were constructed as modeling and organization/reorganization problem fields in the context of complex and large-scale real systems.

Business & Economics --- Economic Theory --- Syferrekenaarsimulasie. --- Wiskundige modelle. --- Digital computer simulation --- Mathematical models --- Modèles mathématiques --- Congresses --- Congrès

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Long description: Der 24. Workshop der GMM/ITG/GI-Fachgruppen 3 und 4 ist ein Forum, um neue Trends, Ergebnisse und aktuelle Fragen auf dem Gebiet der Modellierung und Verifikation von Schaltungen und Systemen zu diskutieren. Es sind gleichermaßen Beiträge aus Forschung und industrieller Anwendung willkommen. Inhaltlich konzentriert sich der Workshop auf die folgenden Themengebiete im Kontext der Modellierung und Verifikation von Systemen: • Formale, semi-formale und andere Mittel zur Spezifikation und Modellierung • Standards und Erweiterungen von Modellierungssprachen für Hardware, Hardware/Software-Systeme, Modellbasierte Entwicklung • Verhaltensmodellierung, KI-basierte Modelle, Modellverfeinerung • Modelle und Methoden für die domänenübergreifende Entwicklung: Analog/Digital, Hardware/Software, Mechatronik, Cyber/Physisch • Synthese und formale Synthese, Eigenschaftsverfeinerung aus Spezifikationen • Formale Verifikation (Äquivalenz- und Eigenschaftsbeweise) • Schaltungen und Systeme in sicherheitsrelevanten Produkten • Verifikation nichtfunktionaler Eigenschaften • Simulationsbasierte Verifikation und Validierung • Digitalisierung der Entwicklung z.B. durch Machine Learning oder Datenanalyse • Special Focus Topic MBMV2021: Open Source Werkzeuge zur Modellierung und Verifikation von Schaltungen und Systemen

Optimierung --- Modellierung --- Simulation --- Machine Learning --- Echtzeitsysteme --- Synthese --- Schaltungen und Systeme --- Formale Verifikation --- KI-basierte Modelle --- Modellierungssprache --- Verhaltensmodellierung --- sicherheitsrelevante Produkte --- Learning, Machine --- Artificial intelligence --- Machine theory