| |
 |
|
|
 |
|
 |
|
Библиотечный каталог авторефератов Украины |
|
| По вопросу доставки диссертации по этой теме пишите на электронный адрес: info@lib.ua-ru.net |
| Тема автореферата диссертации: Інструментарій проектування комп'ютерних систем на основі діалогових алгебро-граматичних моделей представлення знань 2006 года.
|
| Источник: Автореф. дис... канд. техн. наук: 05.13.06 / В.А. Хохлов; Херсон. нац. техн. ун-т. — Херсон, 2006. — 20 с. — укp.
|
| Аннотация: Розвинуто близьку до природної мову проектування комп'ютерних систем (КС) систем алгоритмічних алгебр (САА)/Д - вхідну мову діалогової трансформаційної машини (ДТМ) шляхом розширення засобами діалогової взаємодії користувача та КС, що проектується. Запропоновано апарат параметризованих шаблонів, який використовується у разі підключення до мови САА/Д цільових мов програмування (МП) і дозволяє встановити однозначну відповідність між САА/Д-схемами й асоційованими з ними програмами у цільовій МП. Розвинуто машину виводу (МВ) ДТМ шляхом розробки її компоненти - інтелектуального редактора, що дозволяє не лише динамічно (у діалозі) проектувати синтаксично правильні САА/Д-схеми, зокрема, змістовні ідентифікатори операторів і умов, але й асоційовані з цими схемами програми у цільових МП. Розроблено структуру бази знань (БЗ) ДТМ і механізми її супроводу та модифікації відповідно до діалогових алгебро-граматичних моделей представлення знань і методів підключення цільових МП. Наведено САА/Д-схеми, САА/Д-формули, програми, що дозволяють підтримувати спіральну модель життєвого циклу КС. Уперше алгоритми синтезу операційних пристроїв (ОП) за їх функціональними мікропрограмами, представленими у вигляді граф-схем, розповсюджені на САА/Д-схеми, що дозволяє автоматизувати процеси проектування ОП та оптимізувати їх структуру і затрати обладнання не лише за методами структурної теорії автоматів, але й методами алгебри алгоритмів.
|
 |
|
|
|
 |
|
 |
|
|
 |
|
|
|
|
|
|
