Программа верификации вероятностных многоагентных систем
Исследование программной системы, предназначенной для моделирования и верификации вероятностных многоагентных систем. Вероятностные темпоральные логики ветвящегося и линейного времени. Алгоритм верификации полиномиальной сложности. Язык программ агентов.
Подобные документы
Разработка архитектуры программного комплекса "лабиринт агентов" в двумерной среде. Алгоритм индивидуальной базы знаний. Интеллектуальные системы принятия решений и управления. Модель оценки надежности и качества разработанного программного обеспечения.
дипломная работа, добавлен 14.12.2019MatLab (Matrix Labotary) и ее роль в обработке массивов данных (матриц и векторов). Понятие Simulink как пакета моделирования динамических систем. Дополнительные пакеты прикладных программ и характеристика проблем проектирования энергетических систем.
контрольная работа, добавлен 06.03.2015Анализ существующих систем документооборота. Обоснование выбора средств проектирования и реализации программной системы. Проектирование и реализация инфологической модели программы электронного документооборота. План тестирования программной системы.
курсовая работа, добавлен 11.06.2014Основные подходы к построению математических моделей процессов функционирования реальной системы. Применение схем детерминированных вероятностных автоматов для разработки методов проектирования дискретных систем. Математическое понятие Р-автомата.
контрольная работа, добавлен 08.11.2012Вероятность безотказного выполнения программ. Характеристики, определяющие надежность функционирования программного обеспечения. Классификация моделей надежности и их характеристика. Методические указания по выполнению расчета вероятностных показателей.
реферат, добавлен 16.12.2013Архитектуры операционных систем реального времени. Организация дискового пространства. Комплекс программ, обеспечивающий управление ресурсами аппаратного комплекса (вычислительной системы) и процессами, использующими эти ресурсы при вычислениях.
курсовая работа, добавлен 28.03.2017Исследование и анализ проблемы преследования на плоскости с точки зрения мультиагентного подхода. Характеристика особенностей мультиагентной системы "Навигация", предназначенной для моделирования процессов преследования на море кораблей-нарушителей.
статья, добавлен 28.02.2016Возможности систем автоматизированного проектирования. Выбор лучшей системы для осуществления деятельности, направленной на конструирования электронных средств. Выбор видов анализа схемы в процессе моделирования. Функциональные возможности программ.
статья, добавлен 02.01.2025Характеристика экспертных систем - программ, которые использует знания специалистов о конкретной узко специализированной предметной области. Способность программ принимать решения на уровне эксперта-профессионала. Оболочки для создания экспертных систем.
статья, добавлен 25.03.2019Экономический эффект от использования компьютерных технологий когнитивного моделирования. Проектирование программной системы. Разработка внешних спецификаций проекта. Проектирование внутренней логики каждого модуля. Перечень требований к алгоритмам.
контрольная работа, добавлен 28.05.2017Применение алгоритма квазилинеаризации в аппроксимации моделей динамических систем. Информатизация предприятий авиационного машиностроения. Унифицированное описание систем административно-организационного управления для разработки программ их развития.
автореферат, добавлен 14.02.2018Изучение особенностей использования для проведения машинных экспериментов с моделями систем S статистической категории объектов языка моделирования GPSS/PC, освоение навыков их практического применения при решении конкретных задач моделирования систем.
контрольная работа, добавлен 08.06.2022Рассмотрение основных компьютерных программ, используемых электриками в профессиональной деятельности, основные возможности и функции данных программ. Использование компьютерных программ для моделирования электрических схем различной сложности.
статья, добавлен 21.02.2018Рассмотрение вопросов необходимости использования нового класса вероятностных распределений при анализе информационных потоков. Изучение структуры, закономерностей и общих свойств информационных потоков. Экспресс-анализ вероятностных распределений.
статья, добавлен 27.09.2016Общая постановка задачи линейного программирования. Алгоритм перебора базисных решений систем линейных уравнений. Алгоритм симплексного метода. М-метод решения произвольной задачи линейного программирования. Алгоритм метода минимального элемента.
курс лекций, добавлен 30.07.2017Комплекс программ, обеспечивающий управление аппаратными средствами компьютера. Работа с файлами, выполнение прикладных программ. Виды операционных систем. Windows, Mac OS (Macintosh Operating System), Linux. Прикладные программы для операционных систем.
презентация, добавлен 06.12.2016Разработка программного комплекса интеллектуальной корабельной автоматизированной системы управления. Активная логика с точки зрения фундированной семантики логических программ с приоритетами. Создание систем графического отображения изучаемых процессов.
статья, добавлен 19.01.2018Принципы системного и имитационное подхода в моделировании систем. Анализ дискретно–событийных систем и моделей, схемы алгоритма моделирования стохастических дискретно–событийных систем. Основные подходы к построению математических моделей систем.
курсовая работа, добавлен 24.01.2024Назначение операционных систем. Операционные системы пакетной обработки, разделения времени и реального времени. Диалоговые операционные системы. Особенности алгоритмов управления ресурсами. Поддержка многозадачности и многопользовательского режима.
курсовая работа, добавлен 18.05.2010- 95. Принципы построения графического редактора CAD/CAE-процессора для проектирования роторных систем
Рассмотрение существующих пакетов прикладных программ для моделирования и расчета роторных систем. Основные требования к CAD/CAE-системе для решения задач динамики роторов. Функциональная структура графического редактора проектирования роторных систем.
статья, добавлен 24.08.2020 Изучение существующих методов и программных средств оценки сложности программ. Определение метрик размера программ, сложности потоков управления и данных. Структура разрабатываемого программного средства, построение его алгоритмов и анализ эффективности.
дипломная работа, добавлен 21.12.2012Рассмотрено построение баз знаний систем поддержки решений диспетчерского управления электроснабжением в кризисных ситуациях. Предложены логико-вероятностные модели для оценки параметров надежности. Определен язык высказываний профессиональной области.
статья, добавлен 30.01.2017Проведение имитационных экспериментов с моделями сложных систем, языки программирования имитационных моделей на ЭВМ. Свойства моделирования, обеспечивающие создание моделей для решения экономических задач. Механизмы формирования системного времени.
реферат, добавлен 21.02.2014Разработка вариантов ведения лесного хозяйства и лесопользования для формирования лесных насаждений. Характеристика сценариев прогнозного моделирования. Верификации модели FORRUS-S. Динамика насаждений для разных сценариев ведения лесного хозяйства.
дипломная работа, добавлен 16.11.2013Основные понятия технологии проектирования и организация разработки информационных систем. Особенности моделирования информационного обеспечения. Унифицированный язык визуального моделирования. Этапы проектирования информационных систем с применением UML.
курс лекций, добавлен 22.10.2012