Характеристическая функция акторной вычислительной системы
Работая с сайтом, я даю свое согласие на использование файлов cookie. Это необходимо для нормального функционирования сайта, показа целевой рекламы и анализа трафика. Статистика использования сайта обрабатывается системой Яндекс.Метрика
Научный журнал Моделирование, оптимизация и информационные технологииThe scientific journal Modeling, Optimization and Information Technology
cетевое издание
issn 2310-6018

Характеристическая функция акторной вычислительной системы

idЗеленский А.А., idГрибков А.А.

УДК 004
DOI: 10.26102/2310-6018/2024.47.4.015

  • Аннотация
  • Список литературы
  • Об авторах

Статья посвящена исследованию задачи определения для акторной вычислительной системы комплексного показателя осуществимости, который может быть выражен в виде бинарной характеристической функции. Эта функция зависит от разрешимости и перечислимости множества промежуточных значений параметров решаемой вычислительной задачи, реализуемости вычислительной системы, т. е. ее способности выполнять весь комплекс необходимых вычислительных операций за заданный ограниченный интервал времени (цикл вычислений), а также от степени доверия к функциональной надежности и информационной безопасности вычислительной системы, выражаемых в виде интегрального показателя доверия. В статье излагается описание акторной модели вычислительной системы в рамках теории чисел. Предлагаемое описание опирается на представление вычислительной системы в виде композиции акторов – носителей функций, определения вычислимости этих функций, а также разрешимости и перечислимости числовых множеств значений параметров, задаваемых для вычислительной системы и возникающих в ней в процессе решения поставленных задач. Рассмотрены подходы к обеспечению разрешимости, реализуемости и доверия к вычислительной системе. Констатировано, что выбор память-ориентированной архитектуры вычислений, исходя из требования реализуемости, также является целесообразным с точки зрения обеспечения разрешимости, перечислимости и обеспечения доверия к вычислительной системе.

Ключевые слова: вычислительная система, акторная модель, память-ориентированная архитектура, осуществимость, реализуемость, вычислимость, разрешимость, перечислимость, доверие

Для цитирования: Зеленский А.А., Грибков А.А. Характеристическая функция акторной вычислительной системы. Моделирование, оптимизация и информационные технологии. 2024;12(4). URL: https://moitvivt.ru/ru/journal/pdf?id=1722 DOI: 10.26102/2310-6018/2024.47.4.015

186

Полный текст статьи в PDF

Поступила в редакцию 18.10.2024

Поступила после рецензирования 29.10.2024

Принята к публикации 06.11.2024

Опубликована 31.12.2024