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

Код ВАК 01.01.09
Тема работы Автор Год
Построение экстремальных бесповторных слов и оценка их количества

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

Горбунова, Ирина Анатольевна 2013
Потоковые методы решения многоиндексных задач транспортного типа

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

Афраймович, Лев Григорьевич 2013
Расширение задач на программный максимин в классе конечно-аддитивных мер

Идеи, связанные по существу с конструкциями расширений, использовались и в других разделах математики (см., например, [1-3] в связи с задачами математического программирования). В качестве одного из самых известных ва…

Бакланов, Артем Павлович 2013
Расшифровка пороговых и близких к ним функций

В.Н.Шевченко рассмотрел задачу расшифровки пороговых функций А:-знач-ной логики [37-39]. Пороговые функции возникают во многих разделах математической кибернетики и дискретной математики и приложениях, например, в дискретной оптимизации [33, 39], распознавании образов [20, 21, 48], теории графов [19], при синтезе схем из функциональных элементов…

Золотых, Николай Юрьевич 2013
Скелетная сегментация и циркулярная морфология многоугольников

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

Домахина, Людмила Григорьевна 2013
Сложность и строение минимальных схем для линейных булевых функций

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

Комбаров, Юрий Анатольевич 2013
Сложность некоторых задач теории расписаний и эволюционные алгоритмы их решения

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

Коваленко, Юлия Викторовна 2013
Собственные функции и кратные совершенные коды в графах Джонсона и Хэмминга

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

Воробьёв, Константин Васильевич 2013
Теоретико-игровое моделирование биржевых торгов

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

Сандомирская, Марина Сергеевна 2013
Теоретико-игровой анализ процедуры вето-голосования с лидером

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

Машечкин, Алексей Игоревич 2013
Теоретико-игровые модели формирования коалиций и участия в голосовании

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

Вартанов, Сергей Александрович 2013
Транзитивные совершенные коды и разбиения

Объект исследования настоящей работы - транзитивные коды над двоичным алфавитом, исправляющие одиночные ошибки, а также разбиения пространства всех двоичных векторов на совершенные коды…

Гуськов, Георгий Константинович 2013
Управление инвариантами в сетевых динамических системах

Пусть у системы (1) есть функция-инвариант = Ц (а^^),..., ггдт(й)), сохраняющая свои значения вдоль траекторий свободной системы (1) (и; (¿) = 0, г = 1,..., ЛГ). Задача управления ставится следующим образом: найти такие законы управления щ (4), г = 1,..., ЛГ, при которых в системе достигается желаемое значение инварианта У…

Пчелкина, Ирина Владимировна 2013
Условия выразимости и полноты пропозициональных исчислений

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

Боков, Григорий Владимирович 2013
Экстремальные комплексы граней в единичном кубе

Суть задачи минимизации булевых функций в классе ДНФ состоит в построении формулы вида «дизъюнкция конъюнкций» минимальной сложности для произвольно заданной булевой функции. Эта задача обычно рассматривается в двух эквивалентных моделях — аналитической и геометрической [1]. В аналитической модели используются понятия: булева функция, импликанта…

Чухров, Игорь Петрович 2013
Экстремальные конструкции в теории синхронизируемых автоматов

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

Гусев, Владимир Валерьевич 2013
C-ядро в кооперативных играх группового преследования

Антагонистические дифференциальные игры преследования впервые были подробно описаны в монографии Р. Айзекса, изданной в 1965 году и переведенной на русский язык в 1967 году. Среди работ этого периода следует также отметить работы В. Флеминга и JI. Берковича…

Панкратова, Ярославна Борисовна 2012
Адаптивное управление сетевыми динамическими системами с возмущениями

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

Григорьев, Григорий Константинович 2012
Алгоритмы поиска решения задачи об F-выполнимости, основанные на приближении булевых функций к классам Шефера

В 1971 году Стивеном Куком был доказан фундаментальный для теории сложности вычислительных систем результат1, заключающийся в том, что задача о выполнимости является NP-полной. Тем самым был поднят вопрос о равенстве классов сложности Р и NP, который остаётся открытым до сих пор…

Поцелуевская, Евгения Александровна 2012
Алгоритмы с оценками для решения задач анализа данных

Одной из наиболее известных экстремальных задач анализа дан-пых и распознавания образов является задача MSSO (Minimum Sum-of-Squares Clustering) — кластеризации (разбиения) конечного множества векторов евклидова пространства по критерию минимума суммы квадратов расстояний. На протяжении нескольких десятилетий эта задача считалась NP-трудной…

Долгушев, Алексей Владимирович 2012