Исследование и оптимизация условных систем переписывания на основе продукционно-логической модели
Рассмотрение алгебраической модели условной эквациональной теории, основанной на решетках. Обоснование локально-эквивалентных преобразований множества условных правил, оптимизация путем получения эквивалентной системы с минимальным набором правил.
Подобные документы
Рассмотрение основных элементов сетевой модели. Определение правил, необходимых для построения сетевых графиков. Технология работ, основные и промежуточные цели разработки и правила сетевого планирования. Основные способы построения сетевых графиков.
реферат, добавлен 26.03.2017Информационный поиск в патентной базе Федерального института промышленной собственности. Реферативная международная база данных Scopus. Российская реферативная база Elibrary. Поисковая патентная база Google Patent. Понятие модели и её оптимизация.
курсовая работа, добавлен 07.05.2015Возможности экспертных систем. Принципы работы дерева решений. Структура нейронных сетей, принципы проектирования с помощью пакета Matlab. Оптимизация функции с помощью генетических алгоритмов. Муравьиные алгоритмы поиска оптимального маршрута в графе.
учебное пособие, добавлен 29.02.2016Исследование процесса создания и результатов работы программной реализации имитационной модели образовательного процесса с автоматической генерацией тестов на основе динамических параметров. Распределение очередей заявок по обслуживающим устройствам.
статья, добавлен 04.12.2018Системы управления базами данных. Назначение и функции систем поиска библиографических ссылок. Особенности функционирования запросно-ответных систем. Жизненный цикл информационной системы, его стадии и модели. Использование и цели создания модели IDEF0.
реферат, добавлен 23.05.2013Системный анализ моделей информационной безопасности. Оценка эффективности комплексных систем защиты путем отбора факторов. Создание математической модели управления правами доступа. Экспертиза бинарными выражениями. Адаптирование и саморазвитие системы.
статья, добавлен 15.05.2017Анализ общей характеристики исследуемой организации и ее информационной архитектуры. Обоснование проектных решений по различным видам обеспечения. Выбор и обоснование методики расчёта экономической эффективности проекта оптимизации бизнес-процессов.
дипломная работа, добавлен 28.08.2020Технология разработки прикладных многоагентных систем на основе нейрологической модели, в которой существует два типа агентов. Инструментальные средства разработки многоагентных систем. Проблемно-ориентированная инструментальная программная среда.
статья, добавлен 19.01.2018Технология разработки программного обеспечения. Контекстная диаграмма и стоимостной анализ функциональной модели. Требования к разрабатываемому ПО. Разработка логической модели данных. Архитектура программной системы: структурная и функциональная схемы.
курсовая работа, добавлен 14.03.2016Процесс моделирования как метод получения и исследования моделей. Классификация объектов (систем) по их способности использовать информацию. Характеристика этапов создания модели. Понятие о жизненном цикле систем. Модели прогнозирования и интерполяции.
реферат, добавлен 21.10.2012Разработка базы данных компании по продаже недвижимости. Информация о договоре продажи. Построение локальной концептуальной модели данных. Преобразование концептуальной модели данных в логическую модель. Проверка модели с помощью правил нормализации.
курсовая работа, добавлен 27.10.2017Описание принципов работы локальной вычислительной сети с детерминированным доступом и обоснование модели кольца со вставными регистрами, функциональные зависимости основных характеристик. Разработка протокола на основе локально-приоритетного доступа.
курсовая работа, добавлен 17.03.2014Рассмотрение совокупности методов и средств, необходимых для представления цветовых пространств при работе с цветом и графикой в компьютерном дизайне. Цветовые модели видимого спектра, полученные путем смешивания в различных пропорциях трех цветов.
реферат, добавлен 22.09.2009Принципы построения параллельных вычислительных систем. Технология параллельного программирования на платформе .NET. Оптимизация вычислений при решении задач. Разработка электронного методического комплекса "Оптимизация распараллеливанием вычислений".
диссертация, добавлен 10.03.2017Анализ модели организации взаимодействия клиентов и распределенной базы данных. Обоснование выбора трехуровневой модели. Построение модели распределенной системы с двумя серверами приложений на основе сети Петри-Маркова, этапы выполнения действий.
статья, добавлен 06.07.2013Рассмотрение возможности использования известных методов машинного обучения для анализа отказов нефтегазового оборудования. Сущность модели предиктивной аналитики работоспособности компрессорного оборудования, основанной на анализе диагностических данных.
статья, добавлен 01.08.2022SystemStar как инструмент оценки стоимости на основе конструктивной модели затрат, созданной доктором Б. Бем и конструктивной модели инженерных систем, созданной Рикардо Валерди. Использование SystemStar для получения оценки стоимости проекта.
статья, добавлен 12.03.2019Оптимизация выбора варианта распределения ресурсов для сокращения общего времени выполнения некоторого задания. Оценка длительности выполнения каждого действия, общего времени выполнения всех действий. Алгоритмы решения общей задачи распределения ресурса.
реферат, добавлен 14.06.2017Компьютерное моделирование технического объекта. Применяемые численные методы в моделировании динамических систем. Алгоритмический анализ задачи и описание математической модели. Описание реализации модели в MathCad. Выводы по результатам исследований.
курсовая работа, добавлен 14.11.2013Формализация информационной системы автотранспорта и описание ее логической модели, которая является обобщением математической модели. Организация учета работы автотранспортных предприятий. Характеристика основных процедур отображения данных ИСУРА.
статья, добавлен 26.04.2017Извлечение ассоциативных правил для систем гибридного искусственного интеллекта. Обработка больших массивов значений. Изучение методов интеллектуального анализа нечетких данных: с предопределенными функциями принадлежности, алгоритмами на основе Apriori.
статья, добавлен 12.01.2018Рассмотрение основных принципов создания объемной модели. Характеристика основных понятий твердотельного геометрического моделирования в компас-3D. Определение элементов твердотельной геометрической модели. Исследование порядка работы при создании модели.
реферат, добавлен 11.02.2015Изучение логической архитектуры СУБД MySQL. Исследование способов оптимизации запросов. Анализ примеров запросов для оптимизации, оценка их эффективности. Обзор обеспечения производительности информационных систем при растущих объемах информации.
дипломная работа, добавлен 07.08.2018Составление математической логической аналитической модели системы автоматического управления температурой жидкости на выходе теплообменника-смесителя проточного типа переменного объема. Разработка структурной схемы данной модели и анализ результатов.
курсовая работа, добавлен 14.10.2012- 100. Мир без Интернета
Оценка системы множества компьютеров, соединенных друг с другом каналами связи и набора стандартных правил, по которым они обмениваются информацией. Изучение истории начала Интернета. Рассмотрение рунета – русского Интернета. Анализ блогеров и твиттера.
реферат, добавлен 20.02.2016