Реконфигурация функционально-полных толерантных элементов
Анализ парирования отказов комбинационных схем, реализующих конфигурируемые логические блоки программируемых логических интегральных схем типа FPGA в функционально-полном толерантном базисе. Реконфигурация логики системы с целью ее восстановления.
Подобные документы
- 51. Алгебра логики
Сущность логики как науки о формах и способах мышления. Характеристика основных видов мышления: понятие, высказывание, умозаключение. Описание базовых логических операций: инверсия, дизъюнкция, конъюнкция. Порядок применения закона Моргана, его цель.
презентация, добавлен 06.12.2013 Основные понятия математической логики. Взаимосвязь логических операций и способы вычисления логических выражений. Таблица истинности логической формулы, которая выражает соответствие между всевозможными наборами значений переменных и значениями формулы.
контрольная работа, добавлен 09.01.2014Физическое устройство, реализующее одну из операций алгебры логики или простую логическую функцию. Схема, составленная из конечного числа логических элементов по определенным правилам. Практическое следствие принципа двойственности при записи выражений.
презентация, добавлен 21.11.2021Разработка подхода к ускоренному численному решению динамических задач большой размерности. Характеристика методов обоснования и тестирования вычислительных алгоритмов расчета декомпозированной задачи с применением современных компьютерных технологий.
автореферат, добавлен 25.07.2018- 55. Законы логики
Предмет и основные законы логики. Понятие как логическая форма. Логические действия с понятиями. Определение количества и качества суждений, их связка. Умозаключение как форма мысли, простой категорический силлогизм. Доказательство и опровержение.
контрольная работа, добавлен 25.03.2014 Диаграмма Эйлера-Венна как геометрическая схема, с помощью которой можно изобразить отношения между подмножествами для наглядного представления. Дизъюнкция - операция логики, отражающая употребление союза "или" в содержательных логических выводах.
контрольная работа, добавлен 08.01.2016Состояние элемента с зависимыми элементами, эволюционная траектория состояния системы. Векторы, характеризующие сроки функционирования и восстановления элемента. Наличие начальных условий, порождающих катастрофическую траекторию и разрушение системы.
статья, добавлен 17.03.2013Определение булевых функций. Замкнутые классы, теорема Поста. Моделирование релейно-контактных схем и сумматоров. Основные положения математической логики. Неформальное определение алгоритма. Конечные автоматы и некоторые классические алгоритмы.
учебное пособие, добавлен 30.07.2013Методи проектних процедур моделювання аналізу функцій багатошарових конструкцій підкладок. Реалізація на їхній основі інтегральних схем. Математичні моделі різного рівня адекватності, що забезпечують реалізацію ітераційного принципу проектування.
автореферат, добавлен 30.07.2014- 60. Алгебра логики
Логика – наука о формах и законах человеческой мысли, о законах доказательных рассуждений, изучающая методы доказательств и опровержений. Джордж Буль - создатель алгебры логики. Основные логические связки. Таблица истинности. Выполнимость формул.
презентация, добавлен 05.03.2012 Дослідження початково-крайової задачі для квазілінійних двовимірних рівнянь параболічного типу зі сталими коефіцієнтами. Застосування функцій Гріна для одержання вагових апріорних оцінок точності різницевих схем у випадку крайових умов третього роду.
автореферат, добавлен 29.10.2015Предмет математической логики. Недостатки формальной логики. Сущность понятия "высказывание". Сущность отрицания, конъюнкции. Алгебра логических значений. Главные особенности импликации. Эквивалентность как вид выражения операции. Блок управления памятью.
реферат, добавлен 21.10.2012Основное понятие булевой алгебры, характеристика и предназначение логических операций. Сущность операции отрицания, особенности и применение конъюнкции. Описание логического следования и логического равенства. Равносильные формулы алгебры логики.
презентация, добавлен 21.10.2018Обычные логические операции. Отрицание квантора общности и квантора существования. Свободная, кванторная и связанная переменные, двойственные кванторы. Формулы логики предикатов, равносильность формул. Выражение суждения в виде формулы логики предикатов.
презентация, добавлен 17.04.2013Системи числення та функції алгебри логіки. Переведення чисел з однієї позиційної системи в іншу. Булеві функції та метод Квайна-Мак-Класски. Логічні елементи та їх класифікація. Приклади мінімізації функцій і синтезу комбінаційних схем різної складності.
курсовая работа, добавлен 09.12.2014Суть основного правила комбинаторики. Анализ булевой алгебры характеристических векторов и высказываний. Особенность дизъюнктивных и конъюнктивных нормальных форм. Функционально-полные системы функций. Главные параметры поиска многочлена Жегалкина.
курс лекций, добавлен 08.02.2015Обґрунтування принципів побудови моделі транслятора на підставі результатів аналізу електромеханічних схем друкарських машин і систем їх проектування. Синтез, мінімізація за кількістю термів і дослідження даної моделі, її реалізація та апробація.
автореферат, добавлен 25.09.2013Обґрунтування принципів побудови моделі транслятора на підставі результатів аналізу електромеханічних схем друкарських машин і систем їх проектування. Синтез, мінімізація за кількістю термів і дослідження математичної моделі, її реалізація і апробація.
автореферат, добавлен 24.06.2014Множества, операции над ними. Соответствия и функции. Элементы общей алгебры. Различные виды алгебраических структур. Элементы математической логики. Логические функции. Булевы алгебры и теория множеств. Язык логики предикатов. Классы графов и их частей.
курс лекций, добавлен 07.04.2013Теоретические и психолого-педагогические основы изучения элементов математической логики в начальной школе. Высказывания и операции над ними. Числовые равенства, уравнения и неравенства, правильные и неправильные рассуждения, высказывания с кванторами.
курсовая работа, добавлен 06.11.2010Задание булевых функций от переменных с помощью таблицы истинности, определение формулы, виды важнейших равносильностей (законов) алгебры логики. Равносильные формулы, законы равносильности, логические уравнения. Разложение булевых функций по переменным.
лабораторная работа, добавлен 09.08.2010Основные положения алгебры логики и синтез логических функций. Давние традиции преподавания логики в русской школе. Минимизация полностью определённых и недоопределенных булевых функций. Карта Карно и законы суждений. Силлогистика и графический синтез.
статья, добавлен 27.04.2011Основные понятия интегральных уравнений. Понятие интегральных преобразований и их таблица, преобразование Фурье, Лапласа и Меллина и их применение к решению интегральных уравнений. Преобразование Фурье и её применение к решению некоторых интегральных урав
дипломная работа, добавлен 29.04.2024Сферы применения общего уравнения Риккати. Мультипликативный интеграл, вычисленный из матрицы коэффициентов как фундаментальное решение системы дифференциальных уравнений. Анализ условий, согласно которым матрица является функционально коммутативной.
статья, добавлен 03.03.2018Примеры решения логических, дедуктивных заданий: на нахождение истинного ответа, складывание и разрезание, восстановление исходного равенства, ребусы, соответствия и графы, комбинаторика, противоречия. Анализ и алгоритм нахождения правильных ответов.
реферат, добавлен 03.06.2014