Логические элементы с избыточным базисом

Подводятся итоги работы в области логических схем, программируемой логики, в том числе с использованием избыточных логических базисов элементов – функционально-полных толерантных элементов. Описаны способы повышения их надёжности, отказоустойчивости.

Подобные документы

  • Разработка моделей и методов для повышения эффективности сетей автозаправочных станций (АЗС). Особенности построения алгоритмов и информационно-логических схем, обеспечивающих принятие решений в системах управления сетями АЗС по неполной информации.

    автореферат, добавлен 14.04.2018

  • Проектирование приложения, выводящего информацию о логических дисках: размер диска, свободное место, кластеры. Выведение номера тома, буфер, название. Последовательность смешения битовой маски всех дисков. Пример интерфейса программы и ее запуск.

    лабораторная работа, добавлен 19.07.2017

  • Получение класса унифицированных логических устройств ввода - интеракторов. Анализ моделей стандартных логических устройств ввода, выделение из них инвариантной части. Реализация интерактора средствами объектно-ориентированного программирования.

    статья, добавлен 24.08.2020

  • История появления программируемых логических контроллеров (PLC), их назначение, интеграция и функции в системах управления. Требования к контроллеру. Составные части, рабочий цикл PLC. Стандарт IEC, языки программирования. Требования техники безопасности.

    лекция, добавлен 14.05.2014

  • Рассмотрение логических элементов вычислительной техники. Принцип построения задач и функциональные персональных компьютеров. Базовые узлы стационарных электронно-вычислительных машин. Виды конфигураций и операционных систем компьютерных устройств.

    учебное пособие, добавлен 31.01.2016

  • Демонстрация метода реализации на Турбо Прологе - подхода к решению задач, записываемых с помощью логических переменных. Порядок выполнения программы в системе Visual Prolog 5.2. Составление логической системы уравнений и решение задачи о назначении.

    лабораторная работа, добавлен 15.12.2011

  • Функция сравнения пары элементов сортируемого массива. Процедура перестановки, меняющая местами пару элементов. Сортирующий алгоритм, который осуществляет сравнение и перестановку элементов до тех пор, пока все элементы множества не будут упорядочены.

    презентация, добавлен 15.05.2015

  • Описание и общие требования к системам реального времени. Поддержка отказоустойчивости вычислительных систем средствами операционных систем реального времени, их параметры. Анализ концепции построения и работы системы с рангом отказоустойчивости N-1.

    дипломная работа, добавлен 18.09.2018

  • Изучение различных известных способов решения логических задач и эффективности их применения к задачам разного типа. Создание сайта, содержащего рекомендации по использованию разных способов в решении задач. Тестирующая программа по проверке знаний.

    статья, добавлен 22.03.2019

  • Анализ инструментальных средств проектирования автоматизированных систем. Разработка функциональных и логических схем. Алгоритм работы программы. Концептуальная модель базы данных. Диаграммы вариантов использования модели интернет-магазина автозапчастей.

    курсовая работа, добавлен 31.12.2015

  • Web страница и WEB сайт. Гипертекст, гиперссылка их общий принцип работы. Поисковые запросы с использованием логических связок, аналогичных по смыслу союзам "и", "или" и частице "не" русского языка. Крупнейшие поисковые системы, ареал их распространения.

    презентация, добавлен 30.04.2014

  • Характеристика влияния взаимосвязей входных и выходных переменных на производительность многомерных интервально-логических регуляторов и сложность систем в целом. Главная особенность использования промежуточных или смешанных вариантов расстановки связей.

    статья, добавлен 17.07.2018

  • Способы получения избыточных измерений крутизны преобразования за счет использования формализованных уравнений. Способы их вывода при различных позициях коэффициентов накопления. Структура пространственно-временных связей и их позиция в данной структуре.

    статья, добавлен 28.09.2016

  • Однородная вычислительная среда (ОВС) как матрица операционных элементов, их структура, расположение входов и выходов. Последовательно-параллельные вычисления в ОВС, перевод чисел из двоично-кодированного вида в двоичный. Построение временных диаграмм.

    курсовая работа, добавлен 12.11.2010

  • Правила инверсии ортогональных конъюнкций дизъюнктивных нормальных форм (ДНФ), используемых в алгоритмах синтеза логических преобразователей автоматов в функционально полном толерантном (ФПТ) базисе. Бинарная переключательная функция мультиплексора.

    статья, добавлен 26.04.2019

  • Разработка программного приложения для вычисления одномерного массива, в котором беспорядочно вводятся элементы вещественного типа. Алгоритм реализации метода определения суммы и количества положительных элементов массива с использованием циклов.

    лабораторная работа, добавлен 04.12.2018

  • Значение логических переменных. Тест для неисправностей внутренней линии схем. Частная булева производная. Тестовые наборы для проверки неисправностей. Формула для вычисления булевой производной. Внутренние переменные схемы. Пути к контролируемому выходу.

    лабораторная работа, добавлен 04.05.2012

  • Микропроцессор как центральное устройство, выполняющее арифметические и логические операции, основные функции: программное управление, обработка данных путем выполнения арифметических и логических операций. Особенности компьютеров Power Macintosh G3.

    курсовая работа, добавлен 10.03.2013

  • Разработка метода оптимизации передачи трафика по сети с использованием заблокированных каналов связи. Обзор существующих решений в области построения логических сетевых топологий. Изучение результатов при использовании различных методов оптимизации.

    статья, добавлен 29.04.2018

  • Необходимость создания системы для автоматизированной разработки многомерных интервально-логических регуляторов. Анализ редакторов блоков интервализации и деинтервализации. Проведение исследования механизма семантического анализа программного кода.

    статья, добавлен 20.07.2018

  • Разработка информационного обеспечения САПР. Перечень полей базы данных, схем и свойства данных. Этапы формирования чертежа и создание пользовательского меню. Организация связи элементов чертежа с базой данных. Аппаратное и программное обеспечение.

    курсовая работа, добавлен 06.12.2013

  • Основы математической логики. Особенность комбинационных схем и конечных автоматов. Характеристика одноразрядного двоичного сумматора и дешифратора. Основные типы электронных цифровых элементов памяти. Анализ параллельных и последовательных регистров.

    контрольная работа, добавлен 27.06.2015

  • Обозначение логического отрицания чертой над аргументом. Определение функции таблицей истинности для двух переменных. Реализация функции Пирса логическим сложением с отрицанием. Выполнение логических операций в соответствии с приоритетами и их отражение.

    лабораторная работа, добавлен 10.12.2014

  • Формальная логика как наука, занимающая анализом суждений и доказательств, используемых человеком для обоснования нового знания, произведенного из установленных фактов. Построение таблиц истинности для логических функций. Связь с естественным языком.

    курсовая работа, добавлен 06.01.2016

  • Определение терминов "множество", "высказывание". Основные виды умозаключения: дедуктивный, индуктивный и аналогия. Основные методы решения логических задач, прием моделирования на полупрямой. Прием моделирования с помощью диаграмм (кругов) Эйлера-Венна.

    презентация, добавлен 05.04.2017

Работы в архивах красиво оформлены согласно требованиям ВУЗов и содержат рисунки, диаграммы, формулы и т.д.
PPT, PPTX и PDF-файлы представлены только в архивах.
Рекомендуем скачать работу и оценить ее, кликнув по соответствующей звездочке.