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

Jazyk: ukrajinština
Rok vydání: 2020
Předmět:
Zdroj: Bionics of Intelligence; Vol. 1 No. 94 (2020): Scientific and Technical Journal "Bionics of Intelligence"; 51-56
Бионика интеллекта; Том 1 № 94 (2020): Научно-технический журнал "Бионика интеллекта"; 51-56
Біоніка інтелекту; Том 1 № 94 (2020): Науково-технічний журнал "Біоніка інтелекту"; 51-56
ISSN: 2663-3051
2663-306X
Popis: The purpose of the research is to create universal methods for designing intelligent recognition systems for low-visibleradar targets, to develop a general model of logical network, to adapt it to the needs of practical application in intelligentradar systems and to improve methodology of air objects detection. Also, the aim of the research is to solve problemsrelated to the relationship between the theory of categories and predicates algebra, mathematical kit of the artificialintelligence technology. The categorical model of logical networks is considered as an object of research. Mathematicalmodels of formalization and presentation of information, as well as predicate and modified categories are chosen by themethod. The formalization of the studied models by the declarative language created in the course of research is carriedout, allows to investigate models by means of the general universal model of a logical network.
Целью этого исследования является создание универсальных методов проектирования систем интеллектуального распознавания малозаметных радиолокационных целей, разработка общей модели логическойсети, ее адаптация в соответствии с потребностями практического применения в интеллектуальных радиолокационных системах и совершенствование методологии обнаружения воздушных объектов. Также цельюисследования является решение ряда задач, относящихся к вопросам взаимосвязи между теорией категорийи алгеброй предикатов, математических средств тенологии искусственного интеллекта. Категорные моделилогических сетей рассматриваются в качестве объекта исследований. Методом выбраны математические модели формализации и представления информации на основе предикатных и модифицированных категорий.Проведена формализация исследуемых моделей декларативным языком, созданным в процессе исследования,что позволяет исследовать модели с помощью общей универсальной модели логической сети
Метою цього дослідження є створення універсальних методів проектування систем інтелектуальногорозпізнавання малопомітних радіолокаційних цілей, розробка загальної моделі логічної мережі, її адаптаціявідповідно до потреб практичного застосування у інтелектуальних радіолокаційних системах та вдосконаленняметодології виявлення повітряних об’єктів. Також метою дослідження є вирішення низки завдань, що відносяться до питань взаємозв’язку між теорією категорій і алгеброю предикатів, математичних засобів тенологіїштучного інтелекту. Категорні моделі логічних мереж розглядаються як об’єкт досліджень. Методом обраноматематичні моделі формалізації та представлення інформації на основі предикатних та модифікованих категорій. Проведено формалізацію досліджуваних моделей декларативною мовою, створеною в процесі дослідження,що дозволяє дослідити моделі за допомогою загальної універсальної моделі логічної мережі.
Databáze: OpenAIRE
Externí odkaz: