В данной работе была проведена формальная верификация многопоточного скриптового окружения методом проверки модели (model checking). Была создана документированная, корректная и адекватная модель, при построении которой были смоделированы компоненты и примитивы инструментария Qt, с помощью которого была написана исходная программа. Были сформули...
Григорьева Ирина Владимировна. Канонический анализ категориальных данных с приложением в маркетинге. Научный руководитель: Алексеева Нина Петровна. Направление: прикладная математика и информатика, профиль: вычислительная стохастика и статистические модели. В работе рассматривается задача исследования зависимости между двумя множествами номина...
01.04.01 Математика
02.03.01 Математика и компьютерные науки
В работе обобщается понятие лестничного оператора для неэквидистантного спектра и рассматриваются его свойства. Классическим примером лестничных операторов являются бозонные операторы алгебры Вейля и лестничные операторы алгебры SU(2). Оказывается, что лестничные операторы общего вида хорошо описывают симметрии состояний физических наблюдаемых....
В работе представлено исследование на тему обучения нейронной сети, выполняющей задачу определения динамики на входном изображении, а также задачу генерации следующего состояния запечатленного участка с учетом изменяющихся динамических объектов на изображении. Были построены различные нейронные сети: сверточная нейронная сеть, определяющая напра...
02.04.01 Математика и компьютерные науки
Топологические представления человека являются первичными и закладывают основу в восприятие окружающих объектов (например, геометрических фигур), а метрические и проективные представления возникают и развиваются на уже сформированной базе из топологических представлений. Таким образом, необходимо строить образовательную систему в соответствии с ...
Объект исследования: сфера ипотечного кредитования, параметры ипотечных кредитов, выданных на территории Южного Федерального Округа. Предметом исследования являются механизмы анализа и прогнозирования параметров ипотечного кредита. Основная цель исследования: построение методики анализа и прогнозирования параметров ипотечного кредита, использу...
Ржевская Екатерина Эдуардовна. Проблема связности в некоторых задачах поиска на графах. Научный руководитель: Абрамовская Татьяна Викторовна. Направление математика, механика, кафедра исследования операций. В работе рассматривается задача поиска на графах с дискретным временем. На основе стандартного, смешанного и связного поисков вводится новы...
В данной выпускной квалификационной работе описывается реализация прототипа параметрического редактора, который предназначен для использования в составе программного комплекса для инженерного моделирования электромагнитных, тепловых и механических задач ELCUT. Основные возможности: задание геометрических объектов, задание параметров фигур и изме...
02.04.01 Математика и компьютерные науки
Демидов Андрей Николаевич. Амортизация: теория и практика. Научный руководитель: к.ф.-м.н., доцент В.В. Бухвалова. Направление: Математика и механика. Кафедра исследования операций. Бакалаврская работа посвящена исследованию зависимости между бухгалтерской остаточной стоимостью и реальным обесцениванием автомобилей. Исследование проводилось на...
В работе доказаны две теоремы необходимые для доказательства теоремы об этальном вырезании для гомотопически-инвариантных предпучков с оснащёнными трансферами. Теорема 1 необходима для доказательства инъективной части теоремы об этальном вырезании и является наиболее сложной. Теорема 2 необходима для доказательства сюръективности.
02.04.01 Математика и компьютерные науки
03.01.01 Математика
Магистерская диссертация посвящена теоретическому исследованию структуры полимера, модифицированного углеродными нанотрубками. Работа состоит из введения, четырех глав, заключения и одного приложения. Объем работы составляет 72 печатных листа. При написании работы использовано 37 источников. Объектом исследования являются перколяционные процессы...
В работе рассматривается проблема упрощения труда преподавателя при проверке заданий на языке Haskell. Описываются реализованные автором две подсистемы системы проверки задач - подсистема автоматической проверки типичных правильных решений и подсистема автоматического и ручного добавления типичных замечаний.
В данной работе рассматривается и реализовывается метод автоматического определения положения и фокусного расстояния камер EPnPfR. Предложены его алгоритмические улучшения для того, чтобы интегрировать в систему трехмерной реконструкции Bundler. Демонстрируется улучшение результатов реконструкции после проделанной интеграции.
В настоящей работе рассмотрены основные свойства сумм Процесса Случайного Индекса в случае стохастичной интенсивности управляющего процесса, т.е. процесса Пуассона. Были изучены и приведены текущие наработки, представление в научной и учебной литературе. Исследованы ковариационные и ассимптотические свойства сумм псевдопуассоновских процессов пр...
