Звіт по науково-дослідній роботі. Редько Ігор Володимирович. Редукційне моделювання маніпуляційних функцій

Реєстраційний номер

0213U004634, 0111U010566 , Науково-дослідна робота

Назва роботи

Редукційне моделювання маніпуляційних функцій

Назва етапу роботи

Керівник роботи

Редько Ігор Володимирович,

Дата реєстрації

19-12-2013

Організація виконавець

Науково-дослідний інститут прикладної електроніки Національного технічного університету України "КПІ"

Опис етапу

Дослідження та розвиток концепції відкрито-замкнених систем (ОС-System ) і розроблення редукційної технології програмування як інструменту, що орієнтований на створення адаптивних інформатико-технологічних систем різного призначення. Основу дослідження складають понятійна система, основні результати теорії дескриптивних середовищ та розвинений в ній метод сутесутнісної релятивізації. На основі поняття композиції запропоновано поліабстрактну модель принципово нового типу програмних систем - адаптивної системи програмування (АСП), основу якої складає поняття програмного дефінітора. На цій основі проведено наскрізну класифікацію систем програмування, що дозволило визначити їх суттєві достоїнства та недоліки і обгрунтувати вибір напрямку дослідження. В рамках моделі АСП вдалося адекватно підтримати процес наскрізного проектування рішень програмістських задач

Опис продукції

Дослідження та розвиток концепції відкрито-замкнених систем (ОС-System ) і розроблення редукційної технології програмування як інструменту, що орієнтований на створення коректних інформатико-технологічних систем різного призначення. Основу дослідження складають понятійна система, основні результати теорії дескриптивних середовищ та розвинений в ній метод сутесутнісної релятивізації. На основі поняття композиції запропоновано поліабстрактну модель принципово нового типу програмних систем - адаптивної системи програмування (АСП), основу якої складає поняття програмного дефінітора. На цій основі проведено наскрізну класифікацію систем програмування, що дозволило визначити їх суттєві достоїнства та недоліки і обгрунтувати вибір напрямку дослідження. В рамках моделі АСП вдалося адекватно підтримати процес наскрізного проектування рішень

Автори роботи

Бондаренко Наталія Олександрівна
Гонтаренко Андрій Андрійович
Горєлов Андрій Васильович
Захарченко Тарас Леонідович
Редько Ігор Володимирович
Семенченко Михайло Петрович
Татаріков Олександр Олегович

Додано/оновлено в НРАТ

2020-04-02