Course details

Higly Sophisticated Computations

VND Acad. year 2020/2021 Summer semester

Current academic year

The course aims to show practical methods of solving problems encountered in science and engineering. The numerical solution of systems of differential equations is discussed, and parallel cooperation of microprocessors based on differential calculus is evaluated.  The course mainly examines VSVO (variable step, variable order) methods. During the course, students are going to use an original method based on a direct calculation of the Taylor series terms. The TKSL (FOS) simulation language is also available, which allows specifying problems directly using equations.
The close correspondence of block and equation representations of differential equations is also analysed, using block representation as input. The course discusses the following technical problems: solution of large systems of differential equations, algebraic equations, partial differential equations, stiff systems, problems in automatic control, electric circuits, VLSI circuits, modelling of mechanical systems, electrostatic and electromagnetic fields. The analysis of the parallel algorithms and design of a specialised architecture for the solution of differential equations is also part of the course. Most of the technical problems lead to the matrix/vector representation. Individual problems are also going to be solved in MATLAB/Simulink.

Areas of interest for SDZ

  1. Analytical solution of differential equations.
  2. Numerical solution of differential equations.
  3. Extremely accurate solution of differential equations using the Taylor series, libraries for accurate calculations.
  4. Parallel properties of the Taylor series, the basis of the programming of the specialised parallel tasks using differential calculus (close correspondence of block and equation representation).
  5. The adjunct differential operators and parallel solution of the differential equations with time-variable coefficients.
  6. The solution of large systems of algebraic equations by converting them to the ordinary differential equations..
  7. Fourier series, finite integrals.
  8. Simulation of electric circuits.
  9. Solution of practical problems described by partial differential equations.
  10. The concept of a basic specialized processor for parallel computational system.


Guarantor

Zbořil František, doc. Ing., CSc. (DITS)

Course coordinator

Šátek Václav, Ing., Ph.D. (DITS)

Language of instruction

Czech, English

Completion

Examination (written)

Time span

  • 39 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

Department of Intelligent Systems (UITS)

Lecturer

Šátek Václav, Ing., Ph.D. (DITS)

Instructor

Šátek Václav, Ing., Ph.D. (DITS)

Subject specific learning outcomes and competences

Ability to analyse the selected methods for numerical solutions of differential equations (based on the Taylor Series Method) for extremely exact and fast solutions of sophisticated problems.

  • An individual solution of a nontrivial system of diferential equations.

Learning objectives

To provide overview and basics of practical use of selected methods for numerical solutions of differential equations (based on the Taylor Series Method) for extremely exact and fast solutions of sophisticated problems.

Prerequisite knowledge and skills

Numerical Mathematics

Study literature

  • Butcher, J. C.: Numerical Methods for Ordinary Differential Equations, 3rd Edition, Wiley, 2016.
  • Lecture notes written in PDF format,
  • Source codes (TKSL, MATLAB, Simulink) of all computer laboratories
  • 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
  • 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
  • Parallel applications of the Bairstow method for finding the roots of high-order algebraic equations
  • Fourier series  and finite integrals
  • Simulation of electric circuits
  • Solution of practical problems described by partial differential equations
  • Library subroutines for precise computations
  • Conception of the elementary processor of a specialised parallel computation system.

Syllabus of computer exercises

  1. Simulation system TKSL
  2. Exponential functions test examples
  3. First order homogenous differential equation
  4. Second order homogenous differential equation
  5. Time function generation
  6. Arbitrary variable function generation
  7. Adjoint differential operators
  8. Systems of linear algebraic equations
  9. Electronic circuits modeling
  10. Heat conduction equation
  11. Wave equation
  12. Laplace equation
  13. Control circuits

Controlled instruction

During the semester, there will be evaluated computer laboratories. Any laboratory should be replaced in the final weeks of the semester.

Course inclusion in study plans

Back to top