|
Research Institute of Intelligent Computer Systems Ternopil National Economic University |
|
2003, Vol. 2, Issue 3 |
|
Contents and abstracts
Kazuhiro Mizoguchi*, Shinichi Furusho*, Teruaki Kitasuka*, Tsuneo Nakanishi*,**, Akira Fukuda* * Graduate School of Information Science and Electrical
Engineering,
Kyushu University,
An ad-hoc network works without any infrastructures. It consists of wireless mobile nodes .In this paper, we propose an ad-hoc network routing protocol, called FR-DSR(Fast Reconnect Dynamic Source Routing), which is an improved DSR. When a route is disconnected, FR-DSR can reconnect fast by using prepared spare routes. During communication, spare routes are prepared by sending route check packets through routes in a cache, and an additional route request packet is sent if a spare route is broken. We show that FR-DSR gives better performance than DSR through simulation experiments. J. Borkowski*, M. Tudruj*,**, D. Kopanski* * Polish-Japanese Institute of Information Technology,
New parallel program synchronization mechanisms are presented. A specialized synchronizer process, or a hierarchy of such processes, gather information about process states and construct Strongly Consistent Global States, using time interval timestamps. Global predicates evaluated by synchronizers can cause synchronization signals to be sent to processes, the signals trigger asynchronous computation activation or cancellation. The proposed framework is integrated with a message passing system – it is added to the GRADE graphical parallel programming environment to enhance its message-passing based features. Architecture and implementation of the enhancement are discussed. Catalin Bulancea*, Mitica Craus** * Institute for Computer Science, Romanian Academy,
catalinb@academie.is.edu.ro
A graph-based model is proposed for studying interactions and evolution in infection process. There are defined and tested mutational and decisional structures for pathogen agents and a reaction mechanism for the host. MPI and C# implementations were used to make some simulations. The results have shown that artificial system evolution is closed to the evolution of the real system. Sabin Buraga*, Sinica Alboaie**, Lenuta Alboaie*,** * Faculty of Computer Science, “A.I.Cuza” University of Iasi,
This paper presents different XML-based techniques for exchanging information between the constituents of a multi-agent system. We expose a multi-agent infrastructure – called Omega – that can be considered as a hierarchical space of distributed objects set those models the Web resources. We suggest an XML/RDF-based model that can be used as a common approach for serialization and metadata description of the objects processed by the agents. Diverse relationships that can be established between the entities of a multi-agent system will also be expressed by different RDF constructs. Violeta Felea, Bernard Toursel LIFL (UMR CNRS 8022) - University of Science and Technology
of Lille
In the context of heterogeneous networks, like clusters of workstations, the design of programming and execution environments aims to automatically adapt execution to fluctuations that may appear in the execution of distributed and parallel Java applications. ADAJ, Adaptive Distributed Applications in Java, addresses this problem, dealing with both parallelism and distribution features. Ease of programming is achieved through an object and method parallelism paradigm. The trade-off between transparency of such a parallelism expression and efficiency is solved by application redeployment, meant to maintain a good performance level. This is the purpose of the load balancing in ADAJ, a dynamic and transparent tool at the middleware level, which exploits information issued from observation of the application, in order to consider both object activity and communication patterns. Communications generate attraction relations between objects and this article presents the evaluation of the load balancing mechanism for a type of asynchronous applications in which the communication aspect is important. CLUSTER COMPUTING OF HIGH FREQUENCY ELECTROMAGNETIC FIELD PROPAGATION Wojciech Walendziuk*, Jaroslaw Forenc**, Andrzej Jordan*** * Bialystok Technical University, Wiejska 45D Street, 15-351
Bialystok,
POLAND
The paper presents parallel implementations of the FDTD (Finite Differences Time Domain) method in cluster systems of PC’s. Those two- and three- dimensional algorithms are based on the stripes decomposition of the analyzed area. What is more, the communication among particular computation nodes building the cluster system is discussed. On the basis of the obtained results, the analysis of the efficiency of the presented algorithms was done. Catalin Hritcu, Iulian Goriac, Raluca Mihaela Gordan, Elena Erbiceanu Faculty of Computer Science, “Al. I. Cuza” University of
Iasi,
Romania
The aim of this paper is twofold. First, we present the basic principles and point out the main difficulties in writing a library supporting operations with arbitrarily large numbers. Aspects such as library structure, number representation, algorithm selection, memory management, etc., are discussed and exemplified on the most efficient libraries developed. Secondly, we present work in progress regarding the design of a new multi-precision library, MpNT. Comparisons between our library and the existing ones show that it achieves high performance. Sorin Iftene Faculty of Computer Science, "Al. I. Cuza" University, Iasi,
Romania
Exponentiation is a fundamental operation in computational number theory. Primality testing and cryptography are important working fields in which the exponentiation is heavily used. In this paper we survey the most popular methods for modular exponentiation: basic techniques, fixed-exponent techniques, fixed-base techniques, and techniques based on modulus particularities. Some aspects related to parallelism are also discussed. Majid Ali Khan*, Shankar K. Vaithianathan**, Kresimir Sivoncik*** and Ladislau Boloni**** * School of Electrical Engineering and Computer Science,
University
of Central Florida, khan@bond.cs.ucf.edu
This paper presents an agent oriented approach for grid computing. As opposed to existing approaches, agent technology promises a more flexible approach, easier installation and management of the grid framework, and better ability to autonomously recover from failures. The semantically rich, ontological description of the grid applications, services and resources opens the possibility for better monitoring and resource management, and better user interfaces – both for customers and service providers. Marius Minea, Cornel Izbasa, Calin Jebelean * Institute e-Austria Timisoara, Bd. V. Parvan 4, 300223
Timisoara,
Romania
This paper presents a case study in the application of formal methods to the verification of communication protocols. We analyze one component block of telephone switching software developed in the SDL language at Alcatel Network Systems Romania. We use the IF toolset from VERIMAG Grenoble to build a state-transition model of the system and verify selected properties. We present the steps performed for translation and verification and discuss the potential for automating the process and using it on a larger scale. Miki Sirola Helsinki University of Technology Laboratory of Computer and
Information
Science
Decision making is mostly based on decision concepts and decision models built in decision support systems. Type of decision problem determines application. This paper presents a conceptual decision model that utilises rule-based methodologies, numerical algorithms and procedures, statistical methodologies including distributions, and visual support. Selection of used decision concepts is based on case-based needs. Fine tuning of the model is done during construction of the computer application and analysis of the case examples. A kind of decision table is built including pre-filtered decision options and carefully chosen decision attributes. Each attribute is weighted, decision table values are given, and finally total score is calculated. This is done with a many-step procedure including various elements. The computer application is built on G2 platform. The case example choice of career is analysed in detail. The developed prototype should be considered mostly as an advisory tool in decision making. More important than the numerical result of the analysis is to learn about the decision problem. Evaluation expertise is needed in the development process. The model constructed is a kind of completed multi-criteria decision analysis concept. This paper is also an example of using a theoretical methodology in solving a practical problem. AN APPROACH FOR DETERMINING THE PERIODICITY OF REGULATION WORK OF RISK TECHNICAL SYSTEMS Nikolay Petrov Prof. Assen Zlatarov University – Bourgas, Bulgaria, nikipetrov@lycos.com The estimation of the regulation work periodicity of the risk technical systems is an extremely important moment for its technical service. Many scientific publications concern this problem but most of them deal with a service process for an infinite technical exploitation period. In the present paper a solution of the problem for a limited interval of technical exploitation is suggested. A reliability model of the observed process is developed as the intensity of the failure flux is chosen for a reliability criteria. V.P. Shyrochin*, I.V. Vasyltsov**, B.Z. Karpinskij** * Informatics and Computer Technique Department, National
Technical
University “Kyivsky Politechnichnyy
The analysis of the statistical parameters of feedback with carry shift register (FCSR) quasi-random generator has been done. For the investigation were chosen 8 – bits and 9-bits registers. Were investigated the period of the generator and distribution of “one” and “zero” values. Additionally, the generated sequences where tested by NIST STS package. THE SYSTEM OF VIDEO-DATA PROCESSING FOR THE AUTONOMOUS CONTROL OF MOBILE ROBOT Denis Vershok*, Rauf Sadykhov*, Andrei Selikhanovich*, Klaus Schilling**, Hubert Roth** * United Institute of Informatics Problems National Academy
of
Sciences
of Belarus, System Identification Laboratory,
This paper describes the system of video-data processing based on monocular vision for autonomous control of mobile robot. The system allows detecting obstacles in a robot environment modeled as a set of straight-line segment. The given system consists of three basic stages and uses original algorithms, ensuring the required precision and realization of the system in the real time. The first stage uses a fast edge detection algorithm on the basis of two-dimensional Walsh transform. The algorithm of modified Hough transform is used for detection of straight-line segments. The third stage “egment tracking” uses Kalman filtration for tracking segments in a monocular sequence of images. Jan Fischer*, Tomas Radil** Czech Technical University in Prague, Faculty of Electrical
Engineering,
A simple, flexible and programmable line-scan CCD camera is presented in this paper. This camera is designed for measurement purposes such as dimension and position measurements. Camera enables implementation of various signal-processing algorithms as well as usage of various types of CCD sensors. Andriy Kot*, Nikos Chrisochoides** * The College of William and Mary, PO Box 8795 Williamsburg
VA 23187
USA, kot@cs.wm.edu,
In this project, we investigate the feasibility of using outdated machines with slow processors for tolerating disk latencies for computation and data intensive parallel adaptive and irregular applications. Wieslaw Winiecki Institute of Radioelectronics, Warsaw University of
Technology
A generic architecture of a networked Distributed Virtual Measurement Instrument (DVI) is presented. General assumptions for distributed design of networked DVI’s are described. The generic architecture of a distributed, networked and platform-independent environment for DVI designing, together with the generic methodology for distributed designing of networked DVI is proposed. Currently employed DVI design methodologies are presented and assessed. Rahat Iqbal, Anne James, Richard Gatward School of Mathematical and Information Sciences
A variety of computer based information systems are used to support the activities in an academic environment. These systems are used for conducting lectures, designing and reviewing modules, designing and writing assignments, laboratory work, and computer based assessment. The systems are typically designed from scratch if the existing systems do not meet the requirements. This incurs significant costs, and inconvenience. This paper reports on work concerning the integration of existing computer based systems which is formally known as computer supported cooperative work (CSCW) in order to support every day activities. A framework for CSCW integration is presented. A integrative methodology based on this framework is proposed. An example application scenario involving integration of asynchronous application of our university is discussed. Valerij Dudykevych*, Andrian Piskozub**, Igor Lomnytskyj*** * Doctor of Technical Sciences, professor, National
University
“Lvivska
Polytechnica”,
This article is dedicated to the use of firewalling method and intrusion detection method, which can be applied both separately and together to computer systems and networks, to expedience of the use of that or other method, tools, that perform these methods. We will try to carry out the analysis of the modern state of security questions in computer networks, to give recommendations how to attain the greatest level of protection of computer systems and networks by most effective way – within the shortest time interval, with minimum financial expenditures. Mykola Karpinskyy*, Yaroslav Kinakh** * Professor, Universytet Bjelsku-Bjala, Poland, E-mail:
mk@yahoo.com
This article deals with the RSA encryption algorithm. Its safety is analyzed using the number field sieve method. The algorithm work results allow to define a define a secret key in a simple way. Tarek Sobh, Raul Mihali, Puneet Batra, Amit Singh, Sudip Pathak, Tomas Vitulskis, Andrew Rosca School of Engineering, 221 University Avenue, Bridgeport, CT
06601,
U.S.A.
Chances
are
that distance learning will transparently extend colleges and
institutes
of education and could plausibly overtake and turn into a preferred
choice
of higher education, especially for adult and working students. The
main
idea in e-learning is to build adequate solutions that can assure
educational
training over the Internet, without requiring a personal presence at
the
degree offering institution.
Lyudmyla Bartkova, Frederick Satkowiak Ternopil Academy of National Economy
How does industry effect on the environment cause health problems among the population? What levels of pollution affect the health of the population? Can the effects be measured, predicted, or controlled? Can the costs of health care be predicted based on ecological factors? Is there any correlation between the health of a population and environmental factors? The hypotheses as for the correlation between integrated ecological and social-economical factors and expenses caused by industry on environment are represented in the paper. The verifying of the hypotheses is illustrated by means of the concrete examples. Venkateswarulu Cheruku*, Sumanth Yenduri**, S.S. Iyengar*** * Software Engineer, Infosys Technologies Ltd, Hyderabad,
India,
Venkateswarlu_C@infosys.com
Image classification is one of the major aspects in digital image analysis of remotely sensed data. In this paper, we present the effects on classification accuracy if improved thermal data are used instead of raw thermal data. We use two methods, Artificial Neural Networks (ANN) and Maximum Likelihood Approach (MLH) to demonstrate our purpose. Using each method different combinations of raw and improved data are tested to classify in order to compare the accuracies. As a final note, the findings are discussed. Zoran H. Peric, Daniela M. Milovic Faculty of Electronic Engineering,
In this paper, simple and complete asymptotical analysis is given for a piecewise uniform product polar quantizer (PUPPQ) with respect to mean-square error (MSE) i.e. distortion (D). PUPPQ is based on uniform product polar quantizers. PUPPQ consists of L different uniform product polar quantizers. Uniform product polar quantizer conditions for optimality and all main equations for number of phase divisions and optimal number of levels for each partition are presented. These systems, although not optimal, may have asymptotic performance close to the optimum. Furthermore, the analysis and implementation can be simpler than those of optimal systems. PUPPQ has implementation complexity between optimal nonuniform polar quantization (NPQ) and uniform product polar quantization (UPPQ). The gain of PUPPQ over optimum uniform product polar quantization is also obtained (2 dB for the rate of 8 bits/sample). Yefim Kats Assistant Professor in Computer Information Systems
This paper examines an impact of the growing intelligent agent technologies and the Semantic Web on the phenomenon of e-commerce. We discuss the problems – technical as well as legal – arising from the emergence of the new forms of intelligent software and consider the possible solutions. In particular, we review how the integration of the Semantic Web and intelligent agents can provide a new environment for the secure and scalable e-commerce applications |