123 "Комп'ютерна інженерія"
Постійне посилання колекціїhttps://repository.kpi.kharkov.ua/handle/KhPI-Press/48900
Переглянути
Документ Моделі, методи та програмні компоненти комп'ютерної системи тягового рухомого складу(Національний технічний університет "Харківський політехнічний інститут", 2020) Главчев, Дмитро МаксимовичДисертація на здобуття наукового ступеня доктора філософії (PhD) за спеціальністю 123 – Комп’ютерна інженерія – Національний технічний університет “Харківський політехнічний інститут”, Харків, 2020. Об’єктом дослідження є процеси управління тяговим рухомим складом за допомогою бортової комп’ютерної системи, що використовується у дизель-потягах серії ДЕЛ-02. Предметом дослідження є моделі, методи та відповідні програмні компоненти, які використовуються в комп’ютерній системі тягового рухомого складу, та розширюють область застосування геометричної теорії управління при синтезі оптимальних керувань рухомим складом, а також методи і засоби розробки сучасних програмних комплексів в рамках розробки комп’ютерної системи підтримки прийняття рішень машиніста дизель-потяга серії ДЕЛ-02. У вступі акцентовано увагу та обгрунтовано актуальність теми, що досліджується, показано зв’язок роботи з науковими програмами, планами та темами, наведено наукову новизну, а також, сформульовано практичне значення отриманих результатів. В першому розділі здійснено аналітичний огляд моделей, методів та програмних компонентах, що використовуються в комп’ютерних системах управління тяговим рухомим складом. Розглянуто особливості структури та роботи подібних систем на залізничному транспорті в Україні та світі (Китай, Індія, Німеччина, країни СНД). На прикладі роботи таких систем було розглянуто їх структуру, технічні характеристики, області застосування та особливості використання. В рамках першого розділу, також, було розглянуто математичну модель об’єкта управління, приклад методу лінеаризації даної математичної моделі, метод пошуку функцій перетворення, що пов’язують змінні лінійної та нелінійної математичної моделей. Також, було розглянуто можливості використання нейромережевої асоціативної пам’яті в системах управління та проаналізовано методи синтезу оптимальних систем управління. В результаті, було обрано основні напрямки досліджень та поставлено основні задачі дисертаційної роботи. В другому розділі було розглянуто питання перетворення нелінійних математичних моделей в еквівалентні лінійні математичні моделі в формі Бруновського. Також, було розглянуто методи спрощення аналітичних перетворень під час виконання процесу лінеаризації за рахунок перетворення до лінійного виду нелінійних систем з різною кількістю одночленів в правих частинах диференційних рівнянь початкового об’єкту, а також, відокремлення лінійного рівняння від системи в цілому. Дані методи було перевірено шляхом моделювання руху по відрізку шляху початкового об’єкту у вигляді нелінійної системи диференційних рівняннь та об’єкту перетвореного у лінійну форму Бруновського, з подальшим порівнянням отриманих результатів, які показали співпадіння, що свідчить про те, що у разі використання даного методу лінеаризації отримується лінійна математична модель, що є повністю еквівалентною початковій недінійній моделі. Додатково, було виконано лінеаризацію більш складної нелінійної математичної моделі, що описує роботу потяга з двома окремими двигунами, перевірка результатів моделювання лінійної моделі показала повну еквівалентність її початковій формі. Результати досліджень дозволили отримати ряд наукових результатів: − визначено залежність кількості та складності розрахунків під час проведення лінеаризації та пошуку функцій перетворень від кількості одночленів в правій частині рівнянь нелінійної математичної моделі; − запропоновано два нових методи пошуку функцій перетворення, що пов’язують змінні лінійної та нелінійної моделей, що дозволяють розширити область застосування ГТУ на об’єкти, праві частини диференційних рівнянь яких містять більше двох одночленів; − запропоновано метод зниження кількості обчислень при виконанні лінеаризації за рахунок відокремлення лінійного рівняння від системи; − виконано перевірку даного методу, який показа свою роботоспроможність на більш складних математичних моделях, зокрема на моделі, що описує роботу потяга з використанням двох еквівалентних двигунів. В третьому розділі розглянуто питання створення нового методу для пошуку функцій перетворення з використанням нейронних мереж. В рамках даного розділу запропоновано нову нейронну мережу, яка може бути використана для пошуку функцій перетворення. Наряду з цим в даному розділі було запропоновано новий табличний метод пошуку функцій перетворення, який є простим та наочним, там може використовуватися для швидкого отримання результатів при виконанні розрахунків. Дослідження, проведені в даному розділі дозволили отримати наступні наукові результати: − створено та запропоновано нову нейронну мережу для пошуку функцій перетворення, що пов’язують змінні нелінійної та лінійної моделей об’єкта управління, а це, в свою чергу, розширює область застосування геометричної теорії управління; − запропоновано новий табличний метод для пошуку функцій перетворення, який є досить простим для сприйняття та достатньо наочним. В рамках цього, запропоновано систему рівнянь в частинних похідних з обмеженнями у вигляді диференціальних нерівностей представляти у вигляді відповідної таблиці, яка дає змогу в наочному вигляді отримувати залежність функцій перетворень від аргументів, також формувати системи лінійних однорідних рівнянь, за допомогою яких можна буде звужувати область пошуку функцій перетворення. В четвертому розділі присвячено увагу програмним компонентом бортової комп’ютерної системи, а також розробленому програмному забезпеченню, що дозволяє розширити область застосування геометричної теорії управління. А саме, було розглянуто нові функціональні можливості розробленого програмного забезпечення, та описано його основні характеристики та структуру. В рамках опису розробленого програмного забезпечення особливу увагу приділено структурі та опису роботи окремих функціональних блоків програми, розробці структури інтерфейсу, надійності програмного забезпечення, компонентів для вирішення завдань управління за допомогою геометричної теорії управління, оцінці якості програмного забезпечення. Також, в даному розділі приведено приклад роботи розробленого програмного забезпечення. Крім того, в даному розділі приведено результати рішення завдання оптимального руху дизель-потягу по маршруту його прямування, в рамках чого було виконано моделювання руху потяга по маршруту та та порівняння отриманих даних з даними руху реального потяга, а також виконано спробу підвищити ефективність руху потяга за рахунок оптимізації окремих множин перегонів з урахуванням особливостей маршруту прямування. В рамках даного розділу були отримані наступні наукові результати: − розроблено нове програмне забезпечення, яке отримало подальший розвиток завдяки використанню можливостей сучасних мов програмування. Розроблене програмне забезпечення є більш стабільним завдяки блоку тестування, більш зручним завдяки створеному графічному інтерфейсу користувача, більш функціональним, адже воно може виконувати процес лінеаризації та пошуку функцій перетворення, але при цьому багато функціональних можливостей є автоматизованими, в вихідних даних наявні коментарі та пояснення, що збільшує рівень зручності користування даним програмним забезпеченням, крім того, характеристики програми відповідають вимогам стандарту з якості програмного забезпечення; − було виконано дослідження залежності кількості спожитого палива під час руху потяга від особливостей рельєфу місцевості, стилю ведення потяга та розкладу його руху. − було запропоновано та протестовано метод зниження кількості спожитого палива, використовуючи особливості рельєфу місцевості, допустимі відставання чи випередження графіку руху потяга, а також визначення оптимального стилю руху як для маршруту в цілому, так і для його окремих частин; − було виконано моделювання руху потяга по реальному маршруту, а результати порівняні з реальним потягом, що курсує цим маршрутом, результати показали правильність моделювання. Отже, дисертаційна робота присвячена розвязанню науково-прикладної задачі, а саме, розробки моделей, методів та програмних компонентів компютерної системи тягового рухомого складу, яка створена на основі узагальнених математичних моделей, розробленого програмного забезпечення, а також засобів оптимізації управління рухомими об’єктами з використанням нових методів, а також використання нової стуктури нейронних мереж для пошуку функцій перетворення, що дозволило розширити область застосування геометричної теорії управління, що створює передумови для розробки автоматичних систем управління потягом та дозволяє поліпшити характеристики, повязані з об’ємами споживання енергоресурсів. Вдосконалена модель дизель-потяга враховує основні види взаємодії потяга та профілю шляху, а саме, повороти, нахили, а також роботу двигунів потяга, що адекватно відображає протікаючі в реальному дизель-потязі процеси. Було створено спеціалізоване програмне забезпечення, що має графічний інтерфейс користувача, а також відповідає вимогам оцінки якості програмного забезпечення. Дане програмне забезпечення реалізує вдосконалену структуру людино-машинної системи, дає можливість виконати автоматизацію аналітичних перетворень геометричної теорії управління у формі Бруновського. Нова структура нейронних мереж, базується на нейронних мережах типу АРТ, що дозволяє вирішувати завдання, що мають декілька рішень. Це дозволило виконати розробку нового методу пошуку функцій перетворення, які зв’язують змінні нелінійних та лінійних моделей у формі Бруновського. Для збільшення ефективності процесу лінеаризації було запропоновано декілька методів спрощення процесу розрахунків за рахунок зменшення кількості елементів в правій частині початкової системи диференційних рівнянь, та за рахунок відокремлення першого рівняння, яке саме по собі вже є лінійним, від загальної системи в цілому. Виконані дослідження та розробки дозволили вдосконалити структуру бортової компютерної системи підтримки прийняття рішень машиніста дизель потяга, що дозволило, в реальних умовах руху динамічного об’єкту, під час змін дорожніх умов, виконувати перерахунки та видавати машиністу нові закони керування, які дозволять продовжити рух по маршруту з дотриманням графіку та мінімальними витратами паливо-енергетичних ресурсів. Проведені дослідження на реальному обєкті та математичних моделях. Результати досліджень підтвердили правильність використовуваних інструментів, методів та алгоритмів, на основі яких були запропоновані відповідні рішення, які лягли в основу розробленого програмного забезпечення.Документ Система підтримки прийняття діагностичних рішень при аналізі цифрових медичних зображень(Національний технічний університет "Харківський політехнічний інститут", 2023) Шехна, ХаледДисертація на здобуття наукового ступеня доктора філософії (PhD) за спеціальністю 123 – Комп’ютерна інженерія – Національний технічний університет “Харківський політехнічний інститут ”, Харків, 2023. Дисертація присвячена вирішенню актуальної науково-практичної задачі підвищення ефективності виявлення анатомічних та патологічних структур на слабо контрастних напівтонових зображеннях молочної залози шляхом розробки формалізованої моделі процесу мамографічного обстеження, математичних методів реалізації її окремих етапів та розробка системи підтримки прийняття рішень за допомогою сучасних інформаційних технологій. Метою дисертаційної роботи є удосконалення методів аналізу напівтонових біомедичних зображень в мамографічних системах підтримки прийняття рішень. Об'єктом дослідження є процес аналізу анатомічних та патологічних структур на цифрових мамограмах. Предметом дослідження виступають методи виділення та класифікації анатомічних та патологічних структур на цифрових мамограмах. У вступі акцентовано увагу та обґрунтовано актуальність теми, що досліджується, показано зв’язок роботи з науковими програмами, планами та темами, наведено наукову новизну та практичне значення отриманих результатів.В першому розділі проаналізовано види досліджень молочних залоз та показана важливість мамографічних обстежень, які є найбільш безпечними і недорогими, та мають достатню інформативність, особливо на ранніх етапах діагностики патології молочної залози. Виконано аналіз методів цифрової обробки біомедичних зображень та розглянуті особливості побудови систем підтримки прийняття рішень в медицині біомедичних зображень. Показано, що існуючі методи цифрової обробки зображень мають обмежену сферу застосування при обробці мамограм, оскільки зазначені зображення малоконтрастні, містять значну шумову складову, а параметри діагностичних елементів – значну варіабельність. Крім того, такі елементи мамограм, як зовнішньопротокові утворення та мікрокальцинати мають регулярну (фрактальну) структуру. Обгрунтована актуальність обраної теми роботи та встановлена доцільність розробки спеціалізованих методів пошуку анатомічних і патологічних структур на цифрових мамограмах, а також класифікацію мамограм відповідно до типів виявлених патологій. Отримані висновки дали змогу сформулювати мету роботи та задачі дослідження. В другому розділі виконана формалізація етапів процесу проведення мамографічних досліджень лікарем-мамологом та виділені критичні елементи мамографічної СППР, які можуть призвести до вироблення некоректних рішень або відмови від прийняття рішення. Виконана формалізації етапів процесу проведення мамографічних досліджень та розроблена узагальнена модель процесу, яка включає функціональну, структурну, інформаційну та математичну модель, які в остаточному підсумку дозволяють підвищити достовірність та обґрунтованість лікарських рішень та мінімізувати ризики лікарських помилок. В третьому розділі розглянуто особливості процесу морфологічного аналізу цифрових мамограм. Відмічено, що мамограма відноситься до класу біомедичних зображень з локально зосередженими ознаками. Завданням морфологічного аналізу є виділення на фоні завад інформативних структурних елементів мамограм, параметри яких слугують для формування простору діагностичних ознак. Показано перспективність використання фрактального аналізу для дослідження та класифікації мамограм, зокрема, для діагностики раку молочної залози на ранніх стадіях розвитку. Розроблено метод морфологічного аналізу цифрових маммограм з урахуванням їхньої фрактальної розмірності. Наведено відповідні математичні вирази та пропонується алгоритм обчислення фрактальної розмірності напівтонових зображень мамограм, або їх виділених фрагментів – зон інтересу. В четвертому розділі виконано розробку комбінованого діагностичного вирішального правила. Відмічено два підходи при постановці діагнозу: – традиційна діагностика, де кожне захворювання характеризується деяким набором значень діагностичних ознак (симптомів), які формують симптомокомплекс захворювання, та є експертною оцінкою кожного захворювання (суб’єктивна складова); – задача класифікації, в якій моделлю об’єкта діагностики є "чорна шухляда", і шукається залежність між формалізованими станами об’єкта діагностики (множиною діагностичних станів в заданій предметній області) і вектором вхідних діагностичних ознак (об’єктивна складова). Вказана залежність визначається на етапі навчання при аналізі навчальної вибірки, елементами якої виступають пацієнти з підтвердженим діагнозом, а в подальшому на етапі класифікації вона використовується для постановки діагнозу нових пацієнтів при аналізі вектору вхідних ознак. Обґрунтовано застосування в якості об’єктивної складової метод порівняння з еталоном, та розглянуто механізми врахування експертних оцінок щодо структури симптомокомплексу при обчисленні координат еталонів класів. В п’ятому розділі розроблена структура СППР проведення мамографічних обстежень на основі розроблених раніше функціональної, інформаційної, структурної та математичної моделей. Сформовано вимоги, яким повинна задовольняти система та розглянуто функціональне призначення основних модулів системи. Тестова перевірка виконувались за допомогою інтерактивного середовища MatLab із вбудованою високорівневою мовою програмування. Виконано тестування розроблених в дисертації методів на реальних даних, яке підтвердило їх працездатність та ефективність. У висновках наведено основні результати наукової роботи щодо вирішення поставлених наукових задач дослідження. За результатами дослідження отримано такі наукові результати: – удосконалено загальну модель процесу маммографічного обстеження, яка включає функціональну, структурну, інформаційну та математичні моделі шляхом формалізації етапів: введення діагностичних даних та попередня обробка мамограм з урахуванням особливостей їхнього відображення на слабоконтрастних напівтонових зображеннях молочної залози; фрактальна обробка цифрових мамограм з метою формування системи діагностичних ознак; розробка діагностичного вирішального правила формування комп’ютерного діагнозу; вироблення рішення щодо проведення діагностико-лікувального процесу, що дозволило застосувати формальні методи реалізації відмічених етапів; – набув подальший розвиток метод виділення та класифікації анатомічних та патологічних структур на цифрових маммограмах, включаючи внутрішньопротокові утворення та мікрокальцинати шляхом розрахунку їх фрактальної розмірності, що дозволило сформувати вектор діагностичних ознак для постановки комп’ютерного діагнозу; – вперше розроблено комбіноване діагностичне вирішальне правило на основі модифікації методу порівняння з еталоном шляхом внесення експертної інформації щодо структури симптомокомплексів при обчисленні координат прототипів класів, яке дозволяє врахувати як об’єктивну ймовірністну складову, так і суб’єктивну складову процесу постановки діагнозу, яка є формалізацією експертної оцінки структури симптомокомплексу вказаного захворювання. Запропоновано варіанти спільного використання його складових (колектив вирішальних правил, зважування та підсумовування оцінок). Практичне значення отриманих результатів для галузі інформаційних технологій полягає в тому, що розроблені в дисертаційній роботі методи фрактальної обробки цифрових мамограм слугують науково-методичною основою для розробки відповідного інформаційного, алгоритмічного та програмного забезпечення. Розроблена комп’ютерна система, яка забезпечує підтримку прийняття рішення при класифікації цифрових мамограм на предмет наявності/відсутності патологічних структур з метою подальшої діагностики. Результати дисертаційної роботи впроваджені у навчальний процес НТУ “ХПІ” на кафедрі “Комп’ютерна інженерія та програмування” при вивченні дисциплін «Обробка сигналів та зображень», «Проектування комп'ютерних діагностичних систем», «Основи наукових досліджень» та в дипломному і курсовому проектуванні.