DOI: 10.25136/2644-5522.2018.5.27561

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

DOI: 10.25136/2644-5522.2018.3.26613

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