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

Код ВАК 01.01.09

Тема работы	Автор	Год
Модели и алгоритмы построения криволинейных скелетов пространственных форм …	Хромов, Денис Валерьевич	2012
Мультипликативная сложность умножения в алгебрах В первую очередь эти понятия помогли установить алгоритмическую неразрешимость некоторых проблем, таких как, например, проблема останова, проблема пустоты и десятая проблема Гильберта. Поскольку понятие рекурсивной функции строгое, то с помощью математической логики можно доказать, что решающая некоторую задачу функция не является рекурсивной, что…	Чокаев, Бекхан Вахаевич	2012
Неперечислительные задачи информационного поиска ЗИП могут иметь самую разную природу. Распространённый вид ЗИП — геометрические задачи информационного поиска. В таких задачах в качестве объектов, хранящихся в базах данных, а также в качестве запросов выступают геометрические фигуры. В качестве примера таких задач можно привести задачу о метрической близости2, задачу о доминировании3, задачу…	Пивоваров, Александр Павлович	2012
Нестандартная достижимость на ориентированных графах и сетях …	Ерусалимский, Яков Михайлович	2012
Об одной мере сложности неявных представлений функций многозначной логики По-видимому, впервые понятие неявной выразимости было введено А. В. Кузнецовым5, наряду с понятием параметрической выразимости, как одно из обобщений понятия выразимости функций формулами (суперпозициями…	Михайлец, Екатерина Викторовна	2012
Обратимые клеточные автоматы В теории клеточных автоматов важную роль играют исследования функционирований К А, в которых каждое из состояний может быть описано конечным образом. Здесь конечность описания понимается в том смысле, что только конечное число состояний конечных автоматов схемы находится в состоянии, отличном от некоторого специально выделенного состояния покоя…	Кучеренко, Игорь Викторович	2012
Оптимизационные и теоретико-игровые модели рынка электроэнергии …	Гусев, Антон Георгиевич	2012
О свойствах задач и алгоритмов разметки точечных конфигураций Таким образом, теория универсальных и локальных ограничений расширила область приложения идей алгебраического подхода до уровня общих задач построения алгоритмов преобразования информации…	Дорофеев, Николай Юрьевич	2012
О сложности реализации функций многозначной логики формулами специального вида Пусть к > 2. Положим = {0,1,.,/: — 1}. Обозначим через Рк множество всех функций &-значной логики. Формулы над конечными базисами, реализующие функции из Р;с, — один из основных модельных классов управляющих систем. Основными мерами сложности формул являются число символов переменных, входящих в формулу, и глубина; число символов переменных…	Трущин, Дмитрий Владимирович	2012
Оценка выпуклого тела на асферичность …	Мещерякова, Елена Александровна	2012
Подсчет гамильтоновых циклов на прямоугольных решетках, цилиндрах и торах методом матрицы переноса …	Караваев, Артем Михайлович	2012
Построение логических классификаторов при ограничениях на сложность определяющих их дизъюнктивных нормальных форм Построение множества всевозможных элементарных классификаторов, равно как и различных частей этого множества, связано с вычислительными трудностями переборного характера. В связи с этим важно получение эффективных алгоритмов построения наиболее простых множеств элементарных классификаторов обеспечивающих точную классификацию…	Максимов, Юрий Владимирович	2012
Скелетная сегментация и циркулярная морфология многоугольников Подход к достижению указанных целей основан на понятии срединной оси фигуры. Понятие срединной оси плоской фигуры (или скелета) было впервые введено в конце 1960-х годов Blum1. Он показал, что медиальное…	Домахина, Людмила Григорьевна	2012
Сложность задачи о предотвращении столкновений …	Снегова, Елена Александровна	2012
Условие устойчивости против иррационального поведения игроков В теории кооперативных дифференциальных игр появляется важное требование — требование динамической устойчивости (временной состоятельности или состоятельности во времени) выбранного в игре принципа оптимальности, в соответствии с которым находится решение игры. Динамическая устойчивость означет, что в процессе реализации решения принцип…	Белицкая, Анна Владимировна	2012
Частичное предвосхищение сверхсобытий автоматами Понятие автомата с предвосхищением появилось еще в начале развития теории автоматов1. Такой автомат использует в своей работе не только данные, уже поступившие на вход, но и некоторые значения, которые должны поступить в будущем. Используя эти значения, можно существенно ускорить работу устройства, а в случае, если предполагаемый символ не совпал…	Мастихина, Анна Антоновна	2012
Алгоритмы внутренних точек с квадратичными аппроксимациями Наиболее исследованы алгоритмы внутренних точек, основанные на идее стимулирования движения вдоль границ допустимой области, для задач линейного программирования. Известны также теоретические результаты по обоснованию алгоритмов внутренних точек этого типа для задач оптимизации с нелинейной целевой функцией при линейных ограничениях (в частности…	Пержабинский, Сергей Михайлович	2011
Аппроксимация длин синхронизирующих слов для конечных автоматов Введем теперь формальное определение синхронизирующих слов, играющих роль перезагрузочных последовательностей при моделировании систем конечными автоматами. Слово ги 6 X* в автомате ,е/ называется синхронизирующим, если его действие «перезагружает» автомат , т. е. переводит автомат в некоторое состояние вне зависимости от того состояния, в котором…	Берлинков, Михаил Владимирович	2011
Аппроксимация и оптимизация липшицевых функций Среди зарубежных ученых, внесших значительный вклад в развитие негладкого анализа и методов недифференцируемой оптимизации, были R. T. Rockafellar, F. Clarke, J.-P. Aubin, J.-P. Penot, E. Polak, J. Hiriart-Urruty, C. Lemarechal, B. Luderer, D. Pallaschke, К, C. Kiwiel, A. Shapiro, F. Giannessi, L. Thibault, J. -J. Moreau, J. Warga, R. Mifflin, J…	Прудников, Игорь Михайлович	2011
Вероятностные модели в анализе клиентских сред Хотя данный подход активно применяется уже более 10 лет, оценки скорости сходимости ЕМ-алгоритма именно для РЬБА до сих пор не были получены. Кроме того, оставались открытыми вопросы формирования начальных приближений и влияния разреженности профилей на качество решения и скорость сходимости Е'М-алгоритма. Получение ответов на эти вопросы является…	Лексин, Василий Алексеевич	2011