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

Код ВАК 01.01.09
Тема работы Автор Год
Операторы в полиномиальных представлениях булевых функций

Использование кодов Рида-Маллера для передачи изображений Марса американскими межпланетными станциями "Маринер" стимулировало широкие исследования этих кодов [26]. Однако все исследования проводились в направлении метрических свойств кодов, как подпространств. В обзоре [21] приведены более ста работ по этому направлению…

Винокуров, Сергей Федорович 2001
О поведении автоматов, оставляющих отметки в вершинах лабиринтов

Насыров, Азат Зуфарович 2001
О сложности и структуре минимальных самокорректирующихся контактных схем из некоторых классов

Одним из самых простых и естественных классов булевых функций является класс симметрических булевых функций. Первые результаты о сложности их реализации были получены Шенноном [44, 45]. В настоящее время о сложности реализации симметрических функций в основных классах управляющих систем известно следующее…

Валентинов, Евгений Валентинович 2001
Переговоры в динамических играх

Для того, чтобы данное решение безоговорочно соблюдалось всеми игроками, необходим арбитр и в аксиоматической схеме он является пассивным лицом, лишь обеспечивающим исполнение оптимального решения…

Забелин, Анатолий Анатольевич 2001
Построение вопросно-ответной системы с использованием метода математической формализации естественных языков

Пионерами в области автоматического распознавания текстов принято считать специалистов Кембриджской школы семантики [7], в частности, М. Мастермана. Английскими учеными уже в начале 60-х годов была построена целая серия семантических языков, наибольший интерес из них представляет поздняя версия. В языке (английском) было выделено 58 элементарных…

Корхов, Александр Вадимович 2001
Построение и исследование структуры управляющих силовых полей, обеспечивающих движения с заданными свойствами

В связи с вышесказанным изменились и требования, предъявляемые как к самим пучкам, так и к электроннооптическим системам, их порождающим. Для того, чтобы обеспечить требуемые режимы ускорения, фокусировки и транспортировки электронов и ионов необходимо создание специальных структур электромагнитных полей, обеспечивающих функционирование этих…

Ершов, Алексей Анатольевич 2001
Принцип максимума в задачах оптимального управления системами с распределенными параметрами с поточечными фазовыми ограничениями

Специфику задач оптимального управления в контексте общей теории оптимизации можно понять, рассмотрев аналогичные конечномерные задачи, когда вместо функции u(t) ищется вектор и = (ui,.,ujt) Е Пусть Ф(п) — вещественная функция и отыскивается значение и0 G ft С Rfc, для которого Ф(и) минимально: Ф(и°) < Ф(«) для и £ ft. Если и0 — внутренняя точка…

Сугак, Дмитрий Владимирович 2001
Решение задач квадратичного программирования с помощью эллипсоидальных аппроксимаций допустимого множества

Невыпуклое квадратичное программирование как область математического программирования переживает в настоящее время период активного развития. Обнаружена полиномиальная разрешимость отдельных классов задач квадратичного программирования. Для других классов разрабатывают варианты методов глобальной оптимизации, стремясь ускорить сходимость за счет…

Нечаева, Мария Станиславовна 2001
Свойства оптимальных расписаний и эффективные алгоритмы решения некоторых NP - трудных задач теории расписаний для одного прибора

Большинство задач теории расписаний являются NP - трудными, и реализация поиска их оптимального решения требует больших временных затрат. Поэтому исследование свойств оптимальных расписаний и построение на их основе эффективных приближенных алгоритмов, а также точных алгоритмов решения частных случаев задач являются актуальными проблемами теории…

Шульгина, Оксана Николаевна 2001
Свойства отображений, непредставимых частными классами конечных автоматов

Теорема 3. Непредставимо в качестве регулярного события событие S, состоящее из всех слов в непустом конечном алфавите X, длины которых являются точными квадратами…

Батраева, Инна Александровна 2001
Сложность алгоритмов сортировки на частично упорядоченных множествах

Характерным этапом этих масштабных исследований задачи сортировки можно считать монографию Кнута [5], в которой систематизировано множество имеющихся на тот момент подходов к этой задаче. Дальнейшие исследования задачи сортировки на линейных порядках развивались по следующим трем основным направлениям…

Никитин, Юрий Борисович 2001
Структурные и алгоритмические свойства мультипотоков и расширений конечных метрик

Мультипотоки и задачи о них. Разделы I-III посвящены изложению результатов о мультипотоках в неориентированных сетях, или неориентированных мультипотоках. Далее эпитет "неориентированный" мы будем опускать…

Карзанов, Александр Викторович 2001
Условия существования, алгоритмы построения и оценки комитетов для несовместных систем ограничений

Ю.И.Журавлевым предложен подход к исследованию методов распознавания образов с точки зрения алгебраической теории алгоритмов, в рамках которого им проанализированы стандартные классы алгоритмов распознавания и, в частности, классы комитетных алгоритмов [23]—[26]. Исследованию свойств комитетов, комитетных алгоритмов классификации и таксономии…

Рыбин, Алексей Игоревич 2001
D - устойчивость матриц и знакопостоянство полиномов

При построении модели часто возникает ситуация, когда при возмущении начальных данных модели или некоторых ее параметров нарушается устойчивость равновесных состояний модели, имевшая место до возмущения. Таким возмущением, к примеру, может служить погрешность в измерениях данных или неточность в выборе параметров модели. Вследствие этого модель…

Кановей, Григорий Владимирович 2000
Автоматная сложность вычисления формул

Существуют различные подходы к определению конечного автомата ([13]). При макроподходе, т.е. когда представляет интерес лишь внешнее поведение устройств, определение этого понятие может быть дано в виде совокупности функций, либо в виде конечного ориентированного графа, либо в алгебраической форме - в виде конечной алгебры с унарными операциями…

Кудрин, Александр Александрович 2000
Алгоритмы адаптации и контроля активного типа в линейных стохастических системах управления

Подобные представления применимы в широком круге научных исследований, включая медико-биологические, аэрокосмические, геофизические, сейсмологические, социально-экономические, химико-технологические, в области ядерной физики, распознавания образов и др. Они характерны и для большого числа технических задач. Часто модели, описывающие различные…

Цыганова, Юлия Владимировна 2000
Алгоритмы оптимизации в системах канонических гиперболических уравнений с частными производными

Методика исследования заключается в следующем. Прежде всего на двух произвольных допустимых управлениях конструируется формула приращения целевого функционала. Именно эта процедура формирует сопряженную задачу. Формула приращения рассматривается на такой вариации управления, которая гарантирует допустимость варьируемого управления при изменении…

Бурдуковская, Анна Валерьевна 2000
Асимптотические задачи теории разбиений

Якубович, Юрий Владимирович 2000
Бесповторные и слабоповторные булевы функции впредэлементарных базисах

Решение первой проблемы принадлежит Э.Посту1. На постановку второй проблемы повлияло то, что булевы функции являются общепризнанной моделью для проектирования электронных схем. В связи с этим, имеется большой практический интерес к нахождению термальных представлений булевых функций, имеющих наименьшую сложность. Эта проблема еще далека от…

Кириченко, Константин Дмитриевич 2000
Геометрическая модель некоторых физических взаимодействий на частично упорядоченных многообразиях

На пятимерном гладком многообразии М'5 с некоторым типом причинности группа преобразований координат включает как калибровочную группу, так и четырехмерную группу преобразований координат. Такая интерпретация калибровочных преобразований предлагалась ранее в теории Калуцы - Клейна, но в целом построенная в настоящей работе модель электромагнитных…

Крым, Виктор Револьтович 2000