Sie sind hier
E-Book

Implementierung numerischer verifizierender Verfahren mit graphischer Benutzerschnittstelle unter Oberon-XSC

eBook Implementierung numerischer verifizierender Verfahren mit graphischer Benutzerschnittstelle unter Oberon-XSC Cover
Autor
Verlag
Erscheinungsjahr
2003
Seitenanzahl
118
Seiten
ISBN
9783832466831
Format
PDF
Kopierschutz
kein Kopierschutz
Geräte
PC
MAC
eReader
Tablet
Preis
38,00
EUR

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:

E-Book Tabs

Weitere E-Books zum Thema: Mathematik - Algorithmik - Arithmetik

Mathe mit dem Känguru

eBook Mathe mit dem Känguru Cover

Sicher kennen Sie den Känguru-Mathematikwettbewerb, zumal im Jahr der Mathematik! In dieser Ausgabe sind die neuesten und schönsten Aufgaben der letzten drei Wettbewerbe zusammengefasst und ...

Weitere Zeitschriften

MENSCHEN. das magazin

MENSCHEN. das magazin

MENSCHEN. das magazin informiert über Themen, die das Zusammenleben von Menschen in der Gesellschaft bestimmen -und dies konsequent aus Perspektive der Betroffenen. Die Menschen, um die es geht, ...

arznei-telegramm

arznei-telegramm

Das arznei-telegramm® informiert bereits im 50. Jahrgang Ärzte, Apotheker und andere Heilberufe über Nutzen und Risiken von Arzneimitteln. Das arznei-telegramm®  ist neutral und ...

Augenblick mal

Augenblick mal

Die Zeitschrift mit den guten Nachrichten"Augenblick mal" ist eine Zeitschrift, die in aktuellen Berichten, Interviews und Reportagen die biblische Botschaft und den christlichen Glauben ...

CE-Markt

CE-Markt

 Das Fachmagazin für Consumer-Electronics & Home Technology ProductsTelefónica O2 Germany startet am 15. Oktober die neue O2 Handy-Flatrate. Der Clou: Die Mindestlaufzeit des Vertrages ...

crescendo

crescendo

Die Zeitschrift für Blas- und Spielleutemusik in NRW- Informationen aus dem Volksmusikerbund NRW - Berichte aus 23 Kreisverbänden mit über 1000 Blasorchestern, Spielmanns- und Fanfarenzügen - ...

Gastronomie Report

Gastronomie Report

News & Infos für die Gastronomie: Tipps, Trends und Ideen, Produkte aus aller Welt, Innovative Konzepte, Küchentechnik der Zukunft, Service mit Zusatznutzen und vieles mehr. Frech, offensiv, ...

Die Versicherungspraxis

Die Versicherungspraxis

Behandlung versicherungsrelevanter Themen. Erfahren Sie mehr über den DVS. Der DVS Deutscher Versicherungs-Schutzverband e.V, Bonn, ist der Interessenvertreter der versicherungsnehmenden Wirtschaft. ...

DULV info

DULV info

UL-Technik, UL-Flugbetrieb, Luftrecht, Reiseberichte, Verbandsinte. Der Deutsche Ultraleichtflugverband e. V. - oder kurz DULV - wurde 1982 von ein paar Enthusiasten gegründet. Wegen der hohen ...

rfe-Elektrohändler

rfe-Elektrohändler

Der rfe-eh Elektrohändler ist das Fachmagazin für die CE- und Hausgeräte-Branche sowie für das Elektrohandwerk mit angeschlossenem Ladengeschäft. Mit aktuellen Produktinformationen, ...