Рубрика: "2.3.1. Системный анализ, управление и обработка информации (технические науки)"
519.87 Структурная теория сложных систем. Модельный синтез
Бродский Ю. И. (ФИЦ ИУ РАН)
doi: 10.18698/2309-3684-2022-3-98123
В данной статье прежде всего хотелось упорядочить результаты работ автора последних двух десятков лет в области структурной теории моделирования сложных систем и практики реализации таких систем с единых позиций. На основе гуманитарного анализа ключевых свойств сложных систем, признаваемых таковыми рядом авторитетных исследователей и практиков этой области, и предположения о возможности построения математической компьютерной модели сложной системы, — гипотезы о замкнутости, — предлагается формальное определение компьютерной модели сложной системы, как рода структуры в смысле Н. Бурбаки — род структуры М (модель). Класс математических объектов, определяемый родом структуры М обладает следующими двумя свойствами: комплекс, созданный объединением конечного числа математических объектов рода структуры М по определенным правилам, сам является объектом этого рода структуры. Организация вычислительного процесса для всех математических объектов рода структуры М однотипна и поэтому может быть реализована единой универсальной программой организации имитационных вычислений. Наличие этих двух свойств у представителей рода структуры М позволяет построить сквозную технологию описания, синтеза и программной реализации моделей сложных систем — Модельный синтез и Модельно-ориентированное программирование. Изучая морфизмы базисных множеств построенной с помощью модельного синтеза модели рода структуры М, и инварианты, ограничивающие такие морфизм, мы получаем формальный математический язык исследования сложных открытых (меняющих свой состав) систем. Ведя традиционный по форме гуманитарный дискурс, можно все время соотносить его с соответствующим объектом рода структуры М — транслируя на математический язык гуманитарные понятия языка более высокого уровня. Предлагаемая теория имеет практическое применение в области разработки, описания и реализации сложных программных систем. Предлагается новая программистская парадигма —Модельно-ориентированное программирование, являющееся полной реализацией методов САПР в программировании. При разработке программной системы удается оставаться в рамках декларативного программирования, избегая императивного, что существенно упрощает как ее разработку и реализацию, так и последующую отладку.
Бродский Ю.И. Структурная теория сложных систем. Модельный синтез. Математическое моделирование и численные методы, 2022, № 3, с. 98–123.
519.85 Метод нахождения недоминируемых решений в задачах декомпозиции моделей сложных систем
Киселев В. В. (МГТУ им.Н.Э.Баумана)
doi: 10.18698/2309-3684-2022-1-129140
В статье рассматривается метод нахождения оптимальных решений, при наличии модели сложной технической системы, в задаче оптимального проектирования. Метод основан на использовании недоминируемых, лямбда оптимальных решений и является обобщением метода Краснощекова П.С., Морозова В.В., Федорова В.В. [1]. Метод позволяет во многих случаях (для лямбда монотонных целевых функций) сократить количество вычислений и снизить размерность исходной задачи. Разработан численный метод построения лямбда оптимальных решений. Приводится численный пример, в котором показано,что количество лямбда оптимальных решений состоит из одной точки, а множество Парето-оптимальных решений является некоторой кривой, на которой для нахождения оптимального решения необходимо строить эпсилон-сеть.
Киселев В.В. Метод нахождения недоминируемых решений в задачах декомпозиции моделей сложных систем. Математическое моделирование и численные методы, 2022, № 1, с. 129–140.
Достовалова А. М. (МГТУ им.Н.Э.Баумана)
doi: 10.18698/2309-3684-2021-4-103120
В статье рассмотрена задача классификации отсчетов радиолокационного изображения (РЛИ). Использовалась модель локально-однородного РЛИ, в рамках которой отсчеты каждого небольшого участка (локальной области) считались принадлежащими только одному классу. Проведено сравнение результатов классификации нескольких реальных РЛИ по локальным областям при использовании статистических критериев максимума апостериорной вероятности, Колмогорова и Крамера-Мизеса-Смирнова. При этом в случае, когда перечисленные критерии затруднялись классифицировать локальную область — при попадании ее на границу раздела подстилающих поверхностей, та считалась отнесенной к особому, граничному классу, и ее отсчеты обрабатывались с помощью сеточного метода разделения смесей вероятностных распределений. Для каждого критерия оценивалась точность классификации, как доля верно классифицированных пикселей внутри выделенных однородных областей. Установлено, что в случае значительных межклассовых различий наилучшую точность классификации обеспечивает использование наименее мощного среди непараметрических критериев-критерия Колмогорова. Также на примере реального изображения показано, что когда отличия характеристик объектов одного класса оказываются сопоставимы с межклассовыми различиями, наибольшая точность классификации достигается при использовании критерия максимума апостериорной вероятности. Подобные случаи характерны для широкого класса задач классификации, в том числе не связанных с обработкой изображений.
Достовалова А.М. Моделирование локально-однородных радиолокационных изображений при использовании различных статистических критериев. Математическое моделирование и численные методы, 2021, № 4, с. 103–120.
Полянин А. Д. (Институт проблем механики им. А.Ю. Ишлинского РАН/МГТУ им.Н.Э.Баумана/НИЯУ МИФИ), Шингарева И. К. (Университет Соноры)
doi: 10.18698/2309-3684-2021-2-96116
Впервые обсуждаются проблемы оценки индекса подобия неоднородных научных публикаций, содержащих уравнения и формулы. Показано, что наличие уравнений и формул (а также графиков, рисунков и таблиц) является осложняющим фактором, существенно затрудняющим исследование таких текстов. Доказано, что метод определения индекса подобия публикаций, основанный на учете отдельных математических символов и частей уравнений и формул, является неэффективным и может приводить к ошибочным и даже совершенно абсурдным выводам. Исследуются возможности наиболее популярных аналитических систем Антиплагиат и iThenticate, используемых в настоящее время в научных журналах для выявления плагиата и самоплагиата. Приведены результаты обработки системой iThenticate конкретных примеров и специальных тестовых задач, содержащих уравнения и формулы. Установлено, что эта аналитическая система при анализе неоднородных текстов часто неспособна отличить самоплагиат от псевдосамоплагиата — кажущегося (ложного, мнимого) самоплагиата. Рассмотрена модельная сложная ситуация, в которой идентификация самоплагиата требует привлечения высококвалифицированных специалистов узкого профиля. Предлагаются различные пути улучшения работы аналитических систем сопоставления неоднородных текстов. Данная статья будет полезна научным работникам и преподавателям вузов физико–математического и инженерного профиля, программистам, занимающимся проблемой распознавания образов и вопросами цифровой обработки изображений, а также широкому кругу читателей, которые интересуются вопросами плагиата и самоплагиата.
Полянин А.Д., Шингарева И.К. Индекс подобия математических и других научных публикаций с уравнениями и формулами и проблема идентификации самоплагиата. Математическое моделирование и численные методы, 2021, № 2, с. 96–116.
Мозжорина Т. Ю. (МГТУ им.Н.Э.Баумана), Закуражная А. А. (МГТУ им.Н.Э.Баумана)
doi: 10.18698/2309-3684-2022-2-88101
В данной работе рассматривается оптимизация перелета космического аппарата с Земной орбиты на орбиту Венеры с помощью ионных двигателей. Первый полет к планете состоялся в 1961 году советской автоматической межпланетной станцией «Венера-1», которая прошла в 100 000 километрах от Венеры. Кроме этого, в 1962 году был совершен полет американской станцией «Маринер-2». Самый последний корабль, запущенный к планете, был «Венера Экспресс» Европейского космического агентства в 2005 году, который долетел до Венеры за 153 дня. При решении текущей задачи были приняты следующие допущения: рассматривается межорбитальный перелет без учета притяжения планет, а орбиты планет считаются круговыми и лежащими в одной плоскости. В качестве управления был выбран угол между касательной скоростью космического аппарата и направлением тяги. Оптимизация управления проводилась с использованием принципа максимума Понтрягина. Полученная краевая задача для системы обыкновенных дифференциальных уравнений решалась численным методом — методом пристрелки. Для решения систем нелинейных алгебраических уравнений использовался метод Ньютона. Программа расчета была написана с использованием языка программирования С++. В результате работы удалось минимизировать время перелета между орбитами, таким образом была показана работоспособность метода пристрелки для решения задач оптимизации
Мозжорина Т.Ю., Закуражная Д.А. Моделирование и оптимизация управления полетом космического аппарата с орбиты Земли на орбиту Венеры с помощью ионных двигателей. Математическое моделирование и численные методы, 2022, № 2, с. 90–103
519.866 Математическое моделирование рекламной кампании
Чибисова А. В. (МГТУ им.Н.Э.Баумана), Шинаков Д. С. (МГТУ им.Н.Э.Баумана)
doi: 10.18698/2309-3684-2022-3-8497
В данной статье предлагается метод оптимизации динамической политики распределения бюджета для рекламной кампании, размещаемой через встроенный в поисковик рекламный инструмент. Данный метод учитывает уникальные особенности маркетинга в социальных сетях, обеспечивает оптимальную политику распределения бюджета с течением времени для одной рекламной кампании и минимизирует продолжительность кампании, учитывая конкретный бюджет и желаемый уровень охвата каждого маркетингового сегмента. Модель включает в себя общую "функцию эффективности", которая определяет взаимосвязь между стоимостью рекламной ставки в данный момент времени и количеством новых пользователей, показанных в это время. Поставленная цель достигается за счет реализации алгоритма оптимального решения задачи динамического распределения рекламного бюджета при некоторых граничных условиях, а также за счёт анализа данных о рекламной кампании предприятия за июнь 2018 года. В ходе исследования был реализован алгоритм оптимального решения задачи динамического распределения рекламного бюджета при соответствующих граничных условиях, были приведены примеры конкретных случаев функции эффективности и разобраны некоторые модели реальных рекламных кампаний предприятия. Затем, были проанализированы данные, зарегистрированные рекламным агентством конкретного предприятия в отношении рекламной кампании, зарегистрированной с помощью встроенного в поисковик инструмента подсчёта ставок и охвата аудитории в течение 30 дней.
Чибисова А.В., Шинаков Д.С. Математическое моделирование рекламной кампании. Математическое моделирование и численные методы, 2022, № 3, с. 84–97.
Дмитриев Э. А. (ФГБОУ ВО «КнАГУ»), Потянихин Д. А. (ФГБОУ ВО «КнАГУ»), Одиноков В. И. (ФГБОУ ВО «КнАГУ»), Евстигнеев А. И. (ФГБОУ ВО «КнАГУ»), Квашнин А. Е. (ФГБОУ ВО «КнАГУ»)
doi: 10.18698/2309-3684-2022-2-6377
В работе представлена математическая постановка и приведены результаты расчетов в задаче об определении поля температуры при деформировании полосы, изготовленной из алюминиевого сплава АД0, на литейно-ковочном модуле вертикального типа новой модификации. Конструкция литейно-ковочного модуля предполагает, что из четырех стенок кристаллизатора одна неподвижна, вторая совершает вращательное движение на эксцентриковых валах, две другие совершают движение в вертикальной плоскости, обеспечивая подачу деформированной заготовки вниз. При решении задачи используется апробированный численный метод. Для движущейся среды уравнение теплопроводности записывается в конечно-разностном виде в криволинейной ортогональной системе координат. Решение задачи проводится итерационным методом. При расчете начального температурного поля и при его дальнейшем изменении учитывается теплоотвод на поверхностях контакта металла с инструментами деформирования. Результатом решения является поле температуры в пространственной области для дискретных моментов времени, соответствующих шагам численного счета. На каждом шаге определяется граница жидкого и затвердевшего металла.
Дмитриев Э.А., Потянихин Д.А., Одиноков В.И., Евстигнеев А.И., Квашин А.Е. Моделирование поля температур при получении металлоизделий на литейно-ковочном модуле с односторонним воздействием бокового бойка и неподвижной плитой. Математическое моделирование и численные методы, 2022, № 2, с. 65–79
Чуев В. Ю. (МГТУ им.Н.Э.Баумана), Дубограй И. В. (МГТУ им.Н.Э.Баумана)
doi: 10.18698/2309-3684-2023-3-125133
С помощью вероятностных методов предложена модель конфликта двух взаимодействующих систем, состоящих из многочисленных структурных единиц, с учетом эффекта задержки информации о взаимном состоянии: о структуре, количестве и параметрах структурных единиц друг друга. Проведено исследование влияния недостаточности информации в конкретный момент времени на исход процесса развития конфликта. Показано, что наличие информации о состоянии структурных единиц противоположной стороны может значительно увеличить вероятность успешности развития конфликта, причём при увеличении числа единиц структурных единиц разница в вероятности успешного развития сценария конфликта существенно увеличивается.
Чуев В.Ю., Дубограй И.В. Моделирование конфликта взаимодействующих систем с учетом эффекта получения информации о взаимном состоянии. Математическое моделирование и численные методы, 2023, № 3, с. 125–133
519.87 Структурная теория сложных систем. Геометрическая теория и гуманитарные аспекты моделирования
Бродский Ю. И. (ФИЦ ИУ РАН)
doi: 10.18698/2309-3684-2022-4-93113
Предлагается формальное определение компьютерной модели сложной системы, как рода структуры в смысле Н. Бурбаки — род структуры M (модель). Класс математических объектов, определяемый родом структуры M обладает следующими двумя свойствами: комплекс, созданный объединением математических объектов рода структуры M по определенным правилам, сам является математическим объектом рода структуры M. Организация вычислительного процесса для всех математических объектов рода структуры M однотипна и поэтому может быть реализована единой универсальной программой организации имитационных вычислений. Наличие этих двух свойств у представителей рода структуры M позволяет построить сквозную технологию описания, синтеза и программной реализации моделей сложных систем — Модельный синтез и Модельно-ориентированное программирование. Изучая морфизмы базисных множеств построенной с помощью модельного синтеза модели рода структуры M, и инварианты, ограничивающие такие морфизм, мы получаем формальный математический язык исследования сложных открытых (меняющих свой состав) систем. Ведя традиционный по форме гуманитарный дискурс, можно все время соотносить его с соответствующим объектом рода структуры M — транслируя на математический язык гуманитарные понятия языка более высокого уровня. Выводами, полученными с помощью этого языка, является, например, то, что устойчивое развитие есть modus vivendi сложной открытой системы и что в сложных открытых системах, в отличие от замкнутых физических систем, ведущую роль играет сохранение законов (система жертвует мощность на поддержание своих аксиом и структуры), а не законы сохранения (которые конечно же имеют место).
Бродский Ю.И. Структурная теория сложных систем. Геометрическая теория и гуманитарные ас-пекты моделирования. Математическое моделирование и численные методы, 2022, № 4, с. 93–113.