д-р техн. наук, проф.
Doctor of science, Professor
Разработан вариант основных положений, моделей и методов для постановок и решения задач контроля и диагностирования процессов в системах, задач построения моделей процессов, в которых причинно-следственные связи событий преобразованы в функциональные зависимости между элементами в последовательностях, задач формализации правил управления процессами и т. п. Для этого расширено классическое рекуррентное определение последовательностей, в котором представлены функциональные зависимости элементов от непосредственно предшествующих им m элементов до вводимого Z-рекуррентного определения, в котором определяется функциональная зависимость между наборами элементов в последовательности. Порядки Z-рекуррентных форм имеют вид наборов чисел и удобны для точной и полной характеристики связей событий в процессах. Задачи контроля, диагностирования, построения новых моделей процессов, оценки сложности процессов и правил управления процессами могут ставиться и решаться с использованием числовых показателей Z-рекуррентных определений. Построены классификация Z-рекуррентных определений последовательностей и классификация процессов, разработан алгоритм проверки выполнимости определения Z-рекуррентной формы для заданных последовательностей формы. Z-рекуррентное определение последовательностей дополнено методом Z-рекуррентного определения образов последовательностей, включающим: введение линейного порядка на базовом множестве элементов последовательности, построение для рассматриваемой последовательности образа в форме последовательности выполняющихся или не выполняющихся отношений между элементами, представленных линейным порядком, и применение Z-рекуррентного определения к построенному образу последовательности. Задачей, на которой основывается решение рассматриваемых задач, является распознавание двух последовательностей по свойствам, которые определяются показателями Z-рекуррентных определений последовательностей, имеющими вид порядков Z-рекуррентных форм. Множества порядков в выполняющихся или не выполняющихся Z-рекуррентных формах характеризуют последовательности и анализируемые множества последовательностей, что позволяет ставить и решать задачи, связанные с управлением системами: задачи контроля и диагностирования процессов в системе, задачи построения моделей процессов, задачи формализации и оценки сложности правил управления процессами.
In paper developed version of the basic concepts, models and methods for the formulation and solution of problems of control and diagnosing of processes in systems, tasks of constructing models of processes in which the causal relationships of events are transformed into functional dependencies between elements in sequences, problems of formalizing of process control rules, etc. For this extended classical recurrent definition of the sequences, which presents the functional elements depending on the immediately preceding to them m elements to offered Z-recurrent definition, which defines the functional relationship between sets of elements in the sequence. The orders of Z-recurrent forms have the form of a set of numbers and are convenient for accurate and complete characterization of the connections of events in processes. The tasks of control, diagnosing, constructing new models of processes, assessing the complexity of processes and rules for managing processes can be formulated and solved using numerical indicators of Z-recurrent definitions. A classification of Z-recurrent definitions of sequences and a classification of processes are constructed, an algorithm for checking the feasibility of determining a Z-recurrent form for given sequences of form is developed. The Z-recurrent definition of sequence is complemented by the Z-recurrent sequence pattern method, which includes: introducing a linear order on the base set of sequence elements, constructing an image for the sequence in the form of a sequence of executing or non-executing relationships between the elements represented by a linear order, and applying Z-recurrent definitions to the constructed image of the sequence. The problem on which the solution of the considered problems is based is the recognition of two sequences by properties, which are determined by the indicators of Z-recurrent definitions of sequences, which have the form of orders of Z-recurrent forms. Sets of orders in executing or non-executing Z-recurrent forms characterize the sequences and the analyzed sets of sequences, which allows you to set and solve problems related to system management: problems of control and diagnosing of processes in the system, problems of constructing process models, problems of formalizing and complexity estimation of control rules of processes.
The authors declare that there are no conflicts of interest present.