Detail projektu
Výzkum a aplikace heterogenních modelů
Období řešení: 1. 1. 1998 - 31. 12. 2000
Typ projektu: grant
Kód: GA102/98/0552
Agentura: Grantová agentura České republiky
Program:
Název anglicky
Research and Applications of Heterogenous Models
Typ
grant
Klíčová slova
modelování - spojité a diskrétní systémy - netradiční modely
Abstrakt
Cílem tohoto mezioborového projektu je výzkum nových metod a programových prostředků usnadňujících návrh a implementaci heterogenních modelů. Heterogenní modely vyžadují kombinaci různých metod a přístupů k analýze problému, syntéze vytvořených modelů a jejich verifikaci.
Řešitelé
Vavřín Petr, prof. Ing., DrSc.
(UAMT FEI VUT)
, hlavní řešitel
Češka Milan, Prof. RNDr., CSc. (UIVT FEI VUT) , spoluřešitel
Hanáček Petr, Dr. Ing. (UIVT FEI VUT) , spoluřešitel
Hruška Tomáš, Prof. Ing., CSc. (UIVT FEI VUT) , spoluřešitel
Janoušek Vladimír, Ing., Ph.D. (UIVT FEI VUT) , spoluřešitel
Jirsík Václav, Ing., CSc. (UAMT FEI VUT) , spoluřešitel
Jura Pavel, Doc. Ing., CSc. (UAMT FEI VUT) , spoluřešitel
Marušinec Jaromír, Ing. (UIVT FEI VUT) , spoluřešitel
Pavlíčková Jiřina, Dr. Ing. (FEI VUT) , spoluřešitel
Peringer Petr, Dr. Ing. (UIVT FEI VUT) , spoluřešitel
Pivoňka Petr, Prof. Ing., CSc. (UAMT FEI VUT) , spoluřešitel
Přikryl Petr, Ing. (FEI VUT) , spoluřešitel
Rábová Zdeňka, Doc. Ing., CSc. (UIVT FEI VUT) , spoluřešitel
Šolc František, Doc. Ing., CSc. (UAMT FEI VUT) , spoluřešitel
Zbořil František, Doc. Ing., CSc. (UIVT FEI VUT) , spoluřešitel
Češka Milan, Prof. RNDr., CSc. (UIVT FEI VUT) , spoluřešitel
Hanáček Petr, Dr. Ing. (UIVT FEI VUT) , spoluřešitel
Hruška Tomáš, Prof. Ing., CSc. (UIVT FEI VUT) , spoluřešitel
Janoušek Vladimír, Ing., Ph.D. (UIVT FEI VUT) , spoluřešitel
Jirsík Václav, Ing., CSc. (UAMT FEI VUT) , spoluřešitel
Jura Pavel, Doc. Ing., CSc. (UAMT FEI VUT) , spoluřešitel
Marušinec Jaromír, Ing. (UIVT FEI VUT) , spoluřešitel
Pavlíčková Jiřina, Dr. Ing. (FEI VUT) , spoluřešitel
Peringer Petr, Dr. Ing. (UIVT FEI VUT) , spoluřešitel
Pivoňka Petr, Prof. Ing., CSc. (UAMT FEI VUT) , spoluřešitel
Přikryl Petr, Ing. (FEI VUT) , spoluřešitel
Rábová Zdeňka, Doc. Ing., CSc. (UIVT FEI VUT) , spoluřešitel
Šolc František, Doc. Ing., CSc. (UAMT FEI VUT) , spoluřešitel
Zbořil František, Doc. Ing., CSc. (UIVT FEI VUT) , spoluřešitel
Publikace
2001
- ČEŠKA Milan, JANOUŠEK Vladimír a VOJNAR Tomáš. Analysis and Verification Queries over Object-Oriented Petri Nets. In: Formal Methods and Tools for Computer Science, Eurocast 2001, Extended Abstracts. Las Palmas de Gran Canaria, Canary Islands, Spain: Universidad de Las Palmas de Gran Canaria, 2001, s. 115-118. ISBN 84-699-3971-8. Detail
2000
- SCHWARZ Josef a OČENÁŠEK Jiří. A problem knowledge-based evolutionary algorithm KBOA for hypergraph bisectioning. In: Proceedings of the Fourth Joint Conference on Knowledge-Based Software Engineering Brno, Czech Republic, 2000. BRNO: IOS Press, 2000, s. 51-58. ISBN 1-58603-060-4. Detail
- RÁBOVÁ Zdeňka, JANOUŠEK Vladimír, PERINGER Petr a VOJNAR Tomáš. An Environment for Building Heterogeneous Models. In: Proceedings of MOSIS 2000. Rožnov: MARQ, 2000, s. 89-94. ISBN 80-85988-44-5. Detail
- HANÁČEK Petr a STAUDEK Jan. Bezpečnost informačních systémů. ÚSIS. Praha: neznámá, 2000. ISBN 80-238-5400-3. Detail
- URBÁŠEK Milan. Categories in Modelling. In: Proceedings of the 34th International Conference Modelling and Simulation of Systems - MOSIS 2000. Rožnov pod Radhoštěm: MARQ, 2000, s. 21-28. ISBN 80-85988-44-5. Detail
- HANÁČEK Petr. Certifikace veřejných klíčů a certifikační autority. In: Sborník konference Security'2000. Praha: neznámá, 2000, s. 86-88. Detail
- HANÁČEK Petr. Certifikace veřejných klíčů a podpora legislativy. In: Sborník semináře elektronický podpis. Praha: neznámá, 2000, s. 43-47. Detail
- HRUŠKA Tomáš a MÁČEL Michal. Concept Definition Language for Object-Oriented Databases. In: ISM 2000 Workshop Proceedings. Rožnov pod Radhoštěm: MARQ, 2000, s. 37-45. ISBN 80-85988-45-3. Detail
- GREBENÍČEK František. Constructing Hierarchical Neural Nets Using Sparse Distributed Memory. In: ASIS 2000 Proceedings of the Colloquium. Sv. Hostýn, Bystřice pod Hostýnem: MARQ, 2000, s. 359-364. ISBN 80-85988-51-8. Detail
- SMOLÍK Petr a TESÁČEK Jan. Data Source Independent XML Data Access. In: Proceedings of Information System Modeling Conference 2000. Rožnov pod Radhoštěm: MARQ, 2000, s. 17-22. ISBN 80-85988-45-3. Detail
- MARUŠINEC Jaromír. Data Structures For Virtual Reality. In: Proceedings of the 34th International Conference Modelling and Simulation of Systems - MOSIS 2000. Rožnov pod Radhoštěm: MARQ, 2000, s. 39-44. ISBN 80-85988-44-5. Detail
- HANÁČEK Petr. Digitální podpis zdravotnické dokumentace. Lékař a technika, roč. 31, č. 5, 2000, s. 130-132. ISSN 0301-5491. Detail
- HANÁČEK Petr. Elektronický podpis jako nástroj bezpečného obchodování. In: Sborník konference Internet jako nástroj obchodního úspěchu. Brno: neznámá, 2000, s. 10. Detail
- SCHWARZ Josef. Fuzzy genetic algorithm - a brief survey. In: Proceedings of the Colloquium Advanced Simulation of Systems. Bystřice pod Hostýnem: MARQ, 2000, s. 353-358. ISBN 80-85988-51-8. Detail
- HANÁČEK Petr. Hodnocení bezpečnosti podle normy ISO/IEC 15408. In: Sborník konference AFOI 2000. Praha: neznámá, 2000, s. 10. Detail
- HANÁČEK Petr, PERINGER Petr a RÁBOVÁ Zdeňka. Knowledge-Based Approach to Risk Analysis Modelling. In: Proceedings of JCKBSE 2000. Brno: neznámá, 2000, s. 25-30. ISBN 1-58603-060-4. Detail
- HRUŠKA Tomáš a HASHIMOTO Masa-aki, ed. Knowledge-Based Software Engineering. Frontiers in Artificial Intelligence and Applications, č. 62, 2000. ISBN 1-58603-060-4. ISSN 0922-6389. Detail
- HRUBÝ Martin a RÁBOVÁ Zdeňka. Language for Modelling of Parallel Systems. In: Proceedings of ASIS2000. Ostrava: MARQ, 2000, s. 229-234. ISBN 80-85988-51-8. Detail
- ZBOŘIL František. Neural Network for Text Associations. In: Proceedings of XXIInd International Colloquium ASIS 2000. Ostrava: MARQ, 2000, s. 145-150. ISBN 80-85988-51-8. Detail
- HRUŠKA Tomáš a MÁČEL Michal. Object-Oriented Database Systems. In: Sborník konference DATASEM 2000. Brno: neznámá, 2000, s. 9-46. ISBN 80-210-2428-3. Detail
- SCHWARZ Josef a OČENÁŠEK Jiří. Partitioning-oriented placement using advanced genetic algorithm BOA. In: Procceedings of the Mendel '2000 Conference. BRNO: Fakulta strojního inženýrství VUT, 2000, s. 88-91. ISBN 80-214-1609-2. Detail
- HANÁČEK Petr. Problems of Tamper Resistant Software. In: ISM 2000. Roznov pod Radhostem: MARQ, 2000, s. 117-122. Detail
- ČEŠKA Milan a URBÁŠEK Milan. Reasoning about Categories of Petri Nets. In: Proceedings of the IEEE TC-ECBS + TF RE and IFIP WG10.1 Workshop - Joint Workshop on Formal Specifications of Computer-Based Systems. Edinburgh, Scotland: University of Stirling, 2000, s. 67-70. ISBN 1-85-769121-0. Detail
- GREBENÍČEK František. Sparse Distributed Memory -- Pattern Data Analysis. In: MOSIS 2000 Proceedings. Rožnov pod Radhoštěm: MARQ, 2000, s. 165-170. ISBN 80-85988-44-5. Detail
- OČENÁŠEK Jiří a SCHWARZ Josef. The Parallel Bayesian Optimization Algorithm. In: Proceedings of the European Symposium on Computational Inteligence. Košice: Springer Verlag, 2000, s. 61-67. ISBN 3-7908-1322-2. ISSN 1615-3871. Detail
- SCHWARZ Josef. The probability models for combinatorial optimization problems. In: Proceedings of The 4th Japan-Central Europe Joint Workshop on Energy and Information in Non-Linear Systems. Brno, Czech Republic, November 10-12, 2000. Brno: neznámá, 2000, s. 72-75. Detail
- ZBOŘIL František a ZBOŘIL František ml. The use of the RCE Neural Network in a Pattern Recognition. In: 34th Spring International Conference Modelling and Simulation of Systems MOSIS 2000. Ostrava: MARQ, 2000, s. 65-70. ISBN 80-85988-44-5. Detail
- PERINGER Petr. Tools for Simulation Model Optimization. In: Proceedings of 22nd International Autumn Workshop ASIS 2000. Sv. Hostýn: MARQ, 2000, s. 195-198. ISBN 80-85988-51-8. Detail
- SEKANINA Lukáš a SLLAME Azeddien M. Toward Uniform Approach to Design of Evolvable Hardware Based Systems. Lecture Notes in Computer Science, roč. 2000, č. 1896, s. 814-817. ISSN 0302-9743. Detail
- ČEŠKA Milan, JANOUŠEK Vladimír a VOJNAR Tomáš. Towards Verifying Distributed Systems Using Object-Oriented Petri Nets. Lecture Notes in Computer Science, roč. 2000, č. 1798, s. 90-104. ISSN 0302-9743. Detail
- PEŇÁS Petr. Workflow Specification Languages. In: Proceedings of Information System Modeling Conference 2000. Rožnov pod Radhoštěm: MARQ, 2000, s. 177-183. ISBN 80-85988-45-3. Detail
1999
- ONDRÁČEK Tomáš a ZBOŘIL František. An Identification of Transfer Function Coefficients of Systems with Time Delay Using a Neural Network. In: Proceedings of the ASIS'99. Krnov: MARQ, 1999, s. 203-208. ISBN 80-85988-41-0. Detail
- MARUŠINEC Jaromír. Artificial life in virtual reality. Sborník prací studentu a doktorandu. Brno: Fakulta elektrotechniky a informatiky VUT, 1999, s. 83-84. ISBN 80-214-1155-4. Detail
- MARUŠINEC Jaromír. Artificial life models in virtual reality. In: Proceedings of the ASIS '99 international workshop. Krnov: MARQ, 1999, s. 57-62. ISBN ISBN 80-85988-41. Detail
- HANÁČEK Petr. Bezpečnost informačních systémů. In: ASIS 1999. Krnov: MARQ, 1999, s. 11-19. ISBN 80-85988-41-0. Detail
- HANÁČEK Petr a STAUDEK Jan. Bezpečnost elektronického obchodu. In: Systems Integration '99. Praha: neznámá, 1999, s. 55-74. ISBN 80-7079-059-8. Detail
- URBÁŠEK Milan. Bisimulation relations in categories of A-labelled Petri nets and the connection of CCS and Petri nets. Huddersfield, Great Britain: neznámá, 1999. Detail
- ČEŠKA Milan a URBÁŠEK Milan. Categorical approach to Petri nets transformations. In: Proceedings of the 33rd Spring International Conference MOSIS'99. Rožnov pod Radhoštěm, CZ: MARQ, 1999, s. 133-140. ISBN 80-85988-32-1. Detail
- URBÁŠEK Milan. Categories of Petri nets: a bisimulation approach. Sborník prací studentů a doktorandů FEI VUT. Brno: neznámá, 1999, s. 109-110. ISBN 80-214-1155-4. Detail
- ČEŠKA Milan. Cybernetics and Concepts of Formal Language Theory. In: Wiener's Cybernetics-50 years of evolution. Las Palmas de Gran Canaria: neznámá, 1999, s. 57-59. ISBN 84-8416-950-2. Detail
- PERINGER Petr. Design and Implementation of Fuzzy Extension to SIMLIB/C++. In: Proceedings of ASIS'99. Krnov: MARQ, 1999, s. 209-212. ISBN 80-85988-41-0. Detail
- HRUŠKA Tomáš a MÁČEL Michal. G2-Component Architecture of an Object-Oriented Database System. In: Proceedings of ISM 99 Workshop. Rožnov pod Radhoštěm: MARQ, 1999, s. 125-133. ISBN 80-85988-31-3. Detail
- ONDRÁČEK Tomáš a ZBOŘIL František. Identification of Time Coefficients of Systems using Neural Network. In: Proceedings of the MOSIS'99. Rožnov pod Radhoštěm: MARQ, 1999, s. 93-98. ISBN 80-85988-33-X. Detail
- ZBOŘIL František. Identifikace systému neuronovou sítí. In: MOSMIC'99. Súľov: neznámá, 1999, s. 165-170. ISBN 80-7100-635-1. Detail
- HANÁČEK Petr. Implementing Secure Payment Systems to Avoid Potential Problems. In: Banking Technology in Central europe. Praha: neznámá, 1999, s. 6. Detail
- HANÁČEK Petr a RÁBOVÁ Zdeňka. Interactive Tools for Creation of Assets Model. In: ASIS 1999. Krnov: MARQ, 1999, s. 213-219. ISBN -80-85988-41-0. Detail
- HANÁČEK Petr, HANZAL Martin a RÁBOVÁ Zdeňka. Interaktivní budování modelu aktiv. In: Sborník LŠ Informační systémy a jejich aplikace. Ruprechtov: neznámá, 1999, s. 60-69. ISBN 80-214-1379-2. Detail
- ČEŠKA Milan a URBÁŠEK Milan. Modelling and Simulation of Parallel Systems Using CCS and Petri Nets: Major Concepts. In: Proceedings of XXIst International Colloquium ASIS 1999. Krnov, Czech Republic: MARQ, 1999, s. 371-377. ISBN 80-85988-41-0. Detail
- MARUŠINEC Jaromír. Natural virtual reality. In: Proceedings of the MOSIS'99. Rožnov pod Radhoštěm: MARQ, 1999, s. 45-50. ISBN 80-85988-32-1. Detail
- RÁBOVÁ Zdeňka a SLEZÁK Miroslav. Notes on Modelling Human Activity in Heterogeneous Systems. In: Proceedings of MOSIS'99. Roznov: MARQ, 1999, s. 173-178. ISBN 80-85988-32-1. Detail
- ČEŠKA Milan. Petriho sítě ve výuce oboru Informatika a výpočetní technika FEI VUT v Brně. In: Proceedings of XXIst International Colloquium ASIS 1999. Krnov: MARQ, 1999, s. 143-146. ISBN 80-85988-41-0. Detail
- HANÁČEK Petr. Security Verification of Smartcard Scripts. In: ISM'99. Roznov pod Radhostem: MARQ, 1999, s. 11-18. ISBN 80-85988-31-3. Detail
- GREBENÍČEK František. Self-Organized Sparse Distributed Memory -- an Application. In: ASIS '99. Krnov: MARQ, 1999, s. 39-44. ISBN 80-85988-41-0. Detail
- GREBENÍČEK František. Self-Organizing Sparse Distributed Memory as a Predictive Memory. In: Nostradamus '99. Zlín: neznámá, 1999, s. 17-22. ISBN 80-214-1424-3. Detail
- SCHWARZ Josef a PERINGER Petr. Simulation Model of the Traffic Light Crossing with Fuzzy Control. In: Proceedings of MOSIS'99. Rožnov: MARQ, 1999, s. 99-106. ISBN 80-85988-33-X. Detail
- VOJNAR Tomáš. Specifying Properties of Systems To Be Checked Using Their Object-Oriented Petri Net-Based Models. In: Proceedings of 21st International Workshop on Advanced Simulation of Systems ASIS'99. Krnov: MARQ, 1999, s. 219-224. ISBN 80-85988-41-0. Detail
- JANOUŠEK Vladimír. Synchronous Interactions of Objects in Object Oriented Petri Nets. In: Proc. of MOSIS'99. Ostrava, Czech Republic: MARQ, 1999, s. 73-80. ISBN 80-85988-32-1. Detail
- VOJNAR Tomáš. The First Steps Towards Using State Spaces of Object-Oriented Petri Nets. In: Proceedings of International Workshop on Control and Information Technology - IWCIT'99. Ostrava: neznámá, 1999, s. 165-170. ISBN 80-7078-679-5. Detail
- VOJNAR Tomáš. Towards Using State Spaces of Object-Oriented Petri Nets. In: Proceedings of 33rd Spring International Conference on Modelling and Simulation of Systems MOSIS'99. Rožnov pod Radhoštěm: MARQ, 1999, s. 141-148. ISBN 80-85988-32-1. Detail
- ČEŠKA Milan, JANOUŠEK Vladimír a VOJNAR Tomáš. Towards Verifying Complex Distributed Systems Using Object-Oriented Petri Nets. In: Proceedings of the 7th International Conference on Computer Aided Systems Theory and Technology -- EUROCAST'99. Vienna: neznámá, 1999, s. 229-232. Detail
- MARUŠINEC Jaromír a RÁBOVÁ Zdeňka. Transport Simulation in Virtual Reality. In: Proceedings of the MOSMIC'99 international workshop. Súlov: MARQ, 1999, s. 77-82. ISBN 80-7100-635-1. Detail
1998
- BUMBÁLEK Jaromír a RÁBOVÁ Zdeňka. A System for Approximating Stochastic Data. In: Proceedings of Conference MOSIS '98. Bystřice pod Hostýnem: MARQ, 1998, s. 269-272. ISBN 80-85988-23-2. Detail
- VOJNAR Tomáš. An Overview of Some Automated Tools for Formal Analysis and Verification. In: Proceedings of 20th International Workshop on Advanced Simulation of Systems ASIS'98. Krnov: MARQ, 1998, s. 223-228. ISBN 80-85988-26-7. Detail
- ZBOŘIL František. Analysis of Neural Networks Applications in Heterogeneous Models. In: Proceedings of the ASIS'98. Krnov: MARQ, 1998, s. 21-26. ISBN 80-85988-26-7. Detail
- RYŠÁNEK Martin. Congestion in High-Loaded Networks of Parallel Machines. In: MOSIS'98. Bystřice pod Hostýnem: MARQ, 1998, s. 281-288. ISBN 80-85988-23-2. Detail
- ČEŠKA Milan a URBÁŠEK Milan. Extension of the PESIM Simulation Tool. In: Proceedings of XX-th Workshop ASIS '98. Krnov: MARQ, 1998, s. 81-86. ISBN 80-85988-27-5. Detail
- PERINGER Petr a RÁBOVÁ Zdeňka. Heterogeneous Models. In: Proceedings of ECI'98. Herlany: Slovenská akademie věd, 1998, s. 187-190. ISBN 80-88786-94-0. Detail
- HANÁČEK Petr a RÁBOVÁ Zdeňka. Knowledge-Based Simulation in Risk Analysis. In: Proceedings of ASIS 1998. Krnov: MARQ, 1998, s. 79-84. ISBN 80-85988-26-7. Detail
- JANOUŠEK Vladimír a VOJNAR Tomáš. Modelling a Flexible Manufacturing System. In: Proceedings of 32nd Spring International Conference on Modelling and Simulation of Systems MOSIS'98. Sv. Hostýn: MARQ, 1998, s. 195-200. ISBN 80-85988-23-2. Detail
- PERINGER Petr. Models of Delay in SIMLIB/C++. In: Proceedings of ASIS'98. Krnov, Czech Republic: MARQ, 1998, s. 51-54. ISBN 80-85988-27-5. Detail
- ČEŠKA Milan, JANOUŠEK Vladimír a VOJNAR Tomáš. Object-Oriented Petri Nets, Their Simulation, and Analysis. In: Proceedings of the IEEE SMC'98 Conference. San Diego, California: neznámá, 1998, s. 256-261. ISBN 0-7803-4781-1. ISSN 1062-922X. Detail
- RYŠÁNEK Martin. Parallel Discrete Event Simulation Mechanisms. In: ASIS'98. Krnov: MARQ, 1998, s. 123-128. ISBN 80-85988-27-5. Detail
- MARUŠINEC Jaromír. Řešení viditelnosti metodou konvexních podprostorů. Sborník prací studentů a doktorandů. Brno: Fakulta elektrotechniky a informatiky VUT, 1998, s. 51-52. ISBN 80-214-1141-4. Detail
- HANÁČEK Petr. Security of Smartcard Based Payment Protocol. In: Proceedings of International Conference MOSIS'98. Bystrice pod Hostynem: MARQ, 1998, s. 123-129. ISBN 80-85988-24-0. Detail
- ZBOŘIL František. Sparse Distributed Memory and Restricted Coulomb Energy Classifier. In: Proceedings of the MOSIS'98. Sv. Hostýn - Bystřice pod Hostýnem: MARQ, 1998, s. 171-176. ISBN 80-85988-23-2. Detail
- JANOUŠEK Vladimír a VOJNAR Tomáš. State Spaces of Object-Oriented Petri Nets. In: Proceedings of MFCS'98 Workshop on Concurrency. Brno: neznámá, 1998, s. 87-96. Detail
- MARUŠINEC Jaromír. Visualisation for simulation in virtual reality. In: Proceedings of International Conference MOSIS'98. Bystřice pod Hostýnem: MARQ, 1998, s. 77-81. ISBN 80-85988-24-0. Detail
- HANÁČEK Petr, KOTYZA Břetislav a RÁBOVÁ Zdeňka. Znalostní model analýzy rizik. In: Sborník letní školy Informační systémy a jejich aplikace 1998. Ruprechtov: neznámá, 1998, s. 213-219. ISBN 80-214-1205-4. Detail