Preliminary Program of the Conference MOSIS '02

Invited Papers (April 22, 10:00 - 12:00)

• Ivo VONDRÁK: Organizational Structures Modeling
• Hynek VRANKA: Temelín - jaká je pravda

Methodology and Paradigms of Simulation (April 22, 14:00 - 18:00)

• Eugene KINDLER - Ivan KŘIVÝ - Alain TANGUY: Towards Automatic Generating of Reflective Simulation Models (též B)
• Stanislav RACEK: State machines models using C-Sim tool
• Ondrej HABALA - Branislav ŠIMO - Ján ASTALOŠ - Ladislav HLUCHÝ: Virtuálna organizácia pre predpoveď povodní na báze technológie Grid
• Mirosław CHODACKI: The New Method based on The Leaving of The Best of Individuals and The Control a Time-Live of Individuals for BIST Structure Designing Supported be Evolutionary Algorithms
• Jiří KUNOVSKÝ - Jiří PETŘEK - David ŘEZÁČ: Solving Stiff Systems in Parallel Utilizing the Taylor Series Method
• Jiří KUNOVSKÝ - František MELKES: Analysis of the Taylor Series Method
• Martin HRUBÝ - Zdena RÁBOVÁ: HELEF: A New Simulation Language

Tools for Simulation (April 22, 14:00 - 16:00)

• Petr HANČ: JAMS - Design of a Framework for Tracing, Debugging, etc. of Jawa Multithread Programs
• Petr ŠALOUN: Parsing in Education and Research
• Bohuslav KŘENA: Case Study: Modelling Alternating Bit Protocol by PNtalk
• Radek KOČÍ - Zdena RÁBOVÁ: The PNtalk System and Interoperability
• Ivan SCHWARZ: Architecture of Distributed Simulator of PNtalk

Modelling and Control and Measurements Systems (April 22, 16:00 - 18:00)

• Pavel JURA: The low-loss helium cryostat as a heterogeneous system. Identification, modelling and control.
• Romana OVČÁČÍKOVÁ - Milan VROŽINA - Jiří DAVID: Komunikační modul pro podporu operativního řízení na ocelárně
• Malgorzata KOLOPIENCZYK: Modelling of Programmable Logic Controllers using Petri net, Grafcet and SFC net - comparative analysis
• Jaroslav POŽIVIL - Martin ŽĎÁNSKÝ: Finding Non-permutation Schedules for Flowshops Using Tabu Search Algorithm
• Josef CHUDOBA - Jaroslav POŽIVIL: Simulace katalytických reakcí s využitím rozšíření programu HYSYS

Artificial Intelligence and Neural Nets (April 23, 8:30 - 12:00)

• Jadwiga RATYŃSKA: Syntactical Treatment of Language Utterances based on Epistemological Structures
• Jiří DAVID - Milan VROŽINA: Zvýšení efektivnosti výrobních procesů racionalizací údržby
• Michal BRÁT - Miroslav ŠNOREK: Extended Neural ICA for Blind Signal Separation
• Jacek MAZURKIEWICZ: Systolic Based Simulation of Hamming Neural Network
• Witold RAKOCZY - Małgorzata ŻABIŃSKA: A Prototype Multi-Agent System for Information Distribution in the Internet
• Tomasz WALKOWIAK: Neural Networks for Chemical Process Analysis
• Jaromír MARUŠINEC: Bioentity Simulation
• František ZBOŘIL sen. - František ZBOŘIL jun.: Formal Models of the Agent Systems
• Jiří OČENÁŠEK - Josef SCHWARZ: Development System DEBOA for Rapid Prototyping of evolutionary applications
• Martin DRAHANSKÝ - Filip ORSÁG: Fingerprints and Speech Recognition as Parts of the Biometry

Simulation in Communication, Transport and Logistic (April 23, 8:00 - 12:00)

• Alois BURÝ - René ČECH: Simulace dopravy a logistiky v hlubinných dolech
• David ZMRHAL: Logistic forecasting model
• Karol KUBECZKA: Discrete Model of Continuous Transport System
• Jacek MAZURKIEWICZ - Tomasz WALKOWIAK: Simulation of Discrete Transport System
• Karel ŠOTEK - Emil KRŠÁK - Hynek BACHRATÝ: Simulační model provozu na železniční trati
• Vladimír HANTA: Modelling of Batch Processes in WITNESS 2001 Simulator Environment
• Dalibor ZACIOS: Agent-Oriented Technology for Telecommunications
• Pavel HEROUT: A Simulation-based Method of Massive Fault Injection

Environmental, Biological and Medicinal Modelling (April 23, 16:00 - 18:00)

• Marek DOROS: Processing of image data for modelling of human thorax
• Krystyna KOLEBSKA: Simulation of cardiac multi-dipole fields for patients with cardiology diseases
• Alina CZERWINSKA: Investigation of ventricular late potentials by simulation
• Jitka MOHYLOVÁ: EEG - Application of Cluster Analysis
• ŠPETÍKOVÁ: Simulace šíření epidemií - spojitý model
• P. HONZÍK - J. HRABEC - N. HONZÍKOVÁ: Fuzzy Method for Myocardial Reinfarction Prediction

Modelling in Manager Work and Business (April 23, 16:00 - 18:00)

• Vladimír ČECH - Jiří JEVICKÝ - Antonín MÜLLER: Doplňování personálních systémů a jejich modelování
• Adam KOLOPIENCZYK: Organizing Information for Process Coordination in Virtual Enterprise
• Miroslava VALTROVÁ - Milan BREJCHA: Simulace a optimalizace v programu odborných konferencí
• Milan BREJCHA: Modelové myšlení v managementu - přínosy a bariéry
• František VÁVRA - Pavel NOVÝ - Michala KOTLÍKOVÁ - Hana MAŠKOVÁ: Simple Forecasting Model of Share Rates and Currencies

Other Applications (April 24, 8:30 - 12:00)

• Tobiáš LAZAR - Peter KVASNICA: Nastavenie modelu ťahových vlastností turboreaktívneho motora na dynamiku lietadla
• Mikuláš ALEXÍK: Principles of Modelling the Human Operator by Human/Vehicle Interaction
• Takehiko TANAKA - Kenji FUKIMBARA - Keigo UTSUNOMIYA - Hironobu MORIKAWA - Masaru NAKAGAWA: Database of Japanese Buddhists in the 10-13 Centuries: Modeling and Implementation
• Jiří STAROBA - Václav DVOŘÁK: Performance Prediction Model of Bus-Based Shared Memory Architectures
• Josef CHUDOBA - Jaroslav POŽIVIL: Využití simulačního programu k analýze chemických výrob
• Jana FLOCHOVÁ - Michal HŰBER: Utilization of Software RSLOGIXEMULATE500 in Process Simulation and in Teaching SCADA/HMI Design
• Josef STRNADEL - Zdeněk KOTÁSEK: Normalized Testability Measures at RT Level: Utilization and Reasons for Creation
• Azzedien M. SLLAME - Vladimír DRÁBEK: A Design Space Exploration Scheme for High-Level Synthesis Systems
• Vladimír KUTÁLEK - Václav DVOŘÁK: Prototyping Parallel Applications Based on Divide and Conquer Strategy
• Zbygniev ZARZYCKI: Modelling of an unsteady friction in turbulent pipe flow
• Paweł GUTOWSKI: The influence of insufficient information from experiment on correctness and uniqueness of parameter identification