Исследование и оптимизация условных систем переписывания на основе продукционно-логической модели
Рассмотрение алгебраической модели условной эквациональной теории, основанной на решетках. Обоснование локально-эквивалентных преобразований множества условных правил, оптимизация путем получения эквивалентной системы с минимальным набором правил.
Подобные документы
Общая характеристика программного продукта BPwin v 4.1. Метод SADT как совокупность правил и процедур, предназначенных для построения функциональной модели объекта какой-либо предметной области. Рассмотрение основных способов построения SADT-модели.
реферат, добавлен 11.04.2019Оценка уязвимости, защищенности и эластичности объектов информационной безопасности. Построение семантических связей сетей угроз. Идентификация и прогнозирование возможных атак. Оптимизация системы угрожающих факторов путем исключения несущественных.
статья, добавлен 27.04.2017Характеристика информационных систем кадрового учета предприятия. Обоснование и выбор состава автоматизируемых задач. Разработка информационно-логической модели базы данных. Анализ создания графического интерфейса. Тестирование и внедрение программы.
курсовая работа, добавлен 10.04.2017- 54. Моделирование некоторых простейших форм поведения: от условных рефлексов к индуктивной адаптации
Рассмотрение вопросов моделирования простейших форм адаптивного поведения на базе универсального мобильного миниробота. Предложение модели условно-рефлекторного поведения на базе стохастического автомата. Анализ организации взаимодействия между роботами.
доклад, добавлен 17.01.2018 Многокритериальная оптимизация и характеристика линейного программирования как направления математического программирования, изучающего методы решения экстремальных задач. Определение множества Парето, метод анализа иерархий и графический метод.
курсовая работа, добавлен 25.01.2015Становление системы сервиса на транспорте. Основные параметры качества обслуживания клиентов. Описание логической модели системы методологией SADT. Программная реализация модуля АРМ "Диспетчера". Информационные процессы в учете затрат на предприятии.
дипломная работа, добавлен 25.05.2012Множественные методы исследования систем. Моделирование и исследование природы сложных систем с помощью сетей Петри. Типовые звенья систем автоматического управления, правила эквивалентных преобразований структурных схем САУ. Алгебра логики; карты Карно.
курсовая работа, добавлен 20.12.2021- 58. Разработка модели информационной системы средствами CASE-технологиями (на примере ночного клуба)
Проектирования информационных систем и баз данных на основе анализа бизнес-процессов. Создание информационной системы по учету шоу-программ ночного клуба. Построение модели бизнес-процесса в нотации IDEF0 и модели базы данных с использованием ERWin.
курсовая работа, добавлен 27.11.2020 Анализ деятельности абонемента Хабаровской краевой научной библиотеки, информационных потоков и выявление недостатков существующей системы. Создание информационно-логической модели, проектирование форм, отчетов, таблиц и запросов базы данных системы.
курсовая работа, добавлен 23.04.2014Анализ и общая характеристика проблем предметной области, ее концептуальная модель. Разработка концепции и логической модели информационной системы: понятия, основные требования, модели поведения и структуры. Реализация модели в среде CASE-средства.
курсовая работа, добавлен 14.11.2010Разработка имитационной модели, основанной на теории массового обслуживания, которая поможет наиболее качественного рассчитать время и количество сотрудников, необходимых для процесса сборки готовых изделий. Моделирование процесса создания транзактов.
статья, добавлен 07.01.2016Назначение и методы проведения регулярного инжиниринга организационных, производственных, функциональных и информационных систем на предприятии. Изучение методов оценки схожести множества. Реализация методики в виде программно-аналитического комплекса.
научная работа, добавлен 14.12.2019Характеристика метода пчелиного роя для решения задач глобальной оптимизации. Обзор используемых программных платформ. Тестирование и исследование эффективности алгоритма и программного обеспечения. Технико-экономическое обоснование эффективности НИОКР.
дипломная работа, добавлен 26.06.2012Разработка информационной-логической модели системы поддержки принятия решения интеллектуальной системы оперативной диагностики технических систем на основе функционального моделирования процесса принятия решения о состоянии диагностируемого объекта.
статья, добавлен 17.08.2018Разработка аналитической модели оценки живучести сетевых информационных систем (СИС), имеющих сложную (гибридную) топологию и большую размерность на основе модели искусственной нейронной сети. Структура информационной системы оценки живучести СИС.
автореферат, добавлен 01.09.2018- 66. Формальное описание информационной системы для обеспечения многоконтурного управления предприятием
Рассмотрение модели информационной системы, которая ориентирована на достижение управленческого решения. Анализ особенностей формирования алгебраической системы управления предприятием. Изучение предиката уникального идентификатора потока данных.
статья, добавлен 30.04.2018 Особенность моделирования бизнес–процессов в нотациях IDEFO, DFD, IDF3. Создание проекта в ERWin. Изучение методологии IDEF1X. Создание логической и физической модели. Определение центров затрат функциональных блоков модели. Расчет стоимости модели.
курсовая работа, добавлен 29.03.2023Исследование процесса планирования производства в бетонно-смесительном цеху. Оптимизация формальной модели производства в бетонно-смесительном цеху. Описание концептуальной модели информационной базы. Разработка модуля мониторинга складских запасов.
дипломная работа, добавлен 18.05.2017Особенность улучшения характеристик системы MIMO, использующей линейное прекодирование. Анализ применения двухкритериальных прекодеров, построенных на совместном использовании критериев максимизации пропускной способности и помехоустойчивости системы.
статья, добавлен 06.11.2018Разработка информационно-логической структуры модели файлового обмена для ТОО "Караганда Связь Плюс". Реализация модели системы передачи информации, выбор программных и технических средств. Семейство протоколов обмена, интерфейсы и модемные установки.
дипломная работа, добавлен 05.05.2016Иерархические, сетевые, реляционные модели данных, принципы построения. Модель данных как модель логического уровня проектирования баз данных. Набор правил построения баз. Набор ограничений целостности данных, гарантирующая корректность используемых баз.
презентация, добавлен 21.02.2016Характеристика и организационная структура предприятия. Проектирование информационной системы средствами CASE-технологий, ее концептуальной, логической и физической модели, а также интерфейса программы. Экономическое обоснование разработки системы.
дипломная работа, добавлен 23.11.2016Интернет как важная площадка для бизнеса. Search engine optimization как комплекс мер по внутренней и внешней оптимизации, для поднятия позиций сайта в результатах выдачи поисковых систем по определенным запросам пользователей. Внешняя оптимизация.
статья, добавлен 24.07.2018Создание набора правил продукции и построение дерева, определяющего правила. Реализация работы экспертной системы с базой знаний. Ввод символьных атрибутов и прописание сценария обработки правил. Создание экспертной системы на основе нейронных сетей.
контрольная работа, добавлен 28.11.2012Характеристика существующей компьютерной техники на предприятии. Определение цели для создания и внедрения локально-вычислительной сети (ЛВС). Выбор сетевого программного обеспечения. Расчёт полной стоимости работ и сроков окупаемости внедрения проекта.
курсовая работа, добавлен 08.11.2011