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

Journal influence

Higher Attestation Commission (VAK) - К1 quartile
Russian Science Citation Index (RSCI)

Bookmark

Next issue

2
Publication date:
16 June 2024

Articles of journal № 4 at 2017 year.

Order result by:
Public date | Title | Authors

11. A method for improving interpretability of regression models based on a three-step building cognition model [№4 за 2017 год]
Author: Kulikovskikh I.M.
Visitors: 6841
Increasing generalization performance of regression models leads to a more effective solution for the problems of recognition, prediction, and extraction of social and engineering behavior strategies. A number of known methods for improving the generalization properties demonstrate computational effectiveness, hovewer they reduce interpretability of a model and results. This study is an attempt to approach this problem looking at the methods of regression and classification from digital filtering and psychometrics points of view. Considering the advantages of the methods for solving the interpretability problem in these areas, this research is aimed at defining a method to improve the interpretability of regression models by promoting learner’ internal uncertainty in machine learning. In order to solve the problem, the author has developed a three-step model of building cognition. This model reflects direct relations among digital filtering, psychometrics, and machine learning. These research areas employ the same sources of internal uncertainty that makes creating consistent mathematical models that connects the areas possible. For this purpose, the paper considers internal uncertainty from a cognitive point of view as processes of forgetting and guessing. The findings of this study provide the implementations of the following steps in accordance with the tree-step model: a filter synthesis step, a psychological assessment step, and an integrated regression/classification step. While the first step models an engineering environment and the second step presents a social environment, the integrated step helps to create a social-engineering environment. In addition, in contrast to the social environment that may simulate human cognition, the social-engineering environment seems promising in introducing machine cognition. The proposed implementations allow formalizing the method for improving interpretability of regression models changing from one kind of cognition to the other.

12. Synergetics of information-cognitive interaction in intelligent robotic systems with remote knowledge exchange [№4 за 2017 год]
Authors: Ulyanov, S.V., A.G. Reshetnikov
Visitors: 9018
The article describes a technology of knowledge bases remote design for fuzzy controllers, which are developed using the software toolkit “Knowledge base optimizer” based on soft and quantum computing. The paper also considers the possibility of tuning and transferring a knowledge base using remote connection to a controlled object. The presented technologies allow increasing control system robustness by adding training and adapting functions to various management situations.There is a comparison of control quality in fuzzy controllers operating in various control modes. Configuring and transferring fuzzy controller knowledge bases is performed using a remote connection with a control object online via Bluetooth and WiFi. As examples, there are different models of intelligent autonomous robots. Remote transmission of knowledge bases allows designing many different built-in intelligent regulators to implement a variety of control strategies under uncertainty and risk. The implemented technology of knowledge sharing in the group of intelligent robots allows achieving the goal of control and gaining additional knowledge by creating a new information source based on the synergistic effect of combining knowledge. The article considers various options of interaction between robotic systems. There is a brief description of each system. The experimental results demonstrate the possibility of guaranteed achievement of the control goal by a group of robots using soft computing technologies when designing knowledge bases of fuzzy controllers. The developed software toolkit allows designing and configuring complex ill-defined and poorly formalized technical systems online. This feature significantly reduces the time for intelligent control system design and improves system reliability by reducing the level of influence of expert estimates on the design process.

13. Interval differential equations in kalman fuzzy filter structure in complex technological object management [№4 за 2017 год]
Authors: A.Yu. Puchkov , Dli M.I.
Visitors: 9465
The paper proposes an estimation technique of processes in complex technological objects based on using interval methods in a differential vector-matrix equation that describes Kalman filter. In contrast to methods for solving a differential equation that describes Kalman filter, in real numbers interval notation allows taking into consideration input data uncertainty and inexactness due to different factors. Such factors include measuring equipment errors depending on instrument rating, round-off errors in numerical calculation, time and amplitude sampling errors. Inexactness also depends on mathematical methods, such as using a fuzzy logical approach in forming filter matrix determination when describing processes in complex technological objects. This is due to subjectivity in forming fuzzy model parameters: kinds of membership functions, a number of variable therms, rules of knowledge base filling. The novelty of the proposed approach is in the developed technique of process state interval estimations in conditions of input data inexactness based on interval differential equations methods. The methods allow reducing solving differential equations to more simplified system of solving polynomial equation. The paper reviews the steps of solving the equation that determines Kalman filter. The steps consist of a transition from a differential vector-matrix filter equation to a scalar form, then to an interval differential form and a system of polynomial equations. The solution of this system presents the desired range of process state estimations. The paper shows an exemplification and results of a MATLAB program work based on the proposed technique.

