ISSN 0236-235X (P)
ISSN 2311-2735 (E)


Next issue

Publication date:
16 March 2021

Articles of journal № 3 at 2019 year.

Order result by:
Public date | Title | Authors

11. Graphical shell development for parallel calculations based on the OpenFOAM platform [№3 за 2019 год]
Author: D.I. Chitalov
Visitors: 2887
Graphical interfaces are an essential element of human-computer interaction. They form input data for programs and visualize results. Commercial software mainly comes with built-in graphical interaction tools. At the same time, some open software solutions (the OpenFOAM platform in particular) do not have built-in interaction tools. This problem remains relevant since the existing graphical interfaces have disadvantages. This paper presents a step-by-step process of developing a graphical shell for implementing user in-teraction with the OpenFOAM platform, i.e for setting up numerical experiments applied to problems of continuum mechanics in the parallel execution mode. To achieve this goal, there is a defined list of tasks and necessary tools: Python 3.5 programming language, PyQt5 interface element description framework, PyCharm integrated development environment. The paper gives diagrams showing the interconnection of program modules and a program operation mechanism. The results of the application development and testing are formed by the example of a pro-ject of one of the standard tasks of continuum mechanics, which are a part of the OpenFOAM platform distribution kit. The authors provide scientific novelty of the research, in particular: serialization of numerical experiment parameters using the Python Pickle module and database tables in the SQLite format; the ability to create different versions of files with continuum mechanics task parameters; the ability to run console commands using bash scripts. They also identify the practical value of the work and future prospects.

12. Developing a self-learning method for a spiking neural network to protect against DDoS attacks [№3 за 2019 год]
Authors: E.V. Palchevsky, O.I. Khristodulo
Visitors: 4379
The paper is devoted to the development of a specialized training method for a spiking neural network, which allows speeding up the detection and elimination of attacks by external unauthorized traffic. The paper considers the problem of protecting information availability and teaching neural net-works. It also justifies the need for mathematical analysis to develop new methods of self-learning of neural networks. The paper introduces the developed self-learning spiking neural network that is nec-essary to protect against DDoS attacks. A new self-learning method for a spiking neural network is based on the uniform distribution of neurons across all cores of each processor in a cluster. This allows a neural network to learn from scratch in a short time (530 minutes). As a result, it quickly and effec-tively eliminates DDoS attacks. The authors tested the developed spiking neural network in two modes: combat and normal. The tests gave load values for physical resources of each physical server in a cluster. Long-term testing of a spiking neural network shows fairly low load on a central processor, RAM and solid-state drive during DDoS attacks. Naturally, optimal load increases the availability of each physical server, and makes it possible to simultaneously run resource-intensive computational processes without any disruption of the working environment. Testing was conducted on computing cluster servers in one of Moscow data centers. The spiking neural network has shown stable operation and effective protection against DDoS attacks.

13. Implementation of a fuzzy model of interaction between objects in complex technical systems based on graphs [№3 за 2019 год]
Author: Е.R. Muntyan
Visitors: 3018
The paper describes the process of developing a fuzzy model based on graphs, which allows investigat-ing the joint action of objects in complex technical systems using the example of a part of an extended perimeter security system. The objects of such system are stationary and mobile objects of a protected perimeter, uninhabited intelligent interacting mobile robotic platforms, a decision maker who controls their movement (here it is a computer), and potential intruders entering a protected perimeter territory. To represent objects of complex technical systems, the model uses the concept of “actor” according to the Actor-network theory of B. Latour. The results of simulating an extended perimeter protection system are analyzed on the example of three models that take into account various types of communi-cation in a graph: model 1 with the same type of connections, model 2 with the same and different types of connections, model 3 with the same type, different types of edges and multiple connections in a vector form. To simulate and study joint actions of objects in complex technical systems, the author proposes a fuzzy model of interaction of actors, which makes it possible to take into account the complex of vari-ous types of communication between graph nodes according to the specifics of the subject domain. These models are implemented in the software module developed by the author. Experimental research have shown the advantage of the model 3 proposed in the article (a multiple link graph).

