Реализация логики ветвящегося времени
Рассмотрение современного подхода к моделированию темпоральных рассуждений в интеллектуальных системах. Операции над временными ограничениями. Алгоритмы вывода для ветвящейся временной логики, построенной на основе качественной точечной модели времени.
Подобные документы
Основные понятия алгебры логики, её применение в информатике. Решение задачи с расчетом стоимости стеклопакетов. Информационная и аналитическая модель задачи, технология решения задачи в MS Excel. Результаты компьютерного эксперимента и их анализ.
курсовая работа, добавлен 22.01.2015Определение теорий с умолчаниями и их расширений. Изложение формализации правдоподобных рассуждений типа ДСМ средствами логики умолчаний. Замена модификационного исчисления логикой умолчаний. Примеры теорий с умолчаниями. Связь с логическими программами.
статья, добавлен 18.01.2018Условие задачи, блок-схема алгоритма, исходный код и результаты программы в интегрированной среде программирования Turbo C. Организация ветвящегося процесса для решения систем уравнений средствами программирования с меньшими затратами усилий и времени.
лабораторная работа, добавлен 08.11.2012Анализ результатов конструктивного анализа целевых состояний объекта управления. Рассмотрение системы автоматического управления корпоративными вычислительными сетями. Этапы разработки алгоритма принятия решений для интеллектуальных систем управления.
статья, добавлен 02.08.2020- 105. Интелектуальная мультиагентная система сбора и анализа данных для моделей знаний предметных областей
Методы построения мультиагентной системы посредством логической оценки получаемых данных. Построение нейронной сети с нейронами, обладающими памятью и интегральной логикой. Реализация логики на основе генетического алгоритма совершенствования "генов".
статья, добавлен 13.01.2017 Пример графа для иллюстрации понятия "кратчайший путь". Граф с официальным циклом. Иллюстрация логики алгоритма Форда-Беллмана. Работа алгоритма Е. Дейкстры. Формализованная запись логики. Пути в бесконтурном графе. Использование алгоритма Флойда.
презентация, добавлен 24.09.2017Разработка программного комплекса, обеспечивающего возможность создания карт изообластей и построения в реальном времени на их основе трехмерных изображений ландшафтов. Проведение исследования работы алгоритмов на различных наборах исходных данных.
курсовая работа, добавлен 05.02.2016Анализ компьютерных систем регистрации биосигналов. Проектирование компьютерных биомедицинских систем реального времени. Системы регистрации электрокардиограмм. Прикладные программы низкочастотной фильтрации сигналов на основе спектрального подхода.
диссертация, добавлен 23.05.2018Обзор аппаратных и программных моделей реализации нейроморфных чипов. Возможности применения логического многозначного моделирования на переключательном уровне для схем пороговой логики. Тестирование реализаций пороговых функций в КМОП-технологиях.
статья, добавлен 26.03.2016Выбор инструментальных средств разработки автоматизированных систем на основе модели нечеткой логики для вычисления результирующей функции по заданным критериям. Анализ создания информационной системы на объектно-ориентированном языке программирования.
статья, добавлен 22.05.2017Операционные системы реального времени как компактные системы, основанные на микроядерной архитектуре. Функции прикладной части API-интерфейса KURT. Рассмотрение прикладного модуля, использующего ядро реального времени RTLinux в виде загружаемого модуля.
реферат, добавлен 06.03.2014UML-проектирование систем реального времени. Рассмотрение объектно-ориентированных методов, основаных на концепциях сокрытия информации, классов и наследования. Методы и нотация проектирования. Исследование систем и приложений реального времени.
курсовая работа, добавлен 06.03.2014Автоматизация объектов нефтегазовой отрасли. Сравнительный анализ качественных характеристик методов проектирования регуляторов. Выбор архитектуры и инфраструктуры АС. Модели и алгоритмы построения интеллектуальных систем автоматического управления.
статья, добавлен 16.12.2016Формализация в терминах цепи Маркова процесса функционирования системы MAP/PH/N с ошибками в обслуживании. Расчет распределения вероятностей состояний системы и времени пребывания в ней и алгоритмы для вычисления характеристик ее производительности.
автореферат, добавлен 19.08.2018Способ организации работы интеллектуальной системы на основе гибридизаций нескольких технологий интеллектуальных вычислений. Разработка моделей гибридной системы. Модели вычислений, используемые в технологии экспертных систем и нейронных сетей.
статья, добавлен 29.04.2017Опыт и перспективы применения систем искусственного интеллекта для решения задач автоматизированного управления в нефтегазовой отрасли. Модели представления знаний (семантические сети, фреймы). Модель представления знаний на основе логики предикатов.
учебное пособие, добавлен 14.11.2013Исследование гибридного подхода к моделированию состояния социально-экономической среды в условиях неопределенности на основе нечеткой имитационно-оптимизационной модели. Описание процесса продвижения товаров народного потребления на региональном рынке.
статья, добавлен 02.02.2019Постановка проблемы автоматизированного обучения и контроля знаний. Изучение метода оценки знаний обучаемого с учетом времени, затраченного на решение данного задания с использованием математического аппарата, теории нечетких множеств и нечеткой логики.
статья, добавлен 23.10.2010Синтез законов управления автомобилем на траектории: линеаризация, закон LQR-оптимизации, автоматический выбор параметров управления, построение TS-модель нечёткой логики. Компьютерное и имитационное моделирование. Проверка асимптотической устойчивости.
магистерская работа, добавлен 27.10.2017- 120. Шаблоны классов
Реализация шаблона класса-контейнера. Реализация конструкторов, деструктора, операции ввода-вывода. Создание консольного приложения, состоящего из нескольких файлов в системе программирования Visual Studio. Инстанация шаблона для стандартных типов данных.
лабораторная работа, добавлен 10.08.2013 Структурные алгоритмы построения статических и динамических нейронных сетей. Многослойный персептрон с временными задержками и связанные с ним нейросетевые архитектуры. Динамическая кластеризация и сети Кохонена. Обзор итерационных методов обучения сетей.
книга, добавлен 07.03.2014Построение системы прогнозирования, выявления и идентификации компьютерных атак в информационно-коммуникационных системах на базе методов нечеткой логики. Определение параметров, контролируемых системой для прогнозирования и идентификации атак в ИКС.
статья, добавлен 25.03.2016- 123. Временная модель
Изучение понятия временной диаграммы - изображения, представляющего определенный период времени и события, происходящие в этот период. Определение назначения фигуры веха-ромб. Анализ схемы синхронизированных главной и расширенной временных шкал.
контрольная работа, добавлен 13.04.2016 - 124. Разработка алгоритмов построения типовых бизнес-процессов на основе слабоструктурированных данных
Анализ современного состояния оценки эффективности деловых процессов организации. Построение информационной модели деловых процессов на базе системы электронного документооборота. Реализация алгоритмов деловых процессов на основе реляционной модели.
дипломная работа, добавлен 02.11.2015 Отображение условий динамики функционирования объекта управления на модель реального времени. Определение зависимости между параметрами динамики модели и проектируемой системы. Разработка модульной структуры модели системы в форме граф потока данных.
презентация, добавлен 26.08.2015