## Контекст Глубокое обучение (deep learning) является одной из наиболее влиятельных и быстро развивающихся областей искусственного интеллекта. Основной причиной его успеха является возможность аппроксимировать сложные нелинейные зависимости в данных с помощью нейронных сетей. Несмотря на эту мощь, глубокое обучение не без проблем: оно часто сталкивается с неопределенностью в области оптимизации, а также с трудностями в обработке нелинейных, несгладких и даже катастрофически неуправляемых моделей. Одним из возможных решений этой проблемы является применение математических инструментов, таких как **тамая геометрия** (также известная как o-минимальность), для того, чтобы обеспечить более строгую формализацию и упрощение оптимизационных процессов. **Tame geometry** предлагает простой, но мощный фреймворк для понимания и решения сложных задач в области AI, в том числе в глубоком обучении. ## Метод В этой работе мы предлагаем использовать подход, основанный на **тамой геометрии**, для трактовки нейронных сетей как композиции функций в рамках математических ограничений. Методология включает в себя три основные этапы: 1. **Моделирование нейронных сетей в системах tame geometry**: Мы применяем методы тамой геометрии для формализации нейронных сетей, которые могут быть выражены в виде композиций ограниченных и хорошо понятных функций. 2. **Оптимизация в тамой геометрии**: Мы используем оптимизационные теоремы, адаптированные к тамой геометрии, для разработки методов оптимизации, которые могут работать с несгладкими, но такими, что имеют гарантии сходимости. 3. **Синтез и обобщение**: Мы разрабатываем методики для синтеза новых нейронных сетей, которые могут быть описаны в тамой геометрии, и обобщаем их на широкий класс моделей. ## Результаты Мы проводили эксперименты с нейронными сетями в рамках тамой геометрии, используя выборки данных, включающие как сглаженные, так и несглаженные функции. Эксперименты показали, что подход, основанный на тамой геометрии, дает значительные выигрыши в сравнении с более традиционными методами, такими как stochastic gradient descent (SGD). Мы также показали, что модели, оптимизируемые в рамках этого фреймворка, обладают более высокой стабильностью и точностью в процессе обучения. ## Значимость Полученные результаты имеют прямое отношение к широкой области применений, включая глубокое обучение, машинное обучение, а также общую теорию оптимизации. Этот подход может быть применен в таких областях, как: - **Прикладная математика**: Метод позволяет работать с условиями, которые обычно трудно аппроксимировать в традиционных моде

#### Контекст Многоцелевой оптимизация (МО) — это ключевая область исследований, применяемая в различных науках и технологиях, включая инженерию, экономику и машинное обучение. В МО необходимо оптимизировать несколько функций-целей, что приводит к сложности из-за конфликта интересов. Одной из основных проблем в МО является поиск эффективных методов для нахождения решений с близкими к оптимальности показателями. Несмотря на развитие теории и практики МО, существуют ограничения в скорости и точности поиска оптимальных решений. Эти ограничения могут быть связаны с алгоритмическими ограничениями, сложностью анализа пространства решений и спецификой задач МО. #### Метод Мы исследуем оракульную сложность нахождения $\varepsilon$-Pareto-стационарных точек в многоцелевой оптимизации с $m$ целевыми функциями, где каждая функция является гладкой и сильно выпуклой. Основной показатель — Pareto-стационарный гэп $\mathcal{G}(x)$, измеряемый как норма оптимального конвексного сочетания градиентов. Используются методы, основанные на градиентах, в том числе акселеророванные методы. Одним из главных аспектов метода является рассмотрение span-методов, в которых итерации лежат в пространстве прошлых градиентов. Это позволяет устанавливать обобщенные нижние и верхние оценки для скорости сходимости в зависимости от условий задачи. #### Результаты Мы доказываем нижние оценки для скорости сходимости в задачах многоцелевой оптимизации. Например, для сильно выпуклых целей существует линейная сходимость с скоростью $\exp(-\Theta(T/\sqrt{\kappa}))$, где $\kappa$ — условие целей. Для конкретного класса методов, таких как обязательственные одношаговые методы, мы устанавливаем верхнюю оценку для нормы градиента в зависимости от $T$ — числа итераций. Даже при использовании акселеророванных методов, которые не входят в указанный класс, мы доказываем что они также достигают этих оценок. Более того, для общего класса span-методов с адаптивными скаляризациями доказывается нижняя оценка $\mathcal{O}(1/T^2)$ для нормы градиента после $T$ шагов. Эти результаты позволяют выявлять разрывы между теоретическими верхними оценками и нижними гарантиями в реальных условиях. #### Значимость Результаты имеют применимость в различных областях, связанных с многоцелевой оптимизацией, включая экономические модели, распределение ресурсов и машинное обучение. Например, решения подобных задач могут применяться для оптимизации системных процессов, где несколько функций-целей должны быть оптимально сбалансированы. Наши результаты показывают преимущества и огранич

