Реєстраційний номер
0418U002863, Кандидатська дисертація
На здобуття
Кандидат технічних наук
Дата захисту
05-07-2018
Статус
Захищена
Назва роботи
Композитосутнісні моделі адаптивних процесональних середовищ
Здобувач
Захарченко Тарас Леонідович,
Керівник Редько Ігор Володимирович
Опонент Стрижак Олександр Євгенійович
Опонент Олецький Олексій Віталійович
Установа, організація, у вченій раді якої відбудеться/відбувся захист
Інститут телекомунікацій і глобального інформаційного простору НАН України
Опис
Об'єкт дослідження – інформаційно-технологічні процеси вирішення задач. Мета роботи - підвищення якості та ефективності інформаційно-технологічної діяльності (ІТД) шляхом розробки методу вирішення задач, що продукує композитосутнісні моделі та взаємодоповнює існуючі точки зору на ІТД. Проведені в дисертаційній роботі дослідження базуються на сукупності загальнометодологічних, логіко-епістемологічних, логіко-математичних методах. Серед методологічних основними є метод сутесутнісної релятивізації і його композитосутнісна спеціалізація, серед логіко-епістемологічних – введення та виключення абстракції. Також використано семантичний аналіз. Практичне значення одержаних результатів: розроблена дослідна реалізація адаптивного процесонального середовища (АПС), що дозволило дослідити практичне застосування АПС; виділені практично важливі класи функцій над записами та вирішені проблеми їх повноти в примітивних програмних алгебрах; створені графічні та текстові мови специфікації композицій, що дало змогу продемонструвати ефективність вирішення ІТ-задач в АПС. Основним і найзагальнішим практичним результатом є розроблена композитосутнісна модель адаптивного процесонального середовища, що дозволяє коректно ставити та вирішувати проблеми управління якістю рішень і забезпечення ефективності розробки програм. Наукова новизна: вперше створено композиційні та композитосутнісні засади, композитосутнісну понятійну систему АПС і доведено теорему про нерухому точку проективної функції; вперше встановлено прагматико-обумовлену типізацію композицій, що змістовно збагачує ключове в роботі поняття композиції; отримав подальший розвиток метод отримання алгебраїчних характеристик класів обчислюваних функцій; вперше виявлені семантико-синтаксичні структури HDL-мов, що дозволило визначити їх структурно-функціональну модель і скласти єдиний фундамент для розробки в рамках АПС апаратного забезпечення. Таким чином, у дисертаційній роботі вперше висунута та розроблена концепція композитосутнісних моделей АПС, яка дозволяє розробляти засоби вирішення ІТ-задач, що адекватно відображають природу цих задач і є теоретичною основою для практичної імплементації АПС. Сфера використання - розробка апаратного і програмного забезпечення інформаційних систем.
Дата реєстрації
2018-07-11
Додано/оновлено в НРАТ
2020-04-03 / 2026-06-29
