Дисертація присвячена дослідженню модуляції Na+-залежного накопичення та вивільнення глутамату, позаклітинного рівня останнього та екзоцитозу в нервових терміналях головного мозку щурів (синаптосомах) за умов помірної та глибокої гіпотермії. Отримані дані засвідчили, що гіпотермія викликає зниження швидкості накопичення і загальну кількість накопиченого нейромедіатору та екзоцитозу у нервових терміналях, однак не змінює його позаклітинний рівень. В умовах моделювання патологічного стану помірна та глибока гіпотермія ефективно знижує вивільнення L-[14C]глутамату з нервових терміналей через реверсну роботу глутаматних транспортерів. Зниження вивільнення глутамату з нервових терміналей, стимульоване активацією пресинаптичних іонотропних NMDA, AMPA та каїнатних рецепторів, та пригнічення гомообміну і гетерообміну глутамату свідчить про ефективну нейропротекторну дію помірної та глибокої гіпотермії. Результати доводять механізми нейропротекторного ефекту гіпотермії у випадках інсульту, при гіпоксичних/ішемічних ураженнях головного мозку та можливість комбінованого застосування гіпотермії з протисудомним препаратом леветирацетам та акцептором холестеролу МЦД для посилення нейропротекторної дії.^UIn the dissertation, the modulation of Na+-dependent accumulation and release of glutamate, its extracellular level and exocytosis were studied using rat brain nerve terminals (synaptosomes) under conditions of moderate and deep hypothermia. The data showed that hypothermia decreased the initial rate of L-[14C]glutamate uptake and accumulation and exocytotic release of L-[14C]glutamate from nerve terminals.Moderate and deep hypothermia effectively reduced pathological glutamate transporter reversal and release of L-[14C]glutamate through dissipation of synaptic vesicle proton gradient in presence of FCCP.Gradual dynamics of hypothermia-mediated decrease in synaptosomal L-[14C]glutamate release evoked by the receptor agonists NMDA-, AMPA-, and kainate has been demonstrated that can be of value for the justification of optimal temperature regimes in therapeutic hypothermia. NMDA-induced L-[14C]glutamate release from nerve terminals was higher in the presence of levetiracetam as compared to that without the drug. Despite levetiracetam effects decreased in hypothermia, combined application of hypothermia and levetiracetam resulted in higher NMDA-induced L-[14C]glutamate release from nerve terminals as compared to that without the drug. These effects were not revealed for synaptosomal AMPA- and kainate-induced L-[14C]glutamate release in the presence of levetiracetam at the similar concentration. Therefore, we first revealed that levetiracetam administration significantly mitigated a hypothermia-induced decrease in NMDA responses at the presynaptic level and can be used for the targeted neurocorrection to reduce side effects of therapeutic hypothermia in cardiac surgery. However, levetiracetam-mediated improvement of NMDA responses is not applicable in stroke, brain trauma and neonatal asphyxia therapies, where the main neuroprotective action of hypothermia is associated with prevention of damaging consequence of pre-existing acute glutamate exitotoxicity. In addition, we have studied neuroprotective feature of combined approach of cholesterol depletion of the plasma membrane of nerve terminals using methyl-beta-cyclodextrin (MCD) and hypothermia. It was shown that pathological transporter-mediated release of glutamate after treatment of nerve terminals with MCD was significantly reduced under hypothermia conditions. So, combined approach of cholesterol depletion of the plasma membrane and hypothermia demonstrated additive neuroprotective effect.The effect of MCD-conjugated γ-Fe2O3 nanoparticles on the release of L-[14C]glutamate from nerve terminals under hypothermia has been investigated. It has been demonstrated that MCD-conjugated nanoparticles reduced the initial rate of uptake and accumulation of L-[14C]glutamate by nerve terminals, and increased the extracellular level of L-[14C]glutamate. However, uncoated γ-Fe2O3 nanoparticles also have neuromodulatory effects in nerve terminals influencing uptake and the extracellular level of L-[14C]glutamate, so it was not confirmed that these parameters were changed through cholesterol removal only. Thus, in the dissertation work the influence of hypothermia on Na+-dependent transport of glutamate and exocytosis in the nerve terminals was studied. The obtained results proved mechanisms of neuroprotective effects of hypothermia in stroke, hypoxic/ischemic brain lesions and it was demonstrated that combined application of hypothermia and levetiracetam, and MCD in medicine can enhance neuroprotective effects.

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

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

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

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

