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

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



«Systems and Means of Informatics»
Scientific journal
Volume 25, Issue 2, 2015

Content | About  Authors

Abstract and Keywords.

MATHEMATICAL SOFTWARE FOR NORMAL PROCESSES MODELING IN STOCHASTIC SYSTEMS WITH COMPLEX IRRATIONAL NONLINEARITIES.
  • I. N. Sinitsyn
  • V. I. Sinitsyn
  • I. V. Sergeev
  • E. R. Korepanov
  • V. V. Belousov
  • V. S. Shorgin

Abstract:  Mathematical software for normal stochastic processes (StP) analytical and statistical modeling in differential and difference (discrete) stochastic systems (StS) on manifolds with complex irrational nonlinearities (CIRN) of scalar and vector argument is considered. Typical CIRN and its discrepancy expansions are presented. Equations for the normal approximation method (NAM) and the statistical linearization method (SLM) for normal StP analytical modeling are given. Typical NAM(SLM) integrals and software "StS-CIRN. Analysis" based on cylindrical functions are discussed. Test examples are given.

Keywords:  analytical and statistical modeling; complex irrational nonlinearity (CIRN); cylindrical functions; Hermite polynomials; module "StS-CIRN.Analysis;" normal approximation method (NAM); statistical linearizatio nmethod (SLM)

SOFTWARE FOR SYNTESIS OF DISCRETE PUGACHEV FILTERS FOR NORMAL PROCESSES IN HEREDITARY STOCHASTIC SYSTEMS.
  • I. N. Sinitsyn
  • I. V. Sergeev
  • V. I. Sinitsyn
  • E. R. Korepanov
  • V. V. Belousov
  • V. S. Shorgin

Abstract:  Algorithms for synthesis of discrete conditionally optimal (Pugachev) filters (PF) for normal processing in continuous and discrete linear and nonlinear hereditary stochastic systems (HStS) with Wiener and Poisson noises are considered. Introduction is devoted to the survey of analysis and modeling problems in HStS. It is stated that for real time processing, problems in informatics and control PF are effective in computer realization. The theorems for HStS reduction to differential StS and discrete StS are presented. Also, the theorems for discrete PF synthesis for normal processing in linear and nonlinear HStS are given. The HStS test shock examples for software tools "IDStS-Filtering" are represented.

Keywords:  differential stochastic system (DStS); linear Kalman filter (KF): linear Pugachev filter (PF); software tools "IDStS-Filtering;" method of normal approximation (MNA); statistical linearizationmethod (SLM); normal stochastic process; shock (impulse) noise; hereditary (integrodifferential) stochastic system (HStS); MATLAB

A STUDY OF QUEUEING SYSTEMS WITH DISCRETE TIME, AUTOREGRESSIVE ARRIVALS, AND FEEDBACK.
  • N. D. Leontyev
  • V. G. Ushakov

Abstract:  The paper studies two discrete-time single server queueing systems with infinite capacity and feedback. The arrivals in both systems are driven by discrete autoregressive models, i. e., the size of each arriving batch may be equal to the size of one of the previously arrived batches with some fixed probability, or is a random variable independent of the history with complementary probability. The main object of the study is the stationary queue length. For the system with discrete autoregressive arrivals of order 1, expressions for queue length distribution are derived, and for the system with discrete autoregressive arrivals of order 2, the expected queue length is found.

Keywords: queueing theory; discrete-time queueing systems; discrete autoregressive model; batch arrivals; feedback

SPECIALIZED SOFTWARE MODEL TO SIMULATE DATA TRANSFER IN TRANSPORT LEVEL WITH THE CONGESTION CONTROL ALGORITHM.
  • E. O. Karpukhin
  • V. V. Karnacov
  • S. V. Filipkov

Abstract:  This paper considers the main approaches to the assessment of efficiency transport layer protocols in modern information and telecommunication systems that implement the congestion control mechanism. The analysis of existing modeling tools for transport layer protocols was carried out, based on which it was concluded that it is impossible to fully take into account the peculiarities of simulation process data. The paper illustrates the main steps of development of the specialized software model in the .NET Framework. The paper proves the value of the sales model based on comparison of the resulting simulation results with existing estimates data rate at the transport layer using the TCP protocol.

