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

Бесплатно

Практическая реализация атаки «человек посередине» на сопрягаемые Bluetooth-устройства на примере беспроводной клавиатуры

Круглик С.А., Пономарв Е.С., Вецлер Д.И.

Статья научная

В статье представлена атака «человек посередине» на сопряжённые Bluetoothклавиатуру и компьютер. Наиболее технологически сложная часть атаки, связанная с захватом и анализом пакетов, передаваемых между компьютером и клавиатурой, впервые выполнена на экономически доступном оборудовании.

Бесплатно

Практическое применение языка Alloy для распознавания тактических ситуаций

Хельвас А.В., Галицкий А.С.

Статья научная

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

Бесплатно

Предельное разрешение в оптике

Миланич Александр Иванович, Баранов Артем Александрович

Статья научная

Обсуждаются квантовые и классические ограничения для разрешения в оптике и даны соответствующие оценки. Проанализированы возможные методы повышения раз- решения оптических систем. Также рассмотрен квантово-механический аспект предела разрешения оптических систем, который примерно в 10 раз меньше классического пре- дела. Также обсуждаются границы применимости принципа Гюйгенса-Френеля для численного моделирования в оптике.

Бесплатно

Предисловие

Кривцов В.Е.

Статья обзорная

Бесплатно

Предисловие редактора номера

Райгородский Андрей Михайлович

Статья обзорная

Настоящий номер посвящен нескольким актуальным разделам дискретной математики. Разумеется, это лишь небольшая часть современного комбинаторного анализа. Номер состоит из четырех разделов, в каждом из которых мы публикуем статьи по определенной тематике. Так, первый раздел номера посвящен теории случайных графов и их приложениям; во втором разделе речь идет о классической проблеме Борсука в комбинаторной геометрии; в третьем разделе собраны статьи о проблемах, связанных с раскрасками метрических пространств и дистанционных графов; в четвертом разделе изучаются гиперграфы. Каждому разделу предпосылается краткий обзор, в котором отражена история и нынешнее состояние проблематики этого раздела. Таким образом, мы не только рассчитываем собрать вместе небольшое количество работ сотрудников и аспирантов нашей кафедры - кафедры Дискретной математики ФИВТ, - но еще и надеемся познакомить читателя с тем контекстом, в котором ведутся некоторые из наших исследований.

Бесплатно

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

Йаакбариех Амир, Сакбаев Всеволод Жанович

Статья научная

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

Бесплатно

Преобразование схем дорожных сетей

Васильев М.С.

Статья научная

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

Бесплатно

Прецизионные лазерные системы на основе оптических волокон

Корель И.И., Денисов В.И., Нюшков Б.Н., Пивцов В.С.

Статья научная

Рассматриваются вопросы разработки и исследования основных функциональных блоков мобильных фемтосекундных оптических часов на основе малогабаритного Nd:YAG/I2 оптического стандарта частоты и цельноволоконной лазерной системы. Представлены результаты экспериментов по уширению фемтосекундной гребенки частот до октавы (1÷2 мкм) и численные результаты моделирования генерации суперконтинуума в высоконелинейных волокнах со сложным дисперсионным профилем.

Бесплатно

Признак наличия точки торможения в плоском безвихревом течении идеального газа

Сизых Г.Б.

Статья научная

На основе анализа полных уравнений Эйлера исследуются плоские безвихревые течения идеального совершенного газа. Предлагается признак наличия точки торможения в установившемся потоке.

Бесплатно

Прикладная математика и проблемы использования высокопроизводительных вычислительных систем

Четверушкин Б.Н.

Статья научная

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

Бесплатно

Применение автокодировщика с дополненным контекстом в задаче прогнозирования льдов в Арктике

Григорьев Т. А.

Статья научная

На примере задачи прогнозирования ледовой обстановки в Арктике в регионе Баренцева и Карского морей мы проводим исследование важности применения современных техник обучения глубоких нейросетевых моделей. На базе автокодировщика с дополненным контекстом мы показываем важность распутанности внутренних представлений модели в контексте этой задачи. Кроме того, мы показываем преимущества использования предобученной контрольной точки сети, демонстрируя более быструю сходимость процесса обучения к более оптимальному экстремуму. В качестве практического результата мы получаем систему прогнозирования ледовой обстановки, основанную на данных, используя новые архитектурные принципы - использование сети LSTM на внутренних представлениях автокодировщика для прогнозирования двумерных ледовых карт.

Бесплатно

Применение автоэмиссионного катода из терморасширенного графита для формирования элемента дисплейной матрицы

Лейченко А.С., Негров Д.В., Рауфов А.С., Шешин Е.П.

Статья

Бесплатно

Применение аппарата обобщенных функций для построения приближенных решений задачи переноса излучения

Скалько Ю.И., Мендель М.А.

Статья научная

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

Бесплатно

Применение блокчейна для контроля за оборотом пластиковых труб

Кудряшов С.Ю., Круглик С.А., Маслов И.А., Янович Ю.А.

Статья научная

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

Бесплатно

Применение десорбционно-электроспрейной ионизации для анализа лекарственных веществ и веществ биологического происхождения

Янц В.В., Гол Овкин Н.В., Теребинов В.В., Харыбин О.Н., Попов И.А., Никол Аев Е.Н.

Статья

Бесплатно

Применение дисперсионного энергоанализатора для исследования катодов сложного состава

Лобанов В. М., Шешин Е. П., Лобанов С. В., Чадаев Н. Н.

Статья научная

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

Бесплатно

Применение искусственных нейронных сетей для моделирования нестационарных аэродинамических характеристик

Дорофеев Е.А., Игнатьев Д.И., Храбров А.Н.

Статья научная

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

Бесплатно

Применение метода главных компонент для исследования крупномасштабных вихревых структур в турбулентном слое смешения

Масленников Г.Я.

Статья научная

В работе проведено основанное на PIV измерениях исследование крупномасштаб- ных вихревых структур в слое смешения струи в рабочей части аэродинамической трубы. Основной акцент сделан на выделении крупных вихрей на фоне мелкомасштаб- ной завихренности. Для решения поставленной задачи в работе используется метод главных компонент.

Бесплатно

Применение метода инвариантных эллипсоидов для решения линейной задачи слежения

Железнов К.О., Хлебников М.В.

Статья научная

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

Бесплатно

1
...
35
36
37
38
39
40
41
...
В конец

Журнал