Шифр: 004.4 П27
Перепелиця І. Д. Моделі та методи статичного аналізу асинхронних систем обробки інформації : автореф. дис. ... канд. техн. наук : 01.05.02 "Математичне моделювання та обчислювальні методи" / Перепелиця Іван Дмитрович ; МОНМС України, Харків. нац. ун-т ім. В. Н. Каразіна. – Харків, 2012. – 20 с.
Перепелиця І. Д. Моделі та методи статичного аналізу асинхронних систем обробки інформації : автореф. дис. ... канд. техн. наук : 01.05.02 "Математичне моделювання та обчислювальні методи" / Перепелиця Іван Дмитрович ; МОНМС України, Харків. нац. ун-т ім. В. Н. Каразіна. – Харків, 2012. – 20 с.
Статистика використання: Видач: 0
Анотація:
В роботі розглянуто перспективний архітектурний підхід, що ґрунтується на асинхронній передачі управління між компонентами програмної системи. Він дозволяє забезпечити адаптуємість системи. У зв'язку з тим, що перед-автомати тісно пов'язані з орієнтованими графами, дуги яких розмічені префіксними кодами, в роботі узагальнено поняття регіону та визначені інтервали як максимальні регіони. Це дозволяє ввести поняття похідного графу за аналогією
з похідним графом для графів потоку управління та побудувати похідний ряд для перед-автоматів. Це дозволяє ідентифікувати ієрархічну структуру, що природно притаманні відповідному перед-автомату. Розроблені теоретичні положення дозволили побудувати сукупність обчислювальних методів статистичного аналізу перед-автоматів та створити на їх базі комплекс програмних утиліт, які в роботі доведені до дослідних прототипів. Застосування цих утиліт у виробничому процесі двох компаній дозволило оцінити зниження працемісткості на рівні 11%.
з похідним графом для графів потоку управління та побудувати похідний ряд для перед-автоматів. Це дозволяє ідентифікувати ієрархічну структуру, що природно притаманні відповідному перед-автомату. Розроблені теоретичні положення дозволили побудувати сукупність обчислювальних методів статистичного аналізу перед-автоматів та створити на їх базі комплекс програмних утиліт, які в роботі доведені до дослідних прототипів. Застосування цих утиліт у виробничому процесі двох компаній дозволило оцінити зниження працемісткості на рівні 11%.
Тема:
- УДК
- 004.414.23 Моделювання і макетування комп'ютерних систем Ключові слова
- програмне забезпечення, ПЗ, программное обеспечение, ПО, software, Software, logiciel
- асинхронні системи, асинхронные системы
- статичний аналіз, статический анализ
- орієнтовані графи, ориентированные графы
- ієрархічні структури, иерархические структуры