ABSTRACTS OF ARTICLES OF THE JOURNAL "INFORMATION TECHNOLOGIES" N. 9, 2014

To the contents

A. D. Ivannikov, Deputy Director, e-mail: ADI@ippm.ru, A. L. Stempkovsky, Academician of Russian Academy of Sciences, Director, Institute for Design Problems in Microelectronics of Russian Academy of Science

Formal Mathematical Representation for the Task of Digital System Projects Debugging

For a digital system, defined by digital blocks connection and written software, a model of the desired external behavior is introduced. As such a model it is proposed to use the family of stationary dynamical systems, defined by the terminal variables set, the sets of values of these variables, as well as the set of permissible digital system interactions with the environment. It is assumed that the digital system being designed should fulfill a finite alphabet of functions, each function is characterized by a subset of permissible interactions. On the basis of such an assumption the structure of the digital system permissible interactions is analyzed. Structurally, the project for a digital system being designed is defined by circuit diagram of connected digital blocks and software text. Properly designed digital system project also defines its external behavior as a family of stationary dynamical systems. Mathematically, digital system project debugging task is formulated as the task of comparing two families of stationary dynamical systems, on the one hand the family, defined by given technical specifications for the design, and on the other hand the family, defined by the circuit diagram of connected digital blocks and software text of a digital system.
Keywords: digital system simulation, design debugging, digital system model, complex digital circuits and microsystems, stationary dynamical systems, permissible interactions

P. 3—10

N. S. Dudakov, Software Developer, JSC "Concern "Systemprom", e-mail: Nikolay.Dudakov@gmail.com, Yu. Yu. Shumilov, Professor, National Research Nuclear University MEPhI, e-mail: shumilovyy@gmail.com

The Hybrid Data Management and Optimization System for the ACS

The paper presents a methodology for evaluating and improving the effectiveness of storage management during the development of automated control systems. The authors describe modern DBMSs, their architectures, advantages and disadvantages. It is shown, that performance of the open-source DBMSs is insufficient for some practical problems. The authors propose the division of stored data and the usage of several software solutions to improve the system performance. According to this proposition, each part of the data would be processed in a corresponding database. The model of the resulting system describing storage process in terms of queuing theory is also provided. According to this model, the authors propose criteria for efficient processing of requests to read and write the data. The optimization techniques that are needed to find an optimal division of stored data are also provided in this paper.
Keywords: DBMS, database architecture, queuing system, nonlinear pseudo-boolean optimization

P. 10—14

V. A. Grushin, Associated, Professor, Ya. A. Arkhipova, Lecturer, Department for Mathematics and Computer Science Nizhniy Novgorod State Linguistic University

Short-Term Prediction Dynamic Model of Socio-Economic Processes

The social-economic processes analysis and forecasting technique on the basis of the dynamic model formed of whitening filters set with orders from 1 to Q and the forecast dynamical function definition, containing time series statistical characteristics, is examined. The model is based on homogeneity of the observation data short-run sample over the set forecasting interval and can show informational characteristics of the examined process. Data processing algorithm, its potentialities and application performance analysis are described. Using a filter model in the form of whitening filters set with a variable order gives a score in the final forecast accuracy and allows making a forecast tree with the probability value of its branches realizations calculation on the set forecasting step. The results of the offered model's practical application by the price movement predication of the Open Joint Stock Company Gazprom stocks are given.
Keywords: autoregressive observation model, whitening filter, whitening filter with variable order, forecast dynamical function, data homogeneity, forecast probability tree

P. 15—19

V. I. Struchenkov, Professor, Moscow State University of Radio Engineering, Electronics and Automation, e-mail: strl942@mail.ru

Nonlinear Programming Algorithms for CAD of Railways Routes

Nonlinear programming problems of large dimension arise with computer-aided design of new roads. Standard methods for solving such problems require unacceptably large computing time. The article proposes algorithms that use specific features of design tasks, which overcome the computational difficulties without sacrificing mathematical correctness.
These features include a system of restrictions on the desired design solution. So when designing the optimal longitudinal profile for a given variant route's plan the system of restrictions is linear and consists of blocks of three types, each of which contains only one, respectively, two and three non-zero elements in the corresponding row of the constraint matrix.
This feature allow for any set of active restrictions at each iteration of the standard process of nonlinear programming to construct a basis in the null space of the matrix of active restrictions and find the descent direction, i.e. reduced antigradient, without solutions auxiliary systems of linear equations. The article shows how to build a basis and modify active set, if the minimum is not reached, and a descent direction is absent. The algorithm is implemented in CAD Railway.
Keywords: route, horizontal and vertical alignment, nonlinear programming, objective function, gradient, system of restrictions

