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

Показано, що цей ефект обумовлений належністю даних кристалів до звичайних у моноклінічній фазі та шаруватих - у гексагональний. Зареєстровано перехідну область в інтервалі температур 150 - 220 К, що складається з двох областей: гетерофазної (183 - 220 К) і залишкових внутрішніх напружень у моноклінній фазі (150 - 183 К). З'ясовано зміну характеру екстонно-фононної взаємодії внаслідок підвищення температури від слабкої до сильної в околі 150 К. З'ясовано природу ліній КРС і знайдено давидівські дублети. На основі цього ефекту запропоновано оптичний аналог транзистора.

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

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

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

Робота присвячена вирішенню актуальної проблеми – з'ясуванню механізмів люмінесцентних процесів у нанокомпозитних діелектричних матеріалах з вкрапленими наночастинками з урахуванням впливу просторового обмеження на люмінесценцію наночастинок. Робота містить результати дослідження особливостей механізмів випромінювальної релаксації енергії збудження та люмінесцентних властивостей у полімерних та кристалічних нанокомпозитних матеріалах. Виявлено більше ніж на порядок зростання інтенсивності рентгенолю-мінесценції полістирольних нанокомпозитiв з вкрапленими наночастинками із спектральним складом випромінювання (смуги при 350 і 420 нм) та часовими константами ( ~ 3 нс), характерними для люмінесцентного полістиролу. Значне збільшення ефективності полістирольних композитів зумовлено зростанням їхньої поглинальної здатності за рахунок введення у них наночастинок з великим ефективним атомним номером. З'ясовано механізми передачі енергії збудження від наночастинок до полімерної матриці: 1) перепоглинання люмінесценції наночастинок полістирольною матрицею або її активаторами; 2) резонансний механізм передачі від наночастинок до активаторів полімерної матриці; 3) електронний механізм збудження за рахунок вильоту електронів з наночастинки у полістирольну матрицю внаслідок зовнішнього фотоефекту. Вклад у люмінесценцію полістирольної матриці дають високоенергетичні електрони, які зазнали електрон-електронного розсіяння, тоді як енергії термалізованих електронів недостатньо для збудження полістирольної матриці. Механізми перепоглинання люмінесценції та резонансний є визначальними для крупних наночастинок, електронний механізм – для наночастинок малих розмірів за умови, що довжина вільного пробігу та довжина дифузії електронних збуджень у наночастинках більша за їх розміри.^UThe thesis is devoted to the solution of an actual problem, namely, finding out the mechanisms of luminescence processes in nanocomposite materials with embedded nanoparticles, taking into account the influence of spatial confinement on the luminescence of nanoparticles.Thermalization length and distribution of electrons by energies are critical for observing of luminescence in nanoparticles. Based on calculations of the YVO4 energy band structure by the method of projection connected waves in parabolic approximation the distribution of electron by kinetic energies after electronic excitations multiplication in YVO4 was received, showing that electrons are mainly localized in the bottom of conduction band. This allows us to neglect the influence of the thermalized electrons leaving nanoparticles on the luminescence of polystyrene matrix. Mechanisms of scintillation process in polymeric film nanocomposites based on the polystyrene matrix with activators (n-terphenyl and POPOP) and embedded dielectric nanoparticles of fluorides MeF2 (Me = Ba, Ca, Sr), LnF3 (Ln = Ce, Gd, La), phosphates (LaPO4-Pr) and oxides (YVO4: Eu) of different sizes and different weight concentrations. X-ray excited luminescence spectra of polystyrene composites with embedded inorganic nanoparticles contain two bands with maxima at ~350 and ~420 nm, and reveal decay time constant ( ~ 3 ns), which coincide with the parameters of X-ray excited luminescence of polystyrene scintillator exceeding the intensity of luminescence polystyrene emission without nanoparticles more than an order of magnitude. It has been found out that if the nanoparticle sizes exceed the length of mean free path of electron, then a slow component appears in decay luminescence kinetics of the composite, which corresponds to the decay constant of the material from which nanoparticle is produced, indicating about re-absorption of the intrinsic (BaF2, SrF2) or impurity (LaPO4-Pr) emission by nanoparticles embedded in the polystyrene matrix. Polystyrene composites with embedded nanoparticles of LaF3, LaF3-Gd, GdF3, which have no intrinsic luminescence, show enhancement of X-ray exited luminescence intensity by ~20 times with the spectral composition of emission and the decay time constants characteristic for luminescence polystyrene. Presence of scintillation response of nanocomposite scintillators with imbedded non-luminescence nanoparticles confirms that the main mechanism of scintillation origin is the excitation of a polystyrene matrix by electrons, which are formed by the mechanism of photoelectric effect in nanoparticles under ionizing radiation influence.Based on the investigations of luminescence spectral characteristics, its decay kinetics, and the simulation of luminescence processes, the main mechanisms of excitation of polystyrene nanocomposites with imbedded nanoparticles were determined: 1) re-absorption of nanoparticle luminescence by a polystyrene matrix or its activators; 2) resonance mechanism of energy transfer from nanoparticles to polymer matrix; 3) electronic mechanism of excitation due to electron escape from nanoparticle due to the photoelectric effect. The mechanisms 1 and 2 are deter¬minative for large nanoparticles embedded in polystyrene matrix, mechanism 3 for small-size nanoparticles, when the free path length is larger than nanoparticle size.A number of semiconductor compounds, in particular CsPbX3 perovskites (X = Cl, Br, I), attracting attention of many researchers in view of their possible use as solar cells, LEDs, etc., have some disadvantages connected is with hygroscopicity and/or photoblanching, and, accordingly, need protection from the negative effects of the external environment. This paper presents the results of studies of the conditions for microphase formation in crystalline matrixes on the example of phase formation of K2LaCl5 and LaCl3 in the KCl and NaCl matrixes, respectively, during the growth of crystals with following long-time annealing. Formation of CsSnBr3 microphase in CsBr-Sn crystals in the process of temperature annealing and in Cs4SnBr6 crystals as a result of the solid state decay on the CsSnBr3 and CsBr phases by the characteristic luminescence parameters and microscopic studies was revealed. CsPbBr3 nanocrystals with a size of ~200 nm, embedded in polymeric granules in the size of ~1 microns have been obtained. Temperature dependences of luminescence intensity of the bound and self-trapped excitons of CsPbBr3 nanocrystals embedded in polymeric granules can be used to determine the temperature of microbiological objects in the temperature range of 77–300 K.

