Search academic texts

Information × Registration Number 0417U000665, Candidate dissertation Status к.т.н. Date 10-03-2017 popup.evolution o Title Mathematical models for specification and analysis of the event-driven system components. Author Dorozhynskyi Volodymyr Volodymyrovych, popup.head Zholtkevych Grygoriy Mykolayovych popup.opponent Федорович Олег Євгенович д.т.н. popup.opponent Селiвьорстова Тетяна Вiталiївна Description Дисертацiя присвячена дослiдженню iнформацiйних систем, що базуються на подiйно-керованому пiдходi. Такi системи отримали широке розповсюдження у сферi обробки iнформацiйних потокiв. У роботi була розв’язана важлива науково-прикладна задача розроб-ки математичних моделей i методiв аналiзу подiйно-керованих систем. Аналiз iснуючих пiдходiв до обробки потокiв подiй призвiв до формулювання та розробки загальної математичної моделi системи обробки складних подiй. Така модель була названа CEP-машиною. Структура та поведiнка моделi описанi за допомогою чiтких математичних формулювань. Доведено, що можливостi обробки таких систем визначаються деяким компромiсом мiж класом оброблю-ваного потока подiй та кiлькiсттю складних подiй. Далi, у роботi розв’язана задача синтеза CEP-машини iз заданою по-ведiнкою. Далi,у роботi пропонується метод машинного навчання необхiдний для синтезу регулярних акцепторiв. Такий пiдхiд значно спрощує процес проектування систем обробки потокiв подiй. Також наводиться опис комп’ютерного експерименту, що пiдтверджує правильнiсть метода навчання. На завершення наводиться приклад використання запро- понованої у роботi моделi пiдчас проектування та розробки пiдсистемы формування i оптимiзацiї трафiку у розподiленiй iнформацiйнiй системi. Registration Date 2017-03-10 popup.nrat_date 2020-04-03 Close