У дисертації вирішено важливе наукове завдання щодо забезпечення інвестиційної безпеки України. Охарактеризовано національні інтереси в сфері інвестиційної безпеки. Визначено напрями досліджень інвестиційної безпеки. Охарактеризовані теоретичні засади інвестування та їх внесок у формування теоретичних засад інвестиційної безпеки. Проаналізовані відтворювальний, стратегічний, ресурсно-функціональний, діяльнісний, інституціональний, управлінський, синергетичний та комплексний підходи до визначення її сутності, запропоновано авторське бачення дефініції «інвестиційна безпека держави» та класифікації її різновидів. Наведено характеристику взаємозв'язку і взаємозумовленості складових інвестиційної безпеки держави та її співвідношення з фінансовою і економічною безпекою держави.З'ясовано чинники та загрози інвестиційній безпеці держави. Наведено класифікацію чинників і загроз інвестиційній безпеці. Розглянуто значущість формування системи забезпечення інвестиційної безпеки держави, визначено його методологічні засади. Окреслено сутність й основні завдання, які має вирішувати така система, та її компоненти. Як компоненти системи забезпечення розглянуто: необхідні забезпечувальні підсистеми (наукове, нормативно-правове і правозастосовне, програмно-цільове, організаційне, методичне, обліково-аудиторське, інформаційно-аналітичне, інституціонально-технологічне,кадрово-освітнє і фінансове забезпечення), суб'єкти інвестиційної діяльності, інструменти державного регулювання цієї діяльності, предмети обміну між її суб'єктами, відносини між ними, а також моніторинг, аналіз і оцінку рівня інвестиційної безпеки на основі обґрунтованих індикаторів, вжиття необхідних коригуючих заходів. Запропоновано перелік індикаторів інвестиційної безпеки держави. Визначені причини відсутності в Україні системи забезпечення інвестиційної безпеки держави. Критично оцінено стан наукового супроводу формування такої системи; нормативно-правової бази, що регламентує інвестиційну діяльність та забезпечення інвестиційної безпеки, правозастосовну практику в цій сфері. Охарактеризовано організаційний, методичний, обліковий, статистичний й інформаційно-аналітичний аспекти такого формування. З'ясовані внутрішні і зовнішні детермінанти інвестиційної безпеки України. Виявлені чинники низького інвестиційногопотенціалу України. З'ясовані дестимулятори підвищення рівня інвестиційної безпеки України. Наголошено на відсутності в теперішній час належного рівня інвестиційної безпеки України та однозначних підходів до оцінки її детермінант і комплексної оцінки стану її формування в країні. Оцінено рівень валового нагромадження в ВВП України, проаналізовано стан освоєння капітальних інвестицій вітчизняними підприємствами та акцентовано увагу на недоліках у цій сфері. Охарактеризовано залучення прямих іноземних інвестицій в Україну, з'ясовано проблеми обліку їх притоку і запасів. Зазначено вплив іноземних інвестицій як джерела притоку іноземної валюти в країну не лише на інвестиційну безпеку України, а й на її валютну і боргову безпеку. Виявлено негативний вплив девальвації національної грошової одиниці та зростання сукупної заборгованості країни на її інвестиційну безпеку. Розглянуто стан вітчизняного банківського інвестиційного кредитування та причини його нерозвиненості. Досліджено динаміку основних показників, що характеризують стан інвестиційної сфери в Україні. Проведено SWOT-аналіз інвестиційної привабливості України. Досліджено підходи до моделювання системи забезпечення інвестиційної безпеки та наведено авторське бачення його сутності. Доведено правомірність розгляду системи забезпечення інвестиційної безпеки України в функціональному, структурному, процесному, утворювальному і чинниковому аспектах. Визначено цільову установку і завдання функціональної моделі системи забезпечення інвестиційної безпеки. Охарактеризовано функції, суб'єктів та організаційно-економічні механізмисистеми забезпечення інвестиційної безпеки України. Представлено структурну модель системи забезпечення інвестиційної безпеки. Особливу увагу приділено визначенню об'єктів прямого і опосередкованого впливу, керуючої і керованої підсистем, сукупності індикаторів, безпечних рівнів, принципів формування системи інвестиційної безпеки. Детально проаналізовані процесна і утворювальна моделі системи забезпечення інвестиційної безпеки та алгоритм комплексної оцінки рівня інвестиційної безпеки. Визначені заходи з забезпечення інвестиційної безпеки України. З'ясовані напрями і механізми удосконалення елементів і підсистем системи забезпечення інвестиційної безпеки України. Зроблено висновок, що лише синтез багатоаспектного моделювання системи забезпечення інвестиційної безпеки, удосконалення її підсистем і елементів, обґрунтованих підходів до оцінки її ефективності спроможний підвищити рівень інвестиційної безпеки України.^UThis dissertation offers a solution to an important scientific task, namely ensuring investment security in Ukraine. The national interests in the field of investment security are described. The directions of investment security research are determined. The theoretical principles of investing and their contribution to the formation of the theoretical principles of investment security are described. The reproductive, strategic, resource-functional, activity-related, institutional, managerial, synergetic and complex approaches to the definition of its essence are analyzed, the author's vision of the definition of «state investment security» and the classification of its varieties are proposed. The characteristics of interconnections and link-ups between the components of state investment security and its relationship with the financial and economic security of the state are presented. The following components of investment security of the state are defined as: investment potential / investment inability (inertia) of economic agents; investment needs (investment demand); investment opportunities (investment offer);investment needs; state investment policy; investment activity of economic agents; investment climate in the state; investment risks; investment attractiveness of objects; investment capacity of projects. The factors and threats to state investment security are identified. The classification of factors and threats to investment security is presented. The significance of the formation of the system for ensuring state investment security is considered, and its methodological principles are determined. The main tasks and essence to be addressed by such a system and its components are outlined. The following are considered as components of the security system: necessary security subsystems (scientific, regulatory and law enforcement, program-target, organizational, methodological, accounting and auditing, information-analytical, institutional-technological, personnel-educational and financial support), subjects of investment activities, instruments of state regulation of this activity, subjects of exchange between its subjects, relations between them, as well as monitoring, analysis and assessment of the level of investment security on the basis of reasonable indicators which take account of the necessary corrective measures. The inadequate level of investment security in Ukraine and unambiguous approaches to assessing its determinants together with a comprehensive assessment of its formation in the country are underlined at present. The level of gross accumulation in Ukraine's GDP is estimated, the state of development of capitalinvestments by domestic enterprises is analyzed and attention is paid to the shortcomings in this sphere. The attraction of direct foreign investments to Ukraine is characterized, problems of accounting of their inflow and levels are clarified. The influence of foreign investments as a source of foreign currency into the country is noted not only with regard to Ukraine's investment security, but also its currency and debt security. The negative influence on investment security resulting from the devaluation of the national monetary unit and the growth in the country's aggregate debt is revealed. The state of domestic banking investment lending and the reasons for its underdevelopment are considered. The dynamics of the main indicators describing the state of the investment sphere in Ukraine are researched. A SWOT analysis of Ukraine's investment attractiveness has been conducted.The approaches to modeling the system for providing investment security and the author's vision of its essence are investigated. The legality of the system for ensuring investment security in Ukraine with regard to functional, structural, process, form and factorial aspects is validated. The target setting and task of the functional model of the system for providing investment security are determined. The functions and subjects as well as ganizational and economic mechanisms of the system for ensuring investment security in Ukraine are described. A structural model of the investment security system is presented. Particular attention is paid to the definition of objects of direct and indirect influence, controlling and controlled subsystems, aggregate indicators, safe levels, principles of formation of the system of investment security. The process and formation models of the system for roviding investment security and the algorithm for the complex procedure of estimating the level of investment security are analyzed in detail. Measures to ensure investment security in Ukraine are determined. The conclusion is reached that the level of investment security in Ukraine can only be raised through the synthesis of multidimensional modeling of the system of providing investment security, together with improvement of its subsystems and elements and justified approaches to the assessment of its efficiency.

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

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