Дисертаційна робота присвячена розв'язанню актуальної й важливої науково-технічної задачі розроблення стохастичної інформаційної технології моніторингу параметрів навколишнього середовища в сучасній концепції ІоТ з урахуванням апріорної невизначеності джерел інформації та можливості виникнення кризових ситуацій. У роботі проведено аналіз принципів побудови, технологічних рішень і напрямів розвитку систем моніторингу в концепції ІоТ, у результаті чого виявлено недоліки відомих підходів і доведено необхідність створення математичних моделей, методів, комунікаційних протоколів мереж WSN з випадковим доступом і відповідних інформаційних технологій моніторингу для забезпечення високої продуктивності, якості і живучості їх функціонування. Удосконалено стохастичні моделі функціонування бездротових сенсорних мереж, що дозволило оцінити ймовірність колізії сигналів і більш ефективно проектувати протоколи комунікації ІоТ. Удосконалено метод моніторингу параметрів навколишнього середовища, що дало можливість забезпечити своєчасне та оперативне надходження інформації від первинних джерел інформації із заданими показниками якості для ефективного прийняття управлінських рішень. Отримала подальший розвиток інформаційна технологія моніторингу, яка дозволила розробити програмно-технічний комплекс моніторингу параметрів навколишнього середовища реального часу із використанням ефективних засобів Arduino, JavaScript, NodeJs, HTML та CSS.^UThesis is devoted to solving the urgent and important scientific and technical task of developing stochastic information technology for monitoring environmental parameters in the modern Internet of Thing (IoT) concept, taking into account the a priori uncertainty of the sources of information and the possibility of emerging crisis situations.The analysis of principles of construction, technological decisions and directions of development of monitoring systems in the IoT concept was carried out. As a result of this analysis shortcomings of known approaches were identified and the necessity of creating mathematical models, methods, communication protocols of WSN networks with random access and corresponding information monitoring technologies for ensuring high productivity, quality and the vitality of their functioning was proved.It has been established that the IoT concept has three interrelated basic issues: providing information security (IoT Security), scaling up the growing volume of technical devices and data (IoT Scalability), and also IoT Technical Solutions and Low-Power Consumption. Also, the analysis of protocols for solving IoT tasks was carried out: 1) MQTT: protocol for collecting data of devices and transmitting their servers (D2S); 2) XMPP: protocol for connecting devices to humans, partial case of D2S-schemes when people connect to servers; 3) DDS: fast bus for integrating smart devices (D2D); 4) AMQP: The system organizes queues for connecting servers to each other (S2S).Stochastic models of the functioning of wireless sensor networks that use randomized network parameters (with variable number of nodes and random participation of nodes in separate groups of network nodes) have been improved. It allowed to estimate the probability of collision of signals and to more effectively design communications protocols of the IoT. These models allowed to estimate the probability of collision of signals: the maximum number of nodes that provide the quality of transmission at the level of the probability of collision no higher than 10-2 is 50, with the number of nodes involved in the collision is negligible in comparison with the average number of transmissions, in particular the ratio of the average number involved in the collision of nodes to the average number of transmissions is 10-7.The method of monitoring environmental parameters has been improved. It takes into account the unsteady spatial and temporal localization of primary sources of measurement and optimization of the dynamic monitoring process, which made it possible to ensure the timely and prompt receipt of information from primary sources of information with specified quality indicators for effective management decision-making.The development of information monitoring technology, which, due to the use of stochastic models of the operation of wireless sensor networks and the advanced monitoring method, has allowed the software-technical complex (using Arduino, JavaScript, NodeJs, HTML and CSS) to monitor real-time environment parameters in the modern IoT concept. The designated software-technical complex for monitoring of real-time environmental parameters can be used as a prototype for monitoring organization in dynamically changing environments and in case of emergencies of a different nature (in various spheres).The experimental research of proposed models, method and information technology of monitoring was carried out. It has been found that when transmitting data at short distances (for example, indoors – laboratory, office, home), devices can use the PAN provided by wireless technologies such as BLE (Bluetooth Low Energy), ZigBee, 6LoWPAN and the leading USB interface. When it comes to transmitting data over long distances (for example, in an large office or in a large building), you can use a Local Area Network. Wired LAN in most cases is based on Ethernet and fiber optic technology, and wireless one can be based on Wi-Fi technology. Also can be used WiMAX, LTE, and LPWAN to organize global WAN. Measured parameters are not limited to humidity and air temperature (as it was performed in experimental part of this thesis). Any parameters can be used in view of available sensors, which are part of the software-technical complex.Besides, specialized UML diagrams of simulation precedents and simulation sequences of the proposed information technology have been developed. The results of the dissertation have been used and implemented at the National Aviation University, the Central Ukrainian National Technical University and the telecommunication company Local Students Networks (special implementation acts are attached to thesis).

Дисертаційна робота присвячена дослідженню полікристалічних плівок SnxSy як матеріалу для створення приладових структур, а саме тонкоплівкових гетероперехідних сонячних елементів (СЕ); вивченню впливу фізико-технологічних умов нанесення плівок SnS та SnS2, одержаних у квазізамкненому об'ємі, та впливу термічного і лазерного оброблення шарів SnS2 на їх структурні, субструктурні, оптичні, електрофізичні властивості та елементний склад для використання в приладових структурах; визначенню оптимальних режимів одержання однофазних плівок SnS і SnS2 та створенню СЕ з конструкціями «Substrate» та «Superstrate» на їх основі; моделюванню фізичних процесів у СЕ на основі плівок сульфіду олова та з'ясуванню параметрів, що обмежують ефективність виготовлених фотоперетворювачів.^UThe dissertation is devoted to the following aspects: (i) investigation of the influence of growth conditions of SnS and SnS2 films obtained by the close spaced sublimation (CSS) method and exploring the effect of thermal and laser post-growth treatment of SnS2 layers on structural, substructural, optical, electrical properties and chemical composition for thin film solar cell application; (ii) determination of the optimal conditions for production a single-phase SnS and SnS2 films and formation of solar cells based on "Substrate" and "Superstrate" device architecture; (iii) numerical simulation of the physical processes in solar cells based on tin monosulfide films and evaluation of the parameters that limit efficiency of the produced devices.

