Eng | Rus

“Informatics and Applications” scientific journal

Volume 2, Issue 3, 2008

Content   Abstract and Keywords   About Authors

STRUCTURAL MATRIX SYSTEMS DECOMPOSITION

  • A. Olenin.  IPI RAN, aolenin@yandex.ru

Abstract:  One of possible approaches to matrix systems parallelizing by their structural decomposion on the set of subsystems independent at the certain stage of calculations is considered. The constructive algorithm of the decomposition method is formulated and the estimation of its computing expenses is given.

Keywords:  matrix system; band matrix; full matrix; triangular matrix; block tridiagonal matrix; decomposition; partition vector; partition interval; factorization; LU-algorithm; parallelizing

CONCURRENT DESIGN AND VERIFICATION OF DIGITAL HARDWARE

  • S. Baranov.  Holon Institute of Technology, Holon, Israel, samary@012.net.il
  • S. Frenkel.  Institute of Informatics Problems,Moscow, Russia, slf-ipiran@mtu-net.ru
  • V. Sinelnikov.  Holon Institute of Technology, Holon, Israel, samary@012.net.il
  • V. Zakharov.  Institute of Informatics Problems,Moscow, Russia, VZakharov@ipiran.ru

Abstract:  The main goal of this paper is to present a new design verification methodology for complicated digital systems, designed by high-level synthesis. This methodology is based on Algorithmic State Machine (ASM) transformations (composition, minimization, extraction, etc.), special algorithms for Data Path and Control Unit (CU) design, and very fast optimizing synthesis of finite state machines (FSM) and combinational circuits with hardly any constraints on their size, that is, the number of inputs, outputs, and states. Design tools supporting this methodology allow very fast implement, check and estimate many possible design versions, to find an optimized decision of the design problem and to simplify the verification problem for digital systems. In contrast to existent semi-formal approaches to verification of industrial systems, based on combination of simulation and formal verification approaches, a formalized method based on concurrency of synthesis and verification that is providing regular efficient way to verify the system designed properties starting from its semi-formal specification up to field programmable gate array (FPGA) implementation is considered.

Keywords:  digital systems design; formal verification; finite state machine

COST FUNCTION OF RESOURCES IN ECONOMICALMODEL OF GRID CONTROL

  • Y.M. Agalarov. IPI RAN, YAgalarov@ipiran.ru

Abstract:  A problem of profit maximization for owner of GRID local node resources with economical model of control, in which the assigned resources for external user are paid and payment amount is dependent on supply and demand of resources is considered. In the model, the queue of global tasks is formed only in GRID resources programming center that performs search and selection of resources, and task sending to resources is performed simultaneously with it reservation and selection. A cost function of resources that allows the owner to efficiently allocate the resources of GRID local node between global and local tasks is proposed. The results of analytical investigation of the considered problem and computer-modeling-based comparative analysis of the proposed approach are presented.

Keywords:  GRID; model resourse allocation; multiprocessor tasks; owner of resources; Markov process; strategy

MULTICHANNEL QUEUEING SYSTEMWITH A FINITE BUFFER, A LOCKOUT OF AN INPUT FLOW, AND A KNOCKOUT OF CUSTOMERS FROMTHE BUFFER

  • V. Chaplygin. IPI RAN, vchaplygin@ipiran.ru

Abstract: A multichannel queueing system with a finite buffer, a lockout of a semi-Markovian input flow, and a knockout of customers from the buffer by a first customer arrived into the system over the period when the input flow is unlocked is considered. The periods of lockout and the periods when the input flow is unlocked have an exponential distribution with different intensities. The main stationary characteristics such as a queue distribution, a loss probability, and a mean sojourn time are found.

Keywords: :  queueing system; semi-Markovian input flow; knockout of customers

SERVICE-ORIENTED APPROACH TO MULTIMODAL BIOMETRICS DESIGNING

  • O. S. Ushmaev. IPI RAN, oushmaev@ipiran.ru

Abstract: Novadays,multimodal biometrics is rapidly replacing tedious procedures of identification. Particularly operating and perspective civil IDsystems use multimodal approach. The formalmethod for designing high-speedmultibiometric technologies and systems is suggested. The effectiveness of the approach is shown by an example of developed experimental software with service-oriented architecture.

Keywords:  biometric identification; multimodal biometrics; platform independent; service-oriented architecture

PERSONAL AND COLLECTIVE CONCEPTS REPRESENTATION IN THE DIGITAL SPHERE

  • I.M. Zatsman.  IPI RAN. im@a170.ipi.ac.ru
  • V. V. Kosarik.  IPI RAN. valery@a170.ipi.ac.ru
  • O.A. Kurchavova.  IPI RAN. koa@a170.ipi.ac.ru

Abstract: Key issues of the 7th Framework program documents of the European Union accepted for the period 2007-2013 are analyzed. This programcontains formulations of some new directions referring to the knowledge representation problem in information systems of long-term use. The results of the analysis allow us to assert that simultaneously with a traditional informatics problem covering representation, storage, and extraction in the digital sphere of already available knowledge and meeting technological economic, educational, and other socially significant challenges, there is a problem of generation of new goal-oriented knowledge systems when available knowledge systems do not satisfy these challenges and from this point of view are incomplete. The new way to personal and collective concepts respresentation in the digital sphere and also stages of concepts evolution in the process of generation of new goal-oriented knowledge systems is offered.

Keywords:  personal, collective and conventional concepts; lasting and volatile concepts; personal and collective concepts representation in the digital sphere

TOWARDS THE 25TH ANNIVERSARY OF IPI RAN

  • I.A. Sokolov.  IPI RAN. isokolov@ipiran.ru
  • V.N. Zakharov.  IPI RAN. vzakharov@ipiran.ru

    Abstract:  The history of IPI RAN creation, its general characteristics, main stages of development are presented. The evolution of the main directions of scientific researches is considered. Main fundamental and applied results obtained during 25 years are described.

    Keywords:  Institute of Informatics Problems RAS; 25 years; history; directions of scientific researches

     

RUS