Применение предикции при параллельной обработке цепочек предикатов в регулярно-логических выражениях
Проблема выбора режима исполнения (последовательный или параллельный) при обработке цепочек предикатов в регулярно-логических выражениях. Описание сути регулярно-логических выражений, их известных применений; видов и состава цепочек предикатов.
Подобные документы
- 101. Описание массивов
Использование элемента массива в выражениях. Описание алгоритма нахождения наибольшего среди массивов. Пример программы без использования массивов. Группа элементов одного типа, объединенных под общим именем. Значение индекса в информатике, их создание.
презентация, добавлен 26.09.2020 Разработка информационных моделей обрабатываемых деталей, печей и "цепочек" термообработки материалов. Проектирование метода решения задач оптимального распределения плановых заданий между печами при минимизации затрат энергии и времени их выполнения.
автореферат, добавлен 01.09.2018Реализация информационных методов воздействия посредством совокупности средств массовой информации и глобальных сетей типа "Интернет", а также станциями голосовой дезинформации. Применение компьютерных вирусов, логических бомб и аппаратных закладок.
реферат, добавлен 05.07.2014Опыт и перспективы применения систем искусственного интеллекта для решения задач автоматизированного управления в нефтегазовой отрасли. Модели представления знаний (семантические сети, фреймы). Модель представления знаний на основе логики предикатов.
учебное пособие, добавлен 14.11.2013История создания и основные этапы развития языка программирования Пролог. Источники создания программы: логика предикатов 1-го порядка, теория рекурсивных функций, методы логического вывода. Сущность констант и переменных. Отличия от Visual Prolog.
реферат, добавлен 29.10.2013Исследование принципов проектирования индивидуальных сложно функциональных блоков. Особенность создания собственной библиотечной базы цифровых элементов. Изучение ряда методик для выбора определенного конструктивного метода построения топологии.
статья, добавлен 02.02.2019Связь логического программирования и языка Пролог. Принципы выбора формальной знаковой системы для записи компьютерных программ на основе абстрактного интерпретатора. Структура данных логических программ. Эффективность программирования на Прологе.
реферат, добавлен 26.02.2015Алгоритм умножения с ускорением. Разработка содержательной граф-схемы. Построение графов автоматов Мили и Мура. Получение логических выражений для функций возбуждения счетчика. Построение функциональной схемы управляющего микропрограммного автомата.
курсовая работа, добавлен 27.08.2012Устройство и принцип работы программируемого логического контроллера модели МКП-1. Наименование и краткое описание основных частей контроллера. Рабочий цикл и формальное описание алгоритма управления. Особенность примера составления логических уравнений.
курсовая работа, добавлен 18.01.2015Процесс создания банков кадастровой информации, их использование. Характеристика основных требований к ГИС и ЗИС при обработке кадастровой информации. Рассмотрение используемых пакетов прикладных программ. Главные типы данных, используемых в ГИС и ЗИС.
реферат, добавлен 24.12.2013Система счисления как система кодирования чисел, позволяющая выполнять операции кодирования и декодирования. Примеры применения различных систем счисления. Процедура перевода десятичных чисел в р-ную систему. Законы алгебры высказываний и предикатов.
реферат, добавлен 15.12.2010- 112. Информационные технологии организационного управления (корпоративные информационные технологии)
Корпоративное управление и создание корпоративных информационных систем. Соотношение между понятиями CSSP, ERP и стадиями жизненного цикла товара. Концепция логистических цепочек. Идея виртуального бизнеса. Основные достоинства систем "клиент-сервер".
лекция, добавлен 25.06.2013 Стратегии и средства поиска информации в глобальной сети Интернет. Принципы организации поисковых машин, их специализация. Использование ключевых слов и тематических каталогов. Функции и виды логических операторов. Применение языка запросов в браузерах.
реферат, добавлен 18.12.2014Применение программируемых логических устройств. Возможности конечного пользователя задавать конкретные операции с помощью процесса, который называется программированием структуры связей схемы. Организация синхронизации для триггеров различных типов.
статья, добавлен 08.12.2018Обзор сред визуального программирования. Классификация инструментальных средств. Применение визуального программирования при построении интерфейса приложения в Visual Studio Net. Инструменты, методики создания логических моделей данных и алгоритмов.
учебное пособие, добавлен 03.10.2017- 116. Представление базовых сущностей парадигмы предельных обобщений с помощью алгебропредикатных структур
Разработка метода формального представления базовых сущностей парадигмы предельных обобщений: тестов, орграфов и системопаттернов. Правила пересчета между доменами разного уровня общности, с использованием математического аппарата алгебры предикатов.
автореферат, добавлен 30.01.2016 Синхронизация в распределенных системах, ее значение, условия осуществления. Алгоритм синхронизации логических часов, его особенности и практическое применение. Алгоритмы взаимного исключения, понятие, виды, их характеристики. Неделимые транзакции.
реферат, добавлен 10.02.2009Основные элементы электронной таблицы (ячейка, ссылка), структура интерфейса, типы входных данных, функций и логических операторов. Область применения, возможности графического представления данных в таблицах MS Excel и их альтернатива - OpenOffice Calc.
курсовая работа, добавлен 21.04.2014Краткая информация о предприятии, его функциональная и организационная структура. Методы моделирования, построение моделей деятельности предприятия, диаграммы развертывания, событийных цепочек процессов. Анализ и оптимизация бизнес-процессов предприятия.
курсовая работа, добавлен 16.02.2016- 120. Интеллектуализация программного обеспечения по обработке пространственных данных на основе онтологий
Интеллектуализация программного обеспечения по обработке пространственных данных на основе онтологического подхода. Алгоритм внедрения онтологии в программное обеспечение по обработке пространственных данных, позволяющий их интегрировать из хранилищ.
статья, добавлен 29.07.2017 Знакомство с видами деятельности ООО "Гамма", этапы расчета налоговых вычетов. В. Лейбниц как основоположник математической логики. Анализ условных обозначений базовых логических элементов. Особенности применения алгебры высказываний в информатике.
курсовая работа, добавлен 05.05.2015Исследование разработанного алгоритма решения основных задач искусственного интеллекта, допускающих формализацию в исчислении предикатов, с помощью модификации обратного метода Маслова. Особенности муравьиной тактики применения данного алгоритма.
статья, добавлен 15.01.2019Изучение принципов разработки программных средств как логических совокупностей информации на носителях данных. Современные технологические требования к ПС. Описание структуры и разработка программного модуля. Языки программирования и отладка ПС.
курс лекций, добавлен 15.11.2012Характеристика мультиагентных систем на примере конкретной робототехнической системы. Анализ основных логических вычислений рассмотренной мультиагентной системы, которые выполняются при помощи нейронных сетей. Изучение задачи исследования местности.
статья, добавлен 29.07.2018Анализ тригонометрических алгоритмов CORDIC как цифрового решения для задач навигации в реальном времени. Применение алгоритма CORDIC в различных навигационных приложениях. Характеристика и схема итеративной архитектуры и развернутого CORDIC процессора.
статья, добавлен 26.06.2018