Проаналізовано характеристики деталей, які виготовляються на агрегатних верстатах, визначено основні характеристики глибоких координованих отворів та розглянуто технологічні схеми їх виготовлення. Розглянуто типове обладнання, матеріали, різальний інструмент та методи контролю якості.Проведено експериментальні дослідження оцінювання взаємозамінності виготовлення глибоких координованих отворів. Головним завданням проведення експериментів являється знаходження математичних моделей полів розсіювання глибоких координованих отворів при різних схемах їх виготовлення, а саме з направленням різального інструменту та без його направлення з застосування багато перехідної обробки.Пропонується інформаційна система, як комплекс наукових, інформаційних, технічних, програмних та організаційних засобів, для опрацювання науково-технічної інформації задля оцінювання взаємозамінності глибоких координованих отворів у машинобудуванні на етапі технологчної підготовки виробництва глибоких координованих отворів в машинобудуванні.^UPossibilities of the machine - device - tool - workpiece system to ensure the accuracy of machining as a complex indicator of interchangeability are considered. The characteristics of parts manufactured on aggregate machines are analyzed, the main characteristics of deep coordinated holes are determined and technological schemes of their production are considered. Typical equipment, materials, cutting tools and quality control methods are considered. A statistical analysis of parts manufactured on aggregate machines was carried out, as a result of which quantitative data on the main characteristics of parts were also established.Experimental studies to assess the interchangeability of the manufacture of deep coordinated holes. The main task of the experiments is to find mathematical models of the scattering fields of deep coordinated holes in different schemes of their manufacture, namely with the direction of the cutting tool and without its direction. As a result of a full factorial experiment, mathematical models of accuracy of deep coordinated holes in size from base to holes and in positional deviation between holes in the scheme with the direction of the cutting tool were obtained, and normative numerical values of scattering fields for different diameters and materials were obtained. The obtained mathematical dependences of the scattering fields in the manufacture of deep coordinated holes in the system with the direction of the cutting tool and three transients in the system without the direction of the cutting tool allowed to obtain a system of their normative numerical values depending on technological factors, technological process management in mechanical engineering.An information system for assessing the interchangeability of deep coordinated holes in mechanical engineering is proposed as a set of scientific, informational, technical, software and organizational tools for processing scientific and technical information to assess the interchangeability of deep coordinated holes in mechanical engineering at the stage of technological preparation. Created Web-application using technologies (HTML, CSS, JavaScript, NodeJS, MySQL) that allows you to use the program on any device with Internet access and allows you to assess the interchangeability of deep coordinated holes depending on technological factors and different processing schemes.

Об'єкт - еозинофільна бронхіальна астма у дітей; мета - вдосконалення лікувально-профілактичних заходів у дітей шкільного віку, хворих на бронхіальну астму, шляхом вивчення функцій еозинофілів та активності еозинофіл-опосередкованого запального процесу дихальних шляхів та їх впливу на клінічний перебіг захворювання; методи - клінічні, загальні клініко-лабораторні дослідження, біохімічні, імунологічні, гістохімічні, алергологічні, спірометричні, цитологічні, соціометричні, статистичні; результати - показано, що у дітей із ознаками гіпереозинофільного субфенотипу бронхіальної астми визначається клінічна резистентність до швидкодопоміжної терапії при загостренні захворювання, а в хворих із недостатнім контролем на догоспітальному етапі переважає тяжкий перебіг обструкції бронхів. Посилені процеси киснезалежної мікробіцидності еозинофілів крові дозволяють зі специфічністю 75-76,7 % верифікувати даний субфенотип, а виснаження даних киснезалежних процесів виявилося найбільш специфічною ознакою гіпереозинофілії мокротиння зі зростанням ризику даного субфенотипу; накопичення ацидофільних гранулоцитів у дихальних шляхах асоціювало у дітей І групи зі зростанням вмісту матричної металопротеїнази-9, фактору некрозу пухлин-альфа у надосадовій рідині мокротиння, та зростанням потреби в антирадикальному захисті з накопиченням у мокротинні сульфгідрильних груп з одночасним виснаженням церулоплазміну та концентрації інтерлейкіну-13; концентрація в легеневому експірату метаболітів монооксиду нітрогена більше 40,0 мкмоль/мл вірогідно підвищувала шанси еозинофільного фенотипу астми; показано вищий ризик необхідності у застосуванні дітям І клінічної групи протизапальної базисної терапії в обсягу 4 сходинки за GINA, підвищений ризик потреби у системних глюкокортикостероїдах під час загострення; показано, що найбільш інформативними в оцінці контрольованості астми є клінічно-інструментальні шкали (КІО, ACSS), які дозволили встановити підвищення абсолютного ризику покращення контролю над симптомами персистуючої бронхіальної астми.^UObject - eosinophilic bronchial asthma in children; goal - to improve treatment and prevention measures in school-age children with asthma by studying the functions of eosinophils and the activity of eosinophil-mediated inflammatory process of the respiratory tract and their impact on the clinical course of the disease; methods - clinical, general clinical and laboratory studies, biochemical, immunological, histochemical, allergological, spirometric, cytological, sociometric, statistical; results - it is shown that in children with signs of hypereosinophilic subphenotype of bronchial asthma is determined by clinical resistance to emergency therapy in exacerbation of the disease, and in patients with insufficient control at the prehospital stage is dominated by severe bronchial obstruction. Enhanced processes of oxygen-dependent microbicidality of blood eosinophils allow to verify this subphenotype with a specificity of 75-76.7%, and depletion of these oxygen-dependent processes was the most specific sign of sputum hypereosinophilia with increasing risk of this subphenotype; accumulation of acidophilic granulocytes in the airways in children of group I was associated with an increase in matrix metalloproteinase-9, tumor necrosis factor-alpha in sputum supernatant, and an increase in the need for antiradical protection with accumulation in sputum concentrations of ; the concentration of nitrogen monoxide metabolites in the pulmonary expiratory more than 40.0 μmol / ml probably increased the chances of eosinophilic asthma phenotype; shown a higher risk of the need for children of the first clinical group of anti-inflammatory basic therapy in the amount of 4 steps according to GINA, increased risk of the need for systemic glucocorticosteroids during exacerbations; It is shown that the most informative in the assessment of asthma control are clinical and instrumental scales (КIO, ACSS), which allowed to establish an increase in the absolute risk of improving control over the symptoms of persistent bronchial asthma.

