Сложность верификации мультиагентных систем с вероятностными состояниями и программами
Изучение сложности верификации динамических свойств мультиагентных систем, состоящих из вероятностных интеллектуальных агентов. Вероятностные мультиагентные системы, их множества. Каналы связи и передача сообщений. Вероятностные логические программы.
Подобные документы
Рассмотрение существующих систем дистанционного обучения, их анализ и сравнение, в результате которого показано, почему была выбрана LMS Moodle. Пути расширения функциональных возможностей. Реализация модуля интеграции мультиагентных сервисов системы.
курсовая работа, добавлен 06.03.2013Развитие программных агентов и средств из разработки. Средства спецификаций типовых моделей. Языки программирования и программные платформы для создания программных агентов. Архитектура мультиагентных приложений. Модель программного агента ресурсов.
дипломная работа, добавлен 19.10.2016Рассмотрение авторского метода верификации программ программируемых логических контроллеров, входящих в состав автоматизированных систем управления технологическими процессами. Система семантического анализа многомерных интервально-логических регуляторов.
статья, добавлен 16.07.2018Подходы к верификации протоколов безопасности. Определение набора свойств, подлежащих проверке. Графический вывод шаблонов трассировки. Симметричное и асимметричное шифрование криптографических данных. Верификационные средства логического вывода.
статья, добавлен 10.04.2019Перспектива применения параллельного бюджетирования с применением открытых мультиагентных систем поддержки принятия решений. Рассмотрены существующие системы поддержки принятия решений. Недостатки классической схемы планирования бюджета на предприятиях.
статья, добавлен 26.05.2017Рассмотрено построение баз знаний систем поддержки решений диспетчерского управления электроснабжением в кризисных ситуациях. Предложены логико-вероятностные модели для оценки параметров надежности. Определен язык высказываний профессиональной области.
статья, добавлен 30.01.2017Анализ деятельности таксопарка и разработка программы "2Т-такси". Понятие о мультиагентных системах, моделях коллективного поведения и взаимодействия. Архитектуры агентов, основанные на знаниях, их уровни. Проектная реализация информационной сети.
дипломная работа, добавлен 07.10.2012Современные подходы к процедуре верификации программных средств. Показано, что процедура верификации должна включать три стадии. Разработаны положения процедуры проверки программного средства, являющегося частью методики определения условий облучения.
статья, добавлен 03.10.2013Классы экспертных систем и их различие по сложности и типу решаемых задач: анализ или синтез. Структура статистических и динамических экспертных систем. Назначение и необходимость подсистем моделирования внешнего мира и связи с внешним окружением.
реферат, добавлен 03.05.2012Разработка аналитических и процедурных моделей оценки сложности сетевых информационных систем. Обеспечение стабильности функционирования сетевых информационных систем на основе мониторинга сложности на примере региональной образовательной системы.
автореферат, добавлен 25.07.2018Жизненный цикл программного обеспечения как интервал времени, начиная от идеи его создания с необходимым функционалом для решения задач до полного прекращения использования последней версии этой программы. Методы верификации: экспертиза и инспекция.
реферат, добавлен 17.12.2015Анализ методов планирования поведения интеллектуальных агентов и подходов по созданию многоагентных систем. Разработка методики оценки эффективности использования интеллектуальной автоматизированной системы обработки информации в обучающей системе.
автореферат, добавлен 02.07.2018Верификации программных продуктов как проблема информационной безопасности. Особенности применения графо-аналитических моделей при верификации программных продуктов. Анализ перспектив использования кубических покрытий в областях безопасности информации.
статья, добавлен 24.03.2018Методика построения баз знаний для семантической сети. База знаний в редакторе protege-OWL. Структура исследований в области многоагентных систем. Агентно-ориентированный подход в программировании. Платформа для разработки мультиагентных систем JADE.
дипломная работа, добавлен 12.10.2015Назначение методов верификации программного обеспечения. Оценка технического состояния и работоспособности программного обеспечения. Анализ преимуществ и недостатков использования частично формализованных методов верификации программного обеспечения.
статья, добавлен 28.05.2017Изучение верификации проекта на стадии моделирования как одной из важнейших проблем при моделировании электронных систем, состоящих из цифровых и аналоговых модулей. Описание визуализации растрового изображения видеокадров протокола Fibre Channel.
статья, добавлен 27.05.2018Агенты и мультиагентные системы. Особенности их использования как платформы для моделирования и имитации в задачах исследования рыночных взаимодействий, планирования развития электрических сетей, имитации разных ситуаций, интеграции программных средств.
статья, добавлен 22.06.2018Построение моделей организационных и социально-экономических систем в виде интеллектуальных активных систем на базе применения парадигмы синергетического искусственного интеллекта. Модель нечеткого описания ситуации выбора агентов и активной системы.
статья, добавлен 18.01.2018Критерии классификации агентов, связанные с полярными шкалами "естественное–искусственное" и "материальное–идеальное". Направления развития многоагентных систем. Задача разработки искусственных организаций и сообществ, состоящих из виртуальных агентов.
статья, добавлен 17.01.2018Роль стохастических моделей и методов в исследовании закономерностей поведения экономических систем. Стохастическое программирование с построчными вероятностными ограничениями. Сопоставление затрат на накопление информации с экономическим эффектом.
курсовая работа, добавлен 29.04.2011Ознакомление с наиболее используемыми методологиями разработки программного обеспечения. Рассмотрение схемы семантики перехода агента в элементы информационной системы. Определение экономического эффекта от автоматизации процесса "Движение контингента".
статья, добавлен 10.03.2018Определение, структура и режимы экспертных систем. Классификация экспертных систем по решаемой задаче, по связи с реальным временем, по степени интеграции с другими программами, по типу ЭВМ. Преимущества экспертных систем перед человеком-экспертом.
реферат, добавлен 25.12.2014Структура и правила работы информационных систем. Специфические свойства современных систем защиты. Сущность и основные преимущества использования технологии мобильных агентов. Анализ компонентов систем защиты, реализованных в виде мобильных агентов.
статья, добавлен 17.04.2015Определение и изучение классификации интеллектуальных информационных систем. Описание технологии проектирования интеллектуальных систем аналитической отчетности. Проектирование системы аналитического подбора средствами "Малой экспертной системы 2.0".
курсовая работа, добавлен 14.05.2020Понятие интеллектуальных информационных систем (ИИС), их классификация. Основные функции, выполняемые ИИС. Системы с интеллектуальным интерфейсом. Интеллектуальные базы данных. Системы контекстной помощи. Классы экспертных систем, их характеристика.
презентация, добавлен 24.09.2017