О верификации свойств вероятностных мультиагентных систем
Проблема верификации динамических свойств мультиагентных систем, состоящих из интеллектуальных агентов, которые взаимодействуют через вероятностные каналы связи. Динамические свойства (поведения) МАС, описываемые формулами пропозициональной логики.
Подобные документы
Анализ опыта верификации и валидации информационно-измерительных и управляющих систем для АЭС. Разработка проектных решений по системе внутриреакторного контроля. Характеристика информационных и программных средств для отдельных модулей атомной станции.
автореферат, добавлен 02.08.2018Структура и правила работы информационных систем. Специфические свойства современных систем защиты. Сущность и основные преимущества использования технологии мобильных агентов. Анализ компонентов систем защиты, реализованных в виде мобильных агентов.
статья, добавлен 17.04.2015Понятие интеллектуальных информационных систем, их основные функции, цели и задачи. Характеристика и свойства некоторых систем искусственного интеллекта: на основе нейрокомпьютерных технологий, на основе генетических алгоритмов и на базе нечеткой логики.
лекция, добавлен 13.08.2013Анализ деятельности таксопарка и разработка программы "2Т-такси". Понятие о мультиагентных системах, моделях коллективного поведения и взаимодействия. Архитектуры агентов, основанные на знаниях, их уровни. Проектная реализация информационной сети.
дипломная работа, добавлен 07.10.2012Современные подходы к процедуре верификации программных средств. Показано, что процедура верификации должна включать три стадии. Разработаны положения процедуры проверки программного средства, являющегося частью методики определения условий облучения.
статья, добавлен 03.10.2013Конфликтные ситуации в интеллектуальных мультиагентных процессах преобразования ресурсов. Разработка программного комплекса jSIM системы моделирования процессов. Реализация механизма общения при переговорах между агентами с целью достижения компромиссов.
статья, добавлен 10.03.2018История логики как история теории рассуждений. Современный этап развития нестандартных логик для интеллектуальных систем. Искусственный интеллект как идеальный тип. Проблемы синтеза познавательных процедур. Понятийное строение знаний: от идеи к понятию.
статья, добавлен 17.01.2018Рассмотрение существующих систем дистанционного обучения, их анализ и сравнение, в результате которого показано, почему была выбрана LMS Moodle. Пути расширения функциональных возможностей. Реализация модуля интеграции мультиагентных сервисов системы.
курсовая работа, добавлен 06.03.2013Методика построения баз знаний для семантической сети. База знаний в редакторе protege-OWL. Структура исследований в области многоагентных систем. Агентно-ориентированный подход в программировании. Платформа для разработки мультиагентных систем JADE.
дипломная работа, добавлен 12.10.2015Назначение методов верификации программного обеспечения. Оценка технического состояния и работоспособности программного обеспечения. Анализ преимуществ и недостатков использования частично формализованных методов верификации программного обеспечения.
статья, добавлен 28.05.2017Перспектива применения параллельного бюджетирования с применением открытых мультиагентных систем поддержки принятия решений. Рассмотрены существующие системы поддержки принятия решений. Недостатки классической схемы планирования бюджета на предприятиях.
статья, добавлен 26.05.2017Понятие интеллектуального агента (ИА) как одного из основных в области искусственного интеллекта (ИИ). Место и значение исследований систем взаимодействующих ИА, называемых многоагентными системами. Обучающиеся автономные интеллектуальные агенты.
статья, добавлен 28.05.2017Сущность и функции систем массового обслуживания. Характеристика детерминированных, стохастических и базовых сетей очередей. Алгоритм расчета замкнутых сетей через вероятности состояний. Применение алгоритма свертки при моделировании вероятностных сетей.
реферат, добавлен 14.11.2013Особенность функционирования цифрового автомата. Отличие цифровых систем от дискретных. Микропроцессоры и узлы микропроцессорных устройств. Режим загрузки и верификации прикладных программ. Проектирование автоматических систем на базе микропроцессоров.
курсовая работа, добавлен 09.12.2015Изучение верификации проекта на стадии моделирования как одной из важнейших проблем при моделировании электронных систем, состоящих из цифровых и аналоговых модулей. Описание визуализации растрового изображения видеокадров протокола Fibre Channel.
статья, добавлен 27.05.2018Анализ основных подходов к исследованию бот-сетей и механизмов защиты от них, основанных на их представлении в виде команд интеллектуальных агентов и применении методов агентно-ориентированного моделирования. Анализ формальной модели бот-сетей и защиты.
статья, добавлен 18.01.2018Мягкие вычисления - раздел науки синтетического интеллекта, в которой нечеткая логика, теория вероятностей, нейронные сети синергетически взаимодействуют для подражания процессам рассуждений. Предпосылки создания и развития интеллектуальных систем.
статья, добавлен 22.08.2020Разработка метода верификации описаний аппаратуры на основе использования эталонных программных моделей. Исследование зависимости качества тестирования и времени его проведения. Нахождение ошибок в процессе верификации в проекте высокой сложности.
автореферат, добавлен 02.05.2018Критерии классификации агентов, связанные с полярными шкалами "естественное–искусственное" и "материальное–идеальное". Направления развития многоагентных систем. Задача разработки искусственных организаций и сообществ, состоящих из виртуальных агентов.
статья, добавлен 17.01.2018Основные понятия систем массового обслуживания: каналы, заявки. Дисциплины обслуживания очереди. Примеры СМО. Определение вероятностных характеристик нотариальной конторы, работающей в стационарном режиме и представляющей собой одноканальную СМО.
практическая работа, добавлен 11.12.2023Особенности развития современных компьютерных систем, схема эксперимента по верификации математической модели. Исследование пропускной способности беспроводного моноканала. Производительность беспроводной сети и выбор оптимального размера кадра.
статья, добавлен 23.02.2016Рассмотрение вопросов необходимости использования нового класса вероятностных распределений при анализе информационных потоков. Изучение структуры, закономерностей и общих свойств информационных потоков. Экспресс-анализ вероятностных распределений.
статья, добавлен 27.09.2016Работа с формулами в табличном процессоре Microsoft Excel, структура функций, использование массива формул. Диаграмма – представление данных таблицы в графическом виде, принцип ее создания. Настройка свойств экрана в операционной системе Windows.
контрольная работа, добавлен 20.04.2010Ознакомление с наиболее используемыми методологиями разработки программного обеспечения. Рассмотрение схемы семантики перехода агента в элементы информационной системы. Определение экономического эффекта от автоматизации процесса "Движение контингента".
статья, добавлен 10.03.2018Жизненный цикл программного обеспечения как интервал времени, начиная от идеи его создания с необходимым функционалом для решения задач до полного прекращения использования последней версии этой программы. Методы верификации: экспертиза и инспекция.
реферат, добавлен 17.12.2015