Inhaltsangabe:Zusammenfassung: Die vorliegende Arbeit beschäftigt sich mit zwei thematischen Schwerpunkten. Der eine Schwerpunkt sind numerische, verifizierende Verfahren. Darunter werden Algorithmen und Methoden verstanden, die mathematische Aufgaben mittels Computer numerisch (also nicht symbolisch) lösen und hierbei Lösungseinschließungen liefern im Gegensatz zu den herkömmlichen computerbasierten Verfahren, die gerundete Ergebnisse liefern, die weit von der echten Lösung entfernt liegen. Den zweite Schwerpunkt bilden die graphischen Benutzerschnittstellen, die es ermöglichen mathematische Probleme zu visualisieren. Als Basis der Implementierungen im Rahmen dieser Arbeit wurde das Oberon-XSC System verwendet, da es beide Aspekte sehr gut miteinander vereint. Die Arbeit beginnt mit einer Einführung in die mathematischen Grundlagen der Rechnerarithmetik und Intervallrechnung und einer Einführung in Oberon. Daran anschließend werden zwei Beispiele für Visualisierungsprobleme geben. Zum einen ein Programm zur Darstellung eindimensionaler reeller Funktionen sowie gleichzeitig deren Ableitungen bzw. Taylorkurven. Dies werden dabei automatisch über verifizierende Verfahren aus dem Funktionsausdruck berechnet. Zum anderen wird eine Fadenpendel-Simulation vorgestellt, für deren Simluation ein System zweier Differentialgleichungen erster Ordnung durch ein Runge-Kutta-Verfahren der Ordnung 4 gelöst werden muss. Im dritten Kapitel werden verschiedene numerische Verfahren detailliert vorgestellt und implementiert. Im speziellen sind das die Methoden der automatischen Differentiation und darauf aufbauen Algorithmen zur globalen Optimierung eindimensionaler reeller Funktionen. Inhaltsverzeichnis:Inhaltsverzeichnis: 1.Grundlagen1 1.1Kurze Einführung in die Rechnerarithmetik1 1.1.1Die Räume der Rechnerarithmetik1 1.1.2Definition der Rechnerarithmetik3 1.2Einführung in die Intervallrechnung5 1.2.1Definition und Eigenschaften der Intervallarithmetik6 1.2.2Maschinenintervalle8 1.2.3Erweiterte Intervallarithmetik9 1.3Einführung in Oberon11 1.3.1Die Programmiersprache Oberon11 1.3.2Das Oberon-System15 1.3.3Programmierung von Objekten und Gadgets18 2.Visualisierung21 2.1Der Function Viewer21 2.1.1Gundlegende Module22 2.1.2Module zur Eingabe eindimensionaler Funktionen25 2.1.3Module zur direkten Implementierung des FunctionViewer31 2.2Eine Pendelsimulation42 2.2.1Iteratoren43 2.2.2Listenverwaltung49 2.2.3Die [...]
Kaufen Sie hier:
Horizontale Tabs
Weitere E-Books zum Thema: Mathematik - Algorithmik - Arithmetik
Linearoptimierung wird als mathematische Methode innerhalb des Operations Research bei der Mengenplanung für Absatz und Produktion sowie für Transport-, Netzfluss- oder Maschinenbelegungs-Probleme…
Linearoptimierung wird als mathematische Methode innerhalb des Operations Research bei der Mengenplanung für Absatz und Produktion sowie für Transport-, Netzfluss- oder Maschinenbelegungs-Probleme…
Linearoptimierung wird als mathematische Methode innerhalb des Operations Research bei der Mengenplanung für Absatz und Produktion sowie für Transport-, Netzfluss- oder Maschinenbelegungs-Probleme…
Differenzialgleichungen in Theorie und Praxis Format: PDF
Im Anschluss an Vorlesungen in Analysis und Linearer Algebra folgen an nahezu allen technischen und wirtschaftswissenschaftlich orientierten Studiengängen an Hochschulen und Universitäten als eine…
Die Informatik entwickelt sich in einer unglaublichen Geschwindigkeit. Häufig ist die Mathematik Grundlage von Neuerungen. Deshalb ist sie unverzichtbares Werkzeug jedes Informatikers und Pflichtfach…
Die Informatik entwickelt sich in einer unglaublichen Geschwindigkeit. Häufig ist die Mathematik Grundlage von Neuerungen. Deshalb ist sie unverzichtbares Werkzeug jedes Informatikers und Pflichtfach…
Die Informatik entwickelt sich in einer unglaublichen Geschwindigkeit. Häufig ist die Mathematik Grundlage von Neuerungen. Deshalb ist sie unverzichtbares Werkzeug jedes Informatikers und Pflichtfach…
Scientific Computing, Computational Intelligence und Computational Engineering sind zentrale Methoden der modernen Informationstechnik. Hinter diesen Begriffen stehen verschiedene Konzepte der…
Scientific Computing, Computational Intelligence und Computational Engineering sind zentrale Methoden der modernen Informationstechnik. Hinter diesen Begriffen stehen verschiedene Konzepte der…
Scientific Computing, Computational Intelligence und Computational Engineering sind zentrale Methoden der modernen Informationstechnik. Hinter diesen Begriffen stehen verschiedene Konzepte der…
Die Arneimittel Zeitung ist die Zeitung für Entscheider und Mitarbeiter in der Pharmabranche. Sie informiert branchenspezifisch über Gesundheits- und Arzneimittelpolitik, über Unternehmen und ...
Vom Deutschen Patent- und Markenamt erteilte Patente. Bibliographie, Patentanspruch, wichtigste Zeichnung.
Thomson Reuters is the world’s leading source of intelligent information for businesses ...
Offenlegungsschriften der Patentanmeldungen beim Deutschen Patent- und Markenamt in drei Teilausgaben. Bibliographie, Hauptanspruch und wichtigste Zeichnung. Auszüge aus den Patentschriften ohne ...
»Berufsstart Bewerbung« erscheint jährlich zum Wintersemester im November mit einer Auflage von 50.000 Exemplaren und ermöglicht Unternehmen sich bei Studenten und Absolventen mit einer ...
BIBEL FÜR HEUTE ist die Bibellese für alle, die die tägliche Routine durchbrechen wollen: Um sich intensiver mit einem Bibeltext zu beschäftigen. Um beim Bibel lesen Einblicke in Gottes ...
mitteilungen für die Erzdiözese FreiburgUm Kindern aus armen Familien gute Perspektiven für eine eigenständige Lebensführung zu ermöglichen, muss die Kinderarmut in Deutschland nachhaltig ...
Die COMPUTERWOCHE berichtet schnell und detailliert über alle Belange der Informations- und Kommunikationstechnik in Unternehmen – über Trends, neue Technologien, Produkte und Märkte. IT-Manager ...
SPORT in BW (Württemberg) ist das offizielle Verbandsorgan des Württembergischen Landessportbund e.V. (WLSB) und Informationsmagazin für alle im Sport organisierten Mitglieder in Württemberg. ...
Prüfungs- und Praxiswissen für Steuerfachangestellte
Mehr Erfolg in der Ausbildung, sicher in alle Prüfungen gehen, im Beruf jeden Tag überzeugen: „Die Steuerfachangestellten“ ist die ...
Studienführer der Fachhochschule Regensburg. Erscheint einmal jährlich.
Unsere Aufgabe: Anwendungsorientierte Ausbildung, angewandte Forschung und praxisnahe Weiterbildung
Die Hochschule ...