Реализация логики ветвящегося времени
Рассмотрение современного подхода к моделированию темпоральных рассуждений в интеллектуальных системах. Операции над временными ограничениями. Алгоритмы вывода для ветвящейся временной логики, построенной на основе качественной точечной модели времени.
Подобные документы
Рассмотрение проблемы самоадаптации программных систем. Сравнительная классификация подходов к программной адаптации и основные способы реализации адаптивных механизмов. Особенности применения функциональных комбинаторов и аппарата комбинаторной логики.
статья, добавлен 14.02.2022- 52. АТД. Контейнеры
Создание консольного приложения, состоящего из нескольких файлов в системе программирования Visual Studio. Реализация конструкторов, деструктора, операции ввода-вывода, операции присваивания. Реализация класса-итератора. Разработка тестирующей программы.
лабораторная работа, добавлен 10.08.2013 Обзор результатов авторов по проблеме верификации динамических свойств систем взаимодействующих интеллектуальных агентов. Анализ динамических свойств в терминах некоторых вариантов временной логики первого порядка. Агенты и многоагентные системы.
дипломная работа, добавлен 17.01.2018Исследование поведения объекта на основе его математической модели. Написание программы на языке программирования C#, вычисляющей распределение времени по девяти функциям. Программирование метода реализации семестровой модели развития компетенций.
курсовая работа, добавлен 24.03.2016Анализ исследований, связанных с обеспечением качественной передачи информационных потоков реального времени в беспроводной самоогранизующейся сети. Определение числа пакетов в информационном потоке реального времени, передаваемых с приемлемым качеством.
статья, добавлен 01.02.2019Рассмотрение истоков формальной логики и способов мышления: понятия, высказывания и умозаключения. Алгебра высказываний и логические функции. Логические выражения и таблицы истинности; правила преобразования выражений и основы устройства компьютера.
курсовая работа, добавлен 14.06.2013Описание реляционной модели данных. Использование null-значений вместо неизвестных данных. Парадоксальные следствия применения трехзначной логики. Уникальные атрибуты, используемые для идентификации кортежей. Операции, нарушающие ссылочную целостность.
учебное пособие, добавлен 16.03.2015Решение сложных интеллектуальных задач с помощью искусственных нейронных сетей. Автоматизация и гибридизация генетических алгоритмов аппарата нечеткой логики. Применения метода генетического программирования в селекции и репродукции новых пород деревьев.
статья, добавлен 18.01.2018Оптимизация выбора варианта распределения ресурсов для сокращения общего времени выполнения некоторого задания. Оценка длительности выполнения каждого действия, общего времени выполнения всех действий. Алгоритмы решения общей задачи распределения ресурса.
реферат, добавлен 14.06.2017Простой алгоритм вывода отрезка прямой линии. Преимущества и недостатки прямого вычисления. Обычный и несимметричный алгоритмы цифрового дифференциального анализатора для генерации векторов. Реализация алгоритма Брезенхема для вывода окружности, эллипса.
презентация, добавлен 28.08.2013Понятие и специфика структуры интеллектуальной системы с адаптивной машиной логического вывода. Предназначение и функционирование адаптивной машины логического вывод. Характеристика режима адаптации в интеллектуальных системах с адаптивной машиной.
статья, добавлен 16.01.2018Операционные системы реального времени - специальный класс программного обеспечения нижнего уровня, на базе которого разрабатываются так называемые системы реального времени (СРВ). Уровни приоритета и механизмы синхронизации. Прозрачная сетевая структура.
контрольная работа, добавлен 27.04.2020Общая структура пакета IsaGRAF. Реализация задач в отладчике на примере гирлянды ("бегущий огонёк"). Привязка переменных ввода-вывода к платам. Описание и реализация задачи "Светофор": если кнопка нажата, светофор работает по заданному циклу времени.
курсовая работа, добавлен 01.10.2017Оптимизация принятия решений в интеллектуальных системах, ориентированных на применение в проблемных и междисциплинарных областях. Рассмотрение интеллектуальных систем, основанных на тестовых методах распознавания образов, последовательность этапов.
статья, добавлен 19.01.2018Исследование подхода к моделированию графической системы на базе универсального и графического процессоров (CPU и GPU), работающих с общей памятью, с использованием понятия резерва производительности CPU. Особенности создания сцен виртуальной реальности.
статья, добавлен 27.11.2018Формирование умений оценивания модели у учащихся. Рассмотрение технологии применения метода "сквозных задач" при обучении моделированию. Определение обучения моделирования как метода научного познания, ориентированного на оценку достоверности модели.
статья, добавлен 19.11.2020Основные понятия математической логики. Примеры логических выражений. Использование дизъюнкции в логическом выражении. Повествовательное предложение, в отношении которого можно однозначно сказать, истинно оно или ложно. Обозначения истины или лжи.
контрольная работа, добавлен 18.12.2013Рассмотрение набора шаблонов, позволяющих эффективно решать ряд задач, возникающих при построении систем на уровне доступа к данным и уровне бизнес-логики. Этапы проектирования и разработки системы дистанционного обучения Competentum.Instructor.
статья, добавлен 08.12.2018Ядра и операционные системы реального времени. Основные свойства задач. Реализация механизмов управления процессами и потоками, возможность их взаимного сосуществования и взаимодействия. Преимущества циклического алгоритма. Синхронизация по времени.
курсовая работа, добавлен 26.08.2017- 70. Алгебра логики
Задачи алгебры логики как математического аппарата, ее связь с двоичным кодированием и основные законы. Особенности логических высказываний и формул. Порядок записи данных и команд в памяти компьютера и регистрах процессора. Сущность триггера и сумматора.
реферат, добавлен 22.02.2013 Математические модели и алгоритмы обработки пеленгационной информации в автоматических радиопеленгаторах (АРП), осуществление их программной реализации. Анализ и разделение задач, решаемых в АРП, на канальные и общеканальные, их ключевые особенности.
автореферат, добавлен 15.06.2018Основные алгоритмы интеллектуальных систем, их характеристики и условия применимости для задач оптимизации. Меметический алгоритм оптимизации, его этапы и компоненты. Описание культурного алгоритма, основанного на эволюционном программировании.
реферат, добавлен 12.12.2012Законодательные основы компьютерной безопасности. Создание, использование и распространение вредоносных программ для ЭВМ. Защита данных в сетях и системах сотовой связи. Основные понятия формальной логики. Сущность логических выражений и операций.
контрольная работа, добавлен 23.11.2010Обеспечение эффективности функционирования систем управления базами данных (СУБД) с позиции моделей и методов, предназначенных для оптимизации запросов. Синтез математической логики и прикладной теории алгоритмов. Эволюция методов оптимизации запросов.
статья, добавлен 22.03.2016Рассматривается подход к формированию ассоциативных темпоральных правил в базах знаний временных рядов, основанный на использовании нового класса темпоральных сетевых моделей (ТМПС). Рассматривается логико-алгебраический алгоритм к обучению ТМПС.
статья, добавлен 19.01.2018