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

Код ВАК 01.01.09

Тема работы	Автор	Год
Автоматный анализ детерминированных графов При исследовании проблемы проверки правильности карты наметилось несколько подходов. Один из них основан на том, что исследуемые графы являются конечными инициальными автоматами без выхода [3-5,12,13], т.е. конечными ориентированными графами с постоянными отметками на дугах. В рамках этого подхода найдены точные верхние оценки наименьшего времени…	Тихончев, Михаил Юрьевич	2005
Алгоритмические исследования комбинаторных чисел и полиномов Конструктивное направление в математике - математика, строящаяся в соответствии с тем или иным конструктивным математическим мировоззрением, обыкновенно стремящимся связывать утверждения о существовании математических объектов с возможностью их построения. Конструктивизм в математике проявлялся на протяжении всей ее истории…	Баранчук, Антон Леонидович	2005
Алгоритм распознавания выполнимости формул логики ветвящегося времени и его применение В этой логике к пропозициональным связкам добавляются следующие временные: "О" - "в следующий момент", "□" - "во всякий момент", "О" - "в некоторый момент", "15" - "до тех пор, пока", а также кванторы "V" и "3", стоящие перед каждой временной связкой (и только перед ней). Истинность формулы определяется в модели: в вершинах связного…	Хелемендик, Роман Викторович	2005
Анализ задач оптимального управления с учащающимися переключениями инвариантно-групповыми и численными методами Ахметжановым) Доклад «Анализ задач оптимального управления с учащающимися переключениями инвариантно-групповыми и численными методами»// семинар кафедры управляемых и гироскопических систем ИПМ РАН. Москва: ИПМ РАН, апрель 2005 Доклад «Анализ задач оптимального управления с учащающимися переключениями инвариантно-групповыми и численными…	Наумов, Георгий Васильевич	2005
Анализ и стабилизация систем с релейным гистерезисным управлением В монографии [9] В.И. Зубов рассмотрел большое число примеров построения и изучения колебательных режимов в системах управления с различными модификациями гистерезисных нелинейностей; для случая нелинейности типа двухпозиционного реле с гистерезисом была предложена задача полного качественного исследования поведения интегральных кривых системы (1…	Каменская, Светлана Александровна	2005
Вероятностный анализ алгоритмов построения кратчайших расписаний для многостадийных систем Все четыре перечисленные задачи теории расписаний в общем случае являются Л/'Р-трудными, в связи с чем возникло два направления их исследования. Первое направление — разработка полиномиальных приближённых алгоритмов, которые находят некоторое не обязательно оптимальное расписание, но длина которого гарантированно ограничена некоторой верхней…	Корякин, Роман Александрович	2005
Вопросы построения комитета несовместной системы неравенств Комитетом аффинных функций, разделяющим два подмножества Л и В в Мп, называется такой конечный набор аффинных функций, что в любой точке из Л (соответственно из В) более чем половина функций этого набора принимает положительное значение (соответственно отрицательное значение). Задача нахождения условий существования разделяющего комитета и…	Кобылкин, Константин Сергеевич	2005
Восстановление и различимость слов по подсловам …	Хошманд Асл Мохаммад Реза	2005
Информационные множества в модельных задачах наблюдения за движением самолета в горизонтальной плоскости В задачах управления с неполной информацией, когда текущее состояние системы измеряется неточно, но с известными ограничениями на ошибку замера, информационное множество может трактоваться как "обобщенное" состояние системы. Управление обратной связи при этом строится как функция от такого обобщённого состояния…	Федотов, Андрей Анатольевич	2005
Матрицы бинарных отношений и их применение в теории графов В главе 1 рассматриваются основные понятия теории бинарных отношений в терминах квадратных (ОД)-матриц. Показана эффективность матричного подхода на примере изучения отдельных классов бинарных отношений, например ациклического бинарного отношения (см. теоремы (1.5.1), (1.5.2…	Беспалов, Александр Александрович	2005
Методология построения гибридных информационных интеллектуальных систем поддержки принятия решений на основе параметрических логик в слабо структурированных предметных областях На множестве моделей может быть построена синергетическая структура, использующая различные модели, для решения сложной задачи, т.е. интегрированная или гибридная информационная интеллектуальная система (ГИИС). В ГИИС осуществляется интеграция фундаментальных аналитических знаний со знаниями и технологиями искусственного интеллекта, такими как…	Титова, Нина Владимировна	2005
Метод плетей и границ в квадратичной задаче о назначениях Во-вторых, строится такое покрытие, в котором удается оценить сразу не одно частичное решение, как в методе ветвей и границ, а целый специально сконструированный набор частичных решений - плеть…	Мартюшев, Алексей Владимирович	2005
Методы анализа динамических задач многокритериальной оптимизации Применение МДЦ для поиска парето-эффективных решений экономических задач началось еще в семидесятых годах ([26]), а с середины восьмидесятых годов МДЦ используется для поиска парето-эффективных стратегий улучшения состояния окружающей среды ([29], [30]). Другой важной областью применения МДЦ является изучение возможных вариантов технических систем…	Брусникина, Наталья Борисовна	2005
Методы вычисления логарифмической функции правдоподобия и ее градиента в алгоритмах калмановской фильтрации Каждая из перечисленных выше функций адаптивной системы является отдельной, не менее важной задачей математической кибернетики и требует особого внимания при ее рассмотрении…	Куликова, Мария Вячеславовна	2005
Методы решения задач линейной оптимизации большой размерности Заметим, что, как правило, большие задачи ЛП имеют не единственное решение. Указанные методы представляют ценность тем, что дают различные решения в случае неединственности. Так, симплекс-метод дает решение, которое принадлежит вершине многогранного множества. Методы внутренней точки сходятся к решению, в котором выполнено условие строгой…	Моллаверди Насер	2005
Многошаговые игры с полной информацией и переменным коалиционным разбиением Впервые исследованием таких задач занимался Оуэн в 1977 году ([33-34]). Он обобщил понятие вектора Шепли для игр с коалиционными разбиениями, введя так называемый вектор Оуэна-Шепли. При вычислении этого вектора предполагалось, что элементы коалиционного разбиения - коалиции, действуя как игроки, могут объединяться в большую коалицию. И для…	Мамкина, Светлана Игоревна	2005
Некоторые комбинаторные вопросы в периодических группах В(т,п) = Ъ/Т, т> 1, которая получается факторизацией свободной группы $ = $(т) с т образующими по нормальной подгруппе З71, порождённой п-ми степенями всех элементов из называется сейчас свободной бернсайдовой группой показателя (или периода) п…	Кузнецов, Александр Алексеевич	2005
Некоторые методы решения задачи минимаксного управления …	Тарасова, Виктория Валерьевна	2005
Нелокальные улучшения и методы возмущений в полиномиальных и других нелинейных задачах оптимального управления Следующее направление основано на применении методов нелинейного программирования к конечномерным аналогам задач оптимального управления, полученным с помощью частичной или полной дискретизации задачи по управлению и состоянию. Подход на основе полной дискретизации [127, 129, 209, 213] обстоятельно реализован в монографии Евтушенко Ю.Г. [127…	Булдаев, Александр Сергеевич	2005
Ньютоновские методы решения смешанных комплементарных задач Если для некоторой функции / : Rp —> R выполнено g(z) = f(z), 2£Г, то при выполнении определенных условий регулярности ограничений система ККТ дает необходимые условия первого порядка локальной оптимальности в задаче оптимизации f(z) —> min, 2 6 D = {z e Rp \| G(z) ^ 0…	Дарьина, Анна Николаевна	2005