DOI: 10.25136/2644-5522.2018.5.27561

Аннотация: Объектом исследования в данной работе являются системы управления сложными техническими комплексами. Предметом исследования является методология разработки систем управления сложными техническими комплексами. Разработанная методология создания системы управления сложными техническими комплексами базируется на идее генерации последовательности отображений концептуальных моделей в инфологические модели и, далее, в даталогические модели. Ранее автором представлялось концептуальное и инфологическое моделирование и соответствующие этим уровням математические модели, а также отношения между ними, то есть математические категории. Разработанная методология создания системы управления сложными техническими комплексами базируется методах теории математических категорий. Представленные категории при даталогическом представлении имеют два уровня абстракции. Основные выводы проведенного исследования: 1. Унифицированное описание семейств неоднородных математических моделей, отражающих различный уровень абстрагирования (обобщения) на этапе даталогического представления предметных задач, делает возможным создание формулировок для общего определения моделей с описанием их структуры. 2. Разработанный метод даталогического моделирования предоставляет все возможности для обеспечения настройки на конкретных программно-технических средствах реализации системы управления сложными техническими комплексами.

DOI: 10.25136/2644-5522.2017.3.23087

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