Актуальність теми дослідження зумовлена необхідністю аналізу зовнішньополітичного курсу Сполученого Королівства Великої Британії та Північної Ірландії як однієї з ключових держав постбіполярного періоду. У демократичній державі політичний консенсус є результатом домовленостей між політичними силами, які представляють інтереси груп виборців. Велика Британія є однією з найстаріших парламентських демократій світу. Вестмінстерська система дозволяє громадянам захищати свої політичні інтереси та сприяла перетворенню Великої Британії на наддержаву в ХІХ ст. У ХХ ст. відбувався закономірний процес зменшення впливу Великої Британії у світовій політиці. Сполучене Королівство почало поступатися за економічними й військовими параметрами Сполученим Штатам Америки. Сполучене Королівство адаптувалося до Ялтинсько-Потсдамської системи, в якій Велика Британія залишалася провідною державою та ключовим союзником США в НАТО. У постіндустріальну епоху Велика Британія вступила лідером Британської Співдружності, постійним членом Ради Безпеки ООН та одним з провідних технологічних, економічних та культурних центрів світу. Після розпаду соціалістичного табору британська держава і надалі брала активну участь у світовій політиці та зберігала статус провідної держави, у якій продовжувалися дискусії щодо питань євроінтеграції та співпраці у сфері колективної безпеки, які вимагали пошуку політичного компромісу. Тема наукового дослідження органічно пов’язана з проблемою формування зовнішньої політики країн ЄС і НАТО у постбіполярний період. Велика Британія, як одна з провідних держав Заходу, відігравала ключову роль у формуванні зовнішньополітичних позицій НАТО та ЄС, корелюючи свої інтереси з іншими країнами євроатлантичного співтовариства. Дослідження особливостей формування британської зовнішньої політики дозволяє краще зрозуміти контекст формування та реалізації зовнішньополітичного курсу європейських країн у межах євроатлантичної системи колективної безпеки.У дисертації проведено порівняльний аналіз політики консервативного кабінету Дж. Мейджора та лейбористських урядів Т. Блера і Г. Брауна. На основі залучення до наукового обігу малодосліджених матеріалів (політичні маніфести британських політичних партій) проаналізовано еволюцію зовнішньополітичних доктрин британських політичних партій. Визначено ієрархію різних напрямків британської зовнішньої політики та їх територіальну спрямованість. На основі аналізу засідань британського парламенту охарактеризовано ключові питання британської зовнішньополітичного дискурсу та їх сприйняття британським істеблішментом. Досліджено ставлення ключових британських політичних сил до проблеми участі Сполученого Королівства у військових інтервенціях в регіональні конфлікти. Розглянуто еволюцію політики Сполученого Королівства щодо країн що розвиваються. Поглиблено наукову інтерпретацію особливостей формування європейського вектору британської зовнішньої політики та цілей та інтересів британської політики щодо країн пострадянського простору та КНР. Уточнено співвідношення внутрішніх та зовнішніх чинників формування зовнішньої політики урядів Сполученого Королівства. Окреслено роль державних інститутів і політичних партій у британському зовнішньополітичному процесі. Визначено характер впливу основних політичних партій та парламентських фракцій на зовнішню політику урядів Сполученого Королівства. Охарактеризовано роль регіональних партій автономних адміністративно-територіальних регіонів Сполученого Королівства у зовнішньополітичному процесі. Дисертація є самостійним дослідженням, у якому викладено авторське бачення специфіки формування британської зовнішньої політики. Представлене дослідження є першою в українській історіографії працею, яка розглядає внутрішньополітичні чинники, що зумовлюють британський зовнішньополітичний курс.Наукове осмислення формування зовнішньої політики Великої Британії щодо ключових проблем міжнародних відносин дає можливість заповнити певну прогалину в історіографії британського зовнішньополітичного процесу, використати напрацьований історичний матеріал, окремі положення та висновки дисертаційного дослідження для підготовки узагальнюючих наукових праць та підручників з новітньої історії країн Європи. Матеріали дисертації можуть використовуватися для розробки нормативних і спеціальних курсів у вищих навчальних закладах з міжнародних відносин та політичної історії зарубіжних країн.^UThe relevance of the topic of this research is determined by the need of the in-depth analysis of the United Kingdom foreign policy formation and development which reflected its role as an important actor of the post-bipolar world. The UK is one of the oldest democracies of the world. The Westminster system of government allowed the British citizens to protect their interests and contributed to the rise of Great Britain into a global superpower in the 19th century. The achievement of a political consensus on foreign policy matters is regarded as the result of an informal agreement between political groups representing the interests of voters.United Kingdom’s influence had declined in the 20th century as a result of the global changes. Great Britain had yielded military and economic leadership to the United States of America. The United Kingdom had adapted to the Yalta-Potsdam system of international relations and remained a major world power and significant US ally in NATO.United Kingdom is a major economic, technologic and cultural power of the postindustrial age. Great Britain played an active role in international relations. The British establishment had an active internal debate on the topics of eurointegration and security cooperation.The topic of the scientific research is organically connected with the problem of the formation of the foreign policy of the EU and NATO countries in the postbipolar period. The United Kingdom, as one of the leading states of the West, played significant part in shaping the foreign policy positions of NATO and EU, correlating its interests with other countries of the Euroatlantic community. The study of the peculiarities of the formation of British foreign policy allows better understanding of the context of the formation and implementation of the foreign policy course of European countries within the framework of the Euroatlantic system of collective security.The dissertation, for the first time in Ukrainian historiography, characterized evolution of the foreign policy doctrines of British political parties on basis of examination of the new documents (political manifestos of the British political parties). The important topics of British foreign policy discourse and its interpretation by the British establishment were analyzed. The author researched the position of the British political parties on the topic of military intervention in the regional conflicts. The British policy on the developing countries was also considered. The research of the specifics of the formation of British foreign policy has considerable academic and theoretical significance that improves understanding of the global processes that occur in the system of international relations.