P. 20—27

D. V. Saleev, Graduate Student, A. ะ. Preobrazhenskiy, Associated Professor, Voronezh Institute of High Technologies, e-mail: saleevd@gmail.com

An Analysis of a Features of CAD for FGPA

In this paper an existing Current Aided Design (CAD) systems for FPGAs are analyzed. It is established that as a whole considered CAD are similar. The key difference of them is the typical kit of chips, on the basis of which a project implementation is planned. In all analyzed CAD systems, projects finalized by preparation of production files, and software tools, that allow to integrate received files into the process of production of chips, in order to decrease the technological errors in the production process are not developed. To extend the capabilities of the existing CAD systems, generalized structural and functional schemes of the optimization module are developed. Proposed the introduction of developed additional software unit to evaluate the influence of technological factors on the functionality, according to the customer requirements.
Keywords: chip, FGPA, chip design, CAD systems, VHDL, optimization, technological process, algorithm

P. 28—33

K. A. Shcheglov, Student, A. Yu. Shcheglov, Professor, Saint-Petersburg National Research University of Information Technologies, Mechanics and Optics, Russia, e-mail: info@npp-itb.spb.ru

Securing Against Applications Threats

In this article we research problem of securing against application threats, review suggested securing method, based on applying access policy for resources used by critical processes (applications) which is illustrated with tested technical solutions. Suggested method is universal in terms that its effective implementation is possible not only targeting security against attacks exploiting applications vulnerabilities (which is covered in this article), but also targeting security against any type of attacks related with applying unauthorized abilities to application (using macro-virus, malicious scripts, etc.) and following exploitation. Reviewed protection method is based on practical realization which was patented by authors of "File objects access control system based on auto-labeling" solution. This solution allows to rethink known realization of both access control methods including discretionary and mandate ones. This not only dramatically simplifies setting file objects access policy (by eliminating the "access object" essence from access control scheme), but also settings correct implementation in the general case is provided in the same time.
Keywords: computer security, information security, attack, unauthorized access, application threats, access control, access policy

P. 34—39

T. N. Pastuschak, Associated Professor, Head of department, Provost, S. S. Sokolov, Associated Professor, Head of Department, N. M. Kovalnogova, Graduate Student, A. V. Mankovskaya, Expert on Distance Learning Technologies Admiral Makarov State University of Maritime and Inland Shipping, e-mail: Sokolov@gumrf.ru

Priority Areas for the Development of Electronic Informational and Educational Environment of the University Complex

The article describes the experience of various universities in building electronic information-educational environment, using e-learning and the use of distance learning technologies. The description and methodological relationship major components of the electronic information industry and educational environment of the university. The description of the structure and program complex that serves as a basis for various educational systems. Examined the levels of interaction of teachers and students in e-learning. Lists the features and advantages of the components of the electronic educational environment. Examples of the use and development of distance learning technologies in the learning process, as well as ways to introduce innovative technologies into the learning process.
Keywords: electronic information and educational environment, educational portal system of distance learning, e-learning, integrated information analysis system, integrated electronic library system

P. 40—46

A. A. Smagin, Professor, Head of the Chair, S. V. Lipatova, Assistant Professor, O. L. Kurilova, Senior Lecturer, e-mail: oxana197208@rambler.ru

Method of Numerical Evaluation of Professional and Common Cultural Competences in Undergraduates and Graduates

In the article the authors present a method of scoring of common cultural and professional competences. They suggest the way of formalizing and measuring of competences and their components in undergraduates and graduates. Presented algorithm consists of two parts: the first performs scoring of common cultural competence (CC) based on processing of test results provided by student, while the second one analyzes average and final grades in disciplines considering factors defined by experts to obtain the professional competence's score. CC scoring is used to determine the student's level of personal qualities and social skills like intelligence, teamwork, etc.
The authors also show the correlation of curriculum subjects based on incoming and outgoing competences within competence approach of Federal State Education Standard of Higher Vocational Education (FSES HVE) and present the competence model of graduates.
Keywords: competence, curriculum, evaluation of common cultural competences, evaluation of professional competences

P. 46—54

