Danh sách đề tài luận án tiến sĩ Chương trình tiến sĩ hình thức sandwich hợp tác với Khoa kỹ thuật điện – khoa học máy tính Trường Đại học kỹ thuật Ostrava năm học 2021-2022

Thân mến gửi các ứng viên chương trình đào tạo tiến sĩ hình thức sandwich!

Trung tâm hợp tác Châu Âu xin giới thiệu với các anh chị nghiên cứu sinh một số đề tài trong danh mục 151 đề tài luận án tiến sĩ năm học 2021-2022 của Khoa kỹ thuật điện – khoa học máy tính, Trường đại học kỹ thuật Ostrava, đối tác của Trường đại học Tôn Đức Thắng, hợp tác thực hiện chương trình đào tạo tiến sĩ hình thức bán thời gian (sandwich). Đặc biệt trong danh mục đề tài này có 2 đề tài được PGS. TS. Võ Đình Bảy, Trưởng khoa công nghệ thông tin, Trường Đại học công nghệ TP HCM (HUTECH), cộng tác viên nhiều năm Trung tâm hợp tác Châu Âu, giáo sư thỉnh giảng Trường đại học kỹ thuật Ostrava hướng dẫn.

Đề tài luận án tiến sĩ năm học 2021-2022 ngoài các lãnh vực Khoa học máy tính, Công nghệ viễn thông, Kỹ thuật và năng lượng điện, Điều khiển học, Toán tính và toán ứng dụng, có thêm các đề tài trong lãnh vực Khoa học tính toán, Y tin học và vật lý ứng dụng.

Trung tâm ECC thân ái chúc tất cả các ứng viên thành công khi đăng ký và học tập chương trình sandwich!

Trân trọng,

ECC

-------------

I. NGÀNH TOÁN TÍNH VÀ TOÁN ỨNG DỰNG (COMPUTATIONAL AND APPLIED MATHEMATICS)

1. Tên đề tài: Applied Graph Theory

Supervisor	doc. Mgr. Petr Kovář, Ph.D.
Workplace	470 - Department of Applied Mathematics
Thesis language	English
Description	Often, graph theory can be used to effectively describe a real life problem. Then, methods and general techniques can help to find a solution of the original problem or its part. The goal of this thesis is a systematic study of a specific problem, its description using graph theory and finally the analysis of the results obtained as well as a careful examination of constraints to which the theory can be exploited.

2. Tên đề tài: Development of efficient algorithms for identification of contacts in engineering problems

Supervisor

doc. Ing. Martin Čermák, Ph.D.

Workplace

470 - Department of Applied Mathematics

Thesis language

English

Description

In engineering practice, contact boundary conditions can be encountered wherever you go, and there are several software packages, both commercial and academic, which allow these problems to be solved. An important problem, which needs to be addressed prior to solving contact problems is the very identification of contact edges/boundaries or surfaces of bodies, which are considered in the given problem. In this dissertation, the student will become familiar with problems of mechanics, which consider contact boundary conditions, description of contact boundaries for similar and dissimilar meshes (Mortary, the InterNodes method) and notably with methods which are provisionally known for identification of contacts. Upon the study of the so far published methods and algorithms, the student will choose the most optimal method for its implementation in Matlab followed by its implementation in the PERMON software package. The resulting implementation will be tested on a series of real problems.

3. Tên đề tài: Development of numerical methods for solving multiphysics problems

Supervisor	prof. RNDr. Radim Blaheta, CSc.
Workplace	470 - Department of Applied Mathematics
Thesis language	English
Description	The dissertation will focus on the development of numerical methods for simulations of coupled physical processes (multiphysics), especially problems considering the interconnection of flow in a porous medium with its mechanical deformation (hydro-mechanics). It will mainly deal with the development of efficient iterative solvers, which will also create a connection between the individual processes. The development will also concern the use of solvers, which will allow massive parallelization of computations and the use of supercomputers. The solution of coupled problems has many applications in various fields. In the dissertation, we will strive to test the developed methods at problems motivated by geosciences and geotechnics.

4. Tên đề tài: Mixed finite element method for elastoplastic problems

Supervisor	doc. Ing. Martin Čermák, Ph.D.
Workplace	470 - Department of Applied Mathematics
Thesis language	English
Description	Problems of elastoplasticity are non-linear problems, which have been solved for several decades, and its scope has been increasingly extending along with increasing precision of computations. In numerical computations, the finite element method with linear and quadratic elements is predominantly applied. The problems of elastoplasticity have recently started to be also solved using mixed finite element methods, which allow us to solve problems which were at least problematic to be solved using finite element methods. The student will become familiar with elastoplastic problems, classical and mixed finite element methods, and methods for solving non-linear problems as well as with state-of-the-art solutions of elastoplastic problems and finite element methods. At the beginning, plane-stress elastoplasticity will be addressed using Matlab with its further extension. The resulting efficient implementation will be programmed into the PERMON software package.