Дисертацію присвячено розробці системи автоматичного керування процесом виробництва пельменів спеціальних форм.Як відомо, у всякому виробництві існує безперервність, що перетворює його в відтворенні. При цьому відбувається поділ на споживану і нагромаджувану частини, на відшкодування витрачених засобів виробництва. Перерахуємо фактори, в слідстві зміни яких, буде досягнута економія фінансових витрат. 1 - в даний час на виробничих лініях виробництва напівфабрикатів і пельменної продукції основне завдання по контролю готової продукції виконується з високим відсотком людськогофактора. 2 - технологічний процес виробництва складається з розморожування фаршу перед ліпленням, а після отримання продукту повторного його заморожування, що тягне за собою додаткові фінансові витрати. 3 - поточна форма напівфабрикатів пельменної продукції є традиційною. Вкажемо на два фактори, які з метою ефективності системиможна змінити. Перший фактор несе в собі зміну форми продукції в бік ускладнення, як фактора, що виключає підробку. Другий фактор несе в собі завдання поліпшення складського зберігання, більш компактної продукції і транспортування. Об'єднавши перераховані вище фактори, ми можемо створити нову пельменну продукцію особливої форми. І лінію повиробництву продукції, що не вимагає вторинного розморожування інгредієнтів, а також скоротити людський фактор. Встановивши на лінію контролю систему розпізнавання готової продукції, яка не тільки сортує продукцію на браковану і нормальну, а також визначає і аналізує дефект браку і керує самим виробництвом. Оптимальною і складно реалізованоюформою пельменної продукції буде пельмень строгої кубічної форми. Така форма в достатній мірі: 1 - буде являтися захистом від підробки товару виробника. 2 – дозволить сировину (м'ясо), що надходить обробляти (зробити фарш), і зберігати в замороженому вигляді інгредієнти (фаршеві кубики). 3 - дасть можливість працювати з сировиною, не піддаючи її повному розморожуванні і подальшому повторному заморожуванню. 4 - отримання продукції із заданою формою, так само несе в собі скорочення енергетичних витрат при складуванні і транспортуванні продукції. 5 - мінімізувати людський фактор при виробництві продукції. В цілому, для отримання готових виробів напівфабрикатів може забезпечуватися за рахунок досить простих САК, що реалізують тільки функції регулювання, тобто стабілізації режимних змінних процесу на їхзаданих значеннях. Ці функції регулювання реалізуються на основі найпростіших типових алгоритмів, як правило, ПІД – алгоритмів регулювання. Таке можливо тільки завдяки тому, що рецептура готових напівфабрикатів і характеристики сировини та інгредієнтів не змінюються. Це обумовлює дві найважливіших для управління процесом обставини. 1 - ценезмінність знайдених на етапі спеціальних досліджень оптимальних режимів виробництва продукції. У слідстві чого відсутня необхідність в ході процесу реалізовувати такі функції керування, як оптимізацію і адаптацію. 2 - відсутність збурень по сировині, тобто відсутність режимних змінних процесу, наслідки яких необхідно компенсувати САК при реалізації функції регулювання. Обурення, які зберігаються, пов'язані з коливаннями температури навколишнього середовища і швидкістю роботи пневматики, згідно із заданими алгоритмами. Інтенсивності цих збурень є досить низькими, і завдання по їх стабілізації є досить простим.^UThe dissertation is devoted to the development of a system of automatic control of the process of production of dumplings of special forms. As it is known, in every production there is continuity, which turns it into reproduction. Wherein, there is a division into consumed and accumulated parts, for compensation of the expended means of production. Let's list the factors, savings in financial expenses can be achieved by changing them. 1 – currently, for the production of manufacture goods and raviolithe main task that is controlling finished products, with a high percentage of the human factor; 2 - the technological process of production consists of defrosting minced meat before modeling, and re-freezing it after receiving the product, that entails additional financial costs. 3 - current form of ravioli manufactures is traditional. Let's point out two factors those can be changed to perform effectiveness of the system. The first factor is changing form of the product in the direction of complication excluding counterfeiting. The second factor is improving warehousing, performing density and transportation. Combining the above factors, we can create a new ravioli of a special form. And the technologycal process for the products production in which the secondary defrosting of ingredients is not required. The optimal and difficult to implement form of ravioli is cubic form. Thisform: 1 - will be a protection against a fake product manufacturer. 2 - allows incoming raw materials (meat) to process (produce minced meat), and to store frozen ingredients (minced cubes). 3 - will give the opportunity to work with raw materials, without subjecting them to full defrosting and further re-freezing. 4 - receiving products with a given shape, also carries a reduction in energy costs during storage and transportation of products. 5 - minimize human factors in production. In general, to obtain finished products of manufactures, it can be provided by fairly simple ACSs that implement only the regulation functions, i.e.stabilization of process variables of the process at their given values. These control functions are implemented on the basis of the simplest typical algorithms, as a rule, PID control algorithms. This is only possible due to the fact that the recipe of finished semi-finished products and the characteristics of raw materials and ingredients are not changed. This causes the two most important circumstances for managing the process. 1 – unchanging of found at the stage of special studies of the optimal modes of production. As a result, there is no need to implement control functions during the process such as optimization and adaptation. 2 – the lack of disturbances in raw materials, i.e. the lack of operational process variables, the consequences of which are necessary to be compensated by ACS when implementing the regulation function. Disturbances those persist are associated with fluctuations in ambient of pneumatic operation, according to specified algorithms. The intensities of these disturbances are rather low, and the task of stabilizing them is fairly simple. However, when working with raw materials and ingredients of plant and animal origin (biopolymers), in particular minced meat and dough, the situation is completely different. It is characterized by the following factors: 1 - the recipe of products and their composition change due to the presentation of increasingly high requirements to products: increased nutritional value, cost reduction, expansion of the resource base, enrichment with vitamins and additives. 2 - the characteristics of the original product, even within the same recipe, always differ from each other (the composition of the dough and the composition of minced meat) and, therefore, during the process they can change significantly. Thus, in comparison with other technological processes of producing manufactures, the ravioli production has fundamental features that must be taken into account when developing automatic control systems claiming energy efficiency.

