Project Details

Prostředí pro vývoj, modelování a aplikaci heterogenních systémů

Project Period: 1. 1. 2001 – 31. 12. 2003

Project Type: grant

Code: GA102/01/1485

Agency: Czech Science Foundation

Program: Standardní projekty

English title
Environment for Development, Modelling, and Application of Heterogeneous Systems
Type
grant
Abstract

The present situation in modelling and simulation tools shows that there is still a lack of support for the generation of heterogeneous systems, which are characterised by their volume, incomplete information, qualitative nature of parameters, high degree of dynamism of processes and complex relationships between their objects. A comprehensive analysis of these heterogeneous systems may be facilitated by a combination of methods and approaches inherent in the environment that we have designed. The use of this environment may be very productive in modelling traffic, floods, VLSI circuits or in control processes. A global objective of the project is to find a suitable combination of methods and tools for designing and implementing heterogeneous models. This will result in creating an object-oriented environment for the design and distributed simulation of heterogeneous models, which will help link the classical continuous and discrete simulation abstractions with knowledge modelling based on logical programming, fuzzy concepts, and neural networks with models based on Petri nets. Since we also plan to include system security issues, we want to adopt a complex approach to the risk analysis. The environment created will also include support of space visualisation -- virtual reality. This, together with the use of methods of artificial intelligence, will help to build an efficient space model of simulation and generate behaviour descriptions of space objects.

Team members
Vavřín Petr, prof. Ing., DrSc. – research leader
Černohorský Jakub, Ing.
Češka Milan, prof. RNDr., CSc.
Drahanský Martin, prof. Ing., Ph.D.
Güttner Jakub, Ing., Ph.D.
Hanáček Petr, doc. Dr. Ing. (DITS)
Hrubý Martin, Ing., Ph.D. (DITS)
Hruška Tomáš, prof. Ing., CSc. (DIFS)
Janoušek Vladimír, doc. Ing., Ph.D. (DITS)
Jirsík Václav, doc. Ing., CSc. (UAMT)
Kočí Radek, Ing., Ph.D. (DITS)
Kunovský Jiří, doc. Ing., CSc.
Malec Zdeněk, doc. Ing., CSc.
Martinek David, Ing. (UIFS)
Orság Filip, Ing., Ph.D. (DITS)
Peringer Petr, Dr. Ing. (DITS)
Petřek Jiří, Ing.
Pivoňka Petr, prof. Ing., CSc. (FEKT)
Rábová Zdeňka, doc. Ing., CSc.
Řezáč David, Ing., Ph.D.
Václavek Pavel, prof. Ing., Ph.D. (UAMT)
Vojnar Tomáš, prof. Ing., Ph.D. (DITS)
Zacios Dalibor, Ing.
Zbořil František, doc. Ing., CSc. (DITS)
Zbořil František, doc. Ing., Ph.D. (DITS)
Publications

2005

  • MARTINEK, D., RÁBOVÁ, Z. Grafický popis simulačních modelů. In NETSS 2005 - 2nd International Winter Workshop - New Trends in System Simulation. Ostrava: MARQ, 2005. s. 63-66. ISBN: 80-86840-07-7. Detail

2004

  • DRAHANSKÝ, M., ORSÁG, F. Biometric Security Systems: Robustness of the Fingerprint and Speech Technologies. In BT 2004 - International Workshop on Biometric Technologies. Calgary: 2004. p. 99-103. Detail
  • DRAHANSKÝ, M., SMOLÍK, L. Entropic Numbers from the Fingerprint. In Entropic Numbers from the Fingerprint. Londýn: The Royal Statistical Society, 2004. p. 1-20. Detail
  • DRAHANSKÝ, M.; ORSÁG, F.; ZBOŘIL, F. Biometrics in Security Applications. Proceedings of 38th International Conference MOSIS '04. Ostrava: 2004. p. 201-206. ISBN: 80-85988-98-4. Detail
  • KUNOVSKÝ, J., ŘEZÁČ, D., TOMICA, P. Non-autonomous Example of Stiff System. In Proceedings of the sixth international scientific conference Electronic Computers and Informatics ECI 2004. Košice: The University of Technology Košice, 2004. p. 81-85. ISBN: 80-8073-150-0. Detail
  • KUNOVSKÝ, J.; ŘEZÁČ, D. TKSL and Stiff System Detection. Proceedings of the 3rd International Conference Aplimat. Bratislava: Slovak University of Technology in Bratislava, 2004. p. 621-626. ISBN: 80-227-1995-1. Detail
  • MARTINEK, D. Japetus - a Platform for Heterogeneous Modelling. In Proceedings of XXVI International Autumn Colloquium ASIS 2004 Advanced Simulation of Systems. Ostrava: 2004. p. 203-206. ISBN: 80-86840-03-4. Detail