У дисертації системно розглянуто актуальну для сучасного музикознавства проблематику інтерпретаційного потенціалу тембру та фактури в оркестрових творах композиторів першої половини ХХ століття; вивчено та систематизовано основну джерельну базу, сформовано відповідний термінологічний апарат задля висвітлення досліджуваної теми. В якості музичних зразків для аналізу обрано оркестрові партитури, що є найбільш показовими з точки зору різноманітного вияву в них дії цього потенціалу – «Іспанська рапсодія» М. Равеля, «П'ять п'єс для оркестру» А. Шенберга, «Концерт для скрипки з оркестром in D» І. Стравінського. Опуси досліджено відповідно до хронології їхнього створення. Актуальність дослідження зумовлена кількома факторами, по-перше, існуванням певних «лакун» у вивченні тембру та фактури як єдиного художньо-виразового комплексу, що функціонує на всіх рівнях музичнокомунікативної системи; дану методологію дослідження обґрунтовано на прикладі вказаних оркестрових зразків. По-друге, у фокусі представленої проблематики домінантним визначено саме інтерпретаційний аспект тембру та фактури, який вивчено на прикладі оригінальної композиторської творчості як складного процесу, що закономірно включає механізми інтерпретації історичних художніх моделей – позамузичних і, власне, музичних: жанровостильових, формотворчих, стилістичних, у тому числі, темброво-фактурних тощо. Пропонований науковий дискурс теми є продуктивним із точки зору усвідомлення глибинних аспектів композиторської творчості та її важливої складової – інструментування, тим більше, що ці питання у сучасній музичнійнауці й досі залишаються малодослідженими. Це складає наукову новизну, перспективу подальшого розвитку основних положень пропонованої роботи, що сфокусовано в її назві – «Інтерпретаційні потенціал тембру та фактури в творчості композиторів першої половини ХХ століття».^UThe relevant for the modern musicology issue of the interpretative potential of timbre and texture in orchestral works of composers of the first half of the 20th century is systemically considered in the dissertation; the ecessary source base is studied and systematized, the appropriate terminological apparatus is formed for clarification of the main statements of the research. Ones of the most displaying orchestral scores are chosen for the analysis in the terms of the interpretative potential of timbre and texture – “Spanish Rhapsody” by M. Ravel, “Five Orchestral Pieces” by A. Schoenberg, “Concerto” for violin and the orchestra in D by I. Stravinsky. These works considered in accordance to their creation chronology. The research relevance is determined due to several factors. The first, there are certain “gaps” in the research of the timbre and the texture as a united artisticallyexpressive complex, which is functioning on all of the levels of musicallycommunicative system; this methodological statement is justified on the example of mentioned orchestral scores. The second, the dissertation is focused on the interpretative potential of timbre and texture, which is studied on the example of original composer's art; the latter naturally includes mechanisms of the interpretation of historical artistic models – extramusical and, actually, musical: genre-style, formative, stylistic, timbrally-textural etc. The proposed scientific discourse of the topic of the dissertation is productive in terms of comprehension of in-depth aspects of composer's art, and also its important component – the instrumentation (moreover, these issues are less considered in the modern musicology). These all form the scientific novelty, the perspective of the further development of main statements of the offered work, which are focused in the dissertation's name – “Interpretative Potential of Timbre and Texture in Orchestral Works of Composers of the First Half of the 20th Century”.

Встановлено, що масові кератокон'юнктивіти великої рогатої худоби у господарствах Одещини спричиняють рекетсії (72,3 %), хламідії (33,8 %), диплобацила Моракса (8,0 %) та рідко вірус інфекційного ринотрахеїту (1,4 %). Вивчено мікрофлору кон'юнктивального мішка хворих на кератокон'юнктивіти тварин. Доведено, що до інфекційних кератокон'юнктивітів, які спричиняються рикетсіями, хламідіями та моракселами, на півдні України сприятлива велика рогата худоба усіх вікових груп, але частіше уражується молодняк віком від двох тижнів до одного року. Показано терапевтичну ефективність комплексного лікування телят, хворих на рикетсіозний кератокон'юнктивіт (РК) з використанням ін'єкційного антибіотика егоцину L.A., ретробульбарної новокаїнової блокади ока за В.М.Авроровим і місцевого застосування тетрациклінової очної мазі, а також телят, хворих на РК на стадії виразки рогівки, з використанням ін'єкційних антибіотиків окситетрацикліну-200, егоцину L.A., енроксилу та біостимуляторів - екстракту алоє та мареполіміелу, ретробульбарної новокаїнової блокади ока за В.М.Авроровим та місцевого застосування окситетрациклінової очної мазі. Встановлено, що РК супроводжується чітко вираженою імуносупресією. Доведено доцільність використання біостимуляторів і безпосередньо мареполіміелу для комплексного лікування телят, хворих на РК.

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

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

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

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

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

