Search academic texts

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