2003

  • BEDNÁŘ, D.; KRESLÍKOVÁ, J. Object-oriented model of Processes in Project Management. ASIS 2003. Ostrava: 2003. p. 335-342. ISBN: 80-85988-88-7. Detail
  • CARUANA, E.; ČEŠKA, M.; SKLENÁŘ, J. Using Petri Nets in Simulation of Manufacturing Systems (extended version). Proceedings of XXVth International Autumn Colloquium ASIS 2003. Ostrava: 2003. p. 189-202. ISBN: 80-85988-88-7. Detail
  • CARUANA, E.; ČEŠKA, M.; SKLENÁŘ, J. Using Petri Nets in Simulation of Manufacturing Systems. IPSI-2003 Proceedings. Belgrad: IPSI Belgrade Ltd, 2003. p. 0-0. ISBN: 88-85280-62-5. Detail
  • ČEŠKA, M.; HAŠA, L.; VOJNAR, T. Partial-Order Reduction in Model Checking of Object-Oriented Petri Nets. In Computer Aided Systems Theory - EUROCAST 2003. Lecture Notes in Computer Science 2809. Berlin: Springer Verlag, 2003. p. 265-278. ISBN: 3-540-20221-8. Detail
  • DRAHANSKÝ, M.; ORSÁG, F. Biometric Security Systems: Fingerprint and Speech Technology. Proceedings of the 1st Indian International Conference on Artificial Intelligence. Tallahassee: Indian International Conference of Artificial Intelligence, 2003. p. 703-711. ISBN: 0-9727412-0-8. Detail
  • DRAHANSKÝ, M.; ORSÁG, F.; SMOLÍK, L. Biometric Security Systems. Sborník Mikulášské kryptobesídky 2003. Praha: ECOM-MONITOR, 2003. p. 1-10. ISBN: 80-903083-3-3. Detail
  • FLORIÁN, V.; PERINGER, P. Systém pro 3D vizualizaci výsledků simulace. Proceedings of XXV-th International Autumn Colloquium ASIS 2003. Ostrava: MARQ, 2003. s. 999-1002. ISBN: 80-85988-88-7. Detail
  • GÜTTNER, J. Object Database on Top of the Semantic Web. Proceedings of the WI/IAT 2003 Workshop on Applications, Products and Services of Web-based Support systems. Halifax: 2003. p. 97-102. ISBN: 0-9734039-1-8. Detail
  • HANÁČEK, P.; MATYÁŠ, V. Čipové karty v informačních systémech. Sborník konference Datakon 2003. Brno: Masarykova universita, 2003. s. 15-22. ISBN: 80-210-3215-4. Detail
  • HANÁČEK, P.; RÁBOVÁ, Z. Systémy IDS a mobilní inteligentní agenti. Proceedings of ASIS 2003. Ostrava: MARQ, 2003. s. 9-13. ISBN: 80-85988-88-7. Detail
  • HANÁČEK, P.; RÁBOVÁ, Z.; ZBOŘIL, F. Model okolního prostředí mobilního robota. MOSMIC'2003. Žilina: Vydavatelství Žilinské univerzity, 2003. s. 25-30. ISBN: 80-8070-139-3. Detail
  • HAŠA, L.; ČEŠKA, M. Design of a Model Checker for Object-Oriented Petri Net Models. IPSI-2003 Proceedings. Belgrad: IPSI Belgrade Ltd, 2003. p. 0-0. ISBN: 88-85280-62-5. Detail
  • HEROUT, A.; ŘEZÁČ, D.; TIŠNOVSKÝ, P. Visualization of 3D Potential Fields Computed Using TKSL/C. Proceedings of the 9th Conference and Competition STUDENT EEICT 2003. Brno: Faculty of Electrical Engineering and Communication BUT, 2003. p. 583-587. ISBN: 80-214-2379-X. Detail
  • HEROUT, A.; ŘEZÁČ, D.; TIŠNOVSKÝ, P. Visualization of 3D Potential Fields Computed Using TKSL/C. Proceedings of the International Conference and Competition STUDENT EEICT 2003. Brno: Brno University of Technology, 2003. p. 310-314. ISBN: 80-214-2401-X. Detail
  • HRUBÝ, M. Formal Specification of the HELEF Simulation Language. Proceedings of 37th Internation Conference MOSIS'03. Ostrava: 2003. p. 143-148. ISBN: 80-85988-86-0. Detail
  • HRUBÝ, M.; KOČÍ, R. Modern Simulation Techniques and Tools. Proceedings of the International Workshop MOSMIC'2003. Žilina: Fakulta riadenia a informatiky Žilinskej Univerzity v Žiline, 2003. s. 7-15. ISBN: 80-8070-139-3. Detail
  • JANOUŠEK, V.; KOČÍ, R. PNtalk: Concurrent Language with MOP. Proceedings of the CS&P'2003 Workshop. Warsawa: Warsaw University, 2003. p. 271-282. ISBN: 83-88374-71-0. Detail
  • KOČÍ, R.; RÁBOVÁ, Z. Purposes of the PNtalk System. Proceedings of International Conference MOSIS '03. Ostrava: 2003. p. 149-156. ISBN: 80-85988-86-0. Detail
  • KŘENA, B. Object-oriented Petri Nets and their Application and Type Analysis. Information Technologies and Control, 2003, vol. 1, no. 1, p. 27-31. ISSN: 1312-2622. Detail
  • KUNOVSKÝ, J.; MELKES, F.; PETŘEK, J. Equation System Simplification in the Taylor Series Method. Proceedings of 37th International Conference MOSIS'03. Ostrava: 2003. p. 165-170. ISBN: 80-85988-86-0. Detail
  • KUNOVSKÝ, J.; PETŘEK, J.; ŘEZÁČ, D. Modern Taylor Series Method in Simulation of Processes and Systems. Proceedings of International Carpathian Control Conference ICCC'2003. Košice: The University of Technology Košice, 2003. p. 337-340. ISBN: 80-7099-509-2. Detail
  • KUNOVSKÝ, J.; ŘEZÁČ, D. Electrical Fields Solved by TKSL/C. Proceedings of 37th International Conference MOSIS'03. Ostrava: 2003. p. 171-176. ISBN: 80-85988-86-0. Detail
  • KUNOVSKÝ, J.; ŘEZÁČ, D. Parallel Computations Based on Taylor Series Method. Proceedings 4th MATHMOD Vienna. Wien: ARGE Simulation News, 2003. p. 316-317. ISBN: 3-901608-24-9. Detail
  • KUNOVSKÝ, J.; ŘEZÁČ, D. Stiff System Detection Using Taylor Series Method. Proceedings of XXVth Internation Autumn Colloquium ASIS2003 Advanced Simulation of Systems. Ostrava: 2003. p. 275-278. ISBN: 80-85988-88-7. Detail
  • MÁČEL, M.; HRUŠKA, T. Kolaborativní aplikace. Systems Integration 2003 - Proceedings. Praha: Česká společnost pro systémovou integraci, 2003. s. 429-436. ISBN: 80-245-0522-3. Detail
  • MARTINEK, D.; ČERNOHORSKÝ, J.; RÁBOVÁ, Z. Eclipse as Modelling Platform. Proceedings of XXVth Internation Autumn Colloquium ASIS2003 Advanced Simulation of Systems. Ostrava: 2003. p. 203-208. ISBN: 80-85988-88-7. Detail
  • MARTINEK, D.; ČERNOHORSKÝ, J.; RÁBOVÁ, Z. Graphical Interface of Simulation. Proceedings of 37th International Conference MOSIS'03 Modelling and Simulation of Systems. Ostrava: 2003. p. 131-136. ISBN: 80-85988-86-0. Detail
  • MARTINEK, D.; PERINGER, P. Parallel modelling in FuzzySIMLIB/C++. Proceedings of 37th International Conference MOSIS´03 Modelling and Simulation of Systems. Ostrava: 2003. p. 157-164. ISBN: 80-85988-86-0. Detail
  • ORSÁG, F.; ZBOŘIL, F. Endpoint Detection in the Continuous Speech Using the Neural Networks. Proceedings of 37th International Conference MOSIS´03 Modelling and Simulation of Systems. Ostrava: 2003. p. 10-16. ISBN: 80-85988-86-0. Detail
  • SMOLÍK, P.; HRUŠKA, T. Application of an Object-Oriented Metasystem in University Information System Development. In Annals of Cases on Information Technology. Hershey: Idea Group Publishing, 2003. p. 550-562. ISBN: 1-59140-061-9. Detail
  • URBÁŠEK, M. Preserving Properties in System Redesign: Rule-Based Approach. In Recent Trends in Algebraic Development Techniques. Lecture Notes in Computer Science. Berlin: Springer Verlag, 2003. p. 442-456. ISBN: 3-540-20537-3. Detail
  • ZBOŘIL, F. Information Sharing and Distribution in Multiagent Systems. Proceedings of 37th International Conference MOSIS '03. Ostrava: 2003. p. 287-292. ISBN: 80-85988-86-0. Detail
  • ZBOŘIL, F. Risk Analysis through Multiagent Systems. Proceedings of International Carpathian Control Conference. Košice: The University of Technology Košice, 2003. p. 845-848. ISBN: 80-7099-509-2. Detail
  • ZBOŘIL, F.; ZBOŘIL, F. Plan Reconsideration in Hybrid Agent System. Proceedings of XXVth International Autumn Colloquium ASIS 2003. Ostrava: 2003. p. 315-321. ISBN: 80-85988-88-7. Detail

