Course details
High Performance Computations (in English)
VNVe Acad. year 2023/2024 Summer semester 5 credits
The course is aimed at practical methods of solving sophisticated problems encountered in science and engineering. Serial and parallel computations are compared with respect to a stability of a numerical computation. A special methodology of parallel computations based on differential equations is presented. A new original method based on direct use of Taylor series is used for numerical solution of differential equations. There is the TKSL simulation language with an equation input of the analysed problem at disposal. A close relationship between equation and block representation is presented. The course also includes design of special architectures for the numerical solution of differential equations.
Guarantor
Course coordinator
Language of instruction
Completion
Time span
- 26 hrs lectures
- 26 hrs pc labs
Assessment points
- 60 pts final exam (written part)
- 20 pts mid-term test (written part)
- 20 pts labs
Department
Lecturer
Instructor
Course Web Pages
Learning objectives
To provide overview and basics of practical use of parallel and quasiparallel methods for numerical solutions of sophisticated problems encountered in science and engineering.
Ability to transform a sophisticated technical promblem to a system of diferential equations. Ability to solve sophisticated systems of diferential equations using simulation language TKSL.
Ability to create parallel and quasiparallel computations of large tasks.
Why is the course taught
Supercomputers are often used to solve large technical and scientific problems. Before writing the first line of code, the user should perfectly understand the problem, that is being solved.
The goal of this course is to familiarize the students with the physics behind the problems, that are often solved in practice. To be able to see connection between the equations that govern the problem (and then solve it using differential calculus) and the real system. The students should also understand the numerical methods that are being used in the often used software packages as "black boxes". To be able to choose a proper numerical method for a specific problem and not just pick one at random.
Prerequisite knowledge and skills
- Basic knowledge of the programming in procedural programming language (knowledge of software MATLAB/Simulink will be essential for solving homework problems).
- Knowledge of secondary school level mathematics.
Study literature
- 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.
- Butcher, J. C.: Numerical Methods for Ordinary Differential Equations, 3rd Edition, Wiley, 2016.
- Lecture notes written in PDF format,
- Source codes of all computer laboratories
Fundamental literature
- Kunovský, J.: Modern Taylor Series Method, habilitation thesis, VUT Brno, 1995
- 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.
- Shampine, L. F.: Numerical Solution of ordinary differential equations, Chapman and Hall/CRC, 1994
- Strang, G.: Introduction to applied mathematics, Wellesley-Cambridge Press, 1986
- Meurant, G.: Computer Solution of Large Linear System, North Holland, 1999
- Saad, Y.: Iterative methods for sparse linear systems, Society for Industrial and Applied Mathematics, 2003
- Burden, R. L.: Numerical analysis, Cengage Learning, 2015
- LeVeque, R. J.: Finite Difference Methods for Ordinary and Partial Differential Equations: Steady-State and Time-dependent Problems (Classics in Applied Mathematics), 2007
- Strikwerda, J. C.: Finite Difference Schemes and Partial Differential Equations, Society for Industrial and Applied Mathematics, 2004
- Golub, G. H.: Matrix computations, Hopkins Uni. Press, 2013
- Duff, I. S.: Direct Methods for Sparse Matrices (Numerical Mathematics and Scientific Computation), Oxford University Press, 2017
- Corliss, G. F.: Automatic differentiation of algorithms, Springer-Verlag New York Inc., 2002
- Griewank, A.: Evaluating Derivatives: Principles and Techniques of Algorithmic Differentiation, Society for Industrial and Applied Mathematics, 2008
- Press, W. H.: Numerical recipes : the art of scientific computing, Cambridge University Press, 2007
Syllabus of lectures
- Methodology of sequential and parallel computation (feedback stability of parallel computations)
- Extremely precise solutions of differential equations by the Taylor series method
- Parallel properties of the Taylor series method
- Basic programming of specialised parallel problems by methods using the calculus (close relationship of equation and block description)
- Parallel solutions of ordinary differential equations with constant coefficients, library subroutines for precise computations
- Adjunct differential operators and parallel solutions of differential equations with variable coefficients
- Methods of solution of large systems of algebraic equations by transforming them into ordinary differential equations
- The Bairstow method for finding the roots of high-order algebraic equations
- Fourier series and parallel FFT
- Simulation of electric circuits
- Solution of practical problems described by partial differential equations
- Control circuits
- Conception of the elementary processor of a specialised parallel computation system.
Syllabus of computer exercises
- Simulation system TKSL
- Exponential functions test examples
- First order homogenous differential equation
- Second order homogenous differential equation
- Time function generation
- Arbitrary variable function generation
- Adjoint differential operators
- Systems of linear algebraic equations
- Electronic circuits modeling
- Heat conduction equation
- Wave equation
- Laplace equation
- Control circuits
Progress assessment
Half-term and Final exams.
During the semester there will be voluntary computer laboratories. Any laboratory should be replaced in the final weeks of the semester.
Course inclusion in study plans
- Programme IT-MGR-2 (in English), field MGMe, any year of study, Compulsory-Elective group M
- Programme MIT-EN (in English), any year of study, Elective