Schválené projekty 2015

Rozdělení přidělené dotace z MŠMT na specifický vysokoškolský výzkum po fakultách se zohledněním celoškolských pracovišť na rok 2015

Celková přidělená částka z MŠMT na specifický vysokoškolský výzkum na VŠB-TUO - 52 908 039 Kč

Z toho 2.5% - 1 320 739 Kč - úhrada způsobilých nákladů spojených s organizací SGS

fakultapřidělená částka v Kč
FBI  1 172 500
EKF  4 962 700
FAST  3 070 000
FS  8 256 000
FEI 12 282 100
HGF  5 433 000
FMMI  6 188 000
VC 10 223 000
CELKEM 51 587 300
Název projektuPERMON toolbox development
ŘešitelHorák David doc. Ing., Ph.D.
Školitel projektu
Období řešení projektu01.01.2015 - 31.12.2015
Předmět výzkumuProblems described by partial differential equations (PDEs) have to be discretized to be solved on computers, e.g. with the Finite Element Method (FEM). Large sparse symmetric linear systems of equations typically arise. But variational inequalities lead to more general quadratic programming problems (QPs). QPs also arise in other disciplines like regression, data fitting, support vector machines, control systems and others.

Domain decomposition methods (DDM) come into play in case of large scale problems not solvable on usual computers. DDM split an original problem into smaller subdomain problems that are independent, allowing natural parallelization and efficient use of supercomputers. FETI methods form a successful subclass of DDM. They allow highly accurate computations scaling up to tens of thousands of processors by blending iterative and direct solvers.

Our PERMON toolbox aims to turn the theoretical results in the aforementioned disciplines into practice with respect to the HPC environment. During this process, new problems appear. To overcome them, we often have to use sophisticated technical solutions but often also have to come back to theory. PERMON consists of our own codes on top of renowned open source libraries. We focus mostly on engineering applications, but also altruistic ones gradually appear (e.g. medical imaging).

1. Team members
Ing. Václav Hapla
Ing. Lukáš Pospíšil
Ing. Pavla Jirůtková
Bc. Radim Sojka
Bc. Jiří Tomčala

The most valuable publications:
- Z. Dostál, L. Pospíšil: Optimal iterative QP and QPQC algorithms. Annals of Operations Research, pp. 1–14, 2013. DOI: 10.1007/s10479-013-1479-0
- J. Bouchala, Z. Dostál, T. Kozubek, L. Pospíšil, P. Vodstrčil: On the solution of convex qpqc problems with elliptic and other separable constraints with strong curvature. Applied Mathematics and Computation 247, pp. 848–864, 2014. DOI: 10.1016/j.amc.2014.09.044
- T. Kozubek, V. Vondrak, M. Mensik , D. Horak, Z. Dostal, V. Hapla, P. Kabelikova, M. Cermak: Total FETI domain decomposition method and its massively parallel implementation. Advances in Engineering Software 60–61, pp. 14–22, 2013.
DOI: 10.1016/j.advengsoft.2013.04.001
- V. Hapla, D. Horak, M. Merta: Use of direct solvers in TFETI massively parallel implementation. Proceedings of PARA 2012, Lecture Notes in Computer Science 7782, pp. 192–205, 2013. DOI: 10.1007/978-3-642-36803-5_14
- L. Pospíšil: An Optimal Algorithm with Barzilai-Borwein Steplength and Superrelaxation for QPQC Problem. 16th Seminar on Programs and Algorithms of Numerical Mathematics, conference paper, WOS: 000317994100024, ISBN: 978-80-85823-62-2

