|
Эта публикация цитируется в 7 научных статьях (всего в 7 статьях)
Методы теории категорий в модельно-ориентированной системной инженерии
С. П. Ковалёв Институт проблем управления им. В. А. Трапезникова Российской академии наук
Аннотация:
Предложен математический аппарат на базе теории категорий, который позволяет формально описывать и строго исследовать процедуры применения моделей в инженерной деятельности, составляющие сущность модельно-ориентированной системной инженерии (Model-Based Systems Engineering, MBSE). В основе аппарата лежит математическое представление сборочных чертежей (мегамоделей систем) диаграммами в категориях, объектами которых служат модели, а морфизмы представляют действия по сборке моделей систем из моделей компонентов. Адекватность аппарата обоснована исходя из требований стандартов, регламентирующих описание структуры систем, в том числе IEC 81346. Предложены и исследованы теоретико-категорные методы решения ряда практических задач сборки систем. Приведены примеры решения таких задач в категориях, представляющих две ключевые области применения MBSE: геометрическое моделирование изделий сложной формы и дискретно-событийное имитационное моделирование поведения технических систем.
Ключевые слова:
модельно-ориентированная системная инженерия; мегамодель; теория категорий; копредел.
Поступила в редакцию: 16.01.2017
Образец цитирования:
С. П. Ковалёв, “Методы теории категорий в модельно-ориентированной системной инженерии”, Информ. и её примен., 11:3 (2017), 42–50
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/ia484 https://www.mathnet.ru/rus/ia/v11/i3/p42
|
Статистика просмотров: |
Страница аннотации: | 742 | PDF полного текста: | 410 | Список литературы: | 89 | Первая страница: | 3 |
|