Категорний аналіз логічних мереж для радіолокаційних систем розпізнавання

Автор(и)

DOI:

https://doi.org/10.30837/bi.2020.1(94).08

Ключові слова:

ШТУЧНИЙ ІНТЕЛЕКТ, АЛГЕБРА ПРЕДИКАТІВ, ПРЕДИКАТНА КАТЕГОРІЯ, ЛОГІЧНА МЕРЕЖА, ІНТЕЛЕКТУАЛЬНА РАДІОЛОКАЦІЙНА СИСТЕМА.

Анотація

Метою цього дослідження є створення універсальних методів проектування систем інтелектуального
розпізнавання малопомітних радіолокаційних цілей, розробка загальної моделі логічної мережі, її адаптація
відповідно до потреб практичного застосування у інтелектуальних радіолокаційних системах та вдосконалення
методології виявлення повітряних об’єктів. Також метою дослідження є вирішення низки завдань, що відносяться до питань взаємозв’язку між теорією категорій і алгеброю предикатів, математичних засобів тенології
штучного інтелекту. Категорні моделі логічних мереж розглядаються як об’єкт досліджень. Методом обрано
математичні моделі формалізації та представлення інформації на основі предикатних та модифікованих категорій. Проведено формалізацію досліджуваних моделей декларативною мовою, створеною в процесі дослідження,
що дозволяє дослідити моделі за допомогою загальної універсальної моделі логічної мережі.

Біографії авторів

І.Ю. Шубін, Харківський національний університет радіоелектроніки

Кандидат технічних наук, професор кафедри програмної інженерії, Харківський національний університет радіоелектроніки

Г.Г. Четвериков, Харківський національний університет радіоелектроніки

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

С.М. Снісар, Харківський національний університет радіоелектроніки

Аспірант кафедри програмної інженерії, Харківський національний університет радіоелектроніки

С.Г. Літвін, Харківський національний університет радіоелектроніки

Науковий співробітник НДЦ інтегрованих радіоелектронних систем і технологій, Харківський національний університет радіоелектроніки

Посилання

Бондаренко М.Ф., Дудар З.В., Єфімова І.А., Лещинский В.А., Шабанов-Кушнаренко С.Ю. Про мозкоподобні ЕОМ // Радіоелектроніка й інформатика. – 2014. – № 2. – С. 21-38.

Fourier J. Un modele d’indexation relationnel pour les graphes conceptuels fondee sur une interpretation logique: Phd thesis // Universitee. – Grenoble, 1998. – 302 p.

Хьюбелл Д. Око, мозок, зір // М.: Мир, 2010. – 239 с.

Климушев В.Б. Моделювання кореляційного алгоритму розпізнавання образів на базі формальної граматики // Автоматизовані системи керування й прилади автоматики. –2001. – №115.– С. 54-74.

Шрейдер Ю. А., Шаров А. А. Системи й моделі // М.: Радіо й зв’язок, 1982. – 152 с.

Плоткин Б.І. Універсальна алгебра, алгебраїчна логіка й бази даних // М.: Мир, 1990.– 322 с.

Бондаренко М.Ф., Осика А.Ф. Автоматична обробка інформації природньою мовою. // Київ: УМК В, 1991. – 143 с.

Бондаренко М.Ф., Дудар З.В., Процай Н.Т., Черкашин В.В., Чикина В.А., Шабанов-Кушнаренко Ю.П. Алгебра предикатів і предикатних операцій // Радіоелектроніка й інформатика. – 2004.–№ 1. – С. 5-22.

Нильсон Н. Принципи штучного інтелекту // М.: Радіо й зв’язок, 1985. – 373 с.

Шабанов-Кушнаренко Ю.П. Про теорію інтелекту // Проблеми біоніки // Х.: Вища школа, 1979. – Вип. 22. – с. 3 – 11.

Шабанов-Кушнаренко Ю.П. Теорія інтелекту. Проблеми й перспективи // X.: Вища школа, 1987. – 160 с.

Chetverikov G.G., Vechirska I.D., Tanyanskiy S.S. The methods of algebra finite predicates in the intellectual system of complex calculations of telecommunication companies // International Conference Proceedings Crimean Microwave and Telecommunication Technology (CriMiCo). – 2014, 6959425. – pp. 346-347.

##submission.downloads##

Опубліковано

2020-06-02