Реконфигурация функционально-полных толерантных элементов
Анализ парирования отказов комбинационных схем, реализующих конфигурируемые логические блоки программируемых логических интегральных схем типа FPGA в функционально-полном толерантном базисе. Реконфигурация логики системы с целью ее восстановления.
Подобные документы
Основные элементы алгебры логики. Характеристика синтеза логических схем на основе программы National Instruments и NI ELVIS II. Анализ комбинационных и последовательностных устройств. Представление логических функций математическими выражениями.
лабораторная работа, добавлен 21.11.2017Ознакомление со значениями переменных в булевой алгебре. Характеристика математического аппарата описания комбинационных схем. Рассмотрение диаграмм Вейча с различными контурами. Исследование последовательности этапов синтеза комбинационных схем.
контрольная работа, добавлен 24.04.2017Изучение методов проектирования комбинационных схем, определение их сложности и быстродействия. Операторные представления функции, которые могут быть реализованы на элементах, заданных в таблице. Построение принципиальных схем для операторных форм.
лекция, добавлен 08.09.2013Разработка общих схем решения задач математического моделирования функционально избыточных дискретных систем. Принципы и подходы к реализации разработанных методов на примере построения математической модели функционально избыточной программной системы.
автореферат, добавлен 15.02.2018Построение таблицы истинности. СДНФ и СКНФ. Применение метод Квайна - Мак-Класки и метод Петрика, карт Карно. Факторизация и декомпозиция. Использование методов минимизации булевых функций с дальнейшим построением комбинационных схем на их основе.
курсовая работа, добавлен 03.01.2022Понятие и характерные свойства функционально полных систем булевых функций как совокупности таких функций (f1, f2,… fk), что произвольная булева функция f может быть записана в виде формулы через функции этой совокупности. Принцип ее двойственности.
реферат, добавлен 30.11.2014История возникновения математической логики. Основное содержание, формулы, элементы, символы. Таблицы истинности, логические функции, основные логические операции. Законы логики и упрощение логических выражений. Решения задач по математической логике.
реферат, добавлен 06.06.2012Понятия алгебры логики: конъюнкция, дизъюнкция, инверсия, импликация, эквивалентность. Двоичные операции с цифровыми сигналами. Классификация электронных транзисторных физических реализаций логических элементов. Комбинационные логические устройства.
курсовая работа, добавлен 15.09.2017Система двух функционально-дифференциальных уравнений общего вида. Достаточные условия разрешимости периодической краевой задачи для этой системы в случае резонанса. Периодическая краевая задача для системы функционально-дифференциальных уравнений.
статья, добавлен 26.04.2019Общая характеристика логических переключательных функций, построение их в таблицу истинности, описание и примеры создания стандартных видов функций, изучение основных принципов их минимизации и построения схем в различных базисах логических элементов.
реферат, добавлен 24.01.2014Рассмотрение логических или нечисловых задач, которые составляют обширный класс нестандартных задач. Анализ разных способов решения логических задач. Особенности методов рассуждений, таблиц, графов, блок-схем, бильярда, метода с помощью кругов Эйлера.
статья, добавлен 25.02.2019Анализ роли человека в создании машин, которые умеют решать логические задачи. Характеристика предмета, целей и задач математической логики. Алгебра высказываний как раздел математической логики, в котором изучаются логические операции над высказываниями.
реферат, добавлен 02.11.2015Определение булевой алгебры (алгебры логики, алгебры суждений) – раздела математики, в котором изучаются логические операции над высказываниями. Характеристика логических операций: отрицания, конъюнкции, дизъюнкции, импликации, а также эквиваленции.
презентация, добавлен 06.02.2020Рассмотрение основных свойств функций алгебры логики. Базис и основные законы булевых функций. Реализация сочетательного закона при использовании логической функции И для трех переменных. Конъюнктивная и дизъюнктивная формы закона поглощения переменных.
лекция, добавлен 15.11.2017Переменные и функции алгебры логики, обзор ее основных теорем о положений. Реализация импульсно-потенциальных логических элементов Троичные коды и система счисления. Логические элементы дискретной автоматики. Принцип двойственности (правило де Моргана).
лекция, добавлен 22.10.2013Параметри другого роду частково зрівноважених блок-схем, побудованих за допомогою компактних лінійок задля упорядкування класифікації частково зрівноважених блок-схем. Алгоритмічно-програмні засоби генерації блок-схем на базі математичного забезпечення.
автореферат, добавлен 24.02.2014Определение понятия высказывания. Изучение логических операций и их таблиц истинности. Описание формул логики высказываний, а также их равносильности. Анализ заколов логики высказываний. Описание аксиоматического метода. Примеры решения логических задач.
реферат, добавлен 28.11.2016Исследование варианта структурной схемы автомата Мура с памятью на двух регистрах с парафазной связью. Функциональная реализация автоматов управления на программируемых логических интегральных схемах, оценка преимуществ и недостатков данного метода.
лекция, добавлен 22.10.2013Определение линейной алгебры и ее основных свойств. Описание формирования базисов из логических переменных. Характеристика процесса логического синтеза двузначных и многозначных цифровых структур в линейной алгебре. Пример разложения логических функций.
статья, добавлен 29.07.2017Алгебра логики как математическая основа преобразования логических функций. Основные свойства конъюнкции, дизъюнкции и отрицания. Методы составления таблицы истинности для импликации и сложения по модулю 2 совершенной дизъюнктивной нормальной формы.
курсовая работа, добавлен 29.04.2014Объяснение работы быстрого преобразования Фурье и исследование специфики реализации на программируемых логических интегральных схемах. Особенности и принципы его реализации реализуется в основном с помощью цифровой программной обработки сигналов.
статья, добавлен 10.08.2018- 22. Алгебра логики
Раздел математической логики, в котором изучаются логические операции над высказываниями. Аксиома - исходное положение теории, принимаемое в рамках данной теории истинным без требования доказательства. Логические операции и математические выражения.
презентация, добавлен 12.03.2015 Алгебра логики или булева алгебра (по имени английского математика Джона Буля) как математическая основа цифровой электроники и вычислительной техники. Сложные функции алгебры логики. Результаты экспериментального исследования логического элемента.
практическая работа, добавлен 02.08.2013Логика как самостоятельная наука. Идея построения логики на математической основе. Основные объекты математической логики, высказывания, логическая процедура и правильность. Отделение правильных схем рассуждения от неправильных и систематизация первых.
презентация, добавлен 17.04.2013Определение логических отношений между понятиями и выражение этих отношений с помощью круговых схем. Объединенная классификация суждений, изображение отношений между терминами с помощью кругов Эйлера, установление распределенности субъекта и предиката.
задача, добавлен 12.09.2010