14. Program synthesizing based on a graph-analytic model description [№4 за 2017 год]
Authors: A.G. Zykov, I.V. Kochetkov, V.I. Polyakov, E.G. Chistikov
Visitors: 7947
The quantity and volumes of the developed software grow annually. It stimulates developers to create new tools enabling to reduce time for the next product development. It also includes testing automation equipment. The demand for new instruments of test automation increases due to increasing number of systems using different programming lan-guages. The relevance of the task of searching universal cross-language testing tools remains high. The paper considers verification of computing processes based on a graph-analytic model (GAM). The key idea of this approach is that the developed program is converted into a GAM description and is compared to the reference GAM description according to which it was created. Further, according to the results of comparing, the program either is recognized as correct, or is sent back for revision. A bottle neck of such approach is development of the program based on GAM and a potential iteration nature of the process. The authors suggest a special utility to solve this problem. This utility performs synthesis of programs for reference descriptions. The paper considers an algorithm of conversion of a GAM description object model into text representation of C# operators and expressions. A research objective is automation of program synthesis in C# by a group of GAM descriptions of a computing process. Within the research, we have created a tool enabling to transform GAM descriptions into program source codes. We have checked the developed utility on GAM descriptions of an array processing program (sorting, turn). The synthesized executed module has been successfully tested in Windows 10 operating system environment. In the future we plan to develop the utility along with new versions of a description language to enrich the possibilities of synthesizable programs.

15. A software complex to manage and test a distributed database [№4 за 2017 год]
Authors: N.E. Timofееva, K.A. Polulyakh
Visitors: 10157
The paper considers a software solution to manage and test a distributed database, which also allows making the database distribution transparent to the user. The authors highlight the main theoretical aspects of distributed data storage, namely such concepts as a distributed database, a homogeneous and heterogeneous distributed database, table fragmentation, main criteria of database distribution, a client-server technology of distributed database design. The paper analyzes database test performance and reliability. It also gives database management system performance evaluation criteria that affect data processing speed and algorithmic solutions. The presented topic is relevant due to the lack of necessary tests for testing database management system performance, as well as the lack of a universal software package for distributed database design. The article describes the scheme and structure of server and client parts of the application software package. The authors have developed a software package for managing and testing a distributed database, which allows managing a homogeneous relational distributed database. The features of the application are the ability to test the database management system in all network nodes that participate in the creation of a distributed database, as well as the ability to include any other database management systems using a minimal addition of functionality to the software package.

16. Modular computer systems simulation software tool for checking feasibility of their configurations [№4 за 2017 год]
Author: A.B. Glonina
Visitors: 7709
The paper presents a software tool for checking feasibility of real-time modular computer systems (RT MCS) configuration. Integrated modular avionics (IMA) systems are considered as an example of RT MCS. An RT MCS configuration is feasible if all works for all computational tasks complete within their deadlines. The author formulates a set of requirements to configurations feasibility checking tool based on analysis of RT MCS design problems. The review of the existing software tools has shown that none of them satisfies all the requirements. Thus, it has become necessary to develop our own tool that would satisfy all the requirements. The proposed software tool allows simulating RT MCS and obtaining timing diagrams of their operation, which are necessary for feasibility checking. The correctness of the developed models was formally proven due to the chosen mathematical formalism (stopwatch time automata networks). As a model for a given configuration can be built and run automatically, our tool can be used together with the optimal configurations search algorithm. The tool was integrated with the scheduling CAD system into the industrial RT MCS and tested on realistic datasets. The experiments showed that the tool is suitable for practical use. Moreover, it is more efficient then a MCS model that is built into a CAD system for the configurations with long scheduling interval. Furthermore, in contrast with the proposed tool, the CAD system model does not satisfy all the requirements.

17. Methods and tools of logic control algorithm design using graphic models [№4 за 2017 год]
Author: A.V. Paramonov
Visitors: 7084
The paper discusses the problems of designing algorithms in automated control systems based on programmable logic controllers, in particular logic control algorithms. For example, these algorithms are implemented at the upper level of drive control systems. The algorithm designing process is called algorithmization. One of the main problems of algorith-mization of logic control tasks is a lack of visual, intuitive forms of algorithms, which do not require specific knowledge from a user. Here a user of an algorithm is both a programmer and an expert in the domain. In the case of a programmer, extra knowledge is problem area knowledge, in the case of an expert extra knowledge is knowledge about the formal theories behind algorithm representation forms and the skills of correct setting of a control problem. The aim of this research is increasing the abstraction level of logic control tasks design processes. To achieve this goal, the paper describes graphic models of automated processing stations as a tool for algorithmization of logic control tasks. It also formalizes the concept of a logic control algorithm in the context of graphic models and gives a detailed explanation of methods for obtaining logic control algorithms using graphic models in the form of the limited-entry decision tables and Moore automatic machine tables. The paper considers specialized environment for developing graphic models and logic control algorithms called Logic Algorithm Designer. It also describes the program interface, the main functionality and working principles. There are the examples of a logic control algorithm and the program code of IEC 61131-3 function block generated automatically from the algorithm. The proposed methods and tools of algorithmization allow improving the connection between a program developer and domain experts while maintaining high quality of these programs, ensuring their completeness and consistency. They also make it possible to reduce the development time due to automatic code generation and a much more detailed elaboration of a control algorithm.