2002

  • CARUANA, E.; ČEŠKA, M.; SKLENÁŘ, J. Petri Nets and their Use in Modelling of Manufacturing Systems. ASIS 2002 - Advanced Simulation of System. Ostrava: 2002. p. 17-28. ISBN: 80-85988-77-1. Detail
  • ČERNOHORSKÝ, J. Discrete simulation in Java. Proceedings of 8th Conference STUDENT EEICT 2002. Brno: Faculty of Electrical Engineering and Communication BUT, 2002. p. 1-5. ISBN: 80-214-2116-9. Detail
  • ČEŠKA, M.; HRUŠKA, T.; ZENDULKA, J. Education in Information Technology at Brno University of Technology. Proceedings of the International Conference - Advances in Infrastructure for e-business, e-education, e-science, and e-medicine on the Internet. L'Aquila: SSGRR Telecom Italia Learning Services, 2002. p. 1-7. ISBN: 88-85280-62-5. Detail
  • DRAHANSKÝ, M. Fingerprint Recognition and Smart Cards. Proceedings of 8th EEICT conference. Brno: Faculty of Information Technology BUT, 2002. p. 436-440. ISBN: 80-214-2116-9. Detail
  • DRAHANSKÝ, M. Fingerprint recognition. In 16-th Biennial International Eurasip Conference Biosignal 2002. Brno: Masaryk University, 2002. p. 301-303. ISBN: 80-214-2120-7. Detail
  • DRAHANSKÝ, M.; ORSÁG, F. Fingerprints and Speech Recognition as parts of the biometry. Proceedings of 36th International Conference MOSIS '02. Ostrava: 2002. p. 177-183. ISBN: 80-85988-71-2. Detail
  • GÜTTNER, J.; HRUŠKA, T. Dynamic Object Model In Interpreted Systems. Proceedings od 5th International Conference ISM 02 - Information System Modelling. Ostrava: 2002. p. 103-110. ISBN: 80-85988-70-4. Detail
  • HANÁČEK, P. Elektronický podpis a PKI v platebních systémech. Sborník konference Bezpečnosť informácií vo finančnom sektore. Žilina: NMC, 2002. s. 21-26. ISBN: 80-85655-20-9. Detail
  • HANÁČEK, P.; RÁBOVÁ, Z. Využití modelů při analýze rizik. Proceedings of ASIS 2002. Ostrava: MARQ, 2002. s. 9-16. ISBN: 80-85988-77-1. Detail
  • HRUBÝ, M.; KOČÍ, R.; PERINGER, P.; RÁBOVÁ, Z. Tools for Creating of Multimodels. Kybernetes: The International Journal of Systems Cybernetics, 2002, vol. 2002, no. 9, p. 1391-1400. ISSN: 0368-492X. Detail
  • HRUBÝ, M.; RÁBOVÁ, Z. HELEF: A New Simulation Language. Proceedings of International Conference MOSIS '02. Vol. 1. Ostrava: 2002. p. 39-47. ISBN: 80-85988-71-2. Detail
  • HRUBÝ, M.; RÁBOVÁ, Z. Modelling of Real-world Objects using the HELEF Language. Proceedings of The 28th ASU Conference. ASU Newsletter. Brno: Faculty of Information Technology BUT, 2002. p. 47-57. ISSN: 1102-593X. Detail
  • KUNOVSKÝ, J., HONZÍK, P. Definite Integrals in TKSL, Maple and Matlab. In Electronic Computers and Informatics '2002. Kosice, Slovakia: The University of Technology Kosice, 2002. p. 22 ( p.)ISBN: 80-7099-879-2. Detail
  • KUNOVSKÝ, J.; HONZÍK, P. Definite Integrals in TKSL, Maple and Matlab. Proceedings of the Fifth International Scientific Conference Electronic Computers and Informatics 2002. Letná 42, 040 01 TU Košice: The University of Technology Košice, 2002. p. 22-24. ISBN: 80-7099-879-2. Detail
  • KUNOVSKÝ, J.; PETŘEK, J.; ŘEZÁČ, D. Dynamic Simulations of Statis Electronic Circuits. Proceedings of XXiVth International Autuum Colloquium ASIS 2002. Ostrava: 2002. p. 35-39. ISBN: 80-85988-77-1. Detail
  • KUNOVSKÝ, J.; ŘEZÁČ, D.; PETŘEK, J. TKSL/C an Multiple Arithmetic. Proceedings of the Fifth International Scientific Conference Electronic Computers and Informatics 2002. Letná 42, 040 01 TU Košice, SK: The University of Technology Košice, 2002. p. 19-21. ISBN: 80-7099-879-2. Detail
  • MARTINEK, D. Fuzzy and heterogeneous modelling in SIMLIB/C++. Proceedings of 28th ASU Conference - The Simulation Languages. ASU Newsletter. Brno: Department of Intelligent Systems FIT BUT, 2002. p. 105-114. ISSN: 1102-593X. Detail
  • MARTINEK, D. Grafová struktura pro heterogenní modelování. Proceedings of XXIV International Autumn Colloquium ASIS 2002 - Advanced Simulation of Systems. Ostrava: MARQ, 2002. s. 209-212. ISBN: 80-85988-77-1. Detail
  • MARTINEK, D. Optimization of fuzzy model parameters. Proceedings of 8th Conference STUDENT EEICT 2002. Brno: Faculty of Electrical Engineering and Communication BUT, 2002. p. 465-470. ISBN: 80-214-2116-9. Detail
  • MARUŠINEC, J. Simulation of Live Objects in 3D Real-time Environment. Proceedings of 28th ASU Conference. ASU Newsletter. Brno: Faculty of Information Technology BUT, 2002. p. 1-10. ISSN: 1102-593X. Detail
  • ORSÁG, F. Some basic techniques of the speech recognition. Proceedings of 8th Conference STUDENT EEICT 2002. vol. 3. Brno: Faculty of Electrical Engineering and Communication BUT, 2002. p. 90-94. ISBN: 80-214-2116. Detail
  • PERINGER, P. New design and implementation concepts for SIMLIB/C++. Proceedings of XXIVth International Autumn Colloquium ASIS 2002. Ostrava: 2002. p. 201-204. ISBN: 80-85988-77-1. Detail
  • PETŘEK, J. Parallel Solution of Systems of Linear Algebraic Equations. Proceedings of 8th conference Student EEICT 2002. Volume 3. Brno: Faculty of Electrical Engineering and Communication BUT, 2002. p. 473-477. ISBN: 80-214-2116-9. Detail
  • ŘEZÁČ, D.; KUNOVSKÝ, J.; PETŘEK, J. Solving Stiff Systems in Parallel Utilizing the Taylor Series Method. Proceedings of 36th International Conference MOSIS '02: Modelling and Simulation Systems Vol. 1. Ostrava: 2002. p. 27-31. ISBN: 80-85988-71-2. Detail
  • SMOLÍK, P.; HRUŠKA, T. Distributed Information Systems Buliding Techniques. Proceedings od SSGRR 2002s Conference. L'Aquila: SSGRR Telecom Italia Learning Services, 2002. p. 60-69. ISBN: 88-85280-63-3. Detail
  • ZBOŘIL, F. Simulation Languages for Agent Systems. Proceedings of the Fifth International Scientific Conference ECI 2002. Košice: Faculty of Electrical Engineering and Informatics, University of Technology Košice, 2002. p. 73-77. ISBN: 80-7099-879-2. Detail
  • ZBOŘIL, F.; ZBOŘIL, F. Formal Models of Agent Systems. Proceedings of 36th International Conference MOSIS '02. Vol. I. Ostrava: 2002. p. 163-168. ISBN: 80-85988-71-2. Detail

