Збірники наукових праць ЦНТУ
Permanent URI for this communityhttps://dspace.kntu.kr.ua/handle/123456789/1
Browse
20 results
Search Results
Item type:Item, Specification and Verification of a Formal Model for a Real-Time System Using TLA+(ЦНТУ, 2025) Shyshatska, О.; Matiichuk, L.; Shyshatskyy, A.; Шишацька, О. В.; Матійчук, Л. П.; Шишацький, А. В.The paper describes theoretical and applied aspects of modeling real-time information systems using the example of a continuous glucose monitoring (CGM) system. The primary focus is on the application of formal methods, in particular the TLA+ specification language and modal logics, which ensure mathematical precision in describing system behavior. A formal model of the CGM system is constructed, safety invariants are defined, and automated model verification is performed using the TLC mechanism. The obtained results can be used to improve the reliability and justify the correctness of software-hardware solutions in the field of medical IT systems, particularly Closed-Loop Systems (CLS), which currently lack appropriate regulatory certification. The proposed approach contributes to the formalization of the validation process for such systems in accordance with standards for safety-critical software. У роботі представлено розробку формальної моделі програмно-апаратної системи реального часу на прикладі системи безперервного моніторингу рівня глюкози (Continuous Glucose Monitoring, CGM). CGM-системи є критично важливими ІТ-рішеннями, що використовуються в медичному середовищі для постійного вимірювання рівня глюкози в крові та своєчасного сповіщення користувачів. З огляду на дедалі ширше впровадження CGM у замкнені контури керування (Closed-Loop Systems, CLS), які автоматизують введення інсуліну, зростає потреба у забезпеченні коректності таких систем, особливо враховуючи популярність неперевірених рішень, створених користувачами самостійно (DIY). Попри досягнення в галузі фізичних та сенсорних технологій, програмне забезпечення CGM-систем часто не має формальних специфікацій та перевірок. Це створює ризики у передбачуваності, безпеці та надійності, що є особливо критичними у медичних застосуваннях. Метою дослідження є застосування формальних методів, зокрема TLA+, для специфікації, моделювання та верифікації поведінки CGMсистеми, що функціонує в режимі реального часу.Item type:Item, Експериментальні дослідження ширини утвореного валка зрізаної гички коренеплодів цикорію(ЦНТУ, 2023) Підгурський, М. І.; Борис, М. М.; Цьонь, Г. Б.; Pidhurskyi, М.; Boris, М.; Tsyon, Н.У статті наведено результати перевірки адекватності розробленої аналітичної моделі, яка функціонально описує процес вивантаження зрізаної гички на поверхню зібраного поля шнековим конвеєром гичкозрізувального модуля. На основі обробки експериментального масиву даних отримано рівняння регресії зміни ширини утвореного валка зрізаної гички залежно від швидкості руху модуля, урожайності гички та частоти обертання шнека. The search for effective technical solutions and scientific directions for substantiating the rational parameters of the working bodies of hedge cutting devices, which ensure an increase in the production of the strategically important for the leading sectors of the economy of Ukraine (energy - biofuel, food - coffee, pharmaceutical - inulin) culture, or root crops of chicory is a relevant and significant direction research, both for science and practice.Item type:Item, Математична модель переміщення зрізаної гички коренеплодів цикорію в направляючому каналі(ЦНТУ, 2023) Ляшук О. Л.; Береженко, Є. Б.; Козаченко, О. В.; Lyashuk О.; Berezhenko, Ye.; Kozachenko, О.На основі аналізу технологічного процесу зрізування гички коренеплодів Г-подібними ножами роторного гичкоріза розроблено математичну модель, яка функціонально описує переміщення зрізаної гички в направляючому каналі гичкозрізувальної машини залежно від конструктивно-кінематичних параметрів робочих органів різального апарату. На основі рішення математичної моделі отримано рівняння профілю поверхні кожуха направляючого каналу з умов рівних післяударних швидкостей і рівних швидкостей руху зрізаної гички. Встановлено, що найбільш прийнятним є профіль, у якого кут зіткнення, або кута між напрямком вектора доударної швидкості та дотичною до профілю направляючого каналу в точці удару дорівнює 25 град., при цьому висота профілю направляючого каналу становить 1,2 м. За значення кута між напрямком вектора доударної швидкості та дотичною до профілю направляючого каналу в точці удару 30…35 град. початкова швидкість руху зрізаної частинки гички знаходиться у діапазоні 9,5…10,5 м/с, а на виході з вихідної горловини – 2,5…3,5 м/с, при цьому час переміщення гички по направляючому каналу становить 0,15…0,2 с. The increase in the production of root crops of chicory, which is a valuable technical crop, is restrained by the low level of mechanization of the main technological processes of their collection. The increased content of vegetable impurities or the remains of ghee in the collected root crops of chicory significantly reduces the quality of the raw material and, accordingly, the output of its processing products.Item type:Item, Model of the optimal composition of the main technical facilities of a container transport and technological system(ЦНТУ, 2023) Zahorianskyi, V.; Moroz, М.; Haikova, Т.; Загорянський, В. Г.; Мороз, М. М.; Гайкова, Т. В.To solve the problem of determining the rational type and parameters of containers, as well as the structure of their fleet for the delivery of cargo (cargo), taking into account whether the accepted type and structure of the container fleet corresponds to the values of the required (custom) batches for the delivery of products and the possibility of making appropriate adjustments to the container payload values, an economic and mathematical model of the optimal composition of the technical complex of a container transport and technological system has been developed. Метою статті є розробка математичної моделі, що передбачає процедури оптимізації, за допомогою якої можуть бути визначені ефективні типи технічних засобів і їх кількість і структура парку, необхідних для здійснення контейнерних перевезень, в тому числі контейнерів, для коригування корисного навантаження контейнерів. Технічні засоби контейнерної транспортної системи виділені в шість основних видів (елементів), які утворюють єдиний технічний комплекс. При конкретних розрахунках визначення раціонального типажу і параметрів контейнерів, а також структури їх парку для доставки вантажу (вантажів) слід враховувати, чи відповідає типаж і структура парку контейнерів що приймається величинам потрібних (замовних) партій доставки продукції і вносити відповідні поправки значень корисного навантаження контейнера. Для вирішення даної задачі застосована економіко-математична модель технічного комплексу контейнерних перевезень. Для процесу контейнерних перевезень виділена система обмежень математичної моделі, що враховує умови цього процесу. Критерієм ефективності варіанту вибору (цільовою функцією математичної моделі) виступає значення сукупних приведених витрат при їх мінімізації. Виділено чинники, що визначають питомі приведені витрати при перевезенні вантажів з заданими характеристиками в контейнерах з різними параметрами. Запропонований підхід застосований для випадку невідповідності типажу і структури парку контейнерів рекомендованим партіям поставки за масою або об'ємом і запропонована методика коригування корисного навантаження контейнерів. Розглянуто передумови формування та функціонування економічно ефективних контейнерних вантажних перевезень в Україні з використанням автомобільного транспорту. Для вибору раціонального типажу і параметрів основних технічних засобів контейнерної транспортної системи та їх поєднань (структури парків) застосований системний підхід, який супроводжується комплексними техніко- економічними розрахунками. Представляється перспективною розробка по даній моделі алгоритму і програми для оптимізації складу контейнерної транспортно-технологічної системи.Item type:Item, Концептуальні засади управління взаємодією малих та великих підприємств(ЦНТУ, 2022) Сущенко, С. С.; Sushchenko, S.В статті наведено принципові підходи щодо розроблення концептуальних засад управління взаємодією малих та великих підприємств. Обґрунтовано необхідність організації взаємодії малих та великих підприємств на основі використання програмно-цілього підходу, із виокремленням процедур структуризації та характеризації сукупності підприємств, що взаємодіють. Програма організації взаємодії малих і великих підприємств розглядається як стратегічний план із визначенням основних напрямків такої взаємодії та розвитку залучених підприємств. Така програма представлена у вигляді набору графіків "цілі - заходи" та необов'язкових характеристик, пов'язаних з її структурою. Реалізація програми організації взаємодії малих та великих підприємств передбачає створення механізму, за допомогою якого цілі організації взаємодії малих і великих підприємств формулюються таким чином, щоб організовані зусилля щодо їх досягнення можна було визначити, розробити, апробувати, перевірити. затверджувати та розглядати з точки зору таких цілей, тобто керувати ними. Основою такого механізму узгодження цілей між малими та великими взаємодіючими підприємствами є концепція управління за цілями. Сформовано узагальнену модель управління взаємодією малих та великих підприємств з використанням координаційно-управлінського центру. Кожен із контурів управління в даній моделі розглядається як сукупність систем управління всіма взаємодіючими підприємствами, які є об’єктами управління. Визначено концептуальні засади управління взаємодією малих та великих підприємств. The article presents the principled approaches to the conceptual principles development of the small and big enterprises' interaction management. The need to organize the interaction of small and big enterprises based on using a program-objectives approach, highlighting the procedures for structuring and characterizing the set of interacting enterprises, is substantiated. The program for the small and big enterprises interaction organization is considered as a strategic plan with the definition of the main directions of such interaction and the involved enterprises' development. Such a program is presented in the form of a set of "objectives - measures" graphs and optional characteristics related to its structure. The implementation of the program of small and big enterprises interaction organization involves the creation of a mechanism by which the objectives of small and big enterprises interaction organization are formulated in such a way that the organized efforts to achieve them can be defined, developed, tested, approved and considered from the point of view of such objectives, that is, to manage them. The basis of such a mechanism for agreeing with objectives between small and big interacting enterprises is the concept of Management by Objectives.Item type:Item, Методи та підходи до моделювання ефективності цілей операцій в транспортних системах(ЦНТУ, 2022) Голуб, Д. В.; Holub, D.Наведено методи та підходи до моделювання цілей операцій в транспортних системах, що дає змогу отримати не лише цілеспрямовані, але і гнучко орієнтовані рішення при виборі стратегії прогнозування їх роботи. Визначені часткові завдання ухвалення рішень для структуризації початкової інформації з використанням методу відображень. Дано класифікацію факторів за характером невизначеності, що є одним з результатів рішення завдання аналізу невизначеності. Сформульовані завдання, що дозволяють оперативно отримувати, аналізувати і обробляти інформацію. Представлено формалізовану постановку завдання формування початкової множини стратегій моделі проблемної ситуації в транспортній системі. З'ясовано, що багато компонент завдання формування початкової множини стратегій явно не задані і евристично формуються особою, що приймає рішення. З урахуванням показника надійності транспортних систем визначено основні напрямки вирішення проблеми задоволення суперечливих вимог до множини початкових стратегій. Узагальнено сукупність ознак, що можуть бути покладені в основу класифікації завдань ухвалення рішень в транспортній системі за ознакою міри визначеності інформації про проблемну ситуацію. Methods and approaches to modeling the goals of operations in transport systems are given, which allows to obtain not only purposeful, but also flexibly oriented solutions when choosing a strategy for forecasting their work. Partial decision-making tasks for structuring the initial information using the mapping method are defined. The classification of factors by the nature of uncertainty is given, which is one of the results of solving the problem of uncertainty analysis. Tasks are formulated that allow to quickly receive, analyze and process information. A formalized formulation of the problem of forming the initial set of strategies for modeling the problem situation in the transport system is presented. It was found that on the one hand, the set of alternatives between the desired result and the conditions of its implementation should be as wide as possible, which will ensure freedom of choice of the decision-maker and minimize the possibility of missing the optimal decision. It is determined that the initial set of strategies should be comprehensive and, therefore, quite narrow, which will allow the decision-maker to verify the alternatives on the available models with resource constraints. It was found that many components of the task of forming the initial set of strategies are clearly not set and are heuristically formed by the decision maker. Taking into account the indicator of reliability of transport systems, the main directions of solving the problem of satisfying conflicting requirements for many initial strategies are identified. It is found that the need, in the general case, to consider not one model, but their multilevel hierarchy is determined by the peculiarity of the efficiency study scheme, in which the description of the higher level depends on generalized and factorized lower level variables. The mathematical formula of the criterion of adaptability in the choice of solutions is given. The set of features that can be used as a basis for the classification of decision-making tasks in the transport system on the basis of the degree of certainty of information about the problem situation is generalized.Item type:Item, Інформаційна та кібернетична безпека сучасного підприємства: забезпечення та моделювання(ЦНТУ, 2019) Волот, О. І.; Волот, Е. И.; Volot, O.Висвітлені питання щодо забезпечення безпеки економічної інформації та створення надійної моделі кібернетичної безпеки підприємства. Визначено основні завдання та джерела загроз інформаційній безпеці, а також методологічні засади побудови інформаційної та кібернетичної безпеки сучасного підприємства. Представлено модель побудови системи інформаційної безпеки підприємства та проаналізовані основні моделі організації кібербезпеки. Освещены вопросы обеспечения безопасности экономической информации и создания надежной модели кибернетической безопасности предприятия. Определены основные задачи и источники угроз информационной безопасности, а также методологические основы построения информационной и кибернетической безопасности современного предприятия. Представлена модель построения системы информационной безопасности предприятия и проанализированы основные модели организации кибербезопасности. The article covers the issues of economic information security and creation of a reliable model of enterprise cyber security. The overriding goal of any enterprise information security system is to ensure that the enterprise operates smoothly, prevention of threats to its security, protection of legitimate interests against unlawful attacks, preventing theft of funds, disclosure, loss, distortion and destruction of official information, ensuring the normal production activity of all units of the facility. Therefore, the article identifies the main tasks and sources of information security threats, as well as the methodological principles for building information and cyber security of a modern enterprise. The model of building of information security system of the enterprise is presented and the basic models of the organization of cybersecurity are analyzed. Methodical approaches are offered, which allow to fully analyze and formulate requirements related to ensuring information security of the enterprise; avoid the expense of unnecessary security measures that are possible in subjective risk assessment; to assist in the planning and implementation of protection at all stages of the life cycle of the enterprise information system; provide justification for the choice of counteraction means; evaluate performance and compare different countermeasures. In general, a methodical approach to modeling information security and cyber security was considered allows to evaluate or overestimate the level of the current state of information security of information flows of the enterprise, to make recommendations for ensuring information security of the enterprise, reduce the potential costs of the enterprise by increasing the stability of the information flow system, to develop the concept and policy of information and cyber security of the enterprise.Item type:Item, Банківський сектор як елемент системи протидії легалізації та відмивання доходів, отриманих злочинним шляхом(ЦНТУ, 2018) Коцюрба, О. Ю.; Kotsiurba, О.У статті розглянуто роль та місце банківського сектору в системі протидії легалізації та відмивання доходів, отриманих злочинним шляхом. Проведено аналіз механізмів залучення банківських установ до відмивання злочинних доходів в залежності від їх форми. За результатами аналізу визначено шляхи мінімізації ризиків залучення банків до процесу відмивання «брудних коштів» та подальшого розвитку системи протидії легалізації та відмивання доходів, отриманих злочинним шляхом. В статье рассмотрена роль и место банковского сектора в системе противодействия легализации и отмывания доходов, полученных преступным путем. Проведен анализ механизмов привлечения банковских учреждений к отмыванию преступных доходов в зависимости от их формы. На основании результатов анализа определены пути минимизации рисков привлечения банков к процессу отмывания «грязных денег» и дальнейшего развития системы противодействия легализации и отмывания доходов, полученных преступным путем.The article notes that the legal basis of the anti-money laundering and laundering system is the law enforcement block and the financial monitoring unit, which includes banking institutions, and defined the role and place of the banking sector in it. Banking institutions are the leaders in the number of reports of dubious financial transactions to the State Financial Monitoring Service, which determines their central role in the counteraction to the legalization and laundering of proceeds from crime. Criminal proceeds in cash form are a result of unlawful activities, while criminal proceeds in non-cash form are obtained because of legitimate activities, in which fraud, theft of budget funds or abuse of official duties were committed. Taking into account the forms of obtaining illegal proceeds, criminals choose different methods and ways of incomes legalization. Thus, cash proceeds are placed in the banking system by intermediaries through the structuring of cash transactions, falsification of documents, the creation of collective accounts, money swaps and other, and cashless by conversion centers through the conclusion of fictitious contracts, the use of schemes with "garbage" securities, services «pseudo-insurance» are transformed into cash. Further, as a rule, in order to break the connection between criminals and the crime, the money is withdrawn abroad and returned to the economy in the legal form. According to the analysis, it was determined that the greatest risks for banking institutions in servicing legal entities are transactions in money transfer, non-equity securities transactions and cash servicing; in the service of individuals - transactions for the transfer of funds, including foreign currency, transactions with bank cards and accounts. Recommendations on the creation of a mechanism for internal control to counteract the legalization of criminal incomes through taking into account recognized intrabank tools "know about the client everything" and "know your employees", will reduce the risks of using the banking sector to legalize the proceeds from crime.Item type:Item, Науково-методичні аспекти прогнозування витрат і планування сталого розвитку агропідприємства(ЦНТУ, 2018) Кернасюк, Ю. В.; Kernasyuk, Yu.В статті розглянуто питання організації забезпечення прогнозування витрат і планування сталого розвитку сільськогосподарського підприємства. Здійснено аналіз сучасного економічного стану розвитку аграрних підприємств на регіональному, зональному і загальнодержавному рівні. Узагальнено теоретичні аспекти визначення дефініції «сталий розвиток» для аграрного підприємства. Науково обґрунтовано методичні підходи прогнозування витрат і планування сталого розвитку аграрного підприємства з врахуванням впливу ринкового середовища, погодно-кліматичних умов та інших факторів. В статье рассмотрены вопросы организации обеспечения прогнозирования расходов и планирования устойчивого развития сельскохозяйственного предприятия. Осуществлён анализ современного экономического состояния развития аграрных предприятий на региональном, зональном и общегосударственном уровне. Обобщены теоретические аспекты определения дефиниции «устойчивое развитие» для аграрного предприятия. Научно обоснованы методические подходы прогнозирования расходов и планирования устойчивого развития аграрного предприятия с учётом влияния рыночной среды, погодно-климатических условий и других факторов. The purpose of the article is the generalization and development of scientific and methodical approaches to forecasting expenditures in combination with planning for sustainable development of an agricultural enterprise based on the use of economic modeling methods, system analysis and intelligent computer technologies. In the modern economy, one of the important aspects of the competitive functioning of agribusiness enterprises on the principles of sustainable development is the effective management of their financial and material resources. Now it is difficult and problematic to achieve high performance results in the management of enterprises without a comprehensive use of economic modeling methods, system analysis and intelligent computer technologies that significantly expand the existing information and analytical support for forecasting costs and the level of profitability of production activities. The article deals with the organization of ensuring the forecasting of expenditures and planning the sustainable development of an agricultural enterprise. The analysis of the current economic state of the development of agrarian enterprises at the regional, zonal and national levels is carried out. The theoretical aspects of defining the definition of "sustainable development" for an agrarian enterprise are generalized. The methodical approaches to forecasting costs and planning sustainable development of an agricultural enterprise, taking into account the influence of the market environment and other factors were substantiated scientifically. It was suggested to use the tool in the Excel spreadsheet editor, which is called the "Scenario Manager" to automate the calculation of the cost forecast. The scenario approach of the forecast of costs based on 5 variants is grounded. An economic model of cost forecasting based on the example of soybean production is developed. The advantage of this is the ability to provide management with a convenient tool for substantiating and making informed decisions taking into account the influence of the market environment, weather and climate, environmental conditions and other factors. The forecasting model allows to take into account a significant number of factors of influence and trends in the development of super complex systems, including agriculture, and also to ensure a higher level of its reliability.Item type:Item, Аналітична модель зубка часнику(ЦНТУ, 2018) Семен, О. Я.; Кузенко, Д. В.; Семен, Я. В.; Semen, O.; Kuzenko, D.; Semen, Y.Проведено теоретичні дослідження іапропоновано модель зубка часнику, котрий розглядається у декартовій системі координат як частина кулі відповідного радіусу, об’єм якої обмежений двома меридіональними площинами з двогранним кутом між ними та однією площиною, що лежить в основі зубка і є перпендикулярною до двох інших. Отримано аналітичні залежності, що дозволяють знайти масу і координати центра ваги зубка часнику, вважаючи його однорідним тілом однакової густини, центр ваги якого лежить у площині симетрії, що поділяє зубок навпіл за висотою. Наведено окремі результати теоретичних досліджень з визначення розмірно-масових показників зубків часнику та проведено їх аналіз. Проведены теоретические исследования и предложена модель зубка чеснока, рассматриваемого в декартовой системе координат как часть шара соответствующего радиуса, объем которого ограничен двумя меридиональными плоскостями с двугранным углом между ними и одной, перпендикулярной к ним плоскостью, лежащей в основе зубка. Получены аналитические зависимости, позволяющие найти массу и координаты центра тяжести зубка чеснока, считая его однородным телом одинаковой плотности, центр тяжести которого лежит в плоскости симметрии, разделяемой зубок пополам по высоте. Приведены отдельные результаты теоретических исследований по определению размерно-массовых показателей зубков чеснока и выполнен их анализ. Studies as to developing of the mathematical model of garlic clove were conducted. The model of the garlic clove is proposed. The garlic clove is considered in the Cartesian coordinate system as a part of the sphere of the appropriate radius. Its volume is limited by two meridional planes with a two-cornered angle between them and one plane that lies at the base of the garlic clove and is perpendicular to the other two. The volume of the garlic clove is determined by integrating the area of its cross section at a certain distance from the origin of the coordinates. The analytical dependencies of the mass and coordinates of the center of gravity of the garlic clove are obtained. Some results of theoretical studies on determination of dimensional-mass indexes and coordinates of the center of garlic clove gravity are given and analyzed. The conducted theoretical researches allow forming the basic directions of further experimental researches of the dimensional-mass indices of garlic clove different form surface of separate garlic varieties. The considered theoretical studies will also be the basis for further mathematical modelling of the process of piece-oriented garlic clove planting with a bulb stem down, and a sprout up.