Vol 29, No 2 (2023)

Cover Page

Full Issue

Cad-systems

Logical minimization of multilevel erpresentations of boolean function systems

Bibilo P.N., Lankevich Y.Y., Romanov V.I.

Abstract

A decisive influence on complexity and speed of a combinational logic circuit of library CMOS elements is exerted by the preliminary stage of technologically independent optimization of the implemented system of Boolean functions. At present, the main methods of such optimization in the logical synthesis of custom CMOS VLSI blocks are methods for minimizing binary decision diagrams — Binary Decision Diagrams (BDD) or their modifications. Graphical representations of BDD are built on the basis of the Shannon expansions of Boolean functions. A BDD graph corresponds to a set of interrelated Shannon expansion formulas that form a multilevel representation of the minimized system of Boolean functions. The efficiency of applying various optimization procedures of minimization for several types of BDD representations of systems of Boolean functions is investigated in the paper. These procedures are used as a technologically independent optimization in the synthesis of multi-output logic circuits of library CMOS elements. In addition to single logical optimization procedures, sequences of such procedures are studied that form various methods of logical optimization of multilevel representations of systems of Boolean functions. The results of experiments on 49 examples of systems of Boolean functions are presented. 25 optimization routes have been studied, efficient routes have been determined for various types of specifications of function systems. The obtained experimental results are compared with the known ones. It has been established that to estimate the complexity of optimized algebraic representations of systems of functions, it is advisable to use such a criterion as the total number of literals (variables or their inversions) of Boolean variables.

Informacionnye Tehnologii. 2023;29(2):59-71
pages 59-71 views

Database

Typology and modeling profiles of moving-class process-entity interactions: core types, relationships, constraints and subschemas

Rodionov A.N.

Abstract

Most of scientific research that are immediately concerned with the development of domain digital models, to one degree or another, is aimed at the derivation of reference conceptual and logical constructions covering all pertinent classes of interactions in which real-world objects with concomitant constraints can be involved. This work is directed to forming the core of a structural template that models facts — instances of associates that arise during the movement (transportation) of freights. The multiple alternatives and high variability of any processes logic, including moving-class processes, make their complete unification problematic. Nevertheless, one can come down to process modeling from a system-wide perspective, focusing on the capture of universal permanent processes components, such as source and output sets of objects, associations and constraints. The reality exhibits examples of hierarchical coherence of any classes of generalized processes, which in their sequential development break up into several self-sufficient processes distributed between organizational, calendar and implementation phases. The main focus of the work is on the sequential (from simple to complex) configuration of the structural core of process-entity interactions in the organizational phase, covering route segments, transport and freights, as well as the study of constraints on permissible instances of links incoming into the corresponding associative complex. Conceptual diagrams are presented in simplified and thorough formats. In a simplified format, multi-valued dependencies are modeled by means of weak entities and relators. In a thorough format, weak entities and relators have been replaced with documentary types, the structures of which contain an exhaustive set of information about all objects, including auxiliary ones that are involved in interactions. The paper also considers the influence of the environment that is represented by classifying sets on the content of bounded relationships operating between the entity and process types. We have ascertained, formalized and described all constraints appearing in the organizational phase of generalized transport process including new constraint kind — split dependent link, resulting from the formation of cycles in conceptual constructions. Similar cycles contain and link together split, entity and (or) process types.

Informacionnye Tehnologii. 2023;29(2):72-83
pages 72-83 views

Neural network technologies

Building an optimal convolutional neural network model for solving complex character recognition problems

Trubin A.E., Batishchev A.V., Aleksahin A.N., Zubanova A.E., Morozov A.A.

Abstract

