Дисертації
Постійний URI для цієї колекції
Перегляд
Перегляд Дисертації за назвою
Зараз показано 1 - 20 з 24
Результатів на сторінку
Варіанти сортування
Публікація Optimization models of fault-tolerant and secure routing in a telecommunication network over disjoint paths(2023) El Haj Sleiman Batoul HadiThe dissertation solves an actual scientific and practical problem of optimizing the fault-tolerant and secure routing processes over disjoint paths in telecommunication networks (TCNs) by developing, improving, and investigating appropriate mathematical models. The analysis results confirmed the importance and priority of Quality of Service (QoS), fault tolerance, and network security in modern and prospective telecommunication networks. It is emphasized that to achieve this goal, the functionality of advanced traffic management technologies, and especially routing protocols, should be used to the maximum extent possible. The latest routing protocols should support multipath solutions, calculate paths that provide high indicators of Quality of Service and network security, and implement schemes of local, segment, and global protection (redundancy) of bandwidth and network elements under conditions of single and multiple failures. The problems of improving mathematical models, methods, and protocols of routing in TCN with their adaptation to modern requirements come to the forefront. An effective direction of routing models and methods improvement is the use of disjoint paths, which allows the introduction and further effective and optimal use of the network resources redundancy for systemic increase of QoS level, fault tolerance, and network security. The mathematical models of QoS routing in a telecommunication network over disjoint paths are improved in the dissertation work. The scientific novelty of DocuSign Envelope ID: 39D93768-F089-4D37-873A-75DCD1B7E616 9 the first mathematical model consists of introducing new conditions for balancing the routes’ capacity and using an updated optimality criterion of routing solutions, which allowed to ensure the maximization of the number and total capacity of the calculated paths in the routing process. The analysis of the study results showed that using the proposed model makes it possible to ensure the maximum possible bandwidth of the routing solution represented by a set of disjoint paths in cases of high network heterogeneity, i.e., when the bandwidths of TCN links differ significantly.Публікація Адаптивні методи нечіткої кластеризації потоків даних з використанням еволюційного самонавчання(2023) Шафроненко, А. Ю.У дисертаційній роботі вирішено важливу теоретичну проблему створення нових ефективних нечітких методів обчислювального інтелекту, а саме, нечіткої кластеризації даних за умов апріорної невизначеності на основі еволюційного самонавчання та надання їм адаптивних властивостей, що забезпечує можливість опрацьовування потоків нестаціонарних даних, викривлених завадами та пропусками, що послідовно надходять на обробку в онлайн режимі. Метою дисертаційної роботи є проведення комплексу досліджень, спрямованих на створення нових підходів та методів еволюційного самонавчання для адаптивної нечіткої кластеризації потоків викривлених даних в онлайн режимі за умов апріорної та поточної невизначеності з використанням найсучасніших досягнень у цій галузі: Computer Science, Computational Intelligence, Data Science, Data Streams, Big Data, Evolving Systems.Публікація Гібридна модель сховища зображень в умовах великих даних(2025) Терещенко, Г. Ю.У дисертаційній роботі представлені результати проведених здобувачем досліджень, які виконують актуальне наукове завдання створення методів для формування гібридної моделі сховища зображень в умовах великих даних, що має істотне значення для розвитку комп’ютерних наук, зокрема у галузі штучного інтелекту. Актуальність теми дослідження: сучасний науковий прогрес активно просуває технології, випереджаючи їхній розвиток і впровадження нововведень. Раніше для зберігання великого обсягу зображень доводилося витрачати значний час і ресурси. Тепер майже кожна компанія спрямована на поліпшення процесу зберігання шляхом інтеграції систем стиснення зображень у свої продукти. Системи стиснення здатні працювати з різними типами даних, такими як зображення, звук, відео, текст тощо. Вони відрізняються одна від одної своєю архітектурою, типом пам’яті, тощо. Актуальність опрацювання даної теми полягає в тому, що за останні роки в галузі зберігання даних зросла потреба у надійних і безпечних методах забезпечення конфіденційності та цілісності інформації. В контексті розвитку технологій створення зображень, виникає велика потреба у збереженні та обміні цими даними в безпечних та надійних умовах. Використання блокчейн технологій може бути цілком корисним при дослідженні та розв’язанні задач, пов’язаних із зберіганням і обробкою великомасштабних наборів даних у вигляді зображень.Публікація Квантові моделі та методи аналізу логічних Х-функцій(ХНУРЕ, 2019) Любарський, М. М.Мета дослідження – зменшення часу верифікації цифрових систем на кристалах шляхом використання memory-driven архітектур і кубітних структур даних для компактного опису логічних Х-функцій та істотного підвищення продуктивності методів тестування і дедуктивного моделювання несправностей за рахунок паралельного комп'ютингу алгоритмів. Основні результати, що визначають наукову новизну: 1) Вперше запропоновано структурну модель метричних властивостей X-функцій, яка орієнтована на виконання паралельних операцій на кубітних структурах даних у цілях отримання лінійного часу генерації тестів і моделювання цифрових систем. 2) Вперше запропоновано аналітичну модель синтезу кубітних покриттів X-функцій від кінцевого числа змінних, яка характеризується можливістю створення логічних схем, що не потребують експоненційних витрат на генерування і аналіз тестів перевірки несправностей. 3) Вперше запропоновано паралельний метод синтезу тестів для несправностей X- функцій від кінцевого числа змінних, який характеризується взяттям булевих похідних по кубітних покриттях, що дає можливість отримувати перевіряючі тести мінімальної довжини. 4) Вперше запропоновано паралельний метод синтезу дедуктивних кубітних покриттів для моделювання Х-функцій, який характеризується отриманням одиничної матриці похідних, що дає можливість створювати секвенсор моделювання дефектів, інваріантний до вхідних тестових наборів. 5) Удосконалено memory-driven архітектури та алгоритми для реалізації методів тестування та верифікації цифрових систем на кристалах, які відрізняються паралельним виконанням логічних операцій над кубітними структурами даних. 6) Удосконалено квантові методи генерації тестів і дедуктивного моделювання несправностей логічних функцій, які відрізняються від аналогів синтезом матриць булевих похідних за їхнім кубітним покриттям. Практичне значення одержаних результатів досліджень полягає у розробці моделей, структур даних, методів синтезу та аналізу логічних схем, включаючи Х-функції, які дають можливість суттєво зменшити час синтезу тестів і моделювання несправностей, завдяки кубітному опису цифрових схем, що дає можливість паралельно виконувати обчислювальні процедури, характерні квантовому комп'ютингу. Окремі сервіси синтезу та аналізу кубітних моделей цифрових пристроїв і компонентів реалізовані у вигляді програмних додатків і пройшли вичерпну апробацію у навчальному процесі. Середовище проектування: SWIFT, С ++, Verilog, Java і платформи: Microsoft Windows, X Window і Macintosh OS X. The purpose of the research is reducing the verification time of digital systemson-chips by using memory-driven architectures and qubit data structures to compactly describe logical X-functions and significantly improve the performance of methods for testing and deductive fault simulation through parallel computing of algorithms. The research tasks: 1) Develop memory-driven architectures and algorithms for parallel execution of logical operations on qubit data structures when implementing methods for testing and verification of digital systems-on-chips. 2) Improve the quantum methods of test generation and deductive fault simulation of logical functions by synthesizing matrices of Boolean derivatives with respect to their qubit coverage. 3) Develop a structural model of the metric properties of Xfunctions, focused on the implementation of parallel operations, in order to provide the linear time of test generation and simulation of digital systems. 4) Develop an analytical model for defining qubit coverages of X-functions of a finite number of variables in order to create logic circuits, which do not require exponential costs for the synthesis and analysis of tests. 5) Develop a parallel test generation method for the faults of X-functions of a finite number of variables based on taking the derivatives with respect to qubit coverages, which define tests of minimal length. 6) Develop a parallel method for the synthesis of deductive qubit coverages for the simulation of X-functions based on obtaining a unit matrix of derivatives in order to create a sequencer for fault simulation. The object of the research is architectures and technologies of parallel computing of logic operations for solving problems of designing, verifying and testing digital systems-on-chips. The subject of the research is models, methods, algorithms and procedures for parallel synthesis and analysis of specialized logic circuits to create test and verification tools based on qubit data structures. The scientific and practical task is verification of specialized digital systemson- chips by using memory-driven architectures and qubit data structures to compactly describe logical X-functions and significantly improve the performance of methods for testing and deductive fault simulation through parallel computing of algorithms. The essence of the research is quantum models and methods for test synthesis and fault analysis of logical X-functions based on the use of qubit data structures and memory-driven architectures for parallel computing of algorithms in order to significantly improve the performance of testing and deductive simulation of digital systems-on-chips.Публікація Метод структурного стеганографічного перетворення для підвищення пропускної здатності прихованого каналу передачі даних(2024) Бараннік, Д. В.У дисертаційній роботі вирішена науково-прикладна задача, яка полягає в підвищенні швидкості прихованого у кодованому відеопотоці каналу передачі вбудованих повідомлень для заданих властивостей відеосервісів з використанням бортових інфокомунікаційних систем. Розроблено технологію диференційного стеганокомпресійного кодування послідовності відеосегментів в залежності від рівня їх інформативності за структурно-семантичним змістом. Технлогічним ядром є створений метод змішаного стеганокомпресійного кодування в форматованому стегано поліадичному базисі на основі врахування допустимої для скорочення кількості просторової позиційно-комбінаторної надмірності. In the dissertation, a scientific and applied problem is solved , which consists in increasing the speed of the embedded message transmission channel hidden in the coded video stream for the given properties of video services using on-board information communication systems. The technology of differential steganocompression coding of a sequence of video segments has been developed, depending on the level of their informativeness in terms of structural and semantic content. The technological core is the created method of mixed stegano-compression coding in a formatted stegano-polyadic basis based on taking into account the amount of spatial positional-combinatorial redundancy permissible for reduction.Публікація Метод та засіб адаптивної електростимуляції нейром’язових структур(2023) Єрошенко, О. А.Дисертаційну роботу присвячено актуальній науково-технічній проблемі підвищення ефективності черезшкірної електростимуляції нейром'язових структур людини в процесі терапевтичних реабілітаційних процедур на основі математичного моделювання та зворотного зв'язку на базі електроміографічних досліджень. Метою дисертаційної роботи є розробка методу адаптивної електростимуляції, що враховує індивідуальні особливості пацієнта, а також удосконалення існуючих електростимуляції. апаратно-програмних засобів для Об`єкт дослідження – процеси електростимуляції скелетних м'язів людини під час проведення лікувальної терапії. Предмет дослідження – методи проведення терапевтичних електростимуляційних процедур нейром'язових структур, математичні моделі електростимуляції, технічні засоби для електростимуляції, програмне забезпечення та методи обробки біомедичних даних. Методи дослідження. В роботі застосовуються методи математичного аналізу, методи математичного моделювання, методи інтервального аналізу, методи нелінійного програмування, методи аналізу та синтезу елементів біотехнічних систем, методи обробки даних, методи об’єктно-орієнтованого програмування, методи аналізу біомедичних сигналів.Публікація Метод та моделі оптимізації систем масового обслуговування з використанням технології пріоритезації вхідного потоку заявок(2024) Гольдінер, Д. І.Метою дисертаційної роботи є розробка комп’ютерної та інформаційної моделей аналізу процесів масового обслуговування й удосконалення методу та моделей оптимізації систем масового обслуговування з використанням технології пріоритезації вхідного потоку заявок. Об’єктом дослідження є системи масового обслуговування. Предметом дослідження є методи оптимізації систем масового обслуговування та моделі програмної симуляції поведінки складних систем. У сучасному світі навколо є безліч різноманітних процесів, що включають в себе обробку потоків вхідних даних. Значне поширення мають прикладні задачі, що можуть бути описані та оптимізовані за допомогою теорії масового обслуговуванняПублікація Методи підвищення ефективності систем віддаленої біометричної автентифікації в телекомунікаційних мережах(2024) Ляшенко, Г. Є.В роботі розвʼязано науково-практичну задачу вдосконалення систем віддаленої біометричної автентифікації в телекомунікаційних мережах шляхом застосування методів мережної стеганографії. Мета дослідження – підвищення ефективності систем віддаленої біометричної автентифікації в телекомунікаційних мережах за рахунок застосування методів мережної стеганографії. Визначений метод біометричної автентифікації дозволяє підвищити завадостійкість та ефективність систем віддаленої автентифікації в телекомунікаційних мережах, а вдосконалений метод передачі інформації телекомунікаційними системами під час автентифікації дозволяє підвищити захищеність передачі інформаціїПублікація Методи та засоби дослідження магнітоакустичної дії на модельовані ділянки біологічного середовища(2023) Бондаренко, І. С.Дисертаційну роботу присвячено вивченню акустомагнітного впливу (АМВ) на біологічне середовище з метою його застосування в медицині. За допомогою модельних зразків біологічного середовища досліджено можливість використання АМВ для дистанційного визначення в ній концентрації магнітних наночастинок (МНЧ), збурення лікувального електричного струму та визначення акустичного опору її локальних ділянок. Показано, що за допомогою АМВ можна більш точно встановити концентрацію МНЧ, безпечно збурювати лікувальний електричний струм у заздалегідь заданих локальних ділянках середовища та вперше визначати in vivo кількісне значення акустичного опору внутрішніх ділянок середовища.Публікація Методи та засоби підвищення продуктивності та готовності каналів зв’язку міліметрового діапазону хвиль(2023) Мерзлікін, А. О.Дисертаційну роботу присвячено актуальному завданню дослідження особливостей поширення радіохвиль міліметрового діапазону хвиль (ММ ДХ), розрахунку готовності каналів зв’язку, та розробці працюючих ліній ММ ДХ з урахуванням мікрокліматичних параметрів, характерних для Харківського регіону у місті Харкові. Актуальність полягає у створенні баз даних шляхом експериментальних досліджень, без яких є недоцільним введення нового покоління зв’язку в Україні. Без даних про опади з коротким періодом усереднення, та без експериментальних досліджень атмосферного ослаблення в діапазоні ММ хвиль неможливо та економічно недоцільно вводити оптимізовані мережі наступних поколінь 5G6G в Україні. ММ ДХ працює на високих частотах від 30 ГГц до 300 ГГц, такий сигнал не здатен стабільно працювати на великих відстанях. У багатьох країнах зараз активно проводяться дослідження у цьому напрямку. В США, Китаї та деяких інших країнах вже активно вводиться 5G, це можна помітити дивлячись на те як виробники смартфонів у свої нові гаджети активно встановлюють процесори здатні працювати з мережами нового покоління. Україна на жаль покі що не може почати впроваджувати канали зв’язку які будуть працювати у ММ ДХ із за відсутності даних про вплив опадів та атмосфери на поширення діапазону 30300ГГц. Якщо створити бази даних про кількість опадів, то можна буде отримати коефіцієнт готовності радіоліній і виходячи з цих даних побудувати лінії зв’язку з високим коефіцієнтом 3 надійності. Антени у мережах зв'язку нового покоління потрібно встановлювати від 1000 до декількох сотень метрів одна від іншою, що в кінцевому результат несе великі витрати при побудові каналів зв’язку. Для зменшення цих витрат, потрібно розрахувати параметр готовності і встановлювати антени на максимально допустимій відстані на якій вони будуть коректно працювати весь час. Отже постає актуальна задача зменшення витрат, для цього потрібно точно розрахувати готовність каналу зв’язку ММ ДХ.Публікація Механізм забезпечення інноваційного розвитку промислових підприємств(2025) Ткаченко, А. Г.У сучасних умовах глобалізації та технологічного прогресу інноваційний розвиток стає найважливішим фактором забезпечення конкурентоспроможності промислових підприємств на національному та міжнародному ринках. В Україні, як і в світі, спостерігається зростання вимог до ефективності виробничих процесів, підвищення рівня технологічності продукції та впровадження новітніх управлінських підходів. Проте на сьогодні існує багато перешкод на шляху реалізації інноваційних стратегій підприємствами, зокрема нестача фінансових ресурсів, недостатній рівень інтеграції науки та бізнесу, відсутність дієвих механізмів державної підтримки тощо. Важливість дослідження механізму забезпечення інноваційного розвитку промислових підприємств зумовлена необхідністю створення ефективних управлінських, фінансових та організаційних інструментів для стимулювання їх інноваційної діяльності. Розробка та впровадження дієвого механізму дозволить підвищити рівень технологічного оновлення виробництва, прискорити інтеграцію інновацій у промисловість та сприятиме сталому економічному зростанню. In the current conditions of globalization and technological progress, innovative development is becoming the most important factor in ensuring the competitiveness of industrial enterprises in the national and international markets. In Ukraine, as in the world, there is an increase in requirements for the efficiency oproduction processes, an increase in the level of product manufacturability and the introduction of new management approaches. However, today there are many obstacles to the implementation of innovation strategies by enterprises, including a lack of financial resources, an insufficient level of integration of science and business, the lack of effective state support mechanisms, etc. The importance of studying the mechanism for ensuring the innovative development of industrial enterprises is due to the need to create effective managerial, financial and organizational tools to stimulate their innovative activities.Публікація Модели автоматизации проектирования технологических процессов роботизированной сборки(2009) Мілютіна, С. С.Публікація Модель та методи обробки аудіосигналів у мережних системах аудіоаналітики(2025) Порошенко, А. І.Дисертаційну роботу присвячено підвищенню ефективності обробки аудіосигналів у мережних системах аудіоаналітики. У роботі запропоновано використання математичного моделювання для оптимізації мережних процесів та удосконалено методи передачі і аналізу аудіосигналів, що забезпечують високу точність аналізу аудіосигналів, зниження затримок передачі аудіосигналів та підвищення якості обслуговування в умовах реального часу. Актуальність даної теми визначається тим, що швидкий розвиток технологій та збільшення обсягу аудіоданих призводить до появи нових викликів у передачі та аналізі аудіосигналів у мережних системах аудіоаналітики. Поєднання зростаючої кількості даних, потреби в реальному часі та складності аналізу робить тему підвищення ефективності передачі та аналізу аудіосигналів у мережних системах аудіоаналітики актуальною і важливою для дослідження та розвитку. Метою дисертаційної роботи є підвищення точності аналізу та зменшення затримок передачі аудіосигналів у мережних системах аудіоаналітики за рахунок оптимізації мережної інфраструктури та удосконалення методів передачі і аналізу аудіосигналів.Публікація Модель, методи та інформаційна технологія автентифікації цифрових зображень у прикладних системах користувача(2023) Бологова, Н. М.Дисертаційну роботу присвячено актуальному завданню розробці інформаційної технології підтвердження права власності на цифрові зображення, яка використовує сучасні тенденції в області галузі цифрових водяних знаків та блокчейну для створення нової децентралізованої технології підтвердження права власності цифрових зображень. У дисертаційній роботі на основі отриманих теоретичних та експериментальних досліджень вирішена задача побудови методів генерації стійкого до спотворень цифрового водяного знака на основі хаотичних карт та розробки інформаційної технології підтвердження права власності на цифрові зображення. Метою дисертаційної роботи є розробка інформаційної технології підтвердження права власності на цифрові зображення, яка використовує сучасні тенденції в галузі цифрових водяних знаків та блокчейну для створення нової децентралізованої технології підтвердження права власності на цифрові зображення.Публікація Моделі та методи автоматичного керування транспортувальними засобами-шатлами у складській логістиц(2025) Вжеснєвський, М. О.Дисертаційна робота є продовженням досліджень, які проводяться на кафедрі комп’ютерно-інтегрованих технологій автоматизації та робототехніки (КІТАР) Харківського національного університету радіоелектроніки з питань розробки та впровадження прогресивних інформаційних, ресурсозберігаючих та екологічно-безпечних технологій. Дисертаційну роботу присвячено актуальній науково-практичній задачі, а саме розробленню моделей та методів автоматичного керування, з урахуванням вимог енергоефективності, автоматичних транспортувальних засобів-шатлів в автоматизованих внутрішньоскладських системах. The dissertation is a continuation of scientific research of the Department of Computer Integrated Technologies, Automation and Robotics (KITAR) of the Kharkiv National University of Radio Electronics on the development and implementation of progressive information, resource-saving and environmentally safe technologies. The dissertation is devoted to a relevant scientific and practical problem, namely the development of models and methods of automatic control, taking into account the requirements of energy efficiency, of automatic transport vehiclesshuttles in automated intra-warehouse systems. The problem of the movement automatic control for a shuttle vehicle in intrawarehouse systems under conditions of uncertainty is investigated, which uses mathematical models when selecting the parameters of the best control solution – to increase the energy efficiency and productivity of technological systems within the INDUSTRY 5.0 concept.Публікація Моделі та методи верифікації темпоральних моделей кінцевих автоматів на мовах опису апаратури(2024) Пшеничний, К. Ю.У роботі розвʼязано науково-практичні задачі проєктування, верифікації та діагностики систем реального часу на базі моделей кінцевих автоматів через впровадження шаблонів на мовах опису апаратури (Hardware Descrtiption Languages, HDL), які використовуються для синтезу цифрових пристроїв реального часу. Завдання дослідження. 1. Розробка HDL шаблонів на базі дискретних автоматів для розвʼязання завдання проєктування цифрових пристроїв реального часу. 2. Розробка методів тестування темпоральних параметрів кінцевих часових автоматів на базі апарату асерцій. 3. Розробка методів діагностики кінцевих часових автоматів за рахунок введення апаратурної надлишковсті на етапі проєктування. 4. Розробка програмного комплексу автоматизації запропонованих методів верифікації та проєктування. Обʼєктом дослідження є процеси проєктування та діагностування керуючих автоматів в пристроях логічного управління реального часу. Предмет дослідження – моделі та методи проєктування і верифікації HDL- моделей темпоральних керуючих автоматів. Математичний апарат: теорія графів, теорія автоматів, технічна діагностика. У процесі дослідження використовуються наступні методи: побудова шаблонів на мовах опису апаратури Verilog, System Verilog та VHDL для проєктування цифрових пристроїв реального часу; впровадження додаткових асерційних конструкцій в HDL-код цифрового пристрою для зменшення часу верифікації та підвищення якості тесту; впровадження апаратурної надлишкості для підвищення діагностованості кінцевого пристрою; удосконалення темпорального графу переходів; аналіз та класифікації систем реального часу залежно від способів обробки зовнішніх подій та видачі вихідних сигналів. Вищенаведені пункти спрямовані на скорочення часу проєктування та верифікації, а відповідно на зменшення часу виходу готового цифрового виробу на ринок (time-to market, TTM), що є світовим трендом у сфері автоматизації проєктування обчислювальної техніки.Публікація Моделі та методи тестопридатного проектування критичних систем логічного управління на основі кінцевих автоматів(ХНУРЕ, 2019) Пахомов, Ю. В.Дисертація присвячена розробці моделей та методів автоматизованого проектування та діагностування автоматних систем логічного управління на ПЛІС з використанням мов опису апаратури. Запропоновано розширення вхідного алфавіту кінцевого автомата шляхом введення додаткового стовпця в таблицю переходів-виходів автомата та додаткового входу в схемну реалізацію керуючого автомата. Удосконалено процедури проведення діагностичного експерименту з використанням синхронізуючих послідовностей. Удосконалено методи побудови апаратних пристроїв діагностування, що реалізують стратегію обходу всіх станів або дуг графа переходів керуючого автомата шляхом імітації алгоритму роботи операційного автомату в системі логічного управління. Модифіковано методи розрахунку тестопридатності кінцевих автоматів, керованості, спостережуваності та досяжності вершин (станів) у графах переходів керуючих автоматів. Запропоновано новий підхід при автоматизованому проектуванні тестопридатних кінцевих автоматів за рахунок побудови моделей мовами опису апаратури (HDL-моделей) у яких додаткові переходи реалізуються шляхом додавання умовних операторів у опис функцій переходів і автоматного шаблону мовою опису апаратури VHDL. Розроблені HDL-описи моделюються та синтезуються інструментальними засобами систем автоматизованого проектування цифрових пристроїв на технологічній платформі ПЛІС. Розроблені процедури розрахунку тестопридатності кінцевих керуючих автоматів дозволили оптимізувати створення додаткових переходів в моделях автоматів за рахунок обчислення оцінок по Квайну синтезованих моделей автоматів. Розроблено програмний модуль з візуальним інтерфейсом для введення графа переходів керуючого автомата та автоматизованої побудови тестопридатних HDL-моделей автоматів у формі автоматного шаблону у синтезованій підмножині мови опису апаратури VHDL. The PhD thesis is devoted to the development of models and methods of computer-aided design and diagnosis of automaton logic control systems on FPGA using hardware description languages. The extension of the input alphabet of the finite state machine is proposed by introducing an additional column int the table of transitions-outputs of the automaton and an additional input to the circuit implementation of the control automaton. The procedures for performing a diagnostic experiment are improved through the use of synchronization sequences. The methods for developing hardware diagnostics devices have been improved; they implement a strategy for bypassing all the states or arcs of the transition graph of a control automaton by simulating the algorithm of an operational automaton in a logical control system. The methods for calculating the testability of finite state machine, controllability, observability and the reachability of nodes (states) of a transition graph of control automata have been improved. A new approach to computer-aided design of testable finite state machines has been proposed, based on the use of hardware description languages for describing models (HDL models), in which additional transitions are implemented by adding conditional statements to the VHDL description of transition functions and automaton pattern. The developed HDL descriptions are simulated and synthesized by computer-aided design tools based on the FPGA technology platform. The developed procedures for calculating the testability of the control automaton made it possible to optimize of entering additional transitions in automaton models through calculating the Quine estimate of the synthesized automaton models. A software module has been developed; it has GUI for creating the transition graph of the control automaton and automating the construction of testable HDL models of automata in the form of automaton pattern in a synthesized subset of the VHDL language. The research results obtained in the course of the research are reliable, which is confirmed by the experiments carried out to verify the proposed models and methods for monitoring and controlling gas supply systems.Публікація Моделі і методи автоматичного керування робототизованою конвеєрною лінією сортування фармацевтичної продукції(2025) Клименко, О. М.Актуальність дослідження полягає у важливості вдосконалення конвеєрних ліній сортування фармацевтичної продукції через постійний розвиток галузі та необхідність удосконалення виробничих процесів. Застосування автономних транспортних систем у цій сфері дозволяє підвищити продуктивність та знизити собівартість продукції, що є ключовими в умовах зростаючої конкуренції. В контексті цифровізації та Індустрії 4.0 розвиток автономних систем керування є стратегічно важливим для забезпечення конкурентоспроможності фармацевтичних підприємств. Оскільки сортування фармацевтичної продукції вимагає високої якості та точності ідентифікації, безпеки транспортування та точності виконання виробничих процесів, удосконалення транспортних систем є нагальним завданням. Такі дослідження є актуальними з огляду на потребу в постійному вдосконаленні технологій та методів керування для відповідності сучасним вимогам. Враховуючи швидкий розвиток технологій, постійне удосконалення транспортних систем є важливим для забезпечення ефективності та конкурентоспроможності фармацевтичних виробників. Метою дисертаційної роботи є підвищення ефективності роботи роботизованої системи сортування за рахунок розробки моделей та методів автоматичного керування конвеєрною лінією сортування фармацевтичної продукції.Публікація Моделі і методи керування технологічним процесом виготовлення друкованих плат за технологією фотополімерного 3D-друку(2024) Нікітін, Д. О.Дисертаційну роботу присвячено актуальній науково-практичної задачі, а саме розвитку кіберфізичних виробничих систем для виготовлення одно- та двосторонніх друкованих плат за допомогою автоматизованого технологічного процесу на базі адитивних технологій 3D-друку, яка дозволяє вирішити задачі: мінімізації витратних матеріалів; мінімізації операцій в структурі технологічного процесу; підвищення точності виготовлення топології друкованих плат. Дисертаційна робота є продовженням досліджень, які проводяться на кафедрі комп’ютерно-інтегрованих робототехніки (КІТАР) технологій, Харківського автоматизації національного та університету радіоелектроніки під керівництвом завідувача кафедри КІТАР, доктора технічних наук, професора, заслуженого діяча науки і техніки України, лауреата Державної премії в галузі науки і техніки України, Невлюдова Ігоря Шакировича. Мета дисертаційної роботи – підвищення точності виготовлення односторонні та двосторонні друкованих плат та зменшення витрат при виробництві, за рахунок використання моделей та методів керування технологічним процесом на базі фотополімерного 3D-друку.Публікація Моделі і методи кіберфізичного комп’ютингу для цифрового моніторингу та хмарного управління університетом(Харківський національний університет радіоелектроніки, 2018) Міщенко, О. С.