5. Tên đề tài: Parallel implementation of the FETI approach applied to contact problems in granular dynamics

Supervisor	doc. Ing. David Horák, Ph.D.
Workplace	470 - Department of Applied Mathematics
Thesis language	English
Description	The objective of this thesis is the application of the domain decomposition method of FETI type for granular system problems with huge number of particles. After the study of these problems formulation, the behaviour analysis of this unstructured discrete system should follow. The characteristic is that this system is incessantly changing including the interactions between particles especially in case of particles flow. Student should also study the domain decomposition methods, compare their pros and cons in the primal and dual formulations and subsequently adapt FETI approach, substitute the coarse problem which can not be applied in the standard form and all this stuff implement in parallel including suitable nonlinear solver for these time-dependent problems. Furthermore, student should acquaint with methods as the NonSmooth Contact Dynamics and NonLinear Gauss-Seidel. Student should implement the solver for the model problem firstly in Matlab and subsequently parallelize it e.g. using PETSc. As the problem generator the LMGC90 or walBerla software can be used. Next objective is to examine limits of this optimized solver, its scalability including an impact of the domain decomposition on local behaviour of the granular system.

II. NGÀNH KHOA HỌC MÁY TÍNH (COMPUTER SCIENCE)

1. Tên đề tài: Cognitive CAPTCHA authorization codes

Supervisor	doc. Lidia Ogiela, MSc., Ph.D.
Workplace	460 - Department of Computer Science
Thesis language	English
Description	Doctoral dissertation will be oriented around modern CAPTCHA authorization codes. It will concern aspects of data security, based on application of cognitive protocols for user authorization. Especially procedures oriented for knowledge-based authentication, as well as multi-level perception will be considered.

2. Tên đề tài: Compression of Data Structures

Supervisor	prof. Ing. Michal Krátký, Ph.D.
Workplace	460 - Department of Computer Science
Thesis language	English
Description	Compression of data structures enables us to shrink their size in the main memory as well as disk. Moreover, it can be also a method reducing the query processing time. Current methods often utilize only trivial compression algorithms like RLE. The main goal of this thesis is an integration of novel compression methods into a DBMS kernel.

3. Tên đề tài: Dynamic reasoning and representation of temporal knowledge in the framework of Transparent Intensional Logic

Supervisor	prof. RNDr. Marie Duží, CSc.
Workplace	460 - Department of Computer Science
Thesis language	English
Description	Knowledge representation and dynamic reasoning support should take into account the factor of time, in particular in case of events and processes. The goal of this dissertation is a proposal of the “logic of events” that can support dynamic reasoning of agents. To this end, it is necessary to propose such a knowledge representation that will remember the history of events and processes, including their current state. To support agents’ dynamic reasoning, Transparent Intensional Logic (TIL) will be applied because it is apt for reasoning in time due to its great expressive power.

4. Tên đề tài: In-memory Database Systems

Supervisor	prof. Ing. Michal Krátký, Ph.D.
Workplace	460 - Department of Computer Science
Thesis language	English
Description	There are some applications which can not utilize the ACID recovery model of DBMS; many operations in DBMS can be processed in the main memory without any support of a persistent data storage. The goal of this thesis is research in the area of In-memory database systems.

5. Tên đề tài: Inferences in Transparent Intensional Logic (TIL) and their application to natural language

Supervisor	prof. RNDr. Marie Duží, CSc.
Workplace	460 - Department of Computer Science
Thesis language	English
Description	Transparent Intensional Logic is an expressive system in which almost all the semantically salient features of natural language can be precisely analysed, including partiality, non-referring terms, anaphoric references, indexicals, ambiguities, de dicto vs. de re, etc. Yet, in a logical system, we not only need to formalize sentences in a fine-grained way, but also to derive their logical consequences. In order to apply a proof calculus in this way, it must be adjusted with respect to the rules rooted in the rich semantics of natural language. The goal of the work is to propose and test such a proof calculus.

6. Tên đề tài: Paralel Query Processing in DBMS

Supervisor	prof. Ing. Michal Krátký, Ph.D.
Workplace	460 - Department of Computer Science
Thesis language	English
Description	There are many techniques how to parallelize the query processing in DBMSs: SIMD instructions, GPU, Xeon Phi and so on. Although there are many works in this area, the open problem is an integration of these techniques into a DBMS kernel. The main topic of this PhD thesis is the integration of these techniques into a DBMS kernel.

