Regular event processing and machine learning correctness verification
Наукові видання Харківського національного університету Повітряних Сил
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
Regular event processing and machine learning correctness verification
Регулярна обробка подій та верифікація вірності методів машинного навчання Регулярная обработка событий и верификация правильности методов машинного обучения |
|
| Creator |
G.М. Zholtkevych
V.V. Dorozhinsky A.V. Khadikov Г.М. Жолткевич В.В. Дорожинський А.В. Хадіков Г.Н. Жолткевич В.В. Дорожинский А.В. Хадиков |
|
| Subject |
Інфокомунікаційні системи
УДК 004.042 + 519.713.2 Machine Learning, Event Processing, acceptor, regular language, prefix-free language машинне навчання, обробка подій, акцептор, регулярна мова, безпрефіксна мова машинное обучение, обработка событий, акцептор, регулярный язык, беспрефиксный язык |
|
| Description |
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.
Сьогодні такі концепції як архітектура керована подіями та машинне навчання все частіше використовуються підчас розробки інформаційних систем. У статті авторами запропонований підхід до поєднання цих двох концепцій для розв'язання проблеми логічної складності проектування систем, що базуються на архітектурі керованій подіями. Використовуючи чіткі математичні формулювання, у статті розглянуто метод машинного навчання компонентів таких систем. Зокрема досліджується проблема верифікації правильності методу. Окреслені напрямки подальшого дослідження. В настоящее время такие концепции как архитектура управляемая событиями и машинное обучение все чаще используются в информационных системах. В статье авторы предлагают подход объединяющий эти две концепции для решения проблемы логической сложности проектирования систем основанных на архитектуре управляемой событиями. Используя строгие математические формулировки, рассматривается метод машинного обучения компонентов таких систем. В частности, изучается проблема верификации правильности метода. Предлагаются направления для дальнейшего исследования. |
|
| Publisher |
Харківський національний університет Повітряних Сил ім. І. Кожедуба
Харьковский национальный университет Воздушных Сил им. И. Кожедуба Kharkiv national Air Force University named after I. Kozhedub |
|
| Date |
2016
|
|
| Type |
info:eu-repo/semantics/article
info:eu-repo/semantics/publishedVersion Рецензована стаття |
|
| Format |
application/pdf
|
|
| Identifier |
http://www.hups.mil.gov.ua/periodic-app/article/17131
|
|
| Source |
Системи обробки інформації. — 2016. — № 9(146). 162-166
Системы обработки информации. — 2016. — № 9(146). 162-166 Information processing systems. — 2016. — № 9(146). 162-166 1681-7710 |
|
| Language |
eng
|
|
| Relation |
http://www.hups.mil.gov.ua/periodic-app/article/17131/soi_2016_9_34.pdf
|
|