ABSTRACTS OF ARTICLES OF THE JOURNAL "INFORMATION TECHNOLOGIES".
No. 10. Vol. 23. 2017

To the contents

A. A. Razorenov, Postgraduate Student, e-mail: arazorenov@hse.ru, National Research University Higher School of Ecomonics (HSE), Moscow, Russia

The Principles of Applying the Theory of K-representations to Developing Mathematical Foundations of Executing Natural Language Instructions by Computer Systems

The paper continues the series of publication written by the author and V. A. Fomichov (Informational Technologies 2015, No. 6, 2016, No. 12, 2017, No. 1) devoted to applying the theory of K-representations (knowledge representations) to developing new meth­odological foundations of designing computer systems processing natural language (NL) instructions. The goal of this paper is to set forth the main ideas of defining a binary relation of a new kind on semantic structures used as the ground of a new method of executing NL instructions by applied systems. This relation is called the pattern matching relation. It is indicated that the proposed formal approach has been successfully used in designing the NL interface of the file manager NLC-2 (Natural Language Commander — Version 2).
Keywords: natural language processing, semantic parsing, theory of K-representations, SK-language, software management, natural language interface, pattern matching relation, Natural Language Commander

P. 699–706

A. B. Filimonov, D. Sc., Professor, filimon_ab@mail.ru, Moscow Technological University, 78, Vernadsky Avenue, Moscow, 119454, Russia,
N. B. Filimonov, D. Sc., Professor, nbfilimonov@mail, M. V. Lomonosov Moscow State University, Leninskie Gory, Moscow, 119991, Russia, V. Yu. Tikhonov, Research Assistant, Centre for Educational Development and International Activities, 8, Bolshoi Chudov per., Moscow, 119021, Russia

Optimization of the Resources Distribution in the Problems of Space Search Objects

One of the most important areas of modern science and technology is the space of object. The task of search arises when it is required to determine the position of some object (goal) being in the given area of physical space with the help of search means. The theory of search is one of the sections of the operations theory. The subject of its study are the mathematical models of search processes, methods of organization and optimal planning of search operations, providing the detection of goals with minimal time and resource inputs. The general positions of the classical theory of search are presented in the paper. The term "observers" is admissible for subjects fulfilling the search. It is noted the specific character of tasks discrete search of objects. In the continual tasks of search the kinematics of the motion of the observer in the physical space is investigated. In the problems of discrete search the investigated area is represented as the rotation of the investigation of chosen zones by having means of observation. The important advantage of the discrete search problems is the possibility of the application to them the methodology and mathematical device of scheduling theory, reducing the solved problem to the problems of the combinatorial optimization.
The problems of optimal distribution of search resources by the distinguished areas of search is considered. The given problems belong to class of the assignment problems. Their formalization in the determined and probability formulations is proposed. The model examples of the optimization of the distribution of search resources with use of standard instrumental software of the problems of Boolean linear programming are reduced.
Keywords: space object search, discrete search, planning search operations, assignment problems, optimal distribution of search resources, probabilistic models for planning purposes

P. 707–713

M. M. Nizamutdinov, Ph. D., Associate Professor, e-mail: marsel_n@mail.ru, Head of Economic and Mathematical Modeling Sector, V. V. Oreshnikov, Ph. D., Senior Researcher, e-mail: VOresh@mail.ru, Institute of Social and Economic Research, Ufa Scientific Center

Decision Support System Conception for Regions Innovative Development Management based on Adaptive Simulation Model

The article discusses the development of decision support system (DSS) in the innovative development management for regional socio-economic systems. The meaningful analysis of known approaches and decision support tools has been made. Basic require­ments for decision support organization have been formulated. The DSS conception is proposed to justify the innovation strategy parameters for region development based on adaptive simulation model. The logic and the structure of DSS functional blocks are characterized that allow organizing information support.
Keywords: decision support, innovative development, simulation model, regional management

P. 714–721