У дисертаційній роботі запропоновано, на підставі вивчення клінічних, інструментальних та лабораторних даних визначити фактори ризику розвитку інфаркту міокарда (ІМ) у молодому віці, особливості його клінічного перебігу та обґрунтувати рекомендації щодо реабілітації та лікування даної групи пацієнтів. Актуальність задачі обумовлена необхідністю удосконалити первинну та вторинну профілактику серцево-судинних захворювань у пацієнтів молодого віку.Основні критерії включення до роботи: чоловіки у віці до 50 років. Клінічний діагноз інфаркту міокарда підтверджувався на підставі клінічних, електрокардіографічних та лабораторних критеріїв згідно до рекомендацій Європейського товариства кардіологів (ЄТК) та Асоціації кардіологів України.Мета дослідження: Удосконалення лікування хворих на інфаркт міокарда молодого віку на основі комплексної оцінки факторів ризику, показників ендотеліальної функції, фолатного обміну та аналізу ефективності окремих β -блокаторів.Завдання дослідження:1. Провести оцінку основних факторів ризику у чоловіків, які перенесли ІМ у молодому віці. 2. Вивчити клінічний перебіг та особливості ураження коронарних артерій у чоловіків молодого віку, які перенесли ІМ. 3. Дослідити агрегаційні властивості тромбоцитів, показники NO, рівні гомоцистеїну та ендотеліну-1 у пацієнтів з ІМ молодого віку. 4. Вивчити показники загального та вільного тестостерону, стан еректильноїдисфункції у хворих на ІМ молодого віку.5. Оцінити вплив окремих груп β -блокаторів на показники фізичної витривалості у хворих після перенесеного ІМ у молодому віці та розробити рекомендації по їх диференційованому застосуванню.Об'єкт дослідження: Ішемічна хвороба серця: інфаркт міокарда, гострий коронарний синдром із елевацією ST та без елевації сегмента ST, ураження коронарних артерій.Предмет дослідження: Зміни біохімічних показників та показники ендотеліальної функції, функції тромбоцитів, результати велоергометричного дослідження, дані анкетування.Наукова новизна дослідження:Вперше, у гострому періоді інфаркту міокарда у хворих молодого віку встановлено комплексні зміни, які проявлялися багатосудинним ураженням вінцевих артерій, порушеннями ендотеліальної функції, фолатного обміну та агрегації тромбоцитів.Виявлено високу частку хворих з еректильною дисфункцією та встановлено залежність між зменшенням рівнів загального та вільного тестостерону та станом еректильної функції у пацієнтів з інфарктом міокарда у молодому віці. Встановлено взаємозв'язок між показником толерантності до фізичного навантаження у хворих на інфаркт міокарда у молодому віці з рівнем загального та вільного тестостерону.Доповнено наукові дані щодо диференційованого застосування у хворих, які перенесли інфаркт міокарда у молодому віці, окремих груп ꞵ-адреноблокаторів (БАБ) з різними фармакологічними властивостями.Критерії виключення у дослідження були: супутні вроджені та набуті вади серця; важка супутня патологія внутрішніх органів; клапанні вади серця, які потребують хірургічної корекції, важка форма цукрового діабету (ЦД), виражена ниркова та печінкова недостатність, бронхіальна астма, травма або велике хірургічне втручання, гострий (або загострення хронічного) запальний процес, кровотечі, онкологічні і системні захворювання.Основним методом реваскуляризації у хворих з гострим коронарним синдромом (ГКС) було проведення ургентної КВГ із подальшим ендоваскулярним втручанням. Усі хворі отримували стандартну терапію, яка відповідала рекомендаціям ЄТК та УТК на момент включення у дослідження. Хворим у стаціонарі було виконано: електрокардіографія (ЕКГ), ВЕМ-тест, визначення показників агрегації тромбоцитів, ендотеліальної функції, фолатного обміну, рівнів тестостерону, ліпідного спектру та інші лабораторні обстеження. Позагоспітальне спостереження (упродовж 6 місяців).^UThe dissertation proposes to determine the risk factors for myocardial infarction (MI) at a young age based on the study of clinical, instrumental and laboratory data, the peculiarities of its clinical course and substantiate recommendations for rehabilitation and treatment of this group of patients. The relevance of the study is due to the need to improve the primary and secondary prevention of cardiovascular disease in young patients.The main criteria for inclusion in the work: men under the age of 50.The clinical diagnosis of myocardial infarction was confirmed on the basis of clinical, electrocardiographic and laboratory criteria in accordance with the recommendations of the European Society of Cardiology and the the Ukrainian Association of Cardiology.Aim of the study: Improving the treatment of young patients with myocardial infarction based on a comprehensive assessment of risk factors, endothelial function, folate metabolism and analysis of the effectiveness of individual β -blockers.Objectives of the study:1. Assess the main risk factors in men who have suffered MI at a young age.2. To study the clinical course and features of coronary artery disease in young men who have suffered MI.3. Investigate platelet aggregation, NO, homocysteine and endothelin-1 levels in young MI patients.4. To study the indicators of total and free testosterone, erectile dysfunction in patients with MI at a young age.5. To evaluate the influence of certain groups of β -blockers on the indicators of physical endurance in patients after MI at a young age and to develop recommendations for their differentiated use.Object of the study:Ischemic heart disease: myocardial infarction, acute coronary syndrome with ST elevation and without ST segment elevation, coronary artery disease.Subject of the study: Changes in biochemical parameters and indicators of endothelial function, platelet function, results of bicycle ergometric research, survey data.Scientific novelty of the study:For the first time, complex changes in the acute period of myocardial infarction were found in young patients, which were manifested by multivascular lesions of the coronary arteries, disorders of endothelial function, folate metabolism and platelet aggregation.A high proportion of patients with erectile dysfunction was found and the relationship between decreased levels of total and free testosterone and the state of erectile function in patients with myocardial infarction at a young age was defined.The relationship between exercise tolerance in myocardial infarction patients at a young age and total and free testosterone levels has been established.Scientific data on the differentiated use of certain groups of ꞵ-adrenoblockers (BAB) with different pharmacological properties in patients with myocardial infarction at a young age have been supplemented.Exclusion criteria for the study were as follows: concomitant congenital and acquired heart defects; severe concomitant pathology of internal organs; valvular heart disease requiring surgical correction, severe diabetes mellitus (DM), severe renal and hepatic insufficiency, bronchial asthma, trauma or major surgery, acute (or exacerbation of chronic) inflammatory process, bleeding, cancer and systemic diseases.The main method of revascularization in patients with ACSST was urgent CVG with subsequent endovascular intervention. All patients received standard therapy that met the recommendations of European Society of Cardiology and the the Ukrainian Association of Cardiology at the time of enrollment in the study. Patients in the hospital were performed: electrocardiography (ECG), CPX test, determination of platelet aggregation, endothelial function, folate metabolism, testosterone levels, lipid spectrum and other laboratory tests. Outpatient follow-up (for 6 months).

