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

Код ВАК 01.01.09
Тема работы Автор Год
Совершенные раскраски бесконечной прямоугольной решетки

Пусть G = (V, Е) — граф, А = (о^) — квадратная матрица порядка п, г > 1. Рассмотрим раскраску графа G в-n цветов и произвольную вершину х цвета %. Если количество вершин цвета j (отличных от х) на расстоянии не более г от вершины х не зависит от выбора вершины х и равно а^, то раскраска называется совершенной радиуса г с матрицей А…

Пузынина, Светлана Александровна 2008
Структурный анализ многоленточных автоматов

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

Хачатрян, Владимир Ервандович 2008
Схемы программ с константами

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

Русаков, Дмитрий Михайлович 2008
Хроматические числа слоистых графов

Также было получено множество результатов, связывающих степень графа и его хроматическое число с размером максимальной клики. В частности, хотелось бы отметить статью [31|, в которой доказано, что существует раскраска графа G степени п с co(G) < п + 1 в 71 цветов, в которой максимальная антиклика монохроматична и результат А. В. Косточки [22…

Берлов, Сергей Львович 2008
Численные методы решения задач группового преследования

Н.Н. Петровым [8, 9, 10, II] исследовалась задача простого преследования группой преследователей группы убегающих при равных возможностях всех участников. При условии, что все убегающие используют программные стратегии, а затем преследователи определяют свои движения на основе информации о выборе убегающих и, кроме того, каждый преследователь…

Варламова, Анастасия Гаврииловна 2008
Эффективные алгоритмы получения оценок алгебраической иммунности булевых функций

Введём обозначения. ¥2 — поле из двух элементов. Тп — множество всех отображений —> F2 (множество всех булевых функций от п переменных). Функция д € Тп называется аннигилятором функции / € Тп, если / • <? = 0. Множество всех аннигиляторов функции / обозначим…

Баев, Владимир Валерьевич 2008
Алгоритмизация и численная реализация аналитических методов представления решений в задачах механики

В наше время метод приближения полиномами функций в своих звездах Миттаг-Леффлера встречается довольно редко в теоретических разработках как российских [47, 65, 71, 70], так и зарубежных [92, 93] ученых…

Иванова, Ольга Александровна 2007
Алгоритмы локального поиска для задачи о ρ-медиане с предпочтениями клиентов

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

Алексеева, Екатерина Вячеславовна 2007
Алгоритмы с оценками для некоторых модификаций задач коммивояжера и разбиения множества

Задачи дискретной (комбинаторной) оптимизации образуют важный класс упомянутых массовых задач. Для задачи J] дискретной оптимизации решением каждой индивидуальной задачи I € П является произвольная реализация оптимума Opty[(I) :— тахг€5п(/) z). Здесь »%(/) — область допустимых значений дискретной (целочисленной) переменной z, fy[(I,z) : 5…

Бабурин, Алексей Евгеньевич 2007
Быстрое автоматическое дифференцирование в задачах оптимального управления

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

Засухина, Елена Семеновна 2007
Вычислительные и эволюционные методы в стохастических системах с обнаружением и адаптацией

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

Федорова, Мария Анатольевна 2007
Динамическое распределение нагрузки в сетях массового обслуживания

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

Рогачко, Екатерина Сергеевна 2007
Исследование устойчивости движений дискретных динамических систем

В то же время переход от непрерывных уравнений к разностным может повлечь существенное изменение свойств решений системы. При таком переходе нередко нарушается устойчивость…

Минайло, Александр Васильевич 2007
Комбинаторные числа и взвешенные траектории на решетках

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

Соловьева, Людмила Александровна 2007
Коммуникационная сложность протоколов доступа к данным без раскрытия запроса

Существует множество примеров, где использование протоколов, которые скрывают от администраторов базы данных интересы их пользователей (PIR-протоколов), может быть полезно…

Майлыбаева, Гульнара Абаевна 2007
Логический вывод и обработка знаний в информационных средах

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

Липовченко, Владимир Андреевич 2007
Локальная параметрическая идентифицируемость систем, аппроксимирующих сложные объекты

Под локальной параметрической идентифицируемостью (локальной идентифицируемостью) модельной системы при значении параметра Ai 6 Л подразумевается существование такого числа е > 0, что по наблюдению траекторий модельной системы возможно различить параметры Ai, А2 при А2 е Л, Ai ф А2 и p(Ai, А2) < е…

Шляго, Павел Юрьевич 2007
Методы и алгоритмы решения задач теории расписаний для одного и нескольких приборов и их применение для задач комбинаторной оптимизации

Через TTj будем обозначать перестановку (расписание) из элементов множества N, обслуживаемых на приборе Mi, i ~ 1,., m, множество требований в расписании щ обозначим {щ} С JV, а через 7г = jj™ х тг,-, {тга} П!71"/?} = 0, если а Ф (3, расписание для всего множества требований N = {тг}. Рассматриваются только допустимые расписания, удовлетворяющие…

Лазарев, Александр Алексеевич 2007
Методы получения нижних оценок сложности ветвящихся программ, вычисляющих булевы функции

Сложность вычисления булевой функции зависит от модели вычисления. Так, например, линейная булева функция вычисляется с линейной сложностью в классе схем из функциональных элементов, контактных схем, ветвящихся программ, но реализуется схемой не менее чем квадратичной сложности в классе формул в базисе (V, Л, —|), и дизъюнктивными нормальными…

Окольнишникова, Елизавета Антоновна 2007
Методы представления дискретных функций в задачах подсчёта, тестирования и распознавания свойств

В §1.1 рассматриваются функции, отображающие соседние вершины булева куба в соседние или совпадающие вершины произвольного графа Н. Для последовательности классов таких функций Fn(H) найден предел Jim 2^\Fn{H)\ (теорема 1.1.1), что эквивалентно нахождению асимптотики логарифма мощности. Для доказательства используется метод жирных точек (см. ниже…

Вороненко, Андрей Анатольевич 2007