Статья посвящена проблеме верификации распределённых алгоритмов с использованием формальных методов. В качестве объекта исследования выбран классический алгоритм выбора лидера в кольцевой топологии – алгоритм кольца. Для его анализа применяется язык спецификаций временной логики действий (Temporal Logic of Actions – TLA+). В работе представлена детальная формальная модель алгоритма, описывающая его состояния и переходы с учётом особенностей распределённых систем, таких как отсутствие разделяемой памяти. Формулируются и доказываются ключевые свойства корректности: уникальность лидера (свойство безопасности), завершаемость выборов (свойство живости) и согласие. Корректность спецификации подтверждена с помощью модельного верификатора моделей языка временной логики действий, который исчерпывающе проверил все достижимые состояния для модели с тремя процессами. Результаты демонстрируют эффективность языка спецификаций временной логики действий (TLA+) для обеспечения высокой степени уверенности в надёжности распределённых систем.

Ключевые слова: формальная верификация, распределённые системы, алгоритм кольца, выбор лидера, язык спецификаций временной логики действий, проверка моделей, свойства безопасности, свойства живости

1.2.2 - Математическое моделирование, численные методы и комплексы программ , 2.3.1 - Системный анализ, управление и обработка информации

В настоящем исследовании представлена методика предварительной обработки последовательностей данных, направленная на выявление и группировку различных файлов данных для последующего использования при обучении нейронных сетей. Предложен алгоритм сравнения файлов на основе относительного отклонения значений признаков с учётом граничных случаев (нулевые и близкие к нулю значения). Реализация включает параллельную обработку для повышения производительности и генерацию детализированных отчётов. Метод протестирован на наборе данных, содержащем 10000 файлов с показателями химического процесса в лабораторном реакторе. Результаты показывают эффективность метода в выявлении стационарных участков и формировании сбалансированных обучающих выборок.

Ключевые слова: предобработка данных, относительное отклонение, машинное обучение, параллельные вычисления, группировка файлов, вычислительная гидродинамика, химический реактор

1.2.2 - Математическое моделирование, численные методы и комплексы программ , 1.4.12 - Нефтехимия

В работе представлена векторная дифракционная модель фокусировки гауссова лазерного пучка с длиной волны 800 нм параболическим металлическим зеркалом диаметром 15 мм и фокусным расстоянием 150 мм. Модель основана на строгом расчёте отражённого электромагнитного поля с использованием базисов s- и p-поляризаций, комплексных коэффициентов Френеля и поверхностного интеграла Кирхгофа–Рэлея. В качестве материала отражающего покрытия задан комплексный показатель преломления n=0.145+4.5i, соответствующий серебру в ближнем ИК-диапазоне. Входной пучок задан с радиусом перетяжки 3 мм в плоскости вершины зеркала. Расчёт поля в фокальной плоскости выполнен численно на сетке 300×300 точек в области ±30 мкм. В качестве критериев качества фокусировки использованы полная интенсивность, радиальное распределение интенсивности и полуширина фокального пятна по уровню половины максимума (Full Width at Half Maximum, далее FWHM). Получено фокальное пятно с FWHM ≈ 8,56 мкм, что согласуется с теоретической оценкой для дифракционно-ограниченной системы. Показано, что учёт векторного характера поля и диссипативных свойств металла позволяет корректно оценить поляризационные искажения и потери в реальных зеркальных фокусирующих системах.

Ключевые слова: векторная дифракционная модель, параболическое металлическое зеркало, гауссов лазерный пучок, коэффициенты Френеля, комплексный показатель преломления

1.2.2 - Математическое моделирование, численные методы и комплексы программ , 1.3.6 - Оптика , 2.3.1 - Системный анализ, управление и обработка информации

