Институт проблем информатики Российской Академии наук
Институт проблем информатики Российской Академии наук
Российская Академия наук

Институт проблем информатики Российской Академии наук




«INFORMATICS AND APPLICATIONS»
Scientific journal
Volume 4, Issue 4, 2010

Content | Bibliography | About  Authors

Abstract and Keywords.

LibMeta - DIGITAL LIBRARYMANAGEMENT SYSTEM.

  • A.A. Zakharov  Dorodnicyn Computing Center of the Russian Academy of Sciences, andreya@sufler.ru
  • V.A. Serebryakov  Dorodnicyn Computing Center of the Russian Academy of Sciences, serebr@ccas.ru

Abstract: The problems of modern digital libraries (DLs) creation are addressed. General requirements on integration with external data sources and standartization are proposed among with some means to satisfy them. Leading world standards for DLs are considered. As a result of practical implementation of studies, DL management system LibMeta is presented as an universal tool for DL creation.

Keywords:  digital libraries; distributed information system

INTEGRATION OF HETEROGENEOUS INFORMATION ABOUT COLOR PIXELS AND THEIR COLOR PERCEPTION.

  • O. P. Arkhipov  IPI RAN, Orel Branch, ofran@orel.ru
  • Z. P. Zykova  IPI RAN, Orel Branch, ofran@orel.ru

Abstract:  The problem of integration of heterogeneous information about color pixels, their transformation in user computer system, standard and individual color perception of user in uniform information and communication environment has been considered. It is necessary to solve this problem in order to create special easy-adaptable to system components program-technical tools, providing the adequate perception by arbitrary users of output on peripheral devices of PC. When solving the problem, the new representation methods and analysis of heterogeneous (quantitative and qualitative) information on bounded color spaces, multicriterion choice for prediction of difference in color information and pixels classification for structuring of color spaces are used.

Keywords:  color space; chromatic sensation; color perception space; anomaly of color vision; partial color blindness; RGB-characterization

MATHEMATICAL MODEL AND HUMAN POSE RECONSTRUCTION METHOD BASED ON STEREOMATE IMAGE SILHOUETTES.

  • A. Tsiskaridze  Moscow Institute of Physics and Technology, AchikoTsi@gmail.com

Abstract:  A problem of locally symmetric object reconstruction based on a stereomate of silhouettes when occlusion is absent is discussed. Two models of an object are considered. In the first model, an object is described as a union of fat spatial curves and a method of restoration of such objects is presented. In the second case, an object is described as a joint model and a fitting method based on a stereomate of silhouettes is proposed. The methods are based on a construction of continuous skeletons. The methods have been compared for human body pose reconstruction.

Keywords:  stereore construction; skeleton; cylindrical objects; joint model; medial axes

MODELING AND CLASSIFICATION OF MULTICHANNEL REMOTELY SENSED IMAGES VIA COPULAS.

  • V.A. Krylov  Department of Mathematical Statistics, Faculty of Computational Mathematics and Cybernetics, M. V. Lomonosov Moscow State University, vkrylov@cs.msu.ru

Abstract:  A novel approach to modeling of multichannel remotely sensed images is proposed. This approach suggests to use the classical statistical probability distribution estimation methods for single channels and then the construction of the joint probability distribution of amultichannel image via copulas. An integration of the developed copula-based approach with aMarkov random field model is proposed for supervised Bayesian image classification. Experiments with real remotely sensed images captured by a synthetic aperture radar demonstrate high accuracy classification results proving the efficiency of the developed approach as compared to state-of-the-art methods.

Keywords:  multichannel image; copula; Markov random field; Bayesian classification

COMMUNICATION BETWEEN TIME AND STRUCTURAL-TOPOLOGICAL CHARACTERISTICS OF HEALTHY PEOPLE HEART RHYTHMDIAGRAMS.

  • А.A. Kuznetsov  Vladimir State University, artemi-k@mail.ru

Abstract: According to 628 electrocardiogram registration at 177 healthy and ill people, the comparative analysis of parameters of real and virtual heart rhythm diagrams for a regulation system influence estimation on a heart rhythm is carried out. Between diagrams parameters and information entropy in conditions of discrete seasonal adaptation, functional communications are determined. "Organism functional condition formulas" connecting a heart rhythm diagram macrostructure parameters with its storey microstructures parameters are offered. It is revealed that the mode of a healthy person heart rhythm without sex dependence has a calendar year cycle, during which it three times discretely varies.

Keywords:  heart rhythm diagram; organism functional condition; storey structure; information entropy; quantity of the information