У дисертації здійснено комплексне спеціальне наукове дослідження, присвячене процесуальній незалежності арбітражного керуючого в процедурах банкрутства, а також розроблено на цій основі пропозиції щодо вдосконалення законодавства. Викладено доктринальні погляди на сучасний стан, розвиток та перспективи інституту процесуальної незалежності арбітражного керуючого в процедурах банкрутства в контексті національного та міжнародного законодавства. Виносяться на розгляд нові положення, які можуть слугувати для подальшого розвитку та вдосконалення науки господарського права і процесу.Дослідження теоретико-методологічних основ процесуальної незалежності арбітражного керуючого дозволяє стверджувати, що на сьогодні комплексний системний аналіз питань незалежності арбітражного керуючого не проводився. Науковці переважно досліджували проблеми застосування процедур неспроможності та банкрутства, питання особливостей правового статусу арбітражного керуючого, контролю за професійною діяльністю. Відповідно, існує нагальна потреба у розв’язанні ряду теоретичних і практичних проблем, пов’язаних із з’ясуванням: 1) природи процесуальної незалежності арбітражного керуючого; 2) становлення та історичного розвитку інституту процесуальної незалежності арбітражного керуючого; 3) процесуальної незалежності розпорядника майна; 4) процесуальної незалежності керуючого санацією; 5) процесуальної незалежності ліквідатора; 6) питання щодо саморегулювання професійної діяльності арбітражних керуючих; 7) питань контролю за діяльністю арбітражних керуючих. Надано авторське визначення поняття «процесуальна незалежність арбітражного керуючого», під яким розуміється забезпечена фінансовою та професійною незалежністю здатність арбітражного керуючого самостійно виконувати свої процесуальні обов’язки у процедурах банкрутства в інтересах кредиторів і боржника в умовах судового контролю та підзвітності представницьким органам кредиторів.У дисертації представлено авторське визначення видів незалежності арбітражного керуючого, зокрема: 1) процесуальна (реалізується особливими процесуальними механізмами призначення, виконання та припинення повноважень арбітражних керуючих у судових процедурах банкрутства); 2) фінансова (реалізується через прозорість, достатність та гарантії оплати основної, додаткової винагороди за виконання ним відповідних обов’язків, відшкодування його витрат на реалізацію своїх повноважень); 3) професійна (забезпечується через нормативне регулювання отримання права на здійснення професії арбітражного керуючого, контролю за дотриманням законності у діяльності арбітражного керуючого, саморегулювання професійної діяльності арбітражних керуючих).Автором запропоновано періодизацію історичного розвитку законодавства та наукової думки з питань незалежності арбітражного керуючого, яку умовно поділено на чотири періоди: 1) VI–IX стст. – зародження конкурсного процесу на території Європи. Впровадження професії магістрів і піклувальників майна боржників для управління та нагляду за конкурсною масою; 2) XIII–ХVII стст. – процедури банкрутства відбувались у чітко встановленій формі та визначеному порядку, поява професії професійних адміністраторів – у конкурсному процесі, які здійснювали довірче управління майном боржників; 3) ХVII–ХІХ стст. – створення інституту кураторів та конкурсних управляючих, які представляли інтереси як кредиторів, так і боржника, врівноважуючи їх, були посадовими особами, органами держави і діяли за дорученням суду; 4) ХХІ ст. – створення в Україні оновленої моделі конкурсних керуючих – інституту арбітражних керуючих, які виконують функції антикризового менеджера та виконують розпорядчі функції щодо управління боржником у процедурах банкрутства. Зазначена модель конкурсного управління передбачає процесуальну незалежність арбітражних керуючих для дотримання балансу між інтересами кредиторів та боржників. У дисертаційній роботі також запропоновано законодавчо унормувати розподіл обов’язків розпорядника майна та керівника боржника під час проведення інвентаризації та організації збереження майна боржника. Такі обов’язки мають покладатися на розпорядника майна тільки в комплексі з відповідним зобов’язанням керівника боржника або у разі покладання на розпорядника майна обов’язків керівника боржника.У роботі також запропоновано окремі зміни концептуальних засад у процедурах санації та ліквідації в частині наділення арбітражного керуючого особливим правовим статусом, що поєднує у собі обов’язки як керівника боржника, так і повноваження спеціального учасника справи про банкрутство, покликаного забезпечити задоволення вимог кредиторів. Це дозволить знизити можливості тиску на арбітражного керуючого через правоохоронні органи, зменшить правову вразливість та посилить ефективність судового контролю у межах справ про банкрутство.^UThe dissertation is a comprehensive special scientific reseach devoted to the procedural independence of the insolvency officer in bankruptcy proceedings, and proposals for improving legislation are developed on this basis. The author presents the doctrinal views on the current state, development and prospects of the institution of procedural independence of the insolvency officer in bankruptcy proceedings in the context of national and international legislation. The author proposes new provisions which may serve to further develop and improve the science of commercial law and procedure.The learn of the theoretical and methodological foundations of the procedural independence of the bankruptcy trustee suggests that to date, no comprehensive systematic analysis of the issues of independence of the Bankruptcy trustee has been conducted. Scientists have mainly studied the problems of applying insolvency and bankruptcy procedures, the peculiarities of the legal status of the insolvency receiver, and control over professional activities. Accordingly there is an urgent need to address a number of theoretical and practical issues related to clarifying: 1) the nature of the procedural independence of the bankruptcy trustee; 2) the establishment and historical development of the institution of procedural independence of the Bankruptcy trustee; 3) the procedural independence of the property manager; 4) the procedural independence of the rehabilitation manager; 5) the procedural independence of the liquidator; 6) issues of self-regulation of the professional activities of Bankruptcy trustees; 7) issues of control over the activities of вankruptcy trustees.The author's definition of the concept of «procedural independence of an insolvency officer» is provided, which means the ability of an insolvency officer to independently perform his procedural duties in bankruptcy proceedings in the interests of creditors and the debtor under conditions of judicial control and accountability to the representative bodies of creditors.The dissertation presents the author's definition of the types of independence of the insolvency receiver, in particular: 1) procedural (implemented by special procedural mechanisms for appointment, performance and termination of powers of insolvency receivers in bankruptcy proceedings); 2) financial (implemented through transparency, sufficiency and guarantees of payment of the basic and additional remuneration for the performance of their respective duties, reimbursement of their expenses for the exercise of their powers); 3) professional (ensured through regulatory regulation of obtaining the right to exercise the profession of insolvency receiver, control over compliance with the law in the activities of insolvency receivers).The author proposes the own periodization of the historical development of legislation and scientific thought on the independence of the insolvency receiver, which is conditionally divided into four periods: 1) VI–IX centuries – the emergence of the competitive process in Europe. The introduction of the profession of masters and trustees of debtors' property to manage and supervise the bankruptcy estate; 2) XIII–XVII centuries – bankruptcy procedures were carried out in a clearly established form and in a certain manner, the emergence of the profession of professional administrators in the bankruptcy process, who carried out trust management of debtors' property; 3) XVII–XIX centuries – creation of the institute of curators and bankruptcy trustees who represented the interests of both creditors and the debtor, balancing them, were officials, state bodies and acted on behalf of the court; 4) XXI century – creation in Ukraine of an updated model of bankruptcy trustees - the institute of arbitration trustees who perform the functions of an anti-crisis manager and perform administrative functions to manage the debtor in bankruptcy proceedings. This model of insolvency management provides for the procedural independence of insolvency receivers to maintain a balance between the interests of creditors and debtors.The thesis also proposes to regulate by law the division of responsibilities of the property manager and the debtor's director when conducting an inventory and organizing the preservation of the debtor's property. Such duties should be imposed on the property manager only in conjunction with the corresponding obligation of the debtor's director or in the case of imposing on the property manager the duties of the debtor's director.