Изменение внешних условий, параметров функционирования объектов, взаимосвязей между элементами системы и связей системы с надсистемой приводит к снижению точности результатов моделей искусственного интеллекта, которое называется деградацией моделей. Снижение риска деградации моделей актуально для задач электроэнергетики, особенностью которых является многофакторные зависимости в сложных технических системах и влияние метеорологических параметров. Автоматическое обновление моделей с течением времени является необходимым условием формирования доверия пользователей к интеллектуальным системам прогнозирования. В данной статье представлена классификация видов дрейфа данных. Формализованы варианты решений, которые разработчикам необходимо принять при создании интеллектуальных систем для определения стратегии обновления прогнозных моделей, включая критерии запуска обновления, выбор моделей, оптимизацию гиперпараметров, выбор способа обновления и формирования наборов данных. Предложен алгоритм формирования стратегии автоматического обновления моделей искусственного интеллекта и даны практические рекомендации для разработчиков моделей в задачах прогнозирования временных рядов в электроэнергетике.

Ключевые слова: прогнозирование временных рядов, искусственный интеллект, машинное обучение, доверенная система искусственного интеллекта, деградация моделей, дрейф данных, дрейф концепции

1.2.2 - Математическое моделирование, численные методы и комплексы программ , 2.3.1 - Системный анализ, управление и обработка информации

В работе предложен интегрированный подход к численному исследованию вынужденных колебаний транспортного средства (ТС) при движении по неровной опорной поверхности, сочетающий трёхмерное параметрическое моделирование в среде SolidWorks и спектрально-корреляционный анализ в MATLAB/Simulink. Построена мультительная CAD-модель ТС с независимой подвеской всех колёс, включающая несущий каркас, рычажные подвески с нелинейными упруго-демпфирующими элементами, колёса и силовой агрегат. Микропрофиль дороги формализован посредством корреляционной функции, реализованной как случайный процесс в MATLAB и импортированный в SolidWorks в виде пространственного профиля. Динамический анализ выполнен с использованием модуля SolidWorks Motion.

Ключевые слова: динамика транспортного средства, микропрофиль дороги, мультительное моделирование, SolidWorks Motion, MATLAB/Simulink, спектральный анализ, автокорреляционная функция, фильтрующий эффект подвески, вынужденные колебания

1.2.2 - Математическое моделирование, численные методы и комплексы программ , 2.5.11 - Наземные транспортно-технологические средства и комплексы

Статья представляет обзор метрик, используемых для оценки качества изображений, полученных с помощью генеративных моделей. Для них требуются специализированные метрики, позволяющие объективно оценивать качество изображений. Сравнительный анализ показал, что для комплексной оценки качества генерации необходимо сочетание различных метрик. Перцептивные метрики эффективны для оценки качества изображений с точки зрения машинных систем, в то время как метрики, оценивающие структуру и детали, полезны для анализа восприятия человеком. Метрики, основанные на текстовом описании, позволяют оценить соответствие изображений заданным текстам, однако они не могут заменить метрики, направленные на визуальную или структурную оценку. Результаты исследования будут полезны специалистам в области машинного обучения и компьютерного зрения, а также способствуют улучшению алгоритмов генерации и расширению областей применения диффузионных моделей.

Ключевые слова: глубокое обучение, метрика, генеративная модель, качество изображений, изображение

1.2.1 - Искусственный интеллект и машинное обучение , 1.2.2 - Математическое моделирование, численные методы и комплексы программ

В работе проводится исследование усовершенствования методов вычисления концентрации наночастиц в прозрачных жидкостях под действием лазерного излучения. Анализируется точное решение третьей краевой задачи для уравнения Эйнштейна–Фоккера–Планка, прямое использование которого в системе компьютерной алгебры Maple приводит к вычислительным неустойчивостям при больших значениях параметра переноса. Представлено решение проблемы нестабильных численных расчётов при высоких значениях безразмерных параметров, приводящих к существенным искажениям результата. Ключевым результатом является расширение рабочего диапазона параметра переноса и обеспечение корректного асимптотического поведения решения. Численные эксперименты подтвердили эффективность предложенного подхода, что делает его ценным инструментом для моделирования и оптимизации процессов лазерной сепарации наночастиц.

Ключевые слова: наносуспензия, лазерное излучение, концентрация наночастиц, уравнение непрерывности, третья краевая задача, компьютерные вычисления, Maple

