|
-
Ключові слова:
імітаційне моделювання, имитационное моделирование ; алгебра скінченних предикатів, алгебра конечных предикатов ; мережі Петрі кольорові, сети Петри цветные, coloured Petri nets ; системи штучного інтелекту, СШІ, системы искусственного интеллекта, СИИ
-
Анотація:
Целью диссертационной работы является разработка математических моделей, методов и инструментальных средств для формализации описания и моделирования многомодульных систем информационного обслуживания с распределенным управлением с помощью алгебр предикатных операций, сетей Петри и технологий искусственного интеллекта.
-
Теми документа
-
УДК // МАТЕМАТИЧНА КІБЕРНЕТИКА
-
УДК // Математична логіка
|
