Дисертація присвячена розробці методів і моделей для автоматизації оптимізації програм у сучасних паралельних платформах. Розроблені методи формалізовані у побудованих моделях автотюнінга. Ефективність методів пояснюється й аналізується у моделі PRAM* – запропонованому розширенні класичної моделі додатковим рівнем пам'яті. Коректність методів доводиться у термінах дискретних динамічних систем. Для цього було побудовано алгебро-динамічну модель автотюнінгу для мультипроцесорних платформ. Також створено програмну реалізацію усіх запропонованих методів автотюнінга, що не залежить від предметної області задачі й операційної системи обчислювального середовища. Система автотюнінга базується на системі правил переписування й орієнтована в першу чергу на програмні додатки на мові Java. Загалом запропоноване рішення підходить для будь-якої імперативної мови програмування. Розроблені засоби було застосовано для оптимізації складних обчислювальних задач, в результаті досягнуто значні показники їх ефективності.^UThe thesis is devoted to the development of methods and models for automating optimization of software for parallel platforms. Thesis offers five new autotuning methods. The scientific novelty of the obtained results is a formal description of proposed autotuning methods. Work presents autotuning framework TuningGenie that uses term rewriting approach for source code transformations. With such approach, some formulated characteristics of computational logic can be automatically checked so correctness of optimizing transformations can be validated. Also utilizing means of rewriting rule systems is more agile comparing to text-like transformations – you can apply structural changes to your code like reversing the order of iterations over multidimensional data, etc. Effectiveness and nature of proposed methods are explained and estimated in a proposed model PRAM*. This model extends the conventional PRAM model with an additional layer of quick but limited memory and uses only one strategy for concurrent memory access orchestration. The correctness of the methods is proved in terms of discrete dynamic systems. Dynamic algebra model for multicore systems was created for this purpose. The results of the dissertation work are of a theoretical and practical nature and were motivated directly by a practical application. Therefore, a program implementation of all proposed methods of auto-tuning was created. This implementation is domain-independent and is suitable for any operating system that has Java virtual machine implementation. The auto-tuning system is based on rewriting rules framework and is focused primarily on software applications written in Java language. In general, the proposed solution is suitable for any imperative programming language. The effectiveness of the developed methods and tools was demonstrated with well-known model examples – optimization of sequential and parallel sorting algorithms, as well as the problem of modeling Brownian motion in an ideal gas. Also, the autotuning system was used to optimize the complex practical real-time task – a parallel algorithm for short-term meteorological forecasting.

Дисертаційна робота присвячена підвищенню ефективності ортопедичного лікування пацієнтів із захворюваннями тканин пародонту, ускладненими частковою втратою зубів шляхом клініко-лабораторного обґрунтування раціональних методів комплексного лікування та функціональної реабілітації, вдосконалення методів профілактики та прогнозування ускладнень.^UThe dissertation work related to the increased efficiency of orthopedic treatment requires the influence of different tissues on the periodontium, the ratio of partial tooth loss based on clinical and laboratory substantiation of rational methods of complex treatment and functional rehabilitation, improvement of prevention methods and prognosis.

В дисертації розглядається задача автоматизованого розпаралелюючого перетворення вкладених циклів, цільовою платформою якого є обчислювальна система гетерогенної архітектури, що включає графічні процесори. Розроблено формальне перетворення гнізда обчислювального циклу, що дозволяє здійснити перехід від послідовного алгоритму до паралельного. Перевагою методу є те, що він дозволяє здійснювати обробку даних, що за обсягом перевищують пам'ять виконуючого пристрою, надає можливість одночасного використання більш ніж одного графічного процесора, і є автоматизовним. Проведено експериментальне випробування розробленої системи перетворень в прикладних задачах, зокрема, задачі метеорологічного прогнозування.^UThe thesis considers the problem of automated parallelizing transformation of the nested cycles targeting a heterogeneous computational system that includes graphics processing units. The formal parallelizing method is developed. The method's advantage is that it allows to convert the amounts of data that exceeds the capacity of the on-board memory of an executing device, admits the simultaneous utilization of more than one graphics processor, and moreover, is automatable. A semi-automatic source-to-source rewriting rules based code transformation tool the aim of which is to assist in constructing a new concurrent program was implemented. To demonstrate the feasibility of the proposed approach, a series of experiments were conducted. The experiments included a set of benchmark problems tests of the developed transformation system. The tool was deployed to construct programs for solving matrix multiplication, N-body and numerical weather forecasting problems for a heterogeneous multicore cluster.

