Дослідження моделей верифікації для комутації агентів мультіагентних систем

Abstract

Робота присвячена вдосконаленню моделей верифікації для комутації агентів мультіагентних систем (МАС). Метою дослідження є скорочення часу верифікації для комутації за рахунок розробки моделей верифікації із зменшеною обчислювальною складністю. Об'єктом дослідження є процес аналізу верифікації для комутації як організація експериментів поведінки для автоматних моделей МАС. Предметом дослідження є автоматні моделі верифікації для комутації, які використовуються для аналізу МАС у цілому. Проведено аналіз сучасного стану методів аналізу для комутації, показано існування невирішених завдань досягнення прийнятної обчислювальної складності та довжини для реальних МАС. У вирішенні завдань використовується підхід, пропонований теорією експериментів з автоматами, на рівні автоматів з визначенням обчислювальної складності і довжини, часу аналізу для комутації МАС. Побудовано спеціальні моделі верифікації для комутації у вигляді автоматних підмереж для проявлення фрагментів поведінки, відносин і операцій. У роботі запропоновані базові процедури та алгоритми, які використовуються для підготовки забезпечення верифікації для комутації. Застосування моделей і методів дозволяє формалізувати побудову засобів верифікації для комутації у контролі МАС. Проведено апробацію розроблених засобів в рамках навчального процесу кафедри комп'ютерних інтелектуальних систем і мереж ОНПУ.

The aim of the study is to reduce the verification time for switching by developing verification models with reduced computational complexity. The object of research is the process of verification analysis for switching as the organization of behavioral experiments for automated MAC models. The subject of the study are automatic verification models for switching, which are used to analyze the MAC as a whole. The analysis of the current state of analysis methods for switching is carried out, the existence of unsolved problems of achieving acceptable computational complexity and length for real MAS is shown. The approach proposed by the theory of experiments with automata at the level of automata with the definition of computational complexity and length, analysis time for MAC switching is used in solving problems. Special verification models for switching in the form of automatic subnets for the manifestation of fragments of behavior, relationships and operations are built. The paper proposes basic procedures and algorithms used to prepare for verification for switching. The use of models and methods allows to formalize the construction of verification tools for switching in MAC control. Approbation of the developed means within the educational process of the department of computer intelligent systems and networks of ONPU is carried out.