Рубрика: "2.3.1. Системный анализ, управление и обработка информации (технические науки)"
Валишин А. А. (МГТУ им.Н.Э.Баумана), Запривода А. В. (МГТУ им.Н.Э.Баумана), Клонов А. С. (МГТУ им.Н.Э.Баумана)
doi: 10.18698/2309-3684-2024-1-93109
При развитии методов прогнозирования существенное значение приобретает исключение из исходной информации и исследуемых процессов случайных эффектов. Эти эффекты связаны не только с невозможностью учета всех факторов, но и с тем, что часть из них нередко совсем не принимаются во внимание. Не стоит забывать и про случайные погрешности измерений. В прогнозируемых величинах вследствие указанных эффектов создается некий случайный фон или «шум». Фильтрация (исключение) шумов должна, естественно, повысить достоверность и оправдываемость прогнозов. В статье рассмотрены принципы фильтрации данных в масштабе реального времени. Приводится постановка задачи, а также основные критерии оценок, которые должны выполняться для получения удовлетворительного результата. Разбирается принцип работы двух наиболее распространённых видов фильтров – абсолютно оптимальных и условно оптимальных, описываются их достоинства и недостатки. Рассмотрено применение фильтров Калмана и Пугачева к модели с двумя датчиками. Представлены некоторые выводы и рекомендации о том, в каких случаях лучше использовать тот или иной фильтр.
Валишин А.А., Запривода А.В., Клонов А.С. Математическое моделирование и сравнительный анализ численных методов решения задачи непрерывнодискретной фильтрации случайных процессов в реальном времени. Математическое моделирование и численные методы, 2024, № 1, с. 93–109.
519.87 Структурная теория сложных систем. Геометрическая теория и гуманитарные аспекты моделирования
Бродский Ю. И. (ФИЦ ИУ РАН)
doi: 10.18698/2309-3684-2022-4-93113
Предлагается формальное определение компьютерной модели сложной системы, как рода структуры в смысле Н. Бурбаки — род структуры M (модель). Класс математических объектов, определяемый родом структуры M обладает следующими двумя свойствами: комплекс, созданный объединением математических объектов рода структуры M по определенным правилам, сам является математическим объектом рода структуры M. Организация вычислительного процесса для всех математических объектов рода структуры M однотипна и поэтому может быть реализована единой универсальной программой организации имитационных вычислений. Наличие этих двух свойств у представителей рода структуры M позволяет построить сквозную технологию описания, синтеза и программной реализации моделей сложных систем — Модельный синтез и Модельно-ориентированное программирование. Изучая морфизмы базисных множеств построенной с помощью модельного синтеза модели рода структуры M, и инварианты, ограничивающие такие морфизм, мы получаем формальный математический язык исследования сложных открытых (меняющих свой состав) систем. Ведя традиционный по форме гуманитарный дискурс, можно все время соотносить его с соответствующим объектом рода структуры M — транслируя на математический язык гуманитарные понятия языка более высокого уровня. Выводами, полученными с помощью этого языка, является, например, то, что устойчивое развитие есть modus vivendi сложной открытой системы и что в сложных открытых системах, в отличие от замкнутых физических систем, ведущую роль играет сохранение законов (система жертвует мощность на поддержание своих аксиом и структуры), а не законы сохранения (которые конечно же имеют место).
Бродский Ю.И. Структурная теория сложных систем. Геометрическая теория и гуманитарные ас-пекты моделирования. Математическое моделирование и численные методы, 2022, № 4, с. 93–113.
004.942 Моделирование среды предприятия с использованием дискретных вычислительных алгоритмов
Белов В. Ф. (АУ «Технопарк–Мордовия»/МГУ им. Н.П. Огарева), Гаврюшин С. С. (МГТУ им.Н.Э.Баумана), Маркова Ю. Н. (АУ «Технопарк–Мордовия»), Занкин А. И. (МГУ им. Н.П. Огарева)
doi: 10.18698/2309-3684-2022-1-109128
В настоящее время наибольшую известность получили методы моделирования и анализа изменений экономических характеристик инновационного процесса на основе уравнений диффузии вещества в среде с заданными параметрами. Результаты анализа в этом случае существенно зависят от обеспечения точности измерения параметров среды, что не всегда достижимо на практике. Представляется целесообразным переход от парадигмы диффузии к парадигме реализации инновации, т.е. к последовательному моделированию состояний инновации, переменные и характеристики которых соответствуют принятым на практике методам измерения и контроля. При таком подходе динамика экономических состояний опытно-конструкторских работ, производства и реализации инновации представляется системами обыкновенных дифференциальных уравнений, начальные условия и коэффициенты которых зависят от параметров внутренней и внешней сред предприятия. Разработанные в статье две дискретные математические модели позволяют контролировать эти параметры с использованием практических методов измерения. Первая дискретная модель представляет собой функционал, обеспечивающий пересчёт реальных параметров внутренней среды предприятия на момент начала масштабирования инновации в коэффициенты дифференциальных уравнений и начальные условия, отражающие результаты подготовки производства. Исходная информация содержится в базе данных ERP предприятия. Вторая дискретная модель реализуется как клеточный автомат. Автоматная модель внешней среды производства может использовать данные, поддающиеся практическому измерению с помощью хорошо отработанных методов маркетинга. Полученные результаты вычислительных экспериментов подтверждают обоснованность гипотезы перехода от парадигмы модели диффузии к парадигме последовательного моделирования экономических состояний инновации.
Белов В.Ф., Гаврюшин С.С., Маркова Ю.Н., Занкин А.И. Моделирование среды предприятия с использованием дискретных вычислительных алгоритмов.Математическое моделирование и численные методы, 2022, № 1, с. 109–128
004.942 Математическая модель архитектуры комплекса средств распределенного проектирования
Белов В. Ф. (АУ «Технопарк–Мордовия»/МГУ им. Н.П. Огарева), Гаврюшин С. С. (МГТУ им.Н.Э.Баумана), Занкин А. И. (МГУ им. Н.П. Огарева), Исайкин В. Ю. (МГУ им. Н.П. Огарева)
doi: 10.18698/2309-3684-2024-1-110123
Целью статьи является разработка метода распределения задач проектирования изделий машиностроения на заданном множестве исполнителей работ. При этом исполнители работ структурно и географически связаны со своими цифровыми платформами, образующими в совокупности экосистему проектирования. Разработана математическая модель, которая может успешно применяться для генерации архитектуры комплекса средств, покрывающих задачи инженерии требований, системной архитектуры и испытаний для каждого проекта, закрепленного за одной из платформ. В качестве метода моделирования обосновано применение сети Петри. Её реализация в виде программного приложения для PLM-системы цифровой платформы может существенно повысить качество управления проектами и их портфелями.
Белов В.Ф., Гаврюшин С.С., Занкин А.И., Исайкин В.Ю. Математическая модель архитектуры комплекса средств распределенного проектирования. Математическое моделирование и численные методы, 2024, № 1, с. 110–123.
Полянин А. Д. (Институт проблем механики им. А.Ю. Ишлинского РАН), Шингарева И. К. (Университет Соноры)
doi: 10.18698/2309-3684-2021-2-96116
Впервые обсуждаются проблемы оценки индекса подобия неоднородных научных публикаций, содержащих уравнения и формулы. Показано, что наличие уравнений и формул (а также графиков, рисунков и таблиц) является осложняющим фактором, существенно затрудняющим исследование таких текстов. Доказано, что метод определения индекса подобия публикаций, основанный на учете отдельных математических символов и частей уравнений и формул, является неэффективным и может приводить к ошибочным и даже совершенно абсурдным выводам. Исследуются возможности наиболее популярных аналитических систем Антиплагиат и iThenticate, используемых в настоящее время в научных журналах для выявления плагиата и самоплагиата. Приведены результаты обработки системой iThenticate конкретных примеров и специальных тестовых задач, содержащих уравнения и формулы. Установлено, что эта аналитическая система при анализе неоднородных текстов часто неспособна отличить самоплагиат от псевдосамоплагиата — кажущегося (ложного, мнимого) самоплагиата. Рассмотрена модельная сложная ситуация, в которой идентификация самоплагиата требует привлечения высококвалифицированных специалистов узкого профиля. Предлагаются различные пути улучшения работы аналитических систем сопоставления неоднородных текстов. Данная статья будет полезна научным работникам и преподавателям вузов физико–математического и инженерного профиля, программистам, занимающимся проблемой распознавания образов и вопросами цифровой обработки изображений, а также широкому кругу читателей, которые интересуются вопросами плагиата и самоплагиата.
Полянин А.Д., Шингарева И.К. Индекс подобия математических и других научных публикаций с уравнениями и формулами и проблема идентификации самоплагиата. Математическое моделирование и численные методы, 2021, № 2, с. 96–116.
519.8 Моделировании противоборства двух сторон c учетом резервирования
Чуев В. Ю. (МГТУ им.Н.Э.Баумана), Дубограй И. В. (МГТУ им.Н.Э.Баумана)
doi: 10.18698/2309-3684-2023-2-155163
На основе метода динамики средних разработана модель противоборства двух сторон, учитывающая подвод резервов одной из сторон. Установлено, что своевременный подвод резервов может существенно повлиять на ход протекания процесса и его окончательный результат. Также показано, что использование резерва в начале действий значительно улучшает результативность противоборства сторон.
Чуев В.Ю., Дубограй И.В. Моделировании противоборства двух сторон c учетом резервирования. Математическое моделирование и численные методы,2023, № 2, с. 155–163
Чуев В. Ю. (МГТУ им.Н.Э.Баумана), Дубограй И. В. (МГТУ им.Н.Э.Баумана)
doi: 10.18698/2309-3684-2023-3-125133
С помощью вероятностных методов предложена модель конфликта двух взаимодействующих систем, состоящих из многочисленных структурных единиц, с учетом эффекта задержки информации о взаимном состоянии: о структуре, количестве и параметрах структурных единиц друг друга. Проведено исследование влияния недостаточности информации в конкретный момент времени на исход процесса развития конфликта. Показано, что наличие информации о состоянии структурных единиц противоположной стороны может значительно увеличить вероятность успешности развития конфликта, причём при увеличении числа единиц структурных единиц разница в вероятности успешного развития сценария конфликта существенно увеличивается.
Чуев В.Ю., Дубограй И.В. Моделирование конфликта взаимодействующих систем с учетом эффекта получения информации о взаимном состоянии. Математическое моделирование и численные методы, 2023, № 3, с. 125–133
519.87 Структурная теория сложных систем. Модельный синтез
Бродский Ю. И. (ФИЦ ИУ РАН)
doi: 10.18698/2309-3684-2022-3-98123
В данной статье прежде всего хотелось упорядочить результаты работ автора последних двух десятков лет в области структурной теории моделирования сложных систем и практики реализации таких систем с единых позиций. На основе гуманитарного анализа ключевых свойств сложных систем, признаваемых таковыми рядом авторитетных исследователей и практиков этой области, и предположения о возможности построения математической компьютерной модели сложной системы, — гипотезы о замкнутости, — предлагается формальное определение компьютерной модели сложной системы, как рода структуры в смысле Н. Бурбаки — род структуры М (модель). Класс математических объектов, определяемый родом структуры М обладает следующими двумя свойствами: комплекс, созданный объединением конечного числа математических объектов рода структуры М по определенным правилам, сам является объектом этого рода структуры. Организация вычислительного процесса для всех математических объектов рода структуры М однотипна и поэтому может быть реализована единой универсальной программой организации имитационных вычислений. Наличие этих двух свойств у представителей рода структуры М позволяет построить сквозную технологию описания, синтеза и программной реализации моделей сложных систем — Модельный синтез и Модельно-ориентированное программирование. Изучая морфизмы базисных множеств построенной с помощью модельного синтеза модели рода структуры М, и инварианты, ограничивающие такие морфизм, мы получаем формальный математический язык исследования сложных открытых (меняющих свой состав) систем. Ведя традиционный по форме гуманитарный дискурс, можно все время соотносить его с соответствующим объектом рода структуры М — транслируя на математический язык гуманитарные понятия языка более высокого уровня. Предлагаемая теория имеет практическое применение в области разработки, описания и реализации сложных программных систем. Предлагается новая программистская парадигма —Модельно-ориентированное программирование, являющееся полной реализацией методов САПР в программировании. При разработке программной системы удается оставаться в рамках декларативного программирования, избегая императивного, что существенно упрощает как ее разработку и реализацию, так и последующую отладку.
Бродский Ю.И. Структурная теория сложных систем. Модельный синтез. Математическое моделирование и численные методы, 2022, № 3, с. 98–123.
330.43, 519.23 Динамика макроэкономических показателей и взаимной торговли стран БРИКС и США
Малинецкий Г. Г. (Институт прикладной математики им. М.В. Келдыша РАН), Махов С. А. (Институт прикладной математики им. М.В. Келдыша РАН)
doi: 10.18698/2309-3684-2023-1-112123
Целью исследования является прогнозирование основных тенденций и построение сценариев экономического развития стран БРИКС (Бразилии, Индии, Китая, России, ЮАР) и США. Построены автономные регрессионные макромодели, а также модель торговли между ними. В автономных подмоделях в качестве основных показателей используются численность населения, основной капитал, валовой внутренний продукт и вложения в основные фонды. Для описания динамики этих переменных были составлены авторегрессионные уравнения. Полученная система уравнений позволила описать историческую динамику демографических и макроэкономических индикаторов с 1990 по 2019 гг. и построить прогноз до 2030 г. Подмодель торговли позволила связать двусторонние торговые потоки с валовыми внутренними продуктами исследуемых экономик. Связь описывается степенной зависимостью экспортного потока от валового внутреннего продукта обоих торговых партнеров. В отличие от моделей гравитационного типа, параметры регрессионных уравнений считаются постоянными для каждой пары торговых партнеров в течение всего прогнозируемого временного промежутка. Проведенные расчеты показали, что модели удовлетворительно описывают динамику монотонно меняющихся показателей и могут использоваться в качестве простого инструментария для прогнозирования национальной и региональной экономики.
Малинецкий Г.Г., Махов С.А. Динамика макроэкономических показателей и взаимной торговли стран БРИКС и США. Математическое моделирование и численные методы, 2023, No 1, с. 112–123.