V. V. Fedosov, Moscow, Russia, e-mail: vlr.fdsv@gmail.com, A. V. Fedosova, Universidad Nacional de Colombia, Bogota, Colombia

Multiparameter Optimization Problems in Conflict Industrial Ecology

The problem of the conflict of excess emissions of sources from zones ofpollution regulations in the area. The criterion adopted to optimize the numerical integral function multiextremal exceeded total emissions sources on regulations field zones. Optimization conducted simultaneously on four parameters, three of which belong to the parabolic functions, modeling the emissions sources. The Nelder—Mead procedure is applied as an algorithm. Information for the calculation of the starting simplex consisted of2400 elements. The numerical experiments show a steady convergence to zero optimization criterion, which corresponds to the resolution of the conflict. At each iteration, the optimization parameters were recorded, and the results of their interaction in the 2D—3D graphics. The tendency of displacement of excess emissions power beyond the controlled area, which means the increase in the volume of cross-border transport of pollution. Derivatives discussed technical and economic evaluation of multiparameter optimization.
Keywords: contamination area sources emissions of polluting loads, multiparametric optimization, Nelder—Mead algorithm, multiextremal function, transboundary pollution

P. 721–727

A. L. Stempkovsky, Member of RAS, D. Sc., Professor, Director, Institute for Design Problems in Microelectronics of Russian Academy of Science (IPPM RAS)],
S. V. Gavrilov, D. Sc., Professor, Head of Department, Institute for Design Problems in Microelectronics of Russian Academy of Science (IPPM RAS)],
S. I. Gurov, Ph. D., Assistant Professor, Lomonosov Moscow State University, D. I. Ryzhova, Ph. D., Junior Research Scientist, Institute for Design Problems in Microelectronics of Russian Academy of Science (IPPM RAS)]

Methods of Designing of Fault Tolerance CMOS Combinational Circuits which Provides Automatic Correction of Errors

This article is devoted to the main methods of CMOS combinational circuits design, which provides automatic correction of errors. In the article we considered the specifics of self-correcting circuits design and analyzed approaches to automatic error correction based on redundant coding methods. Also important features of the correcting errors problem caused by failures, are considered. In the final part we briefly describe a perspective approach to correcting errors using reversible circuits.
Keywords: combinational circuits, design, fault tolerance, CAD

P. 728–735

V. M. Kureichik, D. Sc., Prof., Chair of Discrete Maths and Methods of Optimization, kur@tgn.sfedu.ru, I. B. Safronenkova, Postgraduate Student, Assistant of Discrete Maths and Methods of optimization,
safronenkova050788@yandex.ru Autonomous Federal State Institution of Higher Education Southern Federal University, Taganrog

Decision Support System Development for the Choice of Problem-Solving Procedure of Commutation Circuit Partitioning

This paper concerned with architectural design of ontology-based decision support system intended to optimize the choice of problem-solving procedure of commutation circuit partitioning during the design phase of electronic computer. Analysis of formal commutation circuit partitioning problems definition against the criteria was performed. Mathematical model of present problem was posed. The fundamental difference of this model is consideration the criteria of inter-bay wiring and signal delay as local cost functions in multicriterion optimization problem. In this paper a space of classification attributes of commutation circuit partitioning problems was designed: local cost functions, constrains and initial data are defined. Data store and databank of ontology-based decision support system are presented as a CPP problems ontology and a problem-solving technique ontology. These domain ontologies were developed in Protege 4.2.
Keywords: ontology, decision support system, commutation circuit partitioning problem, class, attribute, instances, hypergraph, optimization task

P. 736–741

V. V. Burlov, Professor, e-mail: vladimir-burlov@yandex.ru, L. V. Remontova, Assistant Professor, e-mail: remontova@mail.ru, Penza State Technological University, Penza, V. V. Kosolapov, Assistant Professor, e-mail: vladimir.kosolapov@mail.ru, E. V. Kosolapova, Senior Lecturer, e-mail: Ê-art-inka@ya.ru, Nizhny Novgorod State University of Engineering and Economics, Knyaginino

