Пошук академічних текстів

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