Программа верификации вероятностных многоагентных систем
Исследование программной системы, предназначенной для моделирования и верификации вероятностных многоагентных систем. Вероятностные темпоральные логики ветвящегося и линейного времени. Алгоритм верификации полиномиальной сложности. Язык программ агентов.
Подобные документы
Система видеоконтроля - комплекс специальных технических средств безопасности, обеспечивающий непрерывный визуальный контроль объекта. Понятие верификации и верификационного признака. Список объектов, подлежащих защите и организации видеоконтроля.
статья, добавлен 10.01.2016Понятие интеллектуального агента (ИА) как одного из основных в области искусственного интеллекта (ИИ). Место и значение исследований систем взаимодействующих ИА, называемых многоагентными системами. Обучающиеся автономные интеллектуальные агенты.
статья, добавлен 28.05.2017Особенности функциональной и математической моделей видеоконтроля и верификации объектов организации. Поиск связей, расстояния между дескрипторами особых точек на сравниваемых изображениях. Модули (интерфейсный, модуль выделения и др.) модели верификации.
статья, добавлен 10.01.2016Возможности модельно-ориентированное проектирование при помощи программных продуктов MathWorks, позволяющие автоматизировать процесс разработки, отладки и верификации программного обеспечения для встраиваемых систем управления. Пакет прикладных программ.
статья, добавлен 13.02.2016Изучение алгоритмов поиска инвариантных соотношений в программах с простыми переменными, относящимся к методам анализа потоков данных и верификации. Анализ языка типа равенств для программ над абсолютно свободными алгебрами данных и кольцами полиномов.
статья, добавлен 29.01.2016Развитие теоретических основ создания автоматизированных информационных систем. Методы тестирования, отладки и верификации программ. Теории синтаксического анализа, синтеза и реинжиниринга бизнес-процессов. Формальные грамматики и языки программирования.
статья, добавлен 18.01.2018Изучение верификации проекта на стадии моделирования как одной из важнейших проблем при моделировании электронных систем, состоящих из цифровых и аналоговых модулей. Описание визуализации растрового изображения видеокадров протокола Fibre Channel.
статья, добавлен 27.05.2018Функциональные задачи интеллектуальных систем анализа изображений. Области применения, классификация систем распознавания лиц (2D-; 3D-(трехмерная) идентификация). Алгоритмизация верификации лиц по 68 "волшебным точкам", описание математического аппарата.
статья, добавлен 14.02.2022Рассмотрение современного подхода к моделированию темпоральных рассуждений в интеллектуальных системах. Операции над временными ограничениями. Алгоритмы вывода для ветвящейся временной логики, построенной на основе качественной точечной модели времени.
статья, добавлен 19.01.2018Оценка интеллектуального подхода как использования в экспертных системах неполных и не вполне достоверных исходных данных, реализованных в системах недостоверного управления и вероятностных рассуждений. Обзор вероятностных рассуждений по методу Байеса.
статья, добавлен 23.03.2018Формализация семантики конструкций языков программирования посредством построения математических моделей. Использование операционной семантики для текстуально правильно построенных определений. Определение свойств языка и формальной верификации программ.
статья, добавлен 28.02.2019Рассматриваются алгоритмы воспроизведения структуры населения в рамках агент-ориентированной модели отраслевого развития экономики России. Описывается структура входных данных моделирования и результаты верификации программно реализованных алгоритмов.
статья, добавлен 01.02.2019Применение инвариантов в математике и программировании. Использование инварианта цикла в теории верификации программ для доказательства правильности результата, полученного циклическим алгоритмом. Проблема автоматического поиска инварианта цикла.
курсовая работа, добавлен 19.12.2015Разработка программы на языке С++, которая вычисляет значение функции у(х) в х=х0. Использование среды обработки CodeBlocks. Вычисление формулы, определяющей решение поставленной задачи. Применение линейного, ветвящегося и циклического типов алгоритмов.
контрольная работа, добавлен 22.10.2018Способы построения эффективных универсальных алгоритмов верификации и оптимизации, подходящих для анализа и преобразования потоков работ. Этапы разработки единого промежуточного графового представления для моделирования потока управления и потока данных.
автореферат, добавлен 31.07.2018Этапы и требования к моделированию технических объектов и систем. Исследование программной среды Visual Simulator, предназначенной для визуализации расчетов и моделирования технологических процессов. Использование данной системы при каландровании шин.
статья, добавлен 25.02.2019Построение системы идентификации и верификации лиц на основе видео с возможностью ее оперативного введения в эксплуатацию и масштабирования. Разработка алгоритмов идентифицирования и выделения изображений. Анализ результатов тестового запуска программы.
статья, добавлен 17.11.2020Условие задачи, блок-схема алгоритма, исходный код и результаты программы в интегрированной среде программирования Turbo C. Организация ветвящегося процесса для решения систем уравнений средствами программирования с меньшими затратами усилий и времени.
лабораторная работа, добавлен 08.11.2012Особенности развития современных компьютерных систем, схема эксперимента по верификации математической модели. Исследование пропускной способности беспроводного моноканала. Производительность беспроводной сети и выбор оптимального размера кадра.
статья, добавлен 23.02.2016Проблемы организации группового поведения мобильных роботов. Задачи достижения целевой точки, информационного обхода и имитационного блокирования. Архитектуры многоагентных систем. Изучение эффективности алгоритмов выбора пути в условиях неопределенности.
курсовая работа, добавлен 28.10.2018Принципы работы и использования биометрических систем, оценка их современных возможностей. Решение проблем верификации и идентификации. Работа биометрических технологий на примере распознавания по отпечатку пальца. Применение биометрии в криминалистике.
реферат, добавлен 05.12.2013Разработка метода проектирования программных моделей протоколов передачи данных. Разработка алгоритма разметки раскрашенной сети Петри для осуществления верификации архитектурных диаграмм программных моделей. Метод построения раскрашенной сети Петри.
автореферат, добавлен 02.12.2017Этапы решения задачи определения вероятностных характеристик напряжений в технических объектах со случайными параметрами при случайных воздействиях. Возможности автоматизации расчетов каждого из этапов решения с использованием программ MATLAB и ANSYS.
статья, добавлен 25.05.2018Разработка нечеткой когнитивной модели, позволяющей анализировать различные типы взаимодействий агентов с использованием предложенных показателей. Развитие предложенной нечеткой когнитивной карты для осуществления мониторинга взаимодействия агентов.
статья, добавлен 18.01.2018Исследование поведения сложных систем, функционирующих в среде Интернет. Анализ модели антагонистического противоборства и кооперации команд агентов. Исследование архитектуры интегрированной программной среды агентно-ориентированного моделирования.
статья, добавлен 16.01.2018