У дисертації вирішено важливу науково-прикладну проблему аналізу та синтезу комп’ютерних лінгвістичних систем (КЛС) для розв’язання різних задач опрацювання україномовного текстового контенту на основі розроблення нових та удосконаленні відомих моделей, методів та засобів опрацювання природної мови (ОПМ). Аналіз та синтез КЛС базується на застосуванні лінгвістичного аналізу україномовного текстового контенту, інтелектуальному опрацювання текстового потоку контенту, машинному навчанні системи на достовірних даних та статистичному аналізі для знаходження закономірностей появи лінгвістичних подій. Розроблена інформаційна технологія (ІТ) опрацювання україномовного текстового контенту на відміну від існуючих підтримує принцип модульності типової архітектури КЛС для розв’язку конкретної задачі ОПМ та аналізу множини параметрів та метрик ефективності функціонування системи відповідно до поведінки цільової аудиторії. Розроблено загальну структуру КЛС для опрацювання текстового контенту українською мовою та концептуальну схему/модель функціонування типової КЛС на основі моделювання взаємодії основних процесів і компонентів системи, що дало змогу вдосконалити ІТ інтелектуального аналізу текстового потоку на основі опрацювання інформаційних ресурсів. Наведено приклади розроблених КЛС опрацювання україномовного текстового контенту для розв’язку відповідних задач ОПМ, функціонування яких ґрунтується на розроблених та вдосконалених моделях, методах та алгоритмах. Удосконалена модель лінгвістичного опрацювання текстового контенту на основі графемного, морфологічного, лексичного, синтаксичного, семантичного, структурного, онтологічного та прагматичного аналізу для вирішення конкретної проблеми ОПМ. Це дало змогу сформулювати загальні вимоги до процесів опрацювання україномовного контенту. Удосконалення методів опрацювання інформаційних ресурсів, таких як інтеграція, управління та супровід україномовного контенту, дозволило адаптувати процес інтелектуального аналізу текстового потоку до розв’язку різних задач ОПМ та розробити КЛС, що ефективно функціонують, метрики для розв’язку різних задач ОПМ. Удосконалені методи ОПМ на основі регулярних виразів узгодження за шаблоном дозволили адаптувати алгоритми графемного та морфологічного аналізу для опрацювання україномовних текстів. Удосконалено метод токенізації та нормалізації тексту каскадами простих підстановок регулярних виразів і кінцевих автоматів, що дало змогу адаптувати алгоритм лексичного та синтаксичного аналізів для опрацювання україномовних текстів. Удосконалено метод морфологічного аналізу, заснований на сегментації та нормалізації слів, сегментації речень і модифікованому алгоритмі стемінгу Портера як ефективного засобу ідентифікації афіксів лем для можливості розмічування аналізованого слова, що дозволило підвищити точність пошуку ключових слів на 9%. Розроблено метод ідентифікації ключових слів в україномовних текстах на основі графемного та морфологічного аналізу основ слів через регулярні вирази та N-грами, що дало змогу підвищити точність пошуку ключових слів на 6-9%, здійснити пошук стійких словосполучень та рубрикацію контенту. Розроблено метод визначення стійких словосполучень на основі ідентифікації ключових слів україномовного тексту та аналізу коефіцієнтів лексичного мовлення автора тексту в еталонних уривках контенту, що дало можливість на основі статистичної лінгвістики покращити точність методу визначення стилю автора тексту на 6-7%. Розроблено метод визначення стилю автора тематичного україномовного текстового контенту на основі аналізу ключових слів, стійких словосполучень, N-грам, лінгвометрії та стилеметрії, що дало змогу визначити стилістичний вклад кожного з авторів та підвищити точність атрибуції науково-технічної публікації на 6-12%. Розроблено метод обчислення ступеня верифікації автора україномовного тексту із множини можливих на основі порівняльного аналізу стилів потенційних авторів, що дало змогу підвищити точність класифікації за подібністю стилю до [9;34]% із загальної кількості учасників проекту. Розроблено методи аналізу та синтезу КЛС на основі створення загальної типової структури системи опрацювання текстового контенту українською мовою через підтримку модульності, моделювання взаємодії основних процесів і компонентів, що дало можливість розширити колекцію розв’язків різних типових задач ОПМ шляхом реалізації типового програмного забезпечення таких систем. КЛС реалізовано на інформаційному ресурсі http://victana.lviv.ua засобами CMS Joomla! (для розроблення е-каркасу сайту), PHP (для реалізації методів опрацювання текстового контенту), HTML (для реалізації розмітки сторінок), CSS (для опису стилів сторінок), MySQL (для зберігання даних та словників).^UThe dissertation solves an important scientific and applied problem of analysis and synthesis of computer linguistic systems (CLS) for solving various problems of processing Ukrainian-language text content. It is based on the development and improvement of new and existing models, methods and tools for natural language processing (NLP). The analysis and synthesis of СLS is based on the application of linguistic analysis of Ukrainian-language textual content, intelligent processing of textual flow of content, machine learning of the system based on reliable data, and statistical analysis to find patterns in the appearance of linguistic events. Developed information technology (IT) for processing of Ukrainian-language textual content, unlike the existing ones, supports the modularity principle of the typical architecture of the CLS for solving a specific task of the NLP and analysing a set of parameters and metrics of effectiveness of the system in accordance with the behaviour of the target audience. The general structure of the CLS for the processing of text content in the Ukrainian language and the conceptual scheme/model of functioning of a typical CLS based on the modelling of the interaction of the main processes and components of the system were developed, which made possible to improve IT intellectual analysis of the text flow based on the processing of information resources. There are examples of developed CLS for processing Ukrainian-language textual content for solving relevant tasks of the NLP, functioning of which is based on developed and improved models, methods and algorithms. An improved model of linguistic processing of textual content based on graphemic, morphological, lexical, syntactic, semantic, structural, ontological and pragmatic analysis to solve a specific problem of NLP is introduced. It has enabled the formulation of general requirements for Ukrainian content processing. Process improvement methodologies for information resources such as integration, management and content support of the Ukrainian language allow to adapt the intellectual analysis of the text stream processing to the solution of various tasks of NLP and develop effective CLS and metrics to solve various NLP problems. NLP methods based on regular pattern-matching expressions are improved and it has allowed the adaptation of grapheme and morphological analysis algorithms to Ukrainian text processing. A method of tokenisation and normalisation of text by cascades of simple substitutions of regular expressions and finite state machines is upgraded and resulted in the adaptation of the lexical and syntactic analysis algorithm for Ukrainian text processing. The morphological analysis method based on word segmentation and normalisation, sentence segmentation, and a modified Porter stemming algorithm as an effective tool for identifying lemmas affixes to tag the analysed word is improved. It has resulted in a 9% increase in keyword search accuracy. A method of identifying keywords in Ukrainian texts based on grapheme and morphological analysis of the word base using regular expressions and N-grams is elaborated. It has increased the accuracy of keyword searches by 6-9%, stable word combinations and categorise content search. A method for determining stable word combinations based on the identification of keywords in a Ukrainian text and the lexical coefficients analysis of the text author in the reference text is developed. The accuracy of the method for determining the author's style, based on statistical linguistics, has been improved by 6-7%. A method for determining the author's style of thematic Ukrainian textual content based on the analysis of keywords, stable phrases, N-grams, linguometry and stylometry is developed. It has enabled the recognition of the stylistic contribution of each author and increased the accuracy of scientific and technical publications attribution by 6-12%. A method is developed to verify the authorship level of a Ukrainian text from the number of possible authors, based on a stylistic comparison analysis of the potential authors. It has improved the classification accuracy of style similarity to [9;34]% of the total number of project participants. The analysis and synthesis methods of CLS are developed based on the creation of an organisational structure of the Ukrainian text processing system through the support of modularity, and modelling the main processes and components interaction. It has improved the number of solutions to various typical NLP problems by implementing typical software systems. CLS is realised on the platform http://victana.lviv.ua using CMS Joomla! (developing the site e-framework), PHP (implementation of text content processing methods), HTML (page mark-up), CSS (description of page styles), MySQL (storing data and dictionaries).