7. Tên đề tài: Personalized cryptographic protocols

Supervisor	prof. Dr. Marek R. Ogiela, M.Sc., Ph.D.
Workplace	460 - Department of Computer Science
Thesis language	English
Description	Research will be oriented on development of new classes of security procedures, in which we can apply personal or behavioral features, Application of personal characteristics in cryptographic protocols should consider generation of personalized encryption keys, development of secret sharing procedures, as well as creation of security protocols, in which gestures and movements’ parameters can be applied.

8. Tên đề tài: Subgraph mining in weighted graphs

Supervisor	Vo Dinh Bay
Workplace	460 - Department of Computer Science
Thesis language	English
Description	Study about subgraph mining in a single large graph. - Study about weighted graphs such as edges and vertices. - Proposed methods for mining frequent weighted subgraphs

9. Tên đề tài: Weighted sequential pattern mining

Supervisor	Vo Dinh Bay
Workplace	460 - Department of Computer Science
Thesis language	English
Description	Study about sequential pattern mining, weighted sequential pattern mining. - Propose methods for mining weighted sequential patterns.

III. NGÀNH KHOA HỌC TÍNH TOÁN (COMPUTATIONAL SCIENCE)

1. Tên đề tài: Algorithms of numerical linear algebra for new parallel architectures

Supervisor	doc. Mgr. Vít Vondrák, Ph.D.
Workplace	9600 - IT4Innovations
Thesis language	English
Description	Optimization of basic algorithms of numerical linear algebra is currently very essential task to speedup solution process of very complex numerical models. Increasing number of computational clusters allow massive parallel implementation of these algorithms. In addition, many of these algorithms are known by their excellent parallel scalability. One of fundamental changes in accelerating of these computations on parallel computers is the use of accelerators like GPU and similar on each node of computational cluster. However, this needs review of current algorithms and optimization of current codes for use on such systems to sustain or improve the scalability of original algorithms.

2. Tên đề tài: Modelling of transport properties of molecular ions of argon in air

Supervisor	prof. RNDr. René Kalus, Ph.D.
Workplace	96230 - Parallel Algorithms Research Lab
Thesis language	English
Description	The thesis focuses on microscopic modeling of interactions and collisions of argon ions with nitrogen (and possibly oxygen) molecules to be used in plasma generators optimization for biomedical applications. The work will be performed in collaboration with the Université Toulouse III Paul Sabatier, France, within a scheme of a jointly supervised thesis (cotutelle) with expected stays at the Toulouse university with a total length of approx. 18 months.

3. Tên đề tài: Scheduling sport tournaments

Supervisor	doc. Mgr. Petr Kovář, Ph.D.
Workplace	470 - Department of Applied Mathematics
Thesis language	English
Description	Round robin tournaments are represented using 1-factorizations of complete graphs. There are classical scheduling techniques, describing which teams will meet in which round. Yet, scheduling real life tournaments poses additional requirements that are not met by the classical scheduling techniques. Moreover, incomplete tournament can have further nice properties balancing difficulty for teams of different strength. In 2014 the number of different 1-fatorizarions for 14 vertices (teams) was established using a supercomputer, there is 10^18 such non-isomorphic 1-factorizations. To find the best schedule using brute force traversing all 1-factorizations for 16 or more tams seem not possible. Yet, 1-fatorizations on a limited set can be examined. The goal of this thesis is the theoretical analysis of 1-factoriations with further requirements as well as a parallelized search for such factorizations with restrictions.

IV. NGÀNH KỸ THUẬT ĐIỆN VÀ NĂNG LƯỢNG (ELECTRICAL POWER ENGINEERING)

1. Tên đề tài: Automation of monitoring and repair of power grids

Supervisor	doc. Ing. Zbigniew Leonowicz, Ph.D.
Workplace	410 - Department of Electrical Power Engineering
Thesis language	English
Description	Design of a surveillance autonomous system for supervision, detection and measurements of electrical power grids, or a robotic system for automation of maintenance and repairs.

2. Tên đề tài: Broadband current measurement in voltage test systems

Supervisor	doc. Ing. Zbigniew Leonowicz, Ph.D.
Workplace	410 - Department of Electrical Power Engineering
Thesis language	English
Description	Development of the subject of light intensity measurement in the study of selected applications in the power industry. Simulation of selected measurements. Defining application areas - voltage range, frequency and impulse characteristics. Development of a driver system, optimization and research.

