Вісники НТУ "ХПІ"

Постійне посилання на розділhttps://repository.kpi.kharkov.ua/handle/KhPI-Press/2494


З 1961 р. у ХПІ видається збірник наукових праць "Вісник Харківського політехнічного інституту".
Згідно до наказу ректора № 158-1 від 07.05.2001 року "Про упорядкування видання вісника НТУ "ХПІ", збірник був перейменований у Вісник Національного Технічного Університету "ХПІ".
Вісник Національного технічного університету "Харківський політехнічний інститут" включено до переліку спеціалізованих видань ВАК України і виходить по серіях, що відображають наукові напрямки діяльності вчених університету та потенційних здобувачів вчених ступенів та звань.
Зараз налічується 30 діючих тематичних редколегій. Вісник друкує статті як співробітників НТУ "ХПІ", так і статті авторів інших наукових закладів України та зарубіжжя, які представлені у даному розділі.

Переглянути

Фільтри

2005 - 20093

Налаштування

Містить файли: ТакКлючові слова: search.filters.subject.алгебра предикатов

Результати пошуку

Зараз показуємо 1 - 3 з 3
  • Ескіз
    Документ
    О методе композиции моделей
    (НТУ "ХПИ", 2008) Процай, Н. Т.
    В статье предлагается метод композиции произвольного множества моделей, формализованных посредствам алгебры предикатов, по набору переменных. Данный метод композиции более удобен при моделировании различных механизмов интеллекта, чем метод композиции по одной переменной, т.к. дает более детальную характеристику тех моделей, которые подлежат соединению.
  • Ескіз
    Документ
    Использование предикатных категорий для представления информации в документах
    (НТУ "ХПИ", 2009) Гончаров, С. В.; Сиддики, Сайед Мохаммад Таухид
    В статье предлагается модель представления знаний, основанная на использовании предикатных категорий и алгебры конечных предикатов. Сделаны выводы о том, что теория категорий и ее предикатная интерпретация позволяют описывать процессы формирования множества знаний в базах знаний логического типа.
  • Ескіз
    Документ
    Формализация элементов экономных многоступенчатых цепей
    (НТУ "ХПИ", 2005) Дударь, З. В.; Мельникова, Р. В.
    Стаття присвячена застосуванню алгебри предикатів і предикатних операцій для формалізації різних структур природної мови у вигляді багатоступеневих ланцюгів. В роботі введено ряд алгебраїчних конструкцій та визначень, що дозволяють більш повно й глибоко описувати декотрі мовні структури. Запропоновано методи формалізації елементів економних багатоступеневих ланцюгів.