Темы авторефератов и диссертаций по математике из каталога библиотеки ФизМатХим. Дискретная математика и математическая кибернетика
Код ВАК 01.01.09Тема работы | Автор | Год |
---|---|---|
Методы нахождения бесповторных представлений не всюду определенных булевых функций
Как правило, представление функций термами над заданным базисом является неединственным. Поэтому, необходимы некоторые критерии, позволяющие выбрать один из них. Зачастую таким критерием является сложность. Под сложностью, в зависимости от решаемой задачи, может пониматься и количество функциональных символов в терме, и количество символов… |
Семичева, Наталия Леонидовна | 2008 |
Методы негладкого анализа в задачах идентификации и диагностики
Следует отметить, что в настоящее время не существует какого-то универсального метода или подхода, удобного и эффективного для решения всех возможных задач идентификации и диагностики. В связи с этим, несмотря на большое разнообразие средств для решения этих задач и обширный опыт их успешной практической реализации, интерес к данной тематике не… |
Зубова, Ольга Андреевна | 2008 |
Методы построения программных движений для управляемых систем обыкновенных дифференциальных уравнений
Значительный научный и практический интерес представляют вопросы, связанные с исследованием проблемы программных движений в классе кусочно-постоянных управлений. Этим исследованиям посвящены [2], [15], [16], [116]-[120… |
Демидова, Алла Михайловна | 2008 |
Некоторые задачи перечисления помеченных связных графов
Перечисление помеченных графов необходимо при непосредственном перечислении непомеченных графов с помощью леммы Бернсайда [26], а также используется для получения асимптотики непомеченных графов [105]. Результаты перечисления помеченных графов применяются для их случайной генерации и анализа эффективности алгоритмов… |
Воблый, Виталий Антониевич | 2008 |
Об автоматной аппроксимации реальных языков
В работе сравниваются различные подходы к задаче моделирования естественного языка - дискретные и вероятнстные, для каждого подхода предлагаются новые алгоритмы, описывается, в каких случаях лучше применять тот или иной подход… |
Холоденко, Александр Борисович | 2008 |
Обобщенные пирамиды Паскаля и комбинаторные формулы обращения
Классическими методами комбинаторного анализа являются, в частности, методы производящих функций и рекуррентных соотношений, геометрические и асимптотические методы. Можно указать две причины, по которым применение методов теории частично упорядоченных множеств позволяет исследовать комбинаторные объекты «изнутри». Во-первых, при данном подходе… |
Балагура, Анна Александровна | 2008 |
Обобщенный метод уровней с приложением к декомпозиции
В прямой декомпозиции отыскание минимального значения /* задачи V производится сначала на нижнем уровне: отыскивается минимум по одной группе переменных, например, по и £ U, при фиксированном значении х G X, т. е. решается задача… |
Соколов, Николай Александрович | 2008 |
О несуществовании двоичных кодов при различных условиях равномерной распределенности
Пусть у нас есть канал связи, на одном конце которого мы кодируем данные, а на другом конце — декодируем, и при передаче данных иногда случаются ошибки (шум, помехи). Задача состоит в том, чтобы придумать такой код, чтобы мы могли выявить и исправить ошибки. Такой код называется кодом, исправляющим ошибки. Наиболее известными являются коды… |
Ярыкина, Мария Сергеевна | 2008 |
О предельных свойствах случайных КНФ
В 1962 г. в работе [8] Ю. И. Журавлев доказал, что для любого г существует такая функция, что никакой локальный алгоритм индекса г не может распознать свойство вхождения конъюнкции хотя бы в одну минимальную ДНФ… |
Воробьев, Федор Юрьевич | 2008 |
О реализации функций алгебры логики схемами из некоторых классов, вложенными в гиперкубы
В настоящей работе рассматривается задача асимптотического синтеза, которая связана с реализацией ФАЛ с помощью СФЭ и BDD, вложенных в прямоугольные решетки ограниченной значности, разрабатываются методы решения этой задачи и исследуется поведение соответствующих функций Шеннона… |
Седелев, Олег Борисович | 2008 |
О сложности аддитивных вычислений
Если базис является конечным, то существует тривиальный переборный алгоритм решения этой задачи. Однако реально воспользоваться им чаще всего невозможно, так как с ростом числа элементов в схемах количество схем растет очень быстро и применение тривиального метода становится практически неосуществимым. На самом деле большая трудоемкость решения… |
Кочергин, Вадим Васильевич | 2008 |
Оценки длины и вычислительной сложности синхронизации конечных автоматов
Для математиков понятие синхронизируемости автоматов само по себе является естественным и интересным, однако оно также находит свое применение в различных практических приложениях. Например, синхронизация*применяется при производстве некоторых механизмов для сортировки, обработки и установки деталей определенной конструкции. Рассмотрим простой… |
Мартюгин, Павел Владимирович | 2008 |
Проблема динамической устойчивости соглашений в области охраны окружающей среды
В последние годы увеличился интерес к применению теоретико-игровых методов для исследования вопросов, связанных с многосторонними межгосударственными соглашениями, в том числе по проблеме охраны окружающей среды. Значительное внимание уделяется изучению принципов формирования соглашений, направленных на снижение уровня загрязнений, вопросам… |
Павлова, Юлия Николаевна | 2008 |
Разработка методов сокращения диагностической информации
Развитие цифровых систем происходит по определенным направлениям, основными из которых следует считать повышение сложности систем, комплексирование, микроминиатюризация… |
Миронов, Сергей Владимирович | 2008 |
Распределение функционалов от винеровского процесса с линейным сносом
Изучением таких функционалов, как yQ (t) w(t) [, M{t) = max m(t) = minw(x) yx (0 = M(t) - w(t) и у 2 (0 = w(t) - m(t), а также функционала, обратного к m(t), занимались Леви([22]) и Башелье. В частности, они доказали, что при фиксированном «Ъ> случайные величины y0(t), M(t), -m(t), yj(t) ny2(t) имеют одну и ту же функцию распределения с2 л ryx JL… |
Смирнова, Вера Андреевна | 2008 |
Свитчинговые методы построения совершенных у|!-значных кодов
В качестве основных задач теории кодирования выделяют разработку методов построения кодов, исследование свойств кодов, разработку эффективных методов кодирования и декодирования. Несмотря на активные исследования целого ряда ученых в области теории кодирования, остается открытым множество проблем, связанных с совершенными кодами. Например… |
Лось, Антон Васильевич | 2008 |
Сильно нелинейные булевы функции: бент-функции и их обобщения
Максимально нелинейной называется булева функция от т переменных (га — любое натуральное число) такая, что расстояние Хэмминга от данной функции до множества всех .аффинных функций является максимально возможным. В случае четного га это максимально возможное расстояние равно 2т~1 — В случае нечетного га точное значение максимального расстояния… |
Токарева, Наталья Николаевна | 2008 |
Синтез легкотестируемых схем при константных неисправностях на выходах элементов
Функция, реализуемая на выходе схемы при наличии в схеме неисправных элементов, называется функцией неисправности. Всякое множество Т входных наборов схемы S называется полным проверяющим тестом для этой схемы, если для любой функции неисправности д(х), не равной тождественно /(ж), в Т найдется хотя бы один набор а такой, что /(а) ф д(а… |
Бородина, Юлия Владиславовна | 2008 |
Синтез полиномов над экстремальными алгоритмами вычисления оценок
Понятие корректности алгоритма [14] возникло из практики проверки качества распознавания на независимой выборке. Алгоритм корректен для заданной выборки, если не делает на ней ошибок… |
Докукин, Александр Александрович | 2008 |
Сложность умножения в ассоциативных алгебрах
Одной из центральных задач алгебраической теории сложности является сложность умножения в алгебрах. Для этого сначала определяется понятие алгебры и фиксируется класс изучаемых алгебр. Затем уточняется понятие алгоритма и его сложности… |
Поспелов, Алексей Дмитриевич | 2008 |