3. Tên đề tài: High-power wireless transmission of energy

Supervisor	doc. Ing. Zbigniew Leonowicz, Ph.D.
Workplace	410 - Department of Electrical Power Engineering
Thesis language	English
Description	Design of a long-range wireless power transmission wireless system, design of a model, simulations, economic analysis in context of transmission of energy from offshore wind farms or other RES.

4. Tên đề tài: Obtaining energy from the environment to power low-power receivers - unconventional methods

Supervisor	doc. Ing. Zbigniew Leonowicz, Ph.D.
Workplace	410 - Department of Electrical Power Engineering
Thesis language	English
Description	Development of the topic of obtaining energy from the environment (for example: energy of vibrations, changes in heat, light, motion, magnetic field) to power autonomous sensors, wireless network devices, etc. Development of a mathematical model of the selected application, analysis and optimization. Development of the selected system, optimization and research.

5. Tên đề tài: Securing of Reliable Electric Power Supply

Supervisor	prof. Ing. Radomír Goňo, Ph.D.
Workplace	410 - Department of Electrical Power Engineering
Thesis language	English
Description	The student will develop the new methods for increasing reliability of electrical distribution networks.

V. NGÀNH CÔNG NGHỆ VIỄN THÔNG (COMMUNICATION TECHNOLOGY)

1. Tên đề tài: A Novel DeepVoCoder Based on Machine Learning

Supervisor	Peppino Fazio, Ph.D.
Workplace	440 - Department of Telecommunications
Thesis language	English
escription	The goal of this thesis is a new proposal of approach to speech coding techniques based on machine learning. One of possible solutions might be based on a convolutional neural network encoder model in order to compress and code speech signal directly from raw input speech. The model would take time domain speech samples as inputs and encode them using a cascade of convolutional filters in multiple layers. The main idea of the proposed approach will be implemented with respect to the computational complexity, delay, memory requirements, bit rate and quality of user experience.

2. Tên đề tài: Cyber Security in the Quantum Era

Supervisor	Peppino Fazio, Ph.D.
Workplace	440 - Department of Telecommunications
Thesis language	English
Description	The development of quantum computers has achieved noticeable progress and it is obvious the quantum computers will affect cyber security significantly in next ten or twenty years. The dissertation thesis will deal with new directions of security such as post-quantum cryptography and quantum cryptography and will investigate their impact on real time communications and feasibility of implementation in networks. It seems that combination of both mentioned approaches will be necessary. It will require also new routing protocols or adopting protocols from Ad hoc networks due to the limitations of quantum keys distribution and varying conditions in individual nodes of quantum network. We have to take into account also the impact of public channel on overall QKD link.

3. Mobility analysis in dynamic networks: deep analysis of stochastical properties

Supervisor	Peppino Fazio, Ph.D.
Workplace	440 - Department of Telecommunications
Thesis language	English
Description	Mobility represents one of the key aspects in dynamic networks, where mobile nodes are free to move and to change network topology dynamically. On the basis of the considered mobility scenario (vehicular, pedestrian, sensor networks, aerial devices, etc.), the intrinsic relations between node positions change, so mobility stochastic properties are dependent on nodes behavior. The main aim of the dissertation is to investigate the stochastic relationships contained in the mobility traces, having the possibility to model mobility processes and characterize them by some key parameters (such as average value, variance, correlation, minimum sampling frequency, etc.).

4. Tên đề tài: Study and Analysis of 5G and VANETs Integration for IoV QoS

Supervisor	Peppino Fazio, Ph.D.
Workplace	440 - Department of Telecommunications
Thesis language	English
Description	Given that the 5G cellular network can be considered as an efficient way to connect vehicles to the modern radio technologies and realize nodes ubiquity, the network infrastructure should be huge enough to obtain the proper QoS level, especially in terms of message delivery. In addition, for the small scale communications, the modern available technologies (such as IEEE802.11n, IEEE802.11ac, etc.) should be also taken into account. Both Vehicular Ad-hoc NETworks (VANETs) and Next Generation Cellular Networks are able to reach high transmission rates, and their integration should take the advantage of the features of both technologies. The main aim of the dissertation is focused on the study and proposal of new approaches for 5G/VANET integration, able to guarantee a proper level of QoS during mobile sessions.

VI. NGÀNH ĐIỀU KHIỂN KỸ THUẬT (CYBERNETICS)

1. Tên đề tài: Architectures of Multithreaded Applications for Modern Multiprocessor Mobile Devices

