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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

У дисертації проведено комплексне дослідження парків-пам'яток садовопаркового мистецтва Тернопільщини та одного перспективного для заповідання парку (Микулинецький), розглянуто законодавчу і нормативно-правову бази стосовно функціонування парків-пам'яток садово-паркового мистецтва, історію розвитку заповідної справи і періодизацію формування заповідних садовопаркових об'єктів України. Проаналізовано особливості формування парківпам'яток садово-паркового мистецтва та здійснено огляд методичних рекомендацій щодо проведення комплексного дослідження парків і скверів, які мають заповідний статус. Проведено ретроспективний аналіз формування території та дослідження парків-пам'яток садово-паркового мистецтва Тернопільщини. Проаналізовано та сформовано комплексну характеристику ландшафтно-композиційної структури досліджуваних парків за композиційнопросторовою оцінкою.За підсумками комплексного оцінювання сучасного стану історичних парків, встановлено, що до категорії цінних належить дев'ять об'єктів, які вирізняються високими архітектурно-естетичними якостями композиційних елементів. До категорії малоцінних віднесено Гримайлівський парк і Старий парк, які потребують відновлення композиції паркового простору. За результатами оцінювання залишки парку у Залишках старовинного парку в с. Бережанка і у Залишках старовинного парку в с. Млиниська потребують відновлювальних заходів.Для парків-пам'яток садово-паркового мистецтва загальнодержавного значення розроблено туристичні екологічні маршрути. Визначено перспективні напрями подальшого функціонування досліджуваних парків, сформовано науково-практичні рекомендації щодо їх збереження та адаптації до сучасних містобудівельних умов.^UIn the dissertation work the complex research of parks-monuments of landscape art of Ternopil region and one perspective for bequest park (Mykulynetsky) is carried out, the legislative and normative-legal base concerningfunctioning of parks-monuments of landscape art, history of development of protected area and periodization of formation of protected garden and park objects of Ukraine. The peculiarities of the formation of parks-monuments of landscape art is analyzed and the review of methodical recommendations on carrying out of complex research of parks and squares which have the reserved status is carried out. A retrospective analysis of the formation of the territory and research of parksmonuments of landscape art of Ternopil region was carried out. The complex characteristic of the landscape-compositional structure of the studied parks accordingto the compositional-spatial assessment is analyzed and formed.According to the results of a comprehensive assessment of the current state of historical parks, it is established that the category of valuable includes nine objects that are characterized by high architectural and aesthetic qualities of the compositional elements. Grimailovsky Park and the Old Park are in the category of low-value, which need to restore the composition of the park space. According to the results of the assessment of the remains of the ancient park in the village Berezhanka and in the remains of the ancient park in the village Mlynyska need restoration measures.Tourist ecological routes have been developed for parks-monuments of landscape art of national importance. Perspective directions of further functioning of the studied parks are determined, scientific and practical recommendations on their preservation and adaptation to modern urban conditions are formed.

Дисертація присвячена дослідженню модифікацій субградієнтного методу з кроком Поляка за допомогою скалярного параметра та операції перетворення простору для знаходження точки мінімуму яружних опуклих функцій з відомим оптимальним значенням. Основну увагу в дисертації зосереджено на питанні збіжності та швидкості збіжності запропонованих модифікацій. Зокрема, в дисертації обґрунтовано монотонне зменшення відстані до точки мінімуму та встановлено показники швидкості збіжності запропонованих модифікацій субградієнтного методу з кроком Поляка у вихідному та перетвореному просторах змінних для довільних опуклих функцій та опуклих функцій з гострим мінімумом. Розроблено програмні реалізації всіх модифікацій субградієнтного методу з кроком Поляка мовою С++ та проведено низку обчислювальних експериментів з мінімізації гладких та негладких яружних опуклих функцій з використанням розроблених реалізацій. Вперше побудовано алгоритм методу еліпсоїдів для розв'язання задачі визначення параметрів лінійної регресії при довільному значенні параметра p. Запропоновано алгоритм на основі методу еліпсоїдів Юдіна-Неміровського для знаходження розв'язків системи лінійних рівнянь з двосторонніми обмеженнями на змінні.^UThe thesis is devoted to the study of subgradient method with Polyak's step modifications with scalar parameter and space transformation operation for finding a minimum point of ravine convex functions with optimal value known. The main attention is paid to the question of convergence and convergence rate of the modifications proposed. In particular, in the thesis monotonous decrease of distance to the minimum point is proved and convergence rate parameters are given of the subgradient method with Polyak's step modifications proposed in original and transformed space of variables for arbitrary convex functions and convex functions with acute minimum. Program implementations of all of the proposed modifications of subgradient method with Polyak's step are developed in C++ and the number of computational experiments are conducted for minimization of smooth and non-smooth ravine convex functions using the modifications proposed. For the first time the ellipsoid method algorithm is built for solving linear regression parameters determination problem with arbitrary value of parameter p. Algorithm based on Yudin-Nemirovskii ellipsoid method is proposed for finding solutions of linear equation system with two-sided constraints on variables.