18. Methods of representing text information in automated rubrication of short text documents [№4 за 2017 год]
Author: P.Yu. Kozlov
Visitors: 8916
The paper shows that citizens’ electronic messages (complaints, appeals, proposals, etc.) in terms of the possibility of their automated processing have a number of specific features. They are: usually a small document capacity, which makes it difficult to analyze it statistically, a lack of structuring, which complicates extracting information, a big number of grammatical and syntactic errors that lead to implementing several additional processing steps, thesaurus non-stationarity (composition and importance of words), which depends on the issuance of new normative documents, officials’ and politicians’ speeches, etc. All this leads to the necessity of using procedures for headings dynamic classification. The paper describes the stages of automated analysis and methods for formalizing text documents. It also proposes a developed rubrication method that uses the results of the morphological and syntactic stages with modified linguistic markup of text documents. The syntactic parser is MaltParser or LinkGrammar software that build dependency trees for all sentences in a document. The paper shows standard linguistic markings of MaltParser and LinkGrammar applied to short text documents, as well as a modification of the LinkGrammar markup to use for rubrication. Using known software for additional stages of analysis shows the problem of the diversity of linguistic markings. For example, most of the syntactic parsers at the output represent each sentence as dependency trees, which are described by linguistic markup. For further classification and assignment of weighting factors, linguistic markup should be modified, so it will increase the dimension of the metric. The developed method of rubrication takes into account the expert evaluation of the importance of words for each rubric, as well as the syntactic role of words in sentences. The paper shows a diagram of the process of automated rubrication of complaints and proposals in the developed analysis system. It also describes an experiment that confirms the expediency of using syntactic parsers in such systems, which leads to increasing accuracy of rubrication. There are recommendations to improve the accuracy of the developed method and use the theory of fuzzy sets and methods of cognitive modeling in order to solve the problem of thesaurus nonstationarity in the systems that depend on the issue of normative documents and officials’ speeches.

19. On the problem of non-format documents retro-conversion in digital content formation and provision systems [№4 за 2017 год]
Authors: A.N. Sotnikov, I.N. Cherednichenko
Visitors: 6421
The paper considers mathematical reasoning of solving the problem of scanned non-format documents retro-conversion (documents recovery), as applied to the task of filling and publishing collections of digital libraries. It also describes the algorithms of automatic clustering and forming auto-adaptive fonts for documents retro-conversion. As a mechanism for working with clustered objects, the authors use a classical approach to form a feature vector based on the estimates calculating algorithm model that describes each object under consideration. The algorithm for automatic clustering is based on a statistical approach to forming characteristic vectors of each cluster and to the dynamic correction of separating hyperplanes. Due to the specifics of the tasks being solved, the authors use a contour approach to graphic objects processing, which allows applying frequency analysis methods based on the Fourier transform. The paper presents estimates of the necessary and sufficient dimension of a feature vector used both for describing graphic objects and for their recovery with minimal distortion after generating output documents during a retro-conversion procedure. Finally, the article shows possible prospects for development of the described method of non-format documents retro-conversion in the field of organization of contextual search within graphic documents.

20. A methodical approach to forming functional requirements for a computer attacks protection system for automated control systems and its software implementation [№4 за 2017 год]
Author: Drobotun E.B.
Visitors: 6614
One of the main stages of development and building of secured automated control systems for various purposes is the stage of forming requirements for the developed automated system including security requirements against computer attacks and other information technology impact. Effectively developed and reasonable functional requirements for a computer attacks protection system will allow on the one hand providing the necessary level of automated system protection, on the other hand minimizing consumption of computing and human resources of the protected automated system, the amount of which is limited and finite in any automated system. One of the possible ways to form and prove optimal functional requirements for a computer attacks protection system is using a risk-oriented approach to forming and reasoning of these requirements. The approach includes identifying the severity and probability of possible security threats against the protected automated system. The article offers a methodical approach to formation of functional requirements for computer attacks protection systems for automated control systems. It is based on a risk assessment of information security threats in the automated system and its safe operation threats. The application of the proposed approach will allow forming optimal functional requirements for a computer attacks protection system for automated control systems for various purposes. It will help to achieve optimal resource allocation in an automated system to ensure functioning of the computer attacks protection system.

← Preview | 1 | 2 | 3 | 4 | Next →