Институт проблем информатики Российской Академии наук
Институт проблем информатики Российской Академии наук
Российская Академия наук

Институт проблем информатики Российской Академии наук



«Systems and Means of Informatics»
Scientific journal
Volume 34, Issue 4, 2024

Content | About  Authors

Abstract and Keywords

A NEW APPROACH TO IMPLEMENTING LOGICAL FUNCTIONS IN FIELD-PROGRAMMABLE GATE ARRAYS
  • S. F. Tyurin
  • S. I. Sovetov
  • Yu. A. Stepchenkov
  • Yu. G. Diachenko

Abstract: The expansion of the functionality of the LUT (Look up Table) logic element of field-programmable gate array (FPGA) is considered. The proposed method uses the inactive half of the element’s transistor tree. The article studies a single-variable element 1-LUT implementation, which performs a logic function simultaneously with the variable decoding (DC), and its use to create an “n-LUT + DC FPGA.” The simulation validates the item’s performance and scaling to create n-LUT item. The analysis shows a significant gain of the proposed approach: reduced complexity in the number of transistors and reduced time delay. The developed element makes it possible to significantly increase the functionality of the logic of domestic FPGAs within the framework of existing restrictions that limit import substitution of the electronic component base.

Keywords: logic function; FPGA; LUT; variable set decoding

DISCRETE CONDITIONALLY-OPTIMAL ESTIMATION IN OBSERVABLE IMPLICIT STOCHASTIC SYSTEMS
  • I. N. Sinitsyn

Abstract: The paper is devoted to the approximate methods of nonlinear conditionally-optimal (by Pugachev) estimation (filtering, extrapolation, and interpolation) of stochastic processes in discrete implicit stochastic systems (StS) reducible to explicit StS. The methods are based on equivalent linearization of implicit functions. It is supposed that observations do not influence objects and are described by nonlinear equations with noncorrelated and autocorrelated noises. A survey of publications in the field of conditionally-optimal filtering and extrapolation for explicit and implicit StS is given. Two discrete mathematical models of implicit StS and equivalent linearization methods are considered.
For reducible implicit StS, conditionally-optimal filtering and extrapolation basic algorithms are presented. Special attention is paid to the known types of interpolation. Implementation to reduced autoregression equations is presented.
Main conclusions and directions of future investigation are discussed.

Keywords: autoregression system; conditionally-optimal extrapolator (COE); conditionally-optimal filter (COF); conditionally-optimal interpolator; discrete filter; observable implicit stochastic systems; stochastic systems (StS)

OPTIMIZATION OF THE THRESHOLD PARAMETER OF A RED-LIKE QUEUE MANAGEMENT ALGORITHM FORA G/M/1 QUEUE
  • Ya. M. Agalarov

Abstract: The article considers the problem of calculating the optimal threshold value of a RED-like algorithm by a threshold value for a G/M/1 queue with incomplete queue renovation and probabilistic clients reset. The RED-like algorithm uses a single-threshold mechanism for probabilistic reset of clients from the queue, according to which at each moment of release of the service device, some clients are removed from the queue with a given probability. Customers queue in the order of arrival and those whose queue number exceeds the specified threshold at the time of release of the service device (they are in the “congestion zone”) are reset with a given probability. It is assumed that the “congestion zone” has a limited number of seats and if there are no empty seats in the “congestion zone” at the time of arrival of the customer, the customer is reset. The objective function is a weighted sum of the average customer delay time, the average number of customers dropped from the queue per unit of time, the average number of customers rejected at the entrance per unit of time, the average downtime of the device, and customer service payment. The mathematical problem of optimizing the objective function by a threshold value at a fixed size of the “overload zone” is formulated. The proofs of some relations between the characteristics of the queuing system and the unimodality of the objective function in terms of the threshold value are presented. A simple algorithm for the guaranteed solution of the formulated problem is proposed.

Keywords: queue management; queue renovation; threshold parameter

DEVELOPMENT OF A CONVOLUTIONAL ALGORITHM FOR CALCULATING THE STATIONARY CHARACTERISTICS OF RESOURCE LOSS SYSTEMS WITH REQUIREMENTS-DEPENDING SERVING TIME
  • A. I. Nazarin
  • E. S. Sopin
  • S. Ya. Shorgin

Abstract: Resource loss systems (ReLS) are often used to analyze and calculate the performance metrics of wireless communication systems. The authors consider a multiserver ReLS with discrete requirements and service times that depend on the volume required resources, which allows one to analyze the efficiency of elastic traffic transmission in wireless networks. The evaluation of probabilistic characteristics for the model is complicated by the need to perform multiple convolutions of resource requirement distributions. To reduce the complexity of the calculations, the paper proposes a convolutional algorithm that allows one to obtain probabilistic measures, such as the loss probability and the average volume of occupied resources, during the calculation of normalization constant.
The numerical analysis of the loss probability and the average volume of occupied resources for discrete distributions of resource requirements is carried out.

Keywords: resource loss system; random requirements; loss probability

COOPERATIVE SELF-CONFIGURING HYBRID INTELLIGENT SYSTEMS FOR PERSONALIZED DIAGNOSTICS AND PROGNOSIS IN MEDICINE: CONCEPTUAL IDEA, DEVELOPMENT APPROACH, AND PROBLEM DECOMPOSITION
  • S. B. Rumovskaya
  • F. N. Paramzin

