Search academic texts

Information × Registration Number 0418U002863, Candidate dissertation Status Кандидат технічних наук Date 05-07-2018 popup.evolution o 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 Description Об'єкт дослідження – інформаційно-технологічні процеси вирішення задач. Мета роботи - підвищення якості та ефективності інформаційно-технологічної діяльності (ІТД) шляхом розробки методу вирішення задач, що продукує композитосутнісні моделі та взаємодоповнює існуючі точки зору на ІТД. Проведені в дисертаційній роботі дослідження базуються на сукупності загальнометодологічних, логіко-епістемологічних, логіко-математичних методах. Серед методологічних основними є метод сутесутнісної релятивізації і його композитосутнісна спеціалізація, серед логіко-епістемологічних – введення та виключення абстракції. Також використано семантичний аналіз. Практичне значення одержаних результатів: розроблена дослідна реалізація адаптивного процесонального середовища (АПС), що дозволило дослідити практичне застосування АПС; виділені практично важливі класи функцій над записами та вирішені проблеми їх повноти в примітивних програмних алгебрах; створені графічні та текстові мови специфікації композицій, що дало змогу продемонструвати ефективність вирішення ІТ-задач в АПС. Основним і найзагальнішим практичним результатом є розроблена композитосутнісна модель адаптивного процесонального середовища, що дозволяє коректно ставити та вирішувати проблеми управління якістю рішень і забезпечення ефективності розробки програм. Наукова новизна: вперше створено композиційні та композитосутнісні засади, композитосутнісну понятійну систему АПС і доведено теорему про нерухому точку проективної функції; вперше встановлено прагматико-обумовлену типізацію композицій, що змістовно збагачує ключове в роботі поняття композиції; отримав подальший розвиток метод отримання алгебраїчних характеристик класів обчислюваних функцій; вперше виявлені семантико-синтаксичні структури HDL-мов, що дозволило визначити їх структурно-функціональну модель і скласти єдиний фундамент для розробки в рамках АПС апаратного забезпечення. Таким чином, у дисертаційній роботі вперше висунута та розроблена концепція композитосутнісних моделей АПС, яка дозволяє розробляти засоби вирішення ІТ-задач, що адекватно відображають природу цих задач і є теоретичною основою для практичної імплементації АПС. Сфера використання - розробка апаратного і програмного забезпечення інформаційних систем. Registration Date 2018-07-05 popup.nrat_date 2020-04-03 Close