SEMIFORMAL VERIFICATION FOR PIPELINED DIGITAL DESIGNS BASED ON ALGORITHMIC STATEMACHINES.

  • S. Baranov  Holon Institute of Technology,Holon, Israel, samary@012.net.il
  • S. Frenkel  Institute of Informatics Problems RAS, fsergei@mail.ru
  • V. Zakharov  Institute of Informatics Problems RAS, VZakharov@ipiran.ru

Abstract: The method and tools to use Algorithmic State Machine (ASM) formalism for high-level specification of complex digital designs and their Model-Checking-based verification are described. This methodology is based on the possibility of hierarchical description of the target digital designs at algorithmic level of abstraction, and ability to generate finite state machines (FSM) models of the systems from the ASM flowcharts. The software tool was developed for automatic generation of SMV (Symbolic Modes Verifier) codes from the ASMs and corresponding FSMs. A way of this approach application to design verification is demonstrated for a pipelined microprocessor.

Keywords:  formal verification; Model Checking; finite state machines

COORDINATION ALGORITHM FOR HYBRID INTELLECTUAL SYSTEM SOLUTIONS OF A COMPLEX PROBLEM OF OPERATIONAL INDUSTRIAL PLANNING.

  • A. V. Kolesnikov  Department of Computer Modeling and Information Systems, "Immanuel Kant Russian State University;" Kaliningrad Branch of the IPI RAN, avkolesnikov@yandex.ru
  • S.A. Soldatov  Limited Liability Company "Lighton,"Moscow, ssa@west-automatica.com

Abstract:  The problem of operational industrial planning at the machine-building enterprise with custom-made, small-scale character of manufacture is considered and the approach to the solution of similar problems on the basis of methodology of functional hybrid intellectual systems with coordination is described. The description of practical realization of hybrid intellectual system and the short analysis of the received results are given.

Keywords:  machine-building enterprise; problemof operational planning; coordination; hybrid intellectual systems

STATIONARY CHARACTERISTICS OF THE TWO-CHANNEL QUEUEING SYSTEM WITH REORDERING CUSTOMERS AND DISTRIBUTIONS OF PHASE TYPE.

  • S. I.Matyushenko  Department of Probability Theory and Mathematical Statistics, Peoples' Friendship University of Russia, matushenko@list.ru

Abstract:  The two-channel finite-capacity queueing system with the distributions of phase type and reordering customers is considered. The Laplace-Stieltjes transform of the distribution function that characterizes the delay of reordering is obtained. The algorithm is developed to calculate the factorial moments of the number of customers being at the buffer of reordering.

Keywords:  queueing system; distributions of phase type; reordering customers

NORMAL APPROXIMATION FOR DISTRIBUTION OF RISK ESTIMATE FOR WAVELET COEFFICIENTS THRESHOLDING WHEN USING SAMPLE VARIANCE.

  • O. V. Shestakov  Department of Mathematical Statistics, Faculty of Computational Mathematics and Cybernetics, M.V. Lomonosov Moscow State University, oshestakov@cs.msu.su

Abstract: The asymptotic properties of risk estimate for thresholding wavelet coefficients of signal function are analyzed. Some estimates for rate of convergence to the normal law are obtained.

Keywords:  wavelets; thresholding; risk estimate; normal distribution; rate of convergence

ESTIMATES FOR CONVERGENCE RATE OF DISTRIBUTIONS OF RANDOM SUMS WITH INFINITELY DIVISIBLE INDICES TO THE NORMAL DISTRIBUTION.

  • S. V. Gavrilenko  Department of Mathematical Statistics, Faculty of Computational Mathematics and Cybernetics, M.V. Lomonosov Moscow State University, gavrilenko.cmc@gmail.com

Abstract:  New estimates for convergence rate of distributions of random sums with infinitely divisible indices were obtained. These estimates remain true under weaker conditions than the known ones. As an example of this result, the article contains estimates of the accuracy of the normal approximation for the distribution functions of random sums with indices that have negative binomial distribution.

Keywords:  random sum; integer-valued infinitely divisible distribution; generalized Poisson distribution; negative binomial distribution; normal approximation

ON COLLECTIVE DISPLAY FACILITIES PLACED IN A SITUATIONAL HALL WITH PRESCRIBED PARAMETERS.

  • K.G. Chuprakov  Institute of Informatics Problems of the Russian Academy of Sciences, chkos@rambler.ru

Abstract: There are some dependences between main parameters of situational (or congress) hall. It is possible to link the diameter of hall (the largest distance between any two points of the hall), the informativity of demonstrated on screen content, the quantity of people working with a screen and also screen dimensions. The base for describing these dependences are the recommendations fixed in the Russian state standards and simple geometric considerations.

Keywords:  visualization systems; situational hall; good observation area; algebraic dependences