1.2.2 - Математическое моделирование, численные методы и комплексы программ , 1.3.19 - Лазерная физика

Целью работы являлось разработать модель поддержания равновесия в соответствии с параметрами человеческого организма, обеспечивающими функцию поддержания равновесия теле в пространстве. Ключевым показателем устойчивого равновесия является центр масс (ЦМ) человека. Стабильность позы обеспечивается при условии нахождения проекции центра масс (ЦМ) в пределах площади опоры.  В статье описаны две модели, которые оценивают смещение проекции ЦМ относительно площади опоры. Принцип работы моделей основан на маятниковом движении в сагиттальной плоскости (движения вперед - назад), и фронтальной плоскости (боковые движения). Модель включает комплексную визуализацию проекции ЦМ на площадь опоры в режиме реального времени, количественную оценку устойчивости с помощью подсчета процента времени в зоне опоры. Модель обеспечивает более полное представление о механизмах поддержания равновесия.

Ключевые слова: механизмы поддержания равновесия, моделирование, биомеханика, центр масс

1.1.10 - Биомеханика и биоинженерия , 1.2.2 - Математическое моделирование, численные методы и комплексы программ

Железобетонные конструкции кольцевого сечения широко используются в строительстве. Например, в виде подземных трубопроводов. Они испытывают сложное нелинейное деформированное состояние (НДС), описать которое аналитически составляет сложную математическую задачу механики. Поэтому часто для её решения прибегают к численным методам. В данной статье применён метод конечных элементов (МКЭ), реализованный в ПК «Лира-САПР 2022». НДС железобетонных трубопроводов определяется в физически нелинейной постановке с учётом рассмотрения 4 факторов влияния: внутреннего диаметра, класса бетона, свойств грунта засыпки, свойств грунта основания. Составлен план полного многофакторного численного эксперимента, который включает в себя 81 модель. Получены значения внутренних силовых факторов во всех сечениях подземного трубопровода с учётом варьирования каждого фактора по отдельности и с учётом взаимного их влияния. Установлены сочетания факторов, дающие экстремальные значения внутренних усилий в трубопроводе. На основе этого разработаны рекомендации по рациональному конструированию.

Ключевые слова: подземный трубопровод, железобетон, компьютерное моделирование, продольный профиль, поперечное сечение, ПК «Лира-САПР»

1.2.2 - Математическое моделирование, численные методы и комплексы программ , 2.1.1 - Строительные конструкции, здания и сооружения

В статье приводится и анализируется алгоритм расчета изгибаемых железобетонных конструкций по нормальному сечению на основе нелинейной деформационной модели, рекомендуемый как основной в нормах по проектированию железобетонных конструкций СП 63.13330.2018. Рассмотрены особенности выполнения расчета с использованием рассматриваемого алгоритма, а также другие подходы к расчету изгибаемых железобетонных конструкций по нормальному сечению на основе деформационной и других моделей. Показана последовательность выполнения расчетов с использованием компьютерных технологий на примере выполнения расчетов в системе инженерная нелинейность1 ПК ЛИРА-САПР. Приведены результаты расчета стержневого элемента расчетной схемы. Описаны дополнительные возможности выполнения расчетов с использованием системы инженерная нелинейность.

Ключевые слова: изгибаемые железобетонные конструкции, нелинейная деформационная модель, расчетная схема, алгоритм расчета, ПК ЛИРА-САПР, система, инженерная нелинейность

1.2.2 - Математическое моделирование, численные методы и комплексы программ , 2.1.1 - Строительные конструкции, здания и сооружения

