Дорожинський В. В. Математичн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снуючих п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.