Розроблено оптимізуючий перенацілюваний компілятор для мікропроцесорів цифрової обробки сигналів та мікропроцесорів з довгим командним словом. Особливу увагу приділено покращанню існуючих методик генерації коду та інтелектуалізації процесу компіляції за допомогою інтеграції у компілятор знань про парадигму оптимізації та генерації коду для цільової процесорної архітектури. Досліджено формалізації подання програми у вигляді ієрархічної графової моделі, оптимізуючих графових продукцій, а також формалізацію мікропроцесорної архітектури. Запропоновано методики формалізації знань про процес компіляції у вигляді продукційної експертної системи, які допомагають інтелектуалізувати процес компіляції. Висвітлено поліпшені методи генерації коду за рахунок введення специфічних для процесорів цифрової обробки оптимізацій та метод розподілу регістрів для процесорів з великим регістровим файлом за допомогою сканування вперед графа потоку даних, а також методику автоматичного розміщення змінних по просторах пам'яті гарвардської архітектури мікропроцесора до визначених користувачем прикладних завдань. Описано протитип компілятора - перенацілюваний оптимізуючий компілятор для процесорів з нерегулярним довгим командним словом та процесорів цифрової обробки сигналів.

  Скачати повний текст

Запропоновано напрямки щодо інтелектуалізації інтерфейсу користувача засобів розробки і одержаних застосувань. Досліджено обмеження та можливості вдосконалення сучасних засобів генерації застосувань баз даних (БД). Запропоновано формалізм структурованої семантичної мережі для подання семантики предметної області стосовно завдань генерації застосувань БД. Розроблено та досліджено унікальний механізм графових запитів для добування семантично-зв'язних фрагментів структурованої семантичної мережі за сформульованим принципом семантичної диференціації, а також алгоритм виконання графових запитів. Запропоновано візуальну мову ER-QRE формулювання графових запитів, що грунтується на принципі запиту за зразком та алгоритм її трансляції у мову запитів СКБД. Створено формалізм для опису застосувань БД у вигляді графових прототипів, які базуються на графових запитах, та їх доповнено засобами специфікації інтерфейсу користувача та бізнес-логіки. Запропоновано технологію розробки застосування БД на основі графового прототипу.

  Скачати повний текст