Реконфигурация функционально-полных толерантных элементов
Анализ парирования отказов комбинационных схем, реализующих конфигурируемые логические блоки программируемых логических интегральных схем типа FPGA в функционально-полном толерантном базисе. Реконфигурация логики системы с целью ее восстановления.
Подобные документы
Определение ранга расширенной матрицы системы. Решение системы по формулам Крамера. Средства векторной алгебры. Разложение вектора в базисе по векторам. Уравнение прямой, проходящей через две точки. Определение знаков неравенств. Точки разрыва функции.
контрольная работа, добавлен 03.02.2017Диаграмма коммутационной схемы - одна из основных составляющих исходной информации системы автоматического проектирования. Гиперграф - обобщённый вид графа, в котором каждым ребром могут соединяться не только две вершины, но и любые их подмножества.
контрольная работа, добавлен 12.06.2016Основы теории множеств. Логические операции над высказываниями. Равносильные преобразования формул. Способы задания булевой функции. Метод карт Карно. Двоичное сложение и полином Жегалкина. Кванторные операции над одноместными и двуместными предикатами.
методичка, добавлен 24.09.2019Оценка влияния предварительных нагружений на риск возникновения внезапных механических отказов. Повышение качества проектирования и обеспечение его надежностной ориентации. Анализ распределения элементов Вейбулла. Расчет вероятности безотказной работы.
статья, добавлен 25.02.2016Изучение направлений при проектировании дискретных преобразователей. Исследование булевых функций от четырех аргументов, их минимизация и оценка сложности. Решение задач, построение библиотеки близких формул для булевых функций от четырех аргументов.
статья, добавлен 28.01.2019Алгоритм нахождения интегральных кривых однородных уравнений первого порядка. Исследование интегральных кривых уравнения. Описание решения ряда задач, характеризующих свойства однородных дифференциальных уравнений. Методы построения интегральных кривых.
дипломная работа, добавлен 21.04.2023Получение необходимых и достаточных условий справедливости интегрально-дифференциального неравенства. Особенности использования методов исследования вариационных задач, разработанные Пермским семинаром по функционально-дифференциальным уравнениям.
статья, добавлен 26.04.2019- 108. Булева алгебра
Математическая логика как современная форма формальной логики, применяющей математические методы для исследования своего предмета. Теоретические аспекты понятия "вывод". Калькуляция высказываний и алгебра логических значений, импликация и эквивалентность.
реферат, добавлен 30.10.2010 Изучение основ теории решения изобретательских алгебраических задач, выявление их функций и областей применения. Рассмотрение примеров решения параметрических уравнений и неравенств алгебраическим, аналитическим и функционально-графическим способами.
реферат, добавлен 02.02.2014- 110. Булева алгебра
Предмет математической логики. Калькуляция высказываний высказывание. Сущность эквивалентности конъюнкции. Алгебра логических значений. Выражение логической операции с помощью отрицания и импликации. Применение булевой алгебры в математической логике.
реферат, добавлен 18.09.2012 Элементы комбинаторики, перестановки, размещения, сочетания. Формульное задание элементарных функций алгебры логики. Принцип двойственности. Разложение булевой функции по переменным. Задачи и упражнения по алгебре логики. Минимизация булевых функций.
учебное пособие, добавлен 08.02.2015Разработка и обоснование новой математической модели динамической системы ФитцХью-Нагумо, которая учитывает эффект эредитарности или памяти. Принципы решения интегро-дифференциального уравнения со степенным ядром с помощью теории конечно-разностных схем.
статья, добавлен 11.03.2018Рассмотрение структуры типичной системы автоматического управления. Исследование основных правил эквивалентных преобразований. Нахождение необходимой передаточной функции. Применение принципа суперпозиции (наложения). Свертывание структурной схемы.
лекция, добавлен 23.07.2015Изучение математических моделей объектов, процессов и зависимостей, решаемых дискретной математикой. Анализ элементов теории множеств. Понятие и применение математической логики. Определение алгебраических операций. Теория графического представления.
учебное пособие, добавлен 19.12.2012- 115. Логика предикатов
Определение тождественно-истинного и тождественно-ложного предикатов. Основные операции логики высказываний. Построение языка логики первого порядка, значение используемых в ней символов. Аксиоматика и доказательство формул. Понятие формальной системы.
лекция, добавлен 07.08.2013 Функционально-графические методы решения алгебраических задач с параметрами и модулем. Приемы выполнения изображения на плоскости и их использование в решении задач с параметрами и модулем. Линейные и квадратные уравнения. Графики элементарных функций.
методичка, добавлен 26.09.2013Составление уравнений связи, измеренных длин функционально связанных с параметрами обратной геодезической задачи. Определение веса измеренных величин и значений сторон, вычисленных по приближенным координатам. Составление каталога уравненных координат.
курсовая работа, добавлен 04.12.2020Множества и основные операции над множествами. Упорядоченные пары и прямое произведение множеств. Основные законы и формулы комбинаторики. Логика высказываний: основные понятия, формулы, логические операции, составные высказывания и законы логики.
реферат, добавлен 07.11.2015Понятие и предназначение функции алгебры логики, характеристика табличного, графического, координатного, числового и аналитического способа её задания. Специфика составления карты Карно с помощью функции алгебры логики, таблица истинности переменных.
реферат, добавлен 15.11.2017Характеристика особенностей уравнений с параметрами. Ознакомление со способами нахождения абсциссы и построения "склеенных" гипербол. Анализ методов выделения в уравнении полных квадратов и разложения его на множители. Изучение неравенств с параметрами.
контрольная работа, добавлен 29.05.2017Основные понятия алгебры логики. Операции булевой алгебры. Построение таблиц истинности и булевых выражений. Законы и соотношения булевой алгебры. Преобразование и упрощение булевых выражений методами непосредственных преобразований и карт Карно.
курсовая работа, добавлен 26.06.2014Построение и сравнение линейной регрессионной и нейросетевой математических моделей зависимости органолептической оценки мясного сырья от основных физико-химических и функционально-технологических параметров. Особенности построения нейронных сетей.
статья, добавлен 28.04.2017Математическая логика как формальный математический аппарат, изучающий различные способы логических рассуждений. Рассмотрение теоремы дедукции. Анализ логических операций: конъюнкция, дизъюнкция, отрицание. Особенности проверки правильности рассуждений.
учебное пособие, добавлен 11.12.2012Сущность программы логицизма - определение основных, исходных понятий чистой математики в терминах логики, а её фундаментальные законы доказать как теоремы логики. Перевод на язык логики основных понятий арифметики. Первый известный логицист Г. Фреге.
статья, добавлен 02.10.2018Порядок и подходы к построению нового варианта логики аргументации. Принципы и анализ эффективности метода аналитических таблиц для предложенного варианта логики аргументации для обнаружения тавтологий, с использованием связи с теорией бирешеток.
статья, добавлен 17.01.2018