Final Program of the ASIS 1999

September 14, 10:00-12:00, KH

A. Invited Paper

*HANÁČEK Petr: Bezpečnost informačních systémů

B. Simulation Case Studies and Application

*DZWONKOWSKI Artur: Simulation of Changes of Reliability for Power Transformers in Industrial Power Engineering

*SIELICKI Adam: Simulation of Design Reliability.

September 14, 13:30-18:00, KH

*ELIÁŠ Radek: Využití slovních model; při rozpoznávání objektů

*GREBENÍČEK František: Self-Organization Sparse Distributed Memory - an Application

*CICHOSZ Jacek: Simulation Model of Dialysis Process

*KOPROWSKI Robert - WRÓBEL Zygmunt: Simulation of object of man on the ground of measurements obtained in hydropathy

*MARUŠINEC Jaromír: Artifical Live Models in Virtual Reality

*MOLNÁROVÁ Monika: Multicriterial Control Model of Safety-related Critical Process

*NOVÁK-MARCINČIN Jozef - HAVRILA Michal - PALKO Anton: Verification of Biomechanical Robot Gripper Activity by Simulation at PC

*SOJKA Eduard: Determining the Camera Trajectory, a Step towards Creating a Three-Dimensional Model of a Scene

 

September 15, 08:30-12:00, KH

*PUCHAŁA Edward - WOŻNIAK Michał: Badania symulacyjne genetycznych algorytmów rozpoznawania sygnałl ów EKG (Simulation investigation of genetic pattern (ECG signals) recognition algorithms)

* DRÁBEK Vladimír - VOJKŮVKA Michal: Modelling of Elliptic Curve Cryptography

*WALKOWIAK Krzysztof: Simulation for Comparison of Lost Flow Function Lower Bounds in Survivable Networks

*WOŻNIAK Michał - PUCHAŁA Edward: Simulation of the Expert Reasoning - Probabilistic Case

*SYNEK Petr - ZEMÁNEK Petr: New Architecture of a High Performance Operating System (Using Hard Disk as the Primary Storage)

*KOPICERA Karol - PIECHA Jan - ZYGULA Jaroslaw: The Neural Network Characteristic-selection for Orthopaedics Diagnosis

*PETRUŠKA Pavol - PALKO Anton - NEČEJ Peter: Simulácia činnosti kinematiky ľudskej ruky softvérom ROANS

*KRAWIEC Stanislaw - SKORWINDER Jerzy - CZERWIŃSKI Leszek: Simulation strategies of the crossroad signals control

September 14, 13:30-18:00, R217

C. Education of Modelling and Simulation in Education

*ČECH Vladimír - MÜ LLER Antonín: Modelování podílu externích učitelů na výuce vysokých škol

*ČECH Vladimír - JEVICKÝ Jiří: Simulation Model of Personal development in an Organization

*ČEŠKA Milan: Petriho sítě ve výuce oboru Informatika a výpočetní technika FEI VUT v Brně

*MEVALD Josef - LOUDOVÁ Jana: Výuka modelování a simulace v předmětech aplikované mechaniky

*RACEK Stanislav: Výukové modely distribuovaných počítačových systémů a programů

*ZAVADIL Petr - ECK Vladimír: Simulační modely ve výuce biosystémů

*POZNIAK-KOSZALKA Iwona - RYBA Adam: Modelling of Distinct Systems by Using Sybase Package

*KASZUBA Roman: Using Eucalyptus toolbox in teaching concurrent programming

*PIECHA Jan: The interactive platform for data selection from multimedia sequence

*PIECHA Jan: The interactive CAL resources amd multimedia databases development

September 15, 08:30-12:00, R219

D. Simulation Tools

*KUBÁTOVÁ Hana - RYDLO Pavel: Model of Computer Network with Router Using Design/CPN

*KUNOVSKÝ Jiří - SEZEMSKÝ Petr: Multipoint Aproximations and the Modern Taylor Series Method

* ZBOŘIL František - ONDRÁČEK Tomáš: An Identification of Transfer Function Coefficients of Systems with Time Delay Using a Neural Network

