О верификации свойств вероятностных мультиагентных систем
Проблема верификации динамических свойств мультиагентных систем, состоящих из интеллектуальных агентов, которые взаимодействуют через вероятностные каналы связи. Динамические свойства (поведения) МАС, описываемые формулами пропозициональной логики.
Подобные документы
Научно-технические аспекты процедуры сертификации по требованиям безопасности информации программных продуктов в России. Исследование методики верификации программных средств с использованием графо-аналитической модели и комплексных кубических покрытий.
статья, добавлен 28.09.2012Система видеоконтроля - комплекс специальных технических средств безопасности, обеспечивающий непрерывный визуальный контроль объекта. Понятие верификации и верификационного признака. Список объектов, подлежащих защите и организации видеоконтроля.
статья, добавлен 10.01.2016Особенности функциональной и математической моделей видеоконтроля и верификации объектов организации. Поиск связей, расстояния между дескрипторами особых точек на сравниваемых изображениях. Модули (интерфейсный, модуль выделения и др.) модели верификации.
статья, добавлен 10.01.2016Формализация семантики конструкций языков программирования посредством построения математических моделей. Использование операционной семантики для текстуально правильно построенных определений. Определение свойств языка и формальной верификации программ.
статья, добавлен 28.02.2019Возможности модельно-ориентированное проектирование при помощи программных продуктов MathWorks, позволяющие автоматизировать процесс разработки, отладки и верификации программного обеспечения для встраиваемых систем управления. Пакет прикладных программ.
статья, добавлен 13.02.2016Отличительные черты нечеткого подхода к моделированию систем управления и распознавания. Развитие интеллектуальных систем обработки и представления знаний. Логический вывод в интеллектуальных системах. Мониторинг образовательного процесса вуза.
статья, добавлен 18.01.2018Построение моделей организационных и социально-экономических систем в виде интеллектуальных активных систем на базе применения парадигмы синергетического искусственного интеллекта. Модель нечеткого описания ситуации выбора агентов и активной системы.
статья, добавлен 18.01.2018Общие сведения о табличном процессоре MicroSoft Excel. Типы данных, которые могут храниться в массивах, работа с формулами и функциями, возможности построения диаграмм и их редактирования. Настройка свойств экрана в операционной системе Windows.
контрольная работа, добавлен 06.02.2010Проблема разработки полезных и широко используемых интеллектуальных систем. Структурный подход к мониторингу информационных ресурсов, необходимый при функционировании и управлении программными системами. Графовые модели оценивания структурных свойств.
статья, добавлен 19.01.2018Предопределенные контексты интерпретации, используемые при построении моделей динамических систем. Модель системы светофора, представленная на языке описания контекстных систем CML. Абстрактные машины, задающие формальную семантику языка программирования.
статья, добавлен 28.10.2018- 61. Интернет вещей
Концепция интернета вещей, которая основана на, так называемых, мультиагентных технологиях, которые позволяют соотносить реальный мир с виртуальным.активное развитие и использование современных информационных технологий автоматизации повседневной жизни.
статья, добавлен 25.01.2021 Рассмотрение назначения и преимуществ справочных правовых систем. Изучение основных свойств их информационных банков и возможностей программных технологий. Описание особенностей работы и поиска документов в системах "Консультант Плюс " и "Гарант".
контрольная работа, добавлен 24.11.2015Рассмотрение особенностей проектирования систем искусственного интеллекта. Прямая и обратная цепочки логических рассуждений. Определение основных фактов, имеющих отношение к целям изучения процессов. Создание интеллектуальных агентов и сред любого типа.
лекция, добавлен 28.03.2020Нейронные сети - база для организации интеллектуальных систем защиты информации автоматизированных систем. Эволюционный подход к машинному обучению интеллектуальных средств. Вычислительные модели естественного отбора. Обзор генетического программирования.
статья, добавлен 24.03.2018Математические и алгоритмические основы интеллектуальных информационных систем: модели представления знаний, семантических фреймов. Построения информационных систем для решения неформализованных задач в различных сферах творческой деятельности человека.
лекция, добавлен 17.07.2013Классы экспертных систем и их различие по сложности и типу решаемых задач: анализ или синтез. Структура статистических и динамических экспертных систем. Назначение и необходимость подсистем моделирования внешнего мира и связи с внешним окружением.
реферат, добавлен 03.05.2012- 67. Использование системы наглядной компьютерной алгебры для анализа свойств математических объектов
Использование решетчатых моделей систем для анализа свойств математических объектов. Разработка программного комплекса, позволяющего проводить анализ свойств объектов: разбиений натуральных чисел, упорядоченных алфавитов и последовательностей Фибоначчи.
статья, добавлен 28.01.2020 Изучение потребительских свойств информационных систем автоматизации управленческого учета. Анализ основных критериев дифференциации потребностей предприятий в подобной системе. Расчет функциональных возможностей программ, имеющихся на российском рынке.
статья, добавлен 29.05.2017Понятие интеллектуальных информационных систем (ИИС), их классификация. Основные функции, выполняемые ИИС. Системы с интеллектуальным интерфейсом. Интеллектуальные базы данных. Системы контекстной помощи. Классы экспертных систем, их характеристика.
презентация, добавлен 24.09.2017Основные виды спутниковых систем связи (работающие через спутники на негеостационарных и геостационарных орбитах). Методы передачи информации в цифровой форме. Структура PES, TES систем и VSAT-станции, принципы их работы. Функции спутникового шлюза.
реферат, добавлен 11.07.2011Рассмотрено построение баз знаний систем поддержки решений диспетчерского управления электроснабжением в кризисных ситуациях. Предложены логико-вероятностные модели для оценки параметров надежности. Определен язык высказываний профессиональной области.
статья, добавлен 30.01.2017Рассмотрение динамических и частотных характеристик систем автоматического управления. Методика построения корневых годографов для анализа и синтеза линейных систем управления. Исследование динамических систем управления в пространстве состояний.
учебное пособие, добавлен 04.04.2014Принципы работы и использования биометрических систем, оценка их современных возможностей. Решение проблем верификации и идентификации. Работа биометрических технологий на примере распознавания по отпечатку пальца. Применение биометрии в криминалистике.
реферат, добавлен 05.12.2013Характеристика метода вывода на основе прецедентов для интеллектуальных систем поддержки принятия решений. Технологическая схема парового компенсационного объема. Этапы модифицированного CBR-цикла для интеллектуальных систем поддержки принятия решений.
статья, добавлен 19.01.2018Методологии и технологии проектирования информационных систем. Характеристика свойств и особенностей информационной системы. Основной подход к исследованию информационных процессов и систем. Анализ в условиях неопределенности, риска и определенности.
презентация, добавлен 08.04.2018