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 controlSeptember 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 SystemsSeptember 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 ExperimentsSeptember 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 PackageSeptember 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ů