Методы теории категорий в цифровом проектировании гетерогенных киберфизических систем

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