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