Advanced Computer Systems

by Soldek, Jerzy; Pejas, Jerzy

• ISBN13: 9780792376514
• ISBN10: 079237651X
• Format: Hardcover
• Copyright: 2002-02-01
• Publisher: Kluwer Academic Pub

Summary

Advanced Computer Systems is a collection of forty selected papers presented to the Eighth International Conference on Computer Systems, October 2001 in Mielno, Poland. These papers provide a comprehensive summary of practice and research progress in information technologies: Recognition, Security and Safety concentrates on the widely-known problems of information systems security. These chapters show the new cryptographic data protection algorithms, methods for recognition of individual biometric characteristics, which can be easily used in authorizing secure procedures for the users information systems. Methods of Artificial Intelligence presents methods and algorithms which are the basics for the applications of artificial intelligence environments. These chapters include fuzzy classifiers to analyze statistical data in the economic area, genetic algorithms applications to synthesize neuron and fuzzy regulators, and the fuzzy set theory for experts systems. Intelligent Agents and Distributed Activities includes laboratory research on multiagent intelligent systems as well as upon their applications in searching information, negotiating and supporting decision. An adaptive knowledge system is also presented here as a basis of a multiagent system. Tools for creating remote teaching systems (XML language, Petri Networks) and problems to support remote teaching by means of a knowledge base are also discussed. Distributed Productions Networks and Modeling Complex Systems present production processes in distributed shared virtual environment, virtual solution of integer optimization problems, and a queuing approach to performance optimization in the distributed production network. Attention is also paid to complex dynamic economic and engineering systems.

Table of Contents

Preface	ix
Chapter 1 Methods of Artificial Intelligence
GISELLA FACCHINETTI
Fuzzy Expert Systems: Economic and Financial Applications	3	(24)
ANNA BARTKOWIAK, KRYSTYNA ZIETAK
Backprojection of data vectors using a given covariance matrix	27	(12)
BURAKPV M. V. KONOVALOV A. S.
Peculiarities of Genetic Alogrithm Usage When Synthesizing Neural and Fuzzy Regulators	39	(10)
MARCIN PLUCINSKI
Application of the Probabilistic RBF Neural Network in Multidimensional Classification Problems	49	(10)
VLADIMIR MOISEEV
Visual Solution of Integer Optimization Problems	59	(14)
JOANNA ZDZIAREK
Two methods of robust estimation of a covariance matrix - a practice study for some liver data	73	(16)
ADAM SZUSTALEWICZ
Visualisation of multivariate data using parallel coordinate plots and Kohonen's SOM's. Which is better?	89	(10)
MICHAL PLACZYNSKI, PIOTR PECHMANN
Application of semantic analysis of Polish speech for purpose of automatic gender identification	99	(10)
Chapter 2 Intelligent Agents and Distributed Activities
NAGASE AKIHIRO, KOBAYASHI SHIN-YA, YAMDA HIROYUKI
Agent Based Freight Distrbution System	109	(12)
SHUNSUKE KUHARA, SHIN-YA KOBAYASHI
Improvement of The User Interface for Autonomous Load Distributing Algorithm	121	(10)
RUI MANNUEL COELHO
The ROLCoDE framework used in a computational distributed calculation	131	(8)
OREST POPOV, ROGER LALANNE, GUY GOUAR0ERES, ANTON MINKO, ALEXANDER TRETYAKOV
Some Tasks of Intelligent Tutoring Systems Design for Civil Aviation Pilots	139	(10)
CLAUS J. S. KNUDSEN, AMBJORN NAEVE
Presence Production in a Distributed Shared Virtual Environment for Exploring Mathematics	149	(12)
OLEG JAUKIN, PRZEMYSLA WKORYTKOWSKI
Basic workflow model at distributed intelligent production and its verification	161	(10)
JACK BRZEZINSKI, MICHAEL DAIN
MEME: An Adaptive Email-based Knowledge Sharing System for Educational Institutions	171	(12)
Chapter 3 Distributed Production Networks and Modelling Complex Systems
EDUARD PESIKOV
Models and Methods of Optimal Planning of Sales Volume for Manufacture With Probability Character of Technological Process	183	(14)
MICHAIL FEDOOROV
Approximation-Decomposition Method for Modelling Thermal Systems	197	(10)
MARIA ANABELA COELHO
An analysis of performance of CAN (Controller Area Network) Fieldbus	207	(14)
BOZENA SMIALKOWSKA
Effective Methods of Temporal Data Representation in Data Warehouse System	221	(14)
RYSZARD BUDZIÑSKI, TOMASZ ORDYSIÑSKI
Outsourcing it and Virtualization in E-Business Solutions (Selected Issues)	235	(16)
ALEXANDR P. TARIOV, TOMASZ MAKA, EDUARD MELNIC
Algorithmic Models for Supervectoring Calculation in Solving Base DSP Problems	251	(16)
Chapter 4 Computer Graphics and Pattern Recognition
KAROL MYSZKOWSKI
Perception-Driven Global Illumination and Rendering Computation	267	(22)
ANDRZEJ WOJDALA, MAREK GRUSZEWSKI, RYSZARD OLECH
Real-Time Shadow Casting in Virtual Studio	289	(14)
MILOSLAW SMYK, MAGDALENA SZABER, RADOSLAW MANTIUK
JaTrac - an exercise in designing educational raytracer	303	(10)
GEORGI KOUKHAREV, TOMASZ PONIKOWSKI, LIMING CHEN
A Few Approaches To Face Detection In Face Recognition Systems	313	(12)
Chapter 5 Computer Security and Safety
JAKUB MILER, JANUSZ GÓRSKI
Software support for collaborative risk management	325	(10)
ANNA GÓRSKA, KAROL GÓRSKI, ZBIGNIEW KOTULSKI, ANDRZEJ PASZKIEWICZ, JANUSZ SZCZEPANSKI
New Experimental Results in Differential - Linear Cryptanalysis of Reduced Variants of DES	335	(14)
MIROSLAW KURKOWSKI
A Complete Logic of Authentication	349	(12)
ANNA GROCHOLEWSKA-CZURYLO, JANUSZ STOKLOSA
Generating Bent Functions	361
JERZY PEJAS
Multilevel Lattice-Based Authorization in Distributed Supervisory and Control Systems	311	(72)
GIZELS JAKUBOWSKA, MARIAN SREBRNY
Specification of timed authentication protocols with colored Petri nets	383	(10)
ZBIGNIEW LONG, MARIAN SREBRNY
A Combinatorial Algorithm for Sharing a Key	393	(8)
WOJCIECH DOBRZANSKI, ARTUR SOROCZUK, MARIAN SREBRNY, MATEUSZ SREBRNY
Distributed Password	401	(18)
Chapter 6 Logic Synthesis and Simulation
PEER JOHANNSEN, ROLF DRECHSLER
Utilizing High-Level Information for Formal Hardware Verification	419	(14)
DRAGAN JANKOVIC, RADOMIR S STANKOVIC, ROLF DRECHSLER
Tabular Techniques for MV Logic	433	(16)
ARKADIJ ZAKREVSKIJ, ANDREI KARATKEVICH, MARIANADAMSKI
A Method of Analysis of Operational Petri Nets	449	(12)
V. BELETSKYY, K KRASKA
Method and Validation for VHDL Case Statement Optimization	461	(20)
THOMASZ WIERCINSKI
Algorithms of Generation Boolean Equations for a Multiplication Operation	481	(8)
KOICHI KASHIWAGI, SHIN YA KOBAYASHI
Consideration of Task's Deadline for Scheduling Method with Used Processors Limitation	489	(10)
Author Index	499