Реконфигурация функционально-полных толерантных элементов
Анализ парирования отказов комбинационных схем, реализующих конфигурируемые логические блоки программируемых логических интегральных схем типа FPGA в функционально-полном толерантном базисе. Реконфигурация логики системы с целью ее восстановления.
Подобные документы
Основные определения булевой функции, понятие их истинности, эквивалентности. Получение простых импликант формул с малым числом переменных с использованием карт Карно. Множество булевых функций, заданное в базисе Жегалкина. Кванторы и логика предикатов.
курс лекций, добавлен 07.09.2014Изучение теории множеств, их включения и равенства. Характеристика математической логики и предела последовательности функций. Определения первообразных и неопределенных интегральных исчислений. Анализ векторных функций. Тригонометрическая система.
курс лекций, добавлен 29.05.2013Дифференциальное уравнение как соотношение между функциями и их производными в основе математического моделирования. Особенности уравнения в полных дифференциалах. Условие полного дифференциала (необходимый признак уравнения в полных дифференциалах).
реферат, добавлен 21.08.2017Логика как самостоятельная наука. История становления классической математической логики. Виды и направления в развитии неклассической логики. Учение о силлогизме. Становление неформальной логики. Основные разделы современной математической логики.
контрольная работа, добавлен 17.06.2013Оцінка ефективності явних обчислювальних схем числового розв’язку задачі Коші для звичайного диференціального рівняння. Рекомендації щодо ефективного застосування методу диференціально-тейлорівських перетворень для числового інтегрування рівнянь.
статья, добавлен 29.07.2016Изучение основ начертательной геометрии в непосредственной связи с основами технического рисунка, правила выполнения схем, элементов строительного и топографического черчения. Использование электронных вычислительных машин для решения графических задач.
учебное пособие, добавлен 27.09.2013Способ построения бикомпактных разностных схем четвертого порядка аппроксимации по пространственной переменной на минимальном (двухточечном) шаблоне для уравнений и систем уравнений гиперболического типа. Схема сквозного расчета разрывных решений.
автореферат, добавлен 25.07.2018Изучение основных понятий логики предикатов. Определение формулы логики предикатов. Кванторы и кванторные операции. Анализ особенностей применения логики предикатов к логико-математической практике. Аристотелева силлогистика и методы рассуждений.
курсовая работа, добавлен 18.05.2017Определение и анализ сущности комплементарной логики, которая создаётся путём синтеза экстенсиональной и интенсиональной логики. Характеристика особенностей интерпретации редукции волновой функции на основе принципа психофизического параллелизма.
статья, добавлен 25.12.2021- 85. Компактні різницеві схеми високого порядку точності для нелінійних звичайних диференціальних рівнянь
Побудова точних компактних різницевих схем розв’язування крайових задач для нелінійних звичайних диференціальних рівнянь. Розробка алгоритмічної реалізації точних компактних схем через відсічені компактні різницеві схеми довільного порядку точності.
автореферат, добавлен 14.09.2014 Общая характеристика методов решения задач на темы "переправы" и "фальшивый объект". Знакомство с основными особенностями решение логических задач. Характеристика принципов логических игр. Анализ задач на нахождение наименьшего количества предметов.
статья, добавлен 26.03.2019Исследование основных логических операций и их свойств. Алгебра высказываний. Проектирование и синтез дискретного автомата. Анализ контактной схемы и работы логического сумматора. Аналитическое выражение логической функции, описывающей работу схемы.
контрольная работа, добавлен 22.11.2015Рассмотрение методов исследования устойчивости разностных схем для линейных эволюционных уравнений в частных производных (гиперболического и параболического типов). Численное решение дифференциальных уравнений в частных производных параболического типа.
курс лекций, добавлен 29.11.2020Изложение основ начертательной геометрии в непосредственной связи с основами технического рисунка и черчения, а также основ машиностроительного черчения. Описание правил выполнения схем. Рассмотрение элементов строительного и топографического черчения.
учебное пособие, добавлен 19.08.2017Практическое решение логических статистических задач с применением закона случайных величин, дисперсии, среднеквадратических отклонений, закона распределения оцениваемого параметра. Построение многоугольников, полигонов и графиков по найденным величинам.
задача, добавлен 10.12.2014Знакомство с алгоритмами проведения арифметических и алгебраических операций, рассмотрение тригонометрических и гиперболических функций. Биплексные числовые системы как гиперкомплексные числовые системы второго порядка с единичным элементом в базисе.
статья, добавлен 29.01.2019Классификация дифференциальных уравнений в частных производных. Решение линейных дифференциальных уравнений второго порядка. Построение различных схем метода сеток в случае уравнений в частных производных зависит от типа уравнений, вида граничных условий.
доклад, добавлен 29.04.2021Ознакомление с задачами, решаемыми с помощью вспомогательных вариационных задач. Рассмотрение процесса решения задачи о критических оборотах вала. Исследование и анализ зависимости параметра квадратичной вариационной задачи от числа краевых условий.
статья, добавлен 26.04.2019Определение минимальной дизъюнктивной нормальной формы логической функции устройства. Таблица истинности функции. Минимизация функции алгебры логики. Задача определения простых импликант по методу Квайна-Маккласки. Синтез схемы для МДНФ в базисе Буля.
курсовая работа, добавлен 21.11.2010Исчисление высказываний. Свободные и связанные переменные. Дизъюнкты и нормальные формы. Анализ примеров использования метода резолюций в логике высказываний. Непротиворечивость аксиом. Аксиоматизация логики высказываний. Применение логических связок.
учебное пособие, добавлен 12.11.2017Методы моделирования параметров профильного резонатора типа Фабри–Перо в составе оптической линии. Математическая модель взаимодействия элементов многоканальной телекоммуникационной системы, которая учитывает технические параметры сетевых устройств.
автореферат, добавлен 04.02.2018- 97. Основы логики
Ознакомление с основными понятиями и методами формальной логики и применению их при построении умозаключений. Характеристика основных типичных ошибок в организации мыслительного процесса, в осуществлении системы процедур доказательства и опровержения.
методичка, добавлен 16.05.2017 - 98. Алгебра логики
Возникновение логики. Элементы математической логики. Операции над логическими функциями. Булевы функции. Преобразование выражений булевых функций. Нахождение исходного выражения по его значениям. Применение в вычислительной технике и информатике.
реферат, добавлен 14.07.2008 Рассмотрение интегральных формул для уравнений эллиптического типа первого порядка с постоянными коэффициентами, факторизуемыми оператором Гельмгольца в неограниченной области. Доказательство справедливости интегральной формулы в неограниченной области.
статья, добавлен 22.01.2018Изучение и характеристика закона функционирования сложных логических устройств, который записывается в виде алгебраического выражения. Рассмотрение содержания и понятия конституенты нуля, называемого макстермом. Ознакомление с таблицей истинности.
лекция, добавлен 15.11.2017