Abstract: The clinical picture of polymorbid, polyetiological diseases (including acute pancreatitis) is diverse, unpredictable, and can intersect with many other diseases. This changes and complicates the process of personalized assessment (diagnostic and prognostic) of the state of a complex object in medicine (a patient) which entails serious errors and risks. It is necessary to support decision-making in medicine by artificial intelligence systems. The paper proposes cooperative selfconfiguring hybrid intelligent systems (using acute pancreatitis as an example) and also considers the results of reducing the problem of personalized assessment of the patient's condition and specification of tasks from the resulting decomposition.

Keywords: hybrid intelligent decision support systems; problem-instrumental methodology; council; assessment of the severity and prognosis of the patient’s condition

DEVELOPING THE STRUCTURE OF SUPRACORPORA DATABASES
  • A. A. Goncharov

Abstract: The paper presents the methods for developing the structure of supracorpora databases to provide a more detailed representation of the results from parallel text analysis. The initial data structure for the annotation of are described. These methods provide the possibilities (i) to mark up the original and translation text blocks in more detail; (ii) to classify the features of a text block using multiple facets; (iii) to save data about lexical markers of text block features; and (iv) to save data about the irrelevance of text fragments pairs to a search query. All these possibilities allow improving the quality of the final data in terms of its completeness and consistency and the corresponding changes in the data structure can make it more flexible. The proposed changes to the data structure are independent of the goals and objectives of any specific study that may be conducted using supracorpora databases.

Keywords: supracorpora database; parallel texts; text annotation; corpus linguistics

THEORY OF S-SYMBOLS: DEVELOPMENT AND APPLICATION
  • V. D. Ilyin

Abstract: The article presents a new version of the theory of S-symbols (with additions and clarifications). The theory of S-symbols studies the construction of interconnected systems of S-(symbols, codes and signals) to create formalized languages (including specification and programming languages); the symbolic modeling of arbitrary objects (S-modeling), including systems of concepts and knowledge; the construction of a symbolic-code-signal environment (S-environment); and the construction of S-objects based on knowledge systems (including software systems and information resources). The S-environment serves as an infrastructural basis for solving the problems of research, engineering, and other activities using programmable machines (S-machines). The theory of S-symbols is considered as a part of the methodological arsenal for the development of formalized languages, knowledge systems, etc. performed in the S-environment. The new version of the theory adds a section on form-oriented languages with semantic markup (S-languages) and provides a definition of the knowledge system about an arbitrary S-object. The examples of applications in the automation of programming, digitalization of the public administration system, and the economic mechanism are given.

Keywords: theory of S-symbols; form-oriented languages with semantic markup (S-languages); S-knowledge systems; S-environment; S-modeling; S-machine; digitalization technologies

THE PROBLEMS OF GOAL SETTING IN THE HARDWARE AND SOFTWARE COMPLEX “SAFE CITY”
  • A. A. Zatsarinny
  • A. P. Suchkov

Abstract: The article analyzes conceptual approaches to the creation of the agro-industrial complex “Safe City” from the standpoint of sound goal-setting taking into account the need to consider such an indicator as the predicted damage from possible emergencies. Using real examples and a specific model, it is shown that for a real assessment of the degree of risks of various types of emergencies, it is necessary to move away from the established practice of fixed risk assessment without taking into account specific conditions in the regions and all factors influencing their real value, for which it is necessary to create a system for calculating the predicted damage. The main approaches for calculating the predicted damage are considered. It is proved that one of the main directions of using indicators of predicted risk is to determine the amount of possible economically feasible costs for emergency prevention.

Keywords: agro-industrial complex “Safe City;” goal setting; damage caused; damage prevented; predicted damage

THE RAS PROGRAM “OPTICAL COMPUTER” AND ITS CONSEQUENCES
  • V. P. Torchigin

Abstract: Within the framework of the RAS program “Optical Computer” during the study of the possibility of creating optical resonators in which a light wave circulates in homogeneous glass, it was found that such a possibility has already been realized in the form of ball lightning in the Earth’s atmosphere.
As a result, an optical model of ball lightning appeared according to which ball lightning is simply circulating light, that is, an object whose existence is difficult to believe without additional convincing evidence. Such evidence was obtained. Numerous articles have shown the complete similarity of the anomalous behavior of natural ball lightning, which is based on many years of numerous eyewitness accounts, with the behavior of circulating light in the atmosphere, which follows from the simple laws of physics and optics. Moreover, it turned out that in nature, there is a whole world of circulating light consisting of objects with anomalous properties. This made it possible to explain another no less mysterious phenomenon of single-bubble sonoluminescence. Two books on this topic have been published in New York and London. Thus, the consequence of the Optical Computer program was the discovery of a new world of circulating light with unusual objects that may be in demand in computing technology.

Keywords: optical signal transmission; ball lightning; circulating light; molecular light scattering; 2D lightguide

ON AN APPROACH TO DATA ANALYSIS AND VISUALIZATION IN THE DOMAIN OF EMPLOYEE-ORGANIZATION RELATIONSHIPS
  • Kishankumar Bhimani
  • Khushbu Saradva

Abstract: An increasing number of domains in science and industry rely on the intensive use of data. In such domains, obtaining new knowledge is almost impossible without the use of modern methods of data analysis and visualization. A typical example is the domain of human resource (HR) management. This paper proposes an approach to the application of exploratory data analysis, feature extraction from data, and predictive analytics to determine the relationships between an employee and an organization. Correlation analysis is used to identify relationships between data attributes and assess the strength of these dependencies. Word clouds and conditional feature selection are used during feature extraction. A feature that corresponds to the risk of an employee leaving the organization is implemented. The approach is applied on a nationwide dataset of organization's employee survey and contributes to computer science methods in sociology and HR management.

Keywords: data analysis; data visualization; human resource management; employee{organization relationship