Дисертація на здобуття ступеня доктора філософії за спеціальністю 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.

З метою покращання характеристик рухливості сучасних швидкохідних гусеничних машин (ШГМ) оптимізовано механічні параметри трансмісії. Створено універсальну математичну модель для всебічного аналізу механічних трансмісій сучаних ШГМ, рухливості та маневреності гусеничних машин за перехідних і стаціонарних режимів роботи. Встановлено критерій оптимальності набору механічних параметрів ступінчастої трансмісії для швидкохідних гусеничних машин і сформульовано завдання параметричного синтезу механічних трансмісій. Розроблено метод параметричного синтезу механічних трансмісій сучасних швидкохідних гусеничних машин на базі універсальної математичної моделі, який реалізовано на ШГМ "Оплот". Показано, що впровадження нового методу сприяє зменшенню часу розгону до максимальної швидкості, зниженню осідання частоти обертання валів двигуна під час перемикання передач, збільшенню діапазону частот обертання валів двигуна на нижчих передачах, покращанню характеристик маневреності.

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

Бар’єрна функція кишечника є фундаментальним аспектом здоров'я організму та відіграє ключову роль у захисті організму від шкідливих речовин, токсинів та патогенних мікроорганізмів, які потрапляють у нього через шлунково-кишковий тракт (ШКТ). В основі бар'єрної функції кишечника лежить складна система механічних, біохімічних та імунологічних процесів, які контролюють проникнення речовин через епітеліальний шар кишечника. Крім того, кишкова мікробіота грає важливу роль у підтримці цілісності кишкового бар'єру, виробляючи корисні метаболіти, захищаючи від патогенів, та регулюючи імунну відповідь.Порушення бар'єрної функції кишечника може призвести до проникнення небезпечних агентів в організм, що у подальшому може сприяти розвитку різних захворювань, алергій та імунологічних порушень, зробивши організм більш вразливим перед інфекційними захворюваннями. Відомо, що порушення цілісності кишкового бар'єра може грати ключову роль у розвитку запальних захворювань кишечника, таких як хвороба Крона та виразковий коліт. Хоча точні механізми залишаються об'єктом активного дослідження, припускається, що таке порушення може сприяти хронічному запаленню, змінам у мікробіоті кишечника та втраті функції абсорбції.^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.

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

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

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

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

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

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

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

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

Проаналізовано досвід країн світу щодо розвитку та розбудови міжнародних транспортних коридорів (МТК), обгрунтовано необхідність залучення зовнішніх вантажопотоків до вітчизняної мережі МТК. Удосконалено визначення поняття "міжнародні транспортні коридори" як складової глобальної макрологістичної системи. Визначено поняття конкурентоспроможності національної мережі МТК, запропоновано фактори, які формують та забезпечують дану конкурентоспроможність. Розглянуто та надано характеристику складових елементів конкурентоспроможності національної мережі МТК. Запропоновано методичний підхід до оцінювання технічної складової транзитоспроможності країни, обгрунтовано необхідність створення конгломерату як організаційної структури, що використовує переваги національної мережі МТК з метою забезпечення конкурентоспроможності промислового та транспортних секторів економіки України.

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

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

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

Дисертація присвячена науковому обґрунтуванню удосконалення організації надання медичної допомоги онкологічним хворим в умовах великого міста (на прикладі раку прямої кишки). Комплексним медико-соціальним дослідженням доведено недосконалість існуючого стану організації надання медичної допомоги онкологічним хворим, обмежені можливості задоволення потреб населення у доступній, безпечній і своєчасній, економічно ефективній профілактичній, діагностичній допомозі. Обґрунтовано пріоритетні вектори удосконалення організації надання медичної допомоги онкологічним хворим в умовах великого міста, якими передбачено комплексний профілактичний підхід з урахуванням індивідуальних особливостей пацієнта, формуванням ЛЗП-СЛ групи ризику розвитку раку (на прикладі його локалізації в прямій кишці), при ефективній взаємодії надання первинної та спеціалізованої допомоги таким хворим. Запровадження розроблених організаційних підходів передбачає формування високого рівня доступності профілактичних обстежень для комплексного вирішення проблеми охорони здоров'я при наданні первинної медичної допомоги, що дозволить покращити своєчасність виявлення раку прямої кишки з метою попередження безповоротних втрат здоров'я та якості життя населення.^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.

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

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

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

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

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

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

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

