Математические модели и алгоритмы функционирования продукционных баз знаний
Разработка и анализ структуры новой математической модели представления продукционных баз знаний. Обоснование алгоритмов проведения логического вывода и проверки баз на полноту и избыточность. Оценка корректности и эффективности разработанных алгоритмов.
Подобные документы
Анализ системы организации медицинской помощи лицам с сердечно-сосудистыми заболеваниями, содержащимся в учреждениях уголовно-исполнительной системы. Вычисление вектора приоритетов матрицы парных сравнений. Определение итоговых весовых коэффициентов.
статья, добавлен 09.06.2018Логические связи и отношения, лежащие в основе логического вывода, с использованием языка математики. Объединение множеств. Аксиома Дедекинда. Понятие супремума. Обратная функция. Геометрическая интерпретация. Монотонная последовательность чисел.
контрольная работа, добавлен 12.10.2013Рассмотрение особенностей проведения вычислительного эксперимента с помощью методов математического моделирования. Анализ понятия адекватности математической модели как свойства правильно отражать реальные процессы, протекающие в синтезируемом объекте.
статья, добавлен 14.03.2019Обзор методов решения задачи нахождения собственных значений симметричных матриц большой размерности. было проведено исследование с применением разработанного на языке C++ приложения, а также сделаны выводы о работе алгоритмов. Результаты экспериментов.
дипломная работа, добавлен 24.09.2021Методика составления и анализ математической модели маятника с двумя нелинейностями, ось подвеса которого можно перемещать по горизонтальной прямой. Кусочно-линейная и кусочно-постоянная аппроксимация нелинейности. Сопровождающая квадратичная задача.
контрольная работа, добавлен 26.05.2014Основные этапы математического моделирования. Общие понятия и определение модели и их классификация. Математическая модель в задачах оптимизации. Элементарные математические модели. Задача о нахождении связи между структурой и свойствами веществ.
реферат, добавлен 29.03.2010Примеры алгоритмов как некоторых процедур, однозначно приводящих к результату. Основные требования к алгоритмам. Алгоритмически неразрешимые задачи. Условия выполнения свойства сводимости. Три типа сложности задач. Четыре категории чисел по Колмогорову.
презентация, добавлен 17.04.2013Анализ поведения системы в случае динамических возмущений. Применение новых методов исследования для различных классов объектов. Построение математической модели нелинейных процессов. Создание методологии оценки робастности в нестационарных системах.
автореферат, добавлен 03.02.2018Основные понятия математической статистики и их использование в экспериментальных психологических исследованиях. Параметрические критерии проверки статистических гипотез. Характеристика однофакторного дисперсионного анализа для несвязанных выборок.
учебное пособие, добавлен 19.11.2016Разработка инструментов и методов имитационного моделирования автоматизированных обучающих систем. Разработка и применение математической модели для выбора форм учебных материалов и тестирования в зависимости от психологического типа обучаемых.
автореферат, добавлен 28.03.2018Изучение классификации моделей транспортных систем, проведенной на основе их функциональной роли. Оптимальное планирование транспортных сетей мегаполисов. Учет закономерностей развития сети, распределения нагрузок на ее участки. Имитационные модели.
статья, добавлен 17.12.2016Разработка и реализация математической модели температурного поля в осушаемом массиве польдерных систем (ПС). Постановка граничных условий и вычисление коэффициента теплопроводности. Приведение рабочих результатов численных расчетов и их интерпретация.
статья, добавлен 23.06.2018Задачи, приводящие к решению разрешающих уравнений, их применение. Решение разрешающих уравнений: метод определителей, обратной матрицы, градиента, разложения в ряд Тейлора, формулы приближенного дифференцирования. Аспекты разработки алгоритмов.
статья, добавлен 13.06.2015Переход от модели вход-выход к модели вход-состояние-выход. Переход от модели вход-состояние-выход к модели вход-выход. Математическая модель канонической управляемой формы. Нахождение матрицы преобразования. Замена базиса в пространстве состояний.
лабораторная работа, добавлен 02.03.2015Анализ и оценка предложенного метода для определения параметров модели для будущего прогноза, который базируется на основных характеристиках временных рядов. Его роль в упрощении задачи нахождения оптимальной модели на приемлемом уровне погрешности.
статья, добавлен 27.02.2019Формальное содержание и принципы разрешения задачи размещения. Критерий минимума суммарной длины соединений и определение их длины. Типы используемых алгоритмов: конструктивные, итерационные, непрерывно-дискретные, математического программирования.
лекция, добавлен 12.06.2016Классические шифры, маршрутная транспозиция. Диофантово управление первой степени, решение сравнения, криптосистема без передачи ключей. Криптосистема с открытым ключом, надежность системы. Криптографические алгоритмы защиты программного обеспечения.
учебное пособие, добавлен 10.08.2011Анализ видов регрессионных моделей, изучение алгоритмов оценки их точности. Математическое описание информационной системы оценки точности регрессионных моделей. Анализ программной реализации информационной системы оценки точности регрессионных моделей.
статья, добавлен 16.07.2018Понятие математической модели, ее основные свойства. Описание методов аппроксимации, применяемых для построения регрессионных математических моделей. Обзор основных функций системы MathCad. Алгоритмический анализ задачи и описание функционирования.
курсовая работа, добавлен 09.12.2013Обоснование необходимости создания математического аппарата для анализа, обработки и обобщения статистического материала из разных областей. Структуры косвенного доказательства. Схемы доказательства "от противного" на языке математической логики.
статья, добавлен 05.06.2018- 121. Математические методы и алгоритмы нелинейной фильтрации и оценивания в системах обработки информации
Разработка основ построения многомерных нелинейных полиномиальных фильтров, структурно представимых ядрами Гаммерштейна. Содержание методов фильтрации в условиях неопределенности. Оценка состояния и прогнозирования информационно-измерительных средств.
автореферат, добавлен 16.02.2018 Целенаправленность и управление в телекоммуникационных системах. Управление функциональными характеристиками систем. Типы решений разнокритериальных задач. Математические модели управляемых систем в частотной области. Марковская линейная модель.
презентация, добавлен 22.01.2016Сравнение двух парадигм в области методов статистического анализа данных. Отличие новой парадигмы математической статистики: переход от параметрических методов к непараметрическим, от числовых данных к нечисловым. Использование информационных технологий.
статья, добавлен 29.04.2017Анализ методов усложнения аналитического строения псевдослучайных последовательностей. Определение и построение математической модели нелинейной функции усложнения, представляемой на основе модулярной операции возведения в степень по простому модулю.
статья, добавлен 07.03.2019Разработка программного комплекса для моделирования модели на гибридном кластере. Получение зависимостей основных термодинамических величин двумерной модели Изинга от температуры. Доказательство правильности моделирования для разных размеров модели.
дипломная работа, добавлен 26.08.2016