The purpose of the study is aimed at developing a lighter architecture of a convolutional neural network model that will cope with the narrowly focused task of recognizing complex characters better than large-scale and well-known ones. As the source data, the characters of the Japanese language are used, consisting of two syllabic alphabets: hiragana and katakana, which are the most complex, since their writing style is characterized by a large number of features and similarity of characters, which greatly complicates the task of their classification and recognition. The author’s model of a convolutional neural network is designed in the article, consisting of four convolutional layers, three layers of subdiscretization and three layers of exclusion. The developed model was compared with one of the most popular models of the EfficientNetB0 neural network from the point of view of their architecture and the results of work on the same data. To implement its own convolutional neural network model, the classic Keras + Tensorflow bundle was used, since these libraries provide the most convenient tools for working in the field of machine learning. The result of the conducted research is the developed technology of fast and accurate recognition of complex symbols based on a convolutional neural network, which can become the basis of a software product in the field of computer vision.

Informacionnye Tehnologii. 2023;29(2):84-90
pages 84-90 views

Neuro-fuzzy classification of technical conditions of objects of complex structure

Mantserov S.A.

Abstract

The application of neural-fuzzy technologies for solving the problem of classification of states of objects of complex structure is considered. A quantitative assessment of the technical condition of the facility is proposed on the basis of a complex indicator — the technical condition index (ITS). The methodology of classification of technical conditions of objects of complex structure is based on the adaptive neural mesh interference system (ANFIS) and the neural mesh classifier (NNA), which significantly accelerated and improved the accuracy of calculations for effective management of these objects.

Informacionnye Tehnologii. 2023;29(2):91-97
pages 91-97 views

Information technologies in economy, management and production

AMD-Xilinx Kria as a basis for industrial equipment embedded control system

Popov M.A., Mashkovskaya M.S., Romanov A.Y.

Abstract

This article presents a promising embedded control system designed to implement highly complex algorithms in industrial equipment that requires multi-axis positioning and high-speed data transmission. Brief information about the current trends in the development of the user interface of industrial equipment is given, the relevance of control systems with a graphical interface and support for touch displays is noted. The characteristics of the previously developed control system (based on the Zynq-7000 chip) are given, the shortcomings of this system are noted. The use of the Kria SOM module, developed by AMD-Xilinx (USA), is proposed. The key functional blocks of the control system are indicated, the structure of the embedded software is briefly shown. A comparison of two variants of the system — based on Zynq-7000 and Kria SOM — is made. The conclusion about the advantages of using the Kria SOM module (namely: the increase in the speed of mathematical calculations up to 5 times — depending on the task, decrease in the cost of components up to 10 times, simplification of the design of a printed circuit board by reducing the number of layers from 14—16 to 10, significant reduction in time cost of developing a circuit diagram and printed circuit board) is made. The advantages of the Kria SOM as the basis for building a control system with artificial intelligence capabilities are noted.

Informacionnye Tehnologii. 2023;29(2):98-103
pages 98-103 views

Information technologies in biomedical systems

Correction of the values of the classification feature of objects on the example of the diagnosis of multiple myeloma

Ignatev N.A., Zguralskaya E.N., Markovtseva M.V.

Abstract

The clinical features of changes in multiple myeloma indicators of different types associated with the gender of patients (objects) are considered. The methods of data mining examine the truth of the statement about the presence of many patients for whom gender is not significant in making a diagnosis. It is proposed to use the preprocessing of heterogeneous data to unify the description of objects in the binary space. The conditions for selecting and removing noise features from the set are determined. In order to reduce the dimensionality of the space, latent features are calculated by groups of binary generalized estimates of objects. A criterion is proposed for dividing patients into the optimal number of groups, taking into account their gender authenticity. From these groups, a new classification of objects is formed, differentiated by gender. The formation process is illustrated through the visualization of object descriptions, recognition accuracy and selection of informative feature sets according to the new classification. The selection procedure is implemented according to the rules of a hierarchical agglomerative algorithm. The property of invariance to the measurement scales of quantitative traits is an important argument for using the obtained results on data samples from the general population

Informacionnye Tehnologii. 2023;29(2):104-112
pages 104-112 views