Актуальність теми дослідження зумовлена необхідністю аналізу зовнішньополітичного курсу Сполученого Королівства Великої Британії та Північної Ірландії як однієї з ключових держав постбіполярного періоду. У демократичній державі політичний консенсус є результатом домовленостей між політичними силами, які представляють інтереси груп виборців. Велика Британія є однією з найстаріших парламентських демократій світу. Вестмінстерська система дозволяє громадянам захищати свої політичні інтереси та сприяла перетворенню Великої Британії на наддержаву в ХІХ ст. У ХХ ст. відбувався закономірний процес зменшення впливу Великої Британії у світовій політиці. Сполучене Королівство почало поступатися за економічними й військовими параметрами Сполученим Штатам Америки. Сполучене Королівство адаптувалося до Ялтинсько-Потсдамської системи, в якій Велика Британія залишалася провідною державою та ключовим союзником США в НАТО. У постіндустріальну епоху Велика Британія вступила лідером Британської Співдружності, постійним членом Ради Безпеки ООН та одним з провідних технологічних, економічних та культурних центрів світу. Після розпаду соціалістичного табору британська держава і надалі брала активну участь у світовій політиці та зберігала статус провідної держави, у якій продовжувалися дискусії щодо питань євроінтеграції та співпраці у сфері колективної безпеки, які вимагали пошуку політичного компромісу. Тема наукового дослідження органічно пов’язана з проблемою формування зовнішньої політики країн ЄС і НАТО у постбіполярний період. Велика Британія, як одна з провідних держав Заходу, відігравала ключову роль у формуванні зовнішньополітичних позицій НАТО та ЄС, корелюючи свої інтереси з іншими країнами євроатлантичного співтовариства. Дослідження особливостей формування британської зовнішньої політики дозволяє краще зрозуміти контекст формування та реалізації зовнішньополітичного курсу європейських країн у межах євроатлантичної системи колективної безпеки.У дисертації проведено порівняльний аналіз політики консервативного кабінету Дж. Мейджора та лейбористських урядів Т. Блера і Г. Брауна. На основі залучення до наукового обігу малодосліджених матеріалів (політичні маніфести британських політичних партій) проаналізовано еволюцію зовнішньополітичних доктрин британських політичних партій. Визначено ієрархію різних напрямків британської зовнішньої політики та їх територіальну спрямованість. На основі аналізу засідань британського парламенту охарактеризовано ключові питання британської зовнішньополітичного дискурсу та їх сприйняття британським істеблішментом. Досліджено ставлення ключових британських політичних сил до проблеми участі Сполученого Королівства у військових інтервенціях в регіональні конфлікти. Розглянуто еволюцію політики Сполученого Королівства щодо країн що розвиваються. Поглиблено наукову інтерпретацію особливостей формування європейського вектору британської зовнішньої політики та цілей та інтересів британської політики щодо країн пострадянського простору та КНР. Уточнено співвідношення внутрішніх та зовнішніх чинників формування зовнішньої політики урядів Сполученого Королівства. Окреслено роль державних інститутів і політичних партій у британському зовнішньополітичному процесі. Визначено характер впливу основних політичних партій та парламентських фракцій на зовнішню політику урядів Сполученого Королівства. Охарактеризовано роль регіональних партій автономних адміністративно-територіальних регіонів Сполученого Королівства у зовнішньополітичному процесі. Дисертація є самостійним дослідженням, у якому викладено авторське бачення специфіки формування британської зовнішньої політики. Представлене дослідження є першою в українській історіографії працею, яка розглядає внутрішньополітичні чинники, що зумовлюють британський зовнішньополітичний курс.Наукове осмислення формування зовнішньої політики Великої Британії щодо ключових проблем міжнародних відносин дає можливість заповнити певну прогалину в історіографії британського зовнішньополітичного процесу, використати напрацьований історичний матеріал, окремі положення та висновки дисертаційного дослідження для підготовки узагальнюючих наукових праць та підручників з новітньої історії країн Європи. Матеріали дисертації можуть використовуватися для розробки нормативних і спеціальних курсів у вищих навчальних закладах з міжнародних відносин та політичної історії зарубіжних країн.^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.