Дисертацію присвячено підвищенню ефективності відновленнярепродуктивної функції в програмах допоміжних репродуктивних технологій ужінок з безпліддям, із прогнозованою бідною відповіддю яєчників, шляхомрозробки та впровадження диференційованого підходу до протоколівконтрольованої стимуляції яєчників у цих жінок.Для вирішення поставленої мети були визначені такі завдання: провестиретроспективний клініко-статистичний аналіз соматичного та репродуктивногоанамнезу у жінок з безпліддям для виявлення факторів прогнозування ризикурозвитку бідної відповіді в програмах допоміжних репродуктивних технологій(ДРТ); дослідити вихідний гормональний статус у досліджуваних пацієнтокперед програмою ДРТ; оцінити показники гонадотропної стимуляції таіндукованого фолікулогенезу у досліджуваних пацієнток; дослідити зміни вкількісному та якісному складі ооцитів та ембріонів при застосуваннірекомбінантних та сечових гонадотропінів для контрольованої стимуляціїсуперовуляції у обстежених жінок та оцінити ускладнення; розробити,впровадити та довести клінічну ефективність алгоритму диференційованогопідходу до протоколів контрольованої стимуляції яєчників у жінокрепродуктивного віку з прогнозованою бідною відповіддю яєчників в програмахДРТ.Дослідження проведені в Клініці репродуктивних технологійНаціонального університету охорони здоров’я України імені П. Л. Шупика, набазі Київського міського центру репродуктивної та перинатальної медицини заперіод з 2019-2022 рр. Дослідження проведено в три етапи, до дослідженнязалучено 145 жінок ретроспективно та 180 жінок проспективно, які плануваливагітність протягом 2019– 2022 років.На І етапі ретроспективного дослідження проведено клініко-статистичнийаналіз амбулаторних карт 100 жінок у віці від 25 до 42 років з безпліддям різногогенезу і бідною відповіддю яєчників на стимуляцію в програмах ДРТ– основнагрупа. Контрольну групу (КГ) склали 45 жінок у віці від 25 до 42 років збезпліддям з нормальною відповіддю на стимуляцію в програмах ДРТ. Дані дляретроспективного дослідження були надані архівом клінічної бази кафедриакушерства, гінекології та репродуктології Київським міським центромрепродуктивної та перинатальної медицини.На ІІ етапі проспективного дослідження було клінічно обстежено 140жінок репродуктивного віку які планували вагітність методом ДРТ та мали ванамнезі «слабку» відповідь яєчників на стимуляцію гонадотропінами-основнагрупа (ОГ). Контрольну групу (КГ) склали 40 пацієнток з безпліддям без ризикуслабкої відповіді на контрольовану стимуляцію суперовуляції (КССО). Залежновід гормональної терапії в протоколі ДРТ (IVF/ICSI) у подальшому дослідженні,обстежених пацієнтів ОГ розділили на такі групи. Основна клінічна І група - 75жінок, у яких контрольовану стимуляцію суперовуляції проводили сечовимигонадотропінами (лМГ) в протоколі із застосуванням антагоністів гонадотропінрелізинг-гормонів (ант-ГнРГ). ІІ група (порівняння) - 65 жінок, у якихстимуляцію суперовуляції проводили за аналогічною схемою рекомбінантнимигонадотропінами (р-лФСГ).На ІІІ етапі проспективного дослідження проведено оцінку клінічноїефективності застосування запропонованої контрольованої стимуляціїсуперовуляції у жінок І групи та нами проведено спостереження за перебігомвагітності, пологів та станом новонароджених у цій групі.Результати І етапу дослідження показали, що аналіз соматичного тарепродуктивного анамнезу у пацієнток з різним оваріальний резервом давможливість виявити фактори ризику прогнозованої слабкої відповіді яєчників настимуляцію гонадотропінами, а саме: - старший репродуктивний вік (36,4±3,6років); - висока частота недостатності гормональної функції яєчників 74 (74,0%);- висока частота запальних захворювань яєчників 62 (62,0%); - високачастота оперативних утручань на органах малого таза і, як наслідок, змінакровопостачання коркового шару яєчників, зменшення обсягу строми і редукціяфолікулярного запасу - одностороння оваріоектомія в 32 (32,0%) випадках тарезекції яєчників - 27 (27,0%) випадках.^UТhe dissertation is devoted to increasing the effectiveness of reproductivefunction restoration in assisted reproductive technology programs in women withinfertility, with predicted poor ovarian response, by developing and implementing adifferentiated approach to controlled ovarian stimulation protocols in these women.To solve the set goal, the following tasks were defined: To solve the set goal, thefollowing tasks were defined: - to conduct a retrospective clinical and statisticalanalysis of the somatic and reproductive history of women with infertility to identifyfactors predicting the risk of poor response in ART programs; to investigate the initialhormonal status of the studied patients before the ART program; to evaluate theindicators of gonadotropic stimulation and induced folliculogenesis in the studiedpatients; to investigate changes in the quantitative and qualitative composition ofoocytes and embryos when using recombinant and urinary gonadotropins for controlledstimulation of superovulation in examined women and to evaluate complications; todevelop, implement and prove the clinical effectiveness of an algorithm of adifferentiated approach to controlled ovarian stimulation protocols in women ofreproductive age with a predicted poor ovarian response in АRT programs.Тhe research was conducted at the Clinic of Reproductive Medicine of the P. L.Shupyk National University of Health of Ukraine, on the basis of the Kyiv City Centerof Reproductive and Perinatal Medicine for the period from 2019 to 2022. The researchwas conducted in three stages, 145 women were involved in the researchretrospectively and 180 women prospectively, who planned pregnancy during 2019-2022.At the І stage of the retrospective study, a clinical and statistical analysis of theoutpatient charts of 100 women aged 25 to 42 years with infertility of various genesisand poor ovarian response to stimulation in АRT programs was performed - the maingroup. The control group (CG) consisted of 45 women aged 25 to 42 years withinfertility and a normal response to stimulation in АRT programs. Data for theretrospective study were provided by the archive of the clinical base of the Departmentof Obstetrics, Gynecology and Reproductive Medicine, Kyiv City Center ofReproductive and Perinatal Medicine.Аt the II stage of the prospective study, 140 women of reproductive age wereclinically examined who were planning pregnancy by the ART method and had ahistory of "weak" ovarian response to gonadotropin stimulation - the main group (MG).The control group (CG) consisted of 40 patients with infertility without the risk of aweak response to controlled stimulation of superovulation (CSSO). Depending on thehormonal therapy in the ART protocol (IVF/ICSI) in the subsequent study, theexamined MG patients were divided into the following groups. The main clinical groupI - 75 women, in whom controlled stimulation of superovulation was carried out withurinary gonadotropins (UG) in the protocol with the use of anti-GnRH. II group(comparison) - 65 women in whom stimulation of superovulation was carried outaccording to a similar scheme with recombinant gonadotropins (RG).At the III stage of the prospective study, the clinical effectiveness of theproposed controlled stimulation of superovulation was evaluated in women of the Igroup, and we observed the course of pregnancy, childbirth, and the condition ofnewborns in this group.The results of the І stage of the study showed that the analysis of the somatic andreproductive history of patients with different ovarian reserves made it possible toidentify risk factors for a predicted weak ovarian response to gonadotropin stimulation,namely: - older reproductive age (36.4±3.6 years); - high frequency of insufficiency ofthe hormonal function of the ovaries 74 (74.0%); - high frequency of inflammatorydiseases of the ovaries 62 (62.0%); - a high frequency of surgical interventions on theorgans of the small pelvis and, as a result, a change in the blood supply of the corticallayer of the ovaries, a decrease in the volume of the stroma and a reduction in thefollicular reserve - unilateral oophorectomy in 32 (32.0%) cases and resection of theovaries - 27 (27.0%) cases.