Simulation of the Curve and Surfaces of the Second Order in the KOMPAS-3D System

The article focuses on algorithms for constructing the curve of a parabola and derivatives of second-order surfaces from it using the functional capabilities of the KOMPAS-3D software product, which allows solving various educational and professional engineering-graphic tasks. However, in the graphical editor of this program there is no Parabola command, without which it is impossible to construct surfaces such as elliptic and hyperbolic paraboloids that occur both in the design of simple and complex models.
In connection with the goal in the paper, the methods of solving spatial problems related to the modeling of second-order surfaces — elliptic and hyperbolic paraboloids in the system of three-dimensional modeling KOMPAS-3D — are described in detail. The methods are based on the use of: the section of a circular cone, the canonical and parametric equations of parabolas. For each of the presented variants, examples of creating 3D models of surfaces of the second order are considered. On the basis of the laws of descriptive geometry, applicable to surface problems, the feature of their solution and display on a computer screen is clearly shown.
The article is aimed at a deeper study of geometer-graphic disciplines and promotion of the domestic IT-product in the field of education. The work will be interesting for students, postgraduates, teachers and specialists in the field of geometric modeling.
Keywords: associative drawing, library, functional dependency graph, Hyperbolic paraboloid, cone, tapered section, canonical and parametric equations, curve, parabola, surface, KOMPAS-3D system

P. 742–749

V. I. Anisimov, D. Sc., Professor, Chief Researcher, e-mail: vianisimov@inbox.ru, Design information technologies Center Russian Academy of Sciences, Moscow region, Odintsovo, S. A. Vasilev, Graduate student, e-mail: venom-gt@list.ru, Saint Petersburg State Electrotechnical University, St. Petersburg, Yu. I. Zhuravlev, Academic, Deputy Director on Scientific Work, Institution of Russian Academy of Sciences Dorodnicyn Computing Centre of RAS

Methods for Constructing Client Applications, Circuit CAD Class-Based Inheritance

The problems of ensuring the speed of the user interface of circuit design CAD are considered. The advantages of using the JavaScript standard ECMAScript 2016 for building a web user interface are described. The necessary functionality of the web service interface is indicated. Perform a comparative analysis of the existing demanded technologies for building a web-based interface for circuit design CAD. The architecture of the web application, built using JavaScript technology, is based on nested structures. The principles of inheritance from the reference class for creating nested structures are described.
Keywords: circuit design CAD, JavaScript, ECMAScript, iframe, user interface, data exchange, complex structured data, nested structures, reference class

P. 749–752

A. N. Arkhangelskiy, Engineer, e-mail: aleksandr.arhangelskiy@bk.ru, Joint Stock Company "Russian Space Systems", JSC "RSS", Moscow

Processing Methods of Topological Components in Design and Manufacturing of the Printed Circuit Boards

The article presents methods of processing for topological component (TC), used in design and manufacture of printed circuit boards. The need for such methods arises from the fact that the objects of the manipulation and processing in PP are TC, namely contact areas (CA), conductors, fields of metallization etc. TC processing means changing its original geometry, depending on the functional necessity, for example: "trimming the CA." The proposed method covers on TC which are enclosed loop without self-intersections and consists of segments located on straight lines described by equations of the first order.
Keywords: printed cucuit boards, topological components, contact area, conductor, polygon, field of metallization, logical operation, combination, intersection, subtraction

P. 753–760

V. N. Yurin, Professor, e-mail: ontimati@yandex.ru Moscow Aviation Institute (National Research University)

Monitoring the Use of Computer Engineering in Engineering Education

The methodology and results of long-term monitoring of Russian engineering education on the basis of applied information technologies are given. The indicators of the use of computer engineering in engineering education at different stages of its development, taking into account the readiness for this engineering education and the needs of a competitive industry are proposed. Expert assessments of each stage for these indicators are given.
Keywords: applied information technology, engineering education, computer engineering, expert evaluation, design-technological preparation of production, engineering, automated production, staffing, principle of division of labor

P. 761–767

To the contents