V. N. Tarasov, Professor, N. F. Bahareva, Professor, G. A. Gorelov, Graduate Student, S. V. Malakhov, Graduate Student, Volga State University of Telecommunications and Informatics, Samara

Analyzing the Incoming Traffic at the Three Moments Distribution of Time Intervals

In this paper, an analytical solution for the average waiting time for a queuing system type H₂/M/1 Hyperexponential distribution invaded order intervals of the input stream by solving an integral equation method Lindley spectral decomposition. It is shown that in this case the distribution of intervals between the requirements of the input flow can be approximated at its first three moments.
The program of the complement of the traffic analyzer Wireshark to calculate the torque characteristics of the distribution of intervals between packets.
Keywords: queuing system H₂/ฬ/1 equation Lindley, spectral decomposition method, traffic analyzer Wireshark, torque characteristics intervals

P. 54—59

Y. S. Serbulov, Professor, D. A. Gluhov, Associate Professor, Voronezh State Academy of Forestry, V. A. Malyshev, Deputy Chief, Air Force Academy Them. Prof. Zhukovsky and Yuri Gagarin

Model Partition Neutralize External Effects on Industrial and Economic Systems in a Competitive Environment

The solution of the problem of increasing conflict sustainability of industrial and economic systems to external influences competitors. The problem is solved by developing subsystem neutralize external influences based on artificial immune system. This subsystem during operation should solve the following intermediate objectives: to assess the current impact and the formation of its dynamic model; selection or development option against external influences; check on the consistency of the results of solving the first two problems; to reach a common decision on the opposition. The basis of the functioning of a subsystem on a model containing two types of components: database and special modules or agents. The most difficult is the module implements the algorithm neutralize external influences operating process which can be represented as a series of eleven stages of decision-making procedures. As a result of their implementation, it is possible to automatically or automated develop a common solution to the problem, which is consistent not contain unresolved conflicts and taking into account the current situation in which there is a problem.
Keywords: industrial and economic system, artificial immune system, the neutralization of external influences, modeling module, the base models

P. 60—66

V. M. Grinyak¹, Associate Proffesor, B. S. Golovchenko¹, Postgraduate Student, A. S. Devyatisilny², Professor, e-mail: devyatis@iacp.dvo.ru
¹Vladivostok State University of E๑omomics and Service, ²Institute of Automation and Control Processes, FEBRAS

Neuro-Fuzzy Decision-Making System for Ships Collision Avoidance

The problem of marine vessel traffic control is discussed in this paper. Two ships relative motion model is watched and algorithm of alarm generation is offered. Authors are justifying need separate ships by alarm level in case high intensity of traffic. Ships alarm level estimation based on ship maneuver detector and time to collision. The decision-making system of alarm level based on neuro-fuzzy logic system (ANFIS) is offered. There are 3 values on system input. The first input value is angle between relative velocity vector and relative coordinate vector with terms "large " and "little ". The second value is derivation of the first one with the same terms. The third value is time to collision with 3 terms "little", "average" and "large". The output fuzzy logic system value is alarm level with 4 levels "safe", "almost safe", "dangerous" and "very dangerous". There are 12 rules of neuro-fuzzy logic system. The rules based on principle "if the vessel is maneuvering then alarm level less". It is possible to learn of neuro-fuzzy logic system by expert and by training sample for learning. Numerical results are demonstrating decision-making system effectiveness for typical vessel traffic.
Keywords: vessel traffic control, collision avoidance, trace, ship maneuver, neuro-fuzzy system, ANFIS

P. 68—73

V. V. Chebotarev, Leaging Programmer, e-mail: VitalyChVV@mail.ru, Russian Railways

Logical Neural Network in the Basis of Monitoring Data on the Carriage of Goods by Rail

Initial data for systems of practical implementation of information technologies application logic neural network is the automated system of daily concentrations of data on the carriage of goods by rail in a single database with a view to its external users. The complexity and diverse nature of the nodes in the system leads to malfunction, and require human intervention. Instead, the system provides for automatic mode, where the individual performs the function of an external observer, monitors the correctness of the system as a whole.
The article offers practical implementation of information technologies of application of logic neural networks in the system of decision making for the control of receipt of data in the center for the transportation of goods from road information centres network of Russian Railways. The model are methods of situational management.
Keywords: logical neural network, decision making system, factor space of events, situation, loading, hardly points of unloading

P. 74—80

To the contents