Registration Number
0824U000178, PhD dissertation
Status
Доктор філософії
Date
06-03-2024
popup.evolution
o
Title
Composite models of telecommunication systems in the subject-object programming environment
Author
Maksym O. Zylevich,
popup.head Ihor V. Redko
popup.opponent Taras V. Panchenko
popup.opponent Oleksii V. Oletsky
popup.review Pavlo Popovych
popup.review Vadym Y. Mukhin
popup.rada
National Technscal University of Ukraine "Kiev Polytechnic Institute".
Description
Дисертаційна робота присвячена вирішенню важливої та актуальної науково-прикладної задачі – технологізації процесів вирішення сучасних задач в людино-машинних, зокрема, телекомунікаційних системах, методом композитологічного уподібнення – логічного ядра суб’єкто-об’єктного середовища програмування (СОСрП).
Об’єкт дослідження: процеси активно-пасивного взаємодоповнення діяльностей у телекомунікаційному середовищі.
Предмет дослідження: відношення телекомпозитного уподібнення як основи взаємодоповнення замкненої логіки СОСрП та відкритого різноманіття його предметних суб’єктоорієнтованих продовжень – суб’єкто-об’єктних телекомунікаційних програмно-апаратних комплексів та систем.
У дисертаційній роботі отримано наступні нові наукові результати дослідження:
1. Набуло подальшого розвитку предметне збагачення концепто-монадної парадигми програмування видом телекомунікаційних систем програмування та запропоновано відповідну понятійну систему телеконцептування. Зміст їх розкрито у концептомонадному середовищі через оракули «обумовлення», «концепт», «монада», «сутність», «суть». Це забезпечує можливість реальної інтеграції наявних підходів проєктування програмно-апаратних комплексів телекомунікаційних систем у вигляді взаємодоповнення процесів програмування та їх результатів, що складатиме основу реального розуміння програмування і дозволить відійти від сучасного інтуїтивного базису, якісно його розвинувши за допомогою сучасних досліджень та розробок.
2. Вперше розкрито прагматичну обумовленість зведення до телеконцептограм генетичних структур програм. Це дозволяє реально, а не лише номінально підтримувати причинно-наслідкові зв’язки при вирішенні задач, а також способи, методи та засоби їх специфікації. В якості телеконцептограм розглянуто телекомпозити – спеціальні класи суб’єктоорієнтованих базових телекомпозицій. Таким чином, телеконцептування на предметному рівні зводиться до вирішення відповідних рівнянь телекомпозитних редукцій, шо забезпечує коректність отримуваних рішень "за побудовою".
3. Подальшого розвитку набуло застосування підходу оракульного телеконцептування для предметного збагачення СОСрП. На репрезентативних прикладах показані його особливості та перспективи подальшого розвитку. До особливостей відноситься те, що кожна підзадача може бути проконцептована до найпростішої під задачі. Також використання оракульного телеконцептування дає можливість використання традиційного математичного апарату для нотації результату та поєднання його з денотативними методами. Реалізація такого методу на практиці сприяє уніфікації процесу розробки програмно-апаратного продукту, тим самим оптимізує та реально об’єктивізує вплив активної ролі суб’єкта у телеконцептуванні через механізм оракульних телекомунікацій як технологію телекомунікаційних рішень задач.
4. Вперше запропоновано основні логіко-предметні засади суб’єкто-об’єктної телекомунікаційної системи програмування як предметного замикання СОСрП. Головною особливістю створюваних таким чином систем програмування є те, що вони реально, а не лише номінально підтримують причинно-наслідкове взаємодоповнення двох складових вирішення будь-якої програмістської задачі – програмування як породження та застосування композицій і програми – наслідку програмування.
Отримано наступні практичні та теоретичні результати досліджень:
1. Розроблена дослідна реалізація СОСрП, що підтримує розробку програмного забезпечення як предметного замикання відповідного середовища. Прагматикообумовлені умови такого замикання задаються у дескриптивному середовищі композиційних термів. Синтаксичне оформлення рішення здійснюється Verilog-дескриптором. Можлива підтримка створення апаратного забезпечення із залученням FPGA як базису апаратної платформи із використанням САПР “Quartus”.
2. Одержані в дисертації нові результати використані під час виконання науково-дослідної роботи “Композитологічні засади технологічних систем програмування” (№0122U001568), та як матеріали при підготовці та викладанні курсу лекційних і практичних занять з дисципліни “Системне програмування та керування базами даних в телекомунікаціях” другого (магістерського) рівня вищої освіти спеціальності 172 «Електронні комунікації та радіотехніка» освітньо-професійної програми «Інформаційно-обчислювальні засоби радіоелектронних систем», що підтверджено відповідною довідкою та актом.
Registration Date
2024-01-08
popup.nrat_date
2024-03-06 / 2026-07-01