2001

  • ANTOŠ, R., BURGET, R., JELEN, P. Matematická podpora výstupu dat. In Proceedings of 7th Conference Student FEI 2001. Brno: Fakulta elektrotechniky a informatiky VUT, 2001. s. 274 ( s.)ISBN: 80-214-1859-1. Detail
  • ČERNOHORSKÝ, J. Diskrétní simulace v Javě. Proceedings of 23rd International Autumn Colloquium ASIS 2001. Ostrava: MARQ, 2001. s. 147-150. ISBN: 80-85988-61-5. Detail
  • ČERNOHORSKÝ, J. Objektový model systému hromadné obsluhy. In Proceedings of 7th Conference Student FEI 2001. Brno: Fakulta elektrotechniky a informatiky VUT, 2001. s. 253 ( s.)ISBN: 80-214-1859-1. Detail
  • DAO ANH, M.; ZBOŘIL, F. Tuning of Fuzzy Neural Network Classifier. Proceedings of the 35th Spring International Conference MOSIS'01. Ostrava: 2001. p. 201-206. ISBN: 80-85988-57-7. Detail
  • GÜTTNER, J. Voxel Model Creation Using Wavelet-based Stereoanalysis. Brno: Grantová agentura AV ČR, 2001. p. 0-0. Detail
  • HANÁČEK, P. Bezpečnost transakcí na internetu. Moderní databáze. Praha: KOMIX s.r.o., 2001. s. 76-83. ISBN: 80-238-7046-7. Detail
  • HANÁČEK, P.; RÁBOVÁ, Z. Využití modelování v analýze rizik. Proceedings of the 23rd International Autumn Colloquium ASIS 2001. Ostrava: MARQ, 2001. s. 9-16. ISBN: 80-85988-61-5. Detail
  • HANÁČEK, P.; STAUDEK, J. Certifikační infrastruktury veřejných klíčů. Proceedings of DATAKON 2001. Brno: Fakulta elektrotechniky a informatiky Slovenskej technickej univerzity v Bratislave, 2001. s. 1-44. ISBN: 80-227-1597-2. Detail
  • HANÁČEK, P.; ZBOŘIL, F. Risk Management in the Process of Risk Analysis. Proceedings of the 35th Spring International Conference MOSIS'01. Ostrava: 2001. p. 351-356. ISBN: 80-85988-57-7. Detail
  • HEROUT, A. Knihovna pro práci s objemovými daty. Brno: 2001. s. 0-0. Detail
  • HRUBÝ, M., RÁBOVÁ, Z. Processes and Knowledge in one Simulation. In Proceedings of 7th Conference STUDENT FEI 2001. Brno: Faculty of Electrical Engineering and Computer Science BUT, 2001. p. 333 ( p.)ISBN: 80-214-1860-5. Detail
  • HRUBÝ, M.; PERINGER, P.; RÁBOVÁ, Z. Knowledge-Based Simulator in Object-Oriented Environment. Proceedings of the 35th Spring International Conference MOSIS 2001. Hradec nad Moravicí: 2001. p. 75-80. ISBN: 80-214-1860-5. Detail
  • HRUBÝ, M.; RÁBOVÁ, Z. Object Oriented Programming Languages in Modelling. Proceedings of The 27th ASU Conference. ASU Newsletter. Rattwik: Association of Simula Users, 2001. p. 55-65. ISSN: 1102-593X. Detail
  • HRUŠKA, T. XML Technology - tutorial. ISM 01 Conference Proceedings. Hradec nad Moravicí: 2001. p. 11-15. ISBN: 80-85988-51-3. Detail
  • KUNOVSKÝ, J.; MELKES, F. Extremely Exact Solutions of Large Systems of Differential Equations (invited paper). Proceedings of the 15th European Simulation Multiconference ESM'2001. Praha: Faculty of Electrical Engineering, Czech Technical University, 2001. p. 19-24. ISBN: 1-56555-225-3. Detail
  • KUNOVSKÝ, J.; MELKES, F. Verification of the TKSL/C Simulation System. Proceedings of the 35th Spring International Conference Modelling and Simulation of Systems. Ostrava: 2001. p. 55-58. ISBN: 80-85988-57-7. Detail
  • KUNOVSKÝ, J.; MELKES, F.; MIKULÁŠEK, K. Extremely Large Systems of Algebraic Equations. Proceedings of ASIS 2001. Krnov: 2001. p. 117-120. ISBN: 80-85988-61-5. Detail
  • MAREK, V.; ČEŠKA, M. Petri Nets And Random-Context Grammars. Proceedings of the 35th Spring Conference: Modelling and Simulation of Systems - MOSIS'01. Hradec nad Moravicí: 2001. p. 145-152. ISBN: 80-85988-57-7. Detail
  • MARTINEK, D. Návrh grafického editoru fuzzy množin. Proceedings of 7th Conference Student FEI 2001. Brno: Fakulta elektrotechniky a informatiky VUT, 2001. s. 280-282. ISBN: 80-214-1859-1. Detail
  • MARTINEK, D.; PERINGER, P. Graphical Fuzzy Sets Editor. Proceedings of 23rd International Autumn Colloquium ASIS 2001. Ostrava: 2001. p. 143-146. ISBN: 80-85988-61-5. Detail
  • PETŘEK, J. Grafický vstup sim. Jazyka TKSL/C. Proceedings of 7th Conference Student FEI 2001. Brno: Vysoké učení technické v Brně, 2001. s. 304-306. ISBN: 80-214-1859-1. Detail
  • ŘEZÁČ, D.; PUSTĚJOVSKÝ, R. Tuhé systémy a víceslovní aritmetika. Proceedings of 7th Conference STUDENT FEI 2001. Brno: Fakulta elektrotechniky a informatiky VUT, 2001. s. 310-312. ISBN: 80-214-1859-1. Detail
  • ZBOŘIL, F., ZBOŘIL, F. The Role of Agents in Simulation Models. In Proceedings of XXIIIrd International Autumn Colloquium ASIS 2001. Ostrava: MARQ, 2001. p. 111-116. ISBN: 80-85988-61-5. Detail
Back to top