Awards in 2014:
- V. Hapla – Joseph Fourier Prize 2014 – First Prize
- V. Hapla – rector's award for the results in doctoral studies 2013/14
- L. Pospíšil – dean’s award for the results in doctoral studies 2013/14
- L. Pospíšil – Department of Applied Mathematics Best Doctoral Student Award 2013/14
- V. Hapla – Department of Applied Mathematics Best Doctoral Student Award 2013/14
- P. Jirůtková – Department of Applied Mathematics Best Diploma Thesis Award 2013/14
Členové řešitelského týmuIng. Václav Hapla, Ph.D.
doc. Ing. David Horák, Ph.D.
Ing. Pavla Jirůtková
Ing. Lukáš Pospíšil, Ph.D.
Ing. Radim Sojka
Ing. Jiří Tomčala
Specifikace výstupů projektu (cíl projektu)-----------------------------------------------
2. The aim of the project and expected outputs
- Software development: PERMON library (
* PermonFLLOP – extension generating objects for FETI-2, FETI-DP and HFETI methods.
* PermonFLLOP – HTFETI implementation aggregating neighbouring subdomains into clusters.
* PermonQP – Optimization of iterative methods for solution of linear systems and quadratic programming problems with communication hiding and avoiding techniques, hybrid programming and employing accelerators.
* PermonIneq – implementation of QP solvers such as SPG, APGD or PBBF
* Interface with FEniCS
* Massively parallel benchmarking and scalability testing of the solvers on various applications and architectures.

- Publications and conferences:
* L. Pospíšil, V. Hapla, A. Markopoulos, D. Horák: Massively parallel solution of linear elasticity contact problems with friction, journal with IF
* V. Hapla, A. Vašatová, M. Čermák: Efficient implementation of the TFETI gluing matrix, journal with IF
* V. Hapla: PERMON toolbox combining discretization, domain decomposition, and quadratic programming, SNA 2015, Ostrava
* L. Pospíšil, Z. Dostál: Minimization of a convex quadratic function subject to separable conical constraints in granular dynamics. IV International Conference on Particle-Based Methods PARTICLES 2015, Barcelona
* P. Jirůtková, R. Sojka, J. Tomčala: presentations and/or posters at conferences HPCSE, EASC, PPAM and others

3. Impact of the project
QP problems arise in many disciplines like contact mechanics, least-squares regression, data fitting, data mining, support vector machines, control systems and many others. But it is hard to find maintained freely available QP codes. This motivates us to carry on PERMON development. Its applications already include engineering (linear elasticity, contact problems with friction, elasto-plasticity, shape optimization) as well as altruistic ones (medical imaging, ice-sheet melting modelling, and climate changes modelling). Additionally, we employ domain decomposition methods, which allow efficient and robust utilization of parallel computers up to tens of thousands processor cores. By these means we are able to shorten the solution time or even to solve problems whose huge dimension make them unsolvable on conventional personal computers.

4. Goal attainment
Team has reached high level of organizing. Team members start every day by stand-up meeting at 9:30 having a joint coffee, and meet regularly once per week on PermonMeeting. The first mathematical ideas and inventions are implemented and verified in MATLAB, promising features are then implemented in C/C++ enabling massively parallel implementation. As the team members participate on other projects (PRACE, EXA2CT, etc.), they would like to adopt the best known approaches into PERMON. For project management we use PermonTrac. Trac is an enhanced wiki and issue tracking system for software development projects. The project’s progress is reflected here in milestones with deadlines. Each milestone is fulfilled with particular tickets – tasks, bugfixes and enhancements. We assume this system will help us to progress continuously and simultaneously. See the project objectives above.

Rozpočet projektu - uznané náklady

1. Osobní náklady
Z toho
1.1. Mzdy (včetně pohyblivých složek)30000,-25000,-
1.2. Odvody pojistného na veřejné zdravotně pojištění a pojistného na sociální zabezpečení a příspěvku na státní politiku zaměstnanosti10200,-5100,-
2. Stipendia54000,-64000,-
3. Materiálové náklady3400,-6771,-
4. Drobný hmotný a nehmotný majetek0,-0,-
5. Služby0,-49746,-
6. Cestovní náhrady140000,-86983,-
7. Doplňkové (režijní) náklady max. do výše 10% poskytnuté podpory26400,-26400,-
8. Konference pořádané VŠB-TUO k prezentaci výsledků studentského grantu (max. do výše 10% poskytnuté podpory)0,-0,-
9. Pořízení investic0,-0,-
Plánované náklady264000,-
Uznané náklady264000,-
Celkem běžné finanční prostředky264000,-264000,-