Пошук академічних текстів

Інформація × Реєстраційний номер 0401U002811, Кандидатська дисертація На здобуття к.т.н. Дата захисту 09-10-2001 Статус Запланована Назва роботи Алгебри предикатних операцій та їх застосування у системах штучного інтелекту Здобувач Кравець Наталя Сергіївна, Керівник Шабанов-Кушнаренко Ю.П. Опонент Сіроджа І.Б. Опонент Шаронова Н.В. Опис Дисертація присвячена питанням розробки математичних моделей, методів та інструментальних засобів для формалізації опису і моделювання багатомодульних систем інформаційного обслуговування з розподіленим управлінням за допомогою алгебр предикатних операцій, сіток Петрі та технологій штучного інтелекту. У роботі запропоновано використовувати апарат фундаментальної алгебри предикатних операцій для опису структури і функціонування ординарної сітки Петрі та розфарбованої сітки Петрі. Розроблено метод визначення множини тупікових розміток для розфарбованої сітки Петрі за допомогою апарата фундаментальної алгебри предикатних операцій. Розроблено систему інтерактивної імітації розфарбованої сітки Петрі та аналізу її властивостей з використанням інте-лектуальної компоненти. Сферою використання є розробка систем з розподіленою архітектурою. Дата реєстрації 2001-10-09 Додано в НРАТ 2020-04-04 Закрити