Применение предикции при параллельной обработке цепочек предикатов в регулярно-логических выражениях
Проблема выбора режима исполнения (последовательный или параллельный) при обработке цепочек предикатов в регулярно-логических выражениях. Описание сути регулярно-логических выражений, их известных применений; видов и состава цепочек предикатов.
Подобные документы
Основные понятия формальной логики. Сущность, значение логических выражений и логических операций. Построение таблиц истинности для логических функций. Характеристика законов логики, их особенности. Логическая реализация типовых устройств компьютера.
контрольная работа, добавлен 20.09.2015Понятие о логических элементах и построение таблиц истинности в Ms Excel. Применение программных кодов VBA, реализующих кнопочный ввод входных параметров логических элементов для проверки функционирования логических элементов и функциональных схем.
методичка, добавлен 29.01.2021- 3. Разработка элементов интеллектуальных систем с использованием логической модели представления знаний
Основы логического программирования на примере Visual Prolog 5.2. Описание родственных связей с помощью правил и предикатов. Поиск с возвратом и рекурсия. Программа, реализующая авиасправочник. Решение логических задач на соответствие и поиска решения.
контрольная работа, добавлен 06.08.2013 - 4. Представление бинарных предикатов информационной системы с помощью свободного предикатного параметра
Решение задачи представления предикатов в параметрической форме с использованием свободного предикатного параметра. Использование общих видов описываемых классов для более детального исследования специфики определенных отношений в информационной системе.
статья, добавлен 14.07.2016 Исследование возможностей нестандартных логических элементов, ускоряющих обработку данных в распределенных системах и потребляющих малую мощность. Анализ системы с совмещением вычислений и передачи данных. Выполнение логических сложений и отрицаний.
статья, добавлен 07.11.2018Аналитические выражения синтеза всех логических функций в базисе И–НЕ и их таблицы истинности. Схемы логических функций в базисе И–НЕ, перевод переключателя S1 в различные положения для получения на выходе первого элемента нужного значения функции.
лабораторная работа, добавлен 26.02.2024Алгебра логики как раздел математики, изучающий высказывания, рассматриваемые со стороны их логических значений и операций над ними. Основные законы логической алгебры и их область применения в информатике. Примеры логических выражений и связок.
лекция, добавлен 29.10.2013Сведения о системах счисления. Построение таблиц истинности для логических выражений. Правило перевода целых десятичных чисел в систему счисления. Свойства логических операций. Математические основы информатики. Моделирование как метод познания.
разработка урока, добавлен 04.04.2015Логический вентиль – своего рода атом, из которого состоят электронные узлы ЭВМ. Принцип работы вентильных и логических схем. Характеристика логических функций отрицания, инверсии, дизъюнкции и конъюнкции. Примеры использования логических функций.
лекция, добавлен 15.12.2010Основные принципы работы с логическими элементами и выполняемые ими функции. Возможность построения простых логических схем в специализированной программе Multisim. Способы задания логических функций. Аксиомы алгебры логики, таблица истинности и пр.
лабораторная работа, добавлен 13.12.2015Рассмотрение авторского метода верификации программ программируемых логических контроллеров, входящих в состав автоматизированных систем управления технологическими процессами. Система семантического анализа многомерных интервально-логических регуляторов.
статья, добавлен 16.07.2018- 12. ПЛМ Altera
Определение понятия и описание программируемых логических интегральных схем и программируемых логических матриц. История их появления, развития, а также основные производители современных вычислительных систем на основе ПЛИС и комплектующих к ним.
реферат, добавлен 01.03.2014 Изучение различных известных способов решения логических задач и эффективности их применения к задачам разного типа. Создание сайта, содержащего рекомендации по использованию разных способов в решении задач. Тестирующая программа по проверке знаний.
статья, добавлен 22.03.2019Использование программируемых логических контроллеров вместо устройств с релейно-контактными схемами. Применение программируемых логических контроллеров в сфере промышленной автоматизации разных технологических процессов на больших и малых предприятиях.
лабораторная работа, добавлен 09.04.2023Оценка по сложности известной и предложенных реализаций логического элемента программируемых логических интегральных схем типа FPGA. Применение дешифратора DC LUT для реализации логических функций по аппаратным затратам при некотором увеличении задержки.
статья, добавлен 26.04.2019Основные проблемы понимания текста в обработке естественных языков. Онтологии как основа создания семантической сети. Характеристика главных типов связей в онтологии. Анализ описания онтологических отношений средствами алгебры конечных предикатов.
контрольная работа, добавлен 23.12.2018Способ представления термов в логике предикатов первого порядка. Принципы алгоритма унификации, использующего данное представление. Разработка более производительного алгоритма унификации, чем алгоритм, предложенный Дж.Р. Вагин. Обзор его работы.
статья, добавлен 19.01.2018Меню системы моделирования Еlectronics Workbench 5.12. Основы проектирования электрических и электронных схем. Особенности работы логических элементов в среде Еlectronics Workbench 5.12. Схемотехника базовых логических элементов, работа d-триггера.
дипломная работа, добавлен 14.06.2017Моделирование логических элементов для реализации систем функций в конфигурируемых логических блоках ПЛИС типа FPGA на базе дешифратора – DC LUT и ДНФ – конфигурируемого логического элемента. Анализ системы схемотехнического моделирования NI Multisim 10.
статья, добавлен 26.04.2019Анализ сфер использования программируемых логических контроллеров. Структура работы программируемого логического контроллера, анализ его функций и правил выбора. Анализ программируемых логических контроллеров в процессе проектирования конкретного объекта.
реферат, добавлен 17.05.2020- 21. Оператор выбора
Запись логических выражений на языке Pascal и правила построения структурных операторов. Рассмотрение примеров использования пустого оператора. Реализация алгоритмической базовой конструкции выбора, организация ветвлений. Анализ выражения-селектора.
курсовая работа, добавлен 09.04.2013 Исследование особенностей организации системы ветвлений в языке программирования С++. Анализ базового уровня данной системы. Описание формата инструкции if. Правила построения логических выражений. Инструкция switch (структура множественного выбора).
статья, добавлен 21.01.2018Моделирование и тестирование программного обеспечения контроллеров с использованием среды ForSyDe, поддерживающей функциональное программирование. Особенности обработки дискретных сигналов. Тестирование программируемых логических интегральных схем.
статья, добавлен 14.07.2016Приобретение навыков программирования арифметико-логических операций командами микроконтроллера. Характеристика блок-схемы алгоритма и исходного кода программы. Влияние арифметических и логических указаний командной строки МК Intel 8051 на флаги.
лабораторная работа, добавлен 30.11.2016Подводятся итоги работы в области логических схем, программируемой логики, в том числе с использованием избыточных логических базисов элементов – функционально-полных толерантных элементов. Описаны способы повышения их надёжности, отказоустойчивости.
статья, добавлен 26.04.2019