## Контекст Логические системы нулевого порядка (ЗПО-системы) играют ключевую роль в моделировании нечетких систем, например, в нечеткой логике и нечеткому анализу данных. Одной из ключевых проблем в этой области является разрешение нечетких относительных неравенств (Sugeno-Weber fuzzy relational inequalities, FRI), которые широко применяются для описания и разрешения задач, в которых необходимо учитывать нечеткие связи между переменными. Однако решение этих задач часто сталкивается с теоретическими сложностями и неэффективностью существующих подходов. Данная статья ориентируется на изучение логических систем ЗПО, конкретно нечетких относительных неравенств, и исследования эффективных методов их решения. ## Метод Для разрешения нечетких относительных неравенств Sugeno-Weber, используется метод, основанный на теории Максимальных Оптимальных Значений (MOO), которая позволяет определить точные оптимальные решения в задачах нелинейного программирования с нечеткими ограничениями. Алгоритм решения запускается на определенной логической системе ЗПО, которая определяет задачу в виде нечеткой относительной неравенства. Алгоритм заключается в поиске значений, удовлетворяющих всем ограничениям задачи, при этом выполняется поиск точек максимального значения для заданного функционала. ## Результаты Проведены эксперименты на нескольких выборках данных, где задачей было разрешение нечетких относительных неравенств с помощью предложенного алгоритма. Основными результатами являются полученные точные оптимальные решения для заданных нечетких относительных неравенств, а также показатели точности и скорости работы алгоритма. Обзор результатов показывает, что алгоритм эффективно работает в разных задачах, в том числе при малых и больших размерах выборок, и предлагает значительные улучшения по сравнению с существующими методами. ## Значимость Предложенный подход может быть применен в различных областях, где необходимо решение нечетких задач, таких как моделирование нечетких систем, решение задач оптимизации с нечеткими ограничениями, работа с нечеткими мерками и нечеткими мерками смешанного типа. Одним из основных преимуществ этого подхода является его точность и быстродействие, что делает его полезным для решения сложных задач в реальном времени. Изучение и применение этого подхода могут привести к развитию новых методов моделирования и решения нечетких задач, которые будут иметь большой потенциал в различных приложениях. ## Выводы Выводы статьи подтверждают, что предложенный подход эффективен для разрешения нечетких относительных неравенств Sugeno-Weber и может применяться в различных нечетких задачах. Также были выявлены новые направления для будущих исследований, вкл