*PERINGER Petr: Design and Implementation of Fuzzy Extension to SIMLIB/C++

* HANÁČEK Petr - RÁBOVÁ Zdena: Interactive Tools for Creation of Assets Model

*VOJNAR Tomáš: Specifying Properties To Be Checked Using Their Object-Oriented Petri Net-Based Models

September 15, 15:00-18:30, R217

E. Parallel and Distributed Simulation

*BIENIASZ Slawomir - CETNAROVICZ Krzysztof: MA-FE-S - System for Simulation Using Agents Acting in Finite Element Environment

*DREZEWSKI Rafal - CETNAROWICZ Krzysztof: Simulation Methodology of the Evolution Process in Multi Agent World with the SWARM Simulation System

*CETNAROWICZ Krzysztof - ZABINSKA Malgorzata - CETNAROWICZ Ewa: A Decentralized Multi-Agent System for Computer Network Reconfiguration

*ŠIMEK Martin: Plánování procesů v distribuovaném výpočetním prostředí

*THAI Nguyen Duc - HLUCHÝ Ladislav: Simulation of Aperiodic Tasks Scheduling in Dynamic Priority Preemptive Systems

September 14, 13:30-18:00, R219

F. Simulation in Hydrodynamics

*NOSKIEVIC Petr: Modelování hydrostatických pohonů v prostředí MATLAB - Simulink

*ŠTEKAUEROVÁ Vlasta: Využitie modelu MACRO na výpočet vodnej bilancie pô dy

*STUDZINKI Jan - BOGDAN Lucyna - CHUDZIK Bronislav: Development of a computer system to support the management of a municipal water network

*ZARZYCKI Zbigniew: Method of Simulation for Liquid Lines Transient

September 15, 15:00-18:30, KH

G. Simulation in Process Control and Process Engineering

*ARABAS Piotr - MALINOWSKI Krzysztof: Hierarchical System for Anti-missile Defense

*ŠOTEK Karel: Simulační podpora rozhodovacích procesů při velkých stavebních akcích na železnici

*BATEŠKOVÁ Eva: Simulácia ako metóda pre overovanie činnosti bionických výrobných systémov

*GOLA Mariusz - KASPRZAK Andrzej: An Approximate Algorithm for Two Criteria CFA Problem in WAN - Numerical Experiments

September 16, 08:30-12:00, KH

*GUTOWSKI Pawel: The Simulation Tests of Machine Tool Supporting System With Respect to Minimalization of Cutting Tool - Workpiece relative vibration

*KVASNICA Peter: Virtualizacia matematickeho modelu lietadla počas riadenia rýchlosti lietadla

*VAŽAN Pavol: Hodnotenie cieľov výroby PVS s využitím simulácie

*GAWRYSZUK Agnieszka - RYBA Przemyslaw - KOSZALKA Leszek: Simulation of Adaptive Control Process by Using MATLAB Package

September 15, 15:00-18:30, R217

H. Simulation in Economy

*DYDUCH Tadeusz - CETNATOWICZ Krzysztof-: Cooperation of the the Virtual Enterprises Via Network

*CHROBAK Jarosl aw - KARBOWSKI Andrzej: Application of Simulation to Optimal Control Generation Process

*KRESLÍKOVÁ Jitka: Cause and Effect Analysis in Software Quality Control Process

*RAKOCZY Witold - ZABINSKA Malgorzata: A Multi-Agent Model of Information Shopping Problem Solution

*ŠARMANOVÁ Jana: Předzpracování dat jako nutná podmínka úspěšného dolování

September 15, 08:30-12:00, R219

I. New Modelling Paradigms

*URBÁŠEK Milan - ČEŠKA Milan: Modelling and Simulation of Parallel Systems Using CCS and Petri Nets: Major Concepts

*KASPRZAK Andrzej: An Approximate Algorithm for some CFA Problem in WAN

*KLOSOW Aleksander: Simulation of an Active Objects Evolution Refered to Genetic Algorithms

*KOLÁŘ Pavel: SFC Validation Via Petri Nets

*MARKL Jaroslav: Hierarchické modely a jejich užití při návrhu systémů