05.13.05 "Комп'ютерні системи та компоненти"
Постійне посилання колекціїhttps://repository.kpi.kharkov.ua/handle/KhPI-Press/19577
Переглянути
9 результатів
Результати пошуку
Документ Моделі і методи оброблення транзакцій композитних застосунків у розподілених комп'ютерних системах(Національний технічний університет "Харківський політехнічний інститут", 2019) Бульба, Сергій СергійовичДисертація на здобуття наукового ступеня кандидата технічних наук (доктора філософії) за спеціальністю 05.13.05 – комп'ютерні системи та компоненти (123 – Комп'ютерна інженерія). – Національний технічний університет "Харківський політехнічний інститут", Міністерство освіти і науки України, Харків, 2019. Дисертаційна робота присвячена вирішенню наукового завдання розробки методів і засобів розподілу ресурсів між композитними застосунками в розподіленому середовищі з метою підвищення якості виконання композитних застосунків. Метою роботи є підвищення ефективності використання ресурсів розподілених комп'ютерних систем на основі розроблення нових та удосконалення існуючих моделей і методів оброблення транзакцій композитних застосунків. У дисертаційній роботі вперше запропонована математична модель процесу розподілу ресурсів між композитними застосунками у розподіленому хмарному середовищі, яка на відміну від існуючих, враховує часові вікна за допомогою введення віртуального часу на протязі розглядаємого часового інтервалу обробки інформації, що дозволяє враховувати періодично виникаючі обмеження щодо доступності певних ресурсів. Вдосконалено критерій оцінки якості розподілу ресурсів розподіленого хмарного середовища, який на відміну від існуючих використовує показник утилізації ресурсів, що дозволило підвищити збалансованість навантаження при виконанні транзакцій композитних застосунків. Набув подальшого розвитку метод планування виконання транзакцій композитних застосунків за рахунок сумісного використання жадібного, кластеризаційного та мурашиного алгоритмів оптимізації, що дозволило зменшити час виконання оптимального плану транзакцій у порівнянні з існуючими методами у середньому до 8%.Документ Методи обробки та передачі даних для підсистеми інформаційного забезпечення машиніста локомотива(Національний технічний університет "Харківський політехнічний інститут", 2019) Ліпчанська, Оксана ВалентинівнаДисертація на здобуття наукового ступеня кандидата технічних наук за спеціальністю 05.13.05 – комп'ютерні системи та компоненти. – Національний технічний університет "Харківський політехнічний інститут", Харків, 2019. У дисертації вирішена задача розробки методів обробки та передачі даних для підсистеми інформаційного забезпечення машиніста локомотива. На підставі вивчення сучасних методів і засобів обробки і передачі даних на залізничному транспорті встановлено, що існує суперечність між підвищенням швидкості та інтенсивності руху залізничного транспорту, збільшенням кількості аварійно-небезпечних ділянок, ускладненням системи управління залізничним транспортом, підвищенням вимог до якості інформаційного забезпечення машиніста локомотива та застосовуваними математичним апаратом і технологіями управління кодування/декодування. Обґрунтовано вибір технології математичної формалізації на основі мереж масового обслуговування та нейронних мереж. Розроблено концептуальну модель бездротового сегменту підсистеми інформаційного забезпечення машиніста локомотива, яка побудована з використанням технології 4G і враховує тип модуляції QPSK та процедуру перемежіння при передачі кадрів для зниження ймовірності помилкового прийому при забезпеченні високої швидкості передачі даних. Розроблено математичну модель процесу передачі даних по фізичному розподіленому uplink каналу, яка враховує особливості передачі даних відповідно до стандарту LTE в динамічних умовах магістралі залізниці і дозволяє оцінити ймовірносно-часові характеристики процесу передачі даних в підсистемі інформаційного забезпечення машиніста локомотива. Розроблено математичну модель управління доступом до сегменту комп'ютеризованої системи залізничного транспорту, яка враховує особливості передачі даних відповідно до стандарту LTE в динамічних умовах магістралі залізниці. Удосконалено процедуру завадостійкого декодування потокового відео, що передається в бездротовому сегменті 4G мережі підсистеми інформаційного забезпечення машиніста локомотива, що дозволяє підвищити оперативність при передачі даних, скоротити загальну кількість обчислень при декодуванні і звільнити обчислювальні ресурси комп'ютеризованої системи. Розроблено інтелектуальну систему контролю стану небезпечних ділянок залізничного шляху із застосуванням адаптованої згортальної нейронної мережі, що дозволяє підвищити достовірність розпізнавання небезпечних ситуацій на залізничних переїздах і інформувати машиніста в разі виникнення критичної ситуації. Обґрунтовано практичні рекомендації щодо застосування розроблених методів.Документ Моделі, методи та програмні компоненти бортової комп'ютерної системи дизель-поїзда(Національний технічний університет "Харківський політехнічний інститут", 2019) Гейко, Геннадій ВікторовичДисертація на здобуття наукового ступеня кандидата технічних наук за спеціальністю 05.13.05 – комп'ютерні системи та компоненти. – Національний технічний університет "Харківський політехнічний інститут", Харків, 2019. Дисертаційна робота присвячена вирішенню науково-практичної задачі, яка полягає в розробленні та дослідженні моделей, методів та програмних компонентів бортової комп'ютерної системи керування дизель-поїзда з метою уточнення метода тягових розрахунків. В дисертації запропоновано метод і програмний компонент, який виконує ідентифікацію параметрів моделі дизель-поїзда та враховує зміну параметрів електропривода під час руху дизель-поїзда, а також здійснює підстроювання параметрів моделі електропривода в реальному часі, що дозволяє точніше розраховувати керуючі впливи для керування об'єктом. Розроблено метод і програмний компонент, який реалізує розрахунок величини струму статора кожного тягового асинхронного двигуна не по середньому, а по діючому значенню його першої гармоніки, що дозволило уточнити закон керування електропередачею. Розроблено математичну модель, яка дозволяє проводити дослідження процесів в електропередачі, які виникають при боксуванні. Запропоновано метод та програмний компонент виявлення боксування колісних пар дизель-поїзда з використанням нечіткої логіки, застосування якого дозволило виявляти синхронне та індивідуальне боксування, скоротити час виявлення боксування та підвищити тягові властивості дизель-поїзда. Розроблено програмний компонент, який реалізує алгоритм роботи рекурентної нейронної мережі, яка поряд з виявленням відхилення параметрів від оптимальних значень на кожній позиції контролера машиніста забезпечує оперативний контроль перевищення граничних значень параметрів об'єкта та визначає процеси, що пов'язані з вузлами об'єкта, які працюють у позаштатному режимі, що підвищило якість контролю та діагностики стану дизель-поїзда. Проведені експериментальні дослідження вдосконаленої комп'ютерної системи керування дизель-поїзда ДЕЛ-02 як на рівні математичного моделювання, так і на реальному об'єкті, підтвердили достовірність запропонованих рішень по уточненню метода тягових розрахунків.Документ Методи і засоби розроблення мультипараметризовних проектів програмованої логіки для вбудованих систем(Національний аерокосмічний університет ім. М. Є. Жуковського "Харківський авіаційний інститут", 2018) Перепелицин, Артем ЄвгеновичДисертація на здобуття наукового ступеня кандидата технічних наук (доктора філософії) за спеціальністю 05.13.05 "Комп'ютерні системи та компоненти". – Національний технічний університет "Харківський політехнічний інститут", Харків, 2018 р. Дисертаційна робота присвячена розв'язанню важливої науково-технічної задачі, яка полягає в розробленні методів і засобів створення мультипараметризовних проектів програмованої логіки для вбудованих систем. Метою роботи є скорочення кількості необхідних ресурсів, підвищення продуктивності або підвищення надійності вбудованих систем на програмовної логіці з урахуванням заданої пріоритетної характеристики. У дисертаційній роботі вперше запропоновано модель мультипараметризовних проектів програмованої логіки, яка враховує можливість зміни розрядності і інтерпретації вхід-вихідних даних, функцій та архітектур компонентів і проектів на їх основі, що дозволяє сформувати множину варіантів для реалізації з потрібною продуктивністю і надійністю при обмежених апаратних ресурсах кристала. Вдосконалено метод розроблення мультипараметризовних проектів програмованої логіки для вбудованих систем який відрізняється від відомих можливістю вибору архітектури і паралельної або послідовної реалізації компонентів проекту, що дозволяє підвищити продуктивність або скоротити обсяг апаратних ресурсів. Отримав подальший розвиток метод підвищення надійності вбудованих систем на програмовній логіці який відрізняється від відомих можливістю конфігурації різних варіантів відмовостійких архітектур, що дозволяє підвищити стійкість до збоїв та відмов. Проведено експериментальне дослідження кількості необхідних ресурсів програмовної логіки для мультипараметризовної реалізації арифметичних операцій, в тому числі реалізацію параметризовних суматорів і помножувачів.Документ Методи і засоби забезпечення виконання вимог до кібербезпеки систем на програмовній логіці(Національний аерокосмічний університет ім. М. Є. Жуковського "Харківський авіаційний інститут", 2018) Ілляшенко, Олег ОлександровичДисертація на здобуття наукового ступеня кандидата технічних наук за спеціальністю 05.13.05 – комп'ютерні системи та компоненти. – Національний технічний університет "Харківський політехнічний інститут", Харків, 2018 р. Дисертаційна робота присвячена розробленню методів та засобів забезпечення виконання вимог до кібербезпеки систем на програмовній логіці. Науковими результатами є: 1) вперше запропонований метод кейс-орієнтованого оцінювання кібербезпеки цифрових компонентів і систем на програмовній логіці, який базується на використанні множини взаємопов'язаних формальних і напівформальних процедур та аналізі можливих помилок при оцінюванні, що дозволяє підвищити рівень запевнення виконання вимог; 2) удосконалено онтологічну модель та нотацію для оцінювання кібербезпеки систем на програмовній логіці, яка, на відміну від відомих, враховує їх процесно-продуктні вразливості та додаткову декомпозицію вимог, а також вводить алгоритми дій при аналізі виконання вимог, що дозволяє підвищити достовірність оцінювання; 3) удосконалено показники глибини деталізації та чіткості формування вимог до кібербезпеки шляхом класифікації вимог з урахуванням можливості їх декомпозиції, а також наявності, типу і структури свідоцтв реалізовності, що дозволяє оцінити граничні значення методичних похибок при оцінюванні та сформувати рекомендації щодо деталізації вимог; 4) отримав подальшого розвитку метод забезпечення інформаційної кібербезпеки цифрових компонентів і систем на програмовній логіці, який, на відміну від відомих, аналізує невідповідності вимог з використанням процедур опису вразливостей і оцінки критичності наслідків втручань, а також визначає множини контрзаходів за критерієм "безпека-вартість", що дозволяє зменшити ризики до прийнятного рівня. Запропоновані методи та засоби дозволяють підвищити достовірність оцінювання та забезпечення виконання вимог до кібербезпеки систем на програмовній логіці.Документ Моделі та методи синтезу і реконфігурації архітектур комп'ютерних систем і мереж об'єктів критичного застосування(Харківський національний університет радіоелектроніки, 2018) Коваленко, Андрій АнатолійовичДисертація на здобуття наукового ступеня доктора технічних наук за спеціальністю 05.13.05 – комп'ютерні системи та компоненти. – Харківський національний університет радіоелектроніки, Національний технічний університет "Харківський політехнічний інститут", Міністерство освіти і науки України, Харків, 2018. Дисертаційна робота присвячена вирішенню актуальної науково-прикладної проблеми забезпечення вимог з оперативності процесу обміну інформацією в комп'ютерних системах (КС) об'єктів критичного застосування (ОКЗ) на основі розробки математичного апарату (математичних моделей і методів) синтезу нових і реконфігурації існуючих архітектур комп'ютерних систем і мереж. Проведено аналіз стану проблеми, тенденцій розвитку КС ОКЗ, а також вимог до архітектур КС і мереж ОКЗ. В результаті встановлено, що на даний момент існуючі моделі та методи синтезу і реконфігурації КС ОКЗ не завжди призводять до забезпечення вимог з оперативності процесу обміну інформацією в КС і мережах (КСіМ) ОКЗ. Ця обставина визначає необхідність удосконалення відповідного класичного математичного інструментарію для підвищення оперативності передачі інформації. Розроблено комплекс методів багатопараметричного синтезу архітектур КСіМ ОКЗ, який оптимізує витрати на побудову компонентів КС об'єкту критичного застосування, котрі забезпечують виконання вимог з оперативності. Дістала подальшого розвитку модель процесу розподілу задач по компонентах розподіленої КС ОКЗ, що дозволяє при великих розмірностях суттєво прискорити рішення відповідної задачі оптимізації. Розроблено комплекс моделей еволюції архітектур комп'ютерних мереж (КМ) ОКЗ, що дозволяє виконати прогноз змін архітектури мережі протягом фіксованого часового інтервалу. Розроблено комплекс методів реконфігурації КМ ОКЗ, що дозволяє скорегувати множину параметрів функціонування бездротових компонентів мережі для зменшення часу передачі інформації. Удосконалено математичну модель функціонування хмарної компоненти КМ ОКЗ, що дозволяє прискорити процес передачі інформації. Удосконалено метод побудови оптимальних часових шкал для апроксимації довжини черг КМ ОКЗ, що дозволяє визначити довжину черг при реконфігурації мережі. Удосконалено метод передачі інформації у бездротовому сегменті КМ ОКЗ, що призводить до зменшення часу передачі інформації.Документ Проектування програмних засобів комп'ютерних систем критичного застосування для забезпечення інформаційної безпеки(НТУ "ХПІ", 2018) Халіфе, КассемДисертація на здобуття наукового ступеня кандидата технічних наук за спеціальністю 05.13.05 – комп'ютерні системи та компоненти. – Національний технічний університет "Харківський політехнічний інститут", Харків, 2018 р. В дисертації вирішено завдання забезпечення необхідного рівня безпеки системних програмних засобів на основі синтезу методу проектування ПЗ КСКЗ. На підставі вивчення сучасних методологій проектування ПЗ встановлено, що існує протиріччя між збільшенням ступеня використання системних програмних засобів в комп'ютерних системах критичного застосування, підвищенням вимог до його безпеки та існуючим станом методів ПЗ КСКЗ. Обґрунтовано вибір технології математичної формалізації на основі GERT-мережі. Розроблено комплекс математичних моделей технології управління та тестування програмних засобів, що складається з GERT-моделі тестування програмних засобів та GERT-моделі системи управління тест-кейсами. Це дозволило підвищити точність результатів математичного моделювання в умовах тестування на уразливості до різного роду загроз зловмисних хакерських вторгнень та проводити попередню оцінку часових витрат етапу розробки технічної документації проекту. Розроблено метод масштабування методології проектування програмних засобів з урахуванням вимог безпеки, що відрізняється від відомих можливістю управління існуючими в організації силами як в складі команди, так і в площині фахівців суміжного напряму. Розроблено математичні моделі етапу ініціалізації та реалізації функціоналу програмних засобів. Це дозволило виділити ряд найбільш важливих параметрів оцінки часових витрат ініціалізації, визначити їх залежності від якісних характеристик учасників проекту, та підвищити точність результатів моделювання на 3%. Синтезовано спосіб масштабування існуючої методології проектування програмних засобів комп'ютерних систем критичного застосування з урахуванням вимог безпеки. Обґрунтовано практичні рекомендації щодо застосування розроблених методів.Документ Моделі і методи побудови архітектури і компонентів детекторних нейроморфних комп'ютерних систем(НТУ "ХПІ", 2018) Паржин, Юрій ВолодимировичДисертація на здобуття наукового ступеня доктора технічних наук за спеціальністю 05.13.05 – комп'ютерні системи та компоненти. – Національний технічний університет "Харківський політехнічний інститут", Міністерство освіти і науки України, Харків, 2018. Дисертація присвячена вирішенню проблеми підвищення ефективності побудови та використання нейроморфних комп'ютерних систем (НКС) в результаті розробки моделей побудови їх компонентів та загальної архітектури, а також методів їх навчання на основі формалізованого детекторного принципу. В результаті аналізу і класифікації архітектури та компонентів НКС встановлено, що в основі всіх їх нейромережевих реалізацій лежить конекціоністська парадигма побудови штучних нейронних мереж. Було обґрунтовано та формалізовано альтернативний до конекціоністської парадигми детекторний принцип побудови архітектури НКС та її компонентів, в основі якого лежить встановлена властивість зв’язності елементів вхідного вектору сигналів та відповідних вагових коефіцієнтів нейроелемента НКС. На основі детекторного принципу були розроблені багатосегментні порогові інформаційні моделі компонентів детекторної НКС (ДНКС): блоків-детекторів, блоків-аналізаторів та блоку новизни, в яких в результаті розробленого методу зустрічного навчання формуються концепти, що визначають необхідні і достатні умови формування їх реакцій. Метод зустрічного навчання ДНКС дозволяє скоротити час її навчання при вирішенні практичних задач розпізнавання зображень до однієї епохи та скоротити розмірність навчальної вибірки. Крім того, цей метод дозволяє вирішити проблему стабільності-пластичності пам'яті ДНКС та проблему її перенавчання на основі самоорганізації карти блоків-детекторів вторинного рівня обробки інформації під управлінням блоку новизни. В результаті досліджень була розроблена модель мережевої архітектури ДНКС, що складається з двох шарів нейроморфних компонентів первинного та вторинного рівнів обробки інформації, та яка дозволяє скоротити кількість необхідних компонентів системи. Для обґрунтування підвищення ефективності побудови та використання НКС на основі детекторного принципу, були розроблені програмні моделі ДНКС автоматизованого моніторингу та аналізу зовнішньої електромагнітної обстановки, а також розпізнавання рукописних цифр бази даних MNIST. Результати дослідження цих систем підтвердили правильність теоретичних положень дисертації та високу ефективність розроблених моделей і методів.Документ Моделі та методи розподілу мережевого ресурсу комп'ютерних мереж геоінформаційной системи екологічного моніторингу(НТУ "ХПІ", 2018) Нааем, Хазім Рахім НааемДисертація на здобуття наукового ступеня кандидата технічних наук за спеціальністю 05.13.05 – Комп'ютерні системи та компоненти. – Національний технічний університет "Харківський політехнічний інститут", Харків 2018. Дисертаційна робота присвячена вирішенню науково-практичної задачі удосконалення методу розподілу мережевого ресурсу комп'ютерних систем геоінформаційної системи екологічного моніторингу, що дозволяє підвищити оперативність функціонування цієї систем за рахунок використання розроблених моделей та методів розподілу обчислювального ресурсу мережі. Розроблено метод ухвалення рішень по організації стаціонарних постів системи ГІС екологічного моніторингу, який у відмінності від існуючих враховує параметр, що визначає швидкість зміни рівня поточного забруднення, величину концентрації небезпечних хімічних речовин (ОХВ) і розу вітрів, характерну для цієї місцевості. Запропоновано модель трафіку передачі даних гібридної комп'ютерної мережі ГІС екологічного моніторингу, яка враховує злиття інформаційних потоків, що мають різні статистичні моделі та метод розподілу мережевого ресурсу гібридної комп'ютерної мережі ГІС за рахунок використання технології MIMO, що дозволяє на 12-15% понизити час, необхідне на доставку даних моніторингу. Розроблена модель програмно-апаратних засобів, використання якої враховує особливості безпровідній передачі даних від декількох джерел інформації у гібридної комп'ютерної мережі ГІС.