Дисертація присвячена науковому обґрунтуванню удосконалення організації надання медичної допомоги онкологічним хворим в умовах великого міста (на прикладі раку прямої кишки). Комплексним медико-соціальним дослідженням доведено недосконалість існуючого стану організації надання медичної допомоги онкологічним хворим, обмежені можливості задоволення потреб населення у доступній, безпечній і своєчасній, економічно ефективній профілактичній, діагностичній допомозі. Обґрунтовано пріоритетні вектори удосконалення організації надання медичної допомоги онкологічним хворим в умовах великого міста, якими передбачено комплексний профілактичний підхід з урахуванням індивідуальних особливостей пацієнта, формуванням ЛЗП-СЛ групи ризику розвитку раку (на прикладі його локалізації в прямій кишці), при ефективній взаємодії надання первинної та спеціалізованої допомоги таким хворим. Запровадження розроблених організаційних підходів передбачає формування високого рівня доступності профілактичних обстежень для комплексного вирішення проблеми охорони здоров'я при наданні первинної медичної допомоги, що дозволить покращити своєчасність виявлення раку прямої кишки з метою попередження безповоротних втрат здоров'я та якості життя населення.^UThe dissertation is devoted to scientific justification of improvement of the organization of delivery of health care to oncological patients in the conditions of the megalopolis (on an example of rectum cancer). The complex medico-social research proved imperfection of the current situation of the organization of delivery of health care to oncological patients in conditions of a big city, with rectum cancer, limited opportunities of satisfaction of needs of the population for the available, safe and timely, cost-effective preventive, diagnostic help. Reasonably priority vectors of improvement of the organization of delivery of health care to oncological patients with localization of a malignant new growth in a rectum which provided an integrated preventive approach taking into account specific features of the patient, formation by the doctor of primary contact of risk group of development of cancer of this localization, at effective interaction of rendering primary and specialized help to such patients.

Мета: концептуалізація теоретико-методичних підходів та обґрунтування практичних рекомендацій щодо організаційно-економічного забезпечення розвитку ринку екосистемних послуг лісового господарства. Об’єкт: процес функціонування ринку екосистемних послуг лісового господарства. Методи дослідження: абстрактно-логічний, монографічний, системно-структурний, економіко-статистичний, порівняльного аналізу і групування, програмно-цільовий, кореляційно-регресійного аналізу та теорії ігор. Теоретичні результати: обґрунтовано концептуальні засади формування організаційно-економічного механізму розвитку ринку екосистемних послуг лісового господарства та удосконалено методичний підхід до оцінювання ефективності надання екосистемних послуг лісового господарства.Практичні результати: удосконалено науково-методичний інструментарій стратегічного планування розвитку ринку екосистемних послуг лісового господарства та обґрунтовано науково-методичні засади функціонування системи платежів за екосистемні послуги лісового господарства. Наукова новизна: запропоновано концептуальні засади формування організаційно-економічного механізму розвитку ринку екосистемних послуг лісового господарства базувати на системному та процесно-функціональному підходах через систематизацію принципів, функцій та елементів цього механізму у межах чотирьох взаємопов’язаних блоків: інституціонального, аналітичного, забезпечувального та результативного. Ступінь впровадження: Державне агентство лісових ресурсів України; Житомирське обласне управління лісового та мисливського господарства; Чернігівське обласне управління лісового та мисливського господарства; ДП «Житомирське лісове господарство»; ДП «Коростишівське лісове господарство»; Філія «Баранівське лісомисливське господарство» ДП «Ліси України»; Поліський національний університет.Ефективність: результати дослідження сприяють розвитку ринку екосистемних послуг лісового господарства; розроблені теоретико-методичні та прикладні положення, які доведено до рівня конкретних пропозицій, можливих для впровадження в науку і практику системи управління лісовим господарством, можуть бути використані для розробки заходів із стимулювання ефективності надання та реалізації послуг лісових екосистем, а також обґрунтовані науково-методичні засади функціонування системи платежів за екосистемні послуги лісового господарства, дають можливість через компенсаційний інструментарій (сертифікат на поглинання) запровадити нові форми платежів та фінансові схеми взаємовідносин продавців і покупців екосистемних послуг.Сфера використання: Міністерство захисту довкілля та природних ресурсів України, Державне агентство лісових ресурсів України, суб’єкти лісового сектору економіки, територіальні громади, наукові установи НААН України, заклади вищої освіти економічного профілю.^UPurpose: conceptualization of theoretical and methodological approaches and substantiation of practical recommendations for organizational and economic support for the development of the forestry ecosystem services market.Object: the process of functioning of the forestry ecosystem services market.Research methods: abstract-logical, monographic, system-structural, economic-statistical, comparative analysis and grouping, program-targeted, correlation-regression analysis and game theory.Theoretical results: the conceptual foundations for the formation of an organizational and economic mechanism for the development of the forestry ecosystem services market are substantiated and the methodological approach to assessing the effectiveness of forestry ecosystem services is improved.Practical results: the scientific and methodological tools for strategic planning of the development of the forestry ecosystem services market have been improved and the scientific and methodological principles of functioning of the system of payments for forestry ecosystem services have been substantiated.Scientific novelty: the conceptual foundations for the formation of an organizational and economic mechanism for the development of the forestry ecosystem services market based on systemic and process-functional approaches are proposed through the systematization of the principles, functions and elements of this mechanism within four interrelated blocks: institutional, analytical, support and performance.Level of implementation: The State Agency of Forest Resources of Ukraine; Zhytomyr Regional Forestry and Hunting Administration; Chernihiv Regional Forestry and Hunting Administration; State Enterprise «Zhytomyr Forestry»; State Enterprise «Korostyshiv Forestry»; Branch «Baranivske Forestry and Hunting Enterprise» of the State Enterprise «Forests of Ukraine»; Polissia National University.Effectiveness: the results of the study contribute to the development of the forestry ecosystem services market; the developed theoretical, methodological and applied provisions, which are brought to the level of specific proposals that can be implemented in the science and practice of forest management system, can be used to develop measures to stimulate the efficiency of provision and implementation of forest ecosystem services, as well as the well-grounded scientific and methodological foundations of the payment system for forestry ecosystem services, make it possible to introduce new forms of payment and financial schemes for the relationship between sellers and buyers of ecosystem services through compensation instruments (certificate of absorption).Scope of application: The Ministry of Environmental Protection and Natural Resources of Ukraine, the State Agency of Forest Resources of Ukraine, forestry sector entities, territorial communities, scientific institutions of the National Academy of Sciences of Ukraine, higher education institutions of economic profile.

