Search academic texts

Information × Registration Number 0401U002811, Candidate dissertation Status к.т.н. Date 09-10-2001 popup.evolution o Title Algebras of predicate operations and thier application in the system of artificial intelligence Author Kravets' Natalya Sergiyivna, popup.head Шабанов-Кушнаренко Ю.П. popup.opponent Сіроджа І.Б. popup.opponent Шаронова Н.В. Description Дисертація присвячена питанням розробки математичних моделей, методів та інструментальних засобів для формалізації опису і моделювання багатомодульних систем інформаційного обслуговування з розподіленим управлінням за допомогою алгебр предикатних операцій, сіток Петрі та технологій штучного інтелекту. У роботі запропоновано використовувати апарат фундаментальної алгебри предикатних операцій для опису структури і функціонування ординарної сітки Петрі та розфарбованої сітки Петрі. Розроблено метод визначення множини тупікових розміток для розфарбованої сітки Петрі за допомогою апарата фундаментальної алгебри предикатних операцій. Розроблено систему інтерактивної імітації розфарбованої сітки Петрі та аналізу її властивостей з використанням інте-лектуальної компоненти. Сферою використання є розробка систем з розподіленою архітектурою. Registration Date 2001-10-09 popup.nrat_date 2020-04-04 Close