Темы авторефератов и диссертаций по математике из каталога библиотеки ФизМатХим. Дискретная математика и математическая кибернетика

Код ВАК 01.01.09
Тема работы Автор Год
Анализ сложности вычисления булевых функций ветвящимися программами с ограничениями

Важной известной проблемой является соотношение классов Р и NP. При этом остается много открытых вопросов о структуре класса Р. И, в частности, известных классов LSPACE и NG, входящих в класс Р. Во второй половине прошлого века были введены различные модели вычислений с разными вариантами ограничений, которые позволяли решать ряд вопросов для…

Хадиев, Камиль Равилевич 2015
Быстрые алгоритмы проверки эквивалентности программ в моделях с полугрупповой семантикой

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

Подымов, Владислав Васильевич 2015
Вероятностный анализ алгоритмов с гарантированными оценками точности для решения некоторых трудных задач маршрутизации

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

Истомин, Алексей Михайлович 2015
Выделение эффективно разрешимых классов в задаче подобия матриц над кольцом целых чисел

Задача подобия матриц над кольцом целых чисел имеет давнюю историю исследований. По-видимому, эту задачу впервые начали глубоко изучать C.G. Latimer и С.С. MacDuffee. Еще в 1933 г. они показали (см. [23]), что существует биекция меж/iy классами подобия целочисленных матриц…

Сидоров, Сергей Владимирович 2015
Гистограммная функция автомата и ее приложения

Сами автоматы и их алгебры начали исследоваться в тридцатые годы предыдущего столетия, но особенно активно в период 50-х годов. С самого возникновения понятия конечного автомата в математике исследовались свойства автоматов порождать языки. Фундаментальный результат в области описания языков, которые можно порождать автоматами опубликовал…

Пархоменко, Денис Владимирович 2015
Декомпозиция некоторых оптимизационных задач на дискретных финансовых рынках

Рассмотрение дискретных моделей рынка для решения задач инвестирования позволило применить новые методы, в частности, теорию двойственности и методы математического программирования. В данной работе предполагается, что торги на рынке происходят в детерминированные моменты времени, и число сценариев поведения рынка конечно. Если шаг временного…

Соловьев, Алексей Игоревич 2015
Задача выразимости автоматных функций относительно расширенной суперпозиции

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

Летуновский, Алексей Александрович 2015
Идеальные языки и синхронизируемые автоматы

В связи о различными практическими и теоретическими приложениями представляет интерес нахождение объекта для компактного представления идеальных языков. В результате поиска такого объекта возникла идея представления идеальных языков с помощью синхронизируемых автоматов. Автоматы из этого класса можно рассматривать как своеобразные «распознаватели…

Масленникова, Марина Игоревна 2015
Исследование нелинейных гибридных систем методом матричных неравенств

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

Сейфуллаев, Руслан Эльманович 2015
Комбинаторные свойства факторных языков перестановок

Ведущая организация: Федеральное государственное бюджетное образовательное учреждение высшего образования «Московский государственный университет имени М. В. Ломоносова…

Валюженич, Александр Андреевич 2015
Конструирование изображений клеточными автоматами

Клеточный автомат — это математический объект с дискретными пространством и временем. Каждое положение в пространстве представлено отдельной клеткой, а каждый момент времени — дискретным временным шагом или поколением. Состояние каждой пространственной клетки определяется очень простыми правилами взаимодействия. Эти правила предписывают изменения…

Титова, Елена Евгеньевна 2015
Кооперация в дискретных линейно-квадратичных играх

Апробация работы. Основные результаты были представлены на I, III, VII Международных конференциях Game Theory and Management GTM'07, GTM'10, GTM'14 (Санкт-Петербург, 2007, 2009, 2014 гг.); на Всероссийской конференции «Устойчивость и процессы управления» (Санкт-Петербург, 2010); на XXXVIII, XXXIX, XL, XLI международных конференциях студентов и…

Тур, Анна Викторовна 2015
Маршрутно-распределительные задачи

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

Иванко, Евгений Евгеньевич 2015
Методы отсечений с обновлением аппроксимирующих множеств для задач нелинейного программирования

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

Яруллин, Рашид Саматович 2015
Методы синтеза и оценки сложности схем с некоторыми структурными ограничениями

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

Коноводов, Владимир Александрович 2015
Модели устойчивой двухуровневой кооперации в дифференциальных играх

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

Колабутин, Николай Валерьевич 2015
Наследственные структуры и оптимизационные задачи в булевых и геометрических решётках

Ведущая организация: Федеральное государственное автономное образовательное учреждение высшего профессионального образования «Уральский федеральный университет имени первого Президента России Б.Н. Ельцина…

Выплов, Михаил Юрьевич 2015
Об оценках функций Шеннона длин тестов при некоторых неисправностях входов схем

Федеральное государственное автономное образовательное учреждение высшего образования «Нижегородский государственный университет им. Н. И. Лобачевского…

Морозов, Евгений Валерьевич 2015
О классах булевых функций, выразимых относительно расширенной суперпозиции

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

Акулов, Ярослав Викторович 2015
Равновесие в теоретико-игровых моделях переговоров и коллективных решений

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

Кондратьев, Алексей Юрьевич 2015