Бар’єрна функція кишечника є фундаментальним аспектом здоров'я організму та відіграє ключову роль у захисті організму від шкідливих речовин, токсинів та патогенних мікроорганізмів, які потрапляють у нього через шлунково-кишковий тракт (ШКТ). В основі бар'єрної функції кишечника лежить складна система механічних, біохімічних та імунологічних процесів, які контролюють проникнення речовин через епітеліальний шар кишечника. Крім того, кишкова мікробіота грає важливу роль у підтримці цілісності кишкового бар'єру, виробляючи корисні метаболіти, захищаючи від патогенів, та регулюючи імунну відповідь.Порушення бар'єрної функції кишечника може призвести до проникнення небезпечних агентів в організм, що у подальшому може сприяти розвитку різних захворювань, алергій та імунологічних порушень, зробивши організм більш вразливим перед інфекційними захворюваннями. Відомо, що порушення цілісності кишкового бар'єра може грати ключову роль у розвитку запальних захворювань кишечника, таких як хвороба Крона та виразковий коліт. Хоча точні механізми залишаються об'єктом активного дослідження, припускається, що таке порушення може сприяти хронічному запаленню, змінам у мікробіоті кишечника та втраті функції абсорбції.^UThe intestinal barrier function is a fundamental aspect of overall health. It is crucial in protecting the body from harmful substances, toxins, and pathogenic microorganisms that enter it through the gastrointestinal tract (GIT). At the core of the intestinal barrier function lies a complex system of mechanical, biochemical, and immunological processes that control the passage of substances through the intestinal epithelial layer. In addition, the gut microbiota plays a significant role in maintaining the integrity of the intestinal barrier, producing beneficial metabolites, defending against pathogens, and regulating the immune response.Disruption of the intestinal barrier function can lead to the entry of harmful agents into the body, which can subsequently contribute to the development of various diseases, allergies, and immunological disorders, making the body more susceptible to infectious diseases. It is known that the disruption of the integrity of the intestinal barrier can play a key role in the development of inflammatory bowel diseases such as Crohn's disease and ulcerative colitis. Although the exact mechanisms remain the subject of active research, it is suggested that such disruption may contribute to chronic inflammation, changes in the gut microbiota, and impaired absorption function.