Keywords:  transport layer; congestion control; TCP; protocol optimization of data-driven interaction; specialized programming model; hijacking

NOVEL METHOD FOR ROBUST KEY GENERATION FROM ONLINE BIOMETRIC SIGNATURE.
  • V. V. Kuznetsov

Abstract:  Existing symmetric encryption algorithms require storage of the secret key. Stored keys are often protected by poorly selected user passwords or pin- codes. Combining biometrics with cryptography is often assumed as a possible solution. This paper describes a novel method for transforming an online biometric signature into a binary vector, which can be used as a cryptographic key. The method is based on a secure sketch scheme and makes it possible to construct 16-bit keys with false accept rate and false reject rate less than 10%.

Keywords:  biometric cryptography; online signature; fuzzy extractor; secure sketch

HETEROGENEOUS INTELLIGENT COMPUTER DECISION SUPPORT SYSTEMS: MODELS OF COORDINATION AND CONSISTENCY.
  • I. Kirikov
  • A. Kolesnikov
  • S. Listopad
  • S. Soldatov

Abstract: The approach to the modeling of collective decision-making using computer decision support systems within the synergetic paradigm of artificial intelligence is considered. History of artificial intelligence has shown that the methods, constructed within the paradigm of computer modeling of the processes and phenomena in a single man's memory, are not relevant to the complexity of the real world problems. Such problems have substantial heterogeneity, which requires heterogeneous methods for their solution, like decision support system widely used to solve them. In this regard, the models of the hybrid intelligent systems taking into account coordination and consistency are proposed as simulators of the real decision support systems. The results of computational experiments with the hybrid intelligent systems implementing the coordination and coherence effects are presented, demonstrating positive impact of the effects on the quality of collective decision-making.

Keywords:  heterogeneity; decision support system; hybrid intelligent system; coordination; consistency

THE ONLINE SERVICE FOR COST PLANNING.
  • A. V. Ilyin

Abstract: The article presents the innovative online service that implements the method of cost planning taking into account the priorities of expense items. The widest area of the service usage is budgeting, although the service allows to plan allocation of any resource flexibly and efficiently. Client applications of the service provide the possibility to specify an expected resource amount and requests for expense items as numerical intervals. The planning results are also represented by numeric intervals, and the plan is adjusted in the course of its implementation. This approach has a great practical importance. The article can be useful for experts on the distribution of corporate and government resources, teachers, graduate students, software developers, and vendors.

Keywords:  cost planning; budget planning; resource allocation; online service; SaaS

AN APPROACH FOR ASSESSMENT OF AUTOMATIZATION OF STUDENTS ACADEMIC PERFORMANCE.
  • A. V. Bosov
  • E. S. Gress
  • A. V. Naumov

Abstract:  The article deals with the automation of the analysis of the quality of education in universities. An original algorithm for counting students rating is proposed. Statistical analysis of the sessional rating (marks obtained) and results of the students ranking analysis on the basis of actual data processing are presented. The ways to use the assigned rating, in particular, to encourage (deductions) students and quality control measures are suggested.

Keywords:  rating system; quality of education; academic performance of students; statistical criteria; information system

INFORMATION RESOURCES FOR CONTRASTIVE STUDIES:
ELECTRONIC TEXT CORPORA.
  • M.G. Kruzhkov

Abstract:  This article presents information resources used in contrastive linguistic studies and their principle features. There are two main types of such information resources: typological databases and electronic text corpora. This paper is focused on the latter. There are two types of corpora, which are particularly relevant for contrastive studies: comparable corpora - balanced collections of original texts in the languages compared and parallel (translation) corpora - collections of original texts in one of the compared languages aligned with their translations into other compared language(s). In addition to description of the existing information resources of contrastive linguistic studies, this paper introduces a new type of such resources, which are termed here as corpus extension databases. The article outlines features of such databases in comparison to electronic corpora and justifies the necessity for creating them.

Keywords:  linguistic studies; databases; typological databases; comparable corpora; parallel corpora; corpus extension databases