«INFORMATICS AND APPLICATIONS»
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, email@example.com
- V.A. Serebryakov Dorodnicyn Computing Center of the Russian Academy of Sciences, firstname.lastname@example.org
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
- O. P. Arkhipov IPI RAN, Orel Branch, email@example.com
- Z. P. Zykova IPI RAN, Orel Branch, firstname.lastname@example.org
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
- V.A. Krylov Department of Mathematical Statistics, Faculty of Computational Mathematics and Cybernetics, M. V. Lomonosov Moscow State University, email@example.com
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, firstname.lastname@example.org
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
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, email@example.com
- S. Frenkel Institute of Informatics Problems RAS, firstname.lastname@example.org
- 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, email@example.com
- S.A. Soldatov Limited Liability Company "Lighton,"Moscow, firstname.lastname@example.org
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, email@example.com
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, firstname.lastname@example.org
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, email@example.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
- K.G. Chuprakov Institute of Informatics Problems of the Russian Academy of Sciences, firstname.lastname@example.org
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