Формальное представление модели реализации функций системной инженерии на основе принципа необходимого разнообразия структурных связей

Автор: Куликов Геннадий Григорьевич, Антонов Вячеслав Викторович, Фахруллина Альмира Раисовна, Родионова Людмила Евгеньевна

Журнал: Вестник Южно-Уральского государственного университета. Серия: Компьютерные технологии, управление, радиоэлектроника @vestnik-susu-ctcr

Рубрика: Краткие сообщения

Статья в выпуске: 4 т.17, 2017 года.

Бесплатный доступ

Предложена методика представления системной модели предметной области в форме ка-тегории процессов. Предложено правило синтеза самоорганизующейся структуры моделей процесса. Показано, что последовательность композиций-декомпозиций процессов обладает свойством фрактальных преобразований (самоподобия). Ядром этих преобразований являются коммутативные треугольники, определяющие структуру взаимодействующих процессов при их композиции-декомпозиции. Показано, что такие структуры сохраняют свойства самоорганизации в соответствии с законами необходимого разнообразия ЭШБИ. Показана возможность построения тождественных формальных алгоритмов контроля целостности структуры исходных процессов, при нарушении которой требуется «внешнее» управление. Предлагаемые правила преобразования продемонстрированы на примере синтеза самоорганизующегося процесса соглашения, архитектура которого определена в стандарте ISO/IEC 15288 «Системная инженерия».

Еще

Теория категорий, предметная область, структурный анализ и синтез, формальная модель, стандарты системной инженерии, кадровый резерв, обработка данных

Короткий адрес: https://sciup.org/147155219

IDR: 147155219   |   DOI: 10.14529/ctcr170416

Список литературы Формальное представление модели реализации функций системной инженерии на основе принципа необходимого разнообразия структурных связей

  • Разработка формальной модели производственного процесса для организации проектного и производственного менеджмента с применением интеллектуальной КИС/А.В. Речкалов, Г.Г. Куликов, В.В. Антонов, А.В. Артюхов//Вестник ПНИПУ. Электротехника, информационные технологии, системы управления. -2014. -№ 11. -С. 34-54.
  • ISO/IEC/IEEE 15288:2015 System and software engineering -System life cycle processes. -http://www.ppi-int.com/systems-engineering/free%20resources/PPI-006080-1%20PPI%20Review% 20of%2015288%20150827.
  • Гольдблатт, Р. Топосы. Категорный анализ логики/Р. Гольдблатт. -М.: Мир, 1983. -486 с.
  • Ковалёв, С.П. Категория вычислительных систем/С.П. Ковалёв//Международная конференция «Алгебра и логика: теория и приложения»: тез. докл. -Красноярск: СФУ, 2013. -С. 64-66.
Краткое сообщение