Вид документа:

Автореферат дисертації

УДК:

004.414.23.042
Шифр: 004.4 П27
Перепелиця І. Д. Моделі та методи статичного аналізу асинхронних систем обробки інформації : автореф. дис. ... канд. техн. наук : 01.05.02 "Математичне моделювання та обчислювальні методи" / Перепелиця Іван Дмитрович ; МОНМС України, Харків. нац. ун-т ім. В. Н. Каразіна. – Харків, 2012. – 20 с.


Статистика використання: Видач: 0

Анотація:
В роботі розглянуто перспективний архітектурний підхід, що ґрунтується на асинхронній передачі управління між компонентами програмної системи. Він дозволяє забезпечити адаптуємість системи. У зв'язку з тим, що перед-автомати тісно пов'язані з орієнтованими графами, дуги яких розмічені префіксними кодами, в роботі узагальнено поняття регіону та визначені інтервали як максимальні регіони. Це дозволяє ввести поняття похідного графу за аналогією
з похідним графом для графів потоку управління та побудувати похідний ряд для перед-автоматів. Це дозволяє ідентифікувати ієрархічну структуру, що природно притаманні відповідному перед-автомату. Розроблені теоретичні положення дозволили побудувати сукупність обчислювальних методів статистичного аналізу перед-автоматів та створити на їх базі комплекс програмних утиліт, які в роботі доведені до дослідних прототипів. Застосування цих утиліт у виробничому процесі двох компаній дозволило оцінити зниження працемісткості на рівні 11%.