## Контекст Область данных исследований — оптимизация логистических процессов в ситуациях бедствий. Одна из основных проблем — оптимизация времени реагирования на бедствие, что требует эффективного управления транспортными сетями. Базовой моделью является Rich Vehicle Routing Problem (RVRP), которая дополняется возможностью мультимодального транспортирования, включая различные типы транспорта и возможность транспортировки грузов между режимами. Важным аспектом является учет различных типов грузов, категорий транспорта и ограничений на их совместимость. Целью исследования является разработка решения, позволяющего уменьшить время доставки грузов и оптимизировать использование сетей транспорта в критических ситуациях. ## Метод Разработана модель Mixed-Integer Linear Programming (MILP), которая учитывает множество ограничений и характеристик, в том числе передачи грузов между транспортными режимами (Transhipment Ports), различные режимы доставки (суперпозиция доставок, разделение доставок) и совместимость грузов с транспортными режимами. Для решения практических задач был разработан имплементационный подход, основанный на группировке малых элементов маршрутов и их интеграции в более крупные маршруты. Использована технология решения с помощью Decision Tree, которая позволяет учитывать особенности совместимости грузов и транспортных режимов. Для поиска оптимальных решений использовался алгоритм PSR-GIP, основанный на предпочтении малых элементов маршрутов, их сгруппированной интеграции и перемешивании решений. ## Результаты Проведены эксперименты на созданных специальных наборах данных, которые включали различные условия и типы грузов. На основе MILP были получены решения, нового типа, позволяющие уменьшить время доставки в условиях большого количества грузов и разнообразных режимов транспортировки. Хеджический подход PSR-GIP показал высокую эффективность в решении практических задач с высокой скоростью. Результаты показали, что PSR-GIP дает решения, которые не только быстро получены, но и хорошо подходят для решения жизненно важных задач в ситуациях бедствий. ## Значимость Разработанная модель имеет широкие перспективы в применении в системах поддержки решений для управления бедствиями. Области применения включают: оптимизацию транспортных сетей в критических ситуациях, улучшение реагирования на бедствия, эффективное управление ресурсами. Особым преимуществом является возможность быстрого решения задач с большими интересующимися данными, которые не могут быть решены стандартными MILP-методами. Данные реш

## Контекст Область исследования связана с применением методов нечеткой логики в решении проблем принятия решений, где требуется учесть сложные оценки экспертов. Ключевой проблемой является несовершенство методов оценки расстояний между нечеткими множествами, что приводит к потерям информации и неточности в результатах. Одним из приложений является оценка боли при рака лёгкого, где необходимо учитывать не только чёткие данные, но и неоднозначные аспекты, влияющие на решение. В данном контексте статья ориентирована на развитие более точных и универсальных подходов к оценке нечетких множеств. ## Метод Разработана усовершенствованная модель нечётких множеств, включающая в себя два новых расстояния: Хаусдорфа и усиленный Минковского. Методология основывается на линейной комбинации этих расстояний, чтобы объединить их преимущества и устранить недостатки. Архитектура предложенного подхода включает детальный анализ нечётких оценок, учитывая не только точность, но и степень сомнения в данных. Эта модель применяется к решению задач, связанных с оценкой боли при раковых опухолях лёгкого. ## Результаты Проведены эксперименты с использованием реальных данных для оценки боли при раковых опухолях лёгкого. Результаты показывают, что усовершенствованная модель обеспечивает более точные оценки по сравнению с существующими методами. Особое внимание уделено сравнению информационной выгоды и устойчивости к помехам двух расстояний, а также их синергетическому использованию в новой модели. Это позволило повысить точность и надежность оценок. ## Значимость Разработанная модель может быть применена в различных сферах принятия решений, где требуется учитывать нечёткие оценки экспертов. Одним из примеров является медицинская оценка боли, где учёт нечётких факторов может существенно повысить точность диагноза и лечения. Данный подход демонстрирует преимущества в улучшении точности и устранении недостатков существующих методов. Будущие исследования будут ориентированы на расширение применений модели в других областях и улучшение её эффективности. ## Выводы Предложенная модель, основанная на комбинированных расстояниях нечётких множеств, демонстрирует высокую точность и устойчивость в решении задач оценки нечётких оценок. Она предоставляет более широкие возможности для решения практических задач, включая применения в медицине и других областях. Дальнейшие исследования будут направлены на усовершенствование модели и её применение в различных сферах решения сложных задач.