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

Код ВАК 01.01.09

Тема работы	Автор	Год
Проблема эквивалентности программ: модели, алгоритмы, сложность Проблема эквивалентности программ состоит в том, чтобы для произвольной заданной пары программ выяснить, имеют ли эти программы одинаковое поведение. Строгие определения терминов «программа» и «поведение», фигурирующих в этой формулировке, могут варьироваться, и поэтому проблема эквивалентности программ охватывает целый спектр задач проверки…	Захаров, Владимир Анатольевич	2011
Проблемы полноты и выразимости в пространствах дискретных функций Так, проблема полноты (выразимости заданного класса) в пространстве состоит в описании, по-возможности эффективном, всех подмножеств пространства, в чьих замыканиях содержатся все элементы пространства (соответственно заданного класса). Решение этой проблемы в функциональном пространстве даёт условия, при которых задача синтеза управляющих систем…	Парватов, Николай Георгиевич	2011
Решение задач маршрутизации и путевых разбиений графов методами раскрасок и весовых перераспределений В работе рассматриваются конечные неориентированные графы без петель и кратных ребер. Плоским графом называется граф, вершинами которого являются точки на плоскости, а ребрами — жордановы кривые, соединяющие пары вершин так, что различные кривые пересекаются только в своих общих концевых вершинах. Граф называется планар-ным, если он изоморфен…	Замбалаева, Долгор Жамьяновна	2011
Свойства вершин релаксаций разрезного многогранника На первый взгляд, решение задачи дискретной оптимизация не представляет никакой математической трудности. Достаточно проверить все элементы множества X (перебрать все варианты) и выбрать оптимальный. В силу конечности и дискретности множества X это всегда возможно. Такой алгоритм носит название полного перебора и для некоторых простых задач, как…	Николаев, Андрей Валерьевич	2011
Сложность реализации булевых функций информационными графами Возможно обобщение объемной меры сложности, когда каждому базисному элементу ставится в соответствие некоторый неотрицательный вес, при этом вместо числа элементов в схеме подсчитывается суммарный вес всех элементов, который рассматривается в качестве обобщенного функционала сложности…	Шуткин, Юрий Сергеевич	2011
Сложность тестирования бесповторных функций Для той же постановки задачи в случае других базисов известны следующие результаты. Для элементарного (стандартного) базиса из конъюнкции, дизъюнкции и отрицания было установлено, что функция Шеннона длины проверяющего теста имеет линейный порядок роста [4]. Для базиса всех функций / переменных, где / ^ 3, известна нижняя оценка функции Шеннона…	Чистиков, Дмитрий Викторович	2011
Теоретико-игровые модели формирования коалиционных структур Для данной игры мы исследуем известные теоретико-игровые понятия решения игры: равновесие Нэша (РН) и различные коалиционные равновесия и находим коалиционные структуры, соответствующие равновесному профилю стратегий…	Степанов, Денис Сергеевич	2011
Теоретико-игровые модели экологического регулирования Объектом исследования является класс теоретико-игровых моделей экологического регулирования, а предметом исследования - аналитические решения моделей, их формулировки, подходы и методы поиска решения…	Козловская, Надежда Владимировна	2011
Тесты схем для некоторых классов булевых функций Управляющая система, скажем контактная схема или схема из функциональных элементов, рассматривается как некоторое устройство ("черный ящик") с п входами, на которые подаются переменные и выходом, на котором реализуется функция…	Беджанова, Светлана Руслановна	2011
Точные расширения графов В «чистой» теории графов для.' формализации понятий отказоустойчивости системы используется абстрактная конструкция — расширение графа. Основным объектом исследования в данной работе является частный случай расширения графа - точное расширение…	Долгов, Александр Алексеевич	2011
Условия существования непрерывных расписаний Модель ассоциированных графов оказывается эффективной при исследовании сложностного статуса задачи о непрерывном расписании, формулировке условий его существования и разработке алгоритмов построения расписания, удовлетворяющего заданным условиям. С её помощью можно выразить разнообразные ограничения на предписания семейства входных данных…	Магомедов, Абдулкарим Магомедович	2011
Условия экстремума в негладком анализе Эти исследования легли в основу теории минимакса и выпуклого анализа [16,17,27,38,42,43,45,48] и привели к появлению понятия субдифференциала (см. например [70]), являющегося обобщением «классического» понятия градиента: в точках гладкости субдифференциал совпадает с градиентом, а в точках существенной негладкости (то есть таких, в которых не…	Аббасов, Меджид Эльхан оглы	2011
Частотные оценки периодов колебаний нелинейных дискретных систем Гипотеза Айзермана заключалась в следующем. Если для всех к Е (к\, к2) система (1) с (р — ко асимптотически устойчива по Ляпунову, то любая система (1), удовлетворяющая условию кг < ^ < к2, Va ф 0, (2) и устойчива в целом. Позже многократно было показано, что ни гипотеза Айзермана, ни гипотеза Калмана с условием к! <~<к2 (3) аа вместо (2) в общем…	Федоров, Алексей Анатольевич	2011
Экстремальные свойства минимальных и минимальных по стягиванию k-связных графов На настоящий момент ситуация с верхними оценками чрезвычайно проста: никаких верхних оценок для с& при к > 5 не существует (ни общих, ни для частных случаев к). Существующие верхние оценки для минимальных или минимальных по стягиванию графов построены на основании графов обладающих строго одним из указанных свойств (см., например, [1], [4], [17] и…	Образцова, Светлана Анатольевна	2011
Эффективные алгоритмы сравнения поверхностей, заданных облаками точек Обычно для цифрового представления сложных негладких поверхностей применяется метод поточечного описания, когда поверхность задаётся дискретным облаком точек. Такое описание поверхностей можно получить, используя трёхмерный сканер, дигитайзер, топографическую съёмку местности, а также при помощи различного программного обеспечения и медицинского…	Дышкант, Наталья Федоровна	2011
2-мерные комплексы полностью описываемые степенями своих вершин Характеризация комплексов целочислеными неотрицательными векторами — это важная задача, имеющая приложения в многоиндексных задачах большой размерности [5, 10…	Мокряков, Алексей Викторович	2010
Адаптивное управление сетевыми динамическими системами Мюррея [4, 10, 15, 27, 28, 47, 50] и многих других авторов, постоянно возникают все более сложные задачи, например управление через канал с ограниченной пропускной способностью…	Джунусов, Ибрагим Алпысбаевич	2010
Аксиоматизация некоторых решений кооперативных игр Математический метод формирования решений кооперативных игр состоит в приближении произвольной функции множеств аддитивными функциями. Здесь произвольной функцией является характеристическая функция игры, задающая максимальные гарантированные выигрыши коалиций. Решение игры, т. е. вектор значений выигрышей игроков можно трактовать как аддитивную…	Лежнина, Елена Александровна	2010
Алгоритмы списочного декодирования специального класса алгебро-геометрических кодов Вследствие этого можно ожидать, что при условии существования практически реализуемых эффективных алгоритмов декодирования АГРС-коды наравне с РС-кодами найдут широкое применение в разнообразных прикладных задачах…	Маевский, Алексей Эдуардович	2010
Аппроксимационные и регуляризирующие свойства штрафных функций и функций Лагранжа в математическом программировании Вместе с тем точные штрафные функции не всегда отвечают необходимым условиям гладкости для применения эффективных процедур численной минимизации к решению задачи (2). С другой стороны, выбор конструкций штрафных функций достаточно обширен, что позволяет в общем случае обеспечить требуемые свойства выпуклости и гладкости функции г) при…	Скарин, Владимир Дмитриевич	2010