Cuvillier Verlag GmbH
| Fachbereiche | |
|---|---|
| Buchreihen (99) |
1420
|
| Nachhaltigkeit |
3
|
| Gesundheitswesen |
3
|
| Geisteswissenschaften |
2423
|
| Naturwissenschaften |
5433
|
| Ingenieurwissenschaften |
1827
|
| Allgemeine Ingenieurwissenschaften | 292 |
| Maschinenbau und Verfahrenstechnik | 876 |
| Elektrotechnik | 702 |
| Bergbau- und Hüttenwesen | 30 |
| Architektur und Bauwesen | 76 |
| Allgemein |
97
|
|
Leitlinien Unfallchirurgie
5. Auflage bestellen |
|
Erweiterte Suche
Automatische Code-Erzeugung zur numerischen Integration partieller Differentialgleichungen für sicherheitskritische Anwendungen
Michael Vollmer (Autor)Vorschau
Inhaltsverzeichnis, Datei (38 KB)
Vorwort, Datei (28 KB)
Leseprobe, Datei (130 KB)
Die vorliegende Arbeit befasst sich vornehmlich mit zwei bisher nicht behandelten Aufgabenstellungen aus dem Bereich der mehrdimensionalen Wellendigitalfilter. Zum einen mit der systematischen Erzeugung von Simulations-Algorithmen, ausgehend von einem System linearer, konstanter partieller Differentialgleichungen. Den zweiten bildet der Nachweis der Korrektheit des verwendeten Programmcodes, der die Simulations-Algorithmen implementiert.
| ISBN-13 (Printausgabe) | 386537221X |
| ISBN-13 (Printausgabe) | 9783865372215 |
| ISBN-13 (E-Book) | 9783736912212 |
| Sprache | Deutsch |
| Seitenanzahl | 116 |
| Auflage | 1 Aufl. |
| Band | 0 |
| Erscheinungsort | Göttingen |
| Promotionsort | Bochum |
| Erscheinungsdatum | 20.09.2004 |
| Allgemeine Einordnung | Dissertation |
| Fachbereiche |
Elektrotechnik
|
| Schlagwörter | Automatische Code-Erzeugung, Partielle Differentialgleichungen, Numerische Integration, Mehrdimensionale Wellendigitalfilter, Sicherheitskritische Anwendungen, Formale Softwareverifikation, Algorithmusverifikation, Symmetrisch-hyperbolische Systeme, Digitale Signalverarbeitung, Synthese passiver Netzwerke, Formale Korrektheitsbeweise, Rechnen mit endlicher Genauigkeit |
