О модельно-ориентированном системном инжиниринге (MBSE)

 Публичный пост
6 марта 2024  660

Пара цитат из учебника, на который Институт Beinopen опирается при проектировании Альянса.

В. В. Кондратьев
МОДЕЛЬНО-ОРИЕНТИРОВАННЫЙ СИСТЕМНЫЙ ИНЖИНИРИНГ 2.0
Учебное пособие
Москва, МФТИ, 2021

Задача учебного пособия – сориентировать специалистов в остроактуальном, быстро развивающемся, «прорывном» направлении новейшего инжиниринга, основанном на комплексном применении системного, архитектурного, математического и компьютерного моделирования. Издание дополняют сервисы профильного дистанционного обучения и самообучения на международной платформе курсов MIPT-Coursera, учебные материалы на интернет-ресурсах МФТИ, инжиниринговые квесты и сервисы сопровождения прикладных проектов.
Предназначено студентам и аспирантам технических специальностей для освоения методов и инструментов новейшего инжиниринга.

Глава 6. Математизация и компьютеризация архитектурных моделей
6.1. Типология связанностей сущностей и атрибутов системы.
6.2. Опорные форматы математических моделей.
6.3. Математизация архитектурных моделей.
6.4. Компьютеризация метамоделей.
6.5. Платформа моделей системы.
6.6. Платформа моделей предметной области.
6.7. Расширение моделирования через анализ Больших данных и применение Искусственного интеллекта.
Выводы.

Состав и связанности компонент системы определяют её каркас и описываются посредством архитектурных моделей. Описание каркаса, структурного устройства системы дополняется учитываемыми ситуационными данными. Использование ситуационных данных позволяет в пространстве параметров наблюдения оценить и отследить с применением средств наблюдения, прогнозирования и при необходимости планирования параметры системы в статике и в динамике.

Связанности между параметрами системы, а также параметрами системы и её внешней среды отражают качественные когнитивные и количественные математически выраженные зависимости, учитывающие законы природы, системные ограничения и целевые критерии системы. В итоге целевые объекты представляются посредством структурных параметризированных моделей и дополняющих их разнообразных математических моделей.

Использование мирового каталога математических моделей кардинально расширяет возможности моделирования за счет наработанных веками математических формализмов и инструментов, позволяет аналитически отслеживать и моделировать поведение систем в статике и в динамике. А если смотреть исторически, то современные форматы моделирования – это наследники первых моделей в форме «наскальных и папирусных записей». Дальше – больше.

Структурированные и упорядоченные записи архитектурных моделей, ситуационных данных и математических моделей можно транслировать в компьютерные записи и таким образом кардинально расширить возможности анализа и проектирования систем за счёт использования стремительно развивающихся методов и возможностей компьютерного моделирования. Тем самым системное моделирование подготавливает следующий шаг – цифровую трансформацию деятельности и создание инструментов нового инжиниринга.

...

6.2. Опорные форматы математических моделей

Математические модели дополняют архитектурные модели на основе применения математических формализмов и описывают состав ситуационных параметров А, мультифизические и системные связанности параметров А в форме зависящих от сущностей Е и ситуационных параметров А:

  • целевых критериев F(Е,a) оптимизации требований: F(Е,a) → ...
  • ограничений, задающих по физическим и системным правилам до- пустимые значения параметров а:

f (Е,a) = 0.

Целевые критерии представляют математически представленные функции и операторы количественно задающих меры F(Е,a) достижения чего-либо значимого, нужного, каких либо требований в зависимости от учитываемых параметров a. Позволяют математическими формализмами описывать требования максимизации/ минимизации достижения требований
F(Е,a) ➔ ...

Модели ограничений описывают количественно выраженные состояния па- раметров а системы, а также физические и системные ограничения на них f(Е,a)=0. Позволяют математическими формализмами описывать множества атрибутов а/ ситуационных параметров а системы
а∈Y={a| f(Е,a)=0}, допустимых с точки зрения ограничений f(Е,a) = 0.

В сложных задачах алгоритмы поиска допустимых ситуационных параметров при заданных моделях ограничений называют алгоритмами балансировки.

Оптимизационные модели включают количественно выраженные состояния системы a и ограничения на них f(Е,a) = 0, целевые критерии F(Е,a)➔... Позволяют математическими формализмами формулировать требования определения допустимых с точки зрения описательной модели и предпочтительных с точки зрения многокритериальной оптимизации параметров си- стемы а:

Алгоритмы представляют порядки действий по выбору промежуточных и финишных требуемых значений целевых параметров а системы. Позволяют математическими формализмами искать и находить допустимые с точки зрения описательной модели и предпочтительные с точки зрения критериев оптимизации состояния системы.

Таким образом, представленные модельные конструкции позволяют описывать системы и с точки зрения состава, и с точки зрения связанностей сущностей (архитектурные модели), и с точки зрения используемых качественных и/или количественных характеристик сущностей и их связанностей (математические модели).

Связанные посты
Менторский клуб. Развитие региональных программ: от акселератора до СТМ, системы дистрибуции и центра компетенции (14 августа)
Прокомментируйте первым

Автор поста открыл его для чтения, но комментировать могут только зарегистрированные участники Альянса x Beinopen.
Что такое Альянса x Beinopen

Если вы хотите вступить в Альянс и готовы рассказать профессиональному сообществу о своем бизнесе или проекте, оплатите годовое участие в Альянсе
Оплатить оргвзнос


Войти  или  Оплатить