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

Код ВАК 01.01.09

Тема работы	Автор	Год
О критериях полноты по неявной выразимости в трехзначной логике Говорят, что указанная система уравнений является параметрическим представлением функции f(x 1,., хп), / G Pk, над системой функций Е, если она имеет хотя бы одно решение…	Орехова, Елена Андреевна	2004
Оптимизационный подход в задачах математической диагностики Упомянутые статистический и оптимизационный подходы к решению задач математической диагностики удачно дополняют друг друга: обработка одних и тех же баз данных с помощью обоих подходов позволяет получить более достоверную информацию и предоставляет лицу, принимающему решение, возможность выбора наиболее рационального решения…	Кокорина, Анастасия Владимировна	2004
О средней сложности булевых функций В данной работе исследуются схемная и средняя сложность булевых функций, заданных полиномами Жегалкина, средняя сложность функций из инвариантных классов, средняя сложность монотонных функций. Часть работы посвящена вычислению функций неветвящимися программами с условной остановкой, допускающими только однократное использование промежуточных…	Забалуев, Руслан Николаевич	2004
Перечисление квадрик и симметричных форм модулей над локальными кольцами Естественно, что квадрики исследуются взаимосвязано с квадратичными формами и их матрицами. В [13, § 3] устанавливается су-V ществование ортогонального базиса "сильно невырожденной" симметричной формы на модуле над локальным кольцом с обратимым элементом 2. В то же время, при переходе к таким кольцам коэффи-v циентов определяющая роль симметричных…	Старикова, Ольга Александровна	2004
Последовательный анализ трафика вычислительной сети Вторая инвариантная характеристика была впервые обнаружена в 1993 году группой ученых (Leland W., Taqqu М., Willinger W. и Wilson D.), которые исследовали Ethernet-трафик в сети Bellcore и обнаружили, что он обладает самоподобием [66]. Под самоподобием подразумевается повторяемость распределения нагрузки во времени при различных масштабах. Это…	Журавлев, Денис Николаевич	2004
Построение оптимальных траекторий управляемых процессов в экономических задачах Модели экономического роста (агрегированные модели производства) также играют важную роль в экономических исследованиях, в частности при решении задач о выборе направления и пропорций реальных инвестиций. Эти модели могут быть использованы как для описания всей экономики в целом, так и отдельного крупного промышленного предприятия, включая крупные…	Моисеев, Александр Николаевич	2004
Предельные теоремы для некоторых случайных комбинаторных структур Результаты изучения случайных подстановок наиболее подробно изложены в [21,24]. В [24] получено полное описание предельного поведения числа циклов случайной подстановки степени п при n —> оо. Поскольку характеристики случайных подстановок степени п с N циклами и случайных некорневых рекурсивных лесов с N деревьями и п вершинами можно изучать с…	Черепанова, Елена Владимировна	2004
Применение теории точных штрафов в негладких задачах вариационного исчисления Известно, что электронная система передачи и обработки сигналов содержит емкости, индуктивности, трансформаторы с длинными проводами, по которым с конечной скоростью перемещается ток. Все это замедляет скорость реагирования системы по сравнению с реальным временем протекания процесса, например процесса работы другого электронного прибора…	Тамасян, Григорий Шаликович	2004
Проблемы Борсука, Нелсона-Эрдеша-Хадвигера и Грюнбаума в комбинаторной геометрии Грюнбаум, Кли, Роджерс, Ларман, Болтянский, Ленц, Гэйл, Данцер, Бургейн, Калаи, Алон, Циглер и др. И это тем более удивительно и показательно, если учесть, что проблема Борсука была поставлена в 1933 году, проблема Нелсона -Эрдеша - Хадвигера - в 1950, проблема Грюнбаума - в 1957, проблема Хадвигера - Маркуса - Гохберга - Болтянского -в конце…	Райгородский, Андрей Михайлович	2004
Развитие выпуклого анализа и его приложений в теории дифференциальных игр В настоящей работе рассматривается отношение " выпукло сильнее" для множеств и для функций. Отношение "выпукло сильнее" является важным частным случаем понятия Ф-выпуклости. Будем говорить, что множество X в линейном пространстве С выпукло сильнее множества У С если множество X является Ф-выпуклым для семейства Ф, состоящего из всевозможных…	Иванов, Григорий Евгеньевич	2004
Развитие метода граничных функционалов и его приложение к комбинаторным задачам К классу перечислительных изопериметрических задач относятся задачи о числе антицепей в частично упорядоченных множествах, а, значит, и задачи о числе конечнозначных монотонных функций. Наибольшую известность среди таких задач получила упоминавшаяся выше проблема Дедекинда о числе ф(п) монотонных булевых функций или, что то же, о числе антицепей в…	Андреева, Татьяна Владимировна	2004
Распознавание конечных детерминированных автоматов методом зацикливания Потребность в использовании моделей в виде конечных детерминированных автоматов для реальных объектов с большим числом состояний привела к развитию теории структурных автоматов, в которой абстрактная форма автомата…	Кунявская, Анна Наумовна	2004
Реализация логическими схемами операций умножения и инвертирования в конечных полях характеристики два При построении логических схем в первую очередь было стремление в первую очередь минимизировать их глубину, т.е. максимальное число элементов в лщбой цепи, соединяющей входы схемы с ее выходами. В практическом синтезе VLSI стремятся минимизировать задержку схемы (время сс срабатывания после подачи на вход последнего сигнала). Задержка схема равна…	Хохлов, Роман Анатольевич	2004
Синтез, надежность и сложность схем из ненадежных функциональных элементов Ьр^{п) = тах ттХ(5), 5 где минимум берется по всем схемам 5 из ненадежных элементов, реализующим функцию /(жх, .,хп) с ненадежностью Р{Б) < р, а максимум - по всем булевым функциям / от п переменных. Нетрудно проверить, что для любой схемы 5, содержащей хотя бы один элемент, при е < 1/2 верно неравенство…	Алехина, Марина Анатольевна	2004
Сравнительная сложность квантовых и классических моделей вычислений Впоследствии эти идеи были формализованы Deutsh [38], который впервые определил квантовую вычислительную модель, основанную на использовании квантовой суперпозиции - квантовый аналог вероятностной машины Тьюринга. Deusth предположил, что эта модель может быть эффективнее, чем классическая, для некоторых задач. Он также показал существование…	Гайнутдинова, Аида Фаритовна	2004
Структура разбиения κ-связного графа Начало исследований свойств вершинной связности графа положил в 1927 году K.Menger [27], доказавший следующую теорему: для любых двух несмежных вершин ж, у связность ка(х,у) равняется набольшему количеству непересекающихся простых путей между х и у в графе С…	Карпов, Дмитрий Валерьевич	2004
Тестовые задачи на графах Подчеркнём, что при рассмотрении табличных тестов, речь, как правило, идёт о тестах безусловных, т.е. для идентификации объекта выполняются все элементарные проверки теста (безразлично в каком порядке), а потом по набору значений этих проверок находится искомый объект, единственный по определению теста. Некоторыми авторами рассматривались и задачи…	Дебрев, Евгений Валерьевич	2004
Устойчивость дискретных систем Существуют также критерии неустойчивости, использующие метод характеристических показателей Ляпунова. Такие критерии были получены Н.Г. Четаевем [11…	Кузнецов, Николай Владимирович	2004
Устойчивость и стабилизация нелинейных импульсных систем Здесь Ь'п, тп, \п — некоторые числа, < < + тп < £п+1. Числа Ап и тп называются амплитудой и шириной импульса соответственно. Встречаются случаи, когда форма импульса является существенно более сложной. Например, импульсы на выходе тиристорного преобразователя обычно ограничены кусками синусоиды [34]. Некоторый из параметров функции £(£) считаются…	Кабриц, Мария Сергеевна	2004
Абсолютная устойчивость систем управления с монотонными по выходу нестационарными нелинейностями Во второй главе формулируются и доказываются вспомогательные предложения. Вводятся интегральные квадратичные неравенства во временной области с запаздыванием. Доказывается специальная форма квадратичного критерия для таких систем. Вводится понятие функций класса . Этот класс включает в себя в качестве частного случая периодические по времени…	Альтшуллер, Дмитрий	2003