Логические элементы с избыточным базисом
Подводятся итоги работы в области логических схем, программируемой логики, в том числе с использованием избыточных логических базисов элементов – функционально-полных толерантных элементов. Описаны способы повышения их надёжности, отказоустойчивости.
Подобные документы
- 76. Системный анализ, модели и методы управления процессами и объектами в сетях автозаправочных станций
Разработка моделей и методов для повышения эффективности сетей автозаправочных станций (АЗС). Особенности построения алгоритмов и информационно-логических схем, обеспечивающих принятие решений в системах управления сетями АЗС по неполной информации.
автореферат, добавлен 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.2015Web страница и 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