Detail předmětu
Vysoce náročné výpočty (v angličtině)
FIT-VNVeAk. rok: 2024/2025
Předmět je zaměřen na praktické metody řešení náročných vědecko-technických úloh. Provádí se srovnání seriového a paralelního výpočtu a hodnotí se stabilita numerického výpočtu. Uvádí se speciální metoda paralelních výpočtů, založená na využití diferenciálního počtu. Pro numerické řešení diferenciálních rovnic se používá originální metoda založená na přímém využití Taylorovy řady. K dispozici je simulační jazyk TKSL s rovnicovým zápisem zadaného problému. Uvádí se těsná souvislost rovnicového a blokového zápisu a analyzuje se blokové schéma jako datový vstup. Analyzují se následující technické problémy. Součástí předmětu je návrh specializovaných architektur pro numerické řešení diferenciálních rovnic.
Jazyk výuky
Počet kreditů
Garant předmětu
Zajišťuje ústav
Nabízen zahraničním studentům
Pravidla hodnocení a ukončení předmětu
V průběhu semestru budou probíhat dobrovolná počítačová cvičení. Libovolné cvičení bude možnost v závěrečných týdnech semestru nahradit.
Učební cíle
Schopnost transformovat vědecko-technické úlohy na systém diferenciálních rovnic. Schopnost řešit rozsáhlé systémy diferenciálních rovnic s využitím simulačního jazyka TKSL.
Schopnost provádět paralelní a kvaziparalelní výpočty rozsáhlých úloh.
Základní literatura
Corliss, G. F.: Automatic differentiation of algorithms, Springer-Verlag New York Inc., 2002
Duff, I. S.: Direct Methods for Sparse Matrices (Numerical Mathematics and Scientific Computation), Oxford University Press, 2017
Golub, G. H.: Matrix computations, Hopkins Uni. Press, 2013
Griewank, A.: Evaluating Derivatives: Principles and Techniques of Algorithmic Differentiation, Society for Industrial and Applied Mathematics, 2008
Hairer, E., Norsett, S. P., Wanner, G.: Solving Ordinary Differential Equations I, vol. Nonstiff Problems. Springer-Verlag Berlin Heidelberg, 1987.
Hairer, E., Wanner, G.: Solving Ordinary Differential Equations II, vol. Stiff And Differential-Algebraic Problems. Springer-Verlag Berlin Heidelberg, 1996.
Kunovský, J.: Modern Taylor Series Method, habilitation thesis, VUT Brno, 1995
LeVeque, R. J.: Finite Difference Methods for Ordinary and Partial Differential Equations: Steady-State and Time-dependent Problems (Classics in Applied Mathematics), 2007
Meurant, G.: Computer Solution of Large Linear System, North Holland, 1999
Press, W. H.: Numerical recipes : the art of scientific computing, Cambridge University Press, 2007
Saad, Y.: Iterative methods for sparse linear systems, Society for Industrial and Applied Mathematics, 2003
Shampine, L. F.: Numerical Solution of ordinary differential equations, Chapman and Hall/CRC, 1994
Strang, G.: Introduction to applied mathematics, Wellesley-Cambridge Press, 1986
Strikwerda, J. C.: Finite Difference Schemes and Partial Differential Equations, Society for Industrial and Applied Mathematics, 2004
Doporučená literatura
Hairer, E., Norsett, S. P., Wanner, G.: Solving Ordinary Differential Equations I, vol. Nonstiff Problems. Springer-Verlag Berlin Heidelberg, 1987.
Hairer, E., Wanner, G.: Solving Ordinary Differential Equations II, vol. Stiff And Differential-Algebraic Problems. Springer-Verlag Berlin Heidelberg, 1996.
Lecture notes written in PDF format,
Source codes of all computer laboratories
Zařazení předmětu ve studijních plánech
Typ (způsob) výuky
Přednáška
Vyučující / Lektor
Osnova
- Metodika sériového a paralelního výpočtu (zpětnovazební stabilita paralelních výpočtů)
- Extrémně přesné řešení diferenciálních rovnic metodou Taylorovy řady
- Paralelní vlastnosti metody Taylorovy řady
- Základy programování specializovaných paralelních úloh s využitím diferenciálního počtu (těsná souvislost rovnicového a blokového zápisu)
- Paralelní řešení obyčejných diferenciálních rovnic s konstatními koeficienty, knihovní podprogramy přesných výpočtů
- Adjungované diferenciální operátory a paralelní řešení diferenciálních rovnic s časově proměnnými koeficienty
- Metoda řešení rozsáhlých soustav algebraických rovnic převodem na obyčejné diferenciální rovnice
- Bairstowova metoda pro hledání kořenů algebraických rovnic vysokých stupňů
- Fourierova řada a paralelní FFT
- Simulace elektrických obvodů
- Řešení praktických problémů popsaných parciálními diferenciálními rovnicemi
- Regulační obvody
- Koncepce elementárního procesoru specializovaného paralelního výpočetního systému
Cvičení na počítači
Vyučující / Lektor
Osnova
- Simulační systém TKSL
- Testovací příklady řešení exponenciálních funkcí
- Diferenciální homogenní rovnice 1. řádu
- Diferenciální homogenní rovnice 2. řádu
- Generování funkcí času
- Generování funkcí obecné proběnné
- Adjungované diferenciální operátory
- Soustava lineárních algebraických rovnic
- Modelování elektronických obvodů
- Rovnice vedení tepla
- Vlnová rovnice
- Laplaceova rovnice
- Regulační obvody