14. Automation of program verification using graph analytical models of a computational process [№3 за 2019 год]
Authors: A.G. Zykov, Ya.S. Golovanev , V.I. Polyakov
Visitors: 2678
The constant growth in the volume and quantity of software being created requires development of new tools that reduce the time for designing and developing the next product. These tools include automat-ed verification tools. Verification of computational processes implemented by software is a complex and time-consuming task. The need for new verification automation tools is increasing due to an in-crease in the number of systems using various programming languages and requirements for shortening the implementation of projects. So far the urgency of the task of creating universal interlanguage veri-fication tools remains high. The paper discusses the method and means of computational process verification automation based on the description of a graph analytical model. The proposed method assumes that a description in the developed language is restored according to the developed program and then it is compared with the reference description of a graph analytical model, according to which it was created. After that, in the automatic mode, the program is either verified and determined as correct by comparison results, or de-tailed information about a mismatch is given and a program source text is modified interactively ac-cording to the information received, and the verification process is repeated. The aim of the study is to automate verification of C/C# programs by a group of descriptions of a graph analytical model of a computational process. This study includes a developing a tool that allows converting program source codes into descrip-tions of a graph analytical model and performing automated formal verification of a project. The developed utility was tested on the recovered descriptions of the graph analytical model of C/C# and Java programs for array processing (merge sort, Dijkstra's algorithm). The synthesized exe-cutable was successfully tested in the Windows 10 operating system. In the future, it is planned to develop the utility along with new versions of a description language in order to expand the analyzing options and program verifying.

15. The prototype of an intelligent e-book based on technology of knowledge direct imposition [№3 за 2019 год]
Authors: G.B. Bronfeld , D.I. Kirov , V.V. Kondratyev
Visitors: 3012
The paper considers the process of introduction of intelligent e-books (IEB). It briefly discusses the ba-sics of creating the IEB in the form of an elinga. Elinga is based on the technology of direct imposition of knowledge (TDIK). TDIK includes applying a new model of knowledge representation – molinga, which in fact repre-sents text sentences as short semantic networks. The developed knowledge bases include a large set of molingas. The use of TDIK makes the knowledge base to contain only sentences with different seman-tic meanings. Molinga corresponds to the structure of production models, however it has a core con-taining a simple sentence with a code description, indicating a confidence factor and postconditions. These postconditions might contain graphical images, data files, or calculation models. The technology is developed in the framework of expert systems design, however each component is implemented differently. As a result, a software package – elinga – has unique capabilities in com-parison with conventional expert systems. Molingas allow applying TDIK introduced by J. Gray to nu-meric data as well. A logical inference is based on using the modified modus ponens rule. The process of finding a solu-tion is based on the dialog-associative search in the human-computer discourse using intermediate re-sults obtained during the logical inference. The paper describes basic functions of the elinga prototype and its operation modes. The elinga ac-tually implements V. Bush’s dream. Based on a fundamentally new technology, this approach allows users to solve various problems that were unsolvable or difficult to solve earlier more effectively using different basis of knowledge integration.

16. Design of the QVT Operational Mappings interpreter for UML Refactoring in terms of the model driven architecture approach [№3 за 2019 год]
Authors: O.A. Deryugina , E.V. Kryuchkova
Visitors: 2300
The paper discusses the MDA (Model Driven Architecture) approach, which has been introduced by the OMG consortium and is aimed at the automation of the software development process. MDA pro-poses the following steps of the software development: design of the Platform Independent Model (PIM), design of the Platform Specific Model (PSM), development of the Code Model. The paper provides an overview of the MDA standards: XMI (XML Metadata Interchange), which unifiers model and metamodel interchange between software products; QVT (Que-ry/View/Transformation), which describes model query languages. The paper is aimed at the design of the QVT Operational Mappings language Interpreter for the UML Refactoring tool. The UML Refactoring tool provides the UML class diagram analysis and trans-formation. Typically, UML class diagrams are used to describe the software object-oriented architec-ture. UML Refactoring tool provides object-oriented metrics calculation (Avg, DIT, Avg. NOC, Avg. CBO, etc.) and searching for the transformations (Interface Insertion, Façade, Strategy) minimizing the refactoring fitness function value, which has been chosen by a user. Based on the information about the QVTo language, the Interpreter class has been designed for the UML Refactoring tool. This class translates QVT commands to the sequence of the transformations of the UML class diagram including add class transformation, add attribute to class, add method to class, add interface, add attribute to interface, add method to interface, add package, add class to package, add interface to package, add package to package. For each transformation, there is a newly designed class to extend class. This class is an input for the class, which calls method execute() of the class.

17. Methodical support of designing a dynamic object geographic information systems infrastructure [№3 за 2019 год]
Authors: T.M. Tatarnikova, N.V. Yagotinceva
Visitors: 3084
The paper considers the problem of applying geographic information systems (GIS) in managing dy-namic objects. It proposes a structural-functional model of a ship GIS. Functional modules that form a ship local area network represent the GIS hardware layer. It is shown that in order to control a dynamic object, functional modules of GIS hardware must meet the delivery time limits recommended by spatial data distribution standards. The authors form the research task as the task of developing methodological support for ship GIS design for specified sailing goals and taking into account the restrictions on the required GIS perfor-mance indicators when working with spatial data. The choice of a GIS infrastructure is an integral prob-lem of conditional multiparameter optimization with cost and GIS project performance limits. The paper proposes a method of forming a GIS infrastructure with a given set of properties. The method includes the steps of forming initial data, estimating temporal characteristics of spatial data de-livery to a decision maker, determining a GIS infrastructure that meets cost and performance require-ments, and determining the bottleneck in a GIS structure. The initial data of ship GIS design are a ship application and a sea navigation area. The ship application makes it possible to determine the minimum number of workstations, and the sea navigation area determines the minimum composition of the equipment on a ship, which is determined by the Global Maritime Distress and Safety System the Russian Federation.

