2023 № 1 Системний аналіз, управління та інформаційні технології
Постійне посилання зібрання
Переглянути
Нові надходження
Документ Аналіз інформаційних технологій для дистанційної ідентифікації динамічних об'єктів(Національний технічний університет "Харківський політехнічний інститут", 2023) Нікуліна, Олена Миколаївна; Северин, Валерій Петрович; Кондратов, Олексій Михайлович; Рекова, Наталія ЮріївнаРозглянуто проблему ідентифікації динамічних об'єктів з використанням інформаційних технологій дистанційної ідентифікації. Зазначено, що ідентифікація рухомих об'єктів має важливе значення в різних сферах, включаючи автономні транспортні засоби, медичну діагностику та робототехніку. Мета статті полягає в аналізі різних інформаційних технологій виявлення об'єктів, які можуть бути використані в майбутніх дослідженнях з дистанційної ідентифікації. Проведено аналіз методів визначення швидкості як динамічного параметру, аналіз двокрокових та однокрокових методів віддаленої ідентифікації об’єктів, аналіз ранніх методів ідентифікації, а також аналіз методів покращення віддаленої ідентифікації об'єктів. Розглянуто кілька засобів визначення руху об’єктів, зокрема, пропорційно-інтегрально-диференціальний регулятор, метод блоку вирівнювання, фазова кореляція, алгоритми піксельної рекурсії та методи оптичного потоку Лукаса – Канаді, Хорна – Шунка, Фарнбека, густого оптичного потоку. Ці засоби можуть бути використані для ефективного визначення руху об'єктів та ідентифікації їхньої швидкості незалежно від розміру та положення об’єктів. Розглянуті двокрокві та однокрокові методи виявлення об’єктів: метод регіонів зі згортковими нейронними мережами, його покращення, мережі пулінгу просторової піраміди, метод "Ти дивишся лише один раз", однокроковий багаторамковий метод, мережі сітківки, кутова мережа, центральна мережа та трансформер виявлення, які використовують різні підходи для покращення продуктивності та точності виявлення об'єктів. Підкреслено необхідність використання методів згорткових нейронних мереж та мереж пулінгу просторової піраміди для ефективної ідентифікації об’єктів незалежно від їхнього розміру та положення. Пропонуються нові підходи, які дозволяють створювати представлення фіксованої довжини для обробки зображень та регіонів інтересу, а також методи Віоли - Джонса, гістограми орієнтованих градієнтів, моделі деформованих частин. Дослідження в області виявлення об’єктів сприяють розвитку інформаційних технологій та покращенню ефективності систем ідентифікації динамічних об’єктів. Шляхом огляду та аналізу різних методів надані рекомендації для дослідників і практиків, що працюють у галузі дистанційної ідентифікації динамічних об’єктів.Документ Specification formalization of state charts for complex system management(Національний технічний університет "Харківський політехнічний інститут", 2023) Nikitin, Dmytro MykhailovychThis article presents a formalization approach for the requirements of object-oriented programs with state machines, using a spacecraft control system as a case study. It proposes a state pattern implementation, where each state is represented as a class with clearly defined responsibilities, and the transitions between states are controlled by the state objects themselves. Additionally, the application of model checking, theorem proving, and code generation techniques are discussed. The effectiveness of the proposed approach in ensuring compliance with the specified requirements is demonstrated, while also identifying potential drawbacks and limitations of the approach. The implementation is validated using a range of formal verification techniques, including model checking and theorem proving. The article also discusses how the approach can be extended and applied to other complex systems. Overall, the valuable insights into the formalization of requirements for object-oriented programs with state machines are provided, offering a practical and effective approach for verifying the correctness and completeness of such implementations. The results of this work have important implications for the development of safety-critical systems and can potentially improve the quality and reliability of software systems in various domains. By using mathematical models and rigorous formal methods, it is possible to detect and eliminate errors early in the development process, leading to higher confidence in the correctness of the final product. Future research in this area could explore the use of more advanced techniques, such as modeldriven development and automatic code synthesis, to further streamline the software development process. Additionally, the development of more efficient and user-friendly tools could make these techniques more accessible to a wider range of developers and organizations. Altogether, the combination of formal methods and software engineering has the potential to revolutionize the way software systems are designed, developed, and verified, leading to safer and more reliable software for critical applications.Документ Using OBD-2 technology for vehicle diagnostic and using it in the information system(Національний технічний університет "Харківський політехнічний інститут", 2023) Rybitskyi, Oleksandr Maksymovych; Golian, Vira Volodymyrivna; Golian, Nataliia Viktorivna; Dudar, Zoia Volodymyrivna; Kalynychenko, Olga Viktorivna; Nikitin, Dmytro MykhailovychThis article considers the research of OBD-2 technology for interaction with on-board vehicle systems, the creation of a unified system that can work with different makes and models of cars. The history of OBD-2 technology, its development, existing standards and their implementation in modern cars is described. Basic diagnostic functions are described, with which you can get information about the car, as well as perform its settings and send various commands to it. In addition, the hardware part of the scanner, its technical features, nuances of interaction with it and the purpose of each of its pins are considered. Also reviewed couple models of scanners that can be used to develop this system. Conclusions are drawn on the practicability of their use, taking into account their capabilities. Existing software analogues, their main functions, advantages and disadvantages are considered. The general concept of interaction with the car via OBD-2, the interaction algorithm and step-by -step analysis of the interaction between the scanner and the car are also considered. The software part of the interaction between the car and the scanner, special codes used to send requests and responses, their further analysis and interpretation in a human-friendly form are considered. The possibilities for the unification of these codes for different car manufacturers and the common code base to create a universal system that will be suitable for different cars from different car manufacturers are highlighted. A model of the software system is proposed, which can embody a large set of useful functions for any motorist and will be compatible with a large number of modern cars equipped with universal diagnostic tools, while using an affordable scanner model without the use of expensive professional equipment.Документ Using long short-term memory networks for natural language processing(Національний технічний університет "Харківський політехнічний інститут", 2023) Onyshchenko, Kostiantyn; Daniiel, YanaThe problem of emotion classification is a complex and non-trivial task of language interpretation due to the natural language structure and its dynamic nature. The significance of the study is in covering the important issue of automatic processing of client feedbacks, collecting opinions and trendcatching. In this work, a number of existing solutions for emotion classification problem were considered, having their shortcomings and advantages illustrated. The evaluation of performance of the considered models was conducted on emotion classification on four emotion classes, namely Happy, Sad, Angry and Others. The model for emotion classification in three-sentence conversations was proposed in this work. The model is based on smileys and word embeddings with domain specificity in state of art conversations on the Internet. The importance of taking into account the information extracted from smileys as an additional data source of emotional coloring is investigated. The model performance is evaluated and compared with language processing model BERT (Bidirectional Encoder Representations from Transformers). The proposed model achieved better performance at classifying emotions comparing to BERT (having F1 score as 78 versus 75). It should be noted, that further study should be performed to enhance the processing by the model of mixed reviews represented by emotion class Others. However, modern performance of models for language representation and understanding did not achieve the human performance. There is a variety of factors to consider when choosing the word embeddings and training methods to design the model architecture.Документ Parsimonious machine learning models in requirements elicitation techniques selection(Національний технічний університет "Харківський політехнічний інститут", 2023) Solovei, Olga Leonidivna; Gobov, Denys AndriyovychThe subject of research in the article is machine learning algorithms used for requirement elicitation technique selection. The goal of the work is to build effective parsimonious machine learning models to predict the using particular elicitation techniques in IT projects that allow using as few predictor variables as possible without a significant deterioration in the prediction quality. The following tasks are solved in the article: design an algorithm to build parsimonious machine learning candidate models for requirement elicitation technique selection based on gathered information on practitioners' experience, assess parsimonious machine learning model accuracy, and design an algorithm for the best candidate model selection. The following methods are used: algorithm theory, statistics theory, sampling techniques, data modeling theory, and science experiments. The following results were obtained: 1) parsimonious machine learning candidate models were built for the requirement elicitation technique selection. They included less number of features that helps in the future to avoid overfitting problems associated with the best-fit models; 2) according to the proposed algorithm for best candidate selection – a single parsimonious model with satisfied performance was chosen. Conclusion: An algorithm is proposed to build parsimonious candidate models for requirement elicitation technique selection that avoids the overfitting problem. The algorithm for the best candidate model selection identifies when a parsimonious model's performance is degraded and decides on the suitable model's selection. Both proposed algorithms were successfully tested with four datasets and can be proposed for their extensions to others.Документ Adaptation of LambdaMART model to semi-supervised learning(Національний технічний університет "Харківський політехнічний інститут", 2023) Yamkovyi, Klym SerhiyovychThe problem of information searching is very common in the age of the internet and Big Data. Usually, there are huge collections of documents and only multiple percent of them are relevant. In this setup brute-force methods are useless. Search engines help to solve this problem optimally. Most engines are based on learning to rank methods, i.e. first of all algorithm produce scores for documents based on they feature and after that sorts them according to the score in an appropriate order. There are a lot of algorithms in this area, but one of the most fastest and a robust algorithm for ranking is LambdaMART. This algorithm is based on boosting and developed only for supervised learning, where each document in the collection has a rank estimated by an expert. But usually, in this area, collections contain tons of documents and their annotation requires a lot of resources like time, money, experts, etc. In this case, semi-supervised learning is a powerful approach. Semi-supervised learning is an approach to machine learning that combines a small amount of labeled data with a large amount of unlabeled data during training. Unlabeled data, when used in combination with a small quantity of labeled data, can produce significant improvement in learning accuracy. This paper is dedicated to the adaptation of LambdaMART to semi-supervised learning. The author proposes to add different weights for labeled and unlabeled data during the training procedure to achieve higher robustness and accuracy. The proposed algorithm was implemented using Python programming language and LightGBM framework that already has supervised the implementation of LambdaMART. For testing purposes, multiple datasets were used. One synthetic 2D dataset for a visual explanation of results and two real-world datasets MSLR-WEB10K by Microsoft and Yahoo LTRC.Документ Концептуальна ментальна модель пояснення в системі штучного інтелекту(Національний технічний університет "Харківський політехнічний інститут", 2023) Чалий, Сергій Федорович; Лещинська, Ірина ОлександрівнаПредметом дослідження є процеси формування пояснень щодо отриманих в системах штучного інтелекту рішень. Для вирішення проблеми непрозорості прийняття рішень в таких системах користувачі мають отримати пояснення щодо отриманих рішень. Пояснення дозволяє довіряти цим рішенням та забезпечити їх використання на практиці. Мета роботи полягає у розробці концептуальної ментальної моделі пояснення для визначення базових залежностей, що визначають зв’язок між вхідними даними, а також діями з отримання результату в інтелектуальній системі, та її кінцевим рішенням. Для досягнення мети вирішуються такі задачі: структуризація підходів до побудови ментальних моделей пояснень; побудова концептуальної ментальної моделі пояснення на основі об’єднаного представлення знань користувача.. Висновки. Виконано структуризацію підходів до побудови ментальних моделей пояснень в інтелектуальних системах. Ментальні моделі призначені для відображення сприйняття пояснення користувачем. Виділено каузальний, статистичний, семантичний та концептуальний підходи до побудови ментальних моделей пояснення. Показано, що концептуальна модель задає узагальнені схеми та принципи щодо процесу функціонування інтелектуальної системи. Її подальша деталізація виконується на основі каузального підходу у випадку побудови пояснення для процесів, статистичного підходу при побудові пояснення щодо результату роботи системи, а також семантичного при узгодженні пояснення із базовими знаннями користувача. Запропоновано трирівневу концептуальну ментальну модель пояснення, що містить рівні концепції щодо базових принципів функціонування системи штучного інтелекту, пояснення, що деталізує цю концепцію у прийнятному та зрозумілому для користувача вигляді, а також базових знань про предметну область, які є основою для формування пояснення. У практичному аспекті запропонована модель створює умови для побудови та упорядкування множини узгоджених пояснень, які описують процес та результат роботи інтелектуальної системи з урахуванням можливості їх сприйняття користувачем.Документ Моделювання та аналіз кодерів завадостійких каскадних кодів для динамічних систем(Національний технічний університет "Харківський політехнічний інститут", 2023) Нікуліна, Олена Миколаївна; Северин, Валерій Петрович; Шаров, Владислав ОлеговичДля різних каналів передачі інформації, що можуть використовуватись у локальних системах управління широкого спектру процесів, необхідні доступні, здатні до масштабування й не витратні методи передачі, що дозволяють передавати необхідну інформацію достовірно без помилок. Помилки, що трапляються у дискретних безперервних каналах зв’язку – це основна перепона для достовірної передачі даних. Основні причини виникнення помилок – загасання сигналу, шум та різні перешкоди. Як результат аналізу статистики помилок у дискретних каналах передачі даних, було зроблено висновок, що однократні та двократні помилки трапляються у абсолютній більшості випадків. Запропоновано боротись із помилками шляхом використання завадостійкого кодування. Серед завадостійких кодів виділені надлишкові блокові роздільні систематичні коди, до яких відноситься код Хеммінга. В основу моделі завадостійкого кодування запропоновано покласти використання систематичного коду Хеммінга з подальшим каскадним кодуванням шляхом додавання біту перевірки на парність. Використана модель надала можливість боротись з усіма найбільш ймовірними випадками виникнення помилок. Оскільки дана модель кодування повинна гнучко використовуватись в різних системах, необхідним критерієм моделі є її універсальність. Тому виконане тестування моделі на вибірці з кодовими комбінаціями різної кількості бітів. Метою даної статті є аналіз залежності часу виконання процедури кодування для кодерів різного рівня: окремого кодеру першого ступеню, а також кодеру першого ступеню з додаванням кодеру другого ступеню. Проведено експерименти з великою вибіркою, які були у подальшому проаналізовані та інтерпретовані. Оскільки модель у результаті експериментів виявила себе гнучкою, простою, стабільною та ефективною, а також процес боротьби із завадами шляхом використання каскадних кодів добре себе зарекомендував у світовій практиці, модель рекомендовано для використання у різних інформаційних управляючих системах. Наведена реалізація кодеру для завадостійкої передачі даних.Документ Геометричне моделювання трас і потоків(Національний технічний університет "Харківський політехнічний інститут", 2023) Левтеров, Андрій Іванович; Плєхова, Ганна Анатоліївна; Костікова, Марина Володимирівна; Окунь, Антон ОлександровичДосліджено та розроблено математичні моделі для вирішення задач оптимізації з’єднання в неодносвязних областях за типових технологічних обмежень на геометричні та топологічні параметри трас, насамперед, на кривизну та кількість вигинів. Моделі пов'язані з існуючими та перспективними топогеодезичними моделями полігональних зображень територій. Розв'язання задач зв'язку передбачає пошук оптимальних траєкторій маршрутів і сіток у межах необмежених геометричних форм. Для цього потрібна розробка безлічі загальних моделей як полів, де здійснюються зв’язки. Сполучення можуть бути різних типів, таких як гнучкі, манхеттенські, рівні, тверді, а також маршрути інших типів. Смеляков та Алісейко (Плєхова Г. А.) зауважують, що глобальне та локальне регулювання геометричних зв’язків для розв’язання задач зв’язків можна представити як загальну оптимізаційну задачу зв’язку, яка визначається як задача вибору < , R >, де R – набір альтернатив, – принцип оптимальності. При цьому набір можна представити як сукупність фазового простору та обмежень Q, які застосовуються до параметрів фазового простору . У свою чергу, доцільно уявити, що фазовий простір є декартовим добутком = X*Y*Z*U вихідних даних X, збурень Y, параметрів керування U та результатів Z. Аналіз задачі свідчить про те, що насамперед ефективність моделювання фазового простору пов'язана з описом вихідних даних X про площу F і простір L можливих магістралей в F. Питання досліджується як розробка побудови структур моделей та методології їх використання, які б уможливили конструктивне та ефективне (в обчислювальній техніці) моделювання та дослідження різноманітних моделей та алгоритмів, які зберігають геометричність та інваріантність моделей, які необхідні для їх конкретного використання в умовах прийнятності використання різних вихідних структур даних. Дане дослідження присвячене розв’язанню задачі розробки моделі для задач зв’язку в рамках геометричного проектування.Документ An algorithm for NLP-based similarity measurement of activity labels in a database of business process models(Національний технічний університет "Харківський політехнічний інститут", 2023) Kopp, Andrii Mykhailovych; Orlovskyi, Dmytro LeonidovychBusiness process modeling is an important part of organizational management since it enables companies to obtain insights into their operational workflows and find opportunities for development. However, evaluating and quantifying the similarity of multiple business process models can be difficult because these models frequently differ greatly in terms of structure and nomenclature. This study offers an approach that uses natural language processing techniques to evaluate the similarity of business process models in order to address this issue. The algorithm uses the activity labels given in the business process models as input to produce textual descriptions of the associated business processes. The algorithm includes various preprocessing stages to guarantee that the textual descriptions are correct and consistent. First, single words are retrieved and transformed to lower case from the resulting textual descriptions. After that, all non-alphabetic and stop words are removed from the retrieved words. The remaining words are then stemmed, which includes reducing them to their base form. The algorithm evaluates the similarity of distinct business process models using similarity measures, including Jaccard, Sorensen – Dice, overlap, and simple matching coefficients, after the textual descriptions have been prepared and preprocessed. These metrics provide a more detailed understanding of the similarities and differences across various business process models, which can then be used to influence decision-making and business process improvement initiatives. The software implementation of the proposed algorithm demonstrates its usage for similarity measurement in a database of business process models. Experiments show that the developed algorithm is 31% faster than a search based on the SQL LIKE clause and allows finding 18% more similar models in the business process model database.Документ Моделювання рівня незадоволення потреб мешканців малих міст у системі підтримки прийняття рішень для водопостачання в екстремальних випадках(Національний технічний університет "Харківський політехнічний інститут", 2023) Мельников, Олександр Юрійович; Закабула, Олексій ЮрійовичРозглядається проблема забезпечення водопостачання малих населених пунктів в екстремальних випадках. Наведено, що автори раніше сформулювали та розв’язали задачу створення системи підтримки прийняття рішень, яка дозволяє при наявності даних про кількість мешканців у кожному районі та відстанях між районами розрахувати оптимальний маршрут пересування цистерни з водою. З використанням низки параметрів (середній час обслуговування, об’єм цистерни, середній відсоток населення, що виходить за водою, обмеження на обсяг видаваної води тощо) система дозволяє скласти розклад (графік) руху цистерни, а також дати рекомендації щодо збільшення кількості цих цистерн і оптимального їхнього розподілу по районах, визначити місця їх найкращого розташування в кожному районі для максимального задоволення всіх його мешканців. Наразі розроблено математичну модель для розрахунку спеціального коефіцієнта, який дозволяє оцінити рівень незадоволення потреб мешканців в забезпеченні питною водою. Пропонований коефіцієнт містить три складові частини, а саме – віднесення об’єму рекомендованої видачі максимально можливої кількості літрів на одну людину до розрахункової; віднесення реального «часу у дорозі» до оптимально розрахованого; середня відносна віддаленість від розрахованого центру району. Створена модель додана як додатковий модуль до наявної системи підтримки прийняття рішень, наведено приклади роботи системи під час розрахунку маршруту та положення цистерн, що забезпечують м. Торецьк Донецької області. Приклади свідчать, що причиною найбільшого незадоволення є недостатня кількість машин, на другому місці – їх не дуже вдале розташування; наявний час майже не впливає на результат. Збільшення кількості машин до двох знижує першу складову коефіцієнту до одиниці. Результати свідчать про можливість зниження показника з 1,305 до 1,087.Документ Вербальний опис технології планування підвищення якості підмножини процесів еталонної моделі зрілості SPICE(Національний технічний університет "Харківський політехнічний інститут", 2023) Годлевський, Михайло Дмитрович; Бурлаков, Георгій ОлександровичЗазначено, що для вирішення задачі розробки інформаційної технології планування підвищення рівня зрілості підмножини процесів еталонної моделі зрілості SPICE, попередньо це питання необхідно розглянути на вербальному рівні як технологію (послідовність етапів) реалізації поставленої проблеми. На першому етапі проведено формалізацію структури еталонної моделі SPICE, яка складається з множини окремих процесів. Ця множина представлена як ієрархічна структура: перший рівень – множина процесів і підпроцесів; другий рівень – множина груп процесів; третій рівень – множина категорій процесів. На другому етапі розглянуто метод оцінки рівня можливості окремого процесу/підпроцесу еталонної моделі зрілості SPICE, який наведено з погляду двох вимірів моделі SPICE: призначення процесів; атрибути процесів (вимірні характеристики, необхідні для управління процесом і підвищення можливості його виконання). Третій етап технології присвячено синтезу моделі планування розвитку підмножини процесів моделі SPICE, яка визначає рівень якості окремої складової процесу розробки програмного забезпечення (ПР ПЗ), що в свою чергу позитивно впливає на рівень розробки програмних систем. Оцінка та планування рівня можливості підмножини процесів реалізується на деякому плановому періоді в умовах обмежених ресурсів на основі їх оптимального розподілу з урахуванням важливості окремих процесів та їх практик упродовж планового періоду. На четвертому етапі технології розглядається алгоритм планування розвитку підмножини процесів еталонної моделі зрілості SPICE на основі методу послідовного аналізу варіантів. Це обумовлено в першу чергу тим, що модель оптимізації має адитивну цільову функцію. Метод дозволяє під час його використання відкидати ті допустимі рішення, які не містять оптимальних. У подальшому при конкретизації моделі планується вибрати алгоритм, який відноситься до цього методу і адаптувати його до розв’язання поставленої задачі. П’ятий етап присвячено інформаційній технології реалізації розробленої моделі та алгоритму. На цьому етапі вирішується наступна множина задач. Аналіз бізнес-процесів технології покращення якості ПР ПЗ. Визначення вимог до ПЗ. Формування діаграми варіантів використання. Розробка моделей даних. Обґрунтування вибору інструментарію для розробки ПЗ. Вибір еталонної системної архітектури. Далі кодування і тестування ПЗ. На шостому етапі на основі інформаційної технології формується множина варіантів плану підвищення якості підмножини процесів моделі зрілості SPICE з метою підтримки прийняття рішення керівництвом ІТ-компанії. Для цього попередньо визначається множина ефективних рішень, яка пропонується для визначення остаточного варіанта, який реалізується у подальшому.Документ Формування рекомендаційної системи для "розумного регіону" з метою обрання інформаційних технологій та їх реалізацій при створенні застосунків(Національний технічний університет "Харківський політехнічний інститут", 2023) Кунанець, Наталія Едуардівна; Федорка, Павло Павлович; Кут, Василь ІвановичПроведено аналіз можливості втілення найперспективніших методологій, що спрямовані на створення інфраструктури «розумного» регіону. Детальне опрацювання релевантних дослідженню наукових розвідок дозволяє виділити кращі напрацювання. Багато дослідників зосереджуються тільки на теоретичному аспекті питання. Автори статті проаналізували засади створення інформаційно-технологічної платформи, що покликана полегшити процес взаємодії мешканця регіону з оточуючою інфраструктурою. Формування «розумного регіону» покликане забезпечити активну комунікацію представників різних сфер агломерації, тобто органів місцевого управління та різних галузей функціонування регіону. Саме кооперація цих важливих ланок життєзабезпечення конгломерації населених пунктів, дозволяє розвивати стратегію націлену на покращення умов проживання та ефективного використання ресурсів. На сьогодні, вже є ряд успішних прикладів, щодо формування певного базису і закладки успішних підвалин для розвитку «розумних регіонів». Саме аналіз кращих методик з метою стає основою аплікації на реалізацію концепції «Розумний регіон Закарпаття» та розроблення власної новаторської інформаційно-технологічної платформи для впровадження технологій «розумного» середовища. Саме через розроблення якісної інформаційно-технологічної платформи здійснюється управління розумним регіоном, щоб покращити якість послуг, що пропонуються громадянам, і зробити усі процеси управління більш ефективними. Для віднайдення найкращіого шляху проєктування та забезпечення вимог громади розробляється рекомендаційна система обрання інформаційних технологій та їх реалізацій, і як результат вихідними даними, що маємо отримати збалансовану, оптимальну модель застосунку для інформаційно-технологічної платформи «Розумний регіон Закарпаття».Документ Електронні пучки у градієнтному магнітному полі: управління перетворенням поздовжнього руху у поперечний(Національний технічний університет "Харківський політехнічний інститут", 2023) Мазманішвілі, Олександр Сергійович; Решетняк, Микола Григорович; Сидоренко, Ганна ЮріївнаВ роботі розглянуто рух електронів у циліндричному магнітному полі з потенціалом градієнтного вигляду. Отримано, що у вибраному полі вихідний рух електронів уздовж поздовжньої осі перетворюється на радіальний рух. Визначено, що таке перетворення обумовлено впливом соленоїдального магнітного поля з великим поздовжнім градієнтом. Перетворення поздовжнього напрямку руху на поперечне виявилося стійким в діапазоні енергій 20...55 кеВ електронів і в інтервалі 5...50 мм радіальних розмірів пучка частинок. За допомогою програмного засобу вивчено основні залежності руху електронного пучка в заданому соленоїдальному магнітному полі. В даній роботі приведені результати чисельного моделювання траєкторій електронів у градієнтному магнітному полі зі вторинноемісійним катодом кругової форми, розташованим у середині системи. Для вивчення механізму стійкості по відношенню до магнітного поля використано два експериментально реалізовані магнітних поля. На основі цих двох полів чисельно синтезовано масиви додаткових 4 полів. Для сукупності з 6 названих полів чисельно вивчена робота гармати, коли частка відчуває стійке перетворення напрямку руху. Показано, що при заданій енергії електрона та фіксованому магнітному полі параметром, що визначає поворот частинок, є градієнт магнітного поля на межі ділянки вльоту. Отримано, що ефект повороту має місце для розглянутого інтервалу радіальних розмірів пучка, що призводить до фокусування частинок. Показана можливість на основі регулювання поля в цілому керувати вертикальною координатою сфокусованого пучка, тим самим дано інтерпретацію порогової залежності реєстрації електронів на детекторі. Досліджено залежність формування підсумкового розподілу частинок від амплітуди та градієнта магнітного поля вздовж осі системи. Наводяться результати чисельного моделювання руху електронного потоку. На основі моделі руху електронного потоку розглянуто характеристики результуючого електронного пучка. В даній статті показано, що пучок, що має радіальні розміри 5...50 мм, фокусується по вертикалі на ділянку розміром 1 мм.Документ Розробка системи керування випарним апаратом у процесі виробництва оцтової кислоти на базі MPC-регулятора(Національний технічний університет "Харківський політехнічний інститут", 2023) Жученко, Олексій Анатолійович; Коротинський, Антон Петрович; Абрамова, Алла Олександрівна; Чепов, Дмитро ЄвгенійовичУ більшості випадків очищення вихідного продукту процесу виробництва оцтової кислоти здійснюється шляхом ректифікації. Оскільки процес ректифікації полягає в розділенні сумішей на фази по температурі кипіння, то стає зрозуміло, що досить важливим технологічним параметром є температура та концентрація суміші, що обробляється. Зазвичай, дані технологічні параметри задаються кип’ятильником при ректифікаційній колоні, який ще зветься кубом колони. Саме тому існує потреба у якісному та ефективному керуванні кип’ятильником, як одним із важливих технологічних об’єктів. У роботі розроблена та проаналізована система керування кип’ятильником на базі MPC-регулятора. Робота MPC-регулятора базується на визначенні поведінки об’єкта та прогнозування майбутньої поведінки, після чого за рахунок оптимізації керування на певному проміжку часу здійснюється виведення його на бажану траєкторію. Проміжок часу на якому здійснюється розрахунок оптимальної траєкторії ще називається горизонтом. Визначення горизонту впливає на характер здійснюваного керування, тому його вибір повинен бути обраний виходячи з характеру динамічних властивостей об’єкту керування. Саме тому при розробці даних регуляторів потрібно досліджувати характер впливу даних параметрів на перебіг процесу. В результаті дослідження було отримано стратегії керування для різних значень горизонтів прогнозування та керування. Проаналізувавши результати роботи регулятора при різних налаштуваннях горизонтів прогнозування та керування можна дійти висновку, що при збільшенні горизонту прогнозування збільшується час перехідної характеристика, але також зменшується перерегулювання. Тому при виборі оптимального значення потрібно керуватися впливом перерегулювань на процес.Документ Дослідження методів безпечної маршрутизації у програмно-конфігурованих мережах(Національний технічний університет "Харківський політехнічний інститут", 2023) Левтеров, Андрій Іванович; Плєхова, Ганна Анатоліївна; Костікова, Марина Володимирівна; Бережна, Наталія Георгіївна; Окунь, Антон ОлександровичУ сучасному світі безпека мережі є ключовим питанням інформаційної безпеки. Віртуальні мережі стали невід’ємною частиною сучасної ІТ-інфраструктури, що ставить перед нами виклики у сфері безпеки. Одним з рішень цієї проблеми є використання програмно-визначеної мережі (SDN), яка надає засоби контролю та керування мережевим трафіком. Однак, як і будь-яка технологія, SDN має свої вразливості, які необхідно враховувати під час її розгортання. Одним із інструментів, який допомагає врахувати вразливості мережевої інфраструктури, є стандарт Common Vulnerability Scoring System (CVSS). Це дозволяє кількісно визначити рівень уразливості інфраструктури, що забезпечує ефективний захист мережі. Аналіз стандарту CVSS є важливим етапом у розробці стратегії безпеки мережі. У цій статті аналізуються стандарти для побудови програмно-конфігурованих мереж. Зазначається, що SDN – це сучасний підхід до проектування, побудови та експлуатації інформаційних комунікаційних мереж. Використання SDN дає можливість безпосередньо програмувати та динамічно керувати мережею, а також абстрагувати функціональні можливості рівня інфраструктури. Однак зростання інтересу до SDN виявило недоліки їх застосування в боротьбі із загрозами кібербезпеці. Сама архітектура SDN, зовнішні шкідливі атаки, недостатній контроль доступу та засоби шифрування були визнані основними проблемами безпеки. Запропоновано використання інструментів безпечної маршрутизації на основі показників уразливості для підвищення рівня безпеки мережі площини даних SDN. Відповідно до проведеного аналізу вразливостей площини даних SDN та функціональності інструментів маршрутизації, автори рекомендують використовувати стандарт CVSS для кількісної оцінки рівня вразливості інфраструктури під час розробки та дослідження перспективних підходів до безпечної маршрутизації в площині даних програмно налаштованих мереж.Документ Efficiency substantiation for a synthetical method of constructing a multivariate polynomial regression given by a redundant representation(Національний технічний університет "Харківський політехнічний інститут", 2023) Pavlov, Alexander Anatolievich; Holovchenko, Maxim Nikolaevich; Drozd, Valeriia ValeriivnaIn recent years, the authors in their publications have developed two different approaches to the construction of a multivariate polynomial (in particular, linear) regressions given by a redundant representation. The first approach allowed us to reduce estimation of coefficients for nonlinear terms of a multivariate polynomial regression to construction of a sequence of univariate polynomial regressions and solution of corresponding nondegenerate systems of linear equations. The second approach was implemented using an example of a multivariate linear regression given by a redundant representation and led to the creation of a method the authors called a modified group method of data handling (GMDH), as it is a modification of the well-known heuristic self-organization method of GMDH (the author of GMDH is an Academician of the National Academy of Sciences of Ukraine O. G. Ivakhnenko). The modification takes into account that giving a multivariate linear regression by redundant representation allows for construction of a set of partial representations, one of which has the structure of the desired regression, to use not a multilevel selection algorithm, but an efficient algorithm for splitting the coefficients of the multivariate linear regression into two classes. As in the classic GMDH, the solution is found using a test sequence of data. This method is easily extended to the case of a multivariate polynomial regression since the unknown coefficients appear in the multivariate polynomial regression in a linear way. Each of the two approaches has its advantages and disadvantages. The obvious next step is to combine both approaches into one. This has led to the creation of a synthetic method that implements the advantages of both approaches, partially compensating for their disadvantages. This paper presents the aggregated algorithmic structure of the synthetic method, the theoretical properties of partial cases and, as a result, the justification of its overall efficiency.