Залива В.В. Методика підвищення надійності веб-компонентів на базі методуIsabelle/HOL.Дисертація на здобуття наукового ступеня доктора філософії в галузі знань 12- Інформаційні технології за спеціальністю 123 – Комп’ютерна інженерія. –Державний університет інформаційно-комунікаційних технологій. – Київ, 2023.Дисертаційна робота присвячена підвищенню надійності веб-компонентів звикористанням методу Isebelle/HOL. У даній роботі було проведено аналізвразливостей моделі DOM, на основі яких розроблено методику підвищеннянадійності веб-компонентів.У вступі наведено загальну характеристику роботи, обґрунтованоактуальність теми досліджень, сформульовано мету та задачі досліджень,представлено наукову новизну та практичну цінність отриманих результатів,відзначено особистий внесок автора, наведено дані про апробацію, практичневпровадження та наявні публікації.У першому розділі дисертації розглянуто різні аспекти впливу вебкомпонентів на розвиток комп'ютерної інженерії. Основна увага приділена тому, яквеб-компоненти, які включають HTML-теги, CSS-стилі та JavaScript-функції,змінюють спосіб створення веб-додатків. Ці компоненти дозволяють розробникамстворювати додатки як набір незалежних взаємозамінних частин, сприяючипереходу від традиційних монолітних архітектур до більш гнучких модульних тамікросервісних підходів. Ця зміна парадигми в розробці веб-додатків відкриваєнові можливості для масштабування та оновлення окремих частин системи.У другому розділі дисертації, що зосереджується на аналізі проблемнадійності веб-компонентів, була реалізована детальна розробка формальної моделіDocument Object Model (DOM) з використанням методики Isabelle/HOL. Ця модельвключає основні елементи, їх взаємодію та поведінку. Вона стала ключовим елементом у формальному доведенні безпекових властивостей веб-компонентів.Такий підхід значно покращує надійність та безпеку веб-додатків, йдучи далі відзвичайних тестувань та аналізів, та створює міцну основу для розвитку більшпередових методів проектування та аналізу в сфері веб-технологій.У третьому розділі дисертації, присвяченому оцінці методик безпеки вебкомпонентів, здійснено аналіз ефективності розробленої методології забезпеченнябезпеки веб-компонентів. Особлива увага була приділена порівняльному аналізуцієї методології з іншими існуючими підходами, такими як статичний аналіз таметоди машинного навчання.Проведені практичні тести підтвердили високу ефективність запропонованоїметодології у запобіганні атакам Cross-Site Scripting (XSS) та Cross-Site RequestForgery (CSRF), особливо в порівнянні з методами, що базуються на ContentSecurity Policy (CSP). Були також розглянуті обмеження існуючих методів,особливо в контексті виявлення нових або маскованих шкідливих змістів, тазапропоновано напрямки для подальших досліджень. Це включає розробку новихметодів навчання, які є ефективнішими у виявленні нових типів шкідливого вмістута методів виявлення, які краще реагують на прихований або замаскованийшкідливий вміст.У четвертому розділі дисертації здійснено оцінку ефективності методики,спрямованої на підвищення надійності веб-компонентів, яка базується на методіIsabelle/HOL. Визначені ключові показники ефективності включали повнотувиявлення та точність виявлення загроз.Було проведено експериментальну оцінку, яка включала порівняння з іншиминауковими інструментами, такими як статичний аналіз та машинне навчання.Результати експериментів показали, що розроблена методика на 21% ефективнішеза існуючу CSP.^UZalyva V.V. Methodology for Improving the Reliability of Web Components Basedon the Isabelle/HOL Method. Dissertation for the degree of Doctor of Philosophy in thefield of knowledge 12 - Information Technologies, specialty 123 - Computer Engineering.- State University of Information and Communications Technology. - Kyiv, 2023. Thedissertation work is dedicated to improving the reliability of web components using theIsabelle/HOL method. This work conducted an analysis of vulnerabilities in the DOMmodel, based on which a methodology for improving the reliability of web componentswas developed. The introduction presents a general characterization of the work, justifiesthe relevance of the research topic, formulates the purpose and objectives of the research,presents scientific novelty and practical value of the obtained results, notes the personalcontribution of the author, and provides data on the approbation, practicalimplementation, and available publications. The first chapter of the dissertation considersvarious aspects of the impact of web components on the development of computerengineering. Particular attention is paid to how web components, which include HTMLtags, CSS styles, and JavaScript functions, change the way web applications are created.These components allow developers to create applications as a set of independentinterchangeable parts, contributing to the transition from traditional monolithicarchitectures to more flexible modular and microservice approaches. This paradigm shiftin web application development opens new opportunities for scaling and updatingindividual parts of the system. The second chapter of the dissertation, focusing on theanalysis of the reliability problems of web components, implemented a detaileddevelopment of the formal model of the Document Object Model (DOM) using theIsabelle/HOL methodology. This model includes the main elements, their interaction, andbehavior. It became a key element in the formal proof of security properties of webcomponents. Such an approach significantly improves the reliability and security of webapplications, going beyond usual testing and analysis, and creates a solid foundation forthe development of more advanced methods of design and analysis in the field of web technologies. The third chapter of the dissertation, dedicated to assessing the safetymethods of web components, conducted an analysis of the effectiveness of the developedmethodology for ensuring the safety of web components. Particular attention was paid tothe comparative analysis of this methodology with other existing approaches, such asstatic analysis and machine learning methods. Practical tests confirmed the high efficiencyof the proposed methodology in preventing Cross-Site Scripting (XSS) and Cross-SiteRequest Forgery (CSRF) attacks, especially compared to methods based on ContentSecurity Policy (CSP). The limitations of existing methods were also considered,especially in the context of detecting new or masked malicious content, and directions forfurther research were proposed. This includes the development of new training methodsthat are more effective in detecting new types of malicious content and detection methodsthat better respond to hidden or disguised malicious content. The fourth chapter of thedissertation assessed the effectiveness of the methodology aimed at improving thereliability of web components, based on the Isabelle/HOL method. Key performanceindicators included completeness of detection and accuracy of threat detection. Anexperimental evaluation was conducted, which included comparison with other scientifictools such as static analysis and machine learning. The experimental results showed thatthe developed methodology is 21% more effective than the existing CSP.