Поремський М.В. Методи обґрунтування стійкості snow 2.0-подібних потокових шифрів відносно кореляційних атак над скінченними полями характеристики 2^r – Кваліфікаційна наукова праця на правах рукопису.Дисертація на здобуття наукового ступеня доктора філософії за спеціальністю 125 «Кібербезпека». – Інститут спеціального зв'язку та захисту інформації Національного технічного університету України «Київський політехнічний інститут імені Ігоря Сікорського», Київ, 2020.Дисертаційна робота присвячена вирішенню актуальної наукової задачі, яка полягає у розробці методів обґрунтування стійкості SNOW 2.0-подібних потокових шифрів відносно відомих кореляційних атак. З розвитком інформаційних технологій та комп'ютерної техніки значну увагу привернули до себе слово-орієнтованих ПШ, які є програмно-орієнтованими та можуть ефективно працювати на сучасних процесорах. Порівняльні дослідження алгоритмів потокового шифрування показують, що одним із найкращих серед сучасних ПШ є шифр SNOW 2.0, що є на сьогодні міжнародним стандартом. В свою чергу, взявши шифр SNOW 2.0 як прототип, було створено важливий клас SNOW 2.0-подібних ПШ. До цього класу відноситься і нещодавно створений в Україні шифр “Струмок”, прийнятий як національний стандарт ДСТУ 8845:2019. Важливою частиною процесу розробки таких шифрів, що зумовлює вибір окремих компонент і параметрів для їх побудови, є обґрунтування їх стійкості відносно усіх відомих на сьогодні атак. В роботі удосконалено аналітичну оцінку інформаційної складності кореляційних атак на потокові шифри. На відміну від раніше відомої (евристичної) оцінки, отримана аналітична оцінка має належне наукове обґрунтування, містить явну залежність від ймовірності помилки атаки та є справедливою для будь-яких кореляційних атак на потокові шифри незалежно від способу побудови або методу розв'язання системи рівнянь зі спотвореними правими частинами, яка складається на першому етапі атаки. Вперше отримано аналітичне співвідношення для квадратичної евклідової незбалансованості розподілу ймовірностей спотворень у правих частинах рівнянь, що використовуються для побудови кореляційних атак на SNOW 2.0-подібні шифри. На відміну від відомих співвідношень, які визначають квадратичну евклідову незбалансованість, отримане співвідношення встановлює вираз цього параметра в термінах коефіцієнтів Фур'є розподілу спотворень у правих частинах рівнянь єдиної системи, яка не залежить від конкретної атаки. Це дозволяє отримувати нижні оцінки трудомісткості й обсягу матеріалу, потрібного для реалізації кореляційних атак на SNOW 2.0-подібні шифри та порівнювати за трудомісткістю та обсягом матеріалу кореляційні атаки, що будуються над полями різних порядків.Вперше розроблено метод обґрунтування стійкості двійкових SNOW 2.0-подібних шифрів відносно кореляційних атак над скінченними полями характеристики 2. На відміну від відомих підходів до побудови кореляційних атак на полем з двох елементів, розроблений метод базується на отриманому дисертантом аналітичному співвідношенні для параметра, який характеризує ефективність атаки, та дозволяє обґрунтовувати стійкість двійкових SNOW 2.0-подібних потокових шифрів безпосередньо за параметрами їх компонент. Отримав подальший розвиток метод обґрунтування стійкості модулярних SNOW 2.0-подібних шифрів відносно кореляційних атак над скінченними полями характеристики 2. На відміну від відомих підходів до побудови кореляційних атак на SNOW 2.0, розроблений метод базується на отриманих дисертантом аналітичних співвідношеннях, які узагальнюють низку окремих результатів про матричні представлення незбалансованості відображень, що реалізуються скінченними автоматами. Розроблений метод є застосовним до модулярних -розрядних SNOW 2.0-подібних шифрів при і дозволяє отримувати нижні оцінки ефективності відомих кореляційних атак безпосередньо за параметрами компонент алгоритму шифрування. Практичне значення одержаних результатів полягає в тому, що дисертантом розроблено програмні реалізації, які дозволяють в режимі реального часу обчислювати значення нижніх меж трудомісткості та обсягу матеріалу, потрібного для здійснення будь-якої з відомих кореляційних атак на довільний двійковий чи модулярний SNOW 2.0-подібний шифр з вузлами заміни довжини 8 бітів. Розроблені програми застосовані для обґрунтування стійкості шифру “Струмок”, а також його двійкової версії. Вони можуть бути використані на практиці при дослідженні стійкості інших SNOW 2.0-подібних потокових шифрів у СІТС України. Наукові та практичні результати дисертаційної роботи реалізовані в Службі зовнішньої розвідки України – в результаті виконання НДР “Корифена” та в науково-технічних розробках ЗАО “Інститут інформаційних технологій”.^UPoremskyi M. Methods for security evaluation of SNOW 2.0-like stream ciphers against correlation attacks over a finite fields of order 2^r . – Qualifying scientific work as a manuscript.Thesis for a Candidate of Technical Science degree in specialty 125 «Cybersecurity». – Institute of Special Communication and Information Protection of National technical university of Ukraine «Igor Sikorsky Kyiv Polytechnic Institute», Kyiv, 2018.This thesis is devoted to solving actual scientific problem of development the methods for security evaluation of SNOW 2.0-like stream ciphers against correlation attacks.With the advancement of information and computer technologies, significant attention has been drawn to word-based SC that are software-oriented and can run efficiently on modern processors. Comparative studies of stream encryption algorithms show that one of the best among current SC is SNOW 2.0, which is currently the international standard. In turn, using SNOW 2.0 cipher as a prototype, an important class of SNOW 2.0-like ciphers was created. This class includes the recently created in Ukraine cipher "STRUMOK", adopted as the national standard DSTU 8845: 2019. An important part of the process of developing such ciphers, which determines the choice of individual components and parameters for their construction, is their security evaluatin against all known attacks.The analytical estimation of information complexity of correlation attacks on stream ciphers is improved in thesis. Unlike the previously known (heuristic) estimate, the analytical estimate obtained has a scientific basis, contains a clear dependence on the probability of an error of attack and is valid for any correlation attacks on stream ciphers, regardless of the method of creation or solving the system of equations with right parts corrupted by noise, which is creating on the first stage of the attack.For the first time, an analytical relation was obtained for the quadratic Euclidean imbalance of the probability distribution of corruptions in the right part of the equations that are used to construct correlation attacks on SNOW 2.0-like ciphers. Unlike the known correlations that determine the quadratic Euclidean imbalance, the obtained relation determines the expression of this parameter in terms of the Fourier coefficients of the corruption in the right part of the equations of a single system that does not dependent on particular attack. This allows us to obtain lower bounds of the complexity and amount of material required to SNOW 2.0-like correlation attack on SNOW 2.0-like ciphers and to compare the complexity and amount of material for different correlation attacks that are built over fields of different orders.For the first time a method of security evaluation of binary SNOW 2.0-like ciphers against correlation attacks over finite fields of characteristic 2 was developed. In contrast to the known approaches of creating correlation attacks over a field of two elements, the developed method is based on the analytic correlation obtained by researcher for the parameter that characterize the attack efficiency and allows to evaluate the security of binary SNOW 2.0-like stream ciphers directly by the parameters of their components.A method of security evaluation of modular SNOW 2.0-like ciphers against correlation attacks over finite fields of characteristic 2 was further developed. In contrast to the known approaches of creating SNOW 2.0 correlation attacks, the developed method is based on analytical correlations obtained by the thesis, which summarize a number of separate results on matrix representations that are implementing by finite state machines. The developed method is applicable to modular SNOW 2.0-like ciphers and allows to obtain lower bounds of the efficiency of known correlation attacks directly by the parameters of the components of the encryption algorithm.The practical significance of the obtained results consists in developing the software implementations that allow in real time to calculate the values of the lower bounds of the complexity and amount of material required to process any of the known correlative attacks on an arbitrary binary or modular SNOW 2.0-like cipher with 8 bit s-boxes. The developed programs are used to evaluate ofsecurity of the cipher "Strumok", as well as its binary version. They can be used in practice to evaluate the security of other SNOW 2.0-like stream ciphers in SITS of Ukraine.The scientific and practical results of the thesis were implemented at the Foreign Intelligence Service of Ukraine (in the research scientific work «Korifena») and in the scientific and technical developments of CJSC «Institute of Information Technologies».