системи виявлення вторгнень 004.492 1 004.89 1 UDC 004.415.52 1 UDC 681.3 1 attack detection 1 constraints satisfaction 1 cybersecurity 1 ensemble models 1 formal verification 1 intrusion detection systems 1 machine learning 1 multilayer perceptron 1 network traffic analysis 1 neural networks 1 neurosymbolic AI 1 random forest 1 satellite communication 1 satisfiability modulo theories 1 system adaptability 1 system architecture 1 УДК 004.415.52 1 УДК 681.3 1 аналіз мережевих даних 1 багатошаровий перцептрон 1 задача виконуваності обмежень 1 кібербезпека 1 машинне навчання 1 нейро-символьний підхід 1 нейронні мережі 1