Дисертація на здобуття ступеня доктора філософії за спеціальністю 122 – Комп’ютерні науки (Галузь знань 12 – Технічні науки). – Харківський національний університет імені В. Н. Каразіна, Міністерства освіти і науки України, Харків, 2023. Дисертація присвячена верифікації паралельних програм для інформаційних управляючих систем, що є складною та важливою задачею з багатьма проблемами та викликами. Розглядаються особливості процесу верифікації паралельних програм інформаційних управляючих систем. Описані найпоширеніші інструментальні засоби верифікації програм з підтримкою паралельних обчислень. Приділено увагу, що на сьогодні необхідність високої ефективності паралельного програмного забезпечення інформаційних управляючих систем вимагає суттєвого розширення складу факторів, що враховуються при формальній розробці часопараметризованих мультипаралельних програм інформаційних управляючих систем. Акцентовано, що верифікація мультипаралельних часопараметризованих програм має три складові: компіляційна верифікація; декомпіляційна верифікація та семантична верифікація. Компіляційна верифікація забезпечує перевірку синтаксичної та часової коректності формального синтезу структур семантико-числової специфікації, декомпіляційна верифікація забезпечує перевірку логічної еквівалентності синтезованих мультипаралельних програм та текстів вхідних послідовних програм після завершення всіх етапів синтезу, а семантична верифікація полягає у перевірці збігу одиниць вимірювання фізичних величин, отриманих на основі формального синтезу часопараметризованих мультипаралельних програм інформаційних управляючих систем та одиниць вимірювання вхідних та вихідних даних, що задаються користувачами. Сформовано сучасні вимоги до суттєвого розширення складу факторів, що враховуються при формальній розробці часопараметризованих мультипаралельних програм інформаційних управляючих систем. Формулюється задача дисертаційного дослідження, як розробка інформаційної технології верифікації паралельних часопараметризованих програм інформаційних управляючих систем з метою підвищення її ефективності за рахунок застосування компіляційної, декомпіляційної та семантичної верифікації на основі семантико-числових специфікацій. Для вирішення поставленої науково-прикладної задачі вирішено розробити ряд методів, а саме: метод компіляційної верифікації паралельних часопараметризованих програм для інформаційних управляючих систем; метод декомпіляційної верифікації паралельних часопараметризованих програм для інформаційних управляючих систем; метод семантичної верифікації паралельних часопараметризованих програм для інформаційних управляючих систем.Описано етапи розробки методу компіляційної верифікації паралельних програмних засобів інформаційних управляючих систем. Описані існуючі методи паралельної обробки інформації та їх сутність, показано доцільність використання сукупності методів паралельної обробки інформації при розробці паралельного програмного забезпечення інформаційних управляючих систем. Описано сутність декомпіляційної верифікації часопараметризованих програмних засобів інформаційних управляючих систем. Починаючи з аналізу бінарного коду послідовної програми, проводиться його декомпіляція з метою відновлення вхідного коду. Отриманий вхідний код піддається формальній верифікації за допомогою математичних методів. Відбувається доведення коректності програми, перевірка властивостей безпеки, аналіз відповідності вимогам тощо. Аналізуючи вхідний код програми, можна виявити можливі вразливі місця, дефекти або помилки, що можуть впливати на її безпеку та надійність. Також описані етапи постановки задачі декомпіляційної верифікації часопараметризованих паралельних програмних засобів інформаційних управляючих систем. Описано метод семантичної верифікації часопараметризованих мультипаралельних програм, змістовно розглянуті основні етапи методу семантичної верифікації мультипаралельних програм та описано побудову графу, що здійснюється за допомогою засобів візуалізації паралельних апаратно-програмних об’єктів. Представлена концептуальна модель технології верифікації часопараметризованих паралельних програм інформаційних управляючих систем та змістовно описано основні компоненти архітектури технології верифікації. Обрано показники ефективності технології семантико-числової верифікації інформаційних управляючих систем спрямовані на оцінку точності та надійності результатів верифікації. Сукупність отриманих у дисертації нових наукових результатів, позитивна оцінка їхньої достовірності, наукової та практичної значущості дають змогу вважати сформульовану наукову задачу розробки технології верифікації паралельних часопараметризованих програм інформаційних управляючих систем з метою підвищення ефективності верифікації за рахунок застосування компіляційної, декомпіляційної та семантичної верифікації на основі семантико-числових специфікацій, – розв'язаною, а поставлену мету – досягнутою.^UThe dissertation submitted for obtaining the Doctor of Philosophy degree in Technical Science: Speciality 122 – Computer science. V. N Karazin Kharkiv National University, Ministry of Education and Science of Ukraine, Kharkiv, 2023.The dissertation is devoted to the development and verification of parallel programs for information management systems, which is a complex and important task with many problems and challenges. Peculiarities of the processof verification of parallel programs of information management systems. The most common tools for verifying programs with parallel computing support are described. Attention is focused on the fact that today the need for high efficiency of parallel software of information management systems requires a significant expansion of the composition of factors that are taken into account during the formal development of time-parameterized multi-parallel programs of information management systems. It is emphasized that the verification of multi-parallel time-parameterized programs has three components: compilation verification; decompilation verification and semantic verification. Compilation verification provides checking the syntactic and temporal correctness of the formal synthesis of semantic-numerical specification structures. Decompilation verification provides checking the logical equivalence of synthesized multiparallel programs and input sequential program texts after completion of all stages of synthesis. And semantic verification consists in verifying the coincidence of the units of measurement of physical quantities obtained on based on the formal synthesis of time-parameterized multi-parallel information management systems programs and units of measurement of input and output data specified by users. Modern requirements for a significant expansion of the composition of factors taken into account during the formal development of time-parameterized multi-parallel information management systems programs have been formed. The task of the dissertation research is formulated as the development of information technology for the verification of parallel time-parameterized programs of information management systems with the aim of increasing its efficiency due to the application of compilation, decompilation and semantic verification based on semantic-numerical specifications. To solve the scientific and applied problem, it was decided to develop a number of methods, namely: the method of compilation verification of parallel time-parameterized programs for information management systems; method of decompilation verification of parallel time-parameterized programs for information management systems; method of semantic verification of parallel time-parameterized programs for information management systems. The stages of development of the method of compilation verification of parallel software tools of information control systems. It describes the existing methods of parallel information processing and their essence, shows the expediency of using a set of methods of parallel information processing in the development of parallel information management systems software. The stages of setting task of decompilation verification of time-parameterized parallel software tools of information management systems. In particular, it presents the structural scheme of the method of decompilation verification of time-parameterized parallel software tools of information management systems and a detailed description of the procedures that implement the stages of the method.The method of semantic verification of time-parameterized multiparallel programs, reviews the main stages of the method of semantic verification of multiparallel programs meaningfully, and describes the construction of the graph, which is carried out using means of visualization of parallel hardware and software objects. It presents the conceptual model of the verification technology of time-parameterized parallel information management systems programs and describes the main components of the verification technology architecture meaningfully. The structure of the synthesis verifier of graphs is described in more detail. The indicators of the effectiveness of the technology of semantic-numerical verification of information management systems, aimed at assessing the accuracy and reliability of the verification results. The set of new scientific results obtained in the dissertation, a positive assessment of their reliability, scientific and practical significance make it possible to consider the formulated scientific task of developing a technology for the verification of parallel time-parameterized programs of information management systems in order to increase the effectiveness of verification due to the application of compilation, decompilation and semantic verification based on semantic of numerical specifications, is solved, and the set goal is achieved.

Розроблено та впроваджено у виробництво науково обгрунтовану технологію виготовлення довгомірних бішарових труб за методом газодетонаційного футерування для підвищення ресурсу трубопроводів систем живлення ракет та інших літальних апаратів та досліджено умови технологічного забезпечення якості цих труб. Вміщено теоретичні та практичні результати розробки та впровадження нового технологічного процесу виробництва точних бішарових труб та критеріїв оцінки їх якості. Проаналізовано вплив технологічних параметрів процесів на якість труб.

  Скачати повний текст

Розв'язано задачу розвитку інформаційної технології (ІТ) оптимізації структури підсистем збору даних (ПЗД) АСУТП для підвищення їх ефективності за умов комбінованої невизначеності. Розроблено метод моделювання систем за умов невизначеності, який базується на формальній системі алгоритмічних моделей (АМ) і використовує операторне подання перетворень невизначених даних. Удосконалено метод оцінювання характеристик ПЗД за умов невизначеності, який допомагає розширити область застосування АМ та підвищити достовірність оцінок ПЗД. Описано алгоритми та методики ІТ, реалізовані у вигляді програмного забезпечення "Checkout Subsystem Optimizer", яке розвиває існуючі системи моделювання, аналізу і проектування АСУТП.

  Скачати повний текст

Теоретично обгрунтовано сутність фінансового управління підприємствами торгівлі та запропоновано класифікацію його складових на підставі дослідження їх функцій та особливостей застосування. Розроблено методику оцінки ефективності фінансового управління на торговельному підприємстві. Виявлено основні тенценції та проблеми управління власним і позиковим капіталом на підприємствах торгівлі Донецької області. Наведено оцінку ефективності управління фінансовими ризиками на підприємствах торгівлі. Обгрунтовано доцільність бюджетування як методу організації фінансового управління, наведено рекомендації щодо застосування реінжинірингу для здійснення радикальних змін у даному процесі. На підставі узагальнення тенденцій фінансових показників і диференціації їх нормативів створено методику інтегральної оцінки ефективності фінансового управління торговельним підприємством, що сприяє підвищенню якості прогнозно-аналітичних процесів.

  Скачати повний текст

