МГТУ им. Н.Э. Баумана (статьи)

Приведены методы моделирования процессов получения наноструктур в результате распада на ферро- и парамагнитную фазы твердых растворов с объемноцентрированной кубической (ОЦК) решеткой на основе систем Fe–C, Fe–Cr–Co в целях прогнозирования оптимальных способов создания материалов с высокими демпфирующими свойствами. Изложены требования к структуре сплавов с высокими демпфирующими свойствами. Выбраны два перспективных подхода к получению высоких демпфирующих свойств сплавов с помощью многоступенчатой термообработки. При первом подходе используют сплавы со структурой типа ферромагнитной губки, при втором — один из 12 основных типов структуры, возникающих при распаде в сплавах на основе Fe–Cr, но с малыми различиями как состава фаз, так и их намагниченностей. Моделирование основано на прямой минимизации свободной энергии двухфазного сплава при учете химического взаимодействия, магнитного и атомного упорядочения, упругих деформаций фаз. Рассмотрены оптимальные типы наноструктур для получения демпфирующих свойств и схемы их получения. Определены области нестабильности и метастабильности твердых растворов и перспективные области составов и температур многоэтапных термообработок, направленных на получение высоких демпфирующих свойств этих сплавов.

Проведено сравнение асимптотической формулы Харди — Рамануджана для разбиений натуральных чисел с числом микросостояний путем вычисления энтропии квантовой труны через формулу Эйлера — Маклорена. Кратко рассмотрен другой подход, использующий подсчет числа состояний через обратное преобразование Лапласа татистической суммы.

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

Зарегистрированы спектры фотолюминесценции ароматических соединений при возбуждении светодиодом ультрафиолетового излучения с длиной волны 280 нм. Установлено, что спектр фотолюминесценции таких соединений имеет вид полос, расположенных в области длин волн 290…550 нм, характерной для ароматических соединений. Наблюдается возбуждение синглетных уровней ароматических молекул, расположенных вблизи края поглощения ароматических соединений.

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

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

В статье для проверки правильности и корректности описания SIP-спецификаций (Session Initiation Protocol) в отличие от известных работ предлагается использовать значительно более выразительный, хорошо структурированный и как формальная система более развитой вариант языка, основанный на моделях взаимодействующих последовательностных процессов. Спецификации должны удовлетворять определенным свойствам, которые описываются на языке временной модальной логики. Поиск ошибок предлагается осуществлять не с помощью генерации трасс, а с помощью доказательства наличия указанных формальных свойств. Ошибкой предлагается считать отсутствие таких свойств. Процессные модели позволяют гораздо более четко и полно классифицировать и описывать типы ошибок. В качестве инструментария для поиска ошибок предлагается использовать язык логического программирования ПРОЛОГ, что является гораздо более изящным и не имеющим ограничений подходом к проверке правильности и корректности спецификаций.

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

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

Рассмотрен подход к непротиворечивому описанию смачивания при растекании капельной жидкости вдоль твердой поверхности с учетом дополнительного химического потенциала (расклинивающего давления) для частиц жидкости в ее тонких слоях вблизи линии трехфазного контакта.

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

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

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

Представлен подход к формированию требований и формальных методик сертификационных испытаний DLP-систем на основе стандарта ИСО 15408.

Проведено математическое моделирование процесса преобразования сигнала голограммным оптическим элементом (ГОЭ) голограммной стереограммы. Получены выражения для функции рассеяния ГОЭ в плоскости наблюдения. Проанализированы ограничения и перспективы развития голограммной стереографии в области художественных и защитных технологий.

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

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

Определены функции и рассмотрены особенности построения автоматической системы паспортного контроля для пунктов пропуска.