Математика список научных статей
-
Аналитико-табличное исчисление, адекватное логике суждений существования
В [Маркин, 2021] была построена логическая теория, предназначенная для анализа рассуждений, посылками и заключениями которых являются суждения существования и их булевы комбинации. В ее языке содержится неопределенно-местная константа существования, простые формулы образуются сочленением этой...
2024 / Владимир Ильич МаркинВАКzbMATH -
A boolean-algebraic approach to completeness for normal modal predicate logics
This paper introduces an innovative methodology for demonstrating completeness for normal modal predicate logics. Traditional proofs typically involve constructing canonical models, wherein possible worlds are defined as maximal consistent sets possessing specific properties, with a heavy reliance...
2024 / Weijun ShiВАКzbMATH -
Трехзначные обобщения классической логики в бедных языках: степень максимальности следования
В статье рассмотрены степени максимальности следования в классе C-расширяющих трехзначных логик, языки которых обладают минимальной выразительной силой. Логика называется C-расширяющей, если ее операции совпадают с таковыми для классической логики при ограничении их области определения...
2024 / Леонид Юрьевич ДевяткинВАКzbMATH -
Анализ стратегий движения поездов при временных задержках с использованием равновесия Нэша
Анализ стратегий движения поездов при временных задержках с использованием равновесия Нэша представляет собой сложный процесс, который требует учета множества факторов, влияющих на эффективность и стоимость перевозок. Один из ключевых аспектов, который рассматривается в работе, — это сохранение...
2025 / Дорофеева Юлия Александровна, Бычков Максим Николаевич, Карванен Максим Дмитриевич, Красавин Павел Андреевич -
Оценивание методом наименьших квадратов параметров неэлементарных линейных регрессий с равномерно квантованными объясняющими переменными
Статья посвящена разработке новой структурной спецификации регрессионных моделей. Ранее автором были введены в рассмотрение неэлементарные линейные регрессии, в которых объясняющие переменные преобразуются с помощью таких неэлементарных операций, как минимум, максимум и модуль. В данной статье для...
2024 / Базилевский Михаил ПавловичВАК -
Интеграция стохастических «генераторов погоды» в структурно-параметрическую оптимизацию микросетей
В данной работе предпринята попытка разработки комплексного подхода к структурно-параметрической оптимизации микросетей с учётом воздействия различных возмущений. Представленная многоуровневая схема оптимизации позволяет лицам, принимающим решения, за приемлемое время получить целый спектр...
2024 / Еделев Алексей Владимирович, Карамов Дмитрий Николаевич, Башарина Ольга Юрьевна, Огородников Василий Александрович, Каргаполова Нина Александровна, Акентьева Марина СергеевнаВАК -
Применение генетического алгоритма для проектирования структуры оптимальной беспроводной сенсорной сети на трехмерной модели здания
В работе классический генетический алгоритм применяется при решении задачи оптимального размещения связующих узлов (хабов) в беспроводной сенсорной сети на трехмерной модели здания, что позволяет учесть затухание сигнала не только в стенах, но и в межэтажных перекрытиях. Для проектирования...
2025 / Сиротинин Анатолий Андреевич, Володько Ольга СтаниславовнаВАК -
Алгоритм параметрического моделирования производства аграрной продукции с учетом предшественников
В статье приведена параметрическая модель оптимизации производства растениеводческой продукции с учетом многоуровневых трендов урожайности сельскохозяйственных культур и разных предшественников. Предложен алгоритм решения параметрической задачи, апробированный на данных о производстве...
2025 / Иваньо Ярослав Михайлович, Полковская Марина Николаевна, Синицын Максим НиколаевичВАК -
ЭВОЛЮЦИЯ ДВИЖЕНИЯ ТВЁРДОГО ТЕЛА В ЭЛЛИПТИЧЕСКОМ ПРОСТРАНСТВЕ
Исследуется эволюционное движение абсолютно твёрдого тела в трёхмерном эллиптическом пространстве постоянной положительной кривизны. Найдены точные решения динамической системы тела, движущегося при непрерывном импульсном силовом воздействии, монотонно убывающем во времени. Полученные решения...
2025 / Макеев Н. Н. -
Совершенствование методов построения чертежей канатной конусной части тралов с использованием современных САПР
Рассматриваются несколько существующих методов, используемых для создания канатной части разноглубинных тралов на плоскости. Рассмотрены достоинства и недостатки каждого из этих методов. Описаны проблемы, с которыми могут столкнуться специалисты, занимающиеся созданием чертежей тралов на плоскости. ...
2025 / Василий Владимирович КудакаевВАК -
ВЛИЯНИЕ КОЛИЧЕСТВА ТОЧЕК ИЗМЕРЕНИЯ НА ТОЧНОСТЬ МОНИТОРИНГА И МОДЕЛИРОВАНИЯ РАСПРОСТРАНЕНИЯ ПЫЛЕГАЗОВЫХ ВЕЩЕСТВ В АТМОСФЕРНОМ ВОЗДУХЕ
Анализируется влияние уменьшения количества точек измерения на мониторинг по результатам регрессионного и корреляционного анализа полученных данных. Проведен анализ концентраций PM2.5 и PM10 вблизи гипсового производства. Проведены некоторые нелинейные регрессионные анализы.
2024 / Гришакова Ольга ВладимировнаВАК -
Оптимизация размещения объектов сбора и переработки твердых коммунальных отходов (на примере Балашовского района Саратовской области)
Проблема обращения с твёрдыми коммунальными отходами в России становится всё более актуальной, требуя внедрения эффективных территориально-ориентированных решений. В статье анализируются вопросы оптимизации размещения объектов сбора и переработки твёрдых коммунальных отходов на примере Балашовского ...
2025 / Папилин Дмитрий Вячеславович, Проказов Михаил ЮрьевичВАК -
Стохастическая SIRS+V модель распространения инфекционных заболеваний
Работа посвящена построению и исследованию модели распространения инфекции в виде системы стохастических дифференциальных уравнений, учитывающей флуктуации параметров, характеризующих процессы заражения, выздоровления и потери иммунитета. За основу взята детерминированная SIRS+V модель, в которую...
2025 / Шабунин Алексей ВладимировичScopusВАК -
ОБ ОДНОМ СЛЕДСТВИИ ЧЕБЫШЕВСКОГО АЛЬТЕРНАНСА
Рассматривается классическая задача наилучшего приближения непрерывной функции полиномом по чебышевской системе функций. Известно, что решение задачи характеризуется альтернансом. Кроме того, имеет место линейная функция роста отклонения целевой функции коэффициентов полинома от ее минимального...
2025 / Дудов Сергей Иванович, Осипцев Михаил АнатольевичzbMATHRSCIESCIВАКMathSciNet -
ХОПФОВЫ АДДИТИВНЫЕ ГРУППЫ КОЛЕЦ
Группа называется хопфовой, если она не изоморфна никакой своей собственной факторгруппе, или любой ее эпиморфизм на себя является изоморфизмом, т. е. автоморфизмом. Это свойство было впервые доказано швейцарским математиком Х. Хопфом для фундаментальных групп римановых поверхностей. Результаты...
2025 / Кайгородов Евгений ВладимировичzbMATHRSCIESCIВАКMathSciNet -
A UNIQUENESS THEOREM FOR MEAN PERIODIC FUNCTIONS ON THE BESSEL KINGMANN HYPERGROUP
One of the properties of a periodic function on the real axis is that it is completely determined by its values on the period. This fact admits the following nontrivial multidimensional generalization: if a function f∈ C∞(Rn) (n≥2) with zero integrals over all spheres (or balls) of fixed radius r...
2025 / Gleb V. Krasnoschekikh, Vitaliy V. VolchkovzbMATHRSCIESCIВАКMathSciNet -
ON STRUCTURE OF ISOMORPHISMS OF UNIVERSAL GRAPHIC AUTOMATA
Automata theory is one of the branches of mathematical cybernetics, that studies information transducers that arise in many applied problems. The major objective of automata theory is to develop methods by which one can describe and analyze the dynamic behavior of discrete systems. Depending on...
2025 / Vladimir A. Molchanov, Renat A. FarakhutdinovzbMATHRSCIESCIВАКMathSciNet -
ОБ ОДНОМ МЕТОДЕ РЕШЕНИЯ ЗАДАЧИ ПУАНКАРЕ ДЛЯ ОБОБЩЕННЫХ ГАРМОНИЧЕСКИХ ФУНКЦИЙ В КРУГОВЫХ ОБЛАСТЯХ
В статье рассматривается краевая задача типа задачи Пуанкаре для одного эллиптического дифференциального уравнения второго порядка, порождающего класс обобщенных гармонических функций. Устанавливается, что в случае круговых областей решение рассматриваемой краевой задачи, по сути, сводится к...
2025 / Расулов Карим Магомедович, Нагорная Татьяна РомановнаzbMATHRSCIESCIВАКMathSciNet -
РАНГИ ПЛАНАРНОСТИ МНОГООБРАЗИЙ ПОЛУГРУПП НЁТЕРОВЫХ ПО УРАВНЕНИЯМ
Изучается проблема описания многообразий полугрупп конечного ранга планарности. В дополнение к ранее полученным результатам автор указывает новые бесконечные счётные серии многообразий полугрупп конечного ранга планарности.
2025 / Соломатин Денис ВладимировичzbMATHRSCIESCIВАКMathSciNet -
ПРОГНОЗИРОВАНИЕ КАЧЕСТВА ПРОДУКЦИИ. МОДЕЛИРОВАНИЕ КОРОТКИХ ВРЕМЕННЫХ РЯДОВ С ВЫРАЖЕННОЙ ПЕРИОДИЧНОСТЬЮ
В статье рассматривается новый метод прогнозирования на временных рядах в условиях дефицита данных, разбираются алгоритмы моделирования и прогнозирования, а также методы оценки прогнозирующей спо-собности. На данных одного из ведущих отечественных дистрибьюторов строительной техники метод...
2024 / Мосин Владимир Геннадьевич, Козловский Владимир Николаевич, Клентак Анна Сергеевна, Пантюхин Олег ВикторовичВАК