Реконфигурация функционально-полных толерантных элементов
Анализ парирования отказов комбинационных схем, реализующих конфигурируемые логические блоки программируемых логических интегральных схем типа FPGA в функционально-полном толерантном базисе. Реконфигурация логики системы с целью ее восстановления.
Подобные документы
Определение взаимодействия законов логики и правил алгебры. Основные понятия и термины двух наук – логики и алгебры. Примеры логических и алгебраических выражений. Математический анализ и математическая логика выдающегося ученого Огастесе де Моргана.
реферат, добавлен 23.12.2017Развитие математической логики. Предмет калькуляции высказываний и ее операции: отрицание и конъюнкция, дизъюнкция, импликация, эквивалентность. Логические формулы и логические элементы компьютера. Функции триггера, сумматора, переключательной схемы.
реферат, добавлен 21.04.2012Определение выхода при помощи текущего состояния входов как отличительная особенность комбинационных цифровых схем. Характеристика основных аксиом булевой алгебры. Исследование ключевых правил перемещения инверсии. Методика построения карты Карно.
презентация, добавлен 13.10.2016Получение условий разрешимости краевой задачи для функционально-дифференциального уравнения третьего порядка в случае резонанса. Ядро и образ оператора. Относительный коэффициент сюръективности оператора. Пространство абсолютно непрерывных функций.
статья, добавлен 26.04.2019- 30. Метод прогонки
Анализ методов конечных элементов и разностных схем, решающих системы линейных алгебраических уравнений. Характеристика построения матрицы с доминирующей главной диагональю. Обоснование формул в системе краевой задачи для трехточечного уравнения.
презентация, добавлен 30.10.2013 Стохастическая версия W-метода, который восходит к работам Азбелева. Теоремы, которые можно рассматривать как фундамент общей схемы анализа устойчивости линейных стохастических функционально-дифференциальных уравнений. Пример скалярного уравнения Ито.
статья, добавлен 26.04.2019Условия существования и единственности непрерывных решений начальной задачи Коши для стационарных систем функционально-разностных уравнений. Основные методы нахождения функциональных зависимостей. Понятия оператора монодромии и эволюционного оператора.
автореферат, добавлен 10.12.2013Характеристика матричных структурных схем как компактного графического представления классической структурной схемы многомерного объекта или системы управления. Изучение различных уровней представления матричных структурных схем и их основных функций.
лекция, добавлен 23.07.2015Рассмотрение синтеза схем с помощью генетических алгоритмов, в основе которых лежит принцип биологической эволюции и естественного отбора. Генетический алгоритм – эвристический алгоритм поиска, используемый для решения задач оптимизации и моделирования.
статья, добавлен 26.04.2019- 35. Оценка вероятностей реализации пятиэлементного сечения для стратегии параллельного восстановления
Анализ изменения поведения системы с помощью графа состояний. Решение системы дифференциальных уравнений Колмогорова-Чепмена. Расчет финальных вероятностей состояний системы и влияния интенсивностей восстановления элементов на ее работоспособность.
лабораторная работа, добавлен 20.05.2015 - 36. Логические дифференциальные операторы и уравнения над конечными полями и параллельные вычисления
Анализ тестопригодности и синтез интеллектуальных самотестируемых схем. Аппарат логического дифференциального исчисления. Методы событийно-управляемого анализа динамических цифровых систем. Задачи исследования чувствительности разрабатываемых систем.
статья, добавлен 18.01.2018 Изложение методов анализа и синтеза булевых выражений, примеров реализации комбинационных схем, построенных по словесному описанию алгоритма функционирования: булевы преобразования двоичных последовательностей и области применения этих преобразований.
учебное пособие, добавлен 15.04.2014Получение новых достаточных условий разрешимости краевых задач для различных классов квазилинейных функционально-дифференциальных уравнений с необратимой линейной частью. Проблема разрешимости операторного уравнения, характеристика используемых теорем.
автореферат, добавлен 26.01.2018Цели, факторы, интервалы регрессии. Начальное формирование и оптимизация уравнений. Практическое построение регрессионных моделей. Примеры построения моделей двумерной и четырехмерной функционально-факторной нелинейной регрессии программой "Тренды ФСП-1".
статья, добавлен 03.11.2015Представление функции алгебры логики в совершенной дизъюнктивной нормальной форме. Преобразования и минимизация в базисе, который состоит из функции Вебба. Порядок построения таблицы меток из исходных и первичных импликантов в виде двоичных кодов.
контрольная работа, добавлен 19.12.2018Методика решения интегральных уравнений типа свертки, их классификация. Краевые задачи типа Карлемана для полосы, задача Карлемана с дробно рациональным коэффициентом и с интегральным условием. Особенности сингулярных интегральных уравнений и их решение.
дипломная работа, добавлен 06.07.2014Новые признаки разрешимости квазилинейных краевых задач для абстрактных функционально-дифференциальных уравнений с необратимой линейной частью и систем квазилинейных операторных уравнений. Разрешимость задач для уравнения с отклоняющимся аргументом.
автореферат, добавлен 17.12.2017Занимательные задачи из области математики, физики, естествознания, задачи на взвешивание, задачи на нестандартное логическое мышление. Как научиться решать логические задачи. Основные приемы решения логических задач. Применение метода рассуждений.
презентация, добавлен 17.12.2015Основные понятия алгебраической логики. Проведение отрицания, конъюнкции, дизъюнкции, импликации и эквиваленции над высказываниями. Перевод текстов на язык предикатов, определение их истинности. Этапы формирования законов логики в трудах Аристотеля.
контрольная работа, добавлен 01.02.2012Способы задания множеств и бинарных отношений. Основные логические операции. Представление булевых функций. Понятия логики предикатов. Описание теории графов, конечных автоматов, языков и элементов кодирования. Расчет максимального потока в сетях.
учебное пособие, добавлен 13.01.2015Исследование возможности повышения технико-экономической эффективности технологических схем нефтепереработки на основе формализации знаний о предметной области и автоматизации задач структурного синтеза с использованием математического программирования.
статья, добавлен 06.05.2018- 47. Законы логики
Содержание и специфика основных законов логики. Свойства человеческой мысли вычленять вещи из окружающего мира и рассматривать их раздельно. Диалектические противоречия процесса познания и их выражения в форме формально-логических противоречий и гипотез.
реферат, добавлен 30.10.2010 - 48. Алгебра логики
Краткая справка возникновения логики как науки, методика и предмет ее исследования. Особые математические функции от логических аргументов. Преобразование выражений, состоящих из булевых функций, применение в вычислительной технике и информатике.
реферат, добавлен 18.06.2015 Понятие и сущность логики. Становления структурной лингвистики, её взаимодействие с математикой. Логические операции над высказываниями: отрицание, конъюнкция, дизъюнкция, импликация. Создание обучающего ресурса, проведение педагогического эксперимента.
дипломная работа, добавлен 20.12.2013Пример решения одной из основных канонических задач синтеза дискретных устройств, а именно, построения их с минимальным использованием логических элементов, которые выполняют функции формирования значений входных переменных и реализацию элементарных ФАЛ.
лекция, добавлен 15.11.2017