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

Інформація × Реєстраційний номер 0824U000178, Дисертація доктора філософії На здобуття Доктор філософії Дата захисту 06-03-2024 Статус Наказ про видачу диплома Назва роботи Композиційні моделі телекомунікаційних систем в суб'єкто-об'єктному середовищі програмування Здобувач Зилевіч Максим Олегович, Керівник Редько Ігор Володимирович Опонент Панченко Тарас Володимирович Опонент Олецький Олексій Віталійович Рецензент Попович Павло Васильович Рецензент Мухін Вадим Євгенійович Опис Дисертаційна робота присвячена вирішенню важливої та актуальної науково-прикладної задачі – технологізації процесів вирішення сучасних задач в людино-машинних, зокрема, телекомунікаційних системах, методом композитологічного уподібнення – логічного ядра суб’єкто-об’єктного середовища програмування (СОСрП). Об’єкт дослідження: процеси активно-пасивного взаємодоповнення діяльностей у телекомунікаційному середовищі. Предмет дослідження: відношення телекомпозитного уподібнення як основи взаємодоповнення замкненої логіки СОСрП та відкритого різноманіття його предметних суб’єктоорієнтованих продовжень – суб’єкто-об’єктних телекомунікаційних програмно-апаратних комплексів та систем. У дисертаційній роботі отримано наступні нові наукові результати дослідження: 1. Набуло подальшого розвитку предметне збагачення концепто-монадної парадигми програмування видом телекомунікаційних систем програмування та запропоновано відповідну понятійну систему телеконцептування. Зміст їх розкрито у концептомонадному середовищі через оракули «обумовлення», «концепт», «монада», «сутність», «суть». Це забезпечує можливість реальної інтеграції наявних підходів проєктування програмно-апаратних комплексів телекомунікаційних систем у вигляді взаємодоповнення процесів програмування та їх результатів, що складатиме основу реального розуміння програмування і дозволить відійти від сучасного інтуїтивного базису, якісно його розвинувши за допомогою сучасних досліджень та розробок. 2. Вперше розкрито прагматичну обумовленість зведення до телеконцептограм генетичних структур програм. Це дозволяє реально, а не лише номінально підтримувати причинно-наслідкові зв’язки при вирішенні задач, а також способи, методи та засоби їх специфікації. В якості телеконцептограм розглянуто телекомпозити – спеціальні класи суб’єктоорієнтованих базових телекомпозицій. Таким чином, телеконцептування на предметному рівні зводиться до вирішення відповідних рівнянь телекомпозитних редукцій, шо забезпечує коректність отримуваних рішень "за побудовою". 3. Подальшого розвитку набуло застосування підходу оракульного телеконцептування для предметного збагачення СОСрП. На репрезентативних прикладах показані його особливості та перспективи подальшого розвитку. До особливостей відноситься те, що кожна підзадача може бути проконцептована до найпростішої під задачі. Також використання оракульного телеконцептування дає можливість використання традиційного математичного апарату для нотації результату та поєднання його з денотативними методами. Реалізація такого методу на практиці сприяє уніфікації процесу розробки програмно-апаратного продукту, тим самим оптимізує та реально об’єктивізує вплив активної ролі суб’єкта у телеконцептуванні через механізм оракульних телекомунікацій як технологію телекомунікаційних рішень задач. 4. Вперше запропоновано основні логіко-предметні засади суб’єкто-об’єктної телекомунікаційної системи програмування як предметного замикання СОСрП. Головною особливістю створюваних таким чином систем програмування є те, що вони реально, а не лише номінально підтримують причинно-наслідкове взаємодоповнення двох складових вирішення будь-якої програмістської задачі – програмування як породження та застосування композицій і програми – наслідку програмування. Отримано наступні практичні та теоретичні результати досліджень: 1. Розроблена дослідна реалізація СОСрП, що підтримує розробку програмного забезпечення як предметного замикання відповідного середовища. Прагматикообумовлені умови такого замикання задаються у дескриптивному середовищі композиційних термів. Синтаксичне оформлення рішення здійснюється Verilog-дескриптором. Можлива підтримка створення апаратного забезпечення із залученням FPGA як базису апаратної платформи із використанням САПР “Quartus”. 2. Одержані в дисертації нові результати використані під час виконання науково-дослідної роботи “Композитологічні засади технологічних систем програмування” (№0122U001568), та як матеріали при підготовці та викладанні курсу лекційних і практичних занять з дисципліни “Системне програмування та керування базами даних в телекомунікаціях” другого (магістерського) рівня вищої освіти спеціальності 172 «Електронні комунікації та радіотехніка» освітньо-професійної програми «Інформаційно-обчислювальні засоби радіоелектронних систем», що підтверджено відповідною довідкою та актом. Дата реєстрації 2024-01-08 Додано в НРАТ 2024-03-06 Закрити