Васильєва А. О. Особливості структури воднево-зв'язаних кластерів та їхні прояви в коливальних спектрах. – Кваліфікаційна наукова праця на правах рукопису.Дисертація на здобуття наукового ступеня доктора філософії за спеціальністю 104 Фізика та астрономія. – Київський національний університет імені Тараса Шевченка, Міністерство освіти і науки України. – Київський національний університет імені Тараса Шевченка, Міністерство освіти і науки України, Київ, 2020.В дисертаційній роботі шляхом поєднання методів інфрачервоного (ІЧ) поглинання та комбінаційного розсіяння світла (КРС), методу низькотемпературної матричної ізоляції та квантово-хімічних розрахунків вивчено та встановлено залежності між структурою воднево-зв'язаних кластерів води та їхніми енергетичними і спектральними характеристиками. За допомогою методів комп'ютерного моделювання досліджено вплив низькотемпературної аргонової матриці на структуру та динаміку вбудованих в неї кластерів води.^UVasylieva A. O. Peculiarities of hydrogen-bonded clusters structure and their manifestation in vibrational spectra. – Qualification scientific work on the rights of the manuscript. The manuscript submitted to acquire the PhD (Doctor of Philosophy) degree by field of study 10 – “Natural Sciences” in specialty 104 – “Physics and Astronomy”. – Taras Shevchenko National University of Kyiv, Ministry of Education and Science of Ukraine. – Taras Shevchenko National University of Kyiv, Ministry of Education and Science of Ukraine, Kyiv, 2020. The relationships between the structure of hydrogen-bonded water clusters and their energy and spectral characteristics were investigated within the scope of a research by combining the methods of infrared (IR) absorption and Raman scattering (Raman) spectroscopy, the low-temperature matrix isolation and quantum-chemical calculations. The argon matrix effect on guest water clusters' structure and dynamics was studied using computer modeling methods.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Удосконалено методику розрахунку параметрів вентилятора турбореактивних двоконтурних двигунів (ТРДД) шляхом урахування втрат енергії на акустичне випромінювання вентилятора в енергетичному балансі двигуна. Вперше на підставі результатів чисельного моделювання просторового обтікання вентилятора одержано залежності параметрів течії у вентиляторі ТРДД від інтенсивності газодинамічного управління аеродинамічними слідами.

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

Встановлено можливість використання певних структурних параметрів ценопопуляцій ранньовесняних ефемероїдів (Galanthus navalis і Corydalis solida) для індикації стану фагетальних біогеоценозів за різних умов їх функціонування (заповідання, ведення лісового та сільського господарства, постескцизійні зміни). Доведено, що параметри ценопопуляцій G. nivalis є інформативними індикаторами стану фагетальних біогеоценозів за таких умов їх функціонування, як заповідання, ведення лісового та сільського господарства, постексцизійні зміни, а параметри ценопопуляцій C. solida - за умов нерегульованого навантаження, оскільки вони зберігаються навіть за значних ступенів рекреаційної дигресії фітоценозів. Установлено, що, здійснюючи моніторинг стану модельних ценопопуляцій, можна одержати інформацію не тільки щодо стану досліджуваного виду, а й щодо зміни "мозаїки" ценопопуляційного різноманіття локальної популяції, що свідчить про антропогенну трансформацію біогеоценотичного покриву регіону та дозволяє планувати регуляторні втручання з метою відновлення різноманіття цієї "мозаїки".

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

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

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

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

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