Применение системы Sage для поиска алгебраической иммунности булевых функций и отображений
Алгебраическая иммунность как основное свойство булевых функций, характеризующих способность шифра противостоять алгебраическим атакам. Использование системы компьютерной алгебры Sage для автоматизации процессов нахождения числовых характеристик функции.
Подобные документы
Различные формы задания булевых функций. Переход от одной формы задания к другой. Построение и упрощение формул, задаваемых различными схемами. Нахождение кратчайших маршрутов для взвешенных графов с помощью алгоритма Форда–Беллмана и алгоритма Дейкстры.
курсовая работа, добавлен 18.10.2017Построение таблицы поведения автомата. Поиск системы булевых функций для возбуждения триггеров дискретного преобразователя информации. Преимущества, обеспечиваемые применением конечных автоматов. Составление схемы дискретного преобразователя информации.
курсовая работа, добавлен 18.11.2015Проведение исследования основных операций булевой алгебры. Получение практических навыков по преобразованию и упрощению булевых выражений методами непосредственных преобразований и карт Карно. Построение выражений в форме канонической суммы минтермов.
контрольная работа, добавлен 28.01.2020Анализ понятия характеристического полинома булевой функции, имеющего заданную поляризацию переменных. Исследование метода представления булевой функции полиномом Рида-Маллера (каноническим поляризованным полиномом) с помощью характеристического полинома.
статья, добавлен 12.05.2018Понятие векторной функции. Особенности нахождения предела непрерывности, производной и интеграла вектор-функции. Использование векторных функций в криволинейной системе координат. Характеристика приложения векторных функций в скалярном и векторном поле.
курсовая работа, добавлен 12.01.2021Основные определения булевой функции, понятие их истинности, эквивалентности. Получение простых импликант формул с малым числом переменных с использованием карт Карно. Множество булевых функций, заданное в базисе Жегалкина. Кванторы и логика предикатов.
курс лекций, добавлен 07.09.2014Изучение четности и нечетности функции. Анализ нахождения наименьшего положительного периода функций. Определение промежутков знакопостоянства. Возрастание и убывание функций. Нахождение точек экстремума. Характеристика алгоритма исследования функции.
презентация, добавлен 22.03.2021Исследование и логическое проектирование конечного частично определенного автомата - дискретного преобразователя информации. Построение графа, кодирование данных. Нахождение системы булевых функций для возбуждения триггеров. Составление логической схемы.
курсовая работа, добавлен 09.11.2012- 34. Задача выбора распределения, отражающего вероятностную семантику алгебраической байесовской сети
Рассмотрение различных подходов к конструированию распределения, задаваемого алгебраической байесовской сетью. Характеристика и особенности основных подходов к выбору распределения. Специфика алгоритма поиска распределения, случай циклической сети.
статья, добавлен 15.01.2019 Понятие экстремума, анализ теоремы о пределах функции. Знакомство с правилом нахождения минимальных и максимальных точек. Применение локальной формулы Тейлора. Характеристика экстремумов функций многих переменных. Основные признаки экстремума функции.
контрольная работа, добавлен 06.02.2012Понятие и предназначение функции алгебры логики, характеристика табличного, графического, координатного, числового и аналитического способа её задания. Специфика составления карты Карно с помощью функции алгебры логики, таблица истинности переменных.
реферат, добавлен 15.11.2017Рассмотрение теоретических основ алгебры. Теорема о разложении правильной рациональной дроби на сумму простейших дробей. Интегрирование целых рациональных функций. Различные способы нахождения и математического анализа неопределенного интеграла.
лекция, добавлен 17.01.2014Суть метода нахождения обратных функций. Основные пути построения таких обратных функций как логарифм, гиперболические и тригонометрические арксинус и арккосинус. Примеры построения обратных функций для гиперкомплексной числовой системы 4-го порядка.
статья, добавлен 29.01.2019Основные способы задания множеств. Анализ рефлексивных, симметричных и транзитивных бинарных отношений. Характеристика исследования ориентированных графов. Главные законы, определяющие свойства логических операций. Изучение элементарных булевых функций.
презентация, добавлен 06.09.2017- 40. Ряды Фурье
Члены тригонометрических рядов. Свойство системы тригонометрических функций. Ряд Тейлора. Особенности ряда Фурье четной и нечетной функции. Рабочие формулы для разложения функции в ряд Фурье. Применение программы MatLab для вычисления коэффициентов ряда.
контрольная работа, добавлен 23.04.2011 Способы задания множеств и бинарных отношений. Основные логические операции. Представление булевых функций. Понятия логики предикатов. Описание теории графов, конечных автоматов, языков и элементов кодирования. Расчет максимального потока в сетях.
учебное пособие, добавлен 13.01.2015Алгебра как часть вычислительного анализа и теории функций. Теория конечных групп подстановок. Представители Русской алгебраической школы. Научные исследований по математике Отто Шмидта, гипотеза о происхождении Земли. Труды по теории множеств Новикова.
реферат, добавлен 14.11.2014Число и сумма делителей данной цифры. Простые числа Мерсенна и их наибольшее известное значение. Определение совершенных и дружественных числовых выражений. Особенность формирования доказательства Евклида. Характеристика графиков и свойств функций.
курсовая работа, добавлен 06.05.2015Определение булевых функций. Замкнутые классы, теорема Поста. Моделирование релейно-контактных схем и сумматоров. Основные положения математической логики. Неформальное определение алгоритма. Конечные автоматы и некоторые классические алгоритмы.
учебное пособие, добавлен 30.07.2013Подходы к определению алгоритма и их эквивалентность. Основные понятия булевых функций, декартово произведение и степень произвольного множества. Теорема о совершенной ДНФ. Виды логических и формальных исчислений. Характеристика предикат и квантор.
контрольная работа, добавлен 22.02.2010Суть основного правила комбинаторики. Анализ булевой алгебры характеристических векторов и высказываний. Особенность дизъюнктивных и конъюнктивных нормальных форм. Функционально-полные системы функций. Главные параметры поиска многочлена Жегалкина.
курс лекций, добавлен 08.02.2015Сущность и значение ацикличности вторичной структуры алгебраической байесовской сети. Характеристика первичной и вторичной структуры алгебраической байесовской сети. Преобразование первичной структуры алгебраической байесовской сети к ацикличной.
статья, добавлен 15.01.2019- 48. Свойства функций
Характеристики алгебраических функций: монотонность, непрерывность, четность, выпуклость, ограниченность, наибольшее и наименьшее значение. Алгоритм описания свойств функций. Рассмотрение, графическое представление и описание свойств некоторых функций.
презентация, добавлен 17.12.2014 Классификация поточных шифров. Основные принципы построения криптосистем с открытым ключом. Разновидности симметричного шифра. Режимы работы блочного шифра. Применение одного из математических методов на примере шифра Цезаря и ассиметричного шифра.
курсовая работа, добавлен 17.04.2011Исследование метода приближенного вычисления предела максимального среднего для периодической функции, зависящей от времени и основных переменных, и дифференциального включения с постоянной правой частью. Техника опорных функций многозначных отображений.
статья, добавлен 31.05.2013