1. Об'єкт досліджень - агроекологічний стан земель Полісся Житомирщини, виведених із сільськогосподарського використання.Предмет дослідження – типи ґрунтів, синтаксономічна різноманітність рослинності на виведених з обігу угідь, способи обробітку ґрунту, гербіциди.Мета - комплексне дослідження агроекологічного стану угідь, що вийшли з практичного сільськогосподарського використання на Поліссі Житомирщини, та розробка заходів з оптимізації їх використання в умовах інтенсивного антропогенного навантаження.Проведені агроекологічні дослідження стану необроблювальних земель, встановлено агрохімічний та водно-фізичний стан ґрунтів цих земель. Визначено й описано різновид рослинного покриву земель, виведених з сільськогосподарського використання Полісся Житомирщини, та визначені рівні їх забур'яненості. Рослинний покрив земель, виведених із сільськогосподарського використання, включає угруповання бур'янів 23 видів із 21 родів, 13 родин. Встановлено, що після аварії на ЧАЕС в Житомирській області за радіологічним фактором та економічною недоцільністю вилучено з господарського обігу 71,9 тис. га земель. Станом на початок 2016 р. їх загальна площа зменшилася в 2,4 раза і складає 29722,2 га, в т. ч. радіоактивно забруднених – в 1,6 раза до 18691,5 га. Ці землі знаходяться переважно у північних районах області у зоні Полісся України. Значна площа необроблювальних земель залишаться в зоні радіоактивного забруднення. Результати досліджень впроваджені на території Полісся Житомирщини в П(ПО)СП «Іскра» та в ТОВ «Олевськ Агро» Олевського району. Ключові слова: виведені з обороту сільськогосподарські угіддя, ґрунти, радіоактивне забруднення, 137Cs, рослинність, бур'яни, способи обробки ґрунту,гербіциди.^UObject of research - agro-ecological state of Polesie of Zhytomyr region withdrawn from agricultural use The purpose is a comprehensive study of the agro-ecological state of the lands that have come out of practical agricultural use in the Polissya of Zhytomyr region, and the development of measures to optimize their use in the conditions of intensive anthropogenic loading. Agrienvironmental studies of the land of arable land have been carried out, the agrochemical and water-physical condition of the soils of these lands was established. Variety of land cover derived from agricultural land has been identified and described the use of the Polesie of Zhytomyr region and the levels of their turbulence have been determined. Vegetable cover of land withdrawn from agricultural use, includes weed groups of 23 species from 21 genera, 13 families. It is established that after the Chernobyl accident in Zhytomyr region, radiological factor and economic impracticality removed from economic circulation 71.9 thousand hectares of land. As of the beginning of 2016, their total area has decreased by 2.4 times and equals 29722.2 ha, including radioactively contaminated ones - 1.6 times up to 18691.5 ha. These lands located mainly in the northern regions of the region in the Polesie region of Ukraine. Considerable the area of arable land will remain in the area of radioactive contamination. The effectiveness of various agrotechnical and chemical methods of destruction has been established weeds in the coenoses of agricultural landscapes of agricultural land use in the Polesie of Zhytomyr region in the Iskra JV (PA) and Olevsk Agro LLC in the Olevsky district.. Keywords: agricultural lands, soils, radioactive contamination, 137Cs, vegetation, weeds, soil cultivation methods, herbicides

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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