List of Courses Taught in English
This list may be incomplete and will be updated by the end of 2014. As a basic rule, al subjects at PhD level are taught in English on demand.
| Code: XP01ITZ | Integral Transforms and Z Transform | ||||
| Lecturer: | Doc.RNDr. Tiser Jaroslav CSc. | Weekly load: | 2+1 | Assessment: | ZK |
| Department: | 13101 | Credits: | 4 | Semester: | Z |
| Basic types of integral transforms, linearity. Laplace transform, inversion, limit theorems. Fourier transform. Application to solving integral and differential equations. Introduction to distribution theory, Fourier and Laplace transforms of distributions. Linear dynamic systems, causality, passivity, convolution. Systems with bounded spectrum. Z-transform and difference equations. | |||||
| 1. L. Debnath: Integral Transforms and Their Applications. CRC Press, Florida, 1995. | |||||
| Code: XP01KAS | Complexity and Combinatorical Algorithms | ||||
| Lecturer: | Prof.RNDr. Demlova Marie CSc. | Weekly load: | 2+1 | Assessment: | ZK |
| Department: | 13101 | Credits: | 4 | Semester: | L |
| Time and space complexity of algorithms. P and NP problems and their solutions: exact solutions, heuristics, approximation schemes, probabilistic algorithm. Equivalences of problems. | |||||
| 1. G. Ausiello, P. Croscenzi, G. Gambosi, V. Kann, A. Marchetti-Spaccamela, M. Protasi: Complexity and Approximztion Combinatorial Optimization Problems and Their Approximability Properties. Springer, 1999. 2. Jozef Gruska: Foundations of Computing. International Thomson Computer Press, 1997. | |||||
| Code: XP01KVP | Quantum Computing | ||||
| Lecturer: | RNDr. Velebil Jiri Ph.D. | Weekly load: | 2+2 | Assessment: | ZK |
| Department: | 13101 | Credits: | 4 | Semester: | Z |
| Quantum computing represents a new programming paradigm. The safety of nowadays encypering techniques is based on enormous computation complexity of classical mathematical problems. This safety may be broken by quantum computers.The ``building stones'' of a quantum computer and quantum computers will be developed during the course. We will design fast factorization algorithms, fast database search, etc. | |||||
| 1. Michael A. Nielsen, Isaac L. Chuang: Quantum Computation and Quantum Information, Cambridge University Press, 2000 2. web pages http://www.iqi.caltech.edu/ | |||||
| Code: XP01MTS | Mathematical Methods in Signal Theory | ||||
| Lecturer: | Prof.Ing. Gregor Jiri DrSc. | Weekly load: | 2+1 | Assessment: | ZK |
| Department: | 13101 | Credits: | 4 | Semester: | Z |
| Continuous, discrete, periodic and almost periodic signals. Fourier series and Fourier integral. Band-limited signals. Theorems of Paley-Wiener and Shannon-Kotelnikov. Modulation. Analytic signals. | |||||
| 1. A. V. Oppenheim and R. W. Schafer: Discrete-Time Signal Processing. Prentice Hall Inc., New Jersey, 1989. 2. D. D. Kammler: A First Course in Fourier Analysis. Prentice Hall Inc., New Jersey, 2000. | |||||
| Code: XP01TGR | Graph Theory | ||||
| Lecturer: | Prof.RNDr. Demlova Marie CSc. | Weekly load: | 2+1 | Assessment: | ZK |
| Department: | 13101 | Credits: | 4 | Semester: | Z |
| Basic course in graph theory emphasizing algorithmic solvability. | |||||
| 1. Reinhard Diestel: Graph Theory. Springer-Verlag, New York, 1997. | |||||
| Code: XP01TJA | Languages, Automata and Grammars | ||||
| Lecturer: | Prof.RNDr. Demlova Marie CSc. | Weekly load: | 2+1 | Assessment: | ZK |
| Department: | 13101 | Credits: | 4 | Semester: | L |
| Finite automata. Nerod theorem and its applications. Nondeterministic automata. Regular expressions nad Kleene theorem. Grammars and their classification. Cotnext-free grammars. Chomsky hierarchy. CYK algorithm for context-free grammars. Turing machines, decision problem. Algorithmically nonsolvable problems. | |||||
| 1. John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman: Introduction to Automata Theory, Languages, and Computation. Addison Wesley, 2001. | |||||
| Code: XP01UAG | Introduction to Algebraic Geometry | ||||
| Lecturer: | Ing. Horcik Rostislav Ph.D. | Weekly load: | 2+1 | Assessment: | ZK |
| Department: | 13101 | Credits: | 4 | Semester: | L |
| Affine varieties as the solution sets of systems of polynomial equations in more than one variable and their relationship with the ideals in polynomial rings, Dickson's lemma, Hilbert's basis theorem, Groebner's bases and their properties, Buchberger's algorithm for searching a Groebner's basis, elimination theory, Hilbert's Nullstellensatz, correspondence between varieties and radicals. | |||||
| 1. David Cox, John Little, Donal O'Shea: Ideals, Varieties, and Algorithms, Springer-Verlag, 1992. | |||||
| Code: XP01ZWT | Wavetet Transform. | ||||
| Lecturer: | Prof.RNDr. Hamhalter Jan CSc. | Weekly load: | 2+1 | Assessment: | ZK |
| Department: | 13101 | Credits: | 4 | Semester: | L |
| Hilbert spaces. Continuous wavelet transform. Time and frequency localization. Discrete wavelet transform. Riesz bases and frames. Multiresolution analysis. Applications to signal processing. | |||||
| 1. Dietrich Koelzow: Wavelets. Ucebni text. http://math.feld.cvut.cz/0educ/zdroje/kolzow3.pdf 2. Karel Najzar: Zaklady teorie waveletu. Karolinum, Praha 2005. 3. M.W.Frazier: An Introduction to Wavelets through Linear Algebra. Springer, 1999. 4. P.Brenaud: Mathematical principles of signal processing, Fourier and Wavelet analysis. Springer, 2002. | |||||
| Code: XP01SPJ | Syntax and semantics of a formal language | ||||
| Lecturer: | RNDr. Velebil Jiri Ph.D. | Weekly load: | 2+1 | Assessment: | ZK |
| Department: | 13101 | Credits: | 4 | Semester: | Z |
| Syntax and semantics of a formal language.A simple imperative language, assignment command. Denotational and operational semantics, coherence theorem. Mathematical domain theory. Fixed points of functionals, recursive definitions. Lambda - notation. A simple functionl language, denotational semantics. New functions definitions, recursive constructions. Operational semantics. Other approaches to semantics, continuation semantics. Axiomatic (Hoare's) semantics. Expressive power of a programming language. | |||||
| 1. Gunter C.A.: Semantics of Programming Languages - Structures and Techniques, MIT Press, Cambridge, Massachusetts, 1992. 2. Tennent R. D.: Semantics of Programming Languages, Prentice Hall, London 1991. | |||||
| Code: XP02AMA | Active Methods in Acoustics | ||||
| Lecturer: | Prof.Ing. Jiricek Ondrej CSc. | Weekly load: | 2+0 | Assessment: | ZK |
| Department: | 13102 | Credits: | 4 | Semester: | L |
| Physical principles, interference, Huygens principle, sound field in ducts, vawe-guides and enclosures. Active noise control in a duct. One or more secondary sources. Active control in enclosures, acoustic coupling, modes, local control. Feedback and feedforward strategy, analog adn digital realisations, algorithms based on LMS, stability of algorithms, multichannel algorithms. Practical realisations of active systems. Active control of vibrations, transducers for active control. | |||||
| Nelson, Elliott: Active control of sound, Academic Press, London, 1992. Fuller, Elliott, Nelson: Active control of vibration, Academic Press, 1997. Sound, vibrations, active control, adaptive algorithms | |||||
| Code: XP02EVA | Electric Discharges and their Applications | ||||
| Lecturer: | Prof.RNDr. Kubes Pavel CSc. | Weekly load: | 3+0 | Assessment: | ZK |
| Department: | 13102 | Credits: | 4 | Semester: | Z |
| Classification of electric discharges. Townsend?s theory. Glow discharge. Processes on the surface of electrodes. Technological applications. Plasma displays. High-frequency and microwave discharge. Arc. Corona. Spark discharge. Lightning. Ball lightning. Z-pinch and its properties. Electromagnetic collapse. X-ray sources, controlled fusion. Generation of magnetic fields of Earth. | |||||
| Code: XP02HS | Noise Surveys | ||||
| Lecturer: | Prof.Ing. Jiricek Ondrej CSc. | Weekly load: | 1+0 | Assessment: | ZK |
| Department: | 13102 | Credits: | 4 | Semester: | L |
| Sound field, noise and vibration measurement, noise legislation, hygiene control. Types of noise surveys, examples, types of noise sources. Noise mapping, principles and types of sources. Noise in working environment. Noise in buildings. Transport noise, airport noise. Technical principles of noise control. | |||||
| Actual noise and hygiene legislation. | |||||
| Code: XP02TZP | Theory of Sound Field | ||||
| Lecturer: | Doc.RNDr. Kyncl Zdenek DrSc. | Weekly load: | 2+0 | Assessment: | ZK |
| Department: | 13102 | Credits: | 4 | Semester: | Z |
| Dynamics, thermodynamics and molecular kinetics of sound field. Linear adiabatic model of sound field - linearization uncertainties. Transient spectral densities and Dirac expression of phasor representation of periodic field. Both transient and periodic wave equations. Sound energy conservation equation. Expresion of the interior sound field by means of surface field. Difraction problems. Analysis of acoustical uncertainties. | |||||
| Code: XP02UFL | Introduction to Laser Physics | ||||
| Lecturer: | Doc.RNDr. Pichal Jan CSc. | Weekly load: | 2+0 | Assessment: | ZK |
| Department: | 13102 | Credits: | 4 | Semester: | L |
| Code: XP02UZ | Ultrasound and Quantum Acoustics | ||||
| Lecturer: | Doc.Ing. Balek Rudolf CSc. | Weekly load: | 2+0 | Assessment: | ZK |
| Department: | 13102 | Credits: | 4 | Semester: | Z |
| Ultrasonic generators, receivers and propagation. Piezoelectric relations. Dynamics of solids. Attenuation of ultrasonic waves. Acousto-optics. Methods and instruments for ultrasonic measurement, testing and imagining. Sensors and systems for industrial process control. Application of surface acoustic waves. Medical ultrasonic diagnostics and therapy. High energy ultrasound, cavitation. | |||||
| Thurston R.N., Pierce A.D.: Ultrasonic Instruments and Devices I, II. Academic Press 1999Krautkramer J., Krautkramer H.: Ultrasonic Testing of Materials. Springer-Verlag 1999Balek R. a kol.: Povrchove akusticke vlny. Academia/Praha 1986 | |||||
| Code: XP02VNP | Plasma Waves and Instabilities | ||||
| Lecturer: | Prof.RNDr. Kulhanek Petr CSc. | Weekly load: | 3+1 | Assessment: | Z,ZK |
| Department: | 13102 | Credits: | 4 | Semester: | Z |
| Basic wave phenomena will be introduced in the first part of the lecture (dispersion relation, phase and group velocities, Fourier analysis). Fundamental plasma dispersion relations will be derived from the linearized MHD equations (magnetoacoustic waves - Alfven, F and S wave; electromagnetic waves in plasma - O, X, R, L wave, CMA diagram). The second part of the lecture will be devoted to final size waves, nonlinear phenomena (Landau damping) and solitons in plasma. | |||||
| [1] P. Kulhanek: Vlny a nestability v plazmatu, CVUT, 2004, http://www.aldebaran.cz/studium/plasma.pdf [2] E. M. Lifshitz, et al.: Course in theoretical Physics 8: Electrodynamics of Continuous Media, Elsewier Science, 2004 | |||||
| Code: XP02ZFP | Fundamentals of the Plasma Physics | ||||
| Lecturer: | Prof.Ing. Pekarek Stanislav CSc. | Weekly load: | 3+0 | Assessment: | ZK |
| Department: | 13102 | Credits: | 4 | Semester: | Z |
| Debye length, plasma parameter, plasma frequency. Classification of plasmas, the n-T diagram, applications. Motion of charged particles in uniform and stationary fields. Motion of charged particles in non-uniform fields, magnetic mirrors. Motion of charged particles in non-stationary fields. Relative dielectric constant, dielectric tensor. Plasmas as fluids, fluid equations. Diffusion, mobility, ambipolar diffusion. Diffusion across magnetic field. Collisions in fully ionized plasmas. 1Role of collisions on diffusion in magnetic field. Plasma resistivity. Magnetohydrodynamic description of plasmas,diffusion in fully ionized plasma. Introduction to kinetic theory, Boltmann-Vlasov equation. Connections to fluid theories, velocity moments of the Boltzmann-Vlasov equation. | |||||
| 1. F.F. Chen, Introduction to Plasma Physics, Plenum Press, New York, 1974 2. R.J.Galdston, P.H.Rutherford, Introduction to Plasma Physics, IOP Bristol, 1995 3. A. Fridman, L.A. Kennedy, Plasma Physics and Engineering, Taylor&Francis, New York, 2004 | |||||
| Code: XP12NM | New Materials and their Application | ||||
| Lecturer: | Prof.Ing. Bouda Vaclav CSc. | Weekly load: | 3+2 | Assessment: | Z,ZK |
| Department: | 13112 | Credits: | 5 | Semester: | L,Z |
| New forms of carbon and their application in technology. Conducting polymers. Electrically conducting composite materials with the polymeric matrix and carbon and/or conducting polymers. Biomimetic materials and functional systems. New materials for senzors and actuators. Self-organization and selfassembly in technology. | |||||
| Smart Materials Vol.1, 2, ed. by Mel Schwartz, Wiley 2002, ISBN 0-471-17780-6 | |||||
| Code: XP12VVM | Development and Research of Materials | ||||
| Lecturer: | Prof.Ing. Bouda Vaclav CSc. | Weekly load: | 3+2 | Assessment: | Z,ZK |
| Department: | 13112 | Credits: | 5 | Semester: | L,Z |
| Research of composite materials wth specific electrical properties. Diagnostics of materials in electrotechnology. Polymers. Phase transitions. Thin and thick conductive layers on polymers. Organic solar cells. Models of function of biomaterials. | |||||
| Handbook of Nanophase and Nanostructured Materials, Ed. by Wang-Liu-Zhang, Kluwer 2003, ISBN 0-30647249-X | |||||
| Code: XP13DFD | Data and Functional Analysis of Production Systems | ||||
| Lecturer: | Ing. Molhanec Martin CSc. | Weekly load: | 2+2 | Assessment: | Z,ZK |
| Department: | 13113 | Credits: | 4 | Semester: | L |
| Technological system of production enterprise and its structure. Relationship of technological system to other systems. Tools of control and information of enterprise, distributed systems. Methodology of analysis of enterprise. Date base of technical preparation of production. Methodology of functional analysis of enterprise. Methods of data and material flows analysis. Methods of analysis of user interface of enterprise IS. Object oriented methodology of analysis of enterprise. Methods of time analysis of enterprise. Use of Petri nets for analysis of enterprise. Documentation and standards for data and functional analysis. Automation of analysis methods, CASE tools. | |||||
| [1] Rumbaugh, Jacobson, Booch: The Unified Modelling Language. Addison Wesley, 1998 | |||||
| Code: XP13FCD | Photovoltaic Systems | ||||
| Lecturer: | Prof.Ing. Benda Vitezslav CSc. | Weekly load: | 2+2 | Assessment: | Z,ZK |
| Department: | 13113 | Credits: | 4 | Semester: | L |
| Optical phenomena in semiconductors. Photovoltaic phenomena. Photodetectors, working area, characteristics. Solar cells (substituting diagram, basic parameters, efficiency). Construction of solar cells. Antireflex layers. Optimization of construction and technology. Materials and technology. Construction of solar modules and batteries. Influence of working conditions on efficiency of solar cells. Basic types of photovoltaic system. Conversion of a dc voltage of solar cells on an ac voltage. Application of photovoltaic systems. Photoelectrochemical cells. Economical and environmental aspects of photovoltaic systems. | |||||
| Markvart, T. and Castaner, L., Solar Cells - Materials, Manufacture and Operation, Elsvier, 2005, Wurfel, P., ,Physics of Solar Cells", Wiley-VCH Verlag, Weinheim, 2005 | |||||
| Code: XP13FPD | Physics of Semiconductors | ||||
| Lecturer: | Prof.Ing. Benda Vitezslav CSc. | Weekly load: | 2+2 | Assessment: | Z,ZK |
| Department: | 13113 | Credits: | 4 | Semester: | Z |
| Basic physical model. Movement of electrons in a crystal lattice, effective mass, holes. Band structure of the most significant semiconductor materials Disordersn of crystal lattice. Transport phenomena in semiconductors. Dependence of transport phenomena on temperature. Transport phenomena in strong electrical fields. Generation of excess carriers. Nonuniform semiconductors. PN junction and its properties. Contact metal - semiconductor. Influence of surface charge on a band structure. Amorphous, micro and single crystaline semiconductors. | |||||
| Benda, V. - Gowar, J. - Grant, D.: Power Semiconductor Devices. 1. ed. Chichester: John Wiley, 1999., Smith, R.A., Semiconductors, Cambridge University Press, !(&( | |||||
| Code: XP13SID | Software in Industrial Engineering | ||||
| Lecturer: | Ing. Molhanec Martin CSc. | Weekly load: | 2+2 | Assessment: | Z,ZK |
| Department: | 13113 | Credits: | 4 | Semester: | Z |
| Introduction to using of IBM compatible personal computers, their architecture. Using of application programs for mathematics, graphics, text processing, database and CAD, examples of software systems. Introduction to user interface based on Microsoft Windows. | |||||
| [1] Charles M. Kozierok, " The PC Guide", http://www.PCGuide.com | |||||
| Code: XP13SJD | Quality Control Systems | ||||
| Lecturer: | Doc.Ing. Mach Pavel CSc. | Weekly load: | 2+2 | Assessment: | Z,ZK |
| Department: | 13113 | Credits: | 4 | Semester: | L |
| Quality of products and its characteristics. Evaluation of product quality. Quality of manufacturing system, quality loop. Quality of services and software. Economic aspects of quality, quality resources and cost. International system of quality standards ISO. Technical requirements on electrotechnical products, evaluation, CE marking. EMC requirements. Emissions and immunity - testing, limits, standards. Tools of EMC improvement. | |||||
| EN ISO 9000: Quality management systems - Fundamentals and vocabulary. | |||||
| Code: XP13TPD | Technological Processes in Electronic Manufacturing | ||||
| Lecturer: | Doc.Ing. Mach Pavel CSc. | Weekly load: | 2+2 | Assessment: | Z,ZK |
| Department: | 13113 | Credits: | 4 | Semester: | L |
| Development of technology of packaging. Contemporary methods of packaging of components SOP, DIP, SIP, ZIP, QFP and others, properties, advantages. Comparison of packages from the viewpoint of environmental resistivity. Classification of multichip modules. Multichip modules of different types: MCM-L, MCM-C, MCM-D, PMCM. Substrates for multichip modules. Technology of contacting og dies. Electrical design of MCMs. Thermal design of MCMs. Physical design of MCMs. Parameters for evaluation of MCMs. Reliability of MCMs. Design tools. Programmable modules. Applications of MCMs. | |||||
| Tummala, R. R.: Introduction to Microelectronics Packaging, McGraw-Hill, 2001 Harper, C. A.: Electronic Packaging and Interconnection Handbook, McGraw-Hill, 2004 | |||||
| Code: XP14DES | Dynamics of Electric Machines | ||||
| Lecturer: | Prof.Ing. Pavelka Jiri DrSc. | Weekly load: | 4+0 | Assessment: | ZK |
| Department: | 13114 | Credits: | 4 | Semester: | L |
| Assumptions for electric machine general theory. Mathematical transformation systems, per unit system. Mathematical model of DC machine, of synchronous and induction machine, of collector machine. Electro-dynamic transient phenomena in electric machines. Short-circuit. Switching of the motor on the network. Electromagnetic torque and its components. Synchronous motor oscillation. Circle diagram methods for transient effect solves. Non-symmetrical short-circuits. | |||||
| Literature will be specified by the lecturer | |||||
| Code: XP14EMC | Electromagnetic Compatibility | ||||
| Lecturer: | Prof.Ing. Cerovsky Zdenek DrSc. | Weekly load: | 4+0 | Assessment: | ZK |
| Department: | 13114 | Credits: | 4 | Semester: | Z |
| Interference sources. Different manner and coupling factors of interference spreading. Grounding influences. Screening. Non-linear electric appliances influence on power quality. Current and voltage forms of different electric appliances. Harmonic current and voltage components of different electric appliances. Steady state and transient current and voltage harmonics components. Interference suppression of converters on the network. Compensation and filtration substations. | |||||
| Literature will be specified by the lecturer | |||||
| Code: XP14MIR | Microprocessor Control of Electric Drives | ||||
| Lecturer: | Ing. Zdenek Jiri CSc. | Weekly load: | 2+1 | Assessment: | ZK |
| Department: | 13114 | Credits: | 3 | Semester: | Z,L |
| Control computers, their architecture. ADC, DAC special circuits, DMA, measurement of pulse parameters. Event memories, FIFOs, CAMs, multiport RAMs, gate arrays. Serial communication. DSP processor concept, fast computing, interface issues. Parallel information processing. Multiprocessor systems. Real-time system, SW, HW design techniques. Polled loops, phase/state driven systems, F/B systems. Interrupt driven system, full featured kernels. Tasks, intertask communication, queues, semaphores. Control algorithms design and issues. SW, HW design examples. | |||||
| Literature will be specified by the lecturer | |||||
| Code: XP14MMA | Advanced Electric Machines for Automation | ||||
| Lecturer: | Ing. Perina Jan | Weekly load: | 2+1 | Assessment: | ZK |
| Department: | 13114 | Credits: | 3 | Semester: | Z,L |
| Common demands to servomotors. DC servomotors and their mathematical modelling. Brushless DC motors and Switch Reluctance Motors, their speed and torque control, sizing and studying simulation SW, mathematical modelling. Stepping motors, their performance and power supply. Linear motors and other actuators. Offer and election of servomotors and actuators. | |||||
| Literature will be specified by the lecturer | |||||
| Code: XP14MZR | Advanced Control Methods of Electric Drives | ||||
| Lecturer: | Doc.Ing. Javurek Jiri CSc. | Weekly load: | 3+1 | Assessment: | ZK |
| Department: | 13114 | Credits: | 4 | Semester: | Z |
| Development trends in electric drive control. Application of microprocessor technology, program realization of algorithms for modern drives, modulators, realization of direct and indirect induction machine torque control, converter with harmonic current control for synchronous machine, functions and control of compatible rectifier, preview of modern controllers for electric drives. | |||||
| Literature will be specified by the lecturer | |||||
| Code: XP14MEN | New Trends in Converter Technology | ||||
| Lecturer: | Prof.Ing. Cerovsky Zdenek DrSc. | Weekly load: | 4+0 | Assessment: | ZK |
| Department: | 13114 | Credits: | 4 | Semester: | L |
| Up to date power semi-conductor devices. Pulse Width Modulation methods for current and voltage control. Single-phase PWM converter. Converters with unity power factor. Single-phase converter with active current shape control. Three-phase converter with active current shape control. Converter with active voltage shape control. Converters for multisystem locomotives. Resonant converters. | |||||
| Literature will be specified by the lecturer | |||||
| Code: XP14MRP | Advanced Controlled Drives | ||||
| Lecturer: | Prof.Ing. Pavelka Jiri DrSc. | Weekly load: | 3+0 | Assessment: | ZK |
| Department: | 13114 | Credits: | 3 | Semester: | Z |
| AC motor with variable frequency feeding. Current source converter. Voltage source converter, PWM, Electromagnetic torque by feeding from frequency converters. Vector oriented control system, Direct and indirect torque control system, Self-controlled synchronous motor drive. Methods for rotor position determination. Switch Reluctance Motor, SD motor. | |||||
| Literature will be specified by the lecturer | |||||
| Code: XP14TPR | New Trends in Electric Device Theory | ||||
| Lecturer: | Doc.Ing. Novotny Vladimir CSc. | Weekly load: | 3+0 | Assessment: | ZK |
| Department: | 13114 | Credits: | 3 | Semester: | Z |
| Switching arc latter models and theory. Switching arc physics. Interaction between switching breaker and electric circuit. New knowledge in electric arc extinguishment. Influence of extinguishing medium on physical process in arcing chamber. Switcher braking capacity and possibility of their inducement. Fuses theory. Electric circuit braking with short current limitation. Electric contact theory. | |||||
| Literature will be specified by the lecturer | |||||
| Code: XP16EKO | Economics | ||||
| Lecturer: | Doc.Ing. Fialova Helena CSc. | Weekly load: | 2+2 | Assessment: | ZK |
| Department: | 13116 | Credits: | 4 | Semester: | Z |
| Basic economic terms. Principles of microeconomics, consumer behaviour and producer behaviour. Profit maximization. Perfectly competitive market. Market failure, monopoly. Principles of macroeconomics, aggregate demand and aggregate supply. Labour market. Money market and capital market. Macroeconomic policy of the government as a factor protecting and correcting the market. Comment: The subject is a necessary precondition for understanding other economic and managerial disciplines. | |||||
| 1.Fialova H., Jandera J., ECONOMICS (handouts) 2. Frank R.H., Bernanke B.S:, PRINCIPLES OF ECONOMICS, McGraw-Hill, 3.Ed. 2005 3. Fialova H., Fiala J., MALY EKONOMICKY SLOVNIK s vykladem v cestine a v anglictine, A plus, Praha 2006 | |||||
| Code: XP16FIM | Financial Management | ||||
| Lecturer: | Prof.Ing. Stary Oldrich CSc. | Weekly load: | 2+2 | Assessment: | ZK |
| Department: | 13116 | Credits: | 4 | Semester: | Z |
| Principles of finance, present value and alternative cost of capital, net present value, present value of bonds and stocks, investment decision making and net present value, return and alternative cost of capital, risk and return, lease or buy decision, inflation and return, real options, financial options, option valuation, hedging, short term finance, cash flow finance. | |||||
| 1. Brealey, R.A., Myers, S.C.: Principles of Corporate Finance. McGraw-Hill. 2002 2. Sharpe, W.F., Alexander G.J.: Investments. USA: Prentice-Hall, Inc. 1999 3. Stephen, A.R., Randolph W.W., Bradford D.: JordanFundamentals of Corporate Finance Standard Edition. McGraw-Hill. 2005 | |||||
| Code: XP16FVT | Philosophical Problems of Science and Technology | ||||
| Lecturer: | RNDr. Zamarovsky Peter CSc. | Weekly load: | 0+2 | Assessment: | ZK |
| Department: | 13116 | Credits: | 2 | Semester: | L |
| Philosophical Problems of Science and Technology, S, 0+2, Zamarovsky The subject is engaged in the evolution of principal ideas on which the science and technology are founded. It starts at those tendencies of ancient philosophy, to which the later natural historical concepts are linked. Philosophical aspects of ancient and contemporary physics and mathematics are deeper examined. Actual themes linked to the so called "Postmodernism" and to the alternative ways of understanding and their social coherences are discussed. | |||||
| 1.Capra, F., The Web of Life, Flamingo, London, 2000 2 Weinberg, S., Facing up, Harvard University Press, Cambridge 2001 | |||||
| Code: XP16JAK | Quality Management | ||||
| Lecturer: | Ing. Jandera Jan Ph.D. | Weekly load: | 2+2 | Assessment: | ZK |
| Department: | 13116 | Credits: | 4 | Semester: | Z |
| Definition of quality. Phases of resulting quality . Fundamental parameters of reliability. Evaluation of quality. Metrology and qualimetry. Economics of quality. Statistical process control. Sampling inspection. Systems of quality management. Quality management according to standards ISO-9000. Product's certification and certification of manufacturing systems. | |||||
| 1. Managing quality, Edited by Barrie Dale, 2003, ISBN: 0631236147 2. Kanji, G., Asher, M. : 100 Methods for Total Quality Management, 2001, ISBN:0803977476 | |||||
| Code: XP16KVM | Quantitative Research Methods in Management | ||||
| Lecturer: | Doc.Ing. Kanok Miloslav CSc. / RNDr. Kasova Vlasta | Weekly load: | 2+2 | Assessment: | ZK |
| Department: | 13116 | Credits: | 4 | Semester: | L |
| Application of software SPSS for advanced statistical methods as multiple regression and correlation, analysis of variance, factor analysis, cluster analysis and its using in marketing research and management. | |||||
| [1] Darren G., Mallery P.: SPSS for Windows Step by Step, Third Edition, Needham Heights, Allyn&Bacon, 2001 | |||||
| Code: XP16MAU | Accounting for management | ||||
| Lecturer: | Doc.Ing. Knapek Jaroslav CSc. / Prof.Ing. Stary Oldrich CSc. / Doc.Ing. Vasicek Jiri CSc. | Weekly load: | 2+2 | Assessment: | ZK |
| Department: | 13116 | Credits: | 4 | Semester: | L |
| The principles of managerial accounting. Relations to the organisational structure of the enterprise and to the production process. Budgets, use for management. Calculations and cost analyses. Productivity and measurement of productivity in the production process. The managerial information systems. | |||||
| 1. Brealey, R.A., Myers, S.C.: Principles of Corporate Finance. McGraw-Hill. 2002 2. Stephen, A.R., Randolph W.W., Bradford D.: Fundamentals of Corporate Finance Standard Edition. McGraw-Hill. 2005 | |||||
| Code: XP16ZPO | Principles of Business | ||||
| Lecturer: | Prof.Ing. Stary Oldrich CSc. | Weekly load: | 2+2 | Assessment: | ZK |
| Department: | 13116 | Credits: | 4 | Semester: | L,Z |
| The subject gives theoretical principles, necessary for everybody employed under market economy. The introduction to the following disciplines: management, marketing, business law, financial management and others. It facilitates the choice of subsequent special subjects. | |||||
| 1. Brealey, R.A., Myers, S.C.: Principles of Corporate Finance. McGraw-Hill. 2002 | |||||
| Code: XP17ANS | Selected Chapters from Antennas and Propagation | ||||
| Lecturer: | Prof.Ing. Mazanek Milos CSc. | Weekly load: | 2+2 | Assessment: | ZK |
| Department: | 13117 | Credits: | 4 | Semester: | L |
| Summary of antennas and modern antenna technology. Selected problems of antennas and propagation for fixed and mobile communication, earth and satellite services. Frequency management for different services and communication. Topics of near a far field antenna measurement, compact antenna measurement. Measurement of signal level for specific services. Antenna anechoic chambers design. | |||||
| Balanis,A.C.: Antenna Theory Analysis and Design. John Wiley and Sons,Inc., 1997,Parsons, J. D., The Mobile Propagation Radio Channel, 2nd Edition, John Wiley and Sons, London, 2000 | |||||
| Code: XP17APL | Selected Chapters of Antennas and Propagation | ||||
| Lecturer: | Prof.Ing. Vrba Jan CSc. | Weekly load: | 2+2 | Assessment: | ZK |
| Department: | 13117 | Credits: | 4 | Semester: | Z |
| Scope and aims of non-invasive measurement techniques in medical diagnostics. Fundamental physiology of the vascular system, hemodynamics, skin anatomy and perfusion. Computer simulation of the cardiovascular system. UV, VIS and IR spectroscopy. Fundamental optics of the eye and color analysis. Optical parameters of biological tissue. Dispersion of light, Design of optical sensors, Optical visualisation principles of translumiscetion and tomography, Optoelectronic systems in medicine. | |||||
| Applied Optoelectronics in Medicine. Scriptum, RWTH Aachen, 2006 | |||||
| Code: XP17ELD | Electrodynamics | ||||
| Lecturer: | Doc.Ing. Machac Jan DrSc. | Weekly load: | 2+2 | Assessment: | ZK |
| Department: | 13117 | Credits: | 4 | Semester: | Z |
| Electromagnetic waves, plane harmonic wave, polarization. Reflection and refraction, nonuniform waves. Guided waves. Propagation in inhomogeneous and in anisotropic materials. Inhomogeneous wave equations. Retarded potentials. The electric dipole transmitting antenna. Radiators and radiated field. | |||||
| Saleh,.B.E.A., Teich,.M.C.: Fundamental of photonics. J. Wiley Publ. 1996 | |||||
| Code: XP17LAE | Medical Applications of Electromagnetic Field | ||||
| Lecturer: | Prof.Ing. Vrba Jan CSc. | Weekly load: | 2+2 | Assessment: | ZK |
| Department: | 13117 | Credits: | 4 | Semester: | L |
| Future possibilities of EM Field medical applications. Principals and technical equipment for EM thermotherapy, hyperthermia applicators. Calculation of 3D SAR and temperature distribution. Details of microwave thermotherapy apparatus are given, especially from the point of view of applicators for local, intracavitary and regional treatment. Non-invasive thermometry (NMR, ultrasound and radiometry) and special compatible applicators are described. | |||||
| International Journal of Hyperthemia. The official journal of the American, European and Asian Societies for Hyperthermic Oncology | |||||
| Code: XP17MAPP | Analysis Methods for Passive Elements of Microwave and Millimeter-wave Technique | ||||
| Lecturer: | Doc.Ing. Machac Jan DrSc. | Weekly load: | 2+2 | Assessment: | ZK |
| Department: | 13117 | Credits: | 4 | Semester: | Z |
| Computation of transmission lines parameters. Computation of microwave circuits scattering parameters, analysis of planar antennas. Survey of basic methods for analysis of passive circuits with the stress on methods: spectral domain, integration equation, finite differences, finite elements, mode matching, transversal resonance. Survey of basic theorems of electromagnetic fields, moment method, disturbance method. | |||||
| 1.J.L.Volakis,A.Chatterjee,L.C.Kempel:Finite Element Method for Electromagneics,IEEE Press:New York,1998, 2. G.Conciauro,M.Guglielmi,R.Sorrentino: Advanced Modal Analysis,John Wiley and Sons, Chichester,2000 | |||||
| Code: XP17MT | Microwave Technique | ||||
| Lecturer: | Prof.Ing. Hoffmann Karel CSc. | Weekly load: | 2+2 | Assessment: | ZK |
| Department: | 13117 | Credits: | 4 | Semester: | Z |
| Microwave transmission lines and its circuit elements including hybrid and monolithic integrated circuits technology. Resonators and other type of passive microwave elements (e.g. attenuators, couplers, isolators and circulators, modulators etc.) and active microwave circuits (e.g. oscillators, mixers and amplifiers), microwave filters, microwave measurement. CAD of microwave circuits. | |||||
| Kinayman,N., Aksun,M.I." "Modern Microwave Circuits". Artech House, Inc., Norwood, M, 2005 | |||||
| Code: XP17NME | Numerical Methods in Electromagnetic Field | ||||
| Lecturer: | Prof.Ing. Skvor Zbynek CSc. | Weekly load: | 2+2 | Assessment: | ZK |
| Department: | 13117 | Credits: | 4 | Semester: | L |
| Poissonous, Helmoholtz and wave equations. Analytical, semianalytical, seminumerical and numerical methods. Matrix equations and algorithms: Mode Matching Technique, Point Matching Method, Method of Moments, Multiple MultiPoles, Boundary Element Method, Finite Difference Method, Finite Element Method, Finite Integration Method. Stability of solution. Solution of matrix equations: direct methods, Gauss-JordanOs elimination, pivotation, LU-decomposition, banded and sparse matrix, conjugate-gradient method. | |||||
| 1.J.L.Volakis,A.Chatterjee and L.C.Kempel: Finite Element Method for Electromagnetics,IEEE Press: New York,1998, 2.G.Conciauro,M.Guglielmi,R.Sorrentino: Advanced Modal Analysis,John Wiley and Sons,Chichester,2000 | |||||
| Code: XP17OV | Optical Fibers | ||||
| Lecturer: | Prof.Ing. Skvor Zbynek CSc. | Weekly load: | 2+2 | Assessment: | ZK |
| Department: | 13117 | Credits: | 4 | Semester: | L |
| Waveguiding in optical fibers, attenuation and dispersion, step-index fibers, gradient fibers, single and f1ibers, optical cables, splices and connectors, optical fibers measurements, fabrication, nonlinear phenomena in optical, fibers, fibers for sensors. | |||||
| 1.Jones,W.B.: Optical Fiber Communication Systems. Sounders College Publishing, N.York 1988 | |||||
| Code: XP17TAM | Evaluation of Applicators for Microwave Thermotherapy | ||||
| Lecturer: | Prof.Ing. Vrba Jan CSc. | Weekly load: | 2+2 | Assessment: | ZK |
| Department: | 13117 | Credits: | 4 | Semester: | Z |
| Lectures are focussed on methodology of evaluation of microwave applicators, which means measurements of SAR distribution in water phantom and measurements of temperature distribution in various types of agar phantoms. Further design and optimisation of measuring probes is discussed, methodology of probes calibration and measured data evaluation are described. Numerical modelling of microwave applicators by aid of software product FEMLAB, comparison of mathematical and experimental models. | |||||
| Chen, L.F. et al.: "Microwave Electronics". John Wiley &Sons Ltd., England, 2004 | |||||
| Code: XP17TVC | Technique of Highly Sensitive Receivers | ||||
| Lecturer: | Prof.Ing. Mazanek Milos CSc. | Weekly load: | 2+2 | Assessment: | ZK |
| Department: | 13117 | Credits: | 4 | Semester: | L |
| Design of highly sensitive microwave receivers, mm - wave and submm - wave receivers. Electromagnetic spectrum and noise properties of the Earth atmosphere and surface. Microwave, millimetre wave communication. Semiconductors for microwave and millimetre wave bands, SIS detectors, mixers, infrared receivers. High frequency radiometers technology, measurement of noise parameters. Multispectral radiometry and remote sensing, electromagnetic radiation - interference, EMC theory and measurement. | |||||
| Balanis,A.C.: Antenna Theory and Design.John Wiley and Sons.Inc.,New York, 1997 | |||||
| Code: XP31AEO | Electric Circuit Analysis | ||||
| Lecturer: | Doc.Ing. Zemanek Ivan CSc. | Weekly load: | 2+2 | Assessment: | ZK |
| Department: | 13131 | Credits: | 4 | Semester: | Z |
| Circuit models of devices and structures. Methods of analysis and algorithms for linearized circuit models in time domain and frequency domain. Transient analysis. Periodic steady state analysis. Analysis of nonlinear circuits in time and frequency domains. Parametric models. Circuits with non-linear energy storing elements. Circuit analysis with the help of professional software packages. | |||||
| [1] Mikulec, M., Havlicek, V.: Basic Circuit Theory, Vydavatelstvi CVUT, 2. vydani, Praha, 2005 [2] Smith, K.C.A., Alley, R.E.: Electrical Circuits. An Introduction. Cambridge University Press, Cambridge, 1992 | |||||
| Code: XP31ART | Architectures for Real Time Implementation | ||||
| Lecturer: | Doc.Ing. Davidek Vratislav CSc. | Weekly load: | 2+2 | Assessment: | ZK |
| Department: | 13131 | Credits: | 4 | Semester: | L |
| Architectures of central processing units and synthesis of data paths for DSP. Implementation strategies of DSP algorithms. Influence of algorithm modification on the implementation processing time. Sequential and parallel processing. Numerical characteristics of algorithms. Implementation alternatives, dedicated hardware and programmable signal processors. Architectures of digital signal processors with fixed point and floating points. Developments tools for real time processing. Analysis of real time implementation of FFT, digital filters and special algorithms for communications. | |||||
| [1] Jackson, L.B.: Digital Filters and Signal Processing, Third Edition with MATLAB Exercises, Kluwer Academic Publishers, Inc., Norwell, MA, 1996 | |||||
| Code: XP31DIF | Digital filter synthesis | ||||
| Lecturer: | Prof. RNDr. Vlcek Miroslav DrSc. | Weekly load: | 2+2 | Assessment: | ZK |
| Department: | 13131 | Credits: | 4 | Semester: | Z |
| LTI systems and digital signals. Impulse response, step response, convolution. Elements of z-transform and Fourier transform. Difference equation, transfer function, magnitude, phase and group delay. Design methods for finite impulse response (FIR) digital filters - windowing and frequency sampling methods, optimal design algorithms. Analytic design of FIR filters, half-band and narrow-band filters. Design methods for infinite impulse response (IIR) digital filters. Bilinear transformation. Analytic design methods in digital z-domain. All-pass sections as building blocks for signal processing. Group delay equalization, phase shift and notch filters. Wave digital filters. | |||||
| [1] Mitra, S.K.: Digital Signal Processing, A Computer Based Approach, McGraw-Hill Book Company, Inc., New York, 1998 | |||||
| Code: XP31DSP | Digital signal processing | ||||
| Lecturer: | Prof.Ing. Sovka Pavel CSc. | Weekly load: | 2+2 | Assessment: | ZK |
| Department: | 13131 | Credits: | 4 | Semester: | Z |
| Relationships between transformations and their consequences, OLA and OLS signal reconstruction. Recursive filter realization, frequency sampling filters, recursive DFT-Goertzel algorithm. Short-time Fourier transform as a filterbank. Parametric methods: model types, analysis-synthesis, linear prediction and estimation. Spectral and frequency analysis, noise and signal subspace, EVD and SVD. Cepstral analysis, problemas of liftering and signal deconvolution. Notes on adaptive filtering and blind source separation. Notes on wavelets and filter banks. | |||||
| [1] Madisetti, V.K.: The Digital Signal Processing Handbook, CRC Press, 1998 [2] Lee, T. W.: Independent Component Analysis, Kluwer Academic Publishers, London, 1998 | |||||
| Code: XP31EFI | Electrical filters | ||||
| Lecturer: | Doc.Ing. Martinek Pravoslav CSc. | Weekly load: | 2+2 | Assessment: | ZK |
| Department: | 13131 | Credits: | 4 | Semester: | L |
| Electric filters-survey. Filter parameters specification. Approximation methods for filter design. Passive LC filters: filter structures, design procedures. Loss optimization methods. Crystal and SAW filters. ARC filters-survey. 2nd-order filters-types, optimum design conditions. Influence of active device non-idealities. High order filter realization: cascade synthesis, LC-prototype simulation. Discrete-time filters (switched capacitor, switched-current filters). | |||||
| [1] Toumazou, Ch., Lidgey, F.J., Haigh, D.G.: Analogue IC Design: The Current-Mode Approach, Peter Peregrinus, Ltd., UK, 1993 [2] Toumazou, Ch., Battersby, N.C., Porta, S.: Circuits and Systems Tutorials, IEEE Press, New York, 1996 | |||||
| Code: XP31FSK | Phonetic signals and their coding | ||||
| Lecturer: | Prof.Ing. Uhlir Jan CSc. | Weekly load: | 2+2 | Assessment: | ZK |
| Department: | 13131 | Credits: | 4 | Semester: | L |
| Organs of speech, speech production, perception. Digital model of articulation, auditory models. Quantization-uniform, with companding, optimal, adaptive. Linear prediction, adaptive, DPCM, ADPCM. Delta modulation. Block-adaptive linear prediction. Algorithms of parametric coding. RELP, CELP, parameter quantization. Speech signal analysis, voicing, formants. Spectral distances of speech segments. Enhancement of noisy speech. Text to speech synthesis. Automatic speech recognition systems - DTW, HMM, ANN. | |||||
| [1] Deller, J.R. - Hansen, J.H.L. - Proakis, J.G.: Discrete-time processing of speech signals, New York: IEEE Press 2000, 908 s., ISBN 0-7803-5386-2 [2] http://www.ee.ic.ac.uk/hp/staff/dmb/courses/speech/speech.htm | |||||
| Code: XP31NOP | Computer aided circuit analysis and synthesis | ||||
| Lecturer: | Doc.Ing. Martinek Pravoslav CSc. | Weekly load: | 2+2 | Assessment: | ZK |
| Department: | 13131 | Credits: | 4 | Semester: | L |
| Circuit and system design - stages, computer support. Circuit simulation, typical tasks, circuit modelling rules, electronic devices and functional blocks models. Model levels. Model libraries and their application. Main simulation software. Simulation results postprocessing and its exploaration for circuit design. Symbolic and semisymbolic analysis of electronic circuits. Computer support in circuit design. Optimization procedures and their application in circuit design. Complex design software. Future trends in computer-supported circuit design. | |||||
| [1] Corne, D., Dorigo, M., Glover, F.: New Ideas in Optimization, McGraw-Hill, UK, 1999 | |||||
| Code: XP31OTE | Circuit technique of function blocks of electronic systems | ||||
| Lecturer: | Doc.Ing. Martinek Pravoslav CSc. | Weekly load: | 2+2 | Assessment: | ZK |
| Department: | 13131 | Credits: | 4 | Semester: | L |
| New ways in analog circuit design. Operational amplifiers, operational networks. Properties and behavior of real operational networks. Current-feedback operational amplifiers, current-feedback networks. Current-mode approach in design of analogue circuits. Translinear principle. Current-mode building blocks - Current amplifiers, Transconductance amplifiers, Current-Conveyors and their applications. VGA amplifiers. Special nonlinear functional blocks. Circuits for periodic signals generation - a survey. Oscillators, VCO, Voltage-to-frequency converters. PLL, DDS. | |||||
| [1] Johns, D., Martin, K.: Analog Integrated Circuit Design, John Wiley, Inc., 1997 [2] web pages of Texas Instruments, Analog Devices, Maxim, Linear Technology, National Semiconductor | |||||
| Code: XP31TSS | Signal and system theory | ||||
| Lecturer: | Prof.Ing. Uhlir Jan CSc. | Weekly load: | 2+2 | Assessment: | ZK |
| Department: | 13131 | Credits: | 4 | Semester: | L |
| Signals and transformations - Laplace and Z-transforms, Fourier transform, cepstra, wavelet transforms. Signal parameterization - AR, MA, ARMA models, LPC cepstrum. Signal classification - spectral distances, Markov models, neural nets, signal prediction. | |||||
| [1] Nandy, A.K.: Blind Estimation Using Higher-Order Statistics, Kluwer Academic Publishers, London, 1998 [2] Oppenheim, A.V., Willsky, A.S.: Signals and Systems, Prentice Hall Inc., New Yersey, 1983 | |||||
| Code: XP31ZBS | Biomedical Signal Processing | ||||
| Lecturer: | Prof.Ing. Sovka Pavel CSc. | Weekly load: | 2+2 | Assessment: | ZK |
| Department: | 13131 | Credits: | 4 | Semester: | Z |
| Bioelectric phenomena. Signals in electroencephalography, electrocardiography, electromyography, somnography, and others. Biomedical signal characteristics, acquisition, and processing. Speech disorder analysis. Orthogonal transformations and their use; compression of digital biomedical signals; biomedical signal statistical analysis and modelling; coherence analysis principles and use; adaptive biomedical signal processing; Bayesian methods for detection and localisation of signal changes. | |||||
| [1] Valentinezzi Max, E.: Understanding the human machine: A primer for Bioengineering, World Scientific, 2004 [2] Weitkunat, R.: Digital Biosignal Processing, John Wiley and Sons, Inc., New York, 1991 | |||||
| Code: XP32AKR | Applied Cryptography | ||||
| Lecturer: | Doc.Ing. Pribyl Jiri CSc. | Weekly load: | 4+0 | Assessment: | ZK |
| Department: | 13132 | Credits: | 4 | Semester: | Z,L |
| Introduction to Cryptography.Mathematics Foundations of Cryptography.Related Problems of Number Theory.Public Key Parameters. Pseudorandom Bits and Sequences. Stream Ciphers. Block Ciphers.Public Key Enciphering. Hash Functions and Data Integrity. Entity Identification and Autentication.Digital Signatures. Key Management Protocols.Key Management Techniques.Effective Implementations of Supporting Algorithms. Patent Pendings and Standards. | |||||
| Code: XP32DIS | Digital Networks | ||||
| Lecturer: | Doc.Ing. Strnad Ladislav CSc. | Weekly load: | 3+0 | Assessment: | ZK |
| Department: | 13132 | Credits: | 4 | Semester: | L |
| Telecommunication network both narrowband (ISDN) and broadband. Signalling. Services. Network planning. | |||||
| [1]Bellamy, John, C: Digital telephony, 3rd ed. Willey Series [2] Spohn, Darren, L.: Data Network Design, 2nd ed. McGraw-Hill [3] Winch, R, G.: Telecommunication Transmission Systems, McGraw Hill [4] Technical Notes. GN Elmi as, Denmark [5] Halshall, Fred: Data Communications, Computer Networks and Open Systems, Ch. 8. Addison - Wesley P. C. 1995 | |||||
| Code: XP32DZS | Digital Signal Procesing in Telecommunications | ||||
| Lecturer: | Doc.Ing. Simak Boris CSc. | Weekly load: | 4+0 | Assessment: | ZK |
| Department: | 13132 | Credits: | 4 | Semester: | L |
| Recommended literature will be specified by lecturer. | |||||
| Code: XP32IAT | Implementation of DSP Algorithms in Telecommunications | ||||
| Lecturer: | Doc.Ing. Zahradnik Pavel CSc. | Weekly load: | 2+0 | Assessment: | ZK |
| Department: | 13132 | Credits: | 4 | Semester: | L |
| The course makes the students familiar with the implementation of DSP algorithms used in telecommunication technology using digital signal processors. The platform DSP TMS320C6x is assumed. | |||||
| [1] www.ti.com [2] N. Dahnoun : Digital Signal Processing Implementation using the TMS320C6000 DSP Platform. Prentice Hall 2000. | |||||
| Code: XP32MOS | Mobile Networks | ||||
| Lecturer: | Ing. Bestak Robert Ph.D. | Weekly load: | 3+0 | Assessment: | ZK |
| Department: | 13132 | Credits: | 4 | Semester: | Z |
| The course provides an overview of mobile networks 3G. The goal of the course is to closely describe the UMTS network architecture and mechanisms use in the systems. The course as well details architecture and features of cdma and depicts future development of mobile networks. | |||||
| 1.Holma, H., Toskala, A. WCDMA for UMTS, Radio Access for Third Generation Mobile Communications, third edition, John Wiley & Sons, Ltd, England 2005. 2.Korowajczuk, L., Xavier, B. A., Filho, A. M. F., Ribeiro, L. Z., Korowajczuk, C., DaSilva, L. A., Designing cdma2000 systems, John Wiley&Sons. 2004. | |||||
| Code: XP32SDS | Synchronization in Digital Networks | ||||
| Lecturer: | Doc.Ing. Strnad Ladislav CSc. | Weekly load: | 2+0 | Assessment: | ZK |
| Department: | 13132 | Credits: | 4 | Semester: | Z |
| Slips. Synchronization network. Reference and controlled oszillators. Steady state. Dynamical responses. Cooperation of networks. Synchronization in broadband networks. Documents and Standards | |||||
| ITU - T Recommendations G. 822, G. 81x, ETSI Standards ETS 300 - 462 Digitalni telekomunikacni technika, dil VII, TTC Marconi ve Vyd. CVUT (in czech), Strnad, L.: Uzkopasmove a sirokopasmove site, kap. 8 (skriptum CVUT in czech) | |||||
| Code: XP32TPZ | Teletraffic Theory | ||||
| Lecturer: | Doc.Ing. Krizovsky Frantisek CSc. | Weekly load: | 3+0 | Assessment: | ZK |
| Department: | 13132 | Credits: | 4 | Semester: | Z |
| Service system (SS), description and classification of SS. Sources, input flow, service process, output flow. Kendall's classification. Probabilistic characteristics SS, of Markovian SS. Loss SS - M/M/N and M(n)/M/N. Waiting and loss SS - M/M/N/R/FIFO(RAND/LIFO). SS with priorities, some specific results. Nonmarkovian SS - basic problems, M/D/N, M/Ek/N and M/G/N services systems. Simulation of SS - Monte Carlo methods. Numerical examples. | |||||
| [1] Riordan, R. Stochastic Service Systems. New York: John Wiley and Sons, 1962. [2] Gross, D., Harris, C., M. Fundamentals of queuing theory. New York, London: J. Wiley and Sons, 1974. [3] http://www.tele.dtu.dk/teletraffic Teletraffic Engineering Handbook. Geneva: ITC in cooperation with ITU-D, SG2 Question 16/2, December 2002. 323 s. [4] http://www.cse.fau.edu/~bob Cooper Robert B. Introduction to Queuing Theory. Second Edition. ISBN 0-444-00379-7 [5] http://www.cse.fau.edu/~bob Cooper, R.B. and D.P. Heyman. Teletraffic Theory and Engineering. Froehlich/Kent ENCYCLOPEDIA OF ELECOMMUNICATIONS, Vol. 16, Dekker, 1998, 453-483. . | |||||
| Code: XP33DID | Distributed Artificial Intelligence | ||||
| Lecturer: | Doc.Ing. Lhotska Lenka CSc. | Weekly load: | 2+1 | Assessment: | ZK |
| Department: | 13133 | Credits: | 4 | Semester: | Z |
| Distributed problem solving. Multiagent planning. Cooperation. Coordination. Communication. Communication strategies, message passing. Various AI approaches, case studies. Types of agent behavior. Negotiation. Organizational structuring. Partial global planning. Blackboard systems. Client-server systems. Peer-to-peer systems. Implementation aspects of distributed knowledge-based systems. Learning in multiagent systems. Meta-agent. Agents acquitance models, social knowledge, reflectivity in MAS. Coalition formation, team work. Formal models of agent architecture. | |||||
| Weiss, Gerhard (ed.) Multiagent Systems : A Modern Approach to Distribute Artificial Intelligence | |||||
| Code: XP33ECD | Evolutionary Computing | ||||
| Lecturer: | Doc.Ing. Lazansky Jiri CSc. | Weekly load: | 2+1 | Assessment: | ZK |
| Department: | 13133 | Credits: | 4 | Semester: | L |
| Introduction to evolutionary computing in contrast to classical computing techniques, Genetic algorithms (GA) for optimisation. The Simple Genetic Algorithm (SGA) and its behaviour. GA Convergence, negative phenomena. GA and constrained tasks, special representations. Genetic Programming (GP), relationship to GA. GP typical tasks, GP and machine learning. GA and GP applications. Special methods for improving GA performance. | |||||
| Michalewicz, Zbigniew: Genetic Algorithms + Data Structures = Evolution Programs, Springer-Verlag, 1992 | |||||
| Code: XP33FLO | Fuzzy Logic | ||||
| Lecturer: | Prof.Ing. Navara Mirko DrSc. | Weekly load: | 2+0 | Assessment: | ZK |
| Department: | 13133 | Credits: | 4 | Semester: | L |
| Basic notions about fuzzy sets, fuzzy propositional and set operations. Fundamentals of classical mathematical logic, proofs, completeness theorems. Basic types of fuzzy propositional logics, deduction, consistency, completeness. Basics of fuzzy predicate logics. MV-algebras. Basic principles of measure theory, measures on MV-algebras and on collections of fuzzy sets. Principles of fuzzy control, Takagi-Sugeno and Mamdani-Assilian controller.Logical interpretation of a fuzzy controller. More general types of fuzzy sets, rough sets, and other alternative approaches.Types of uncertainty, quantum logics. | |||||
| D. Driankov, H. Hellendoorn, M. Reinfrank: An Introduction to Fuzzy Control, Springer, Berlin, Heidelberg, 1993 Klir, G.J., Yuan, B.: Fuzzy Sets and Fuzzy Logic. Theory and Applications. Prentice-Hall, 1995 Nguyen, H.T., Walker, E.A.: A First Course in Fuzzy Logic. 2nd ed., Chapman & Hall/CRC, Boca Raton/London/New York/Washington, 2000 Kruse, R., Gebhardt, J., Klawon, F.: Foundations of Fuzzy Systems. J. Wiley, 1994 | |||||
| Code: XP33LPD | Logic and Logic Programming | ||||
| Lecturer: | Prof.RNDr. Stepankova Olga CSc. | Weekly load: | 2+2 | Assessment: | ZK |
| Department: | 13133 | Credits: | 4 | Semester: | L |
| Mathematical logics and its relation to technical disciplines. Formal system and its essential properties - validity, completeness. Syntax and semantics, basic definitions. Compactness theorem. First order language and its interpretation. Theory and its model, Herbrand´s model. Herbrand´s theorem, Godel´s completeness theorem and their practical implications. Limits of computability and probability. Logic programming and Prolog language. Metodology of logic programming. Introduction of extralogical features and metapredicates. New trends - constraint logic programming (CLP)and inductive logic programming (ILP). Some practical examples of complex logic programs and practical applications. | |||||
| Tymoczko,T., Henle, J.: Sweet Reason: A Field Guide to Modern Logic. Springer 2000 Flach, P.: Simply Logical - Intelligent Reasoning by Example. John Wiley & Sons, Chichester 1994 | |||||
| Code: XP33MKD | Mathematics for Cybernetics - Selected Topics | ||||
| Lecturer: | Prof.RNDr. Ptak Pavel DrSc. | Weekly load: | 2+2 | Assessment: | ZK |
| Department: | 13133 | Credits: | 4 | Semester: | Z |
| Overview of modern mathematics. Ordering, lattices, Boolean algebras, representations. Topological spaces. Metric spaces, completeness, fixed-point theorem with applications, fractals. Linear spaces, constructions with linear spaces. Systems of linear equations, spectral theory. Matrix calculus, matrix inequalities. Least squares and singular value decomposition. Tensor product. Elementary theory of Hilbert spaces. Introduction to category theory. | |||||
| E. Artin Geometric Algebra Paperback, Wiley-Interscience; Reprint edition (February 1988) Walter Rudin Real and Complex Analysis (Higher Mathematics Series) , McGraw-Hill Science/Engineering/Math; 3 edition (May 1, 1986) | |||||
| Code: XP33MOL | Modal Logics for Distributed Systems | ||||
| Lecturer: | Prof.RNDr. Stepankova Olga CSc. | Weekly load: | 2+0 | Assessment: | ZK |
| Department: | 13133 | Credits: | 4 | Semester: | Z |
| A model of knowledge in distributed environment and "muddy children puzzle". Introduction of modal operators and their semantics based on possible-worlds model. Properties of knowledge. Correspondence between axioms and properties of possibility relation in the model. Knowledge in MAS. Common knowledge and agreement. | |||||
| Fagin R. et al.: Reasning about Knowledge, The MIT Press 1995 | |||||
| Code: XP33MZT | Management of Knowledge and Information Technologies | ||||
| Lecturer: | Prof.Ing. Marik Vladimir DrSc. | Weekly load: | 2+1 | Assessment: | ZK |
| Department: | 13133 | Credits: | 4 | Semester: | L |
| Systematic approach to the design of knowledge-based and information systems. Configuration of information systems. User interfaces, especially cognitive interfaces. Problem solving methodology. Analysis of the problem solving processes based on description of the workflows. Simplification of the processes by the support of IT (Process Re-engineering, Concurrent Engineering). Models and tools for modelling. IT applications in enterpreneurship as well as in the project management. Business Intelligence. Value chains: links among suppliers, manufacturers and customers. E-commerce. Role of knowledge in globalization of businesses. Virtual enterprises and organizations. | |||||
| Code: XP33PMD | Probabilistic Models of Uncertainty in AI | ||||
| Lecturer: | Prof. Jirousek Radim DrSc. | Weekly load: | 2+0 | Assessment: | ZK |
| Department: | 13133 | Credits: | 4 | Semester: | L |
| Basic (discrete) probability. Foundations of graph theory. Triangulated graphs and their characteristics. Information as a measure of dependence. Conditional independence (Factorization Lemma, Block Independence Lemma). Knowledge representation by multidimensional distributions. Qualitative knowledge represented by dependence structures. Graphical Markov models and Bayesain networks. Decomposable models for computation in Graphical Markov models. Examples of application. | |||||
| F.V. Jensen, Bayesian Networks and Decision Graphs. Springer Verlag, New York 2001. Jirousek, R., Scozzafava, R.: Basic Probability. Lecture notes for PhD. studies 1/2003. Faculty of Management, Jindrichuv Hradec, University of Economics, Prague, 2003. S.L. Lauritzen: Graphical Models. Clarendon Press, Oxford 1996. | |||||
| Code: XP33POS | Possibilistic measures | ||||
| Lecturer: | doc. RNDr. Kramosil Ivan DrSc. | Weekly load: | 2+0 | Assessment: | ZK |
| Department: | 13133 | Credits: | 4 | Semester: | L |
| Possibilistic measures present a mathematical tool for uncertainty (randomness) quantification and processing applying the notions and apparatus of the so called fuzzy sets. They are alternative to probabilistic measures in the sense that they are based on the maxitivity priciple in spite to the additivity principle applied in the standard measure and probability theory. Because of the fact that the operation of maximum (supremum) can be defined also in certain non-numerical structures, possibilistic measures taking their values in partially ordered sets and, in particular, in complete lattices, are worth being investigated. The lecture will not suppose any preliminary knowledge in fuzzy set theory, lattice theory or the standard measure and probability theory. | |||||
| (1)G. De Cooman: Possibility theory I, II, III, International Journal of General Systems 25(1997), pp. 291-323, 325-351, 353-371. (2) D.Dubois, H.Prade: Possibility theory - an approach to computerized processing of uncertainty. Plenum Press, New York, 1988. (3) D.Dubois et al. : Possibility theory, probability theory and fuzzy sets - misunderstandings, bridges and gaps. In: The Handbook of Fuzzy Sets Series - Fundamentals of Fuzzy Sets. D.Dubois and H.Prade, Eds., Kluwer Academic Publishers, 2000, pp. 343 - 438. (4)J.A.Goguen: L - fuzzy sets. Journal of Mathematical Analysis and Applications 18(1967), pp. 145 - 174. | |||||
| Code: XP33PUD | Artificial Intelligence | ||||
| Lecturer: | Prof.RNDr. Stepankova Olga CSc. | Weekly load: | 2+2 | Assessment: | ZK |
| Department: | 13133 | Credits: | 4 | Semester: | Z |
| Natural language communication with a computer, phases of processing, syntactic analysis, grammars including DCG. Understanding a sentence, semantic support of analysis and efficient memory organization. Knowledge engineering and knowledge elicitation. Machine learning -review of methods and tools. PAC learning. Learning in 1st order logic, ILP. Planning and scheduling. | |||||
| Russel S., Norvig P.: Artificial Intelligence. A Modern Approach, Prentice-Hall 1995 | |||||
| Code: XP33RMD | Control of Mobile Robots | ||||
| Lecturer: | Doc.Ing. Nahodil Pavel CSc. | Weekly load: | 2+2 | Assessment: | ZK |
| Department: | 13133 | Credits: | 4 | Semester: | L |
| Design of Intelligent Mobile Robots. Known Control Architectures. Top-Down and Bottom-Up Approaches. Overview and Comparison. Distributed Autonomous Motion Control. Modelling. Realisation. Neighbourhood Mapping. Needed Sensors. Ground of Ethology. Imprinting. Taxe. Stimuli, Receptors. Multiple Motivated Behaviour. Reactive and Planning Behaviour. Integration. Community Robots Structure. Task- or Behaviour-Oriented Robots. Ways and Realisation of Robots Co-operation, Motivation, Observation, Perception, Communication and Imitation. Multi-Agent reinforcement Learning. Q-Learning. Action Selection Mechanism, Learning Method, Exploration Strategy. Emotional Learning. Evolutionary Approach to Synthetic Biology. Artificial Life. Virtual World Different Approaches. Robots Competition, RoboCup, Strategy Selection, Implementation. Open Problems. | |||||
| Arkin, Ronald, C.: Behavoiur Based Robotics, MIT Press, Massachusetts 1999 | |||||
| Code: XP33ROD | Pattern Recognition | ||||
| Lecturer: | Prof.Ing. Hlavac Vaclav CSc. | Weekly load: | 2+2 | Assessment: | ZK |
| Department: | 13133 | Credits: | 4 | Semester: | L |
| Problems solved by pattern recognition. Relation to other disciplines. Statistical pattern recognition. Data matrix, its normalization. Classifiers. Bayesian and non-Bayesian approach. Teaching of the classifier. Linear classifiers. Unsupervised learning. Structural pattern recognition. Grammars. Exact and approximate matching problems. Combination of statistical and structural methods via Markov random chains. Examples of applications. | |||||
| Schlesinger M.I., Hlavac V.: Ten lectures from statistical and structural pattern recognition, Kluwer Academic Publishers, 2002. Duda R.O., Hart P.E., Stork D.G.: Pattern Classification, John Wiley and Sons, 2001. | |||||
| Code: XP33ROZ | Selected Topics in Pattern Recognition | ||||
| Lecturer: | Doc.Dr.Ing. Matas Jiri | Weekly load: | 2+2 | Assessment: | ZK |
| Department: | 13133 | Credits: | 4 | Semester: | L |
| Prerequisites: basic course in pattern recognition (e.g. P33ROD, 33RPZ). Selected topics: Anderson's problem, Kozince algorithm, kernel perceptron, nonlinear Fisher discriminant. Vapnik's learning theorz. Deterministic learning. Unsupervised learning: Robbins algorithm and emprirical Bayesian approach. Expectation-minimization algorithm. Recognition of sequences and directed acyclic graphs. Markov models. Combination of weak classifiers: boosting and bagging. AdaBoost. | |||||
| Duda, Richard O.; Hart, Peter E.; Stork, David G.: Pattern Classification, John Wiley, 2001 | |||||
| Code: XP33SCD | Man-Machine Systems | ||||
| Lecturer: | Doc.Ing. Stary Ivan CSc. | Weekly load: | 2+1 | Assessment: | ZK |
| Department: | 13133 | Credits: | 4 | Semester: | Z |
| History of man-machine systems development. Human operator tasks. Manual control, supervisory control cognitive control. Typical structure of a control system. Distribution of priorities in control between operator and machine. Control levels after Rasmussen. Skill based, role based and knowledge based operator behavior models. Fuzzy models. Cognitive models. Operator psychology. Mental models. Human-machine interaction. Intelligent interface. Factors influencing operator behavior. Stress. Mental load. Human error detection. Man-machine system reliability. Man-machine systems simulators. User-centered system design. | |||||
| T.B. Sheridan, editor: Analysis, Design and Evaluation of Man- Machine Systems, Elsevier, 1995 G. Johannsen, editor: Integrated Systems Engineering , Elsevier, 1995. | |||||
| Code: XP33UID | Artificial Intelligence | ||||
| Lecturer: | Prof.Ing. Marik Vladimir DrSc. | Weekly load: | 2+1 | Assessment: | ZK |
| Department: | 13133 | Credits: | 4 | Semester: | Z |
| Basic terminological issues. Knowledge representation: production systems, predicate logics, semantic nets, frames, and scenarios. Problem solving, state space search. Admissibility and informedness of the search algorithms. Expert systems for diagnostics and planning tasks. Uncertainty processing. Hajek's algebraic theory. Creation of knowledge bases. Knowledge acquisition, induction from examples. Distributed expert systems with the blackboard architecture, multi-agent systems. Backgrounds of pattern recognition. | |||||
| Marik, Stepankova, Lazansky: Umela inteligence 1, Academia, Praha 1993 Marik, Stepankova, Lazansky: Umela inteligence 2, Academia, Praha 1997 Marik, Stepankova, Lazansky: Umela inteligence 3, Academia, Praha 2001 Marik, Stepankova, Lazansky: Umela inteligence 4, Academia, Praha 2003 | |||||
| Code: XP33VID | 3D Computer Vision | ||||
| Lecturer: | Dr.Ing. Sara Radim | Weekly load: | 2+2 | Assessment: | ZK |
| Department: | 13133 | Credits: | 4 | Semester: | L |
| Introduction to perspective geometry, perspective camera. Fundamental and essential matrices, their robust estimation, camera calibration. Correspondence problem, structure from motion. The stereoscopic vision problem, cyclopean representation, disparity, disparity gradient limit, ordering constraint, four basic formulations of the dense correspondence problem. Surface model reconstruction from stereovision, error propagation, examples. Physics of image reflection, image irradiance equation, basic reflectance models. The shape from Lambertian shading problem. Local shading analysis. Overview of other Shape-from-X methods. Up-to-date info at http://cyber.felk.cvut.cz/teaching/ | |||||
| Hartley, R and Zisserman, A. Multiple View Geometry in Computer Vision. Cambridge Uiversity Press, 2003 | |||||
| Code: XP33ZVD | Introduction to Computer Vision | ||||
| Lecturer: | Prof.Ing. Hlavac Vaclav CSc. | Weekly load: | 2+2 | Assessment: | ZK |
| Department: | 13133 | Credits: | 4 | Semester: | Z |
| Tasks that computer vision solves. Low-level (image processing) vs. high-level (computer vision). Digital image and its properties. Digitization. Signal theory applied to images. Image capturing and hardware for imaging. Preprocessing with emphasis to edge detection. Image segmentation. Object description and recognition. Mathematical morphology. Image compression. Color in images. Motion analysis. Texture. Applications of 2D image analysis. Introduction to 3D vision, relation to multimedia and virtual reality. | |||||
| Sonka M., Hlavac V., Boyle R.D.: Image Processing, Analysis, and Machine Vision, PWS Boston, 1999. Computer vision, image analysis | |||||
| Code: XP34AT | TCAD Tools Applications | ||||
| Lecturer: | Doc.RNDr. Voves Jan CSc. | Weekly load: | 2+1 | Assessment: | ZK |
| Department: | 13134 | Credits: | 3 | Semester: | L |
| Fundamentals of the computer-aided technological design. Device simulators Atlas and Sentaurus: principle, applications. Basic equations. Boundary conditions. Numerical methods. Recombination models. Avalanche ionisation models. Mobility models. Hands-on exercises on SUN workstations according to the tasks of students' individual theses. | |||||
| T. Mouthaan, Semiconductor Devices Explained, Wiley, 1999 | |||||
| Code: XP34CNO | Crystaloptics amd Non-Linear Optics | ||||
| Lecturer: | Prof. Ing. Ctyroky Jiri DrSc. / Ing. Jerabek Vitezslav CSc. | Weekly load: | 3+0 | Assessment: | ZK |
| Department: | 13134 | Credits: | 3 | Semester: | Z |
| Optical environment classification. Single- and double-axial optical asymmetry. Chiral environment. Planar optical wave propagation. Phase and group velocity vectors. Energy equilibrium and reciprocity. Reflection and refraction. Electro-optical and piezo-electric tensors. Magneto-optical effect. Theoretical fundamentals of optical radiation control. Optical radiation control structure design. Material solution. Methods of preparation of structures. Practical examples | |||||
| On the recommendation of the lecturer | |||||
| Code: XP34ETS | Electrical Transport in Semiconductors | ||||
| Lecturer: | Doc.RNDr. Voves Jan CSc. | Weekly load: | 2+2 | Assessment: | ZK |
| Department: | 13134 | Credits: | 4 | Semester: | Z |
| Electron and hole transport in semiconductor crystals. Effective mass, mobility Boltzmann's transport equation. Scatter mechanisms, frequency. Scattering on phonons, ionised impurities, velocity saturation. Relaxation time approximation Carrier transport in a strong electric field, velocity saturation. Carrier transport in magnetic field. Carrier transport in nanometre structures. Quantum transport, density matrix, Green's and Wigner's functions. Resonance tunnelling, transport of electrons in superlattices. Single electron transport, Coulomb's blockade. Ballistic transport. Quantum Hall's effect. Simulation of transport effects. | |||||
| On the recommendation of the lecturer | |||||
| Code: XP34IO | Integrated Optics | ||||
| Lecturer: | Prof. Ing. Ctyroky Jiri DrSc. / Ing. Jerabek Vitezslav CSc. | Weekly load: | 3+0 | Assessment: | ZK |
| Department: | 13134 | Credits: | 3 | Semester: | Z |
| Theoretical and technological principles of IO Basic materials for IO. Light propagation in waveguide structures. Methods of waveguide structure design. Prismatic and graticule coupling elements. Graticule structures. Modal spectroscopy. Fundamental physical effects and interactions for IO. Preparation of dielectric waveguides and structures. Passive waveguide structures. Electro-optical modulators. Applicable measurement methods. Devices based on nonlinear effects. Semiconductor integrated opto-electronic structures. | |||||
| On the recommendation of the lecturer | |||||
| Code: XP34MSY | Microsystems | ||||
| Lecturer: | Prof.Ing. Husak Miroslav CSc. | Weekly load: | 3+0 | Assessment: | ZK |
| Department: | 13134 | Credits: | 3 | Semester: | Z,L |
| Fundamental concepts and classification of microsystems. Micro-sensors. Micro-actuators. Signal processing within the system. MEMS (micro-electrical-mechanical structures). MOES (micro-optical-electrical structures). MEMOS (micro-electrical-mechanical-optical structures). Microsystem design. Microsystem modelling. Manufacturing technologies. Materials. Industrial applications. Medical applications. | |||||
| 1. Beeby,S., Ensell,G., Kraft,M., White,N.: MEMS Mechanical Sensors. Artech House, Boston, 2004. 2. Pelesko,J.A., Bernstein,D.H.: Modeling MEMS and NEMS. Chapman & Hall/CRC, Boca Raton, 2003. 3. Varadan,V.K., Vinoy,K.J., Jose,K.A.: RF MEMS and their applications. Wiley, Chichester, 2003. | |||||
| Code: XP34ORD | Optical Radiation Detection and Detectors | ||||
| Lecturer: | Doc.Ing. Burian Zdenek CSc. / Ing. Pina Ladislav CSc | Weekly load: | 3+0 | Assessment: | ZK |
| Department: | 13134 | Credits: | 3 | Semester: | L |
| Spectrum of electromagnetic radiation, radiometric and photometric units. Detection of optical radiation. Ideal detectors, internal and external photo-effect. External photo-effect detectors, photomultipliers. Internal photo-effect detectors, PN junction. PIN photodiode, physical principles, properties. Avalanche photodiode, physical principles, properties. Photo-resistors, physical principles, properties. Thermal energy conversion detectors. Bolometers, thermocouples. Pyroelectric detectors. Some other detector types. Optical receivers, design principles, properties, noise. Solar cells, properties. Measurement methods, applications. | |||||
| On the recommendation of the lecturer | |||||
| Code: XP34PED | Advanced Electronic Devices | ||||
| Lecturer: | Ing. Jirasek Lubor CSc. | Weekly load: | 3+0 | Assessment: | ZK |
| Department: | 13134 | Credits: | 3 | Semester: | Z |
| Energy band engineering. Quantum well, wire, point. 2D electron gas based devices (HEMT, MOD FET). Devices based on resonance double-barrier tunnelling. 3D structures. Quantum device applications (memories, generators, multipliers). Heterogeneous structures. Microwave devices, HBT, Gunn diodes. Microwave device applications. Heterogeneous devices with internal optical coupling. Cryotronic devices. Recording media. IC development trends. | |||||
| Fahrner, W. R. (ed.): Nanotechnology and Nanoelektronics: Materials, devices, measurement techniques. Springer, 2004. 269 p. ISBN: 3-540-22452-1Other: On the recommendation of the lecturer | |||||
| Code: XP34PIC | Programmable IC Design | ||||
| Lecturer: | Doc.Ing. Hazdra Pavel CSc. | Weekly load: | 4+0 | Assessment: | ZK |
| Department: | 13134 | Credits: | 4 | Semester: | Z |
| IC's, reasons for integration, processes and methods of IC design. Custom IC's, programmable IC's. PICs with AND-OR matrices (PLD). Higher grade PLD-CPLD structures; architecture, logical blocks, interconnections. Programmable gate arrays (PGA) - principles, internal architecture. LCA-type PGA, "fine grain" structures. Tools for automated PIC design. Description of the PIC by a schematic diagram. The VHDL language for CPLD and PGA. Design of basic logic blocks in CPLD and PGA structures. Methods of PIC design, distribution to blocks. Data paths analysis, timing, testability. Advanced PICs: re-configurable and mixed-mode structures. PIC choice strategy and economics of PIC-based design. | |||||
| 1. P.P. Chu, RTL Hardware Design Using VHDL : Coding for Efficiency, Portability, and Scalability, Wiley-IEEE Press, 2006, ISBN-0471720925.2. S. Lee, Advanced Digital Logic Design Using VHDL, State Machines, and Synthesis for FPGA's, Thomson-Engineering, 2005, ISBN-0534466028. | |||||
| Code: XP34SRS | Semiconductor Radiation Sources | ||||
| Lecturer: | Doc.Ing. Burian Zdenek CSc. / Ing. Srobar Fedor DrSc. | Weekly load: | 3+0 | Assessment: | ZK |
| Department: | 13134 | Credits: | 3 | Semester: | L |
| Stimulated emission in semiconductors. Homogeneous and heterogeneous junction, double heterostructure laser. Waveguide resonators, DFB structures. Complex lasers, quantum wells. Electromagnetic fields in semiconductor lasers. Types of lasers and their properties. Tunable injection lasers. Spectral line width and line stability. Radiating characteristic, coupling the laser to a waveguide. Bi-stable and voltage devices, switches. Non-coherent LED's, super-luminescence diodes. Lasers and non-coherent diodes for optical communications. Injection laser amplifiers. Measurement methods, applications. | |||||
| On the recommendation of the lecturer | |||||
| Code: XP34STV | VLSI Structures and Technologies | ||||
| Lecturer: | Ing. Jakovenko Jiri Ph.D. | Weekly load: | 4+0 | Assessment: | ZK |
| Department: | 13134 | Credits: | 4 | Semester: | Z |
| Functional structures of the IC's. Bipolar and unipolar structures. BiCMOS structures. 3D structures. Sub-micron structures. Memory structures. Testing structures. VLSI technological processes. Advanced semiconductor technology. IC design, design of technology. Design rules. Reliability, yield. Outlooks and limitations of IC development | |||||
| Behzad Razavi: "Design of Analog CMOS Integrated Circuits", McGraw-Hill Education - Europe (December 1, 2000) Paul R. Gray, Paul J. Hurst, Stephen H. Lewis, Robert G. Meyer: "Analysis and Design of Analog Integrated Circuits (4th Edition)", Wiley 2001 Behzad Razavi: "RF Microelectronics", Prentice Hall PTR 1997 | |||||
| Code: XP34TOS | Technology of Optical Devices | ||||
| Lecturer: | Doc.Ing: Huttel Ivan DrSc / Ing. Jerabek Vitezslav CSc. | Weekly load: | 3+0 | Assessment: | ZK |
| Department: | 13134 | Credits: | 3 | Semester: | Z,L |
| Preparation of optoelectronic materials and structures. Diagnostic and testing methods. Design and preparation of double heterostructures. Preparation of semiconductor waveguides. Preparation of LED's, lasers, photo-resistors. Preparation of QW structures. Design of dielectric waveguide structures. Preparation of dielectric waveguide structures. Design and preparation of optical radiation distributing structures. Design and preparation of optical radiation control structures. Measurement methods. Testing methods. Examples of semiconductor structures. Examples of dielectric structures. | |||||
| On the recommendation of the lecturer | |||||
| Code: XP35AAD | Adaptive Methods of Signal Processing | ||||
| Lecturer: | Doc.Dr.Ing. Hanzalek Zdenek | Weekly load: | 2+1 | Assessment: | ZK |
| Department: | 13135 | Credits: | 4 | Semester: | L |
| Introduction into the linear regression methods, prediction models. Fast algorithms for linear regression (LMS and RLS algorithms).Parallel implementation of algorithms for identification (lattice, QR). Corresponding programming languages (Prarallel C, threads). Source of information aboutsignal and parallel processors. Fast and parallel signal processors. Communication between a prosessor and a shell system. Signal and RISC processor programming using Matlab environment. | |||||
| Marc Moonen & Ian Proudler, An Introduction to Adaptive Signal Processing KUL Leuven, Course Notes 1999. http://homes.esat.kuleuven.be/~moonen/asp_course.html | |||||
| Code: XP35AMS | Algebraic Designe Methods | ||||
| Lecturer: | Prof.Ing. Kucera Vladimir DrSc.Dr.h.c. | Weekly load: | 2+2 | Assessment: | ZK |
| Department: | 13135 | Credits: | 4 | Semester: | Z |
| The course offers an algernative design method for linear control systems. The method is based on transfer functions, expressed in fractional form. All controllers are parametrized that stabilize a given plant. Additional design requirements, like those of optimality or robustness, can be achieved by a suitable choice of the parameter. | |||||
| Kucera V.: Parametrization of stabilizing controllers. Proc. 8th IEEE International Conference on Methods and Models in Automation and Robotics, Szczecin 2002, 87-94. Kucera V.: Parametrization of stabilizing controllers with applications. Advances in Automatic Control (M. Voicu, Ed.). Kluwer, Boston/Dordrecht/London 2003, 173-192. 1. J. C. Doyle, B. A. Francis, and A. R. Tannenbaum: Feedback Control Theory. Macmillan, New York 1992. | |||||
| Code: XP35APR | Adaptive and Predictive Control | ||||
| Lecturer: | Prof.Ing. Havlena Vladimir CSc. | Weekly load: | 3+1 | Assessment: | ZK |
| Department: | 13135 | Credits: | 4 | Semester: | Z |
| Direct and indirect adaptive schemes, Auto tuning, Gain scheduling, Model-reference adaptive systems and the recent development in this field, Self tuning regulators, self tuning PID's and the recent rigorous revision of the Ziegler-Nichols rule, Robust parameter estimation, Regularized and directional forgetting, Linear predictive control via quadratic programming, Introduction to non-linear predictive control, Stochastic control, Discussion of the dual control. | |||||
| Predictive control 1.Kwon W. H., Han S., Receding Horizon Control: Model Predictive Control for State Models, Advanced Textbooks in Control and Signal Processing, (Springer, 1 edition December 31, 2005, ISBN: 1846280249). 2.Allgower, F., and A. Zheng, Nonlinear Model Predictive Control, (Springer-Verlag, 2000). 3.Wayne B., Process Control: Modeling, Design and Simulation Series: Prentice Hall International Series in the Physical and Chemical Engineering Sciences, (Prentice Hall, 1 edition Dec 26, 2002, ISBN: 0133536408). 4.Maciejowski, J. M., Predictive Control with Constraints, (Pearson Education POD, 2002). 5.Kouvaritakis, B., Cannon M. (Editors) Non-linear Predictive Control: theory and practice (IEE Publishing EIT 2001, ISBN: 0852969848) 6.Bacic M., Cannon M. and Kouvaritakis B. "Constrained control of SISO bilinear systems" IEEE Trans. Automatic Control 48 (8), pp 1443-1447.Adaptive control 1.Fortescue T.R., Kershenbaum L.S. and Ydstie B.E., "Implementation of sefttuning regulators with variable forgetting factors", Automatica, 17, 6, 831-835. 2.Peterka, V., Bayesian approach to system identification, Trends and Progress in System Identification (P. Eykhoff, Ed.). Chap. 8, pp. 239-304. 3.Kulhavy, R. and Kraus F. J., "On duality of regularized exponential and linear forgetting", Automatica 32, 1403-1415. | |||||
| Code: XP35BMI | Bilinear Matrix Inequalities | ||||
| Lecturer: | Prof.Ing. Sebek Michael DrSc. | Weekly load: | 3+1 | Assessment: | ZK |
| Department: | 13135 | Credits: | 4 | Semester: | Z |
| The focus is on optimization over linear and bilinear matrix inequalities (LMIs, BMIs), an extension of linear and nonlinear programming to the cone of positive semidefinite matrices. Since the 1990s, LMI and BMI methods have found numerous applications mostly in combinatorial optimization, systems control and signal processing. The course will cover the following topics: historical developments of LMIs and BMIs; convex sets that can be represented with LMIs; LMI relaxations of non-convex polynomial optimization problems, including BMIs; interior-point and augmented Lagrangian algorithms for LMI and BMI problems; application of LMI and BMI techniques to several control problems, such as robustness analysis of linear and nonlinear systems, design of fixed-order robust controllers with Hinf specifications, static output feedback, simultaneous stabilization. | |||||
| Aharon Ben-Tal, Arkadi Nemirovski: Lectures on Modern Convex Optimization. SIAM, Philadelphia, 2001. | |||||
| Code: XP35DRD | Distributed Control Systems | ||||
| Lecturer: | Doc.Ing. Bayer Jiri CSc. | Weekly load: | 2+2 | Assessment: | ZK |
| Department: | 13135 | Credits: | 4 | Semester: | L |
| Distributed control systems, distribution HW, SW & CTRL. Large technological plant systems decomposition. Stability and optimization of aggregate control. ISO-OSI model of open distributed control. Network layers, ISO model assignment. Communication and software tools, protocols. Choice of network topology, hardware means. MAP recommendation . Fieldbuses. Analysis and design of DCS. Reliability and quality evaluation of DCS. Example of professional DCS. | |||||
| 1.Fieldbus technology : industrial network standards for real-time distributed control; Berlin, New York : Springer, 2003. 2.Distributed computer control systems 2000 (DCCS 2000) : a proceedings volume from the 16th IFAC workshop, Sydney, Australia 2000; New York : Published for the International Federation of Automatic Control by Pergamon, 2001. | |||||
| Code: XP35FDE | Fault Detection Theory and Application | ||||
| Lecturer: | Prof.Ing. Havlena Vladimir CSc. | Weekly load: | 2+1 | Assessment: | ZK |
| Department: | 13135 | Credits: | 4 | Semester: | L |
| Detection based on state or parameter estimation, Geometrical approach, Unknown input observer schemes, Introduction to mathematical statistic and statistical inference, Hypothesis testing, Quality control, Shewhart control charts, Sequential tests, Fault detection schemes based on system parameters, Scores and large sample approximations, Analytical redundancy, Data validation. | |||||
| 1.Simani, S. and Fantuzzi, C. and Patton, R. J., Model-based fault diagnosis in dynamic systems using identification techniques, Advances in Industrial Control Series, (Springer-Verlag, November 2002. ISBN 1852336854). 2.Simani, S. and Fantuzzi, C. and Beghelli, S., "Diagnosis techniques for sensor faults of industrial processes", IEEE Transactions on Control Systems Technology 2000 8 (5), pp. 848-855. 3.De Parsis, C. and Isidori A., "A Geometric Approach to Nonlinear Fault Detection and Isolation", IEEE Transactions on Automatic Control, 46 (6): pp 853-- 865, June 2001. 4.Basseville M. Benveniste A., Detection of abrupt changes in signals and dynamical systems, Lecture notes in control and information sciences vol 77, (Springer, 1985) 5.Chiang L. H., Russell E. L., Braatz R. D., Fault Detection and Diagnosis in Industrial Systems Advanced Textbooks in Control and Signal Processing (Springer, January 25 2001, ISBN 1852333278) | |||||
| Code: XP35FMD | Fuzzy Modelling and Control | ||||
| Lecturer: | Prof.Ing. Kucera Vladimir DrSc.Dr.h.c. | Weekly load: | 2+2 | Assessment: | ZK |
| Department: | 13135 | Credits: | 4 | Semester: | L |
| Introduction to fuzzy logic, use of fuzzy systems. Basic characteristics of fuzzy sets, fuzzy operations, fuzzy relations, fuzzyfication and defuzzyfication. Fuzzy modelling of static and dynamic systems - Mamdani and Takagi-Sugeno fuzzy models.Neural networks - the basic types, algorithms for parameter tuning, fuzzy logic neural networks - instrument for implementation of fuzzy systems. Parameter tuning of fuzzy logical neural networks - learning algorithms, method of optimization, clustering. Parameter tuning of fuzzy controller, fuzzy supervised PID controller, Takagi-Sugeno PDC controller. Stability analysis of fuzzy systems. Application of fuzzy systems to modelling and control. Implementation of fuzzy systems to industrial PLCs. | |||||
| Li-Xin Wang: A Course in Fuzzy Systems and Control, Prentice-Hall International, 1997 Hao Ying: Fuzzy Control and Modelling, IEEE Press Marketing, 2000 | |||||
| Code: XP35FRD | Fuzzy Systems | ||||
| Lecturer: | Doc.Ing. Vysoky Petr CSc. | Weekly load: | 2+2 | Assessment: | ZK |
| Department: | 13135 | Credits: | 4 | Semester: | L |
| Fuzzy sets and fuzzy logic. Fuzzy operations and fuzzy relations, fuzzyfication and defuzzyfication. Linguistic variable and approximate reasorning. Fuzzy systems and fuzzy models. Basic structure of fuzzy controller. Fuzzy controller design. Stability of control systems with fuzzy controllers. Methods for design of fuzzy controller structure. Utillization of fuzzy neuron nets for control. Fuzzy decision (multiexpert, multicriterion decision problem). Intelligent controllers. Probabilistic and fuzzy uncertainty. | |||||
| Klir G. J., Juan B.: Fuzzy sets and fuzzy logic. Prentice Hall, Upper Sadddle river, NJ, 1995, ISBN 0-13-101171 | |||||
| Code: XP35LMI | Linear Matrix Inequalities | ||||
| Lecturer: | Prof.Ing. Sebek Michael DrSc. | Weekly load: | 2+2 | Assessment: | ZK |
| Department: | 13135 | Credits: | 4 | Semester: | Z |
| Semidefinite programming or optimization over linear matrix inequalities (LMIs) is an extension of linear programming to the cone of positive semidefinite matrices. LMI methods are an important modern tool in systems control and signal processing. Theory: Convex sets represented via LMIs; LMI relaxations for solution of non-convex polynomial optimization problems; Interior-point algorithms to solve LMI problems; Solvers and software; LMIs for polynomial mehods in control. Control applications: robustness analysis of linear and nonlinear systems; design of fixed-order robust controllers with H-infinity specifications. For more information, see http://www.laas.fr/~henrion/courses/lmi | |||||
| # S. Boyd, L. Vandenberghe. Convex Optimization, Cambridge University Press, 2005 # A. Ben-Tal, A. Nemirovskii. Lectures on modern convex optimization: analysis, algorithms and engineering applications. SIAM, Philadelphia, 2001. Most of the material there can be found in various lecture notes and slides available at A. Nemirovksii's webpage at Georgia Tech.LMI representation of semialgebraic sets and lift-and-project techniques are described in: # A. Ben-Tal, A. Nemirovskii. Lectures on modern convex optimization: analysis, algorithms and engineering applications. SIAM, Philadelphia, 2001 # P. A. Parrilo, S. Lall. SDP Relaxations and Algebraic Optimization in Control. ECC'03 and CDC'03 workshops, whose slides are available at P. A. Parrilo's webpage at MIT.Modern state-space LMI methods in control are nicely surveyed in: # C. Scherer, S. Weiland. LMIs in Control, Lecture Notes at Delft University of Technology and Eindhoven University of Technology, 2005.Polynomials methods for robustness analysis are well described in # B. R. Barmish. New tools for robustness of linear systems. MacMillan, 1994.Polynomial methods and LMI optimization for fixed-order robust controller design are described in parts III and IV of: # D. Henrion. Course on polynomial methods for robust control, LAAS-CNRS Toulouse, 2001as well as in the papers# D. Henrion, M. Sebek, V. Kucera. Positive Polynomials and Robust Stabilization with Fixed-Order Controllers, IEEE Transactions on Automatic Control, Vol. 48, No. 7, pp. 1178-1186, July 2003 # D. Henrion, D. Arzelier, D. Peaucelle. Positive Polynomial Matrices and Improved LMI Robustness Conditions, Automatica, Vol. 39, No. 8, pp. 1479-1485, August 2003. | |||||
| Code: XP35LSD | Linear Systems | ||||
| Lecturer: | Prof.Ing. Kucera Vladimir DrSc.Dr.h.c. | Weekly load: | 3+1 | Assessment: | ZK |
| Department: | 13135 | Credits: | 4 | Semester: | L |
| This course builds upon the master program lectures on Dynamical Systems Theory. The structure and properties of linear multi-input multi-output systems are studied. The significance of these results for the design of linear controls is demonstrated. The presentation focuses on pole placement techniques, linear state regulation and estimation, and LQG control design. State-space and transfer-function design techniques are compared. The lectures are supported by laboratory experiments using Matlab, Control System Toolbox, and Polynomial Toolbox. | |||||
| Kucera V.: A bridge between state-space and transfer-function methods. Annual Reviews in Control 23 (1999), 177-184. Zhou K., Doyle L.C.: Essentials of Robust Control. Prentice Hall, Upper Saddle River, New Jersey 1998. 1. V. Kucera: Analysis and Design of Discrete Linear Control Systems. Prentice-Hall, London / Academia, Praha 1991 | |||||
| Code: XP35MID | Modelling and Identification of Dynamical Systems | ||||
| Lecturer: | Prof.Ing. Kucera Vladimir DrSc.Dr.h.c. | Weekly load: | 2+2 | Assessment: | ZK |
| Department: | 13135 | Credits: | 4 | Semester: | L |
| Building formal models of dynamic systems from data. Systems and models. Simulation, prediction and control. Nonparametric time and frequency domain methods, parameter estimation methods, convergence and consistency, asymptotic distribution of parameter estimates, computing the estimate, recursive estimation methods. Identification experiment design, choice of identification criterion, model structure selection and model validation. System identification in practice. | |||||
| 1.Ljung Lennart: System Identification: Theory for the User (2nd Edition). Prentice Hall PTR 1998, 609 pages, ISBN: 0136566952 2.Close Ch., Frederick D., Newell J.: Modeling and Analysis of Dynamic Systems. Wiley 2001, 592 pages, ISBN: 0471394424 3.Pintelon R., Schoukens J.: System Identification : A Frequency Domain Approach. Wiley-IEEE Press 2001, 648 pages, ISBN: 0780360001 | |||||
| Code: XP35NES | Nonlinear Systems | ||||
| Lecturer: | Prof.Ing. Sebek Michael DrSc. | Weekly load: | 2+2 | Assessment: | ZK |
| Department: | 13135 | Credits: | 4 | Semester: | L |
| This course constitutes a continuation of the master level course "Nonlinear systems" being opened during winter semester. It is devoted to the detailed study of nonlinear systems structure from the control design point of view. It is based on state space descripion of nonlinear systems. Model transformations will be studied to simplify them and thereby faciliate the controllers design. It gives mathematical conditions for the existence of these transformations. Nonlinear analougues of controllability and observability will be introduced and studied as well and their relation to detectability and stabilizability investigated. Finally, elements of nonlinear output regulation as well as of nonlinear robust and adaptive design will be presented. Exercises will be, in particular, based on MATLAB and SIMULINK use. | |||||
| [1] H. K. Khalil, Nonlinear Systems. Third edition. Prentice Hall 2002. [2] M. Vidyasagar, Nonlinear Systems Analysis, Second Edition. SIAM Classics in Applied Mathematiacs 42. SIAM 2002. ISBN 0-89871-526-1. [3] Isidori Alberto Nonlinear Control Systems. Communications and Control Engineering Series. London, Springer 1995. 549 s. [4] Sergej Celikovsky: Nelinearni systemy. Skriptum. CVUT 2006 | |||||
| Code: XP35NMS | Design of Microprocessor Systems | ||||
| Lecturer: | Doc.Dr.Ing. Hanzalek Zdenek | Weekly load: | 2+2 | Assessment: | ZK |
| Department: | 13135 | Credits: | 4 | Semester: | L |
| Lectures are focussed on students working on projects, which requires development of custom microprocessor or programmable circuit hardware for practical realization and testing. Care will be taken for choosing of possible hardware for each project, selecting development environment, printed circuits board preparation, testing and interconnection of hardware and real time operating systems. Examples of already solved and realized designs and ideas targeted on different applications areas will be presented to demonstrate possible ways of development. | |||||
| 1.James O. Hamblen, Michael D. Furman: Rapid Prototyping of Digital Systems: A Tutorial Approach (2nd edition). Kluwer Academic Pub. 2001 2.Jonathan Corbet, Alessandro Rubini, Greg Kroah-Hartman: Linux Device Drivers, 3rd Edition (Paperback). O'Reilly Media, Inc.; 3 edition, 2005 3.Robert Love: Linux Kernel Development . Novell Press; 2005 4.Peter J. Ashenden: The Student's Guide to Vhdl. Morgan Kaufmann Pub. 1998 5.Author: Richard M. Stallman Roland H. Pesch Stan Shebs: Debugging with GDB: The GNU Source-Level Debugger. Publisher: Free Software Foundation. 2002 6.Richard M. Stallman Gcc Developer Community: Using GCC: The GNU Compiler Collection Reference Manual for GCC 3.3.1. Free Software Foundation. 2003 | |||||
| Code: XP35NRS | Design of Electronic Control Systems | ||||
| Lecturer: | Doc.Ing. Vysoky Ondrej CSc. | Weekly load: | 2+2 | Assessment: | ZK |
| Department: | 13135 | Credits: | 4 | Semester: | Z |
| Design methods of modern electronics control systems with CAD, exploitation of analog and digital simulation of electronic circuits and systems, system reliability and security method of EMC, printed circuit boards design with CAD system, design of electronics systems with PLD, ASIC and microcontrollers. Indivisible part of this subject is the individual project consisting authentic electronic design, circuits simulation and project documentation. | |||||
| Code: XP35OFD | Estimation and Filtering | ||||
| Lecturer: | Prof.Ing. Havlena Vladimir CSc. | Weekly load: | 3+1 | Assessment: | ZK |
| Department: | 13135 | Credits: | 4 | Semester: | L |
| Methodology: experiment design, structure selection and parameter estimation. Bayesian approach to uncertainty description. Posterior probability density function and point estimates: MS, LMS, ML and MAP. Robust numerical implementation of least squares estimation for Gaussian distribution. Parameter estimation and state filtering - Bayesian approach. Kalman filter for white noise. Properties of Kalman filter. Kalman filter for colored/correlated noise. | |||||
| Kailath, T. et al., Linear Estimation, Prentice Hall 1999, ISBN 0-13-022464-2 | |||||
| Code: XP35OME | Optimisation Methods | ||||
| Lecturer: | Prof.Ing. Sebek Michael DrSc. | Weekly load: | 3+1 | Assessment: | ZK |
| Department: | 13135 | Credits: | 4 | Semester: | Z |
| Optimization theory is used in many applications in engineering, economy,.. The course covers problems of static and dynamic optimization. Least squares problem, total least squares modification of the problem, numerical methods of solution, applications. Numerical methods of optimisation with and without constraints. Statistical optimisation methods, Chernoff bound, Vapnik/Chervonenkis dimensions, Monte Carlo methods, theory of learning, Interior point methods, Semidefinite programming. | |||||
| 1) S Boyd, L. Vandenberghe: Convex Optimization, Cambridge University Press, 2004. 2) J. Nocedal, S. Wright: Numerical Optimization, Springer Series in Operations Research, 1999 Springer-Verlag New York. 3) E. Polak: Optimization, Algorithms and Consistent Approximation, 1997 Springer-Verlag New York. | |||||
| Code: XP35PAD | Parallel Algorithms and Architectures | ||||
| Lecturer: | Doc.Dr.Ing. Hanzalek Zdenek | Weekly load: | 2+1 | Assessment: | ZK |
| Department: | 13135 | Credits: | 4 | Semester: | L |
| Parallel relation signification. Different levels of parallelism. Comparison select parallel processors. Parallel programming languages. Systolic algorithms. Parallel adaptive control and signal processing. Genetic algorithms.Parallel operational systems. | |||||
| Ken Chapman, PicoBlaze 8-bit Embedded Microcontroller User Guide for Spartan-3, Virtex-II, and Virtex-II Pro FPGAs UG129 (v1.1.1) Xilinx, November 21, 2005 http://www.xilinx.com/bvdocs/userguides/ug129.pdf | |||||
| Code: XP35PPD | Modern Control Tools | ||||
| Lecturer: | Doc.Ing. Bilek Jan CSc. | Weekly load: | 2+2 | Assessment: | ZK |
| Department: | 13135 | Credits: | 4 | Semester: | Z |
| Modern control system architectures. Control system design with hardware tools. 16 and 32 bits microcontrollers and microcomputers, programming languages. Signal processors in control systems design. Communication between different processors. Control system based on software tools. Parallel algorithms design. Parallel programming support packets. Controlled technology visualization. | |||||
| Van den Bout Dave: The Practical Xilinx Designer Lab Book, Prentice Hall Inc., New Jersey, 1998 | |||||
| Code: XP35PSD | Parallel Systems for Real Time Control | ||||
| Lecturer: | Doc.Dr.Ing. Hanzalek Zdenek | Weekly load: | 2+2 | Assessment: | ZK |
| Department: | 13135 | Credits: | 4 | Semester: | Z |
| The main aim of this subject is the modeling, design and analysis of the concurrent systems. Theoretical background and the system analysis are based on Petri Nets. Research topics addressed fall into the distribution of the real-time control algorithms on the level of the operating system, on the level of parallel multiprocessor machine and on the level of remote inputs and outputs. | |||||
| R. David and H. Alla, Discrete, Continuous, and Hybrid Petri Nets, Springer 2005. Blazewicz, J., Ecker, K., Schmidt, G., Weglarz, J.: Scheduling in Computer and Manufacturing Systems, Springer- Verlag, Berlin,1996. | |||||
| Code: XP35RLD | Aircraft Control Systems | ||||
| Lecturer: | Prof.Ing. Havlena Vladimir CSc. | Weekly load: | 2+2 | Assessment: | ZK |
| Department: | 13135 | Credits: | 4 | Semester: | L |
| Flight management systems, their structure and hierarchical levels. Aircraft dynamics, equations of aircraft motion, state space equations. Longitudinal motion of aircraft. Lateral/directional motion of aircraft. Local systems of automatic flight control, autopilots, flight guidance in vertical and horizontal plane. Approach flight phase. Systems of semiautomatic aircraft control, flight director, systems of artificial feeling, stability augmentation systems, control augmentation systems. | |||||
| Stevens, B., l., Lewis, F., L.: Aircraft Control and Simulation. John Wiley and Sons, Inc., N.Y. 1992, ISBN 0-471-61397-5. 2nd edition ISBN: 0-471-37145-9, 2004. | |||||
| Code: XP35RRD | System Uncertanties and Robust Control | ||||
| Lecturer: | Prof.Ing. Sebek Michael DrSc. | Weekly load: | 3+1 | Assessment: | ZK |
| Department: | 13135 | Credits: | 4 | Semester: | Z |
| Uncertain and approximate models. Structured and unstructured uncertainty. Differential sensitivity, small-scale perturbations. Stability and performance robustness. Robust dynamic interval systems. Internal model principle. Weighted matrix norms. Singular value analysis. H-infinity control. Robust control Matlab toolbox. | |||||
| Geir E. Dullerud, Fernando Paganini. A Course in Robust Control Theory. Springer; 1 edition, 2005.Kemin Zhou, John C. Doyle, Keith Glover. Robust and Optimal Control.Prentice Hall, 1st edition, 1995. | |||||
| Code: XP35TAR | Theory of Automatic Control | ||||
| Lecturer: | Doc.Ing. Hyniova Katerina CSc. | Weekly load: | 3+1 | Assessment: | ZK |
| Department: | 13135 | Credits: | 4 | Semester: | Z |
| System approach, object, system, system classification, model, linearization, internal and input-output system description, context of continuous and discrete descriptions, systems connection, feedback loop, linear feedback controller, controller classification, control loop analysis, control accuracy, physical meaning and definition of stability, stability conditions for linear systems, stability criteria of linear systems, stability of control loop, design of control system, quality and accuracy ratio of control loop, design methods, state feedback, multi-loop and multi-dimension control systems, nonlinear dynamic systems. | |||||
| Franklin, G.F. - Powell, J.D. - Emami-Naeini, A.: FEEDBACK CONTROL OF DYNAMIC SYSTEMS, Pearson Prentice Hall, 2006 Franklin, G.F. - Powell, J.D. - Workman, M.: DIGITAL CONTROL OF DYNAMIC SYSTEMS, Addison Wesley Longman, Inc., 1997 | |||||
| Code: XP36ASP | Architecture of Symbolic Computers | ||||
| Lecturer: | Doc.RNDr. Kolar Josef CSc. | Weekly load: | 2+2 | Assessment: | ZK |
| Department: | 13136 | Credits: | 4 | Semester: | L |
| Symbolic expressions and abstract programs, lambda calculus, formal basis for abstract programming, self-interpretation, SECD abstract machine, memory management, demand-driven evaluation, Lisp implementations, predicate logic and its inference engine, Prolog inference engine and dynamic algebras, Warren abstract machine, optimisation, Prolog implementations, parallel inference engines. | |||||
| 1. Peter M. Kogge: The Architecture of Symbolic Computers. McGraw-Hill, Inc.1990, New York, NY, USA ISBN:0070355967 2. Gopal Gupta, et al.: Parallel execution of prolog programs: a survey. July 2001, ACM Transactions on Programming Languages and Systems (TOPLAS), Volume 23 Issue 4 3. L.C.Paulson: Foundations of Functional Programming. http://www.cl.cam.ac.uk/users/lcp/papers/Notes/Founds-FP.pdf | |||||
| Code: XP36DRO | Diagnostics and Reconfiguration Programmable Circuits | ||||
| Lecturer: | Prof.Ing. Novak Ondrej CSc. | Weekly load: | 2+2 | Assessment: | ZK |
| Department: | 13136 | Credits: | 4 | Semester: | Z |
| Building blocks in FPGAs, their main fault mechanisms. External FPGA tests, their realization and embedding int the life cycle of the circuit. Embedded diagnostic in FPGAs, LSFR-based test generators, test result evaluation (embedded analyzers, MISR). Implementation of self-checked and self-tested in FPGAs. Selection of safety codes, design of a completely self-checked code checker. Conditions for automatic configuration after failure, the choice of type and size of interchangeable modules. Setting redundancy level in dependence on fault intensity and the required reliability parameters. | |||||
| Novak, O, Gramatova, E., Ubar, R.: Handbook of Electronic Testing. Vydavatelstvi CVUT, srpen 2005, ISBN 80-01-03318-X, 405 stran | |||||
| Code: XP36DSY | Distributed Systems | ||||
| Lecturer: | Doc.Ing. Janecek Jan CSc. | Weekly load: | 2+2 | Assessment: | ZK |
| Department: | 13136 | Credits: | 4 | Semester: | Z |
| Communication mechanisms - message exchange, procedural communication (RPC, ORB), distributed shared memory. Process algebras - CSP, CCS, and pi-calculus, cooperating automata, Petri nets. Distributed execution, global state, causality, logical time. Algorithms of: exclusive access, leader election, deadlock detection/prevention, termination. Faults, resiliency, qourum algorithms, replication. Mobility, search in distributed systems - DHT. | |||||
| 1. Tanenbaum, A.: Computer Networks 2. Stallings, W.: Handbook of Computer Communication Standards | |||||
| Code: XP36JAI | Languages for Artificial Intelligence | ||||
| Lecturer: | Doc.RNDr. Kolar Josef CSc. | Weekly load: | 2+2 | Assessment: | ZK |
| Department: | 13136 | Credits: | 4 | Semester: | Z |
| The course offers a deep insight into the two programming languages that are most frequently used in the domain of artificial intelligence (Lisp, Prolog). It exhibits programming paradigms used to build typical AI algorithms and gives some basics concerning the implementation of the two languages. | |||||
| Slade, S.: Object-Oriented Common Lisp. New Jersey, Prentice Hall 1998 | |||||
| Code: XP36KP | Communication Protocols | ||||
| Lecturer: | Doc.Ing. Janecek Jan CSc. | Weekly load: | 2+0 | Assessment: | ZK |
| Department: | 13136 | Credits: | 4 | Semester: | L |
| Communication protocol principles, SDL language, protocol architecture: ISO OSI, error control, data-link layer protocols: X.25, higher layer protocols (TCP, TP4), communicating finite state machines, implementation tools (FSM language ESTELLE, regular grammars), use of Petri nets, specification language LOTOS, protocol transformation, design, synthesis, validation and verification of protocols. | |||||
| Holzmann G.J.: Design and Validation of Computer Protocols. Prentice Hall 19 | |||||
| Code: XP36LSM | Logical Simulation | ||||
| Lecturer: | Doc.Ing. Dousa Jiri CSc. | Weekly load: | 2+2 | Assessment: | ZK |
| Department: | 13136 | Credits: | 4 | Semester: | Z |
| General introduction to simulation: fundamental ideas and principles of simulation systems, synchronous and asynchronous simulation. Simulation system VHDL and its use for simulation of digital circuits: data types, entities, architectures, sequential environment (processes, functions, procedures), signals and their attributes, resolution function, parallel environment (data-flow description, blocks, structural description), configuration of structural models. Students who completed course 36SIM cannot enroll. | |||||
| 1. Cohen Ben: VHDL Coding Styles and Methodologies, Springer 1999 2. Zwolinski Mark: Digital System Design with VHDL, Prentice Hall 2003 | |||||
| Code: XP36NSN | Neural Networks and Neurocomputers | ||||
| Lecturer: | Doc.Ing. Snorek Miroslav CSc. | Weekly load: | 2+2 | Assessment: | ZK |
| Department: | 13136 | Credits: | 4 | Semester: | L |
| Theoretical background, paradigm classification and artificial neural networks learning methods. Student is supposed to propose and test the application of an artificial neural network for a partial issue concerning his dissertation theme during the semester. Procedure and results would be concluded in the preliminary publication form designed to be presentable on a scientific forum. | |||||
| Chen, C.H.: Fuzzy Logic and Neural Network Handbook McGraw-Hill, ISBN 0-07-011189-8, 1996 | |||||
| Code: XP36PAS | Algebraic Specifications Prototyping | ||||
| Lecturer: | Doc.Ing. Richta Karel CSc. | Weekly load: | 2+2 | Assessment: | ZK |
| Department: | 13136 | Credits: | 4 | Semester: | Z,L |
| Algebraic specification, syntax and semantics of a specification language (OBJ3), structured specifications, generic specifications, implementation of an algebraic specification, interpretation using Prolog, translation into Lisp, term rewriting systems, abstract rewriting machine, prototyping of a specification, prototyping in OBJ3, conversion to procedural language (C++). | |||||
| 1. Goguen, Winkler, Meseguer, Futatsugi, Jouannaud: Introducing OBJ. SRI-CSL-92-03, Menlo Park 1992 2. Watt: Programming Language Syntax and Semantics, Prentice Hall 1991 | |||||
| Code: XP36PMV | Advanced Methods of Visualization | ||||
| Lecturer: | Prof.Ing. Slavik Pavel CSc. | Weekly load: | 2+2 | Assessment: | ZK |
| Department: | 13136 | Credits: | 4 | Semester: | Z |
| Scientific visualization based on physical models. Scientific visualization and volume rendering. Volume graphics. Information visualization. Interaction in scientific visualization environment. Scientific visualization in WWW environment. Particle models and visualization of technological processes. Computational fluid dynamics. | |||||
| U. Fayad, G. Grinstein, A. Wierse, Information Visualization in Data Mining | |||||
| Code: XP36POA | Advanced Parallel Algorithms | ||||
| Lecturer: | Prof.Ing. Tvrdik Pavel CSc. | Weekly load: | 2+2 | Assessment: | ZK |
| Department: | 13136 | Credits: | 4 | Semester: | L |
| Design and analysis of time-, and cost-efficient PRAM algorithms and parallel algorithms for distributed memory machines. The collection of algorithms includes: advanced parallel scan algorithms, distributed list ranking, Cole's MergeSort, optimal mesh sort, connected components, tree contraction and tree evaluation, pattern matching in texts. | |||||
| J. H. Reif, ed. Synthesis of parallel algorithms, Morgan Kaufmann Publ., 1993, ISBN 1-55860-135-X | |||||
| Code: XP36PSV | Parallel Systems and Algorithms | ||||
| Lecturer: | Prof.Ing. Tvrdik Pavel CSc. | Weekly load: | 3+2 | Assessment: | ZK |
| Department: | 13136 | Credits: | 4 | Semester: | Z |
| Complexity measures and scalability of parallel algorithms. Parallel computer architectures, models, PRAM, APRAM. Direct and indirect interconnection networks, embeddings, simulations. Communication algorithms - routing, switching techniques, deadlock problem, permutation routing, collective communication operations. Fundamental parallel algorithms - reduction, prefix computation, Euler tour technique. Parallel sorting. Parallel linear algebra algorithms. Parallel combinatorial search. Parallel complexity theory Graduates of engineering studies in specialization Computer Science and Informatics FEE CTU cannot register. | |||||
| Vipin Kumar, et al.: Introduction to parallel computing, The Benjamin/Cummings Publ. Co., 1994, ISBN 0-8053-3170R. Greenlaw, et al.: Limits to parallel computation, Oxford University Press, 1995, ISBN 0-19-508591-4J. Ja'Ja': An introduction to parallel algorithms, Addison-Wesley, 1992, ISBN 0-201-54856-9T.Leighton: Introduction to parallel algorithms and architectures, Morgan Kaufmann Publ., 1992, ISBN 1-55860-117-1J.Duato et al.: Interconnection networks: An engineering approach, IEEE CS Press, 1997, ISBN 0-8186-78003 | |||||
| Code: XP36RSY | Reconfigurable Systems | ||||
| Lecturer: | Ing. Schmidt Jan Ph.D. | Weekly load: | 2+2 | Assessment: | ZK |
| Department: | 13136 | Credits: | 4 | Semester: | L |
| Systems that have reconfigurability as a part of normal function. Technology of reconfiguration., partially reconfigurable devices. Reconfiguration control and management, collaboration with operating systems, software support. Design and verification of reconfigurable systems, algorithms, EDA tools. Reconfiguration in System on Chip (SoC). Codesign issues in SoC. Seminars, experiments with reconfigurable devices, case study, literature research. | |||||
| Lysaght, Patrick; Rosenstiel, Wolfgang (Eds.) New Algorithms, Architectures ISBN: 1-4020-3127-0 | |||||
| Code: XP36SEP | Seminars on Architectures of Parallel Computers | ||||
| Lecturer: | Prof.Ing. Tvrdik Pavel CSc. | Weekly load: | 2+0 | Assessment: | ZK |
| Department: | 13136 | Credits: | 4 | Semester: | L |
| Overview of architectures of high-performance computers and trends in technologies. Memory coherence and sequential consistency models. Shared-memory architectures: buses and switches, bus-based cache coherence protocols and synchronization mechanisms. Virtual shared memory architectures: distributed cache-coherence protocols. Synchronization mechanisms - barriers. Clusters: fast communication networks and protocols. | |||||
| D.E.Culler, et al. Parallel Computer Architecture: A Hardware/Software Approach. Morgan Kaufmann Publ., 1999, ISBN 1-55860-343-3. | |||||
| Code: XP36STR | Stringology | ||||
| Lecturer: | Prof.Ing. Melichar Borivoj DrSc. | Weekly load: | 2+2 | Assessment: | ZK |
| Department: | 13136 | Credits: | 4 | Semester: | Z,L |
| Processing of strings and sequences. General, ordered alphabet. Generalized and weighted strings. Finite and infinite alphabet. Searching in text, dictionaries and languages. Exact and approximate matching. Forward and backward matching. Searching in compressed text. Searching in more-dimensional text. Searching for longest common factors and subsequences. Searching for regularities in text. Construction of covering of text. Representation of text, prefix, suffix and factor automata, suffix trees and arrays. | |||||
| M. Crochemore, W. Rytter: Jewels of Stringology. World Scientific Publishing, 2002. | |||||
| Code: XP37AEM | Acoustic and Electroacoustic Measurements | ||||
| Lecturer: | Prof.Ing. Skvor Zdenek DrSc. | Weekly load: | 2+1 | Assessment: | Z,ZK |
| Department: | 13137 | Credits: | 3 | Semester: | L |
| Measurement of acoustic pressure, measuring microphones. Measurement of acoustic impedance. Foundamental audiometric measurements, artificial ear. Measurement of acoustic power. Methods of calibration of measuring microphones. Method of reciprocity. Method of reciprocity in the field of the spherical wave, in the diffusion sound field. Calibration methods for accelerometers and sensors of velocity and displacement. Measurement of mechanical impedance, impedance head, artificial mastoid. Electrostatic transducer and its application for electroacoustic measurements. Measurement of thin membranes and air-gaps. Acoustic intensity measurement. Measurements of acoustic transmitters. | |||||
| Pierce, A.D.: Acoustics, Acoustical Society of America, 1989 | |||||
| Code: XP37APF | Acoustics and Electroacoustics of Solid State | ||||
| Lecturer: | Prof.Ing. Skvor Zdenek DrSc. | Weekly load: | 3+1 | Assessment: | Z,ZK |
| Department: | 13137 | Credits: | 4 | Semester: | Z |
| Waves in elastic isoptropic unbounded continuum. Wave equation. Scalar and vector potential. Plane harmonic uniform and non-uniform wave. Energy and power in plane harmonic wave. Plane wave in half-space, reflection and refraction of a plane wave at an interface between too solids. P-wave, SV and SH waves. Rayleigh waves. Waves in wave -guides in solids. Wave propagation in cylindrical wave-guide. Solid-state waveguides of non-uniform cross-section. Piezoelectricity. Equivalent circuits of piezoelectric transducers for generation of volume and surface waves. | |||||
| Pierce, A.D.: Acoustics, Acoustical Society of America, 1989 | |||||
| Code: XP37ARA | Architectural Acoustics | ||||
| Lecturer: | Dr.Ing. Husnik Libor | Weekly load: | 2+2 | Assessment: | ZK |
| Department: | 13137 | Credits: | 2 | Semester: | L |
| Wave theory, geometrical and statistical acoustics. Acoustical lining and sound absorption. Objective room acoustic parametres. Subjective criteria for auditory quality of halls. Room acoustics measurement technique. Physical modelling and numerical simulation of sound propagation. Electroacoustic sound reinforcement. Acoustical properties of buildings: absorption of sound, sound insulation. Simple and complex constructions. Criteria for sound insulation properties of building constructions. Measurement in acoustics of constructions. Calculations in room acoustics. | |||||
| Beranek, L.: Concert Halls and Opera Houses: Music, Acoustics, and Architecture. Springer 2003. 2nd Edition | |||||
| Code: XP37DRS | Satellite communication and navigation systems | ||||
| Lecturer: | Prof.Ing. Vejrazka Frantisek CSc. | Weekly load: | 2+2 | Assessment: | Z,ZK |
| Department: | 13137 | Credits: | 4 | Semester: | Z |
| Satellite communication - overview. Systems for fixed and mobile service. Satellite networks: Intelsat, Eutelsat, Inmarsat, Intersputnik, Astra. Orbits (LEO, MEO, GEO, HEO) and parameters of satellite communication channel. Energetic budget of satellite link. Satellite link design. Frequency bands. Modulations and multiplexes: TDMA, FDMA and CDMA. Spread spectrum communication. Systems VSAT, DAMA, DVB-S, S-UMTS. Multimedia satellite services. Satellite navigation systems: GPS, GLONASS and GALILEO. Satellite communication and navigation systems integration - CNS systems. | |||||
| Code: XP37FHA1 | Physiological, Pychologycal and Musical Acoustics 1 | ||||
| Lecturer: | Syrovy Vaclav | Weekly load: | 2+0 | Assessment: | ZK |
| Department: | 13137 | Credits: | 2 | Semester: | Z |
| Properties of musical signal in temporal and frequency domains, methods of sound synthesis, timbre and interpretation of sound spectra, objective assessment of timbre, theory of sound quality, introduction to acoustics of speech and singing, physical.-acoustic principles of musical instruments, tuning, dynamics, timbre of the tone, radiation properties of musical instruments, introduction to methodology of measurement of musical instruments. | |||||
| Code: XP37FOS | Photonic Imaging Systems | ||||
| Lecturer: | Mgr. Pata Petr Ph.D. | Weekly load: | 4+0 | Assessment: | ZK |
| Department: | 13137 | Credits: | 4 | Semester: | Z |
| Image and its representation. Energetic image description. Principles of image acquisition, transferring and storing. Image entropy function, 2 dimensional autocorrelation curve and probability image description. Novel compression techniques. Image reproduction, matrix description. Light diffraction. 2D transfer functions - PSF, MTF, PSF, MTF of real imaging and detection systems. 2D transfer systems and their signal distortion, image aberration and their correction, toleration analysis of optical system. Receivers and transmitters for special application. Photonic processors, computers and memories. | |||||
| [1] Lambda Researech, Inc., TracePro , dokumentace [2]B. Jahne, Image Processing for Scientific Applications, CRC, New York, 1997. [3]J. W. Goodman, Introduction to Fourier Optics, 3rd edition, Roberts&Company Pub., 2005. | |||||
| Code: XP37GAB | Genesis and Analysis of Biosignals | ||||
| Lecturer: | Doc.Ing. Roubik Karel Ph.D. | Weekly load: | 3+1 | Assessment: | ZK |
| Department: | 13137 | Credits: | 4 | Semester: | L |
| The subject deals with genesis and description of the most important biological signals of both electric and non-electric nature. Properties of the biosignal, essential for the consequential signal processing, are studied. Finally, simple and advanced methods of biosignals pre-processing, analysis and evaluation are presented for each the biosignal. | |||||
| [1] Akay, M.: Nonlinear Biomedical Signal Processing, Fuzzy Logic, Neural Networks, and New Algorithms (IEEE Press Series on Biomedical Engineering). Wiley-IEEE Press, 2000 [2] Akay, M. Detection and Estimation Methods for Biomedical Signals. New York: Academic Press, 1996 [3] Akram Aldroubi and Michael Unser, Eds., Wavelets in Medicine and Biology, CRC Press, Boca Raton, FL, 1996. | |||||
| Code: XP37LN | Aircraft Navigation | ||||
| Lecturer: | Weekly load: | 2+2 | Assessment: | ZK | |
| Department: | 13137 | Credits: | 4 | Semester: | Z,L |
| [1] Kyaton, M., Fried, W. R.: Avionics Navigation Systems. Wiley, New York 1996 [2] Kaplan, E. D.: Understanding GPS - Principles and Applications. Artech House Publishers, London 1996 | |||||
| Code: XP37MPS | Multimedia Signals Transmission | ||||
| Lecturer: | Doc.Ing. Zalud Vaclav CSc. | Weekly load: | 2+2 | Assessment: | ZK |
| Department: | 13137 | Credits: | 4 | Semester: | Z |
| Generalized communication system scheme. Extended knowledges in radio transmitters and radio receivers. Radio transmitters and receivers system design. Satellite communication systems. Public cellular radiotelephone systems. Terrestrial and satellite digital broadcasting. Analog and digital radiorelay systems. Metallic communication systems. Noncoherent and coherent optoelectronic communication systems. Modulation and multiplexing in optoelectronic systems. Cable television networks, interactive television systems. Mobile radiocomunications development trends. Electromagnetic compatibility. | |||||
| [1] Sun, Y.: Wireless Communications - Circuits and Systems. London, IEE Press 2004. [2] Tatipamula M.: Multimedia Communications Networks: Technologies and Services. Artech House, London 1998. [3] Calhoun, G. M.: Third Generation Wireless Systems: Post Shannon Signal Architecture. Artech House, Boston 2003. | |||||
| Code: XP37MVP | Scientific Work Methodology | ||||
| Lecturer: | Prof.Ing. Klima Milos CSc. | Weekly load: | 4+0 | Assessment: | ZK |
| Department: | 13137 | Credits: | 4 | Semester: | Z |
| Targeting and motivation of scientific work, exploitation of literature and other information resources, accessible databases, fundamentals of project preparation, examples of scientific projects, formal requirements ( PhD Thesis, article, conference), patents and patent search, Internet exploitation, discussion groups, WWW presentations, project presentation. | |||||
| 1R.S.Feldman, Understanding Psychology, McGraw Hill, New York, 1996 | |||||
| Code: XP37NRO | CAD for RF and Microwave Circuits | ||||
| Lecturer: | Doc.Ing. Dobes Josef CSc. | Weekly load: | 3+1 | Assessment: | Z,ZK |
| Department: | 13137 | Credits: | 4 | Semester: | Z |
| Current models of semiconductor devices and transmission lines implemented in the PSpice class and similar programs. Hierarchy of the models of other elements of RF and microwave circuits. Enhancing the model accuracy with artificial neural networks (ANN). Advanced algorithms for analysis and optimization of RF and microwave circuits. Model parameter extraction. | |||||
| [1] T. A. Fjeldly, T. Ytterdal, and M. Shur, Introduction to Device Modeling and Circuit Simulation. John Wiley & Sons, Inc., 1998. [2] M. Golio, RF and Microwave Semiconductor Device Handbook. CRC Press, 2003. [3] W. Liu, MOSFET Models for SPICE Simulation including BSIM3v3 and BSIM4. John Wiley & Sons, Inc., 2001. | |||||
| Code: XP37PKP | Biomedical Engineering in Clinical Practice | ||||
| Lecturer: | Doc.Ing. Roubik Karel Ph.D. | Weekly load: | 2+0 | Assessment: | ZK |
| Department: | 13137 | Credits: | 2 | Semester: | L |
| Solving methods of practical problems that a biomedical engineer has to overcome in the clinical practice. Position of BME in research and in the clinical practice. Guidelines for animal and clinical experiments - design, conducting and evaluation, statistical analysis used in medicine. Thermodynamics of gas mixtures. Humidification of ventilation gases. Evaporisers of anaesthetical substances. Systems with compressible fluids. Measurement of physical parameters in rigid and compliant systems. Basic parts of pneumatic systems in medicine (jet generators, generators of airflow and pressure, gas blenders, etc.). Modelling and analysis of biological systems using electrical analogy, practical applications. Analysis of body fluids. Electrochemical, optical, biochemical sensors. Haematology analysers. Interference, corrections of measured values, standardisation in medicine. Electrostimulation. of internal organs and skeletal muscles. Electrodes and circuits for biopotential measurement and electrical stimulation. Indirect measuring methods of biological and physical values. | |||||
| Webster, J. G.: Medical Instrumentation. Application and Design. 2. ed. Houghton Mifflin Company, Boston, 1992. | |||||
| Code: XP37SRP | Radio Receivers Special Technology | ||||
| Lecturer: | Doc.Ing. Zalud Vaclav CSc. | Weekly load: | 2+2 | Assessment: | ZK |
| Department: | 13137 | Credits: | 4 | Semester: | Z |
| Introduction to advanced radio receivers technology. Basic structure classical and modern software defined radio receivers. Technical parameters radio receivers. Specific features radiobroadcasting and television receivers. Professional radiocommunication receivers and transceivers. Diversity techniques. Spread spectrum radio receivers. Low noise narrowband and broadband amplifiers. Oscillators and frequency synthesizers. Mixers and demodulators. Radio receivers system design. | |||||
| [1] Sun, Y.: Wireless Communications - Circuits and Systems. London, IEE Press 2004. [2] Tuttlebee, W.: Software Defined Radio - Enabling Technologies. J. Wiley&Sons, New York 2002. [3] Calhoun, G. M.: Third Generation Wireless Systems: Post Shannon Signal Architecture. Artech House, Boston 2003. | |||||
| Code: XP37SZS | Statistical Signal Processing | ||||
| Lecturer: | Prof.Ing. Sykora Jan CSc. | Weekly load: | 4+0 | Assessment: | Z,ZK |
| Department: | 13137 | Credits: | 4 | Semester: | L |
| Parameter estimation and detection theory. General properties and fundamental limits. ML, LS, Bayes (MAP,MSE), NP, MM estimators and detectors. Adaptive filter theory (Kalman, RLS). Iterative detection and parameter estimation. | |||||
| [1] S. M. Kay: Fundamentals of statistical signal processing, vol I+II, 1993, 1998, Prentice-Hall [2] A. H. Sayed: Fundamentals of Adaptive filtering, Wiley-interscience, 2003 | |||||
| Code: XP37TAS | Acoustic signal processing and theory | ||||
| Lecturer: | Doc.Ing. Kadlec Frantisek CSc. | Weekly load: | 2+2 | Assessment: | Z,ZK |
| Department: | 13137 | Credits: | 4 | Semester: | Z |
| Acoustic signal classification, sources, description of properties. Statistical analysis of acoustic signals. Spectral analysis of signals, Fourier transform application. Time-frequency analysis, Short-time Fourier Transform, Wavelet transform, Wigner-Ville distribution. Cepstral analysis and its application in acoustics. Discrete signal processing and its effect to sound perception. Oversampling, noise shaping . Granulation noise, dithering, signal requantization. Acoustic signal acquisition and data pre-processing. Impulse measurements of electro-acoustic systems. System analysis using swept and time delayed acoustic signals. Pseudorandom signals and their application in acoustic system analysis. Digital processing of musical signals. | |||||
| [1] Hartmann, W.: Signals, Sound, and Sensation. American Institute of Physics, Woodbury, 1997. ISBN 1-56396-283-7. [2] Kahrs, M. - Brandenburg, K.: Applications of Digital Signal Processing to Audio and Acoustics. Kluwer Academic Publishers, Boston, 1998. ISBN 0-7923-8130-0. [3] Godsill, S. - Rayner, P.: Digital Audio Restoration. Springer - Verlag Berlin, 1998. ISBN 3-540-76222-1. | |||||
| Code: XP37TEA | Theoretical Eletroacoustics | ||||
| Lecturer: | Prof.Ing. Skvor Zdenek DrSc. | Weekly load: | 3+1 | Assessment: | Z,ZK |
| Department: | 13137 | Credits: | 4 | Semester: | Z |
| Vibrating systems in fluids and solids. Systems of lumped and distributed parameters in solids. Equivalent circuits of membranes and plates. Reciprocal transducers with magnetic and electric field. Non-reciprocal transducers ( opto and thermoacoustical transducers, piezoresistive transducer). Electromechanical and electroacoustical transducers with lumped and distributed elements. Radiation, radiation impedance. Acoustic transmitters, directivity. Acoustic receivers. Acoustical systems with lumped and distributed elements. Acoustic waveguides, air-gaps. Coupled systems. | |||||
| [1] Pierce, A.D.: Acoustics, Acoustical Society of America, 1989 [2] Morse, P.M.: Theoretical Acoustics, Princeton University Press | |||||
| Code: XP37TMP | Medical Instrumentation | ||||
| Lecturer: | Doc.Ing. Roubik Karel Ph.D. | Weekly load: | 2+2 | Assessment: | ZK |
| Department: | 13137 | Credits: | 4 | Semester: | L |
| The subject deals with principles and properties of medical systems for analysis of body fluids, blood gas analysis, medical minors of basic life functions (ECG, pulse oxymetry EEG, etc.), thermodynamic principles of anaesthetic equipment and equipment for artificial lung ventilation, haematological analysers and other medical apparatuses. | |||||
| [1] Webster, J. G.: Medical Instrumentation. Application and Design. 2. ed. Houghton Mifflin Company, Boston, 1992. [2] Bushberg, J. T., Seibert, A. A., Leidholdt, E. M. jr., Boone, J. M.: The essential physics of medical imaging. Lippincott Williams & Wilkins, Philadelphia, 2002. [3] Cho, Z.H., Jones, J.P., Singh, M.: Foundations of Medical Imaging. John Wiley&Sons, Inc., New York 1993. | |||||
| Code: XP37VKF | Selected Parts from Photonics | ||||
| Lecturer: | Prof.Ing. Klima Milos CSc. | Weekly load: | 4+0 | Assessment: | ZK |
| Department: | 13137 | Credits: | 4 | Semester: | L |
| Anatomy and physiology of vision. Integral photonic sensors. Panoramatic (image) photonic sensors. Integral photonic displays. Panoramatic photonic displays. Electron optics. Image converters. Special photonic elements. Basic elements of optical systems. Fundamentals of illumination. Fiber-optics elements and systems. Optical methods of information processing. Optical (photonic) processors. | |||||
| 1. Mool C. Gupta, Handbook of Photonics, CRC Press, London, 2000. | |||||
| Code: XP37VRA | Research Seminars in Radioelectronics and Acoustics | ||||
| Lecturer: | Prof.Ing. Sykora Jan CSc. | Weekly load: | 1+1 | Assessment: | Z,ZK |
| Department: | 13137 | Credits: | 2 | Semester: | Z,L |
| The course is intended for PhD students of the radioelectronics and acoustics specialization. It develops the presentation skills and serves as a platform for discussion and defence of students' research results. | |||||
| [1] IEEE Transactions on Communications, IEEE press | |||||
| Code: XP37ZI | Information recording | ||||
| Lecturer: | Doc.Ing. Kadlec Frantisek CSc. | Weekly load: | 2+2 | Assessment: | Z,ZK |
| Department: | 13137 | Credits: | 4 | Semester: | L |
| Magnetic recording theory. FM signal recording. Video information recording systems. High density recording, tape recorder thin heads. Impulse recording and reproduction. Digital recording on CD-audio, DAT. Digital recording on CD-ROM, CD-video. WORM, CD-R recording. Erasable magneto-optical recording on MD. Digital video recording. Coding, data compression. | |||||
| [1] Comstock, R. L.: Introduction to Magnetism and Magnetic Recording. John Wiley & Sons, 2000. [2] Watkinson, J.: An Introduction to Digital Audio. Focal Press, Oxford, 2002, Second Edition. ISBN 0-240-51643-5. [3] Bosi, M.- Goldberg,R.: Introduction to Digital Audio Coding and Standards. Kluwer Academic Publishers, Norwell, Massachusetts, 2003. ISBN 1-4020-7357-7. | |||||
| Code: XP37ZSN1 | Signal processing in satellite navigation systems 1 | ||||
| Lecturer: | Prof.Ing. Vejrazka Frantisek CSc. | Weekly load: | 1+3 | Assessment: | Z,ZK |
| Department: | 13137 | Credits: | 4 | Semester: | Z |
| Distance measurement with pseudorandom signals and with carrier. Position determination based on measured distances. Time delay discriminator. Schema of range navigation receiver. GDOP, PDOP, HDOP, VDOP. GPS system, precision. Glonass and its precision. GALLILEO. Comparison of these systems. | |||||
| Misra, P.; Enge, Per.: Global positioining system. Lincoln, Ganga-Jamuna Press, 2001. Parkinson, B.W.; Spilker, J.J.: Global Positioning System: Theory and Applications, Vol.I., AIAA, Washington, 1996. Parkinson, B.W.; Spilker, J.J.: Global Positioning System: Theory and Applications, Vol.II., AIAA, Washington, 1996. | |||||
| Code: XP37ZSN2 | Signal processing in satellite navigation systems 2 | ||||
| Lecturer: | Prof.Ing. Vejrazka Frantisek CSc. | Weekly load: | 1+3 | Assessment: | Z,ZK |
| Department: | 13137 | Credits: | 4 | Semester: | L |
| Doppler satellite navigation systems, structure of receiver and precision of position measurement. Shortcomings of satellite systems: limited access and integrity, RAIM and GIC, augmentation. Differential systems DGPS and DGLONASS, RTCM-104 standard. Systems SKY-FIX, FUGRO, RACAL, WAAS, EGNOS. GALILEO and its prospective. GPS III. | |||||
| Misra, P.; Enge, Per.: Global positioining system. Lincoln, Ganga-Jamuna Press, 2001. Parkinson, B.W.; Spilker, J.J.: Global Positioning System: Theory and Applications, Vol.I., AIAA, Washington, 1996. Parkinson, B.W.; Spilker, J.J.: Global Positioning System: Theory and Applications, Vol.II., AIAA, Washington, 1996. | |||||
| Code: XP38EMC | Electromagnetic Compatibility of Data Acquisition Systems | ||||
| Lecturer: | Doc.Ing. Kocourek Petr CSc. | Weekly load: | 2+2 | Assessment: | ZK |
| Department: | 13138 | Credits: | 4 | Semester: | L |
| EMC - basic terms. Measurement of electromagnetic emission and immission. EMC standards. Modelling of disturbing signals. Electromagnetic disturbance in laboratory and industry. Design of DAQ systems with regard to EMC. EMC of data transmitting lines. | |||||
| Codali W.P.: Engineering Electromagnetic Compatibility 2001, Wiley-IEEE Press, ISBN 0-7803-4743-9 | |||||
| Code: XP38MDR | Methods of Signals Digitalization and Reconstruction | ||||
| Lecturer: | Doc.Ing. Vedral Josef CSc. | Weekly load: | 2+2 | Assessment: | ZK |
| Department: | 13138 | Credits: | 4 | Semester: | L |
| Signal classification. Sampling, quantization, coding. Parameters of digitizers. High speed and high resolution signal digitalisation. Signal reconstruction. Noise signal reduction. Testing of digitizers in time, frequency and amplitude domains. | |||||
| Ambardar, A.: Analog and Digital Signal Processing. 2nd Ed. Thomson-Engineering 1999, ISBN: 053495409X. | |||||
| Code: XP38MMN | Measurement of Nonelectric Quantities | ||||
| Lecturer: | Prof.Ing. Ripka Pavel CSc. | Weekly load: | 2+2 | Assessment: | ZK |
| Department: | 13138 | Credits: | 4 | Semester: | L |
| Physical principles of sensors. Measurement of temperature, pressure, flow, movement, position and other physical quantities. Chemical sensors and analyzers, biosensors, metal detectors, detection of explosives. New types of signal conditioning circuits. Sensor Applications in industry, transport and consumer electronics. Security and military applications. Sensor design and technology. Signal processing in sensor systems, intelligent sensors. | |||||
| [1] Ripka, P., Tipek, A. eds.): Modular Courses on Modern Sensors. BEN, Prague, ISBN 80-7300-129-2, 2003. [1] Fraden, J.: Handbook of Modern Sensors. Springer, 3rd edition, ISBN 0-387-00750-4, 2004 | |||||
| Code: XP38MPM | Methods for Precision Measurement of Electrical Quantities and Measurement Data Processing | ||||
| Lecturer: | Prof.Ing. Bohacek Jaroslav DrSc. | Weekly load: | 3+1 | Assessment: | ZK |
| Department: | 13138 | Credits: | 4 | Semester: | Z |
| Quantum standards of electrical quantities. Collective standards. Inductive ratio devices for precision electrical measurements and possibilities of improving their metrological parameters. Modern methods for precision measurement of active and passive electrical quantities. Evaluation of measurement errors and uncertainties. Metrological reliability. Statistical analysis of measurement data. | |||||
| [1] Expression of the Uncertainty of Measurement in Calibration. Publication EA-4/02, European Co-Operation for Accreditation, 1999. [2] The Expression of Uncertainty and Confidence in Measurement. Publication M 3003, United Kingdom Accreditation Service, 1997. | |||||
| Code: XP38MPX | Magnetism in Engineering Practice | ||||
| Lecturer: | Doc.Ing. Kaspar Petr CSc. | Weekly load: | 2+2 | Assessment: | ZK |
| Department: | 13138 | Credits: | 4 | Semester: | Z |
| Ferromagnetic materials and their application. Measurement of ferromagnetic parameters. Modern permanent magnets. Magnetic storage media. Magnetic circuits for pulse sources. Superconductivity, defectoscopy, diagnostics in magnetism. Magnetic actuators, CAD of magnetic devices, magnetic sensors. | |||||
| [1] Jiles, D.: Introduction to Magnetism and Magnetic Materials (2nd edition). Chapman & Hall 1999, ISBN 0-412-79860-3 [2] Ripka, P. (ed.): Magnetic Sensors and Magnetometers. Artech, Boston, ISBN 1-58053-057-5, 2001 | |||||
| Code: XP38PSL | Aircraft Instrumentation | ||||
| Lecturer: | Doc.Ing. Draxler Karel CSc. | Weekly load: | 2+2 | Assessment: | ZK |
| Department: | 13138 | Credits: | 4 | Semester: | Z,L |
| Present trends in airborne instrumentation of civil, military, sports aircrafts and helicopters. Visualization of flight, navigational, and engine parameters on electro-mechanical gauges, CRT, LCD, and head-up displays. Aircraft power sources and their nets. Philosophy of engine parameters measuring systems. Principles of aerometrical quantities measurements with special pressure sensors and aerometrical systems. Measurements and evaluation of Euler angles, angular speed and applied acceleration. Inertial navigation systems. Navigation based on Earth magnetic field. Ground proximity warning system. Flight data recorders, diagnostic systems, and central monitoring systems. | |||||
| [3] Titterton, D. H., Weston, J. L.: Strapdown Inertial Navigation Technology. Peter Peregrinus Ltd., London 1997 | |||||
| Code: XP38SSB | Sensors and Buses | ||||
| Lecturer: | Prof.Ing. Ripka Pavel CSc. | Weekly load: | 2+2 | Assessment: | ZK |
| Department: | 13138 | Credits: | 4 | Semester: | L |
| Applications, types and parameters of sensors. Smart sensors. Datalogger nad measuring system. Physical principles of sensors. Power supply and communication. Signal conditioning circuits. Correction of errors, calibration and diagnostics of sensors. Centralized and distributed sensor systems. EMC. Software for measurement. Basics of sensor buses. sbernic (ARINC, HART, CAN, Fieldbus, ASI, LonWorks, Interbus S). Sensors of geometrical variables (contact, optical, magnetic, capacitance and ultrasound). Sensors and transducers for the measurement of vibrations and speed. Incklinometers. Sensors for navigation: accelerometers, angular rate sensors, gyros, magnetic field sensors. Sensors for strain, force and torque. Pressure sensors, flow and level sensors. Contact thermometers. Contactless measurement of temperature (pyrometers, thermography). Sensor applications in aerospace and military. Secure systems for critical missions. Sensors in production and diagnostic systems. | |||||
| P. Ripka, A. Tipek (eds.): Modular Courses on Modern Sensors, BEN, Prague, ISBN 80-7300-129-2, 2003. J. Fraden: Handbook of Modern Sensors, Springer, 3rd edition, ISBN 0-387-00750-4, 2004 | |||||
| Code: XP38SYS | Measurement and Data Acquisition Systems | ||||
| Lecturer: | Prof.Ing. Haasz Vladimir CSc. | Weekly load: | 2+2 | Assessment: | ZK |
| Department: | 13138 | Credits: | 4 | Semester: | Z,L |
| Standardized interfaces and buses for data acquisition systems: IEEE 488, VMEbus, VXIbus, system based on PC plug-in boards, fieldbuses; parameters and areas of application. Programming of IEEE 488 systems and PC plug-in boards based systems. Development of software for dynamic measurements and their processing in real-time operating systems. Graphic development systems (LabVIEW, HP VEE) - advantages and disadvantages. | |||||
| [1] NI-VISA User Manual. National Instruments Corporation, September 2001.[2] NI-VISA Programmer Reference Manual. National Instruments Corporation, March 2003.[3] Mitchell, M. - Oldham, J. - Samuel, A.: Advanced Linux Programming. New Riders Publishing, June 2001.[4] Grehan, R. - Moote, R. - Cyliax, I.: Real-Time Programming. Addison Wesley, 1998. | |||||
| Code: XP38VDI | Selected Chapters of Diagnostics | ||||
| Lecturer: | Doc.Ing. Smid Radislav Ph.D. | Weekly load: | 2+2 | Assessment: | ZK |
| Department: | 13138 | Credits: | 4 | Semester: | L |
| The course will give an extensive treatment of special non-destructive testing methods and diagnostic procedures. Topics covered include advanced signal processing methods, signal recognition and classification. | |||||
| Madisetti, V. K. - Williams, D. B.:The Digital Signal Processing Handbook, CRC Press LLC, 1999 | |||||
| Code: XP38VKP | Selected Parts of Instrumentation | ||||
| Lecturer: | Prof.Ing. Haasz Vladimir CSc. | Weekly load: | 2+2 | Assessment: | ZK |
| Department: | 13138 | Credits: | 4 | Semester: | L |
| The course is dedicated to principle, properties and applications of selected special measuring instruments. It deals mainly with calibrators and other sources of calibration signals, devices for measurement of extremely low voltage and current signals, lock-in amplifiers, power analyzers and electronic loads, devices used for EMC measurements, real-time spectrum analyzers, metallic and optical reflectometers and radio testers (Bluetooth, NMT, GSM, UMTS). A special part is devoted to sampling measurement methods and virtual instrumentation. | |||||
| [1] Clyde, F., Coombs, J.: Electronic Instrument Handbook. McGraw-Hill, 1994 [2] Witte, R.A.: Electronic Test Instruments, Theory and Applications. Prentice Hall, New Jersey, 1993 [3] Yeager, J., Hrush-Tupta M. A.: Low Level Measurements. Keithley 1998 [4] Regtien, P. P. L., Measurement Science for Engineers. Kogan Page Science, 2004 | |||||
| Code: XP38VKZ | Selected Chapters of Signal Processing | ||||
| Lecturer: | Doc.Ing. Sedlacek Milos CSc. | Weekly load: | 3+1 | Assessment: | ZK |
| Department: | 13138 | Credits: | 4 | Semester: | L |
| FFT signal analysis (periodic signals, stochastic signals, suppressing leakage). Digital filters. Simulations of disturbing effects on DSP in measurement of electrical quantities. Measurement of RMS values and active power of sampled signals. Measurement of parameters of stochastic signals (amplitude distribution, time domain, frequency domain). | |||||
| [1] D'Antona, G., Ferrero, A.: Digital Signal Processing for Measurement Systems Theory and Applications. Springer, 2005 [2] Regtien, P. P. L.: Measurement Science for Engineers. Kogan Page Science, 2004 | |||||