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

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

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

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

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

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

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

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

Проведено комплексний аналіз вітчизняних і зарубіжних праць з історіографії словацької етнології XX та початку XXI ст. Відтворено цілісну картину становлення етнологічної науки у Словаччині, охарактеризовано основні етапи її розвитку. Простежено процес формування народознавчої думки у контексті самоусвідомлення словаків як нації у XIX ст. і поступового виокремлення народознавства у самостійну дисципліну. Проаналізовано малодосліджені проблеми словацької етнології, зокрема, визначено особливості її розвитку у міжвоєнний період і в другій половині XX ст. (часи комуністичної влади). На підставі результатів перехресного аналізу саморефлексії словацької науки у вигляді наукових дискусій на сторінках профільних етнологічних часописів і видань, охарактеризовано сучасний стан, тенденції та перспективи розвитку етнології у Словаччині. Досліджено проблему русинства на сторінках словацької етнологічної періодики й окремих видань періоду набуття даною темою актуальності (кінець 1980 - 1990-ті рр.). Висвітлено перспективи та напрями розвитку етнології Словаччини у порівнянні з сучасним станом даної дисципліни в Україні, Росії, Угорщині, Польщі, Румунії, Болгарії. До наукового обігу введено значну кількість етнологічних праць, виданих за межами України (словацька, чеська, угорська література).

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

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

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

Основні наукові результати дисертації отримані у формі прикладних досліджень:● розроблено онтологічно-орієнтований метод подання бази знань в середовищі асистента доведення теорем Coq, що сприяє формалізації нових та існуючих онтологій, а також уможливлює застосування логік вищих порядків як інструменту підтримки прийняття рішення в інтелектуальних системах; ● розроблено архітектуру та програмну реалізацію інтелектуальної системи для управління персональними та колективними базами знань, яка володіє властивостями версійності, розподіленості, автономності та забезпечує можливість надійного підтвердження авторства;● розроблено приклади формального доведення істинності описових знань, зокрема, для задач проектного управління в ІТ-підприємстві, узгодженості матеріалів в мас-медіа та моделей інфраструктурних мереж, що сприяло перевірці гіпотез в напівавтоматичному режимі; ● здійснено порівняльний аналіз моделей подання знань, описової логіки та формальних систем теорії типів, а також особливостей їх застосування для подання знань різної природи, зокрема, описових речень природньої мови, логічних, математичних теорій та виразів; ● здійснено системний аналіз понять «знання» та «істинність знання», і арґументовано використання конструктивної логіки з метою усунення проблем Ґетьє, які компрометують традиційні методи обґрунтування істинності знання.^UThe main results of the dissertation are obtained in the form of fundamental and applied research:• the method for ontologies representation in the environment of Coq proof assistant has been developed, which contributes to the formalization of new and existing ontologies and enables the application of higher-order logics as a reliable decision-support tool;• the architecture and software implementation of an intelligent system for personal and shared knowledge bases management have been created, which has the properties of being autonomous, distributed, supports versioning and ensures reliable authorship confirmation;• the examples of knowledge bases and formal reasoning over them have been provided, in particular for the domains of information systems, mass media, and infrastructure networks, which facilitate a semi-automatic procedure of hypotheses testing;• the comparative analysis of knowledge representation models, description logic, type theories, their characteristic features, and applications to the encoding of the knowledge of the various kinds, including natural language sentences, logical and mathematical expressions, has been conducted;• the system analysis of the concepts “knowledge”, “truth of knowledge” and the argument on constructive logic adoption for the sake of Gettier problems elimination, which compromise traditional methods of knowledge justification, have been presented.