На підставі комплексного вивчення та зіставлення характеру обміну ліпідів, оксидативного гомеостазу та метаболічного стану системи нейрогуморальної регуляції у хворих на пептичну виразку (ПВ) дванадцятипалої кишки (ДПК) і хронічного безкам'яного холециститу (ХБХ) з різною масою тіла досліджено вплив дисметаболізму й оксидативного стресу на виникнення структурних і функціональних змін в органах езогастродуоденальної зони (ЕГДЗ) і біліарної системи. Установлено, що перебіг ПВ ДПК і ХБХ на тлі ожиріння супроводжується взаємообтяжливим впливом, а саме: порушенням обміну ліпідів та їх перекисного окиснення за умов зниження контролювальної функції нейрогумальної системи регуляції, які підтримують запальний процес у жовчному міхурі та слизовій оболонці ЕГДЗ. Загострення запального процесу сприяє розвитку оксидативного стресу, що створює умови для утворення своєрідного "порочного кола". Розвинуто концепцію оцінки стану окиснювального гомеостазу на базі моделі стрес-синдрому Сельє, згідно якої кисневий гомеостаз розглянуто як найважливішу складову формування адаптаційних процесів. У хворих з ожирінням у разі розвитку ПВ ДПК, поєднаної з ХБХ, сформульвано типи реакцій ендогенної антоксидантної системи (АОС) у відповідь на надлишкову продукцію малонового діальдегіду, а саме: мобілізаційний, компенсаторний, ригідний і декомпенсаторний. Установлено їх вплив на розвиток функціональних і морфологічних змін органів ЕГДЗ і біліарної системи. Установлено, що тільки ригідний і декомпенсаторний типи реагування АОС супроводжуються тяжкими порушеннями у травній системі, які обумовлені недостатньою адаптаційно-трофічною функцією симпатоадреналової лімітувальної функції та вірогідно визначають наявність оксидативного стресу. Виявлено розбіжності у механізмах порушень окиснювально-відновних процесів у хворих на ПВ ДПК і ХБХ залежно від маси їх тіла: у разі ожиріння більш виражена пероксидація нейтральних ліпідів, а у хворих з нормальною масою тіла - фосфоліпідів. Обгрунтовано диференційований підхід до лікування хворих на ПВ ДПК, поєднану з ХБХ і ожирінням з урахуванням визначених типів реагування ендогенної АОС і функціональних порушень шлунка й органів біліарної системи, застосування якого обумовлює позитивний перебіг захворювань і запобігає прогресуванню функціональних і метаболічних розладів.

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

За результатами досліджень 52-х сполук - четвертинних похідних хіноліну, вміщуючих металоцени, виявлено речовини з високим рівнем та широким спектром протимікробної активності щодо грампозитивних клінічно значущих бактерій і кандид. Установлено порівняно малу токсичність (IV - V класи токсичності за класифікацією Д.Л.Заугольникова) в окремих металоорганічних сполук, а також слабо виражені та зворотньо відновлюючі ефекти кумуляції та деякі десенсибілізувальні властивості. Щодо гетероциклічних сполук, вміщуючих металоцени з катіонами заліза та міді, повільно формується стійкість мікроорганізмів (мінімальна інгібуюча концентрація в 2 - 3 рази підвищується лише через 30 - 40 пасажів). Доведено здатність металоценових похідних у суббактеріостатичних концентраціях знижувати продукцію анти-IgA, нейтралізувати протилізоцимну активність, інгібувати продукцію піовердину, піохетину та уреази патогенних бактерій. Установлено, що фероценові гетероциклічні сполуки у піддослідних тварин різко підвищують вміст гемоглобіну в крові та заліза в еритроцитах за сталих рівнів сироваткового заліза та інших гематологічних показників.

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

Розроблено методику визначення оптимальної схеми обробки білих столових виноматеріалів проти необоротних колоїдних помутнінь на підставі вивчення трансформації комплексу біополімерів (КБ). Проведено систематизацію КБ білих столових виноматеріалів, виділено п'ять їх типів залежно від співвідношення компонентів. Досліджено вплив технологічних прийомів виробництва вина на формування типу КБ. Розглянуто трансформацію КБ білих столових виноматеріалів у процесі їх обробки, встановлено взаємозв'язок між типом КБ та оптимальною схемою обробки виноматеріалу для ліквідації необоротних колоїдних помутнінь. Розроблено алгоритм вибору оптимальної схеми і доз обклеєних речовин для обробки білих столових виноматеріалів.

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

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

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