Мета дослідження - розробка технологій одержання швидкозагартованих сплавів способом диспергування за умов індукційної плавки в секційному кристалізаторі та спінінгування за плазмово-дугової плавки у водоохолоджуваному тиглі. Розглянуто теплофізичні, фізико-хімічні та матеріалознавчі основи досліджуваних процесів. Вивчено тепловий стан плавильних камер установок ІПСК і ПДП, визначено кількісні характеристики теплових втрат в окремих вузлах і коефіцієнти ефективності переплаву. За індукційної плавки в секційному кристалізаторі встановлено технологічні особливості формування ванни розплаву, які забезпечують процес диспергування. Методами математичного моделювання визначено закономірності теплової взаємодії між розплавом і барабаном-охолоджувачем під час спінінгування розплаву. Визначено технологічні параметри одержання швидкозагартованої луски зі сплавів Д16, ЕП 648, Ni-Ti, BT1-0, Nd-Fe-B, RSR товщиною 15 - 50 мкм, і стрічок Ni-Si-B, Cu-P, Fe-Cr-Ni-B товщиною 30 - 100 мкм. На прикладі аморфного сплаву Ni-Si-B вивчено зародження кристалів та формування кристалічної структури в стрічці за умов відпалу. Визначено вплив температури на розмір зерна, кількість аморфної та кристалічної фази та основні сполуки, які утворюються під час відпалу. Створене устаткування та технології дозволяють рекомендувати їх для одержання високореакційних і тугоплавких аморфних і мікрокристалічних сплавів.

  Скачати повний текст

Проаналізовано існуючий образ новітніх релігій у суспільній свідомості в контексті наявних тенденцій у розумінні свободи совісті та можливостей наукових видань й світських ЗМІ впливати на його формування. Виокремлено два основних підходи в ставленні суспільства до новітніх релігій: перший подано науковими працями релігієзнавців і розвідками деяких публіцистів і журналістів, які розуміють свободу совісті в філософському дусі, притаманному сучасній моделі державно-церковних відносин у демократичних країнах, що відповідає фундаментальним принципам свободи релігії, другий - властивий більшості публікацій про новітні релігії у світських засобах масової інформації та позначений тим, що наведені в них характеристики новітніх релігій переважно не адекватно відображають реальне їх існування.

  Скачати повний текст

Наведено рішення актуальної проблеми - розкриття викидонебезпечних пластів прохідницькими комбайнами, які не забезпечені системою дистанційного управління з безпечної відстані. На основі досліджень напружено-деформованого стану гірничого масиву отримано диференціальне рівняння для моделювання процесів, що відбуваються у привибівній частині пласта під час переміщення всередину масиву поверхні відторгнення, утвореної виконавчим органом комбайна. Моделювання дозволило уточнити природу ефекту зниження частоти й інтенсивності викиду під час виїмки вугілля прохідницькими комбайнами. Встановлено закономірності виникнення викидів вугілля і газу за умов розкриття пластів на шахтах Донбасу. Визначено показники, що забезпечують можливість безпечного перебування шахтарів, які працюють поблизу комбайна під час виїмки вугілля. Встановлено особливості прояву і контролю ефективності релаксації напружень у вугільному масиві за умов наближення до пласта розкритої виробки. За результатами аналітичних і експериментальних досліджень визначено область застосування, параметри та технологію виконання способу розкриття.

  Скачати повний текст

Теоретично обгрунтовано науково-методичні основи екологічної безпеки сільськогосподарської продукції та продуктів її переробки. На підставі аналітичних показників системно проаналізовано сучасний стан міжнародної та національної нормативних баз у сфері безпеки й якості сільськогосподарської подукції. Розроблено математичну модель статистичного прогнозу розвитку гармонізації міжнародних стандартів ISO з використанням методів нелінійної регресії. Запропоновано напрями гармонізації регуляторної політики ЄС у сфері охорони грунтів від забруднення.

  Скачати повний текст

Розглянуто проблеми стосовно визначення агрономічної й агроекологічної оцінки традиційних і нових систем удобрення у восьмипільній польовій сівозміні тривалого досліду на дерново-підзолистому супіщаному грунті лівобережної частини Полісся. Вивчено ефективність вирощування пшениці озимої та жита озимого, ярого ячменю та вівса за різних систем удобрення на підставі аналізу врожайності залежно від погодних умов, що склалися впродовж вегетаційних періодів - сприятливих, перезволожених і змішаного типу (з ознаками посушливості та презволоження). Установлено, що стабілізувальним фактором за будь-яких погодних умов є комплекна система використання підстилкового гною та мінеральних добрив та внесення вторинної продукції рослинництва - соломи, сидератів або органо-мінеральних добрив, що забезпечує у сприятливі роки одержання зерна озимих зернових 60 - 70 ц/га, ярих - 40 - 50 ц/га, без застосування добрив їх урожайність знижувалася відповідно до 20 - 30 і 15 - 20 ц/га. За мов оптимізації мінерального живлення рослин прирости врожаю зерна за будь-яких погодних умов становили 14 - 23 ц/га в однокомпонентних системах удобрення (за мінеральної - близько 11, за сидеральної та органічної - 5-7 ц/га). Відзначено, що науково обгрунтоване затосування добрив економічно й енергетично вигідне.

  Скачати повний текст

Проведено дослідження впливу обміну речовиною на хімічну еволюцію галактик та на хімічний склад міжгалактичного газу, що оточує галактики. Розглянуто можливість формування гало галактик шляхом злиття фрагментів. Обгрунтовано припущення, що зоряне населення гало галактики є сумішшю зір, які утворились в окремих фрагментах до їх злиття. У межах даного сценарію розраховано хімічну еволюцію фрагментів, що зливаються, та одержано функції металічності зір поля гало та кулястих скупчень для 7-ми галактик, включаючи нашу Галактику. Досліджено хімічну еволюцію диску Галактики у межах відкритої двозонної моделі хімічної еволюції галактики. Розраховано Галактичну еволюцію магнію, кремнію, кисню та заліза для тонкого та товстого дисків Галактики, а також функцію металічності для тонкого диску. Одержано параметри історії зоретворення для тонкого та товстого дисків Галактики. Виявлено, що акреція газу на диск відіграє важливу роль у виникненні різниці між хімічними характеристиками тонкого та товстого дисків Галактики.

  Скачати повний текст

