A Web version of the
Ceska republika
Czech Republic
Vysoke uceni technicke v Brne
Brno University of Technology
http://www.vutbr.cz
Faculty of Electrical Engineering and Computer Science
Ustav informatiky a vypocetni techniky
Abstracts of CS&E Courses
Professed in English
by the DCS&E Staff
Collected by
Milos Eysselt
Brno_UT-FEE&CS-DCS&E
Edited: 1999, January
Updates
Ac.y. 1999/2000: 1999-07-02, 1999-08-11, 2000-01-16
Ac.y. 2000/2001: 2000-07-01, 2000-08-26, 2000-11-21,
2000-12-15, 2001-01-07, 2001-03-05, 2001-06-22
Ac.y. 2001/2002:
2001-08-10
For internal use
*************************************************************************
head of the DCS&E: Tomas Hruska, Prof., Ing., CSc., hruska@dcse.fee.vutbr.cz
deputy heads of the DCS&E: Jaroslav Zendulka, Doc., Ing., CSc., zendulka@dcse.fee.vutbr.cz
Milos Eysselt,
Ing., CSc., ING-PAED IGIP
adviser/tutor
for Czech students
adviser/tutor for international students
eysselt@dcse.fee.vutbr.cz
*************************************************************************
In this booklet, a reader will find a basic information
on courses which are professed by the DCS&E staff.
Note, that an offer of courses in any actual semester is
limited
which depends on the actual availability of the DCS&E staff.
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
Comment 1: There is an on-going
innovation of CS&E
courses,
and the actual contents
of lectures, practices,
and PC laboratories may
change at any time.
Comment 2: Degree equivalents of instructors
Prof. ..... (Full)
Professor
Doc. ..... Associate
Professor
CSc., Dr., DrSc., Ph.D.
..... PhD
Ing., Mgr., PhDr., RNDr. ..... MA,
MEng, MSc
ING-PAED IGIP ..... Pedagogic
Qualification guaranteed
by the Internationale Gesellschaft
fuer Ingenieurpaedagogik
(International
Society for Engineering Education),
University
of Klagenfurt, Austria
Comment 3: The abbreviations of courses are derived from Czech terms.
Comment 4: Maybe, several letters from Czech alphabet can be illegible.
Comment 5: A credit system is a basic regulative tool of study.
Comment 6: More details of all CS&E courses are here.
*************************************************
Compulsory (obligatory) Courses at the First Study Level (see a study diagram)
(professed by the DCS&E staff: in alphabetic order)
ADS - Algorithms and Data Structures (6
ECTS credits)
Construction of proved programmes (Wirth, Dijkstra). Dynamic
allocation of memory. Abstract data types (ADT), definition,
specification and their implementation. Searching: review of
algorithms, their analysis and evaluation. Sorting and ordering,
random access sorting, sequential sorting: review of algorithms,
their analysis and evaluation. Algorithms for text processing,
string searching. Foundations on recursion. Implementation of
advanced ADT.
Guarantee/Instructor: Jan M. Honzik, Prof., Ing., CSc., ING-PAED
IGIP (DCSE)
APR - Algorithms and Programming (5
ECTS credits)
A basic course on programming in Pascal. Definition and
description of Pascal syntax and semantics. Turbo Pascal: modular
programming, basic graphics programming. Algorithms and data
structures: introduction. Control and data structures of
programming languages. Problem analysis and specification.
Algorithm development. Program coding. Program execution and
testing. Algorithms classification, illustrative examples. Basic
algorithms types for ordering, searching, numeric calculations,
etc. Program documentation.
Guarantee/Instructor: Jitka Kreslikova, RNDr., CSc. (DCSE)
LOS - Logic Systems (5 ECTS
credits)
Boolean algebra, logic variables, logic functions. Logic gates,
logic circuits, models of a logic function. Logic expressions:
sum-of-products, product-of-sums. Quine-McCluskey tabular
reduction technique, covering method by Petrick. Logic maps
minimization technique. TANT networks (only NAND gates); TONT
networks (only NOR gates). Adders: half, full, serial, parallel,
decadic. Subtractor. MSI and LSI modules: MX, DC/DMX, ROM, PLA,
PAL, GA. Finite state machines (Mealy version, Moore version).
Flip-flops and latches: D, T, R-S, R, S, J-K. Synchronous
sequential circuits based on flip-flops. Registers, counters,
shift registers. Microprogramming: an analysis of a controlled
algorithm. Simple microprogrammed control units.
Guarantee/Instructor: Milos Eysselt, Ing., CSc., ING-PAED IGIP (DCSE)
OS1 - Operating Systems 1 (5 ECTS
credits)
Lectures discuss underlying principles of operating systems. The
course is focused on user-level understanding of these principles
together with developing practical skills in laboratories.
However, the course is designed for students of Computer Science
and Engineering Branch with respect to the following courses;
therefore also some theoretical background of operating systems
is presented. Following topics are discussed in the course: a
notion of operating system, architecture of operating system,
mono/multi user operating systems, mono/multitasking operating
systems, kernel of operating system and calling of system
services; user interface and user-level services, shell, textual
and graphical user interface; principles of the system kernel
implementation, context switching; file system, networking;
administration, security.
Guarantee/Instructor: Petr Peringer, Dr., Ing. (DCSE)
PP1 - Programming and Usage of Computers
1 (4 ECTS credits)
Basic areas of application software. Introduction into operating
systems (MS-DOS, UNIX, MS-Windows). Networks. Database systems.
Text processing editors and small desktop publishing.
Spreadsheets. Superstructures of command processors. Basic
computer hardware, I/O devices, IBM-PC architectures. Practical
training on computers.
Guarantee/Instructor: Jiri Kunovsky, Doc., Ing., CSc. (DCSE)
PPS - Software Engineering (5
ECTS credits)
Fundamental concepts, subject of software engineering. Basic
steps in software development. Life cycle models. Tools and
methods of structured analysis. Fundamentals of structured design.
Fundamental concepts of object-oriented approach. Tools and
methods of object-oriented analysis and design. Software quality
ensurance. Fundamentals of software maintenance. Fundamentals of
project management. Small project using a CASE system.
Guarantee/Instructor: Jaroslav Zendulka, Doc., Ing., CSc. (DCSE)
Recommended Course for the Second Term of the First Study Level
PRO - Programming Practice (2
ECTS credits)
(Supporting course for the APR - Algorithms and Programming)
Basic programming skills. Data and control structures of
programme languages. Implementation of elementary algorithms.
Stand-alone creation of basic programmes. Main use of development
and implementation tools.
Guarantee/Instructor: Jitka Kreslikova, RNDr., CSc. (DCSE)
Recommended Course for the Fourth Term of the First Study Level
CPP - C and C++ Languages (6 ECTS
credits)
Programming languages C and C++, their syntax and semantics. ANSI C,
declarations, types, variables, expressions, commands, standard
libraries. C++, differences between C and C++, principles of
object-oriented programming in C++, classes, inheritance,
multiple inheritance, function and operator overloading,
polymorphism, abstract classes, templates, exception handling.
Guarantee/Instructor: Tomas Vojnar, Ing., Ph.D. (DCSE)
*************************************************
Compulsory (obligatory) Courses at the Second Study Level
(in alphabetic order)
ARP - Advanced Computer Architecture (6
ECTS credits)
Parallel computer models, performance, scalability. Instruction
level parallelism: pipelined, superscalar and VLIW architectures.
Shared memory multiprocessors, cache coherence protocols.
Distributed shared memory multiprocessors. Interconnection
networks, static and dynamic topologies. Distributed memory
multicomputers with message passing. Data-flow and multithreaded
architectures, SIMD computers. Vector processors. Systolic arrays.
Application-specific architectures.
Guarantee/Instructor: Vaclav Dvorak, Prof., Ing., CSc., DrSc.
(DCSE)
CIO - Digital and Impulse Circuits (6
ECTS credits)
Digital signal, linear RLC networks, analysis methodology,
impulse transformer, diode and bipolar transistor in switching
mode, design of digital switches with bipolar transistor, MOSFET
inverter, signal shaping, gating and threshold circuits,
integrated circuit TTL, integrated circuits LSTTL, ALSTTL, ECL,
IIL, unipolar logic circuits, flip-flops, timing, metastable
state, level converters, lines, reflections and crosstalks, pulse
generation and shaping, memory RAM, PROM, EPROM, EEPROM, switched-mode
power supplies.
Guarantee/Instructor: Josef Schwarz, Ing., CSc. (DCSE)
DSI - Data Modelling and Database Design
(6 ECTS credits)
Fundamental concepts of the database technology. Architectures of
database systems. Data modelling (E/R diagrams). Transformation
of a data model into tables. Relational systems, the SQL language:
data definition, data manipulation, system catalogue, views. The
relational model, the relational algebra. Database design:
fundamentals of dependence theory, normal forms. Data at the
internal level. Data integrity and security. Query optimization.
Transaction processing, concurrency, recovery. Distributed
databases. Postrelational database systems. Database application
development in either Oracle or Centura Team Developer
environment.
Guarantee/Instructor: Jaroslav Zendulka, Doc., Ing., CSc. (DCSE)
MSI - Modelling and Simulation (6
ECTS credits)
Modelling techniques and dynamic systems simulation technology,
analytical and simulation models, models of digital systems,
stochastic models, the Monte Carlo method, queuing systems
theory, using Petri nets in simulation, modelling of continuous
and combined systems, modern simulation languages, planing and
optimization of simulation experiments, applications of object-oriented
principles and artificial intelligence principles to system
modelling and simulation, reliability models.
Note, a knowledge of "C and C++ Languages" supports
this course.
Guarantee/Instructor: Zdena Rabova, Doc., Ing., CSc. (DCSE)
PDA - Parallel and Distributed Algorithms
(6 ECTS credits)
Introduction, architectures and languages for parallel and
distributed programming. Abstract models of parallel computing,
PRAM. Complexity of parallel and distributed algorithms. All
prefix sums and their applications. Algorithms for parallel
sorting and searching. Parallel matrix operations. Interaction
between processes, communication, synchronization. Typical
problems of synchronization. Mechanisms and language constructs
for synchronization, synchronization in distributed systems.
Communication using message passing, synchronous and asynchronous
channels, language constructs using message passing. Using
message passing for synchronization. Languages for parallel and
distributed computing.
Note, a knowledge of "C and C++ Languages" supports
this course.
Guarantee/Instructor: Petr Hanacek, Dr., Ing. (DCSE)
PDT - Data Communications and Computer
Networks (6 ECTS credits)
Introduction. Theory of information, basic concepts. Theory of
coding; Algebraic codes. Theory of signals. RM ISO-OSI: concepts,
layers 1 and 2. Communication systems. Internet and TCP/IP.
Framing, error control. Medium access control. WAN protocols. LAN
protocols. High-speed protocols. ISDN, B-ISDN, ATM.
Guarantee/Instructor: Miroslav Sveda, Doc., Ing., CSc. (DCSE)
PRJ - Programming Languages (6
ECTS credits)
Principles of syntax and semantics definition, programming
language notation, evaluation, recursive functions, scope of
names, type checking. Data types, simple and structured, type
equivalence, polymorphism, denotational semantic, axiomatic
semantic, procedure calling and parameter passing, abstraction
mechanism, object-oriented programming, functional programming,
logic programming.
Guarantee/Instructor: Tomas Hruska, Prof., Ing., CSc. (DCSE)
UIN - Artificial Intelligence (6
ECTS credits)
Introduction. Problem solving: state space, searching methods,
production system, problem decomposition, game playing. Knowledge
representation: logical, network, structured and procedural
schemes. Principles of LISP and PROLOG languages. Machine
learning, genetic algorithm. Planning, GPS and STRIPS, blackboard
architecture. Statistical and structural pattern recognition.
Computer vision, image processing, scene analysis. Speech
processing, natural language processing. Expert systems,
reasoning with uncertainty. Robotics and AI.
Guarantee/Instructor: Frantisek Zboril, Doc., Ing., CSc. (DCSE)
VPO - Computer Organization and
Architecture (6 ECTS credits)
Introduction, classification, empirical laws, performance.
Instruction set architectures, addressing, instruction coding.
Coding of data, signed number representation, floating point
numbers, accuracy. Hamming code. Adder, carry look-ahead. Barrel
shifter. Multiplication, Booth recoding, high-radix recoding,
carry-save multipliers. Division, non-restoring algorithm, SRT
division. Floating point operations. Newton iterative division.
CORDIC. Interrupts. Hardwired and microprogram sequencers,
nanoprogramming. Semiconductor memories, DRAM, block structure,
refresh, magnetic memories. Memory hierarchy, cache, directories,
virtual memory, TLB. Bus structures, asynchronous and synchronous
transmission, PCI, IO subsystem. IO processor. RAID.
Guarantee/Instructor: Vladimir Drabek, Doc., Ing., CSc. (DCSE)
VSL - Computability and Complexity (6
ECTS credits)
Mathematical models of computation and computing systems, the
concept of a control structure and its semantic, classification
of mathematical models. Turing machines as language acceptors,
multitape Turing machines, non-deterministic Turing machine,
universal Turing machine. Halting problem, Post correspondence
problem. Computability, primitive recursive functions, partial
recursive functions. Program schemes, basic decidability
problems, Turing-Church theorem. RAM and RASP machines.
Algorithmic complexity, complexity models, hierarchy of
complexity classes.
Guarantee/Instructor: Vladimir Janousek, Ing., Ph.D. (DCSE)
TI1 - Theoretical Computer Science 1 (6
ECTS credits)
Introduction to formal languages, operations on formal languages
and algebraic properties of formal languages, grammars,
derivation relations, the language specified by a grammar,
Chomsky classification and hierarchy of formal languages, finite
automata, regular expressions, reduced form of an finite
automaton, properties of regular languages, context free grammars
and languages, derivation trees, transformations on context free
grammars, pushdown automata, equivalence problem, deterministic
pushdown automata and context free languages, properties of
context free and deterministic context free languages, Petri nets.
Guarantee/Instructor: Milan Ceska, Prof., RNDr., CSc. (DCSE)
ZAP - Principles of Compiler Design (6
ECTS credits)
Introduction to Compiling. Lexical analysis, LEX. Top-down
parsing, LL(1) grammars. Recursive descent parsing. Bottom-up
parsing, LR(1) grammars, YACC. Symbol tables. Syntax-Directed
Translation. Intermediate code generation. Run-time environments.
Local code optimizations. Global code optimizations. Code
generation. Error recovery. Other issues in compiling.
Note, a knowledge of "C and C++ Languages" supports
this course.
Guarantee/Instructor: Alexander Meduna, Doc., RNDr., CSc. (DCSE)
ZPG - Principles of Computer Graphics
(6 ECTS credits)
Applications of CG, basic principles, colour image, colour
models, monochrome image: halftoning, dithering. Basic primitives
in raster graphics: line, circle, ellipse, filling. 2D
transformations, 2D clipping. Types, characters, fonts in CG,
graphic formats, basic principles of interaction graphics. 3D
reprezentation. 3D transformations, projections, 3D clipping,
removing of invisible parts/faces. Local illumination models,
polygon shading. Shadows, textures and texturing, rendering of
polygonal objects. Raytracing. Radiosity. Image as a signal in 2D,
antialiasing. Fractals. Principles of computer animation.
Accelerated 3D rendering in real-time.
Note, a knowledge of "C and C++ Languages" supports
this course.
Guarantee/Instructor: Pavel Zemcik, Doc., Dr., Ing. (DCSE)
Compulsory (obligatory) Projects
(in alphabetic order)
BPI - BSc or BEng Project (6
ECTS credits)
Student implements either software, or hardware, and or complex
project under supervision of her/his consultant. She/he forms
individually complete technical documentation on departmental
technical equipment.This course is concluded by a written report,
and oral presentation and defence of the results.
Guarantee/Instructor: "supervisor" from DCSE
DPI - MSc Thesis (10 ECTS credits)
Student implements either software, or hardware, and or complex
project under supervision of her/his consultant. She/he forms
individually complete technical documentation on departmental
technical equipment.This course is concluded by a written report,
and oral presentation and defence of the results.
Guarantee/Instructor: "supervisor" from DCSE
PI1 - Year Project 1 (0 ECTS
credit: see PI2)
First phase (project design study) of an individual project
solved under supervision in departmental computer or hardware
laboratories. Seminars deal with methodology of research, work
with technical literature and formal view of a technical report.
This course is concluded by a oral presentation of project design
study phase results.
Guarantee/Instructor: "supervisor" from DCSE
PI2 - Year Project 2 (sum of
"PI1+PI2": 4 ECTS credits)
Second phase (realization, implementation) of an individual
project solved under supervision. Seminars deal with technical
text writing and software documentation creation. This course is
concluded by a written report, and oral presentation and defence
of the results. The prerequisite is the Year Project 1.
Guarantee/Instructor: "supervisor" from DCSE
PI3 - Term Project (3 ECTS
credits)
An individual project assignments from different branches of
computer science and data processing are solved under supervision
in departmental computer and hardware laboratories. Seminars deal
with typography of technical manuals, text processing and DTP.
This course is concluded by a written report, and oral
presentation and defence of the results.
Guarantee/Instructor: "supervisor" from DCSE
Optional (elective) Courses at the Second Study Level
(in alphabetic order)
AMC - Applied Microcomputers (6
ECTS credits)
A basic structure of microprocessor system, M68HC11
microcontroller, assembler AS11, I/O devices, stack operation,
interrupt subsystem, memory system design, high level programming
language, debugger/emulators, PCBUG11 debugger, advanced
microcontroller family, microchip cards, PCMCIA interface, fuzzy
logic system, digital signal processing.
Guarantee/Instructor: Josef Schwarz, Ing., CSc. (DCSE)
APP - Advanced Computer Applications (6
ECTS credits)
The course is aimed at practical methods of solving problems
encountered in science and engineering: large systems of
differential equations, algebraic equations, partial differential
equations, stiff systems, problems in automatic control, electric
circuits, mechanical systems, electrostatic and electromagnetic
fields. An original method based on a direct use of Taylor series
is used to solve the problems numerically. The course also
includes analysis of parallel algorithms and design of special
architectures for the numerical solution of differential
equations. A special simulation language TKSL is available
implemented on one-processor systems (PC486, Pentium) and on
multi-processor systems (transputers).
Guarantee/Instructor: Jiri Kunovsky, Doc., Ing., CSc. (DCSE)
APS - Software Architecture and
Components (6 ECTS credits)
Analysis, design and implementation of Object oriented systems. A
modular and object oriented programming in Pascal and Modula 2.
Module structure, transparent and hidden ADT implementation,
static and dynamic ADT implementation. Typical data structures
implementation. Object oriented analysis and design (Booch).
Architecture of programming systems. Components, paradigmas,
templates.
Guarantee/Instructor: Jan M. Honzik, Prof., Ing., CSc., ING-PAED
IGIP (DCSE)
BKR - Computer Security and Cryptography (6
ECTS credits) [BKR is not offered in ac.y. 2001/2002]
Introduction. Threats, weak points, safety precautions, safety
strategy. Criteria for system safety assessment, safety
implementation principles. Data transmission safety, operating
system and database safety. Introduction to cryptography, basic
cryptographic algorithms, secret key encryption. Public key
encryption. Cryptography application examples.
Guarantee/Instructor: Petr Hanacek, Dr., Ing. (DCSE)
CPP - C and C++ Languages (6 ECTS
credits)
Programming languages C and C++, their syntax and semantics. ANSI C,
declarations, types, variables, expressions, commands, standard
libraries. C++, differences between C and C++, principles of
object-oriented programming in C++, classes, inheritance,
multiple inheritance, function and operator overloading,
polymorphism, abstract classes, templates, exception handling.
Guarantee/Instructor: Tomas Vojnar, Ing., Ph.D. (DCSE)
CSZ - Digital Processing of Signals (6
ECTS credits)
Basic techniques for digital signal processing and their
implementation on signal processors: digital filters FIR, IIR, Z -
transform, DFT, FFT, algorithm LMS, regulators. Architectures of
signal processors. Programming tools. Practical applications.
Guarantee/Instructor: Otto Fučík, Dr., Ing. (DCSE)
DIA - Diagnosis and Safe Systems (6
ECTS credits)
Introduction, logical and memory fault models. Sensitive path, D-algorithm,
9-value algorithm, cost function. Function tests. Sequential
circuit testing, automata testing, RTL model testing. Automatic
test generation, fault simulation. Fault identification. Random
testing, linear-feedback shift registers, test cones. Cellular
automata. Data compression, error aliasing, signature analysis.
Design for testability, structured approach, boundary scan
standard. Built-in test circuits. Memory testing. Processor
testing. Test equipment. Wire testing. Fail-safe circuits, code
checkers, fail-safe systems, risk analysis.
Guarantee/Instructor: Vladimir Drabek, Doc., Ing., CSc. (DCSE)
EVA
- Applied Evolutionary Algorithms (6 ECTS
credits) [EVA is not offered in ac.y. 2001/2002]
Theoretical and practical foundations of evolutionary computation.
Evolutionary algorithms using genetic algorithms, evolution
strategies, evolution programming, genetic programming, and
classifiers, as probabilistic search algorithms. Techniques for
fast prototyping of genetic algorithms. Advanced estimation
distribution algorithms (EDA) based on the Bayes theorem and
Bayes networks. Synergy of evolutionary computation and fuzzy
logic. Evolutionary algorithms in engineering applications:
artificial intelligence, knowledge based systems, VLSI design,
and multiprocessor scheduling.
Guarantee/Instructor: Josef Schwarz, Ing., CSc. (DCSE)
FLP - Functional and Logic Programming
(6 ECTS credits)
Introduction to functional programming. Expressions, data types,
functions, lists. User-defined types. Recursion and induction.
Other functional languages. Introduction to logic programming.
Data structures in Prolog. Recursion in Prolog. Goedel language,
abstract data types in Goedel. Constraint logic programming.
Other approaches in functional and logic programming.
Guarantee/Instructor: Dusan Kolar, Dr., Ing. (DCSE)
GMP - Graphical and Multimedia Processors
(6 ECTS credits)
Colour models and transformations, quantization, predictive
coding, vector quantization, motion compensation. Compression
methods. Transformation coding, cosine transform, Huffman coding.
JPEG, H.261, MPEG-1/2, MP3. Introduction to DirectX, OpenGL.
Graphical circuits, graphical pipeline, extended instruction sets
MMX and Streaming SIMD (KNI), graphical accelerators, 3D Permedia,
I 740, Riva TNT, deep pipeline. Graphical systems Silicon
Graphics Indy, Reality Engine, Onyx2. Multimedia processors -
Mpact, CyberPro, Talisman, TI C82.
Guarantee/Instructor: Vladimir Drabek, Doc., Ing., CSc. (DCSE)
GUR - Graphical User Interfaces (5
ECTS credits) [GUR is not offered in ac.y. 2001/2002]
X Window system structure. User interface design rules. Xlib
level programming. X Toolkit and OSF/Motif programming.
Application structure, widget instances and classes, resources.
Input processing. Standard X Toolkit widgets, shells. Simple OSF/Motif
widgets, keyboard traversal, Motif strings. Dialogues, menus,
special widgets. User Interface Language.
Guarantee/Instructor: Petr Lampa, Ing. (DCSE)
INS - Information Systems Design (6
ECTS credits)
Fundamental concepts, the subject of the software engineering.
Basic steps in software development. Life cycle models. Tools and
methods of the structured analysis. Fundamentals of the
structured design. Fundamental concepts of the object-oriented
approach. Tools and methods of the object-oriented analysis and
design. Software quality assurance. Fundamentals of the software
maintenance. Fundamentals of the project management. Small
project using a CASE system.
Guarantee/Instructor: Tomas Hruska, Prof., Ing., CSc. (DCSE)
KPA - Computer Communications and
Interfacing (6 ECTS credits) [KPA is not offered
in ac.y. 2001/2002]
Real-time distributed systems. Models for discrete-event and real-time
systems. Temporal logics. Formal specifications and verification.
Real-time protocols. Applications design.
Guarantee/Instructor: Miroslav Sveda, Doc., Ing., CSc. (DCSE)
MUM - Multimedia (6 ECTS credits)
Introduction to multimedia technology, multimedia peripheral
devices. Image and sound data formats, image data compression.
Programmer's interface for multimedia programming, programmer's
interface for programming the equipment for creation of
multimedia sessions.
Note, a knowledge of "C and C++ Languages" supports
this course.
Guarantee/Instructor: Pavel Zemcik, Doc., Dr., Ing. (DCSE)
NCS - Advanced Digital Design (6
ECTS credits)
Combinational and sequential logic design techniques, algorithms,
and tools review. Structured design concept. Design strategies.
Design decomposition. Design tools. Introduction to VHDL. Basic
features of VHDL. Simulation and synthesis. Basic VHDL modelling
techniques. Algorithmic level design. Register Level Design. HDL-based
design techniques. Constrained design. ASIC and PLD design
process. Fast prototyping. Modelling for synthesis. Top-down
design methodology in VHDL. Design case study. Design automation
algorithms. HW/SW co-design.
Guarantee/Instructor: Otto Fucik, Dr., Ing. (DCSE)
NEU - Neural Networks (6 ECTS
credits)
Introduction. Artificial neuron, basis and activation functions.
Neural networks classification. Description of individual neural
network types: Perceptron, Madaline, Hopfield network, Brain-State-in-a-Box
network (BSB), Boltzmann machine, Bidirectional associative
memory (BAM), Backpropagation Network (BPN), Counterpropagation
Network (CPN), Adaptive resonance theory (ART), Sparse
distributed memory (SDM), Restricted coulomb energy classifier (RCE),
Self-organizing feature maps (SOFM), Learning vector quantization
(LVQ), Neocognitron. Topology, learning, responses, typical
applications.
Guarantee/Instructor: Frantisek Zboril, Doc., Ing., CSc. (DCSE)
OMP - Object Oriented Modelling and
Prototyping (6 ECTS credits)
Principles of object orientation, object oriented languages,
object oriented software development technology. Smalltalk
language, Smalltalk software development environment, interactive
programming in Smalltalk, program maintenance, debugger, class
library, techniques and tools for user interface building in
Smalltalk. Rapid prototyping, other languages for rapid
prototyping.
Guarantee/Instructor: Vladimir Janousek, Ing., Ph.D. (DCSE)
OS2 - Operating Systems 2 (6 ECTS
credits)
Kernel structure and interface, threads and processes, message
passing, kernel protection and security. Unix systems interface,
standards. Parallel programming, synchronization, classical
synchronization tasks. Scheduling, strategy and implementation,
symmetric multiprocessing. Process and thread, POSIX threads,
synchronization, signals, process communication. Files systems,
organization, space allocation, protection, recovery. Virtual
memory, TLB, cache, page tables, paging algorithms, stack
algorithms, address space sharing, file virtualization. Input and
output, drivers, Unix I/O system. Programming environment,
libraries, linking, managing of projects. Security and
protection, system access, data protection, service protection,
auditing, encryption.
Guarantee/Instructor: Petr Lampa, Ing. (DCSE)
POG - Computer Graphics (7 ECTS
credits)
3D object representation and transformation. Reflection models.
Textures. Antialiasing. Low-level motion specification. Morphing
and warping. Animating articulated structures and rigid bodies:
FK and IK, dynamics. Soft object animation. Procedural textures
and animation. Rendering for real-time animation. Virtual and
augmented reality.
Note, a knowledge of "C and C++ Languages" supports
this course.
Guarantee/Instructor: Pavel Zemcik, Doc., Dr., Ing. (DCSE)
PPP - Practical Parallel Programming (6
ECTS credits) [PPP is not offered in ac.y. 2001/2002]
Architectures and components of parallel systems. Performance,
scalability and parallel workload models. Programming models,
parallel processes, threads, communications. Designing parallel
programs. Message passing, channel communication, routing
algorithms, pipeline, farm, prototyping algorithms in TRANSIM.
Shared memory, exclusive access, support in programming
languages, multithreaded applications in Java. Data parallelism:
languages, operations on vectors and matrices, application
examples. Generative communication. Case studies of parallel
applications.
Guarantee/Instructor: Vaclav Dvorak, Prof., Ing., CSc., DrSc.
(DCSE)
PRD - Post-Relational Databases (6
ECTS credits) [PRD is not offered in ac.y. 2001/2002]
During the course there are studied the following principles of
post-relational databases: deductive databases, object-oriented
databases, spatial databases, and temporal databases. As a study-core
of mentioned systems we follow understanding of database scheme
and approach to the database system at all. Implementation and
data manipulation within mentioned database systems is studied as
well.
Note, a knowledge of "C and C++ Languages" supports
this course.
Guarantee/Instructor: Dusan Kolar, Dr., Ing. (DCSE)
PSI - Computer Networks and Communication
Protocols (6 ECTS credits)
Internet concepts. Principles, methods and techniques:
naming and addressing, routing, traffic management. Common
protocols. Protocol implementation and protocol engineering.
Guarantee/Instructor: Miroslav Sveda, Doc., Ing., CSc. (DCSE)
PTP - Personal Computers - Technical
Maintenance (6 ECTS credits)
PC categories, parameters, mainboard and its construction, memory
organization, real mode, protected mode, system bus,
communication on the system bus, video adapters, VRAM
organization, monitors, the interrupt system, the types of hard
discs, interfaces. The data organization on hard discs, serial
and parallel interface, input/output services, LANS, components,
uninterruptible power suppliers.
Guarantee/Instructor: Zdenek Kotasek, Doc., Ing., CSc. (DCSE)
PZ1 - Peripheral Devices 1 (6
ECTS credits)
Architecture of Input/Output subsystem, standard interfaces.
Impact and nonimpact printers. Display and videocards,
architecture EGA/VGA, organization of video RAM, LCD and PLASMA
panels. Peripheral memories, magnetic media, principles of
recording, record codes. Optical disk memory, technology of
recording and reading. Graphic plotters, digitizers. OMR, OBCR,
OCR.
Guarantee/Instructor: Zdenek Kotasek, Doc., Ing., CSc. (DCSE)
PZ2 - Peripheral Devices 2 (6
ECTS credits) [PZ2 is not offered in ac.y. 2001/2002]
Local bus VL, PCI. Sophisticated printers. Graphic cards SVGA,
TIGA, organization of video RAM, creating colors. Interface of
hard disks. Scanners, principles, methods of recognition. Chips
cards. PC and technological environment. Multimedia.
Guarantee/Instructor: Zdenek Kotasek, Doc., Ing., CSc. (DCSE)
RPS - Project Management: Computer
Based Systems (6 ECTS credits) [RPS is not
offered in ac.y. 2001/2002]
Project management defined. Project definition. Project
leadership. CBS project planning, organization, monitoring and
controlling mechanism. Concurrent engineering issues considering
the system, its integration environment and its instrumentation.
Quality assurance and assessment. Risk management. Conflict
resolution techniques. Laws and current standards in CBS
development.
Guarantee/Instructor: Jitka Kreslikova, RNDr., CSc. (DCSE)
SCS - Human-Machine Interface (6
ECTS credits)
Introduction, Communication channels. Multimedia, Virtual reality
overview. Passive and active communication. Mental models of
communication. Sound-generation and perception. Image- generation.
Image-perception. Event controlled interfaces. Graphical user
interfaces overview. MS Windows 3.1, 95, 98. MS Windows NT.
Other user interfaces. Non-traditional user interfaces. Iterative
design of user interfaces.
Note a knowledge of "C and C++ Languages" supports
this course.
Guarantee/Instructor: Pavel Zemcik, Doc., Dr., Ing. (DCSE)
SOJ - Assembly Languages (6 ECTS
credits)
Pentium processors architecture: registers, data types,
instruction formats, memory addressing, interrupt handling. Real
mode and FPU instruction set. Assembly language of PCs with
Pentium processors. Assembling and linking: TASM and TLINK. BIOS
and DOS services. Interfacing assembly language programs with
higher languages programs. Protected mode of Pentium processors:
memory addressing, protection, tasks switching, paging, virtual
mode, system environments, instruction set. Programming in the
protected mode.
Guarantee/Instructor: Frantisek Zboril, Doc., Ing., CSc. (DCSE)
SOP - Fault-Tolerant Systems (6
ECTS credits)
Introduction, FT design methodology. Hardware redundancy, TMR,
GMR, fault sieving. Information redundancy, parity codes,
arithmetic codes. Residue codes, Hamming codes. Reed-Muller
codes, cyclic codes. Galois fields, BCH and Reed-Solomon codes,
byte error detection. Convolution codes. Time redundancy,
alternating logic, RESO, RESWO, REDWC. Reliability modelling,
combinatorial models, MIL-HDBK-217. Markov reliability models.
VLSI reconfiguration techniques. FT communication networks. FT systems
architectures. Software for FT systems.
Guarantee/Instructor: Vladimir Drabek, Doc., Ing., CSc. (DCSE)
SPI - Digital Signal Processors (6
ECTS credits)
Basic techniques for digital signal processing and their
implementation on Motorola DSP. Z-transforms. Digital oscillators.
Digital filters FIR, IIR. Fourier transforms: DFT, FFT. Adaptive
algorithm LMS. PID regulators. Neural networks and DSP. DSP and
multimedia. Motorola DSP56000: architecture and data organization.
Programming tools: simulator, assembler, linker, C language.
Practical applications. Another DSPs.
Note, a knowledge of "C and C++ Languages" supports
this course.
Guarantee/Instructor: Otto Fucik, Dr., Ing. (DCSE)
TI2 - Theoretical Computer Science 2 (6
ECTS credits)
Introduction to Petri nets, basic notions, Condition/Event Petri
nets, processes of C/E Petri nets, occurrences nets, properties
of C/E Petri nets, synchronic distances, facts, Place/Transition
Petri nets, analysis problems, analysis of P/T Petri nets by
reachability tree, invariants of P/T Petri nets, Petri nets
languages, Marked graphs and Free choices Petri nets, Coloured
Petri nets, Hierarchical Coloured Petri nets, analysis of
Coloured Petri nets, Coloured Petri nets applications.
Guarantee/Instructor: Milan Ceska, Prof., RNDr., CSc. (DCSE)
Elective and Recommended Courses of Special Type Supporting
Engineering of Computer-Based Systems Study Orientation
These courses are prepared for students with BSc or BEng degree who will persume their MSc degree in a CBSE study orientation at the DCS&E.
The complex study plan of a CBSE study orientation is completed with all compulsory and other optional courses from standard CS&E MSc study programme.
Comment: Courses with abbreviation "???" don't exist in standard MSc study plan.
??? - Advanced Computer Architectures and Numerical
Methods (6 ECTS credits)
The course is aimed at practical methods of solving problems
encountered in science and engineering: large systems of
differential equations, algebraic equations, partial differential
equations, stiff systems, problems in automatic control, electric
circuits, mechanical systems, electrostatic and electromagnetic
fields. An original method based on a direct use of Taylor series
is used to solve the problems numerically. The course also
includes analysis of parallel algorithms and design of special
architectures for the numerical solution of differential
equations. A special simulation language TKSL is available
implemented on one-processor systems (PC486, Pentium) and on
multi-processor systems (transputers).
Guarantee/Instructor: Jiri Kunovsky, Doc., Ing., CSc. (DCSE)
??? - Advanced Computer Science (6 ECTS credits)
The course covers basic concepts of discrete mathematics and
theoretical computer science that are applicable in the
engineering of computer based system: relations, lattices,
algebraic structure, propositional and predicate logic, basic
concepts of graph theory and theory of formal languages.
Guarantee/Instructor: Milan Ceska, Prof., RNDr., CSc. (DCSE)
??? - CBS Integration Testing and Validation (6
ECTS credits)
This course presents the theory and practice of integration,
validation and testing of computer-based systems and their
components, i.e. hardware, communications, software and man-machine
interface subsystems. Testing methods and tools covered include
logic analysers, protocol analysers, etc. and system testing
techniques and methods. Documents and development of the
necessary support environment for the integration and test
process.
Guarantee/Instructor: Vladimir Drabek, Doc., Ing., CSc. (DCSE)
??? - CBS Modelling and Requirements Engineering (6
ECTS credits)
Conceptual models of the structural and operational properties of
a CBS. System identification and methods of simulation model
creation. Specification of requirements, identification of the
requirements which most strongly determine the architecture and
design of a CBS.
Guarantee/Instructor: Milan Ceska, Prof., RNDr., CSc. (DCSE)
??? - Formal Specifications and Real-time Systems (6
ECTS credits)
Propositional and predicate logic. Time models, time domains.
Modal and temporal logic. RT logic. RT-system specification
concepts. RT-system specification methods review. Specification
case study. RT-system design concepts. RT-system design methods
review. Some design technics discussion. Design case study. RT-system
implementation concepts. RT-executive. RT-communications.
Protocol engineering and formal tools. Tools and environments.
Guarantee/Instructor: Miroslav Sveda, Doc., Ing., CSc. (DCSE)
??? - Operating Systems (6 ECTS credits)
Principles of operating systems: Unix. Shell, user and system
interface, standardization. Kernel structure and interface,
protection and security. Processes and threads, context
switching, synchronization, signals, process communication,
scheduling strategy and implementation, symmetric multiprocessing.
Parallel programming, synchronization, classical synchronization
tasks. File systems, organization, space allocation, protection,
recovery. Virtual memory, TLB, cache, page tables, paging
algorithms, stack algorithms, address space sharing, file
virtualization. Input and output, drivers, Unix I/O system.
Programming environment, libraries, linking, managing projects.
Security and protection, system access, data protection, service
protection, auditing, encryption. System administration.
Guarantee/Instructor: Petr Peringer, Dr., Ing. (DCSE)
??? - Safety-Critical Systems Dependability, Safety,
Security, and Reliability (6 ECTS credits)
This course covers the issues of fail-safe systems, fault-tolerant
systems and information systems safety. Design methodology makes
use of safety requirements, hazard analysis, risk analysis, error
detection and correction codes, reliability modelling, safety-critical
hardware design, methods of quality management and certification.
Subjects from the area of information security include security
goals, security functions and mechanisms, computer network
security, and introduction to cryptography.
Guarantee/Instructor: Petr Hanacek, Dr., Ing. (DCSE)
??? - System Maintenance Issues (6 ECTS credits)
PC categories, parameters, system board and its construction. RAM
organization and construction. Real mode, protected mode. System
bus, communication on the system bus. Video adapters, VRAM
organization, monitors. Types of hard discs and their interfaces,
the data organization on hard discs. BIOS: setup, I/O services.
LANS, components, uninterruptible power suppliers. Diagnostics.
Guarantee/Instructor: Zdenek Kotasek, Doc., Ing., CSc. (DCSE)
??? - System Engineering Methods (6 ECTS credits)
The course covers system concepts applied to CBSs and the process
of engineering a CBS: factors for judging the value of a system,
systems theory as applied to ECBS, methods of system
specifications, finite state machine and Petri nets, modelling
and decision power, proofs and proof obligations.
Guarantee/Instructor: Milan Ceska, Prof., RNDr., CSc. (DCSE)