Статья посвящена исследованию задачи определения для акторной вычислительной системы комплексного показателя осуществимости, который может быть выражен в виде бинарной характеристической функции. Эта функция зависит от разрешимости и перечислимости множества промежуточных значений параметров решаемой вычислительной задачи, реализуемости вычислительной системы, т. е. ее способности выполнять весь комплекс необходимых вычислительных операций за заданный ограниченный интервал времени (цикл вычислений), а также от степени доверия к функциональной надежности и информационной безопасности вычислительной системы, выражаемых в виде интегрального показателя доверия. В статье излагается описание акторной модели вычислительной системы в рамках теории чисел. Предлагаемое описание опирается на представление вычислительной системы в виде композиции акторов – носителей функций, определения вычислимости этих функций, а также разрешимости и перечислимости числовых множеств значений параметров, задаваемых для вычислительной системы и возникающих в ней в процессе решения поставленных задач. Рассмотрены подходы к обеспечению разрешимости, реализуемости и доверия к вычислительной системе. Констатировано, что выбор память-ориентированной архитектуры вычислений, исходя из требования реализуемости, также является целесообразным с точки зрения обеспечения разрешимости, перечислимости и обеспечения доверия к вычислительной системе.
The paper is devoted to the study of the problem of determining a complex feasibility indicator for an actor computing system, which can be expressed as a binary characteristic function. This function depends on the solvability and enumerability of the set of intermediate values of the parameters of the computational problem to be solved, the feasibility of the computational system, i.e. its ability to perform the entire set of necessary computational operations for a given limited time interval (computation cycle), as well as on the degree of confidence in the functional reliability and information security of the computational system, expressed in the form of an integral confidence index. The paper presents a description of the actor model of a computing system in the framework of number theory. The proposed description is based on the representation of a computing system in the form of a composition of actors – function carriers, definitions of computability of these functions, as well as solvability and enumerability of numerical sets of parameter values set for a computing system and arising in it in the process of solving the set tasks. Approaches to ensuring solvability, realisability and trust in the computational system are considered. It is stated that the choice of memory-oriented architecture of computations based on the requirement of realisability is also reasonable from the point of view of providing decidability, enumerability and ensuring trust to the computing system.
The authors declare that there are no conflicts of interest present.