18. A simplified method for skeletonization of non-convex figures [№3 за 2019 год]
Author: A.V. Kuchuganov
Visitors: 2332
The approximation of graphic information through the skeletonization of object images is a way to re-place objects with simpler and more convenient representations in semantic analysis problems and im-age recognition. Skeletons are widely used in technical vision systems, content image search, in geo-metric modeling and visualization. The most popular approaches: based on “erosion” (removal of ob-ject boundary points) and mathematical (based on Voronoi diagrams formed by Delaunay triangula-tion, inscribing circles or using the wave method). A common disadvantage of the existing skeleton building algorithms is the loss of information about the width of the original figure sections, which is often necessary in image recognition and description tasks. The paper proposes an approach that follows the previously published method of skeletalization based on heuristic rules and consists in the sequential cutting off of figure segments with minimal chords in places where the border of the figure has a negative inflection when it is counterclockwise. Then segments are constructed connecting the midpoints of the chords of adjacent segments. The seg-ments are combined into chains that form a nonconvex figure skeleton. In this case, the lengths of the obtained chords carry information about a figure width in the corresponding sections. The experiments were related to two subject areas: processing scanned archival drawings of parts of a general engineering application to use previously gained experience in designing new products and reducing the overall design time and technological preparation of production, as well as the problem of recognizing a continuous handwritten text in the off-line mode.

19. Predicting an object state based on applying the Kalman filter and deep neural networks [№3 за 2019 год]
Authors: A.Yu. Puchkov , Dli M.I., E.I. Lobaneva , M.A. Vasilkova
Visitors: 3854
The paper presents an algorithm for predicting an object state based on data from different sources (for example, video cameras) coming in the form of images aimed at critical technological zones. The pro-posed algorithm is based on the consistent use of a deep artificial neural network and the Kalman filter. A neural network is designed to reduce the input data dimension (images) performing the function of an encoder, which gives of an observation vector of the object state on the output. Based on these ob-servations, the object state is evaluated by a recurrent filter. Using the filter directly for images would lead to a large dimension of the problem; it would be impossible to perform it practically due to com-putational difficulties. The program that implements the proposed algorithm was developed in Python 3.6 using the Spyder integrated environment from the Anaconda assembly for the Linux operating environment. The choice of a programming language is due to the availability of powerful libraries for machine learning Tensor-Flow from Google, as well as the convenient Keras framework for creating and working with deep neu-ral networks. The paper describes the results of a model experiment on using the proposed algorithm for predict-ing an object state, which consisted in attributing the obtained observations to a particular class. The experiment also involved generating sets of images belonging to different classes, differing in their tex-ture. A line-by-line horizontal pixel shift simulated the noise in the images. The comparative analysis of the predicted results with and without using the Kalman filter has shown that filtering reduces the number of false classifications. The developed algorithm might be used in decision support systems and automated process control systems.

20. Analysis of formulation features of functional requirements to an automated information system [№3 за 2019 год]
Authors: R.D. Gutgarts , P.M. Polyakova
Visitors: 2795
The article briefly analyzes typical problems accompanying the stage of identification of requirements for automated information systems (AIS). Since a user sees an information system in a modern context in the form of software (software), the requirements for functional software can be considered equiva-lent to functional requirements for AIS. The paper considers some well-known approaches to the formulation of requirements for AIS in-cluding functional ones, reveals their common and original aspects. There are many requirements for the designed system. However, functional requirements are always primary. AIS requirements related to reliability, customizability, technical support, interface organization taking into account error han-dling, etc. are secondary to functional and are fully determined by them. They also depend on the cur-rent level of development of relevant information technologies including programming technologies. The analysis is based on experts’ opinions presented in classical thematic sources. The study has shown that so far the tasks related to the correct formulation of functional require-ments for software do not have an unambiguous solution, although attempts to structure them and (or) unify them are being made. The paper proposes an approach to a semantic content of functional requirements taking into ac-count the algorithmic aspect for their further software implementation. It is based on one of the classi-cal control functions (accounting function, calculation, analysis, control, regulation) in the textual for-mulation and allows seeing the informational relationship between source data, an algorithm and re-sults. This may be a necessary and sufficient condition that promotes some unification when identifying functional requirements. There is the example illustrating the proposed approach.

← Preview | 1 | 2 | 3 | Next →