Статья посвящена теме применения современных методов генеративного сжатия изображений с использованием вариационных автокодировщиков и нейросетевых архитектур. Особое внимание уделяется анализу существующих подходов к генерации и восстановлению изображений, а также сравнительной оценке качества сжатия с точки зрения визуального восприятия и метрических показателей. Целью исследования является систематизация методов глубокого сжатия изображений и выявление наиболее эффективных решений, основанных на вариационном байесовском подходе. В работе рассмотрены различные архитектуры, в том числе условные автокодировщики и модели с гиперсетями, а также методы оценки качества получаемых данных. В качестве основных методов исследования применялись анализ научной литературы, сравнительный эксперимент над архитектурами генеративных моделей и вычислительная оценка сжатия на основе метрик. Результаты исследования показали, что использование вариационных автокодировщиков в сочетании с рекуррентными и сверточными слоями позволяет добиться высокого качества восстановления изображений при значительном снижении объема данных. Сделан вывод о перспективности использования условных вариационных автокодировщиков в задачах сжатия изображений, особенно при наличии дополнительной информации (например, метаданных). Представленные подходы могут быть полезны для разработки эффективных систем хранения и передачи визуальных данных.

Ключевые слова: вариационные автокодировщики, генеративные модели, сжатие изображений, глубокое обучение, нейросетевые архитектуры, восстановление данных, условные модели

1.2.2 - Математическое моделирование, численные методы и комплексы программ

В статье представлен комплекс программ FCA (Filtration Capacitive Analysis), предназначенный для интерпретации гидродинамических исследований скважин (ГДИС) сложной конструкции, в том числе горизонтальных с многостадийным ГРП, в низкопроницаемых коллекторах. Приведена модульная клиент-серверная архитектура комплекса. Описаны численные методы, применяющиеся для решения задачи интерпретации ГДИС и реализованные в комплексе программ. Представлены результаты практического использования FCA для оценки фильтрационно-емкостных характеристик пласта и параметров скважины, подтверждающие готовность программного продукта к промышленному применению.

Ключевые слова: гидродинамические исследования скважин, низкопроницаемый коллектор, фильтрационно-емкостный анализ, обратная задача, программная архитектура, клиент-сервер, сверточный автокодировщик, принцип суперпозиции, минимизация невязки

1.2.2 - Математическое моделирование, численные методы и комплексы программ , 1.6.11 - Геология, поиски, разведка и эксплуатация нефтяных и газовых месторождений

Статья посвящена разработке алгоритмов кластеризации данных с использованием несимметричных мер близости, актуальных в задачах с направленными взаимодействиями. Предложены два алгоритма: пошаговое формирование кластеров и модификация с итеративным уточнением центров. Проведены эксперименты, включая сравнение с методом k-медоидов. Результаты показали, что алгоритм с фиксированными центрами эффективен на малых данных, а алгоритм с пересчётом центров обеспечивает более точную кластеризацию. Выбор алгоритма зависит от требований к скорости и качеству.

Ключевые слова: кластеризация, несимметричные меры близости, алгоритмы кластеризации, итеративное уточнение, k-медоиды, направленные взаимодействия, адаптивные методы

1.2.2 - Математическое моделирование, численные методы и комплексы программ , 2.3.1 - Системный анализ, управление и обработка информации

В работе рассмотрено моделирование работы пользователей с многосерверной базой данных, разработанной на основе микросервисной архитектуры. Был проведён анализ предметной области, описаны основные сущности системы, а также реализованы механизмы передачи данных и взаимодействия сервисов с использованием Docker и Apache Kafka. Выявлено, что разработка многосерверной базы данных позволила добиться высокой масштабируемости и отказоустойчивости системы. Реализация механизмов репликации и шардирования обеспечила равномерное распределение нагрузки, а использование брокера сообщений Kafka способствовало эффективному обмену данными между сервисами. Проведённое тестирование подтвердило надёжность системы при высокой нагрузке, а также выявило её сильные стороны и потенциальные улучшения.

Ключевые слова: моделирование, балансировка нагрузки, Docker, Apache Kafka, микросервисная архитектура, распределённые системы, оптимизация запросов

1.2.2 - Математическое моделирование, численные методы и комплексы программ