Здійснено системний історико-економічний аналіз інвестиційної діяльності на Волині міжвоєнного періоду. Виділено чинники, які формували інвестиційний клімат регіону. Проаналізовано вплив аграрної перебудови на активізацію інвестиційної діяльності, виділено гальмувальні чинники інвестиційної привабливості промислового сектору. Установлено роль системи управління як основного суб'єкта інвестиційних відносин. Здійснено оцінку способів фінансування івестицій. Проаналізовано джерела їх покриття. Виділено пріоритетні напрямки інвестиційної діяльності та їх результативність для господарського комплексу краю у 1920 - 1930-ті рр.

  Скачати повний текст

Досліджено питання агроекологічного оцінювання за різного ступеня екологізованих і традиційних систем застосування добрив під час вирощування картоплі на дерново-середньопідзоленому пилувато-супіщаному грунті з промивним типом водного режиму за умов Чернігівського Полісся. Проведено тривалий стаціонарний, лізиметричний, модельний і виробничий досліди. Узагальнено науково-методичні публікації, екологічні нормативи та передовий досвід розв'язання даної проблеми в Україні та за кордоном. Запропоновано нову парадигму проведення комплексного агроекологічного оцінювання на системній базі з використанням трьох груп критеріїв, які характеризують вплив досліджених технологій удобрення на виявлення небезпечних деградацій і функціональних змін в основних блок-компонентах агросистем - грунтовому, водному та рослинному. Як пріоритетні критерії використано порушення екологічної рівноваги у балансі гумусу та біогенних елементів, втрати поживних речовин з грунту внаслідок вимивання та денітрифікації, забруднення інфільтраційних вод нітратами й іншими токсикантами, зміна видового складу та чисельності грунтових бактерій, агрофізичних, фізико-хімічних і агрохімічних показників родючості грунту, погіршення фітосанітарного стану агроценозу, відхилення фактичної врожайності картоплі від еталонної, використання агрокліматичного потенціалу осіннього періоду вегетації (ФАР, опадів, суми ефективних температур) і біологічного азоту, накопичення нітратів у бульбах і відповідність інших показників якості врожаю євростандартам, енерговіддача й економічна ефективність технологій застосування добрив. Використання цих критеріїв з залученням відповідних нормативів і 5-рівневих оцінювальних шкал дозволило визначити найбільш ефективні системи застосування добрив, а саме: сидеральну систему, яка в еколого-енергетичному аспекті переважає всі інші технології та забезпечує одержання високоякісного врожаю еталонного рівня. Рекомендовано її впровадження на віддалених від тваринницьких ферм полях.

  Скачати повний текст

У дисертації розв'язано актуальну наукову задачу обґрунтування математичної моделі електричного зонд-сигналу та розроблення методу його опрацювання, сформульованого базуючись на цій моделі, а також використання нових інформативних ознак динаміки стану процесу полімеризації стоматологічних матеріалів в часі.Обґрунтовано нове застосування імпульсного періодично корельованого випадкового процесу як математичної моделі енергетичного зонд-сигналу, яка враховує у своїй структурі поєднання властивостей періодичності із випадковістю. Базуючись на обґрунтованій моделі модифіковано синфазний метод опрацювання енергетичного сигналу, що дає змогу оцінити динаміку стану полімеризації стоматологічного композитного матеріалу з метою визначення оптимального часу експозиції. Установлено, що отримані значення кореляційних компонент, обчислені з допомогою змодифікованого синфазного методу, є інформативними ознаками енергетичного зонд-сигналу та характеризують процес полімеризації і спосіб обчислення оцінки достовірності отриманих результатів.^UThe actual science problem for mathematical model reasoning of electrical zond-signals and working out the method of its processing based on this model has been solved in the thesis, and, as well, utilizing of new informative indicators of the process of a dental materials polymerization dynamics state in time. The object of research is process of electrical zond-signals modelling. The subject of the research is the mathematical model of electrical zond-signals, features and possibilities which it assures during the problem solving of visualization of the process of a dental materials polymerization dynamics state.The dynamics of the process has been described and the peculiarity of the visualization problem of the dynamics state for a process of dental materials polymerization on the base of electrical zond-signals. The main types of light solidification materials that are utilized in restorative stomatology, particularly for the plugs making (photo polymeric (light solidification) materials are most expanded, for which the reaching of certain physical and mechanical parameters during polymerization is a result of radiation with wave length of 380 – 500 nm) have been analyzed. It is necessary to working out a method of mediated assessment and visualization of a dental materials polymerization dynamics state for assurance of certain parameters of dental material and for increasing of radiation harm for oral cavity. The method of dental materials polymerization process visualization bas been offered that is based on the main statements of system-signal concept according to which the performance of a system may be assessed by means of independent processing of a signal that is a result of this system work, and on the base of concept of energy activity that considers as the central an energy active object (a system) that has such features as initiation, activation, catalyzation by specific action of energy carrier. The "energy division" on such energy that is required for support of system activity and on other one that is spent for a creation of a signal about system state and for energy assurance of data carrying about it is a significant in the signal creation. The substantiation of the structure and technical characteristics of the system of selection of electrical probe signals has been carried out. On the basis of a substantiated mathematical model in the form of a pulse PKVP that takes into account in its structure the stochastic interconnection between the various responses of the same series of observations and the substantiation of the informative signals of the signal and the method of their calculation for solving the problems of the operative and reliable detection of the change in the polymerization process. The common-mode method of statistical processing of such signals is considered and new expressions are obtained for the calculation of statistical estimates of their characteristics.The practical value of obtained results of the dissertation research is concluded in the modification of synphase processing method algorithm on the base of reasoned mathematical model of electrical zond-signals, that give possibility to detect informative indicators of a dental material polymerization process for automated control of the exposition time. Obtained practical results are suitable for utilization during the design of dental photopolymer irradiators with the function of automated control of exposition. This is the actual and important, practically useful result of the work that gives possibility to assure the reach of certain characteristics of a polymerization process.

  Скачати повний текст

