Předmětem záměru je výzkum nových metod návrhu, verifikace, implementace a hodnocení informačních a řídicích systémů a jejich složek. Tento výzkum postihuje úroveň formálních modelů, algoritmů a implementace realizované programovými a technickými prostředky. Záměr je strukturován do problémových okruhů, a to především: metody a nástroje modelování systémů, technologie a návrh informačních systémů, počítačová grafika a multimédia v informačních a řídicích systémech, architektura technického a programového vybavení vestavěných aplikací, počítačové vidění, senzory a počítačové zpracování a analýza dat. Předpokládaných výsledků bude dosaženo základním a aplikovaným výzkumem. Výsledkem záměru budou efektivní metody a metodologie vývoje informační ch a řídicích systémů, které vycházejí z vhodných formálních modelů, poskytují účinné návrhové, verifikační a implementační nástroje respektující vývoj informačních a počítačových technologií a vedou k podstatnějšímu rozšíření aplikací těchto systémů.

Description in English
The scientific intention is directed to the research of new methods of design, verification, implementation, and assessment of information and control systems and their components. The aim is to describe the levels of their formal models, algorithms, and of their implementation by means of hardware and software. The intention is structured into the following problem areas: the methods and tools of modelling of systems, the technology and design of information systems, the architecture of imbedded systems, computer graphics, computer vision, sensors, and and data acquisition and computer based data analysis. The results of the intention are efficient design, verification and implementation tools reflecting the progress of information and computer technologies and leading to the wider application of those systems.

Keywords
informační systém-řídicí systém-modelování systémů-databázový systém-počítačová grafika-vestavěná aplikace-počítači podporované řízení-počítačová průmyslová síť-počítačové vidění-senzor-analýza signálu

Key words in English
Information system; computer control; control systems; fuzzy control; Petri nets; imbedded systems; object oriented technology; modelling of systems; sensors; computer vision; computer graphics; data acquisition; data analysis;

MSM 262200012

Czech

Honzík Jan M., prof. Ing., CSc. - principal person responsible
Češka Milan, prof. RNDr., CSc. - fellow researcher
Zendulka Jaroslav, doc. Ing., CSc. - fellow researcher

Department of Mathematics
- responsible department (1.1.1989 - not assigned)
Department of Control and Instrumentation
- co-beneficiary (1.1.1999 - 31.12.2004)
Department of Mathematics
- co-beneficiary (1.1.1999 - 31.12.2004)

KOLKA, M.; PROVAZNÍK, V. Programming Language Based on L-systems. In Sborník prací studentů a doktorandů. Brno: Faculty of Electrical Engineering and Computer Science BUT, 2000. p. 64-66. ISBN: 80-7204-155-X.
Detail

URBÁŠEK, M.; BRAATZ, B.; EHRIG, H.; HOFFMAN, K.; PADBERG, J. Application of Graph Transformation Techniques to the Area of Petri Nets: An Overview. Applied Graph Transformation - AGT'02. Grenoble: 2002. p. 35-44.
Detail

BENEŠ, P. AE in the liquid boiling. NDT Welding Bulletin, 2000, vol. 10, no. 3, p. 16-25. ISSN: 1210-7034.
Detail

SCHWARZ, J.; OČENÁŠEK, J. A problem knowledge-based evolutionary algorithm KBOA for hypergraph bisectioning. Proceedings of the Fourth Joint Conference on Knowledge-Based Software Engineering Brno, Czech Republic, 2000. BRNO: IOS Press, 2000. p. 51-58. ISBN: 1-58603-060-4.
Detail

ZBOŘIL, F. The Module System in the Godel Logical Programming Language. Sborník prací studentů a doktorandů. Brno: Akademické nakladatelství CERM sro., 2000. s. 270-272. ISBN: 80-7204-115-X.
Detail

VORÁČEK, J.; FRYDRYCH, M.; KÄLVIÄINEN, H.; TOIVANEN, P.; ZEMČÍK, P. Multispectral Image Colour Encoding. Lappeenranta: Lappeenranta University of Technology, 1999. s. 1-7. ISBN: 951-764-347-0.
Detail

DRAHANSKÝ, M. Biometric Security Systems - Fingerprint Recognition Technology. Brno: Publishing house of Brno University of Technology VUTIUM, 2005. 32 p. ISBN: 80-214-2969-0.
Detail

KŘIVKA, Z. String-partitioning Systems. Proceedings of 11th Conference and Competition STUDENT EEICT 2005 Volume 3. Brno: Faculty of Electrical Engineering and Communication BUT, 2005. p. 556-560. ISBN: 80-214-2890-2.
Detail

HABERMEHL, P.; VOJNAR, T. Regular Model Checking Using Inference of Regular Languages. Proceedings of 6th International Workshop on Verification of Infinite-State Systems -- INFINITY 2004. London: 2004. p. 61-71.
Detail

FRIEDL, Š.; SEKANINA, L. Evoluční algoritmus ve VHDL - jádro jednoduchého genetického systému (technická zpráva EVA2003). Brno: 2003. s. 0-0.
Detail

URBÁŠEK, M. Preserving Properties in System Redesign: Rule-Based Approach. ProceeProceedings of the 16th International Workshop on Algebraic Development Techniques. Munich: 2002. p. 87-88.
Detail

URBÁŠEK, M. New Safety Property and Liveness Preserving Morphisms of P/T Systems. Forschungsberichte des Fachbereichs Informatik. Berlin: Technical University of Berlin, 2002. p. 0-0. ISSN: 1436-9915.
Detail

HECKEL, M. Podobnostní vyhledávání v obrazových datech. Sborník prací studentů a doktorandů. Brno: Fakulta elektrotechniky a informatiky VUT, 2000. s. 177-179. ISBN: 80-7204-155-X.
Detail

ZENDULKA, J. Proceedings of the Conference Information Systems Modelling. Acta M0SIS No. 83. Ostrava: 2001. p. 0-0. ISBN: 80-85988-51-8.
Detail

ZBOŘIL, F. Inference Mechanism in the Process of Risk Management throught the Prolog Language. Proceedings of 7th Conference STUDENT FEI 2001. Brno: 2001. p. 383-387.
Detail

ARNOŠT, V. Software Musical Synthesizer. MOSIS '99 Proceedings. Rožnov pod Radhoštěm: 1999. p. 23-28. ISBN: 80-85988-33-X.
Detail

ARNOŠT, V. Discrete Simulation of Sound Wave Propagation. MOSIS 2000 Proceedings. Rožnov pod Radhoštěm: 2000. p. 241-246. ISBN: 80-85988-44-5.
Detail

ARNOŠT, V. Počítačová simulace šíření zvuku. Proceedings of the 1st Conference of Czech Student AES Section on Audio Technologies and Processing. Brno: Fakulta elektrotechniky a informatiky VUT, 2000. s. 76-79. ISBN: 80-214-1602-5.
Detail

ČEJKA, R.; DVOŘÁK, V. CSP-based Modeling of Emerging Scalable Parallel Computers. Proceedings of the 34th Spring International Conference Modelling and Simulation of Systems MOSIS 2000, Vol. 1. Rožnov pod Radhoštěm: 2000. p. 135-142. ISBN: 80-85988-44-5.
Detail

ČEJKA, R. CSP-based Modeling of SM Architectures. Sborník prací studentů a doktorandů FEI VUT. Brno: Akademické nakladatelství CERM, 1999. p. 75-76. ISBN: 80-214-1155-4.
Detail

Responsibility: Honzík Jan M., prof. Ing., CSc.