Программа верификации вероятностных многоагентных систем
Исследование программной системы, предназначенной для моделирования и верификации вероятностных многоагентных систем. Вероятностные темпоральные логики ветвящегося и линейного времени. Алгоритм верификации полиномиальной сложности. Язык программ агентов.
Подобные документы
Анализ существующих систем документооборота. Обоснование выбора средств проектирования и реализации программной системы. Проектирование и реализация инфологической модели программы электронного документооборота. План тестирования программной системы.
курсовая работа, добавлен 11.06.2014Основные подходы к построению математических моделей процессов функционирования реальной системы. Применение схем детерминированных вероятностных автоматов для разработки методов проектирования дискретных систем. Математическое понятие Р-автомата.
контрольная работа, добавлен 08.11.2012Архитектуры операционных систем реального времени. Организация дискового пространства. Комплекс программ, обеспечивающий управление ресурсами аппаратного комплекса (вычислительной системы) и процессами, использующими эти ресурсы при вычислениях.
курсовая работа, добавлен 28.03.2017Вероятность безотказного выполнения программ. Характеристики, определяющие надежность функционирования программного обеспечения. Классификация моделей надежности и их характеристика. Методические указания по выполнению расчета вероятностных показателей.
реферат, добавлен 16.12.2013Исследование и анализ проблемы преследования на плоскости с точки зрения мультиагентного подхода. Характеристика особенностей мультиагентной системы "Навигация", предназначенной для моделирования процессов преследования на море кораблей-нарушителей.
статья, добавлен 28.02.2016Характеристика экспертных систем - программ, которые использует знания специалистов о конкретной узко специализированной предметной области. Способность программ принимать решения на уровне эксперта-профессионала. Оболочки для создания экспертных систем.
статья, добавлен 25.03.2019Экономический эффект от использования компьютерных технологий когнитивного моделирования. Проектирование программной системы. Разработка внешних спецификаций проекта. Проектирование внутренней логики каждого модуля. Перечень требований к алгоритмам.
контрольная работа, добавлен 28.05.2017Применение алгоритма квазилинеаризации в аппроксимации моделей динамических систем. Информатизация предприятий авиационного машиностроения. Унифицированное описание систем административно-организационного управления для разработки программ их развития.
автореферат, добавлен 14.02.2018Изучение особенностей использования для проведения машинных экспериментов с моделями систем S статистической категории объектов языка моделирования GPSS/PC, освоение навыков их практического применения при решении конкретных задач моделирования систем.
контрольная работа, добавлен 08.06.2022Рассмотрение основных компьютерных программ, используемых электриками в профессиональной деятельности, основные возможности и функции данных программ. Использование компьютерных программ для моделирования электрических схем различной сложности.
статья, добавлен 21.02.2018Рассмотрение вопросов необходимости использования нового класса вероятностных распределений при анализе информационных потоков. Изучение структуры, закономерностей и общих свойств информационных потоков. Экспресс-анализ вероятностных распределений.
статья, добавлен 27.09.2016Комплекс программ, обеспечивающий управление аппаратными средствами компьютера. Работа с файлами, выполнение прикладных программ. Виды операционных систем. Windows, Mac OS (Macintosh Operating System), Linux. Прикладные программы для операционных систем.
презентация, добавлен 06.12.2016Общая постановка задачи линейного программирования. Алгоритм перебора базисных решений систем линейных уравнений. Алгоритм симплексного метода. М-метод решения произвольной задачи линейного программирования. Алгоритм метода минимального элемента.
курс лекций, добавлен 30.07.2017Разработка программного комплекса интеллектуальной корабельной автоматизированной системы управления. Активная логика с точки зрения фундированной семантики логических программ с приоритетами. Создание систем графического отображения изучаемых процессов.
статья, добавлен 19.01.2018Принципы системного и имитационное подхода в моделировании систем. Анализ дискретно–событийных систем и моделей, схемы алгоритма моделирования стохастических дискретно–событийных систем. Основные подходы к построению математических моделей систем.
курсовая работа, добавлен 24.01.2024Назначение операционных систем. Операционные системы пакетной обработки, разделения времени и реального времени. Диалоговые операционные системы. Особенности алгоритмов управления ресурсами. Поддержка многозадачности и многопользовательского режима.
курсовая работа, добавлен 18.05.2010- 92. Принципы построения графического редактора 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Изучение методов формирования тестового покрытия для базы данных, входящей в состав интегрированной информационной системы, основанного на априорном анализе рисков и модифицированной модели верификации базы данных для сокращения затрат на автоматизацию.
статья, добавлен 23.02.2016Роль стохастических моделей и методов в исследовании закономерностей поведения экономических систем. Стохастическое программирование с построчными вероятностными ограничениями. Сопоставление затрат на накопление информации с экономическим эффектом.
курсовая работа, добавлен 29.04.2011- 100. Синтез и верификация двухуровневой семантической информационной модели агропромышленного холдинга
Описание смысла семантической информационной модели СК-анализа. Результаты верификации системы частных моделей, входящих в двухуровневую семантическую информационную модель управления агропромышленным холдингом. Процентные распределения по группам.
статья, добавлен 26.04.2017