Academic Journal
Regular event processing and machine learning correctness verification ; Регулярна обробка подій та верифікація вірності методів машинного навчання ; Регулярная обработка событий и верификация правильности методов машинного обучения
| العنوان: | Regular event processing and machine learning correctness verification ; Регулярна обробка подій та верифікація вірності методів машинного навчання ; Регулярная обработка событий и верификация правильности методов машинного обучения |
|---|---|
| المؤلفون: | G.М. Zholtkevych, V.V. Dorozhinsky, A.V. Khadikov, Г.М. Жолткевич, В.В. Дорожинський, А.В. Хадіков, Г.Н. Жолткевич, В.В. Дорожинский, А.В. Хадиков |
| المصدر: | Системи обробки інформації. — 2016. — № 9(146). 162-166 ; Системы обработки информации. — 2016. — № 9(146). 162-166 ; Information Processing Systems. — 2016. — № 9(146). 162-166 ; 1681-7710 |
| بيانات النشر: | Харківський національний університет Повітряних Сил ім. І. Кожедуба Харьковский национальный университет Воздушных Сил им. И. Кожедуба Kharkiv national Air Force University named after I. Kozhedub |
| سنة النشر: | 2016 |
| المجموعة: | Kharkiv National University of Air Force: Archive scientific publications / Харківський національний університет Повітряних Сил ім. І. Кожедуба: Архiв наукових видань |
| مصطلحات موضوعية: | Інфокомунікаційні системи, УДК 004.042 + 519.713.2, Machine Learning, Event Processing, acceptor, regular language, prefix-free language, машинне навчання, обробка подій, акцептор, регулярна мова, безпрефіксна мова, машинное обучение, обработка событий, регулярный язык, беспрефиксный язык |
| الوصف: | Currently the concepts of Event Driven Architecture and Machine Learning become widely used in the information systems. In the paper the authors propose an approach to combine these two concepts to be able to overcome logical complexity in the design of the information systems based on Event Driven Architecture. The paper considers some machine learning method for the component of the system based on this architecture using rigorous mathematical formulations. In particular, a problem for the method correctness verification is studied. The algorithms and steps for the computer experiments are introduced in details. Finally, further research directions are proposed. ; Сьогодні такі концепції як архітектура керована подіями та машинне навчання все частіше використовуються підчас розробки інформаційних систем. У статті авторами запропонований підхід до поєднання цих двох концепцій для розв'язання проблеми логічної складності проектування систем, що базуються на архітектурі керованій подіями. Використовуючи чіткі математичні формулювання, у статті розглянуто метод машинного навчання компонентів таких систем. Зокрема досліджується проблема верифікації правильності методу. Окреслені напрямки подальшого дослідження. ; В настоящее время такие концепции как архитектура управляемая событиями и машинное обучение все чаще используются в информационных системах. В статье авторы предлагают подход объединяющий эти две концепции для решения проблемы логической сложности проектирования систем основанных на архитектуре управляемой событиями. Используя строгие математические формулировки, рассматривается метод машинного обучения компонентов таких систем. В частности, изучается проблема верификации правильности метода. Предлагаются направления для дальнейшего исследования. |
| نوع الوثيقة: | article in journal/newspaper |
| وصف الملف: | application/pdf |
| اللغة: | English |
| Relation: | http://www.hups.mil.gov.ua/periodic-app/article/17131/soi_2016_9_34.pdf; http://www.hups.mil.gov.ua/periodic-app/article/17131 |
| الاتاحة: | http://www.hups.mil.gov.ua/periodic-app/article/17131 |
| رقم الانضمام: | edsbas.A3EDA82C |
| قاعدة البيانات: | BASE |
| الوصف غير متاح. |