Предлагается осуществлять исследование эргатических систем предметного назначения на основе применения теории конфликтов. Показаны внутренние показатели эффективности функционирования эргатических систем, представляющие собой оценки сбалансированности (конфликтности) элементов системы. Разрабатываются методы и алгоритмы, позволяющие осуществлять расчёт оценок сбалансированности конфликтных взаимодействий элементов эргатических систем. Обосновывается применение знакового графа G в качестве модели конфликтных взаимодействий элементов системы. Доказывается возможность применения перманентного многочлена матриц смежности P и Z графа G для расчёта оценок сбалансированности. Рассматривается метод Райзера, уменьшающий вычислительную сложность вычисления перманентного многочлена матриц смежности. Предлагается модификация метода Райзера, включающая вычисление суммы значений разрядов двоичного представления десятичных чисел, позволяющая осуществлять машинный расчёт, подробно приводятся примеры использования нового способа для вычисления перманента. На условном алгоритмическом языке показаны разработанные алгоритмы расчёта оценок сбалансированности.
It is proposed to carry out a study of objective object systems based on the theory of conflicts. Indicated internal indicators of the effectiveness of the functioning of ergatic systems, which are estimates of the balance of the elements of the system. Methods and algorithms are developed that allow the calculation of the balances of the conflict interactions of the elements of ergatic systems. The application of the sign graph G as a model of conflict interactions of the system elements is substantiated. We prove the possibility of applying the permanent polynomial of the adjacency matrices P and Z of graph G to calculate the balance estimates. We consider the Riser method, which reduces the computational complexity of calculating the permanent polynomial of adjacency matrices. We propose a modification of the Riser method, which includes calculating the sum of the digits of the binary representation of decimal numbers, allowing for computer calculations, and examples of using a new method for calculating the permanent are given in detail. On the algorithmic language, the developed algorithms for calculating the balance estimates are shown.
The authors declare that there are no conflicts of interest present.