Исследование и оптимизация условных систем переписывания на основе продукционно-логической модели
Рассмотрение алгебраической модели условной эквациональной теории, основанной на решетках. Обоснование локально-эквивалентных преобразований множества условных правил, оптимизация путем получения эквивалентной системы с минимальным набором правил.
Подобные документы
Исследование вопросов реализации и верификации вероятностных многоагентных систем. Анализ и оптимизация продукционной модели с вероятностной почтовой подсистемой и вероятностным выбором действий как упрощенного варианта вероятностных многоагентных систем.
статья, добавлен 18.01.2018Исследование эффективности и технологичности программного обеспечения. Изучение современных способов экономии памяти в программе. Алгоритм уменьшения времени выполнения программной обработки данных. Рассмотрение основных правил оптимизации программ.
лекция, добавлен 02.04.2019Моделирование локально-вычислительных сетей на OPNETModeler 14.0. Сравнительный анализ производительности сети до и после расширения. Разработка методики для проведения статистических исследований в модели для маршрутизатора, коммутатора, пользователей.
статья, добавлен 20.01.2018Рассмотрение преимуществ использования специализированных программных модулей CAD-систем для решения задач проектирования. Список переменных модели, используемых в качестве параметров оптимизации. Возможность задания весового коэффициента параметра.
статья, добавлен 27.05.2018Понятие многослойной сетевой организации. Особенности проектирования современных интегрированных образовательных инновационных систем. Оптимизация функционирования многослойных сетевых организаций. Формирование сетей стратегического взаимодействия.
статья, добавлен 29.05.2017Методы теории расписаний для многостадийных систем. Обработка требований множества. Построение моделей двухуровневого программирования. Определение элементов матрицы в многостадийной системе. Оптимизационная иерархическая теоретико-игровая модель.
статья, добавлен 07.02.2013Основные понятия математического программирования. Элементы выпуклого анализа: множества, функции. Свойства задач линейного программирования. Теория двойственности в линейном программировании. Нелинейное программирование: задачи условной оптимизации.
контрольная работа, добавлен 20.08.2015Разработка функциональной модели предметной области. Построение UML диаграмм в среде Pacestar UML Diagrammer. Выбор программных средств разработки. Разработка логической и физической модели. Создание серверной и клиентской частей информационной системы.
контрольная работа, добавлен 01.02.2021Проблема пропусков, вызванных сбоями, отключениями систем передачи или сбора данных, неправильными настройками систем и другими внешними и внутренними факторами. Алгоритм восстановления пропусков в измеряемых сигналах на основе модели авторегрессии.
статья, добавлен 28.10.2018Рассмотрение особенностей модели принятия решений по выбору наилучшего варианта тура. Ознакомление с действиями пользователя в случае получения неулучшаемого множества Парето-решений. Анализ значения данной модели для разработки программного обеспечения.
статья, добавлен 12.01.2018Описание математической модели оптимизации системы информационной безопасности организации, основанной на теории графов и на теории вероятности. Практика функционирования автоматизированных информационных систем. Страхование информационных рисков.
статья, добавлен 26.04.2017Метод прогнозирования технического состояния автоматизированной системы управления – совокупность правил и приемов, используемых для определения запаса ресурса в заданный временной интервал. Исследование графа-дерева выбора методов прогнозирования.
статья, добавлен 25.04.2017Описание модели бизнеса по Остервальдеру и оценка ее параметров. Построение и изучение цепочки добавленной стоимости. Построение стратегической карты видоизмененной модели. Оценка возможностей оптимизации процессов и основные идеи реинжиниринга.
курсовая работа, добавлен 10.11.2017Создание функциональной и информационной модели деятельности предприятия. Выделение и реинжиниринг бизнес-процессов. Определение целей, задач и функций информационной системы. Проектирование физической и логической модели базы данных и прототипа системы.
курсовая работа, добавлен 24.05.2014Оценка аппроксимирующей способности нейронечеткой модели. Возможность построения систем поддержки принятия решений по оценке состояния объектов в различных предметных областях. Оценка классифицирующей способности формируемых нечетко-продукционных правил.
статья, добавлен 08.03.2019Современные методы решения задач многоцелевой оптимизации. Расчеты параметров сложных систем для целей проектирования и управления. Проведение испытаний системы проектирования слабосвязанных электротехнических систем с положительным техническим эффектом.
статья, добавлен 30.08.2016Основные задачи системы поддержки принятия решений. Разработка базы знаний на основе продукционных правил, семантической сети и фреймовой модели. Разработка приложения, которое будет осуществлять работу с базой знаний. Шаги построения сетевой модели.
курсовая работа, добавлен 23.04.2014Анализ процесса поуровневого спуска от абстрактной модели исходной системы к логической, а затем к физической модели программной системы. Общие требования к функциональному поведению проектируемой системы. Разработка диаграммы вариантов использования.
лабораторная работа, добавлен 28.10.2016Общее описание программного продукта, обоснование выбора используемого программного обеспечения. Нотация базовой модели, структура и реляционная модель. Создание модели информационной системы с помощью Run All Fusion Process Modeler 7, UML-модель.
курсовая работа, добавлен 05.06.2014Понятие о виртуальной памяти. Аппаратно-независимая оптимизация работы с памятью. Эвристика "рабочее множество процесса". Релизация модели "Рабочее множество". Виртуализация аппаратуры, программного обеспечения. Метод оценки Process working set (PWS).
дипломная работа, добавлен 31.01.2019Предварительный анализ и основная характеристика области проектирования. Составление проекта логической модели информационной системы. Особенность создания базы данных для концепции. Изучение проведения логической связи между атрибутами сущностей.
контрольная работа, добавлен 27.11.2015Построение имитационной модели производственного цеха в среде Arena. Поэтапное создание анимации модели производственного цеха. Исследование поведения реальных систем при помощи имитационного моделирования. Оптимизация производственного процесса.
статья, добавлен 22.05.2017Исследование разработки программного продукта в области торговли. Обоснование выбора концепции управления базами данных, языка программирования и операционной системы. Основная характеристика проектирования концептуальной, логической и физической модели.
курсовая работа, добавлен 11.10.2015Постановка задачи оптимизации. Обоснование и описание вычислительной процедуры: идея симлекс-метода. Решение задачи оптимизации на основе симплекс-таблиц, построение искусственного базиса. Анализ модели на чувствительность: статус и ценность ресурсов.
курсовая работа, добавлен 16.11.2010Определение термина "оптимизация", понятие математической модели. Особенности решения инженерных задач по оптимизации. Определение совокупности управляемых переменных. Понятие минимизации функции. Формулировка задач математического программирования.
презентация, добавлен 09.07.2015