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

Код ВАК 01.01.09

Тема работы	Автор	Год
Нормальная форма квадратных (0,1)-матриц и ее применение Определение 0.0.1 ГЗ, стр.4311. Матрица А&Мп называется разложимой, если либо a) п=1 и А=0, либо b) п> 2 и существует матрица перестановки Р е Мп и некоторое число г, 1 < г <п-\, такие что…	Савицкая, Диана Владимировна	2009
Обобщенное уравнение Айзекса-Беллмана в теории дифференциальных игр Принципиальное отличие задач теории дифференциальных игр от задач оптимального управления состоит в том, что их решение в общем случае необходимо искать в классе стратегий, устроенных по принципу обратной связи или в каких-то других подобных классах (например, в классе кусочно-программных стратегий). В известной мере это предполагает…	Никитин, Федор Федорович	2009
О замкнутых классах функций многозначной логики, порожденных симметрическими функциями Поскольку при к > 3 изучение замкнутых классов fc-значной логики наталкивается на значительные трудности, то, с одной стороны, многие авторы стали рассматривать задачу изучения классов, замкнутых относительно более сильных операций замыкания, которые позволили бы получить множество замкнутых классов конечной или счетной мощности (см., например…	Михайлович, Анна Витальевна	2009
О соотношениях между алгебраической иммунностью и нелинейностью булевых функций. Критерии зачастую конфликтуют друг с другом, выяснению их взаимосвязей посвящена обширная литература. Например, упомянем работу [13], в которой приведена последовательность функции с высокой корреляционой иммунностью, высокой нелинейностью и неплохой алгебраической иммунностью…	Лобанов, Михаил Сергеевич	2009
Оценки числа независимых множеств в графах из некоторых классов Используемая далее терминология в целом согласуется с книгой [13]. Далее рассматриваются только простые неориентированные графы. Подмножество попарно не смежных вершин графа называется независимым. Под максимальными независимыми множествами (м.н. м.) будем понимать максимальные по включению независимые множества. Максимальный размер независимого…	Дайняк, Александр Борисович	2009
Построение оптимальных пространственных фигур методами нелинейного программирования Методы исследования. В работе для формализованного описания изучаемого класса задач применяется математический аппарат теории выпуклых тел, методы выпуклого анализа, дифференциальной геометрии, при доказательстве теорем используются методы оптимального управления, нелинейного программирования, функционального анализа. При реализации программного…	Цветкова, Евгения Геннадьевна	2009
Разработка и реализация численных методов решения оптимизационных задач большой размерности Другие затруднения могут быть связаны с отсутствием эффективных методов решения NP-трудных задач математического программирования [5]. Это класс задач, для которых характерны такие отличительные признаки, как экспоненциальный рост вычислительной сложности. Представителями указанного класса задач являются NP-полные задачи оптимизации. NP-полные…	Нгуен Минь Ханг	2009
Разрешимость начальных и краевых задач для линейного функционально-дифференциального уравнения точечного типа Вообще говоря, задачи распространения сигналов с конечной скоростью - это важный класс задач, для которых уравнения с отклонением аргумента можно использовать в качестве математических моделей. К этому классу относится задача распространения электромагнитной волны в направляющей структуре (передающей линии без потерь), где уравнения с…	Крученов, Михаил Борисович	2009
Раскраска инциденторов и другие задачи на графах: алгоритмический аспект Отметим, что для доказательства полиномиальной разрешимости задачи распознавания как правило требуется найти хорошую характеризацию (легко проверяемое условие) для примеров как с положительным, так и с отрицательным ответами. С другой стороны, для доказательства КР-полноты некоторой задачи зачастую приходится строить примеры объектов, обладающих…	Пяткин, Артем Валерьевич	2009
Решение проблемы отделимости алгоритмически разрешимых случаев А-полноты для базисов поста дефинитных автоматов Основу результатов для функций /с-значной логики составляет подход A.B. Кузнецова, опирающийся на понятие предполного класса. Для конечно-порождённых систем таких функций семейство предполных классов образует критериальную систему: произвольное множество является полным тогда и только тогда, когда оно не является подмножеством ни одного…	Жук, Дмитрий Николаевич	2009
Сужение множества Парето на основе взаимно зависимой информации об отношении предпочтения ЛПР Наиболее распространенный и самый простой обобщенный критерий - это т линейная свертка Ф(х) = ^^/Дх), где /,(*),.,/т(Х) набор критериев, а 1 некоторые положительные числа, характеризующие важность критериев…	Климова, Ольга Николаевна	2009
Суперпозиции функций k-значной логики и их обобщений Рассматривая функции k-значной логики, можно выделить три направления исследований. Первое направление связано с логическими исчислениями, второе с подмножествами функций, а третье с суперпозициями, удовлетворяющими некоторым свойствам…	Пантелеев, Владимир Иннокентьевич	2009
Универсальные синхронизирующие и универсальные сжимающие слова С тех пор было много попыток доказать или опровергнуть эту так легко формулируемую гипотезу, но ни одна из них не увенчалась успехом. На данный момент гипотеза доказана для многочисленных классов автоматов (см. [5; 14; 19; 21; 34;38]), а в общем случае получена только кубическая верхняя оценка М (см. [1]). Сам же Черни в работе [15] построил…	Петров, Илья Владимирович	2009
Управление параметрами динамической системы для реализации самоорганизующегося процесса перехода к устойчивому периодическому режиму В соответствии с идеями синергетики выделить из широкого множества параметров один или два ведущих малых параметра, ответственных за реализацию самоорганизующегося процесса в динамических системах, описать переходные процессы от неустойчивого равновесия к устойчивому периодическому режиму…	Городецкий, Сергей Евгеньевич	2009
Эффективные алгоритмы в модели квантовых ветвящихся программ Модель ветвящихся программ, зарекомендовавшая себя при тестировании сверхбольших интегральных схем, помимо удобства описания алгоритмов предоставляет подходы для доказательства нижних оценок сложности при некоторых "естественных" ограничениях. В то же время меры сложности ветвящихся программ тесно связаны со сложностью машин Тьюринга и схем из…	Васильев, Александр Валерьевич	2009
Алгоритмы антиунификации и их применение для вычисления инвариантов программ В разделе 1.3 рассмотрены параллельные алгоритмы антиунификации подстановок, представленных ациклическими ориентированными графами. Первый из них - предложенный в параграфе 1.3.1 алгоритм распознавания точного антиунификатора - проверяет, является ли заданная подстановка г] точной нижней гранью двух других заданных подстановок и Затем на основании…	Костылев, Егор Вячеславович	2008
Алгоритмы решения NP-трудных задач минимизации суммарного запаздывания и минимизации времени выполнения проекта и их применение в комбинаторной оптимизации Большинство задач теории расписаний являются NP-трудными, поэтому важным направлением исследований является разработка подходов к их решению. Задачи теории расписаний принадлежат классу экстремальных комбинаторных задач и допускают формулировку в терминах математического программирования. Поэтому при разработке алгоритмов их решения применяются…	Гафаров, Евгений Рашидович	2008
Анализ выходных потоков управляющих процессов обслуживания В ходе становления и развития теории массового обслуживания, а также ее приложений можно условно выделить несколько основных направлений исследований…	Пройдакова, Екатерина Вадимовна	2008
Комбинаторные методы построения и исследования кодов К числу открытых проблем (полное или частичное решение которых приводится в данной работе) относились: разработка прямых комбинаторных методов построения и исследования свойств нелинейных двоичных кодов, разработка методов построения транзитивных кодов, исследование метрической жесткости кодов, проблема классификации совершенных кодов, проблема Ф…	Соловьева, Фаина Ивановна	2008
Метод главного эксперта в задачах диагностики и прогнозирования В настоящее время существует два подхода к решению задач математической диагностики: статистический и оптимизационный. Первый подход использует вероятностные и статистические методы (это требует изучения статистических характеристик изучаемого процесса, что иногда затруднительно вследствие отсутствия достаточного количества наблюдений), второй…	Демьянова, Вероника Владимировна	2008