Дисертацію присвячено дослідженню правового регулювання витребування доказів в господарському процесі, а також розробці на цій основі рекомендацій з удосконалення відповідних законодавчих положень і практики їх застосування.У Розділі 1 «Теоретико-правові засади витребування доказів у господарському процесі», що присвячений дослідженню теоретико-правових основ витребування доказів як складової доказування у господарському процесі, досліджуються поняття витребування доказів, місце інституту витребування доказів в системі права, мета та принципи витребування доказів та аналізується історія розвитку правового забезпечення витребування доказів.Автором з’ясовано, що господарське судочинство за час свого розвитку пройшло періоди, під час яких відбувався перехід від змагальної моделі судочинства до слідчої і навпаки, що відповідно викликало зміни ролей сторін процесу та суду у процесі доказування по справі і обумовлювало наявність чи відсутність прав суду на витребування доказів за власною ініціативою чи за клопотанням сторін.На підставі зробленого дослідження було дано авторське визначення витребування доказів в господарському процесі.Витребування доказів в господарському процесі – це дії осіб, що беруть участь у справі, та суду, що полягають у отриманні доказів та їхній фіксації для формування доказової бази, необхідної для вирішення господарської справи. Це дозволить підвищити якість правого регулювання, забезпечить єдине і однозначне застосування відповідних правових норм.У Розділі 2 «Механізм витребування доказів у господарському процесі» автором досліджуються особливості правового механізму витребування доказів, правові підстави витребування доказів та правовідносини з витребування доказів у господарському процесі.Автором розроблено власне визначення поняття «механізм витребування доказів», під яким розуміється система правових засобів, організованих у певній послідовності та спрямованих на отримання на вимогу сторін чи за ініціативою суду доказів та їхню фіксацію для формування доказової бази, необхідної для вирішення господарської справи на підставі принципів господарського процесу.Автор доводить, що суб’єктами правовідносин з витребування доказів в господарському процесі є суд та інші учасники справи. Роль суду у забезпеченні швидкого та всебічного розгляду справи має бути активною, але, в той же час такою, що поважає рівні права сторін. Суд має право ініціювати витребування доказів за власною ініціативою, але коло таких ситуацій має бути чітко визначено в господарському процесуальному законодавстві.У Розділі 3 «Процесуальні особливості витребування доказів у господарському процесі» проаналізовано витребування доказів в зарубіжних країнах та в міжнародному комерційному арбітражі, заходи процесуального примусу за порушення порядку витребування доказів та проблеми витребування доказів в господарському процесі і шляхи їх вирішення.Вивчення закордонного досвіду доводить, що принципи змагальності і диспозитивності, які лежать в основі господарського процесу, не заважають суду брати активну участь у доказовій діяльності, у тому числі шляхом витребування необхідних доказів або шляхом задоволення клопотань сторін про витребування доказів. Наявність у суду повноважень щодо витребування доказів не замінює, а доповнює процесуальну діяльність із доказування осіб, які беруть участь у справі. За наявності розвинених процесуальних механізмів, що забезпечують послідовну реалізацію принципу змагальності, навіть часткове посилення ролі суду у господарському процесі не веде до порушення цього базового у господарському судочинстві принципу.На підставі проведеного аналізу було підготовлено порівняльну таблицю витребування доказів як спосіб забезпечення доказів (ст.ст. 110-112 ГПК) та витребування доказів як окремої процесуальної дії (ст. ст. 81, 811 ГПК), де основною відмінною рисою, яка дозволяє розмежовувати ці правові механізми є підстави їх застосування. Витребування доказів, як спосіб забезпечення доказів застосовується, коли є припущення, що засіб доказування може бути втрачено, або збирання чи подання відповідних доказів стане згодом неможливим або утрудненим, тоді як витребування доказів як окрема процесуальна дія застосовується за неможливості отримати докази самостійно.^UThe dissertation is devoted to the study of the legal regulation of the discovery of evidence in commercial proceedings, as well as the development of recommendations for improving the relevant legislative provisions and practice of their application.In Chapter 1 "Theoretical and Legal Foundations of Discovery of Evidence in Commercial Proceedings", which is devoted to the study of the theoretical and legal foundations of discovery of evidence as a component of proof in commercial proceedings, the author examines the concept of discovery of evidence, the place of the institution of discovery of evidence in the system of law, the purpose and principles of discovery of evidence, and analyses the history of development of legal support for discovery of evidence.The author finds out that in different periods of development of economic proceedings in modern Ukraine, there have been transitions from the adversarial model to the investigative model and vice versa, which accordingly caused changes in the roles of the parties to the proceedings and the court in the process of proving a case and determined the presence or absence of the court's right to request evidence on its own initiative or at the request of the parties.Based on the study, the author gives the author's own definition of discovery of evidence in economic proceedings.The discovery of evidence in economic proceedings is the actions of persons involved in a case and the court which are aimed at obtaining evidence and recording it to form the evidence base necessary for resolving an economic case. This will improve the quality of legal regulation and ensure uniform and unambiguous application of the relevant legal provisions.In Section 2 "The Mechanism for Recovering Evidence in Commercial Proceedings", the author examines the peculiarities of the legal mechanism for recovering evidence, the legal grounds for recovering evidence and legal relations related to the recovery of evidence in commercial proceedings.The author has developed his own definition of the concept of "mechanism of discovery of evidence", which is understood as a system of legal means organised in a certain sequence and aimed at obtaining evidence at the request of the parties or at the initiative of the court and recording it to form the evidence base necessary for resolving an economic case on the basis of the principles of economic procedure.The author proves that the subjects of legal relations for the discovery of evidence in commercial proceedings are the court and other parties to the case. The role of the court in ensuring a prompt and comprehensive consideration of a case should be active, but at the same time respectful of the equal rights of the parties. The court has the right to initiate the discovery of evidence on its own initiative, but the range of such situations should be clearly defined in the commercial procedure legislation.Section 3, "Procedural Peculiarities of Discovery of Evidence in Commercial Proceedings", analyses discovery of evidence in foreign countries and in international commercial arbitration, measures of procedural coercion for violation of the procedure for discovery of evidence, and problems of discovery of evidence in commercial proceedings and ways to solve them.A study of foreign experience shows that the principles of adversarial and dispositive nature underlying commercial proceedings do not prevent the court from taking an active part in the evidentiary process, including by requesting the necessary evidence or satisfying the parties' requests for evidence. The court's power to order evidence does not replace but rather complements, the procedural activities of the persons involved in the case. If procedural mechanisms are developed to ensure the consistent implementation of the adversarial principle, even a partial strengthening of the role of the court in commercial proceedings does not lead to a violation of this fundamental principle in commercial proceedings.Based on the analysis, the author prepared a comparative table of discovery of evidence as a means of securing evidence (the Articles 110-112 of the Commercial Procedure Code of Ukraine) and discovery of evidence as a separate procedural action (the Articles 81, 811 of the Commercial Procedure Code of Ukraine), where the main distinguishing feature that allows distinguishing between these legal mechanisms is the grounds for their application. Discovery as a means of securing evidence is applied when there is an assumption that the means of proof may be lost or that the collection or submission of relevant evidence will become impossible or difficult in the future, while discovery as a separate procedural action is applied when it is impossible to obtain evidence on its own.