Статья посвящена методу вычисления эффективной частоты импульса нагрузки УДН, которая позволяет установить соответствие между лабораторно определенными вязкоупругими характеристиками асфальтобетонных слоев, входящих в состав дорожной одежды, и модулем упругости, вычисленным путем обратного расчета по чаше прогиба, определенной в полевых испытаниях при использовании УДН. В статье предложен алгоритм поиска данной частоты, приведены результаты ее расчетов и выполнено сопоставление модулей упругости, полученных в лаборатории и по результатам обратного расчета. Проведенный численный эксперимент подтверждает, что для чаш прогиба, сгенерированных в рамках вязкоупругой расчетной модели, отличие модулей не превосходит 8%. В конце работы предложены пути по практическому применению вычисленного параметра и дальнейшему совершенствованию метода на реальных чашах прогиба, полученных на действующих дорожных одеждах.

Ключевые слова: установка динамического нагружения, дорожная одежда, чаша прогибов, асфальтобетон, модуль упругости, модуль релаксации, АМРТ-тест, мастер-кривая, обратный расчет, эффективная частота импульса

1.2.2 - Математическое моделирование, численные методы и комплексы программ , 2.1.8 - Проектирование и строительство дорог, метрополитенов, аэродромов, мостов и транспортных тоннелей

В статье приведено численное моделирование делителей потока (сепаратора) с различными диаметрами отверстия (3,5 мм, 7,0 мм, 14,0 мм) с целью предотврещения кавитационного разрушения. Диаметры отверстий, количество и ряды в сепараторах имеют эквивалентное значение, так как они определяют распределение локальных скоростей и давлений в потоке. Все это приводит к минимизации риска образования паровых пузырьков и их последующего коллапса, который приводит к эрозии металлических поверхностей. С целью предотвращения кавитации авторами представлена конструкция "короткоходного" клапана  в котором допускается использование делителей потока с увеличенными отверстиями.

Ключевые слова: клапан, кавитация, картина распределения, сепаратор, отверстия, вращение, моделирование, делитель потока

1.1.9 - Механика жидкости, газа и плазмы , 1.2.2 - Математическое моделирование, численные методы и комплексы программ

Представлен ансамбль моделей прогнозирования положения мобильного робота при движении в неструктурированной среде. Разработана архитектура, объединяющая кинематическую модель движения с обучаемыми моделями, использующими данные карты высот и семантической сегментации. Описаны принципы построения карты признаков пространства, включающей геометрические характеристики: индекс пересеченности местности, нечеткий индекс проходимости. Предложена модульная структура блоков: подготовки данных, вычисления геометрических свойств, сегментации, решающего элемента. Результаты тестов демонстрируют преимущество совмещения кинематических и сенсорных моделей для автономной навигации в сложных условиях.

Ключевые слова: модель проходимости, карта высот, облако точек, кинематическая модель, сегментация, машинное обучение, карта признаков

1.2.2 - Математическое моделирование, численные методы и комплексы программ , 2.5.4 - Роботы, мехатроника и робототехнические системы

Статья посвящена оценке влияния возможных неоднородностей в слоях дорожных одежд на результаты обратного расчета модулей упругости по данным испытаний установок динамического нагружения падающим грузом (УДН). В статье рассмотрены варианты влияния различного расположения теоретически заданных неоднородностей конструктивных слоев в пределах проезжей части. Дополнительно рассмотрено влияние расположения края дорожной одежды на результаты вычисления модулей упругости обратным расчетом. Проведенный численный эксперимент подтверждает, что возможные неоднородности дорожной одежды могут существенным образом влиять на результаты обратных расчетов, и как следствие, на принятие решений по назначению ремонтных мероприятий. Также определены границы при которых наличие обочины с конструкцией дорожной одежды, отличающейся от проезжей части, в значительной степени искажает получаемые результаты. В конце работы предложены пути по практическому учету неоднородностей и дальнейшему совершенствованию метода обратного расчета модулей упругости нежестких дорожных одежд.

Ключевые слова: установка динамического нагружения, дорожная одежда, конструктивные слои, чаша прогибов, асфальтобетон, модуль упругости, обратный расчет, неоднородность слоев, проезжая часть, обочина

1.2.2 - Математическое моделирование, численные методы и комплексы программ , 2.1.8 - Проектирование и строительство дорог, метрополитенов, аэродромов, мостов и транспортных тоннелей

