О верификации динамических свойств систем взаимодействующих агентов
Обзор результатов авторов по проблеме верификации динамических свойств систем взаимодействующих интеллектуальных агентов. Анализ динамических свойств в терминах некоторых вариантов временной логики первого порядка. Агенты и многоагентные системы.
Подобные документы
Исследование проблемы корректного описания свойств симметрии бинарных отношений. Актуальный состав свойств симметрии и новые утверждения о взаимозависимости этих свойств. Характеристика допустимых в аспекте свойств симметрии типы бинарных отношений.
статья, добавлен 18.01.2018Понятие серверов и их классификация. Сущность и методы удаленного доступа, типы взаимодействующих систем. Обзор существующих информационных систем удаленного администрирования серверов онлайн-игр. Скриптовый язык PHP и его взаимодействие с базами данных.
дипломная работа, добавлен 01.11.2015Построение и исследование биологически инспирированной компьютерной модели автономных агентов с потребностями питания, размножения, безопасности. Модель эволюции популяции самообучающихся агентов. Возможность формирования естественного поведения агентов.
статья, добавлен 18.01.2018Разработка человеко-машинных интерфейсов, основанных на распознавании образов и визуальном представлении мультимедийной информации. Метод нечеткого распознавания динамических жестов, основанный на использовании модели нечетких конечных автоматов.
статья, добавлен 18.01.2018Рассмотрение назначения и преимуществ справочных правовых систем. Изучение основных свойств их информационных банков и возможностей программных технологий. Описание особенностей работы и поиска документов в системах "Консультант Плюс " и "Гарант".
контрольная работа, добавлен 24.11.2015Моделирование, имитирование и анализ ПИД-регуляторов с использованием пакета AutotunerPID Toolkit системы Matlab. Идентификация моделей динамических систем. Регулятор с весовыми коэффициентами при установке. Погрешность дифференцирования и шум.
учебное пособие, добавлен 15.05.2016Изучение вопросов поиска и распознавания информации в сети Интернет. Характеристика специальных программ, используемых для этих целей - "интеллектуальных агентов". Классификация методов и системы фильтров для поиска информации. Пример работы программы.
реферат, добавлен 21.02.2013Рассмотрение особенностей проектирования систем искусственного интеллекта. Прямая и обратная цепочки логических рассуждений. Определение основных фактов, имеющих отношение к целям изучения процессов. Создание интеллектуальных агентов и сред любого типа.
лекция, добавлен 28.03.2020Верификации программных продуктов как проблема информационной безопасности. Особенности применения графо-аналитических моделей при верификации программных продуктов. Анализ перспектив использования кубических покрытий в областях безопасности информации.
статья, добавлен 24.03.2018Современные подходы к процедуре верификации программных средств. Показано, что процедура верификации должна включать три стадии. Разработаны положения процедуры проверки программного средства, являющегося частью методики определения условий облучения.
статья, добавлен 03.10.2013Назначение методов верификации программного обеспечения. Оценка технического состояния и работоспособности программного обеспечения. Анализ преимуществ и недостатков использования частично формализованных методов верификации программного обеспечения.
статья, добавлен 28.05.2017Исследование возможностей и функциональных свойств информационных систем. Обзор основных этапов развития информационных систем в СССР и России. Характеристика проблем, стоящих на пути информатизации общества. Виды задач и процессов обработки информации.
реферат, добавлен 30.01.2013Создание динамически изменяющиеся HTML-документов с использованием языка сценариев JavaScript. Генерация HTML-документа при загрузке WEB-страницы, обработка событий, настройка WEB-страниц, включение динамических компонентов на WEB-страницу, проверка форм.
реферат, добавлен 16.07.2017Разработка архитектуры программного комплекса "лабиринт агентов" в двумерной среде. Алгоритм индивидуальной базы знаний. Интеллектуальные системы принятия решений и управления. Модель оценки надежности и качества разработанного программного обеспечения.
дипломная работа, добавлен 14.12.2019Моделирование функционально-структурных свойств информационной архитектуры на основе декомпозиции и систематизации структуры информационных взаимодействий. Оценка функционально-структурных свойств архитектуры. Реализация системы кластерных ограничений.
автореферат, добавлен 16.02.2018Анализ свойств линейнопреобразованных стохастических процессов во временной, частотной областях и фазовой плоскости. Предложения по использованию данного класса процессов в стегосистемах для повышения скрытности факта передачи и хранения информации.
статья, добавлен 29.06.2016Понятие, определение и функции автоматизированных экономических информационных систем. Количественный анализ информативных свойств системы. Разработка и модернизации информационных систем в результате специализации групп разработчиков по подсистемам.
статья, добавлен 18.03.2018История логики как история теории рассуждений. Современный этап развития нестандартных логик для интеллектуальных систем. Искусственный интеллект как идеальный тип. Проблемы синтеза познавательных процедур. Понятийное строение знаний: от идеи к понятию.
статья, добавлен 17.01.2018Анализ существующих программных агентов, описание инструментария. Языки программирования и платформы для создания программных агентов. Средства спецификаций типовых моделей. Архитектура мультиагентных приложений. Модель программного агента ресурсов.
дипломная работа, добавлен 27.10.2016Формализация семантики конструкций языков программирования посредством построения математических моделей. Использование операционной семантики для текстуально правильно построенных определений. Определение свойств языка и формальной верификации программ.
статья, добавлен 28.02.2019Исследование вопросов реализации и верификации вероятностных многоагентных систем. Анализ и оптимизация продукционной модели с вероятностной почтовой подсистемой и вероятностным выбором действий как упрощенного варианта вероятностных многоагентных систем.
статья, добавлен 18.01.2018Имитационный метод автономного адаптивного управления, его сравнение с альтернативными подходами. Нейрологические средства систем управления интеллектуальных роботов. Нейродинамическое программирование автономных агентов. Временные ряды из геометрии.
курс лекций, добавлен 08.02.2013Разработка программы создания параллельно взаимодействующих процессов на языке С. Анализ метода создания многопоточного приложения. Программная реализация алгоритма. Вывод на экран результатов операций. Листинг программы, руководство пользователя.
курсовая работа, добавлен 07.08.2013Технологии в области теории систем. Модель классификации и виды критериев качества систем. Их показатели: практичность, целостность, эффективность, корректность, возможность взаимодействия и другие. Шкала качества и дерево свойств систем с управлением.
контрольная работа, добавлен 16.04.2013Описание разработанной методики синтеза импульсных рекуррентных нейронных сетей в составе машины неустойчивых состояний для решения задачи распознавания динамических образов в рамках парадигмы резервуарных вычислений. Входные данные и их предобработка.
статья, добавлен 15.01.2019