33rd Spring International Conference
Modelling and Simulation of Systems


MOSIS logo

April 27-29, 1999


Rožnov pod Radhoštěm, Czech Republic





1st Announcement and Call for Papers

Organized by

in cooperation with ASU, CSSS, EUROSIM, and SCS
The conference further continues in series of Moravo-Silesian professional meetings oriented towards advanced modelling and system simulation.

Organizing committee

  • M. Alexík (SK),
  • R. R. Babajan (Russia),
  • Z. Binder (F),
  • G. Dobrowolski (PL),
  • D. Franke (D),
  • A. Grzech (PL),
  • A. Jávor (H),
  • E. Kindler (CZ),
  • J. Lauber (CZ),
  • P. Meňhart (SK),
  • Z. Rábová (CZ),
  • M. Šnorek (CZ),
  • V. Stoffová (SK),
  • J. Štefan, (CZ - Chairman),
  • M. Šujanský (SK),
  • Y. Tanguy (F),
  • J. Zendulka (CZ),
  • R. Zobel (GB)



  • Topics:




    Notices

    Conference languages are English, Czech and Slovak. Send 3 copies of a full paper (max. 8 pages A4) to the conference program committee contact address. The presented results must be unpublished and not submitted for publication. Papers will be revieved. Authors will be notified of acceptance or rejection by March 1, 1999.

    Accepted papers will be published in the MOSIS'99 proceedings. Accepted paper in a specified format for the proceedings will be due March 31, 1999.

    Key dates:



    CONFERENCE TIMETABLE

    Monday, April 26, 1999 19:00 - 21:00 Registration, Coctail Tuesday, April 27, 1999 8:00 - 10:00 Registration 10:00 - 10:15 Opening of Conference 10:15 - 12:00 Plenary session 12:00 - 13:30 Lunch break 13:30 - 18:30 Parallel sessions 19:30 - 23:00 Evening Party Wednesday, April 28, 1999 8:30 - 12:00 Parallel sessions, Workshop ISM'99, Workshop MANAM'99 12:00 - 13:30 Lunch break 13:30 - 15:30 Visit of the Valachian Skansen 15:30 - 19:00 Parallel sessions, Workshop ISM'99, Workshop MANAM'99 Thursday, April 29, 1999 8:30 - 12:00 Parallel sessions 12:00 - 13:30 Lunch break 13:30 - 15:00 Final plenary session

    Length of presentation is 15 minutes, available overhead projector.


    GENERAL INFORMATION

    1. Where and when:
      • The MOSIS'99 conference will take place in Rožnov pod Radhoštěm situated between Ostrava and Valašské Meziříčí.

      • The address of the conference hotel:
        Hotel Relax,
        756 61 Rožnov pod Radhoštěm,
        Czech Republic
      • April 27 - 29, 1999
    2. Registration of participants:
      April 26, 1999, 7 - 9 p.m. and April 27, 1999, 8 - 10 a.m.
    3. Working Languages:
      English, Czech and Slovak
    4. How to get there:
      The railway station Rožnov pod Radhoštěm lies at the end of the railway line No 281 going from the town Valašské Meziříčí. To get from the railway station to the hotel Relax it is recommended to take a bus line going to Ostrava or Horní Bečva.
    5. The accomodation of participants is reserved in the hotel "RELAX". Its cost is approx. 600 Kč (CZK - Czech crown) per night (double rooms only) payable at the desk of the hotel.
    6. The conference fee:
      The fee covers the price of the proceedings and it is 120 USD for all participants including the authors. (Smluvní cena)
    7. Publishing an accepted paper in the conference proceedings is conditional upon completed payment of the conference fee.


    Contact address

    Jan Štefan
    Department of Computer Science and Engineering,
    FEEI VŠB - Technical University Ostrava

    třída 17. listopadu 15
    708 33 Ostrava Poruba
    Czech Republic

    mailto: Jan.Stefan@vsb.cz
    fax: +420-(0)69-6919597



    FINAL PROGRAM OF MOSIS'99

    in RTF format

    Plenary session, April 27, 10:15-12:00 CONFERENCE HALL

    PLANDER Ivan: Funkcie umelej inteligencie v informačnej spoločnosti

    ČULÍK Jan: Simulation of Road and Railway Vehicle Vibration

    FARANA Radim - KAČMÁŘ Dalibor - KULHÁNEK Jiří: Simulační program SIPRO s podporou distribuovaných výpočtů

    BREJCHA Milan: Model jako užitečný nástroj manažera

     

    Graphics, visualization, and simulation, April 27, 13:30-18:30 ROOM 4

    CENEK Petr: Vyhodnocení a vizualizace výsledků simulačních a výpočetních experimentů

    FĚDOR Martin - DOBŠÍK Martin: Capturing and Visualization of Human Body Motion

    HAMATA Vladimír - KŘEMEN Jaromír: Toward Applications: Automatic Creation of Thermodynamic Simulation Model Building Given by its CAD Representation

    KISILEWICZ J. - ZAJAC W.: An improved Method of Error Concealment in Digital Image Transmission

    MARUŠINEC Jaromír: Natural virtual reality system

    STOFFOVÁ Veronika - SKALKA J.: Animačno-simulačné modely ako súčasť bazy znalsoti ICAI - systémov.

    ZOLOTOVÁ Iveta - ŠTOFKO Marek: Simulácia a procesná vizualizácia pre podporu rozhodovania

     

    Control systems and simulation, April 27, 13:30-18:30 ROOM 1+2

    DAVID Jiří - VROŽINA Milan: Model pro predikci poruch zařízení plynulého odlévání oceli

    DMOCHOWSKI Zbigniew: Simulation of Arc Furnace Characteristics with Consideration of Exploitational Environment

    HANTA Vladimír: Optimum Storage Configuration of Multi-Product Process by Means of Storage Occupation Simulation

    ALEXÍK Mikuláš - JAROŠ Adam: Simulácia adaptivného riadenia s PLC Bernecker&Reiner

    FINDURA Milan: Simulace optimálního řízení rozlehlého nelineárního systému

    KOSTÚR Karol - BUBELINY Peter: Matematický model procesov v LD konvertore

    PASEK Kazimierz: Dynamical Model of Fluidized-Solids Drying Plant

    RATYŃSKA Jadwiga: D&K System for Communication betweem User and Computer

    PETRÁŠ Ivo - DORČÁK Ľubomír - KOŠTIAL Imrich - KOSTÚR Karel: Simulácia regulačného obvodu s neceločíselným rádom oneskorenia

    ŠOTEK Karel: The Transport Line Control Simulation Model

    ŠTIKA Jiří - RACEK Stanislav - HEROUT Pavel: Simulační verifikace aplikací pracujících v oblasti reálného času

     

    MANAM'99, April 27, 13:30-18:30 ROOM 3

    BREJCHA Milan: Návraty systémového přístupu

    BARVÍŘ Miroslav: Systémové přístupy v období modelového myšlení

    ČECH Vladimír - JEVICKÝ Jiří - MÜLLER Antonín: K otázkám vědeckopedagogického a vědeckovýzkumného potenciálu učitele vysoké školy a vědeckovýzkumného pracovníka

    HAJŠMAN Václav: Objektově orientované modelování podnikových procesů

    KINDLER Evžen: Simulation of a Logistic System Containing Internal Simulation Models

    CENDELÍN Jiří: Strukturní modely

    TEDA Jaroslav - SCHINDLER Jiří: Realizace systému plánování servisních činností metodami umělé inteligence v NS 993, VÍTKOVICE a.s.

     

    ISM'99, April 27, 13:30-18:30 CLUB

    HANÁČEK Petr: Security Verification of Smartcard Scripts

    GENČI Ján: The Acces Right Model in the University Information System

    DUBILEWICZ Iwona - HNATKOWSKA Bogumila: Applying UML to Information Systems Modelling

    SMOLÍK Peter: The Importance of Flexible Markup Language

    KOLLÁR Ján: Process Functional Programming

    KOTÁSEK Petr - ZENDULKA Jaroslav: AprioriItemset - A New Algorithm for Discovering Frequent Itemsets

    ALL PARTICIPANTS, April 27, 19:30- Restaurant EVENING PARTY

     

    Formal methods and tools for simulation, April 28, 8:30-12:00 ROOM 4

    BOJANOWICZ Dariusz: How Faults Can Be Simulated in Self-Testable VLSI Digital Circuits

    DOGARU Octavian - DOGARU Roxana: The Finding of All Occurences of a Pattern in a String

    PETRLÍK Lukáš - RACEK Stanislav: Simulátor běhu distribuované aplikace v Gemini

    SKRBEK Miroslav - HARTMAN Luboš: Logic circuits simulator in JAVA

    ČIČÁK Pavel: Modelovanie riadiacich jednotiek číslicových systémov

    JANOUŠEK Vladimír: Synchronous Inreactions of Objects in Object Oriented Petri Nets

     

    Nets, networks, fuzzy logic and simulation, April 28, 8:30-12:00 ROOM 1+2

    ADAMČÍK Tomáš: Neural Networks in Process Control

    BLAŽEK Stanislav - SROVNAL Vilém: Adaptivní organizující se neuronová síť

    GREBENÍČEK František: Educational Model of Selected Neural Net Types

    KYSELA Pavol: Simulácia neuro-fuzzy nelineárneho procesu

    MATOUŠEK Petr: Fuzzy matching as a technique for the same correction

    ONDRÁČEK Tomáš - ZBOŘIL František: Identification of Time Coefficients of Systems using Neural NetworkB: LAUBER Josef: Podpora manažérského rozhodování v podmínkách rizika a neurčitosti

    SCHWARZ Josef - PERINGER Petr: Simulation Model of the Traffic Light Crossing with Fuzzy Control

    ŠEDA Miloš - DVOŘÁK Jiří: Fuzzy Approaches to Flow Shop Scheduling

     

    MANAM'99, April 28, 8:30-12:00 ROOM 3

    HOLÝ Roman - POŽIVIL Jaroslav: Model sedmi principů vysoce efektivních organizací dle Coveyho

    HÁN Jan - ULRYCH Zdeněk: Využití modelování pro trénink manažerů

    KOLÁŘ Pavel: Manažerské modely sekvenčních rozhodovacích úloh

    BREJCHA Milan: Modelové myšlení v manažerské práci

    LAUBER Josef: Podpora manažérského rozhodování v podmínkách rizika a neurčitosti

    ŠLECHTOVÁ Yvona: Primavera Project Planner jako nástroj modelování projektů

    ŠTAUD Karel: Praxe manažerského modelování a systémového myšlení

    DEMOČ Vojtech: Zavádzanie informačných systémov do podnikov drevospracujúceho priemyslu

     

    ISM'99, April 28, 8:30-12:00 CLUB

    BIELIKOVÁ Maria - NÁVRAT Pavol: Team Projects as a Means to Learn Some Aspects of Development Process of Information Systems

    IVASIUTA Oksana - OSIS Janis: An Approach to Comparing System Design Methodologies

    POLČICOVÁ Gabriela: Recommender system for WWW using the Feature Guided Automated Collaborative filtering

    ŠALOUN Petr - ČUDEK Libor: Information System for Testing

    CVRČEK Daniel: Acces Control in Workflow Systems

    KOLÁŘ Dušan: SFC - A Language For Workflow Description

    POMYKAL Erik: Comparative Study of Workflow Process Models

     

    ALL PARTICIPANS, April 28, 13:20-15:30

    Visit of the Valachian Natural Open Air Museum (Skanzen)

     

    Formal methods and tools for simulation, April 28, 15:30-18:30 ROOM 4

    KLOSOW Aleksander - SIELICKI Adam: Application of a Genetic Algorithm for Object Clutering in Databases

    KUBÁTOVÁ Hana: Hardware Implementation of Petri Nets

    KUNOVSKÝ Jiří - POSPÍŠIL Pavel - SEZEMSKÝ Petr: TKSK/C Methodology of Solving PDE

    KWIATKOWSKI Jan - DUCZMAL Piotr: Using Granularity for Evaluation of Parallel Programs

    MIKULÁŠEK Pavel - KUNOVSKÝ Jiří: Exact Computations of Taylorian Initial Problems

    PŘIKRYL Petr: Beauty - Parallel Abstractions in Simulation

     

    Nets, networks, fuzzy logic and simulation, April 28, 15:30-18:30 ROOM 1+2

    ŠNOREK Miroslav: Data Visualization? Why not by Artifical Neural Nets!

    SUCHÝ Jozef - MAJLÁTH Ján: Modelling and Simulation of Kohonen Self-Organizing Feature Maps

    WALKOWIAK Krzysztof: Genetic Algorithms for Backup Virtual Path Routing in Survivable ATM Networks

    ZBOŘIL František: Neural Associative Memories

    JURÁK Štěpán: Statická optimalizace modelu potrubní sítě

    KOSINKIEWICZ Leszek: Simulation of Adaptive Load Sharing with Broadcast in Homogeneous Distributed System

    VAIS Václav - LEDVINA Jiří: A Tool for Fast and Efficient Dependability Modeling of a Distributed Authentication System

     

    MANAM'99, April 28, 15:30-18:30 ROOM 3

    ULRYCH Zdeněk - HORVATH Gejza - VOTAVA Václav: Využití simulace v podnikové logistice

    FIALA Petr: Performance Analysis of Production Systems

    ČECH Vladimír - JEVICKÝ Jiří - MÜLLER Antonín: Vědecké stáří jako subjektivní tok času a jeho důsledky pro kvalifikační složení vědeckopedagogického sboru

    ČERNOCH Felix - HEKŠ Karel: System prognostických modelů LIBUŠE

    MARČEK Dušan: Aplikácia fuzzy množin vo finančníctve

    VÁVRA František - NOVÝ Pavel - ZUZÁK František: Interest Rate Trend Modelling

    JABLONSKÝ Josef: Implementing DEA in modelling systems

     

    ISM'99, April 28, 15:30-18:30 CLUB

    BENEŠ Miroslav: Dynamic Model of Object Types

    HRUŠKA Tomáš - MÁČEL Marcel: G2 - Component Architecture of An Object-Oriented Database Systém

    LOYD-WILLIAMS Michael - COLLINS Janet: Functional Aspects of Object-Oriented Systems Modelling: A Computer Assisted Aproach

    OBLUK Karel: G2 Transaction Model

    OSIS Janis - RUSAKOV Pavel: Concurrency in the Object-Oriented approach: ADA´95 and Java

    VONDRÁK Ivo - SZTURC Roman - KRUŽEL Marcel: BPM - OO Method for Business process Modelling

    KRUŽEL Marcel - VONDRÁK Ivo - SZTURC Roman: Cellular Process and its Reconfiguration with Petri Nets

     

    April 29, 8:30-12:00 ROOM 1

    Formal methods and tools for simulation

    RYŠÁNEK Martin: Load Balancing Techniques for Parallel Simulation

    TYC Otto: Prediction of Path of an Acoustic Signal Source

    URBÁŠEK Milan - ČEŠKA Milan: Categorical approach to Petri nets transformations

    VOJNAR Tomáš: Towards Using State Space of Object-Oriented Petri Nets

    VRBA Pavel: Programovací jazyk BETA - prostředek pro systémovou analýzu

    Knowledge-based simulation,

    LAUBER Josef: Crystal Ball - a new tool for managerial decision under the risk and uncertainty

    OCELÍKOVÁ Eva - KRIŠTOF Ján: Štatistická klasifikácia obrazovej informácie

    ZONGOR Jozef - GUNIŠ Adrian - BORGUĽA Martin: Poradenský systém pro podporu technológa

     

    Application, April 29, 8:30-12:00 ROOM 2

    KINDLER Evžen: Integration of Information Technologies in Maritime Harbor: First Stimuli for Modeling

    NALEPA Jacek: Modelling and Simulation of A/D Converters Operating in Measurements System

    SLEZÁK Miroslav - RÁBOVÁ Zdena: Notes on Modelling Human Activity in Heterogenous Systems

    VOJKU VKA Michal: Prime Factorization on a Quantum Computer

    DEMČÁKOVÁ Blanka, FILIP Marcel, NEVŘIVA Pavel: Detekce úniku media přenášeného produktovodem

    DUBOVEC Juraj: Posúdenie kapacity parku vozidiel pre fyzickú distribúciu pohonných hmô t

    MUZIKÁŘOVÁ Ľudmila - FRANEKOVÁ Mária: Digital Track Circuit Receiver Based on the Cross-Correlation Analysis

    GOLA Mariusz - KASPRZAK Andrzej: On the Optimal Design of Wide Area Network with Combined Cost Criterion - numarical experiments

    ZEMÁNEK Petr: Monitoring and Tuning the Performance of the SCOP Open Server

    Application, April 29, 8:30-12:00 ROOM 3

    HLUCHÝ Ladislav - VIET Dinh Tran - HALADA Ladislav - DOBRUCKÝ Miro: Parallel Numerical Solutions for Graund Water Flow Modelling

    KINDLER Evžen - SKUHRAVÝ Václav: Attempt to Simulation of Forest Calamities by Means of SIMULA

    KOUMAROVÁ Miluše - JÍLKOVÁ J.: Modelování ekonomických dopadů environmentální regulace

    POŽIVIL Jaroslav: The Application of Tabu Search Method to the Waste Minimization through Flowshop Senquencing

    CZERWINSKA Alina: Simulation of cardiac elecrical field in interval ST of ECG cycle

    CZERWINSKA Alina - DOROS Marek - KOLEBSKA Krystyna: Calculating the maps of epicardial isochrones by computer simulation method

    DOROS Marek: Comparison of anatomical types of thorax for simulation of cardiac electrical field

    NEUMANN Jiří - NOVÁK Vladimír: Definovatelnost počátečních podmínek biologického systému

     

    April 29, 8:30-12:00 ROOM 4

    Application

    BOŽEK Pavol - HALAMA Juraj: Identifikácia dynamického systému vykurovania

    TUROŇOVÁ Monika - NEVŘIVA Pavel: Modelování a regulace podlahového vytápění

    ARNOŠT Vladimír: Software Musical Synthetiser

    DRÁBEK Vladimír: A Model of PicoJava CPU Core

    DULÍK Tomáš: An FPGA implementation of Goertzel algorithm

    DVOŘÁK Václav - ČEJKA Rudolf: The CSP-Based Simulation of Interconnection Networks and Routing Algorithms

    SLLAME Azeddien: Componen Reuse and Recursivness in VHDL Modelling: a Practical Experience

    THAI Nguyen Duc - HLUCHÝ Ladislav: Fixed-Priority Servers In Real-Time Systemas

     

    ISM'99, April 29, 8:30-12:00 CLUB

    BÁRTEK Luděk: Phonetic Corpus Based on PHC Format

    BATU ŠEK Robert: Programming Hypertexts in DIALOG

    GRZECH Adam - KOLLEK Rafal : Routing Performance as Dependent on Network Monitoring

    JEŽEK Karel - ZÍMA Martin: Problem of Information Passing in Magic Sets Methods

    NOVITZKÁ Valéria: Systems for Deriving Correct Implementations

    TLOUŠŤ Vojtěch: References and Dereferences in WinBase 602

     

    Final Plenary Session, April 29, 12.00-12.45 CLUB

    TANGUY Alain - KINDLER Eugene: ISIMA and LIMOS

     




    Styles for proceedings of MOSIS'99

    All camera ready papers have to be prepared according to following typing patterns, either using of LaTeX or MS-Word.