Registration Number
0418U002863, Candidate dissertation
Status
Кандидат технічних наук
Date
05-07-2018
popup.evolution
.
Title
Composition-gist models of adaptive processional environments
Author
Zakharchenko Taras Leonidovych,
popup.head Redko Ihor Volodymyrovych
popup.opponent Stryzhak Oleksandr Yevheniiovych
popup.opponent Oletskyi Oleksii Vitaliiovych
popup.rada
Institute of telecommunications and global information space of National Academy of Sciences of Ukraine
Description
Об'єкт дослідження – інформаційно-технологічні процеси вирішення задач. Мета роботи - підвищення якості та ефективності інформаційно-технологічної діяльності (ІТД) шляхом розробки методу вирішення задач, що продукує композитосутнісні моделі та взаємодоповнює існуючі точки зору на ІТД. Проведені в дисертаційній роботі дослідження базуються на сукупності загальнометодологічних, логіко-епістемологічних, логіко-математичних методах. Серед методологічних основними є метод сутесутнісної релятивізації і його композитосутнісна спеціалізація, серед логіко-епістемологічних – введення та виключення абстракції. Також використано семантичний аналіз. Практичне значення одержаних результатів: розроблена дослідна реалізація адаптивного процесонального середовища (АПС), що дозволило дослідити практичне застосування АПС; виділені практично важливі класи функцій над записами та вирішені проблеми їх повноти в примітивних програмних алгебрах; створені графічні та текстові мови специфікації композицій, що дало змогу продемонструвати ефективність вирішення ІТ-задач в АПС. Основним і найзагальнішим практичним результатом є розроблена композитосутнісна модель адаптивного процесонального середовища, що дозволяє коректно ставити та вирішувати проблеми управління якістю рішень і забезпечення ефективності розробки програм. Наукова новизна: вперше створено композиційні та композитосутнісні засади, композитосутнісну понятійну систему АПС і доведено теорему про нерухому точку проективної функції; вперше встановлено прагматико-обумовлену типізацію композицій, що змістовно збагачує ключове в роботі поняття композиції; отримав подальший розвиток метод отримання алгебраїчних характеристик класів обчислюваних функцій; вперше виявлені семантико-синтаксичні структури HDL-мов, що дозволило визначити їх структурно-функціональну модель і скласти єдиний фундамент для розробки в рамках АПС апаратного забезпечення. Таким чином, у дисертаційній роботі вперше висунута та розроблена концепція композитосутнісних моделей АПС, яка дозволяє розробляти засоби вирішення ІТ-задач, що адекватно відображають природу цих задач і є теоретичною основою для практичної імплементації АПС. Сфера використання - розробка апаратного і програмного забезпечення інформаційних систем.
Registration Date
2018-07-11
popup.nrat_date
2020-04-03 / 2026-06-29
