3.2 Applied Mechanics - Fakulta aplikovaných věd
Transkript
3.2 Applied Mechanics - Fakulta aplikovaných věd
University of West Bohemia Faculty of Applied Sciences Doctoral Study 2013/2014 Pilsen August 2013 Content Content ................................................................................................................... 3 1 Introduction.................................................................................................... 4 2 Basic Information ........................................................................................... 5 3 Fields of Study ................................................................................................ 5 3.1 Applied Mathematics ............................................................................... 5 3.2 Applied Mechanics ................................................................................... 6 3.3 Computer Science and Engineering ......................................................... 7 3.4 Cybernetics ............................................................................................... 8 3.5 Geomatics ................................................................................................. 8 3.6 Plasma Physics and Physics of Thin Films .............................................. 9 4 Ph.D. Study Boards....................................................................................... 10 4.1 Applied Mathematics ............................................................................. 10 4.2 Applied Mechanics ................................................................................. 10 4.3 Computer Science and Engineering ....................................................... 10 4.4 Cybernetics .............................................................................................. 11 4.5 Geomatics ................................................................................................ 11 4.6 Plasma Physics and Physics of Thin Films ............................................. 11 5 Organization of Study ....................................................................................12 5.1 Applied Mathematics ..............................................................................12 5.2 Applied Mechanics ..................................................................................12 5.3 Computer Science and Engineering ........................................................13 5.4 Cybernetics .............................................................................................. 15 5.5 Geomatics ................................................................................................ 15 5.6 Plasma Physics and Physics of Thin Films .............................................16 6 List of Supervisors .........................................................................................16 6.1 Applied Mathematics ..............................................................................16 6.2 Applied Mechanics ................................................................................. 18 6.3 Computer Science and Engineering ........................................................19 6.4 Cybernetics ..............................................................................................21 6.5 Geomatics ............................................................................................... 22 6.6 Plasma Physics and Physics of Thin Films ............................................ 23 7 List of Courses .............................................................................................. 24 7.1 Department of Mathematics .................................................................. 24 7.2 Department of Mechanics ...................................................................... 29 7.3 Department of Computer Science and Engineering .............................. 37 7.4 Department of Cybernetics .................................................................... 42 7.5 Department of Physics ........................................................................... 46 8 Study Department and Dean´s Office .......................................................... 48 9 Information Sources ..................................................................................... 48 3 1 Introduction Doctoral study is one of the most important activities at the Faculty of Applied Sciences (Faculty) of the University of West Bohemia (University). In agreement with the Czech Higher Education Act, doctoral study programs at the Faculty are focused on scientific research and independent creative activities. Ph.D. students contribute significantly to the successful fulfillment of the research objectives of both Faculty’s and University’s research centers. Ph.D. students also participate in many national as well as international research projects. The purpose of this brochure is to provide brief information on doctoral study programs and study fields, Ph.D. study boards, courses, study rules, Dean´s Office, departmental and Faculty websites. A complete list of Ph.D. supervisors together with their research interests is also included in this brochure. Information should especially be helpful for doctoral study applicants in choosing their respective Ph.D. topics, courses and supervisors. Information concerning research areas and study fields within the Faculty will certainly be useful for the academic staff, members of the Ph.D. study boards, supervisors and the professional public. It is my pleasure to invite all potential doctoral study applicants to join the Faculty’s research community and to wish all those already enrolled in our doctoral study programs a lot of success for their demanding study and for their interesting as well as challenging research. August 26, 2013 Doc. RNDr. Miroslav Lávička, Ph.D. Vice-Dean for Research 4 2 Basic Information Doctoral studies at the Faculty are organized in two forms: full-time and combined (combination of distance study and tutorials). The combined form is intended for persons working full-time in an organization other than the relevant Faculty. Doctoral studies in the full-time form take on average 4 years. Max length of study is 7 years. The doctoral study programs are offered in both Czech and English. Information on the admission procedure, accommodation, tuition fees and other relevant matters can be obtained from the University’s International Office. For details concerning the course of the doctoral study please contact a supervisor responsible for the respective Ph.D. topic you are interested in. Additional information is also provided by secretariats of the relevant departments. 3 Fields of Study 3.1 Applied Mathematics official length of study: 4 years, Doctoral study is a continuation of Master study programs guaranteed by the Department of Mathematics. The doctoral study program is organized according to the scientific orientation of the Department. Applicants for admission to the Ph.D. program can also have a Master degree in mathematics or related study fields awarded by another university. Doctoral research topics are from the following areas: study of qualitative properties of nonlinear differential equations in onedimensional and multi-dimensional cases, formulation of nonlinear mathematical models on time scales and their analysis, study of nonlinear eigenvalue problems, especially problems with degenerate and singular operators, bifurcations of solutions of nonlinear systems, effective methods of algebraic geometry for applications in geometric modeling; symbolic manipulations in computer-aided geometric design and symbolic-numerical computations, optimization of the choice of models of random variables in lifetime theory and regression analysis, study of properties of discrete structures (graphs, hypergraphs, matroids, codes); investigation of their mutual relations (colourings, homomorphisms) and the existence of special substructures (cycles, paths, factors), study of graph operators, especially graph closures, and related methods for the investigation of properties of graph structures, 5 numerical analysis of problems of multi-phase flow and contact problems in biomechanics, development of new computational conservative schemes for numerical simulations in fluid mechanics. 3.2 Applied Mechanics official length of study: 4 years Doctoral study in the Department of Applied Mechanics is directly connected to the Master study program “Applied Mechanics” offered by the Faculty. Applicants interested in research and development in applied mechanics, who have graduated from other technical faculties, are also eligible for admission to the Ph.D. program supposed they have specialized in mechanics, physics, mathematics and/or design. The Ph.D. study is focused on scientific research and creativity in various branches of mechanics of solid and flexible bodies and continua. Doctoral students gain a more profound knowledge especially in the analysis of motion, stress and strain, durability and failure prediction of mechanical and biomechanical systems subjected to static, thermal and dynamic loading. For solving these problems they use analytic, numerical and experimental methods. By the end of their studies Ph.D. candidates gain a good theoretical basis and a thorough knowledge in one of the following specializations: Kinematic and dynamic analysis and synthesis of mechanical systems applied especially to rotor systems, screw machines, rail vehicle components and nuclear power facilities. Damage and failure of structures from classical and composite materials with focus on the analysis of the material characteristics influence and on the development of methods for the optimization of composite structures. Continuum mechanics, mechanics of microstructures and biomechanics focused on modelling mechanical and physical interactions in multiphase structured media and on modelling living tissues at both cellular and macroscopic levels for selected human organs, depending on the load applied and on physiological conditions. The doctoral study program “Applied Mechanics” was accredited in both the full-time and combined forms. After finishing doctoral studies Ph.D. graduates find career opportunities especially in research and development centers in various industrial companies , in public research institutions (e.g., Academy of Sciences of the Czech Republic), in higher education institutions and in medical research centers. 6 3.3 Computer Science and Engineering official length of study: 4 years The research areas include but are not limited to: 1) Methods for development of distributed and embedded systems Methods of exact functionality specification of distributed systems using existing or newly developed abstract models. Research into and development of distributed systems architectures with emphasis on the utilization of reusable HW and SW components. Methods and languages for the formal description of component interface and functionality, and architectural specifications (connection and communication of components). Distributed and parallel simulation, active networks, GRID and mobile computing. Abstract models of distributed systems architecture aimed at the evaluation of safety and reliability parameters. Construction of complex distributed systems, models that support decomposition into independent parts. 2) Models and methods for development of reliable modular software systems Development and comparison of different methods of component design verification based on formal specifications of component properties. Theoretical aspects of verification, combination of various verification methods, and investigation of a simulation model “distance” from the real system. Analysis of component models, their utility for complex software systems design. Properties of components, knowledge acquisition verification from existing implementations, property correspondence verification for component relations and substitutions. Models and tools for visualization of complex software systems. 3) Intelligent methods for data processing Development of special methods of biomedical and/or biometric signal processing. Development of models and methods for knowledge representation including models learning directly from the already analyzed biometric and biomedical signals. Knowledge extraction from signal waveforms analyzed and saved in neuroinformatic and biometric databases. Development of new models and methods for knowledge representation and acquisition, including derivation of models from data and multilingual ontology infrastructure for the semantic Web. Utilization of approaches from natural language understanding, artificial intelligence, mathematics, databases and agent technologies. Theoretical investigation of the concept of disinformation and its detailed analysis. Creation of models for passive problems – identification, measure of risk and decision-making. Creation of models for active problems – control and influence. 7 4) Methods for the representation of graphical information Research into and design of algorithms for computer graphics, data and information visualization, data representation, geometric object modelling and manipulation, application of computational geometry. Design of algorithms with respect to robustness and large data processing. Research into algorithms for virtual reality, human-computer interfaces for virtual and collaborative spaces, development of visual human-computer interaction techniques. 3.4 Cybernetics official length of study: 4 years Doctoral study in the field of Cybernetics is directly connected with the Master study in the field of Cybernetics and Control Engineering within the study program “Applied Sciences and Informatics”, accredited at the Faculty of Applied Sciences. Graduates of other technical and natural science faculties, specialized in informatics, computer science, mechatronics, applied mathematics and similar fields are also eligible for this study. The program is primarily based on the individual work of students with focus on the scientific research documented by his/her publication activity. The courses are intended to broaden the students´ theoretical knowledge in selected scientific areas. Doctoral study in the field of Cybernetics is focused on the following areas: design and development of methods for system identification, nonlinear filtration, fault detection, optimal decision-making or control and adaptive systems covering adaptive control and adaptive signal processing, research into and development of new methods of industrial process control focused on robust and predictive control and on automatic design and tuning of industrial controllers, design and development of speech technologies, i.e. computer analysis, synthesis and speech signal recognition, design and construction of voice dialogue systems including development of speech understanding methods, development of decision-making methods with the support of artificial intelligence, integration of knowledge-based and attribute-based approaches (especially in technical and medical diagnostics), modelling , simulation and control of power distribution networks. Doctoral study is offered in two forms: full-time and combined. Its ultimate goal is to acquaint Ph.D. students with methods of scientific research and to prepare them for highly qualified work in institutions conducting fundamental, applied and/or industrial research (universities, Academy of Sciences of the Czech Republic, industrial companies, hospitals and other institutions) or for specialist positions in company managements. 3.5 Geomatics official length of study: 4 years The doctoral program Geomatics, that is a continuation of a Master program Geomatics established in 1995, reflects a fast development of modern 8 sophisticated observation techniques for collecting large amounts of geodetic data. Geodetic data can be collected by direct methods such as electronic tachometers and combined GNSS stations, or by indirect methods such as laser scanning systems (LSS), aerial photogrammetry and remote sensing systems. Methods used for analyzing observed data are becoming more complex as the data amount increases. Large computer systems (clusters) must be used to extract relevant and useful information from raw observations. The quality and reliability of the extracted information, carefully exploited by Geomatics, is an important factor for its further applicability. Besides the classical theory of probability and adjustment calculus, it is also important to use the theory of fuzzy sets to account for stochastic properties of measured data. Optimized methods for collecting, processing, storing and sharing geodata also depend on the use of suitable data models. Data modelling creates new possibilities, both technological and methodological, for data visualization in cartography and geoinformatics. Classical methods of processing and distributing cartographic products are gradually replaced by their publications in digital forms by using www-based technologies. Ph.D. candidates of the doctoral program Geomatics are profiled into the field of mathematical and physical geodesy, geodetic controls and satellite navigation, geodynamics and date modelling, visualization in cartography and geoinformatics with the emphasis on web-based applications. The program is related to other disciplines such as mathematical statistics, numeric modelling, graph theory, theory of information and complexity, applications of geometry and computer-aided graphics. Graduates of this doctoral program may be employed by private enterprises, governmental agencies, various research institutes and universities. 3.6 Plasma Physics and Physics of Thin Films official length of study: 4 years This doctoral study is aimed at the solution of fundamental problems from the field of discharge plasma physics, plasma chemistry, surface physics and engineering, and physics of thin films, which arise from the formation and investigation of a new generation of thin film materials with unique physical and functional properties. These materials (particularly amorphous and nanostructured nitrides and oxides) are prepared by unconventional processes in discharge plasmas of various types (mainly magnetron and microwave discharges in continuous or pulsed mode). The main attention is paid to modelling and diagnostics of the nonequilibrium discharge plasmas (optical emission spectroscopy, energy-resolved mass spectroscopy and probe methods),study of film growth and surface modification processes, design and investigation of novel plasma sources for thin film deposition and surface modification, characterization of the formed films and modified surfaces (elemental composition, chemical bonds, structure, mechanical and optical properties), and to the study of thermomechanical processes in materials (modelling and diagnostics of temperature fields, and processes in laser technologies). 9 4 Ph.D. Study Boards 4.1 Applied Mathematics Prof. RNDr. Pavel DRÁBEK, DrSc., chairman Doc. Ing. Marek BRANDNER, Ph.D. Doc. Ing. Josef DANĚK, Ph.D. Prof. RNDr. Miloslav FEISTAUER, DrSc. Doc. Ing. Gabriela HOLUBOVÁ, Ph.D. Doc. RNDr. František JEŽEK, CSc. Univ. – Prof. Dr. Bert JÜTTLER Doc. RNDr. Tomáš KAISER, Ph.D. Prof. RNDr. Jan KRATOCHVÍL, CSc. Prof. Ing. Jiří KŘEN, CSc. Doc. RNDr. Miroslav LÁVIČKA, Ph.D. Prof. RNDr. Vlastimil KŘIVAN, CSc. Prof. RNDr. Michal KŘÍŽEK, DrSc. Prof. RNDr. Milan KUČERA, DrSc. Prof. RNDr. Bohdan MASLOWSKI, DrSc. Prof. RNDr. Petr PŘIKRYL, CSc. Prof. RNDr. Zdeněk RYJÁČEK, DrSc. Doc. Ing. František VÁVRA, CSc. FAV ZČU FAV ZČU FAV ZČU MFF UK FAV ZČU FAV ZČU JKU Linz FAV ZČU MFF UK FAV ZČU FAV ZČU BC AV ČR - ENTU MÚ AV ČR FAV ZČU, MÚ AV ČR MFF UK FAV ZČU, MÚ AV ČR FAV ZČU FAV ZČU 4.2 Applied Mechanics Prof. Ing. Vladimír ZEMAN, DrSc., chairman KME, FAV ZČU Prof. Ing. Vladislav LAŠ, CSc., vice-chairman KME, FAV ZČU Prof. Ing. Miroslav BALDA, DrSc. ÚT AV ČR Prof. Dr. Ing. Jan DUPAL KME, FAV ZČU Doc. Dr. RNDr. Miroslav HOLEČEK KME, FAV ZČU Ing. Milan HORTEL, DrSc. ÚT AV ČR Prof. Ing. Jiří KŘEN, CSc. KME, FAV ZČU Prof. Ing. Pavel MAREK, DrSc. KME, FAV ZČU Prof. Ing. František PLÁNIČKA, CSc. KME, FAV ZČU Ing. Jiří Plešek, CSc. ÚT AV ČR Dr. Ing. Pavel POLACH Škoda výzkum s.r.o., Plzeň Prof. Ing. Josef ROSENBERG, DrSc. KME, NTC ZČU Prof. Ing. Milan RŮŽIČKA, CSc. FS , ČVUT Praha Prof. Ing. Zbyněk ŠIKA, Ph.D. FS , ČVUT Praha 4.3 Computer Science and Engineering Prof. Ing. Jiří ŠAFAŘÍK, CSc., chairman Doc. Ing. Pavel HEROUT, Ph.D. Doc. Ing. Eduard JANEČEK, CSc. Doc. RNDr. František JEŽEK, CSc. Prof. Ing. Karel JEŽEK, CSc. 10 KIV, FAV ZČU KIV, FAV ZČU KKY, FAV ZČU KMA, FAV ZČU KIV, FAV ZČU Prof. Ing. Antonín KAVIČKA, Ph.D. Doc. Dr. Ing. Jana KLEČKOVÁ Prof. Dr. Ing. Ivana KOLINGEROVÁ Prof. Ing. Václav MATOUŠEK, CSc. Prof. Ing. Ondřej NOVÁK, CSc. Doc. Ing. Stanislav RACEK, CSc. Prof. Ing. Václav SKALA, CSc. Doc. Ing. Václav ŠEBESTA, DrSc. Prof. Ing. Pavel TVRDÍK, CSc. Doc. Ing. František VÁVRA, CSc. Doc. Ing. Vlastimil VAVŘIČKA, CSc. Doc. Ing. Tomáš VOJNAR, Ph.D. KIT, FEI, Univerzita Pardubice KIV, FAV ZČU KIV, FAV ZČU KIV, FAV ZČU UITE, TU Liberec KIV, FAV ZČU KIV, FAV ZČU AV ČR, Praha FIT, ČVUT Praha KMA, FAV ZČU KIV, FAV ZČU FIT, VUT Brno 4.4 Cybernetics Prof. Ing. Josef PSUTKA, CSc., chairman Doc. Ing. Eduard JANEČEK, CSc. Ing. Miroslav KÁRNÝ, DrSc. Prof. Ing. Vladimír KUČERA, DrSc. Prof. Ing. Vladimír MAŘÍK, DrSc. Doc. Ing. Jiří MOŠNA, CSc. Doc. Ing. Luděk MÜLLER, Ph.D. Doc. Dr. Ing. Vlasta RADOVÁ Prof. Ing. Miloš SCHLEGEL, CSc. Prof. Ing. Miroslav ŠIMANDL, CSc. Prof. Ing. Petr VAVŘÍN, DrSc. KKY, FAV, ZČU KKY, FAV, ZČU AV ČR Praha, ÚTIA FEL, ČVUT Praha FEL, ČVUT Praha, KKY, FAV, ZČU KKY, FAV, ZČU KKY, FAV, ZČU KKY, FAV, ZČU KKY, FAV, ZČU VUT Brno 4.5 Geomatics Prof. Ing. Pavel NOVÁK, Ph.D. chairman RNDr. Ing. Petr HOLOTA, DrSc., vice-chairman Doc. Ing. Václav ČADA, CSc. Prof. Ing. Aleš ČEPEK, CSc. Doc. RNDr. František JEŽEK, CSc. Prof. Ing. Jan KOSTELECKÝ, DrSc. Prof. Dr. Ing. Ivana KOLINGEROVÁ Prof. Dr. Ing. Leoš MERVART, DrSc. Prof. RNDr. Stanislav MÍKA, CSc. Prof. Dr. Ing. Karel PAVELKA Ing. Karel RADĚJ, CSc. Doc. Ing. Jiří ŠÍMA, CSc. KMA, FAV, ZČU VÚGTK Zdiby KMA, FAV, ZČU FSV, ČVUT Praha KMA, FAV, ZČU VÚGTK Zdiby KIV, FAV ZČU FSv, ČVUT, Praha KMA, FAV, ZČU FSv, ČVUT, Praha VÚGTK, Zdiby KMA, FAV, ZČU 4.6 Plasma Physics and Physics of Thin Films Prof. RNDr. Jaroslav VLČEK, CSc., chairman Prof. RNDr. Jaroslav FIALA, CSc. Doc. Ing. Milan HONNER, Ph.D. Doc. RNDr. Milan HRABOVSKÝ, CSc. 11 KFY, FAV, ZČU NTC, ZČU KFY, FAV, ZČU ÚFP, AV ČR, Praha Prof. Ing. Jindřich MUSIL, DrSc. Prof. Ing. Stanislav PEKÁREK, CSc. Doc. RNDr. Karel RUSŇÁK, CSc. Doc. RNDr. Jan SLAVÍK, CSc. Prof. RNDr. Petr ŠPATENKA, CSc. Prof. RNDr. Milan TICHÝ, DrSc. Doc. Ing. Petr ZEMAN, Ph.D. KFY, FAV, ZČU FEL, ČVUT, Praha KFY, FAV, ZČU KFY, FAV, ZČU PF, JU, Č. Budějovice MFF, UK, Praha KFY,FAV ZČU 5 Organization of Study This section deals with the organization of doctoral studies in the departments. It provides basic information on courses, required publication activities, study stays abroad, organization of a state doctoral examination and other relevant details. 5.1 Applied Mathematics Doctoral study of applied mathematics is offered in two forms: full-time and combined. The full-time students become members of the Department team and of the corresponding Department Section according to the specialization of their doctoral theses. By agreement with the supervisor and the Department management, the students participate in teaching activities. At the beginning of the study, the Ph.D. student, together with his/her supervisor, draws up his/her individual study plan, which is approved and regularly revised at the annual meetings of the Ph.D. Study Board. The plan includes the examinations the Ph.D. student has to take during the first part of his/her study, and the topic of his/her doctoral thesis, which the student must submit for defense according to the prescribed schedule. The first part is concluded by the state doctoral examination (a Ph.D. student applies in writing for admission to the examination and submits a brief paper on the topic of the future doctoral thesis). The doctoral study is completed by the defence of the doctoral thesis (a Ph.D. student submits his/her application for the defense together with the documents required by the Study and Examination Rules of the University of West Bohemia). In general, the above stated rules also apply to students in the combined form of study. In fulfilling his/her duties, the Ph.D. student is monitored and guided by his/her supervisor and the Department and Section heads. Depending on the space available to the Department, the Ph.D. student is allotted a place of work. Working hours are not fixed, but the Ph.D. student is expected to report regularly to his/her supervisors. Immediately, after starting the studies, the Ph.D. student is required to contact the Department management. 5.2 Applied Mechanics Students applying for admission to the doctoral study program select one of the topics offered by the Department and approved by the Scientific Council of the Faculty of Applied Sciences. The admission procedure consists of an oral examination in mathematics and mechanics and evaluation of the following: 12 grade average achieved during university studies, results of the final state examination and other professional activities (study stays, participation in research projects, presentations and publications of research results). Depending on the admission procedure results, the Admissions Board recommends admission of the applicant to the Dean. In the first stage of study (usually two years), the student takes, in accordance with his/her individual study plan, examinations in three or four subjects and in English, and submits his/her application for admission to the state doctoral examination. On the supervisor´s recommendation the student can be exempted from the English examination supposing he/she has passed the state language examination or its equivalent in English or another world language, or if he/she has completed a study stay abroad of at least six months´ duration and can prove that he/she has used English (or another world language) for communication, and that he/she has given at least one presentation in English (or another world language) at an international conference before submitting his/her application for the thesis defense. The fulfillment of the study plan is evaluated annually by the Ph.D. Study Board. The state doctoral examination is divided into two parts. In the first part the student takes examinations in mechanics of discrete systems, mechanics of continuum and a narrowly specialized subject, chosen by the Ph.D. Study Board and related to the topic of the student´s thesis. In the second part the reviewer and the Examination Board evaluate the student´s written report for the state doctoral examination and the presentation outlining his/her future work on the doctoral thesis . The doctoral study is concluded by the defense of the student´s doctoral thesis before the Examination Board enlarged by two or three reviewers. During the defense the student gives a 20 minutes´ presentation of the aims, content and results of the thesis using multimedia tools; afterwards he/she answers the questions asked by the reviewers, Board members and guests and responds to their comments. Full-time students are obliged to participate in the teaching activities of the Department at least two hours a week for two terms. Students in both fulltime and combined forms of study are required to present their research at scientific seminars and conferences. At least one of these events should be international and the presentation should be given in English. They are also expected to publish at least one paper in the reviewed proceedings of an international conference or in a journal. 5.3 Computer Science and Engineering The doctoral candidate applies for admission through the Dean´s Office and chooses a doctoral thesis topic proposed by the supervisor. The doctoral candidate is invited for an entrance interview, during which the Admission Board appraises the student’s ability to pursue doctoral study (knowledge of the chosen field of study, study results achieved so far, participation in projects, publications, and study stays abroad); depending on the results of the entrance interview, the Admission Board makes a recommendation to the Dean and, if the interview is successful, proposes the supervisor. 13 The student formulates his/her individual study plan and discusses it with the supervisor after the start of his study. The individual study plan must fulfill the following departmental requirements: The student is required to complete at least three courses in the given field of study. One course must be taken outside the Department. The courses have to be completed during the first four semesters. During this period of study, the student studies and analyses the existing literature (textbooks, conference proceedings, journals, and other sources) and starts original research. By the end of March of the second year he/she presents to the supervisor an analysis of the state of the art and a description of the thesis goals in the form of a written Ph.D. research proposal. It is expected that the research proposal is written in English. The student has to demonstrate his/her ability to communicate in foreign language (English) in addition to his study results. Furthermore he is leaded to publish his/her scientific results in journals and scientific conferences/workshops and if need be, the supervising Department may entrust the Ph.D. student with teaching in the range of 2 – 4 hours per week at most. Student actively participates on seminars and other educational and research activities of the department too. The student applies for admission to the state doctoral examination and submits the written Ph.D. research proposal by the end of April of the second year. The state doctoral examination is usually set at the end of June. It is expected that two conference papers authored by the student have at least the “accepted” status by that time. If the student has fulfilled some of the requirements at another institution of higher education before commencing his/her study at the Faculty of Applied Sciences, a proposal for the recognition of the fulfillment must be included in the individual study plan at the beginning of the study. After passing the state doctoral examination, the student conducts original research activities during them he prepares his/her Ph.D. thesis. It is expected that he/she will publish another 2-3 reviewed conference papers; and at least one paper in a scientific journal. After four years, the study is completed by submitting a written Ph.D. thesis in English and defending it successfully in an oral examination. The Ph.D. thesis should include: problem definition and aims, critical review of existing work, student’s novel solution, comparison of his/her solution with other approaches, statement whether the aims were achieved and possible directions of future work, bibliography, appendices (optional). The doctoral study is concluded by the defense of the Ph.D. thesis. It takes place before the State Examination Board, consisting of outstanding specialists in the given field and approved by the Scientific Council of the Faculty. The thesis is reviewed at least by two independent specialists who write their meaning about results of the Ph.D. research and send their reviews to the Dean of the Faculty and to the Chair of the State Examination Board. After a successful defense, the Ph.D. student is awarded the Ph.D. degree. 14 5.4 Cybernetics A doctoral candidate applies for admission through the Dean´s Office and selects a doctoral topic proposed by the supervisor. The deadline for submitting the applications announced at least one month in advance by the Dean’s Office. The doctoral candidate is invited for an admission interview, during which the Admission Board appraises the student’s ability to pursue doctoral study (knowledge of the chosen field of study, study results achieved so far, participation in research projects, publications, and study stays abroad). Depending on the result of the admission interview, the Admission Board makes a recommendation to the Dean and, if the interview is successful, proposes the supervisor. The standard length of study is three years. At the very beginning of the study, the Ph.D. student and his/her supervisor draw up a student´s individual study plan. This plan usually contains the duty to pass 3 - 5 exams in specialized subjects, and one of the English language. The specialized subjects should be chosen carefully with respect to the proposed doctoral thesis topic. In addition to taking the exams stated in the approved study plan, the student is expected to start working on his/her thesis at an early stage of study. The student is also strongly encouraged to publish his/her research in scientific journals or at scientific conferences. If need be, the supervising Department may entrust the Ph.D. student with teaching (usually laboratory classes or supervision of semester projects or Bachelor theses) in the range of 2 – 4hours per week at most. The recommended length of the first period of doctoral study, in which students take examinations in the specialized subjects, is two years. The period is concluded by the state doctoral examination. The defense of a paper outlining the problems to be solved in the doctoral thesis and the methods to be used is an indispensable part of the state doctoral examination. In this paper, the student proves that he has studied all available literature concerning the chosen topic and that he is able to formulate the problems that he wants to solve. The doctoral study is concluded by the defense of the Ph.D. student´s thesis. It takes place before the State Examination Board, consisting of outstanding specialists in the given field and approved by the Scientific Council of the Faculty of Applied Sciences. The thesis is reviewed by two independent specialists. After a successful defense, the Ph.D. student is awarded the Ph.D. degree. 5.5 Geomatics The Ph.D. is a research degree for which a thesis on original research is a major requirement. Candidates for the Ph.D. degree normally hold a Master's degree in Geomatics or a related field. Each Ph.D. student pursues his/her individual study plan under the guidance of his/her supervisor. The fulfillment of the plan is monitored and checked annually by the Ph.D. Study Board. The Ph.D. students are required to complete at least four courses offered by the Department and spend a certain amount of time at some foreign university or institution. Each candidate must take the state doctoral examination consisting of the presentation and defense of a comprehensive outline of the proposed research for his/her doctoral thesis. The doctoral study program is completed by a successful defense of the Ph.D. thesis. 15 5.6 Plasma Physics and Physics of Thin Films The student undertakes intensive research under the guidance of his/her supervisor in the laboratories of the Department of Physics or at other collaborating national and foreign institutions. In the first two years of his/her doctoral study, he takes examinations in three compulsory special subjects: physics of discharge plasmas (first year), physics of surface layers and their characterization, and film deposition and surface modification by plasma techniques (second year), and in English. The three special subjects determine the content of the state doctoral examination at the end of the second year of study. Before the state doctoral examination the student is required to write a report on what progress he/she has made so far in his/her research. Papers published in journals or conference proceedings can be presented instead of the report. 6 List of Supervisors 6.1 Applied Mathematics Doc. Ing. Marek Brandner, Ph.D., Department of Mathematics Numerical modelling, computational fluid mechanics Doc. Ing. Roman Čada, Ph.D., Department of Mathematics Graph theory Doc. Ing. Josef Daněk, Ph.D., Department of Mathematics Numerical modeling, finite element method Prof. RNDr. Pavel Drábek, DrSc., Department of Mathematics Functional analysis, nonlinear differential equations Prof. RNDr. Eduard Feireisl, DrSc., Faculty of Mathematics and Physics, Charles University in Prague Nonlinear fluid dynamics, partial differential equations Doc. Ing. Petr Girg, Ph.D., Department of Mathematics Mathematical analysis, quasilinear differential equations Doc. Ing. Gabriela Holubová, Ph.D., Department of Mathematics Mathematical analysis, nonlinear differential equations Doc. RNDr. František Ježek, CSc., Department of Mathematics Geometric modelling Doc. RNDr. Tomáš Kaiser, Ph.D., Department of Mathematics Graph theory, combinatorial geometry 16 RNDr. Pavel Krejčí, CSc., Mathematical Institute of the Academy of Sciences of the Czech Republic Partial differential equations, hysteresis Prof. RNDr. Milan Kučera, DrSc., Department of Mathematics, Mathematical Institute of the Academy of Sciences of the Czech Republic Nonlinear analysis, variational inequalities Prof. RNDr. Alois Kufner, DrSc., Department of Mathematics, Mathematical Institute of the Academy of Sciences of the Czech Republic Differential equations, function spaces Prof. RNDr. Vlastimil Křivan, CSc., Biology Centre of the Academy Sciences of the Czech Republic Mathematical methods in biology Doc. RNDr. Miroslav Lávička, Ph.D., Department of Mathematics Geometric modelling, applications of algebraic geometry Prof. RNDr. Bohdan Maslowski, DrSc., Faculty of Mathematics and Physics, Charles University in Prague Probability theory, stochastic differential equations Prof. RNDr. Stanislav Míka, CSc., Department of Mathematics Numerical methods, mathematical modelling RNDr. Šárka Nečasová, Ph.D., DSc., Mathematical Institute of the Academy of Sciences of the Czech Republic Nonlinear fluid dynamics, partial differential equations Prof. Dr. Ing. Eduard Rohan, DSc., Department of Mathematics Partial differential equations and homogenization Prof. RNDr. Zdeněk Ryjáček, DrSc., Department of Mathematics Graph theory, theoretical informatics RNDr. Miroslav Šilhavý, DrSc., Mathematical Institute of the Academy of Sciences of the Czech Republic Partial differential equations, thermodynamics RNDr. Petr Tomiczek, CSc., Department of Mathematics Nonlinear boundary-value problems for differential equations Ing. Petr Vaněk, Ph.D., Department of Mathematics Numerical linear algebra, iterative methods Doc. Ing. František Vávra, CSc., Department of Mathematics Information theory, decision theory, risk analysis, modeling Prof. Ing. Miloslav Vošvrda, CSc., Institute of Information Theory and Automation of the Academy of Sciences of the Czech Republic Mathematical methods in economy 17 6.2 Applied Mechanics Doc. Ing. Petr Brož, DrSc., Department of Mechanics Mechanics of building structures, defects from both the physical and material standpoint Prof. Dr. Ing. Jan Dupal, Department of Mechanics Statistical mechanics, dynamics, vibration of rotor systems vibroacoustics Doc. RNDr. Zdeněk Hlaváč, CSc., Department of Mechanics Technical mechanics, vibration, optimization Doc. Dr. RNDr. Miroslav Holeček, Department of Mechanics Mechanics of microstructure, thermodynamics Ing. Luděk Hynčík, Ph.D., New Technology Centrum, Department of Mechanics Biomechanics, theoretical mechanics, modelling and simulation Prof. Ing. Jiří Křen, CSc., Department of Mechanics Technical mechanics, continuum mechanics, biomechanics, interaction of continua of different phases, modelling and simulation Prof. Ing. Vladislav Laš, CSc., Department of Mechanics Stress and strain analysis, mechanics of composites, damage mechanics Prof. Ing. Pavel Marek, DrSc., Department of Mechanics Theory and reliability of structures Prof. Ing. František Plánička, CSc., Department of Mechanics Stress and strain analysis, fracture mechanics, plasticity, fatigue life Prof. Dr. Ing. Eduard Rohan, DSc., Department of Mechanics Continuum mechanics, structure optimization, tissue models, homogenization method in mechanics of microstructure Prof. Ing. Josef Rosenberg, DrSc., New Technology Centrum, Department of Mechanics Continuum mechanics, theoretical mechanics, tissue models, nonlinear dynamics and chaos Doc. Ing. Jaromír Švígler, CSc., Department of Mechanics Kinematics, vehicle mechanics, surface modelling, contact of surfaces Doc. Ing. Jan Vimmr, Ph.D., Department of Mechanics Technical mechanics, fluid dynamics, modelling of turbulent fluid flow Prof. Ing. Vladimír Zeman, DrSc., Department of Mechanics Technical mechanics, dynamics of machines, vibration, system optimization Ing. Robert Zemčík, Ph.D., Department of Mechanics Mechanics of composites, damage mechanics, piezoelectric materials, smart structures 18 6.3 Computer Science and Engineering Doc. Ing. Přemysl Brada, MSc. Ph.D., Department of Computer Science & Engineering Software engineering and processes; software components, composition and substitutability in modular software systems; modeling and visualization of software structures Doc. Ing. Pavel Herout, Ph.D., Department of Computer Science & Engineering Simulation models, transportation systems; portable, robust, scalable and secure software systems, modern programming styles and methods Prof. Ing. Karel Ježek, CSc., Department of Computer Science & Engineering Textual and semi-structured data exploring; Web content and Web structure mining; semantic Web; information and knowledge extraction from large data collection; deductive systems Doc. Dr. Ing. Jana Klečková, Department of Computer Science & Engineering Database systems, XML, Web, data compression, data warehouses, document information systems, spontaneous speech recognition, multimedia databases Doc. Ing. Josef Kohout, Ph.D. , Department of Computer Science &Engineering Computer graphics, computational geometry, bioinformatics Prof. Dr. Ing. Ivana Kolingerová, Department of Computer Science & Engineering Computer graphics, applied computational geometry Ing. Pavel Král, Ph.D., Department of Computer Science & Engineering Automatic speech processing, image processing Ing. Jiří Ledvina, CSc., Department of Computer Science & Engineering System programming, operating systems, computer networks, distributed systems Prof. Ing. Václav Matoušek, CSc., Department of Computer Science & Engineering Artificial intelligence, pattern analysis and recognition, human-machine communication in natural language, biometry and bioinformatics, neuroinformatics 19 Ing. Pavel Mautner, Ph.D., Department of Computer Science& Engineering Pattern recognition, application of artificial neural networks, signal processing, biometrics, neuroinformatics – ERP data processing and analysis Ing. Roman Mouček, Ph.D., Department of Computer Science & Engineering Natural language semantics, neuroinformatics – EEG and event related potentials Ing. Pavel Nový, Ph.D., Department of Computer Science & Engineering Information theory methods, signal processing and decision making theory used for data processing in generally and functional diagnostic in medicine Doc. Ing. Stanislav Racek, CSc., Department of Computer Science & Engineering Verification of computer system properties (performance, reliability)mathematical and/or simulation models, algebraic specification, evaluation nets, model checking Ing. Ondřej Rohlík, Ph.D., Department of Computer Science &Engineering Software engineering, software reuse, software frameworks, aspect oriented programming, feature modeling, game AI Prof. Ing. Václav Skala, CSc., Department of Computer Science & Engineering Algorithms for computer graphics and data structures, algorithms and methods for data and information visualization, Euclidean and projective spaces, geometry algebra Prof. Ing. Jiří Šafařík, CSc., Department of Computer Science & Engineering Operating systems, distributed systems, active networks, distributed and parallel simulation Ing. Petr Vaněček, Ph.D., Department of Computer Science & Engineering Computer graphics, data and information visualization, interface for graphics cards and GPU programming Ing. Libor Váša, Ph.D., Department of Computer Science & Engineering Computer graphics, triangle mesh processing, geometry data compression Doc. Ing. František Vávra, CSc., Department of Computer Science & Engineering Information theory, decision- making theory, risk analysis, model design Doc. Ing. Vlastimil Vavřička, CSc., Department of Computer Science & Engineering Digital system architecture, embedded systems, design methodology, reliability, testability, CPLD, FPGA 20 6.4 Cybernetics Ing. Pavel Balda, Ph.D., Department of Cybernetics Process and machine control, real-time control and simulation, human machine interface Doc. Ing. Eduard Janeček, CSc., Department of Cybernetics Modelling, diagnostics, machine and process control. Stochastic models of complex systems and networks, estimation of their states and parameters Ing. Miroslav Kárný, DrSc., Institute of Information Theory and Automation of the Academy of Sciences of the Czech Republic Decision-making under uncertainty, multiparticipant decision-making, adaptive control, optimal control, Bayesian approach, computational aspects Doc. Ing. Jindřich Matoušek, Ph.D., Department of Cybernetics Speech synthesis; text-to-speech synthesis; speech modelling & segmentation; phonetics; phonology; phonetic transcription; speech acoustics; speech prosody Doc. Ing. Jiří Melichar, CSc., Department of Cybernetics Linear control systems, multivariable systems, optimal control, decentralized and hierarchical control Doc. Ing. Jiří Mošna, CSc., Department of Cybernetics Stochastic systems, optimal control, linear control systems, adaptive systems Doc. Ing. Luděk Müller, Ph.D., Department of Cybernetics Spoken language processing, voice dialogue systems, technical diagnostics Prof. Ing. Josef Psutka, CSc., Department of Cybernetics Speech analysis, synthesis and recognition, spoken dialogue systems, pattern recognition, artificial intelligence, technical and medical diagnostics Doc. Dr. Ing. Vlasta Radová, Department of Cybernetics Speaker recognition, speech signal processing Prof. Ing. Miloš Schlegel, CSc., Department of Cybernetics Linear systems, robust control systems, model based predictive control, process control, embedded control, industrial controllers, mechatronics Prof. Ing. Miroslav Šimandl, CSc., Department of Cybernetics Nonlinear filtering, system identification, fault detection, adaptive control, adaptive signal processing, optimal control, stochastic systems Doc. Ing. Miloš Železný, Ph.D., Department of Cybernetics Multimodal processing of human speech and sign language, gestures, emotions and non-speech expressions; machine vision, industrial and medical vision 21 6.5 Geomatics Doc. Ing. Václav Čada, CSc., Department of Mathematics Geodesy, digital cartography Prof. Ing. Aleš Čepek, CSc., Faculty of Civil Engineering, CTU Prague Data structures and algorithms Ing. Jan Douša, Ph.D., Research Institute of Geodesy, Cartography and Topography, Zdiby Satellite geodesy, meteorology using data of satellite navigation systems RNDr. Ing. Petr Holota, DrSc., Research Institute of Geodesy, Cartography and Topography, Zdiby Theoretical geodesy Doc. RNDr. František Ježek, CSc., Department of Mathematics Geometry Prof. Dr. Ing. Ivana Kolingerová, Department of Informatics Computer graphics, computational geometry Prof. Ing. Jan Kostelecký, DrSc., Research Institute of Geodesy, Cartography and Topography, Zdiby Satellite geodesy Ing. Jakub Kostelecký, Ph.D., Research Institute of Geodesy, Cartography and Topography, Zdiby Satellite navigation, gravimetry Doc. RNDr. Pavel Mentlík, Ph.D., Department of Geography, Faculty of Education, University of West Bohemia GIS, geomorphology Prof. RNDr. Stanislav Míka, CSc., Department of Mathematics Numerical mathematics Prof. Ing. Pavel Novák, Ph.D., Department of Mathematics Geodesy Ing. Vojtech Pálinkáš, PhD., Research Institute of Geodesy, Cartography and Topography, Zdiby Gravimetry Prof. Ing. Josef Psutka CSc., Department of Cybernetics Artificial intelligence, pattern recognition Ing. Cyril Ron, CSc., Astronomical Institute of the Academy of Science of the Czech Republic Earth’s station, astrometry 22 Doc. Ing. Jiří Šíma, CSc., Department of Mathematics Photogrammetry Ing. Milan Talich, Ph.D., Research Institute of Geodesy, Cartography and Topography, Zdiby Geodynamics, satellite navigation, web applications in geodesy Prof. Ing. Bohuslav Veverka, DrSc., Faculty of Civil Engineering, CTU Prague Cartography 6.6 Plasma Physics and Physics of Thin Films Prof. RNDr. Jaroslav FIALA, CSc., New Technologies Research Centre Solid state physics, film characterization, X-ray diffraction Doc. Ing. Milan HONNER, Ph.D., Department of Physics Thermomechanical processes in materials, modelling and diagnostics of temperature fields Prof. Ing. Josef KUNEŠ, DrSc., Department of Physics Thermomechanical processes in materials Prof. Ing. Jindřich MUSIL, DrSc., Department of Physics Plasma physics, surface physics and engineering, physics of thin films Doc. RNDr. Jan SLAVÍK, CSc., Department of Physics Physics of discharge plasmas Prof. RNDr. Petr ŠPATENKA, CSc., University of South Bohemia, Č. Budějovice Plasma diagnostics, physics of thin films RNDr. Jiří Vackář, CSc., Institute of Physics of the Academy of Science of the Czech Republic Computer simulation of solud states Prof. RNDr. Jaroslav VLČEK, CSc., Department of Physics Physics of discharge plasmas, surface physics and engineering, physics of thin films Doc. Petr ZEMAN, Ph.D., Department of Physics Physics of thin films, Thermal behavior of thin films materials 23 7 List of Courses 7.1 Department of Mathematics Algorithmic Graph Theory and Computational Complexity Algoritmická teorie grafů a výpočetní složitost Prof. RNDr. Zdeněk Ryjáček, DrSc. Elements of algorithmic graph theory and computational complexity. Basic graph problems solvable in polynomial time and basic NP-complete problems. Computational complexity theory and NP-completeness: deterministic and nondeterministic algorithms, languages of P and NP classes, NP-completeness of Boolean satisfiability problem, polynomial-time reduction of NP-complete problems. Approximation algorithms and heuristics. Bayesian Methods Bayesovské metody Mgr. Michal Friesl, Ph.D., Prof. RNDr. Marie Hušková, CSc. Bayes Theorem and its application, a priori and a posteriori probability distribution, conjugate systems of densities, Jeffreys density, limit a posteriori densities, empirical Bayes methods, risk function, Bayes risk, Bayes decision functions, Bayes estimators and hypothesis testing. Bifurcation Theory Teorie bifurkací Prof. RNDr. Pavel Drábek, DrSc., Doc. Ing. Petr Girg, Ph.D., Prof. RNDr. Milan Kučera, DrSc. Fundamental theorems concerning bifurcation of solutions of nonlinear operator equations. Crandall-Rabinowitz, Krasnoselskij, bifurcation based on degree theory, potential bifurcation theorem. Bifurcation of periodic solutions – Hopf bifurcation, bifurcation of variational inequalities. Coding Theory Teorie kódů Doc. RNDr. Tomáš Kaiser, Ph.D. Introduction to theory of error-correcting codes. Relations between code parameters. Basic code classes: linear codes (e.g. Hamming, Golay), cyclic codes (BCH), nonlinear codes (Hadamard code). Connection with combinatorics. Combinatorial Geometry Kombinatorická geometrie Doc. RNDr. Tomáš Kaiser, Ph.D. Convex sets. Basic properties, Separation Theorem. Helly’s and Radon’s Theorems. Lattices and Minkowski’s Theorem, applications in number theory. Convex independence in plane. Tverberg’s Theorem and its generalization. 24 Chromatic Graph Theory Chromatická teorie grafů Doc. RNDr. Tomáš Kaiser, Ph.D. Graph coloring. Connection with maximum degree (Brooks’ Theorem, Vizing’s Theorem). Duality and flows. List coloring. Coloring of graphs on surfaces (plane graphs, Heawood Theorem). Polynomial graph invariants (chromatic polynomial, Tutte polynomial) and connection with knot theory. Algorithmic aspects of graph coloring. Differential Geometry Diferenciální geometrie Doc. RNDr. František Ježek, CSc., Doc. RNDr. Zbyněk Šír, Ph.D., Prof. dr. Bert Jüttler Description of curves and surfaces, parametrization. Frenet formula, canonical form and natural equation for curves. Special curves, properties (namely offsets). Theorem of four vertexes, isoperimetric inequality. First and second fundamental form for surfaces, surface curvature (normal, main, Gauss, middle and geodetic). Gauss-Bonnet formula, surface topology. Differential forms, tensors, Stokes theorem. Fundamentals of differential manifolds in E_n. First and second fundamental form. Discrete differential geometry. Discrete curvature. Willmore energy. Minimal surfaces(representation). Dynamical Systems Metody studia dynamických systémů Prof. RNDr. Pavel Drábek, DrSc., Doc. Ing. Gabriela Holubová, Ph.D. Structural stability, bifurcation of finite-dimensional dynamical systems, semigroups, invariant sets, attractors. Dissipative evolution partial differential equations of the first order, wave equations. Ljapunov exponents and dimensions of attractors. Geoinformation Technology Geoinformační technologie Doc. Ing. Václav Čada, CSc., Ing. Milan Talich, Ph.D. Developments and trends in implementation of geoinformation technology (GIT). Role of geoinformatics in institutional control systems. Data management and data sharing in GIT. Processes of strategic planning inside an institution. GIT project and its implementation. Economic justification of GIT projects. Problems with GIT implementation. Legal and personal aspects of GIT implementation. Geometry and Geometric Modelling Geometrické modelování Doc. RNDr. František Ježek, CSc., Ing. Bohumír Bastl, Ph.D., Prof. Dr. Bert Jüttler Fundamentals of geometric modeling, geometric spaces. Geometric transformations (linear, TPS, reverse Coons patch). Modern algebra in geometric modeling (symbolic calculus, Gröbner bases, resultants). NURBS (Non-Uniform Rational B-Splines), special classes and its generalization. Subdivision techniques for curves and surfaces. PH and LN objects and its generalization. Offsets. Volume modeling, Euler’s operators. Variational geometry (Chyz'graph, constructive sets).Geometric algorithms, invariance and 25 relation to graph algorithms. Methods of geometric modeling in reverse engineering. Geometry in Geomatics Geometrie v geomatice Doc. RNDr. František Ježek, CSc. Differential geometry of curves and surfaces. Splines, Coons‘s and NURBS‘s description. Affine, projective and nonlinear transformation (TPS). Triangulation methods of surfaces and geometric tasks of geomatics on discretized surfaces (geodetics, visibility, etc.). Special geometries (nonEuclidean, Lager, etc.) and their applications. Geospatial and Data Modelling Geoprostorové a datové modelování Prof. Dr. Ing. Ivana Kolingerová, Prof. RNDr. Zdeněk Ryjáček, DrSc., Doc. Ing. Václav Čada, CSc., Ing. Milan Talich, Ph.D., Doc. Ing. Jiří Šíma, CSc. Database systems. Visualization methods of geospatial databases. Methods of grid and vector computer graphics. Methods of the graph theory. Graph Theory and Discrete Optimization Teorie grafů a diskrétní optimalizace Prof. RNDr. Zdeněk Ryjáček, DrSc. Optimization problems on graphs and networks – valued flow in network, algorithms for finding optimal flow. Assignment problems, maximum and optimal matching and Hungarian method. Linear programming, duality, simplex algorithm, computational complexity. Integer linear programming and its NP-completeness. Optimization problems on graphs and networks as problems of linear programming. Hamiltonian Graph Theory Hamiltonovská teorie grafů Prof. RNDr. Zdeněk Ryjáček, DrSc. Properties of hamiltonian graphs – connectivity, toughness. Fundamental sufficient conditions of hamiltonicity of a graph – Erdös-Chvátal theorem, degree conditions and the Bondy-Chvátal closure, closure operations based on structural conditions. Further Hamiltonian properties – traceability, uncyclicity, Hamilton-connectedness Hamiltonian properties of graphs from special classes – planar graphs and Tutte’s theorem, line graphs and their preimages, forbidden subgraphs and hamiltonian properties. Matching Theory Teorie párování Prof. RNDr. Zdeněk Ryjáček, DrSc. Maximum matching in bipartite graphs, Hall’s Theorem and Hungarian method. Matching in general graphs, alternating paths and Berge’s Theorem, Tutte Theorem, Edmonds algorithm, Edmonds-Gallai decomposition. Extendable matching, factor-critical graphs. 26 Methods for Collecting Geospatial Data Metody sběru geoprostorových dat Doc. Ing. Václav Čada, CSc. Recent technologies in collection of geospatial data. Direct and indirect methods of data collecting. Development and applications of modern geodetic controls. Networks of permanent GNSS stations (CZEPOS project). Statistical and economic analysis and optimization methods. Methods of Applied Geomatics Metody aplikované geomatiky Doc. Ing. Jiří Šíma, CSc. Topographic mapping. Fundamental Base of Geographical Data. Digital terrain models, methods of their improvement. Development of ortophotographic projection of the territory of the Czech Republic. Applications of digital photogrammetry. Laser scanning systems. Methods of Computer Modelling Metody počítačového modelování Doc. Ing. Marek Brandner, Ph.D., Doc. Ing. Josef Daněk, Ph.D. Mathematical and numerical analysis of non-linear physical fields. Optimalisation techniques, a posteriori bounds, numerical modelling of the processes involving phase change. Special numerical methods for partial differential equations. Methods of the Galerkin type, in particular the finite element method. The finite volume method. Parallel computational methods. Mathematical software applicable in the computational modelling. Methods of Pattern Recognition Metody rozpoznávání obrazu Prof. Ing. Josef Psutka, CSc. Technical and mathematical methods for analyzing picture information. Filtration, segmentation and compression of pictures. Numerical Modelling of Conservation Laws Numerické modelování zákonů zachování Doc. Ing. Marek Brandner, Ph.D. Hyperbolic partial differential equations, classical and weak solution. Vanishing viscosity solution and entropy solution. Riemann problem. Finite difference method. Finite volume method, consistency, stability and convergence. Godunov type methods, high-resolution schemes. Approximate Riemann solvers. Central schemes. Nonlinear systems and multidimensional problems. Selected Parts of Theoretical Numerical Analysis Vybrané kapitoly z numerické analýzy Doc. Ing. Josef Daněk, Ph.D. Direct and iterative methods of numerical linear algebra and their applications to solving partial differential equations. Methods based on the matrix factorizations and iterative methods. LU factorization, QR factorization a other decompositions of the matrices, their properties and their applications in computational methods. The classical iterative methods(Jacobi, GS, SOR), their 27 properties and use. The conjugate gradients method, modern iterative methods for non-symmetric problems (e.g., GMRES).Preconditioning and the construction of pre-conditioners. The multi-grid method, algebraic multi-grid. Methods and algorithms based on the domain decomposition principle. FETI and ADI methods. Splines and wavelets and their use in numerical analysis. Selected Topics of Functional Analysis Vybrané partie funkcionální analýzy Prof. RNDr. Pavel Drábek, DrSc., Doc. Ing. Petr Girg, Ph.D., Doc. Ing. Gabriela Holubová, Ph.D. Basic properties of linear and nonlinear operators in normed linear spaces, abstract integral and differential calculus, local properties of differentiable mappings, differential and integral calculus on manifolds. Statistics Statistika Doc. Ing. František Vávra, CSc. Convergence in distribution, in probability, almost sure convergence, in the k-th mean. Point-estimators, exponential family of distributions, Cramér-Rao lower bound, Fisher information. Confidence intervals. Tolerance and prediction areas, continuous random variables, Wilk's tolerance limits. Large sample tolerance limits. Ratio statistics, large sample case. Rank statistics. Spearman's correlation, Kendal tau, introduction to copulas. Stochastic order and dominance. Hypothesis testing - advanced methods, sequential tests, multiple sampling tests, independency hypothesis testing. Kernel probability density estimators, non-parametric regression, heteroskedasticity and skedastic function. Some kernels and bandwidth parameter determination. Selected Chapters of Modern Algebra Vybrané kapitoly z moderní algebry RNDr. Libuše Tesková, CSc. Groups, non-commutative, Abelian groups, p-groups, Sylow subgroups. Direct decomposition of Abelian groups. Rings,fields, modules and vector spaces. Finite groups and their representation. Selected Topics in Theoretical Geodesy Vybrané kapitoly z teoretické geodézie Prof. Ing. Pavel Novák, CSc., Prof. Ing. Jan Kostelecký, DrSc., Ing. Jan Douša, Ph.D., RNDr. Ing. Petr Holota, DrSc., Ing. Vojtěch Papinkáš, Ph.D., Ing. Václav Slaboch, CSc., Jiří Lechner Satellite geodesy and geodynamics. Physical geodesy. Gravimetry. Satellite dynamics. Metrology. Theoretical and Computational Geodesy Teoretická a výpočtová geodézie Prof. Ing. Pavel Novák, Ph.D., Ing. Jakub Kostelecký, Ph.D. Mathematical models of the Earth’s gravity field, numerical modelling of equipotential surfaces. Methods for determination of geodetic reference surfaces. Software and algorithms of numerical mathematics. Modern numerical and statistical methods for analysis of geodetic data. Issues of stability and conditionality of computational systems. Quality assessment of geodetic controls. 28 Theory of Information and Economic Data Analysis Teorie informace a analýza ekonomických dat Doc. Ing. František Vávra, CSc. Information, entropy, mutual information, investment theory and betting, decision making, parametrical estimation, non-parametrical and parametrical models, risk as a process analysis. Topological Methods for Differential Equations Topologické metody řešení diferenciálních rovnic Prof. RNDr. Pavel Drábek, DrSc., Doc. Ing. Petr Girg, Ph.D., Doc. Ing. Gabriela Holubová, Ph.D. Abstract implicit function theorem, theorem on local diffeomorphism, fixed point theorems. Monotone operators. Brouwer and Leray-Schauder degree of the mapping. Method of upper and lower solutions and the link to the degree of the mapping. Applications to the boundary value problems for ODEs and PDEs. Topology Topologie Doc. RNDr. Tomáš Kaiser, Ph.D. Overview of basic general topology: topological space, connectedness, convergence and compactness. Homotopy. Elements of algebraic topology. Fundamental group. The Seifert-Van Kampen Theorem. Applications: the Jordan Curve Theorem, the Borsuk-Ulam Theorem. Classification of compact surfaces. Variational Methods for Differential Equations Variační metody řešení diferenciálních rovnic Prof. RNDr. Pavel Drábek, DrSc., Doc. Ing. Petr Girg, Doc. Ing. Gabriela Holubová, Ph.D. Local and global extrema. Weak lower semicontinuity and weak compactness. Ekeland variational principle. Palais-Smale condition and its modifications. Mountain Pass Theorem of Ambrosetti and Rabinowitz. Saddle Point Theorem of Rabinowitz. Applications to the boundary value problems for ODEs and PDEs. 7.2 Department of Mechanics Biomechanics Biomechanika Prof. Ing. Jiří Křen, CSc. Biomechanics of human muscular-skeletal and cardial-vascular systems. Bioviscoelasticity of solids tissues, soft tissues and fluids. Rheology of viscoelastic materials and biological systems. Mechanics of skeletal and smooth muscles, biomechanics of the heart muscle. Hill´s and Huxley´s muscle model. Living tissue properties identification. Human blood and viscometers. Mechanical properties and models of blood vessels. Biomechanics of artificial replacements, biotolerance, artificial joint replacements. Biomechanics of syndesmus and cartilages, fundamentals of lubrication theory and synovial fluids. Lungs biomechanics. Tissue engineering. Urinary system biomechanics. 29 Biomechanics of the human motion system. Tissue and organ modelling based on the non-linear continuum. Tissue models based on mixtures. Computational Methods of Dynamics Výpočtové metody dynamiky Prof. Dr. Ing. Jan Dupal Mathematical modelling of continuum dynamics problems. Approximate methods of discretization. Eigenvalue investigation. Response calculation of continuum represented by selfadjoint and non-selfadjoint operators and by matrices (after discretization). Discretization of structures such as beams, rotating shafts, plates and shells by FEM. Modelling of structures consisting of the above types of continuum. Stress and stability analysis of non-symmetrical rotors and special multibody-beam systems. Numerical methods of direct integration of the equation of motion. Use of the MATLAB system in dynamics. Computational Methods of Mechanics of Continuum Výpočtové metody mechaniky kontinua Prof. Ing. Vladislav Laš, CSc. Virtual work principle and variational principles. Approximate methods for the solution of continuum mechanics problems. Finite element method and solution to elastostatic and dynamic problems. Boundary element method. Nonlinear problem solution – physical nonlinearity, contact problem. Non-linear stress state, elastic and plastic stress waves propagation during body impact. Numerical solution to linear and non-linear fracture mechanics problems using computational systems ( MARC, ANSYS). Damage and Failure of Composite Materials Porušování kompozitních materiálů Prof. Ing. Vladislav Laš, CSc. Mechanics of composite materials. Unidirectional composites and determination of their material characteristics. Classical laminate theory. Macro- and micro-mechanical criteria of unidirectional composite failure. Modern interactive failure criteria (Direct mode) from the LaRC group (NASA). Progressive failure analysis. Numerical simulation of composite damage under static and dynamic loading using the finite element method. Laminate residual strength determination. Damage and Fracture of Structural Elements Poškození a porušení konstrukčních prvků Doc. Ing. Petr Brož, DrSc. CSc. Background on continuum damage mechanics, numerical analysis of damage, damage localization, damage models – the uniaxial and the applicable one to multiaxial state of stress, analysis of the crack root vicinity, criteria for crack propagation, linear elastic and elastic – plastic fracture mechanics, dynamic and time – dependent fracture, fracture mechanics in metals and nonmetals, fracture toughness testing of metals, fracture testing of nonmetals, computional fracture mechanics, determination of K, J, compliance and limit load solutions, ductile failures; creep, creep – fatigue and dynamic failure; failure of brittle and quasi – brittle materials. 30 Design and Monitoring of Composite Structures Návrh a monitorování kompozitních konstrukcí Ing. Robert Zemčík, Ph.D. Mechanics of anisotropic materials. Multiscale (micro, meso, macro) models of unidirectional and textile composite shell structures with non-linear response (degradation, anisotropic plasticity). Non-stationary state of stress, stress wave propagation and impacts. Identification of material characteristics using combination of experimental tests, numerical simulations and optimization methods. Contactless optical methods (digital image correlation, stereophotogrammetry). Piezoelectric materials and measurements using piezoelectric transducers. Passive and active methods of structural health monitoring for reconstruction of unknown load and identification (detection, localization) of defects. Dynamic Synthesis and Optimization Dynamická syntéza a optimalizace Doc. RNDr. Zdeněk Hlaváč, CSc. Classification of selected problems of dynamic synthesis of vibrating mechanical systems (condensation, tuning, optimization). Methods of dynamic condensation. Method of spectral tuning. Eigenvalue sensitivity to design parameter changes. Formulation of parametric optimization problems in machine and structure dynamics. Algorithms of one-dimensional and multidimensional unconditional minimization. Conditional minimization. Software for optimization. Dynamics of Machines Dynamika strojů Prof. Ing. Vladimír Zeman, DrSc. Modelling of multibody system motion using Lagrange´s equations. Discrete models of linear vibration systems in matrix form. Modal and spectral matrices. Modal methods for dynamic response investigation. Steady harmonic and periodic forced vibration. Modelling of large mechanical systems by modal synthesis method with condensation. Application – dynamics of rotors, vibroisolation of machines, torsional vibration of drives, vibration of shaft systems with gears, beam and piping system vibration, seismic vibration of structures. Experimental Dynamics and Identification Experimentální dynamika a identifikace Prof. Ing. Miroslav Balda, DrSc. Random processes and their characteristics in time and frequency domains. Continuous and discrete Fourier transform. Vibration exciters and sensors. Measuring chain components. Methods of measurement and digital processing of harmonic and random processes. Procedures for the determination of modal and frequency characteristics. Multichannel measurement of forced vibrations of structures and rotor systems. Parametric identification of mechanical systems. 31 Experimental Stress and Strain Analysis Experimentální pružnost Prof. Ing. František Plánička, CSc. Statistical analysis of experimental data. Modelling similitude. Strain gauges measurement: mechanical gauges, optical gauges, electrical resistant gauges. Optical methods of stress and strain analysis: photoelasticity, moiré method. Displacement and strain measurement under high temperature. Experimental analysis of vibration. Residual stresses. Acoustic emission. Special methods. Fracture Mechanics Lomová mechanika Prof. Ing. František Plánička, CSc. Griffith´s theory of brittle fracture. Linear fracture mechanics. IrwinOrowan approach, intensity factor, fracture toughness, crack stability condition. Non-linear fracture mechanics, J-integral and crack opening methods . Two parameter fracture mechanics. Energy approach to fracture mechanics. Energetic principles. Combined loading mode. Numerical modelling of fracture mechanics problems and their solution using FEM. Fracture mechanics in relation to fatigue. Fundamentals of Anatomy and Physiology Základy anatomie a fyziologie Doc. MUDr. Jiří Motáň, CSc. Cells and their parts. Tissues and their classification. Composition of the body. Skeletal system. Bone and its structure, bone connections. Joints in the head, spine and limbs areas. Muscular system, muscle composition and functions, main muscles. Digestive system. Urinary and genital systems, urinary tract. Body fluids, blood functions. Blood circulation, heart and its composition and functions. Respiratory system, lungs and breathing mechanics, breathing regulation. Nervous system (peripheral and central). Immunity system. Skin and its composition. Skin adnexa. Sense organs. Receptors, organs of smell, taste, hearing, sight, equilibrium. The course is organized in cooperation with Charles University, Faculty of Medicine in Pilsen. Fundamentals of Mechanics of Continuum Základy mechaniky kontinua Prof. Ing. Josef Rosenberg, DrSc. Basic types of continuum description, conservation laws, equilibrium conditions, kinematic equations including large deformations. Objective vectors and tensors. Microcontinuum. Theory of constitutive equations, constitutive equations of different continuum types. Basic thermodynamic laws, energy equilibrium conditions. Boundary and initial conditions of continuum mechanics. Displacement and stress formulation of elasticity problems (Lame and Beltrami equations). 2-D problem of elasticity. Airy stress function. Variational formulation - direct and indirect (virtual work principle, Lagrange and Castigliano principles). Fundamentals of theory of plasticity and thermoplasticity. Viscoelastoplasticity. Stress waves propagation in bodies. Problems of hydrodynamics. 32 Impact biomechanics Impaktní biomechanika Ing. Luděk Hynčík, Ph.D. History of impact biomechanics. Definition of terms of impact biomechanics. Impact biomechanics and its relation to traffic. Statistics, databases and their exploitation for impact biomechanics. Injury mechanisms and injury criteria. Injury scales. Prevention. Mechanical dummies. Legislation and its trends. Tests and their evaluation. Numerical models and their exploitation for impact biomechanics. Impact biomechanics and virtual testing. Interaction of Continua of Different Phases Interakce kontinuí různých fází Prof. Ing. Jiří Křen, CSc. Classification of continuum interaction problems (weak and strong coupled systems) and basic formulation of the problem of fluid-flexible body interaction. Lagrange´s and Euler´s description of interacting continuum characteristics, linear and non-linear problems of continuum interaction. Conjugated and nonconjugated methods of interaction problems solution, basic mathematical models. Laws of conservation in ALE description and application of ALE description in continuum interaction problems. Numerical methods for the solution of linear problems of continuum interaction. Interaction of Structures and Loading Effects of Ambient Interakce konstrukcí a zatěžovacích účinků okolního prostředí Doc. Ing. Jan Pašek, Ph.D. Effects of non-forced loads on structures – temperature fields, temperature shocks, moisture field, rheological processes, chemical and physical degradation, movements of underlying bedrock. Effects of exceptional loads on structures – explosion, fire, vehicle / aircraft crash, technical and natural seismicity. Deformation effects of the structures, forced deformations. Singlelayer and layered (sandwich) structures. Effect of stiffness of the structure, loaded by non-forced and extraordinary effects, on its stress state. Effect of material parameters on the stress of the structures and their reliability – the material strength, modulus of elasticity of the material, the coefficient of linear expansion of the material. Defects, failures and optimization of structures due to loading effects of the ambient. Computer modelling and numerical simulations of static behaviour of the structures, stressed by loading effects of the ambient. Kinematic Geometry Kinematická geometrie Doc. Ing. Jaromír Švígler, CSc. Fundamentals of differential geometry of curves and surfaces. First and second basic tensors and surface curvature tensor. Trochoid and envelope surfaces. Important surfaces and their use in gear sets. Generation of conjugated surfaces which create a higher kinematic pair in the plane and in the space. Screw surfaces as a special case of general surfaces, their particular properties and application. Utilization of trochoid and envelope screw surfaces for screw machines, their theoretical and real contacts. 33 Mathematical Modelling of Fluid Flow Matematické modelování proudění tekutin Doc. Ing. Jan Vimmr, Ph.D. Finite volume formulation of modern numerical schemes for numerical solution to in viscid and viscous laminar flow problems of compressible Newtonian fluid. Basic characteristics of turbulent flow, numerical solution to the system of Favre-averaged Navier-Stokes equations including an appropriate turbulence model. Application to problems of internal and external aerodynamics. Mathematical modelling of incompressible viscous fluids flow. Application in biomechanics, e.g. modelling of cardiovascular problems. Mechanics of Heterogeneous and Multiphasic Continua Mechanika heterogenních a vícefázových kontinuí Prof. Dr. Ing. Eduard Rohan, DSc. The course is intended as an introduction to the continuum description of heterogeneous materials consisting of interpenetrated solid and fluid phases. Continuum models of such media are indispensable for solving engineering problems in acoustics, tissue biomechanics, civil engineering and in environmental multiphysics problems. Main topics: basics of the phenomenological theory of porous multiphase media, volume fractions, chemical potentials and effective stresses, development of balance equations and constitutive laws; methods based on representing the microstructural volume elements, averaging methods, homogenization method and twoscalemodelling. Methodology of numerical modelling for multiscale computations. Multibody Analysis, Synthesis and Optimization Analýza, syntéza a optimalizace VMS Prof. Ing. Jiří Křen, CSc. Matrix methods for the solution of kinematic relations of multibody mechanical systems. Lower and higher kinematic pair transformation matrices. Numerical kinematic analysis of mechanisms. Kinematic analysis of mechanisms with higher kinematic pairs. Bezier-Berstein polynomials application. Geometric-kinematic synthesis of multibody systems. Structural equations of the geometrical and kinematic synthesis of lead and transmission mechanisms, function generators. Synthesis as an optimization problem. Accuracy and sensitivity of mechanisms and kinematic chains. Modelling and Description of Microscopic Structures for Purposes of Biomechanics and Nanomechanics Modelování a popis mikrostruktur pro biomechaniku a nanomechaniku Doc. Dr. RNDr. Miroslav Holeček Fundamentals of the microcontinual description for the generation of generalized continuum theories, basic principles of statistical description of microstructures and general conditions of transition to macroscopic continuum description (averaging). Illustrative examples of general thermodynamic connections from biomechanics (modelling of living tissues starting with the microscopic level) and nanomechanics (the Cauchy-Born rule). 34 Multibody Mechanical Systems Vázané mechanické systémy Prof. Ing. Jiří Křen, CSc. Basic motion transformation matrix, point and body velocity and acceleration. Matrix formulation of simultaneous body motion. Structure and typology of multibody mechanical systems (MMS), structure description, vector and matrix method of kinematic relations solution. Spatial MMS with lower and higher kinematic pairs. Numerical solution of MMS kinematic relations. Bivector, recursive method and mixed mode Lagrange´s equations application in matrix methods for MMS dynamic analysis, numerical solution of motion equations. MMS dynamic analysis considering body compliances and kinematic pairs, kinematically driven systems. Nonlinear Dynamic Systems and Chaos Nelineární dynamické systémy a chaos Prof. Ing. Josef Rosenberg, DrSc. Nonlinear oscillators, introduction to the theory of dynamic systems, point attractors and limit cycles in autonomous systems, bifurcations, Floquet theory, method of multiple scales, quasiperiodic solutions, periodical and chaotic attractors of excited oscillators, stability and bifurcations of iterative mapping, deterministic chaos in discrete dynamic systems, types of transitions to chaos, chaos in the Hamiltonian system, applications. Non-linear Mechanics of Continuum Nelineární mechanika kontinua Prof. Ing. Jiří Křen, CSc. Classification and basic formulation of non-linear problems of continuum mechanics. Conjugated measures of stress and strain. Lagrange´s formulation of the continuum equilibrium in incremental form, basic characteristics of nonlinear continuum. Virtual work principle in Lagrange´s formulation, total and actual. Lagrange´s formulation of non-linear problems. Constitutive relations of non-linear continua. Velocity formulation of non-linear problems of continuum mechanics. Non-linear continuum discretization by the finite element method, numerical solution to non-linear equations in incremental form. Reliability of Structures Spolehlivost konstrukcí Prof. Ing. Pavel Marek, CSc. The reliability assessment of structures and their components including the check and approval of their capacity to withstand the effects of all combinations of loads expected during the entire service life to withstand cumulation of damage (due to fatigue, corrosion, etc) and to meet all serviceability criteria. The extreme combinations of the structure response to the loads. The safety criterion of the structure and its elements defined by simple strength or stability strength, stability of the position and fracture. The damage cumulation criterion related to corrosion, fatigue and rheological properties of the material. The various structural reliability assessment methods based on the deterministic approach (e.g., Allowable Stress Design), on “prescriptive“ partial reliability assessment factors based on FORM or SORM theoretical models (see, e.g., 35 Eurocode), or on the fully probabilistic approach (see, e.g., SBRA – “SimulationBased Reliability Method“). The application of the advanced probabilistic method (SBRA) to the design of steel, concrete and wood structures. Selected Chapters of Elasticity and Plasticity Vybrané statě z pružnosti a plasticity Prof. Ing. František Plánička, CSc. Mathematical modelling of linear-elastic continuum. Solutions to boundary problems. Rotary symmetrical problems. Approximate numerical methods, FEM, special elements. Solution to selected problems corresponding to the Ph.D. student´s study orientation. Plasticity conditions, plasticity surface, loading surface, theory of plasticity. Mathematical models of bodies in elasticplastic state. Numerical solution to boundary problems by FEM. Statistical Mechanics Statistická mechanika Prof. Dr. Ing. Jan Dupal Instruments of statistical mechanics. Random variable function moment and characteristics. Random processes. Stationarity, time averages, ergodicity, correlation, power spectrum, normal processes. Response of linear discrete and continual systems to random excitation, statistical output characteristics of the above mentioned systems with random structural parameters. Nonlinear mechanical systems, statistical characteristics of nonlinear system outputs using various linearization and Fokker-Planck-Kolmogorov equation. Random process generating. Regression and identification of mechanical systems. Damage determination and durability estimation. Structural Optimization Optimalizace konstrukcí Prof. Dr. Ing. Eduard Rohan, DSc. Criteria of the structural optimization and choice of design parameters. Numerical methods in constrained extreme problems. Sensitivity analysis for static and dynamic problems for continua, adjoint system method. Truss optimization, optimal topology and geometry of structures. Shape optimization of elastic and inelastic bodies, problem formulation and solution strategies, contact shape optimization. Methods for optimal topology design of solids, relaxation based on homogenization of microstructures. Free material optimization, optimization of microstructures of composites, applications in structural design, functionally graded materials. Optimization of conduits and geometrical profiles in flow problems. Theory of Gearing Teorie ozubených převodů Doc. Ing. Jaromír Švígler, CSc. Gear sets as mechanisms with higher kinematic pairs, contact of tooth surfaces, constant ratio condition, relative motion axoides, generation of conjugated surfaces, point and curve contacts of conjugated surfaces. Transient surface. Gearing sensitivity to bearing deformations. Kinematics of machines 36 producing gearings. General theory application to the theory of spur gearing, angle drive, worn-gear and hypoid gear. Interference of conjugated surfaces. Theory of Vibration Teorie kmitání Prof. Ing. Vladimír Zeman, DrSc. Mathematical models of discrete non-conservative linear systems, classification, spectral and modal properties. Modal methods for dynamic response investigation of rotating systems. Displacement response spectrum method. Dynamic sensitivity analysis. Modelling of large non-conservative systems by the modal synthesis method. Analytical methods for free and forced vibration of one-dimensional continua. Classification of nonlinear systems, modelling of nonlinearities and approximative analytical methods for investigation of system vibration. 7.3 Department of Computer Science and Engineering Advanced Database Technology Moderní databázové technologie Prof. Ing. Karel Ježek, CSc. Trends in database technology. Object oriented and object relational databases. Data definition and data manipulation in ODMG standard and SQL99 (SQL3). Distributed database systems – taxonomy, architecture, problems of data fragmentation and fragments allocation, distributed transactions. Active databases. Deductive database systems, Datalog. Principles of temporal databases. Introduction to data mining and knowledge discovery. Circuits and Systems for Computers Obvody a systémy pro počítače Doc. Ing. Vlastimil Vavřička, CSc. Design and analysis of high performance digital integrated circuits, and supporting design techniques, methodology, CAD tools, and circuit structures. Speed, area, power dissipation, and reliability. Programmable logic (CPLD, FPGA), design methodology, testability. Component Models and Architectures Komponentové modely a architektury Doc. Ing. Přemysl Brada, MSc., Ph.D. Component and component model definitions and variants. Fundamental characteristics of components, their purpose and consequences. Component contract, means of its description, models and formal notations. Component composition, verification, deployment. Modeling and visualization of component applications. Case studies and analyses of concrete component models. 37 Computational Geometry Algorithms and Applications Algoritmy a aplikace výpočetní geometrie Prof. Dr. Ing. Ivana Kolingerová Selected algorithms of computational geometry, suitable, first of all, for computer graphics and its applications, but also for other specializations in which geometric objects need to be handled. Analysis and synthesis of algorithms from the given area. Use of these algorithms in applications. Examples of themes: data structures for geometrical objects modelling, geometric search, convex hulls, triangulations, duality, motion planning, robustness and effectivity of geometric algorithms. Communication in Computer Systems and Networks Komunikace v počítačových systémech a sítích Ing. Jiří Ledvina, CSc. Trends in network technology (high speed networks, wireless networks). Quality of service in data networks. Virtual networks, mobile networks and wireless networks. Modern Internet protocols, multimedia transmission protocols, peer-to-peer networks. Network management protocols, network security. Computer Architectures Architektury počítačů Doc. Ing. Vlastimil Vavřička, CSc. Specification, design and evaluation of parallel architectures/systems for scientific, engineering as well as enterprise application domains. Multiprocessors; coherence and memory models, implementing MPs, MP synchronization. Pipelined CPU architecture. Instruction set design and pipeline structure. Dynamic scheduling using score boarding and Tomasulo's algorithm. Software instruction scheduling and software pipelining. Superscalar and long-instruction-word architectures. Branch prediction and speculative execution. Computer Graphics and Visualization Počítačová grafika, vizualizace dat a informací Prof. Ing. Václav Skala, CSc. Data structures, object modelling techniques, methods for objects representation and manipulation in E3 geometric transformations, fundamentals of projective geometry and geometry algebra, algorithm design and verification in special computational architectures, scalar ad vector fields, methods for technical, medical and information data processing for visualization in E3 and in virtual collaborative environment. Design of Algorithms for Computer Graphics Návrh výpočetních algoritmů počítačové grafiky Prof. Ing. Václav Skala, CSc. Data and information representation in En, Euclidean and affine spaces, stability and robustness of algorithms of computer graphics and visualization, Algorithm design with respect to special architectures (CPU, GPU, CUDA, etc.). Geometry algebra principles and usage in computer graphics and visualization algorithm design. 38 Digital Picture Processing Methods Metody zpracování digitalizovaného obrazu Ing. Pavel Nový, Ph.D. The image processing methods for filtration, edge detection and restoration, pattern recognition and extraction, informational analysis, picture models, topology and morphology, computed tomography reconstruction technique, computer vision systems for IR and X-ray spectrum. Distributed Computing Systems Distribuované výpočetní systémy Ing. Jiří Ledvina, CSc. Models and characteristics of distributed systems, inter-process communication, reliable group communication. Distributed algorithms, synchronization. Deadlock in distributed systems. Consistency. Transactions, distributed transactions. Distributed shared memory. Distributed file systems and their properties. Fault tolerance. Security in distributed systems. Distributed systems examples. New trends in distributed systems development, communication in distributed systems, distributed algorithm. Solving problems of time synchronization, deadlock, data consisting, fault tolerance, and security. Orientation to the distributed embedded systems. Document Information Systems Dokumentografické informační systémy Doc. Dr. Ing. Jana Klečková Document information systems, web databases, multimedia databases, similarity search problem in multimedia databases , querying; uncertainty and vagueness of information. The development of tools and databases for management and sharing of data in other application area. Distributed Computing Distribuované výpočty Prof. Ing. Jiří Šafařík, CSc. Distributed computation independent of the underlying computing system. Distributed algorithms for understanding computing systems in different areas, e.g. information systems, scientific computing. Specification of their required behaviour, correctness and performance. Problems of resource allocation, data consistency, deadlock detection, leader election, causality and time, scheduling, routing. Fault-tolerant Computer Systems Výpočetní systémy odolné proti poruchám Doc. Ing. Stanislav Racek, CSc. Models of ageing and reliability for computer parts and systems. Methods of reliability prediction and evaluation for complex computer systems and nets. Methods of fault tolerance implementation(fault masking, fault detection, dynamic redundancy, SW implemented fault tolerance). Fault tolerant distributed systems. Computer control systems for safety critical applications (mission oriented, highly available) – principles of design and construction. 39 Knowledge Based Systems and Knowledge Engineering Znalostní inženýrství a znalostní systémy Prof. Ing. Václav Matoušek, CSc. Fundamentals of production systems; propositional and predicate calculus, resolution refutation systems, rule-based deduction systems; logic programming; knowledge representation and manipulation, inference systems, reasoning under uncertainty; learning in knowledge based systems; knowledge based systems in pattern recognition and natural language understanding. Knowledge Extraction from Databases and Hypertext Data Extrakce znalostí z databází a z hypertextových dat Prof. Ing. Karel Ježek, CSc. Filtering and classification methods, supervised and unsupervised learning. Clustering. Association analysis. Web search and information retrieval. Preprocessing and indexing. Classic models for information retrieval. Alternative algebraic and probabilistic models. Query evaluation. Query Expansion. Matrix decompositions and latent semantic indexing. Web content mining. Web content and structure mining. Modelling of Computer System Performance and Reliability Modelování výkonnosti a spolehlivosti výpočetních systémů Doc. Ing. Stanislav Racek, CSc. Probability based models of computer systems – Markov models, stochastic Petri nets, evaluation nets. Discrete-time simulation models – principles of constructions. Computer system performance and reliability prediction using models of various types. Modern Programming Styles and Methods Moderní programovací styly a metody Doc. Ing. Pavel Herout, Ph.D. Object oriented analysis, design and implementation of large software applications. Theory and practice of markup languages. Scripting languages. Programming of embedded systems. Fail-safe and fault-tolerant software applications. Natural Language Human – Computer Interaction Komunikace člověk – počítač v přirozeném jazyce Prof. Ing. Václav Matoušek, CSc. Basic concepts of natural language processing and understanding, continuous and spontaneous speech recognition and speech synthesis system architectures; natural language parsing methods, semantic interpretation and internal representation, generating natural language; dialogue system structures, principles of dialogue control, natural dialogue system design. Nonlinguistic Aspects of Speech Nonlingvistické aspekty řeči Doc. Dr. Ing. Jana Klečková Suprasegmental features of the sound design of language and speech. Specific properties of prosodic phenomena; general principles of their description for computer speech processing; design of databases. Current 40 approaches to the phenomenological description of intonation (metric theory, intonation systems). Application of the universal properties of speech production and perception from the point of view of sound variability; coding of the Czech pronunciation, speech samples. Possible application of nonverbal communication in the continuous speech processing system. Multimodal emotion recognition (facial expressions, linguistic and prosody analysis) and expressivity analysis, gesture recognition. Pattern Analysis and Understanding Klasifikace a rozpoznávání objektů Doc. Ing. Václav Matoušek, CSc. Principal approach to pattern recognition, types of patterns, signal representation and preprocessing, segmentation methods, classification problem, general recognition strategies; data structures and databases for patterns, main control structures and their implementation, knowledge and learning in pattern recognition, learning concepts; neural net based recognition methods and systems. Semantic Web and Document Processing Sémantický web a zpracování dokumentů Prof. Ing. Karel Ježek, CSc. Models of text documents. Methods of text summarization. Words disambiguation. Retrieval methods. Probabilistic retrieval. XML and XML retrieval. Data models and semantic web query languages. Metadata and ontologies. Ontology development methods. Domain and Linguistic Ontology. Ontology languages. Semantic web reasoning. Specification and Design of Concurrent Systems Specifikace a návrh souběžných (paralelních) systémů Prof. Ing. Jiří Šafařík, CSc. Systematic approach to specification, verification and design of concurrent processes. Basic concepts based on corresponding mathematical abstraction. Rules for proving that process implementation meets its specification. System composed of concurrent processes communicating with each other and their environment. Selected areas from program logic, temporal logic, CSP (Communicating Sequential Processes), CSS (Calculus of Communicating Systems), and μ-calculus . Theory of Information and Economic Data Analysis Teorie informace a analýza ekonomických dat Doc. Ing. František Vávra, CSc. Information, entropy, mutual information, investment theory and betting, decision making, parametrical estimation, non-parametrical and parametrical models, risk as a process analysis. 41 7.4 Department of Cybernetics Adaptive Systems Adaptivní systémy Prof. Ing. Miroslav Šimandl, CSc. The course deals with adaptive control systems and adaptive signal processing systems based on a running system identification. These systems are applied in decision making, control and signal processing under uncertainty. Main topics: self-tuning controllers and reference-model control, dual control, intelligent adaptive control, adaptive systems with implicit and explicit identification, adaptive prediction and filtering. Artificial Intelligence Umělá inteligence Doc. Dr. Ing. Vlasta Radová Problem solving, problem solving by searching, informed search. Adversarial search, games. Knowledge and reasoning, knowledge representation, logical agents. Uncertain knowledge and reasoning. Learning, learning from observation, statistical learning methods, reinforcement learning, knowledge in learning. Planning, planning in the real word. Perception. Artificial intelligence in robotics. Computer Speech Synthesis Počítačová syntéza řeči Doc. Ing. Jindřich Matoušek, Ph.D. Phonetics and phonology, phonetic inventories, phonetic transcription, prosody. History of speech synthesis, source-filter theory. Formant, articulation and concatenative speech synthesis. Corpus-based speech synthesis, unit selection synthesis. Methods for prosodic and spectral modifications, sinusoidal and LP synthesis, PSOLA and its modifications. Text-to-speech synthesis, text processing, prosody generation. Evaluation of speech synthesis quality, intelligibility and naturalness tests. Computer Vision Počítačové vidění Doc. Ing. Miloš Železný, Ph.D. Contactless measurement based on processing of visual information. Overview of hardware for image acquisition. Image data formats, transmission and compression. Definition of computer vision, aims, terminology. Digital image processing. Description of objects, phenomena, scene. Recognition, motion analysis, three-dimensional vision. Applications of computer vision in the domain of human-computer interaction, technical diagnostics, medical vision, remote sensing. 42 Decentralized and Hierarchical Control of Multivariable Systems Decentralizované a hierarchické řízení vícerozměrových systémů Doc. Ing. Jiří Melichar, CSc. Multivariable systems, centralized and decentralized control. Interactive and non-interactive multi-loop control. Design of decoupling controllers. Diagonal dominance and pseudodiagonalization of transfer function matrix. Decentralized control and stabilization of large-scale systems with local static and dynamic controllers. Decentralized fixed modes. Multi-level hierarchical control. Model and goal coordination methods. Static and dynamic optimization in two-level hierarchical control. Diagnostics and Decision-making Diagnostika a rozhodování Doc. Ing. Luděk Müller Ph.D. The statistical decision problem, statistical modelling and classification. Artificial intelligence methods appropriate for diagnostics – informative features extraction and selection, pattern recognition, decoding. Engineering approach to the implementation of technical and medical diagnostic systems, feasibility studies, implementation of diagnostic systems in industry. Examples of technical and medical diagnostic systems. Fault Detection Detekce chyb Prof. Ing. Miroslav Šimandl, CSc. Fault detection is based on a fast and correct identification of such behaviour of the monitored system that is considered inadmissible for the required system functioning. Main topics: specification of fault detection or change detection of monitored or controlled systems, detection quality requirements, approaches based on signal processing, approaches based on models, passive and active detection, optimal input signal, information processing strategy. Knowledge Based Systems Znalostní systémy Doc. Ing. Luděk Müller, Ph.D. Knowledge-based and expert system architecture. Rule-based and framebased systems. Knowledge representation; inference techniques, nonmonotonic reasoning. Reasoning under uncertainty: Bayesian approach, certainty theory, fuzzy-logic, Dempster-Shafer theory. Knowledge acquisition. Inductive knowledge-based systems. Knowledge-based system development. Model Based Predictive Control Prediktivní řízení Prof. Ing. Miloš Schlegel, CSc. The model predictive control (MPC) strategy yields the optimization of a performance index with respect to some future control sequence, using predictions of the output signal based on a process model. The course presents an overview of the most important predictive control strategies, the theoretical aspects as well as the practical implications. Hands-on experience is gained through Matlab/Simulink simulation exercises. 43 Multiagent Systems Multiagentní systémy Ing. Petr Bečvář, Ph.D. Definition of agent, holon and multiagent system. Agent interaction models, task and data distribution, ontologies, agent inaccessibility. Multiagent platforms (JADE, A-globe) and standards (XML, FIPA, OWL, Web Services). Common applications (simulation, planning, control, CIM, virtual organizations, web agents). Natural Language Processing Zpracování přirozeného jazyka Ing. Pavel Ircing, Ph.D. The subject concerns basic methods of natural language processing, especially in connection with automatic speech recognition. Attention will be paid mainly to text normalization, statistical language modelling, clustering of words into classes and morphological tagging. Fundamentals of the information retrieval methods will also be introduced, again with emphasis on speech retrieval. Neural Networks Neuronové sítě Doc. Dr. Ing. Vlasta Radová Multilayer networks. Probabilistic neural networks. Adaptive-structure neural networks. Evolutionary algorithms. Recurrent networks. Algorithms for neural networks learning. Supervised learning, unsupervised learning. Algorithm backpropagation, modifications. Complexity of learning, generalization. Neural networks application. Neural networks for signal processing. Neural networks for pattern recognition. Nonlinear Filtering Nelineární filtrace Prof. Ing. Miroslav Šimandl, CSc. The course deals with the state estimation problem of linear and especially nonlinear stochastic systems. The estimation methods are applied in e.g. automatic control, tracking, navigation, fault detection, signal processing. Main topics: Bayesian approach, Kalman filtering, derivative-free filters, Gaussian sum method, sequential Monte Carlo method, point mass method, Cramér-Rao bound, continuous systems with discrete measurements. Optimal Stochastic Control Optimální stochastické řízení Doc. Ing. Jiří Mošna, CSc. Introduction to the theory of optimal control of dynamic systems. Review of static optimization. Deterministic dynamic optimization, design of time and linear-quadratic optimal automatic control systems. Design of optimal stochastic automatic control system. Matrix games and their solution. 44 Pattern Recognition Rozpoznávání obrazů Prof.Ing. Josef Psutka, CSc. Pattern recognition systems, introduction. Bayes decision theory, parameter estimation. Linear discriminant function, perceptron, support vector machine (SVM). Nonparametric classifiers. Context dependent classifiers, DTW, Markov models, Viterbi algorithm. Decision trees, classification and regression trees (CART), pruning. Unsupervised learning (clustering). Sequential and hierarchical clustering algorithms. Optimization techniques, K-means, Isodata. Extraction and selection of information features, feature decorrelation. Queuing Theory Systémy hromadné obsluhy Doc. Ing. Jiří Mošna, CSc. Classification of queueing networks. Open single server system, basic model and its analysis; average queue length, average queueing time. Extension to multiple server systems and queueing systems with finite queue capacity. Closed queuing systems. Throughput, saturation point. Some special queueing systems, e.g. systems with priorities, group arrivals. Queueing networks: analysis in steady-state. Simulation techniques. Robust Control of Linear Systems Robustní řízení lineárních systémů Prof. Ing. Miloš Schlegel, CSc. Robust control is a control which fulfills design specifications not only for a nominal system but also for a whole, exactly defined, family of controlled systems. Model uncertainty and robustness have been central topics in the development of automatic control. First, an elementary explanation of these notions is given. Further, some basic methods (robust regions, robust pole placement, H-infinity) for the design of robust controllers are presented. Signal Processing Zpracování signálů Prof. Ing. Josef Psutka, CSc. Sampling and reconstruction. Sampling theorem, quantization, D/A and A/D conventors. Discrete Fourier Transform, DFT and FFT algorithms, inverse DFT, FIR and IIR filters, windowing. Power spectrum. z-Transform. Speech signal processing, processing in time and frequency domains. Linear predictive analysis, Homomorphic signal processing, speech parameterization techniques, vector quantization, additive noise and convolutional distortion reduction. Information features extraction; NPS, PCA, LDA, HLDA transformations. Spoken Language Processing Počítačové zpracování mluveného jazyka Doc. Ing. Luděk Müller, Ph.D. Theory, algorithms and development of systems for human-machine communication. Statistical methods of speech recognition and understanding. Speech coding and processing. Acoustic and language models. Speech decoding. Large vocabulary continuous speech recognition. Robust speech recognition, adaptation. Speech synthesis. Speaker identification and verification. Voice dialogue systems control and development. Corpus collection. 45 Stochastic Models of Utility Networks Stochastické modely energetických sítí. Doc. Ing. Eduard Janeček, CSc. Analogy between electric power, gas and water-supply networks. Generalized stochastic loop current methods. The matrix and recursive stochastic model of tree structure network. Stochastic models of circle networks. Class parameters estimation of stochastic load models using customer consumption measurement and aggregate measurement in supply nodes. Estimation of network quantities and losses, VaR values. System Identification Identifikace systémů Prof. Ing. Miroslav Šimandl, CSc. The aim of system identification is to find a mathematical model using experimental data. Identification is an alternative to mathematical modelling, which is based on physical laws. Main topics: system, model structure, experimental conditions, identification methods, parametric models, stochastic model of uncertainty, linear and nonlinear parameter estimation, unbiased estimation. Time-frequency Signal Processing for Diagnostics Časo-frekvenční zpracování signálu pro diagnostiku Doc. Ing. Eduard Janeček, CSc. Sensors for detection of events . Methods for detection of events in stationary signals. Statistic characteristics, effective value, complex spectrum. Methods for detection of events with strong resonance background noise. Normed time-frequency spectrum. Hilbert transform, spectrum of envelope, complex analytic signal. Hilbert-Huang transform, IMF decomposition. Kalman filter with resonance modules. 7.5 Department of Physics Film Deposition and Surface Modification by Plasma Techniques Plazmové technologie pro depozici vrstev a modifikaci povrchů Prof. Ing. Jindřich Musil, DrSc. Plasma techniques for film deposition and modification of material surfaces. Role of plasma and ion-stimulated processes in surface engineering. Physical and chemical principles of film growth and surface modification. Structure of films with the required properties. New trends in the field of deposition technologies and thin-film materials. Physics of Discharge Plasmas Fyzika výbojového plazmatu Prof. RNDr. Jaroslav Vlček, CSc. Basic plasma equations. Elastic and inelastic collisions. Motion of charged particles and propagation of electromagnetic waves in a plasma. Diffusion and transport of particles. Low-temperature plasma diagnostics. Particle and energy balance in discharges. DC glow discharges. High-frequency discharges with 46 capacitive and inductive coupling. Microwave discharges. Interaction of ions with solid state surfaces. Physics of Surface Layers and Their Characterization Fyzika povrchových vrstev a jejich charakterizace Prof. RNDr. Jaroslav Fiala, CSc. Chemical bonding. Electronic and atomic structure at interfaces, dislocations at interfaces, thermodynamics of interfaces. Adsorption. Paracrystallinity and quasicrystallinity at grain boundaries. Two-dimensional structures. Epitaxy, endotaxy and topotaxy. Analytical techniques classification. Spectroscopical methods. Microscopy. Microanalysis. Diffraction and channelling. Thermal analysis. Image analysis. Tomography and topography. 47 8 Study Department and Dean´s Office R&D and Ph.D. Study Administrator Ing. Jaroslav Toninger Office hours: Dean Vice-Dean Doc. Ing. František Vávra, CSc. Doc. RNDr. Miroslav Lávička, Ph.D. tel.: 377 63 2012 e-mail: [email protected] tel.: 377 63 2000 e-mail: [email protected] Po St Pá 9:00 – 11:30 9:00 – 11:30 9:00 – 11:30 tel.: 377 63 2619 e-mail: [email protected] 9 Information Sources FAV websites - section Doctoral study: Websites for applicants: http://www.fav.zcu.cz/en/study/ http://www.fav.zcu.cz (czech) IS STAG: http://www.stag.zcu.cz/ (czech) Portál ZČU: http://www.portal.zcu.cz/ (czech) Bursaries http://www.fav.zcu.cz Accommodation bursary:http://ubytstip.zcu.cz/ Social bursary:http://socstip.zcu.cz/ 48 (czech) (czech) (czech)