Supervisor	prof. Ing. Ondřej Krejcar, Ph.D.
Workplace	450 - Department of Cybernetics and Biomedical Engineering
Thesis language	English
Description	téma DiP vychází z aktuálních trendů diskutovaných v IF časopisech: 1) Springer "International Journal of Parallel Programming" (IF=1,156) 2) Springer "Personal and Ubiquitous Computing" (IF=2,395) 3) Elsevier "Pervasive and Mobile Computing" (IF=2,349)

2. Tên đề tài: Control of the renewable and alternate energetic systems

Supervisor	doc. Ing. Bohumil Horák, Ph.D.
Workplace	450 - Department of Cybernetics and Biomedical Engineering
Thesis language	English
Description	The current energy system is characterized by considerable centralization of power sources and finite capacity of the net. Small distributed resources using renewable and alternative technologies require sophisticated management to integrate them into the electrification network. The work will include research, development, prototype implementation and verification of the results of the pilot system behavior. The key element of the research is the properties of energy production systems from alternative sources, its accumulation and expertly supported distribution. It is a prerequisite for cooperation with manufacturers of electrochemical storage systems and energy companies.

3. Tên đề tài: Control of the robotic systems

Supervisor	doc. Ing. Bohumil Horák, Ph.D.
Workplace	450 - Department of Cybernetics and Biomedical Engineering
Thesis language	English
Description	Robotic are complex mechatronic systems. Their use can be seen in many sectors of human activity. From information systems to measure environmental properties, reconnaissance systems in military to therapeutic robotic systems in medicine. Recently, emphasis has been put on control systems that allow autonomous behavior, cooperative behavior, machine learning of robotic systems. The work will include research, development, prototype implementation and verification of parameters and properties of robotic systems. There is also a prerequisite for cooperation with research, development and manufacturing workplaces. In the field of automotive too.

4. Tên đề tài: Decision-making support based on machine learning methods in industrial control systems

Supervisor	doc. Ing. Jiří Koziorek, Ph.D.
Workplace	450 - Department of Cybernetics and Biomedical Engineering
Thesis language	English
Description	The topic of the dissertation thesis is research of using machine learning approaches in industrial control systems based on programmable logic controllers. The machine learning approaches can be used in the implementation of decision-making processes within control systems, either directly in the control system or in the supervisory system. Suitable system structures for the implementation of machine learning methods will be investigated. Appropriate approaches enabling real-time operation for selected application areas, such as predictive maintenance, system diagnostics, image data processing, etc., will also be assessed and verified.

5. Tên đề tài: Implementation of algorithms based on modern control theory on embedded devices

Supervisor	doc. Ing. Štěpán Ožana, Ph.D.
Workplace	450 - Department of Cybernetics and Biomedical Engineering
Thesis language	English
Description	The topic of the dissertation is the study, design and implementation of advanced algorithms based on modern control theory to control of nonlinear cyber-physical systems. The implementation of algorithms of linear-quadratic, adaptive, predictive, and robust controllers on embedded devices falling under the category of softPLC systems is assumed. The topic includes verification of implemented algorithms on a real nonlinear mechatronic cyber-physical system.

6. Tên đề tài: Smart Principles Implementation for Platforms of Mobile Devices

Supervisor	prof. Ing. Ondřej Krejcar, Ph.D.
Workplace	450 - Department of Cybernetics and Biomedical Engineering
Thesis language	English
Description	téma DiP vychází z aktuálních trendů diskutovaných v IF časopisech Springer "Personal and Ubiquitous Computing" (IF=2,395) a Elsevier "Pervasive and Mobile Computing" (IF=2,349)

7. Tên đề tài: User Adaptive System

Supervisor	prof. Ing. Ondřej Krejcar, Ph.D.
Workplace	450 - Department of Cybernetics and Biomedical Engineering
Thesis language	English
Description	téma DiP vychází z aktuálních trendů diskutovaných v IF časopisech Springer "Personal and Ubiquitous Computing" (IF=2,395) a Elsevier "Pervasive and Mobile Computing" (IF=2,349)

8. Tên đề tài: Virtual and augmented reality technology for process control, diagnostics and visualization

Supervisor	doc. Ing. Bohumil Horák, Ph.D.
Workplace	450 - Department of Cybernetics and Biomedical Engineering
Thesis language	English
Description	Virtual and augmented reality technologies will play an increasingly important role in research, development and industrial practice. Their deployment will allow better simulation, visualization and management of processes and allow for a deeper understanding. The scope of work will be research, development, prototype implementation and verification of parameters and properties of systems supplemented by technological subsystems of virtual and / or augmented reality. The solution is linked to the offer with Hyundai within the ongoing INTERREG project.