Расчет ветровых воздействий на навесные фасады и элементы их крепления для высотных зданий и сооружений по инженерной методике и различными численными методами остается актуальной задачей и по настоящее время. Особый интерес представляют угловые участки здания, где возникает наибольшее отрицательное ветровое давление. Неправильный расчет ветрового отсоса может привести к отрыву панелей при сильном ветре. В статье проводится расчет пиковой ветровой нагрузки численным способом для прямоугольного в плане здания с соотношением сторон 0.6. В ходе численных расчетов двумерного обтекания профиля здания в программе ANSYS Fluent c использованием модели турбулентности k-e Realizable были получены коэффициенты лобового сопротивления, поперечной силы и распределение коэффициента давления при максимальной поперечной силе. Расчеты показали, что ветровой отсос на кромке исследуемого здания превышает нормативное значение примерно на 30 %. Учет полученных в статье результатов при проектировании фасадных систем, для зданий прямоугольного в плане сечения с соотношением сторон 0.6, позволит выбрать более надежные элементы крепления.

Ключевые слова: пиковая ветровая нагрузка, ветровой отсос, прямоугольные в плане здания, пиковый отрицательный аэродинамический коэффициент давления

1.2.2 - Математическое моделирование, численные методы и комплексы программ , 2.1.1 - Строительные конструкции, здания и сооружения

В статье рассматриваются проблемы генерации и актуализации документации программного обеспечения с использованием больших языковых моделей. Представлен обзор существующих подходов, включая суммаризацию кода, систем использующих подходы дополненной генерации, ассистентов встроенных в среду разработки, выявлены их ограничения в части потери архитектурного контекста и возникновения структурных галлюцинаций. Предложена концепция графо-дополненной системы документирования, где «источником истины» выступает направленный граф знаний о коде, построенный путем статического анализа кода и анализа библиотечных зависимостей. Описан алгоритм построения графа, включающий извлечение узлов, анализ байт-кода библиотек и классификацию семантических связей. Эффективность подхода подтверждена экспериментальным внедрением на промышленном микросервисе, где система продемонстрировала способность корректно восстанавливать контекст и генерировать содержательную документацию без искажения фактов.

Ключевые слова: автоматическое документирование, большие языковые модели, граф знаний, дополненная генерация текста, статический анализ, семантический поиск, векторное представление, микросервисная архитектура, интерфейс структуры программы, байт-код

1.2.2 - Математическое моделирование, численные методы и комплексы программ , 2.3.1 - Системный анализ, управление и обработка информации

Проводится асимптотический анализ функционально-динамической модели межотраслевого использования интеллектуальных цифровых решений, управляющая роль которых учитывается с помощью механизма обратных связей. Математическая формализация модели сводится к нелинейным дифференциальным уравнениям эволюционного типа. Рассматривается динамика двухсекторной макроэкономической структуры, моделирующей взаимосвязь смежных отраслей производства и транспортной логистики под воздействием цифровых платформ и интеллектуальных технологий. Влияние инвестиций в цифровую трансформацию отраслей учитывается исходя из условия пропорциональности вложений темпам роста использования основных средств. При скорректированных количественных оценках параметров исходной модели исследованы устойчивые состояния системы. Проведен анализ двухсекторной макроструктуры в условиях различия в темпах развития взаимодействующих отраслей. Построено асимптотическое приближение методом теории погранслойных функций. Полученные результаты описывают процесс самоорганизации в устойчивой системе взаимодействия транспортно-логистической и производственной сфер в условиях обеспечения их взаимосвязи интегрированными цифровыми платформами.

Ключевые слова: функционально-динамическая модель, интеллектуальные цифровые платформы, двухсекторная макроструктура, транспортно-логистическая отрасль, производство, устойчивость, межотраслевое взаимодействие, асимптотический анализ, метод погранслойных функций

1.2.2 - Математическое моделирование, численные методы и комплексы программ , 5.2.2 - Математические, статистические и инструментальные методы в экономике

