Повышение эффективности алгоритмов вывода для системы временных рассуждений
Рассмотрение современного подхода к моделированию темпоральных (временных) рассуждений в интеллектуальных системах. Определение значения разработки компьютерных систем временных рассуждений. Ознакомление с алгоритмом создания нового ограничения.
Подобные документы
Анализ понятия интеллектуальных информационных технологий - средства для разработки интеллектуальных систем. Ознакомление с историей создания перцептрона, который имитирует процессы человеческого мышления. Исследование структуры искусственного нейрона.
контрольная работа, добавлен 19.06.2015Построение логических рассуждений в программах искусственного интеллекта. Понятие прецедента как модуля знаний, который может быть считан программой. Изучение программы CHEF для демонстрации возможностей экспертной системы, базирующейся на прецедентах.
реферат, добавлен 26.08.2010Особенности формализации систем с помощью Q-схем. Особенности задач исследования вероятностно-временных характеристик процесса функционирования вычислительного центра. Алгоритм DAT генерации псевдослучайных чисел равномерно распределенных в интервале.
лабораторная работа, добавлен 05.09.2013- 54. Анализ данных для моделирования временных рядов с использованием надстройки Excel "Пакет анализа"
Сведения о табличном процессоре Excel XP. Особенности работы с формулами и функциями, система адресации. Элементы интерфейса и направления применения надстройки "Пакет анализа". Статистический анализ временных рядов и использование "Мастера диаграмм".
методичка, добавлен 10.05.2011 Логические языки, соотношение их свойств с методами рассуждений, поддерживающих типовые экспертные системы: формальные, PROLOG, MBASE. Исчисление высказываний и предикатов, поиск доказательства в системе резолюций, процедурная дедукция в системе PLANNER.
реферат, добавлен 26.08.2010Выбор формального способа представления знаний. Пример базы знаний для классификации животных. Недостатки собственного интерпретатора Prolog. Организация процесса формирования рассуждений. Объяснение необходимости предоставления затребованной информации.
лекция, добавлен 17.10.2013- 57. Реализация метода рассуждений по прецедентам в среде "Протеже" для решения задачи прогнозирования
Разработка онтологии с помощью программного средства Protege. Способы моделирования онтологий посредством редакторов Protege-Frames и ProtegeOWL. Создание прецедентов после создания иерархии классов и параметров. Составление списков экземпляров классов.
статья, добавлен 12.04.2019 Рассмотрение вариантов определения ценности информации в её финансовом эквиваленте. Подходы перехода от абстрактных рассуждений к реальной практике, которая опирается на теорию финансовой безопасности. Уровни защиты информации с ограниченным доступом.
статья, добавлен 14.07.2016Отличия моделей облачного использования от грид-систем. Повышение загруженности и производительности облачных систем за счет разработки эффективных алгоритмов планирования задач с учетом сетевой конкуренции, топологии системы и многопроцессорности узлов.
статья, добавлен 30.01.2018Анализ компьютерных систем регистрации биосигналов. Проектирование компьютерных биомедицинских систем реального времени. Системы регистрации электрокардиограмм. Прикладные программы низкочастотной фильтрации сигналов на основе спектрального подхода.
диссертация, добавлен 23.05.2018Определение вида типового звена системы по передаточной функции магнитного усилителя. Построение графиков временных характеристик звена. Подбор пассивного четырехполюсника. Определение степени соответствия синтезированной системы к требованиям качества.
курсовая работа, добавлен 18.07.2017Анализ факторов, влияющих на точность беззапросных траекторных измерений. Разработка методов, алгоритмов и разных программных приложений для синхронизации пространственно-разнесенных высокостабильных часов по сигналам спутниковых навигационных систем.
автореферат, добавлен 30.01.2018Подходы к моделированию интеллектуальных процессов. Квантовые нейронные системы. Математическое моделирование в бортовых интеллектуальных системах реального времени. Принципы формализации знаний и обработки информации. Организация вычислительной среды.
курс лекций, добавлен 08.02.2013Анализ результатов конструктивного анализа целевых состояний объекта управления. Рассмотрение системы автоматического управления корпоративными вычислительными сетями. Этапы разработки алгоритма принятия решений для интеллектуальных систем управления.
статья, добавлен 02.08.2020Разработка графического пользовательского интерфейса. Определение сущности формальных методов в программировании. Рассмотрение математических нотаций и рассуждений. Применение формальных методов для описания графического пользовательского интерфейса.
статья, добавлен 15.08.2020Исследование эффективности алгоритмов диспетчеризация и управления буферной памятью. Построение компактной подсистемы, моделирующей средствами цветных временных сетей Петри. Многоканальная буферная память коммутатора сети Ethernet с поддержкой QoS.
статья, добавлен 08.02.2022Изучение этапов метода производящих функций для вероятностно-временных графов для решения задачи представления знаний предметных областей компьютеризированных систем обучения. Рассмотрение исходного графа сети. Анализ организации учебного материала.
статья, добавлен 14.07.2016Разработка нового подхода к расчету временных верификаций для библиотек стандартных ячеек, основанного на средствах схемотехнического моделирования, учитывающего межсхемные и внутрисхемные технологические отклонения необходимые для временного анализа.
статья, добавлен 30.04.2018Разработка эффективных методов обеспечения длительной работоспособности систем. Расчёт вероятности безотказной работы технических устройств. Определение интенсивности появления ошибок на временных интервалах. Экспоненциальная модель надежности систем.
реферат, добавлен 08.01.2016Определение теорий с умолчаниями и их расширений. Изложение формализации правдоподобных рассуждений типа ДСМ средствами логики умолчаний. Замена модификационного исчисления логикой умолчаний. Примеры теорий с умолчаниями. Связь с логическими программами.
статья, добавлен 18.01.2018Разработка интеллектуальных технологий рассмотрения с позиций системного анализа задач измерения характеристик и моделирования предпочтений. Решение проблемы идентификации организационных систем и синтеза управлений процессами разработки проектов.
дипломная работа, добавлен 27.04.2017Разработка новых подходов к созданию современных интеллектуальных технологий повышения эффективности информационных систем. Архитектура компьютерных систем и сетей. Изучение эффективности ИС как технической системы и как средства обработки информации.
статья, добавлен 27.04.2017Понятие мультиагентных систем. Рассмотрение опыта их промышленной разработки, оценка трудоемкости. Управление мобильными ресурсами в реальном времени. Создание компьютерных систем нового поколения, использующих принципы самоорганизации и эволюции.
статья, добавлен 19.01.2018Понятие, внутренняя структура системы автоматического управления, ее функциональные компоненты. Регуляторы и задающие блоки. Экспериментальное определение временных параметров, их физическая реализуемость. Понятие частотных характеристик системы.
контрольная работа, добавлен 12.06.2015Рассмотрение программной среды Visual Simulator, предназначенной для визуализации расчетов и моделирования технологических процессов. Пример использования данной системы на этапах процесса каландрования шин. Анализ временных характеристик объекта.
статья, добавлен 21.02.2018