Было проведено испытание стальной балки, армированной углеродным волокном, которая подвергалась циклической нагрузке различной интенсивности при изгибе во время затвердевания клея и периодически испытывалась в статическом режиме для определения нарастания жесткости. Испытания показали, что сцепление происходит при более высоких нагрузках, прочность сцепления снижается, а при превышении значений напряжения сдвига в клеевом слое сцепление не происходит. Также гибкость клеевого слоя снижает характеристики сечения, но не более чем на 7 %. Испытания на сдвиг внахлёст, проведённые на образцах, вырезанных из армированных балок, подтвердили результаты испытаний на изгиб, показав, что наибольшее снижение прочности сцепления происходит на концах балок, где напряжение скольжения и сдвига наиболее велико.

Ключевые слова: усиление углепластиками, циклическая нагрузка, прочность клеевого соединения, испытание на сдвиг внахлест

1.2.2 - Математическое моделирование, численные методы и комплексы программ , 2.1.11 - Теория и история архитектуры, реставрация и реконструкция историко-архитектурного наследия (архитектура)

Проверка и отладка алгоритмов и соответствующего программного обеспечения, реализующего поиск таких опасных для полетов воздушных судов явлений как порывы ветра, области турбулентности могут быть реализованы в имитаторах радиолокационных сигналов, в том числе с использованием концепции обращения к базам данных, хранящих тестовые поля ветров по координатным составляющим. После реализации интерполяции данных баз можно получить непрерывные поля в том числе прогнозируемых радиолокационных параметров, обработка которых в зависимости от меняющихся параметров локатора: ширина луча, длительность импульса зондирования приводит к разным оценкам в том числе измеряемых параметров движения воздушных масс. В настоящей статье описан подход к имитационному моделированию, позволяющий путем формирования радиосигналов, первоисточником которых являются непрерывные интерполированные функции параметров движения воздушных масс, получать или усредненные значения радиальной скорости в элементах разрешения, или ее среднеквадратическое отклонение.  Это в итоге позволяет тестировать алгоритмы обработки сигналов для режимов обнаружения сдвигов ветра или турбулентностей в метеонавигациционных радарах

Ключевые слова: бортовая РЛС, метеонавигация, имитация, алгоритмы, оценивание параметров

1.2.2 - Математическое моделирование, численные методы и комплексы программ , 2.2.16 - Радиолокация и радионавигация

Статья посвящена исследованию проблемы оценки неизвестных параметров линейных регрессий с помощью метода наименьших модулей. Рассмотрено два известных подхода к идентификации регрессионной модели. Первый из них основан на решении задачи линейного программирования, второй, называемый итерационным методом наименьших квадратов, позволяет получить приближенное решение задачи. Для возможности тестирования итеративного метода в пакете Gretl разработана специальная программа. Для проведения вычислительных экспериментов использована выборка о стоимости домов и влияющих на неё факторах, содержащая 20640 наблюдений. В итоге наилучшие результаты были показаны при использовании встроенной в Gretl команды quantreg, реализующей алгоритм Фриша-Ньютона. Второй результат показал итеративный метод, а третий – решенная в пакете LPSolve задача линейного программирования.

Ключевые слова: регрессионный анализ, метод наименьших модулей, линейное программирование, итеративный метод наименьших квадратов, метод вариационно-взвешенных квадратичных приближений

1.2.2 - Математическое моделирование, численные методы и комплексы программ

Для точного моделирования напряженно-деформированного состояния литосферной плиты необходимо корректно задать граничные условия, отражающие взаимодействие с окружающей геологической средой. Краевая задача Дирихле, в данном контексте, предполагает задание перемещений на границе расчетной области. Проблема заключается в том, что истинные перемещения на границе кратона, как правило, неизвестны и могут меняться во времени под воздействием тектонических процессов и изменений нагрузки.

Ключевые слова: граничные условия, напряженно-деформированное состояние, математическое моделирование, модель, литосферная плита, метод конечных элементов, геотектоника, растяжение, сжатие, компьютерное моделирование, астеносфера

1.1.2 - Дифференциальные уравнения и математическая физика , 1.2.2 - Математическое моделирование, численные методы и комплексы программ