Бази даних

Автореферати дисертацій - результати пошуку

Mozilla Firefox Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер
"Mozilla Firefox"

Вид пошуку
у знайденому
Сортувати знайдені документи за:
авторомназвоюроком видання
Формат представлення знайдених документів:
повнийстислий
 Знайдено в інших БД:Наукова електронна бібліотека (8)Реферативна база даних (386)Книжкові видання та компакт-диски (328)Журнали та продовжувані видання (43)
Пошуковий запит: (<.>A=ПАХОМ$<.>+<.>A=ОЛЕКСІЙ$<.>+<.>A=МИКОЛАЙОВИЧ$<.>)
Загальна кількість знайдених документів : 26
Представлено документи з 1 до 20
...

      
1.

Пахомов О.Є. 
Біогеоценотична роль ссавців у грунтоутворних процесах степових лісів України: Автореф. дис... д-ра біол. наук: 03.00.16 / О.Є. Пахомов ; Дніпропетр. держ. ун-т. — Д., 1999. — 40 с. — укp.

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

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


Індекс рубрикатора НБУВ: П031.85(4УКР),022

Рубрики:

Географічні рубрики:
  

      
2.

Олексійченко 
Біологічні основи селекції шовковиці (Morus L.) та підвищення її продуктивності в умовах України: Автореф. дис... д-ра с.-г. наук: 06.03.01 / Надія Олександрівна Олексійченко ; Національний аграрний ун-т. — К., 2005. — 39 с. — укp.

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


Індекс рубрикатора НБУВ: П382.33-3(4УКР)
Шифр НБУВ: РА339054

Рубрики:

Географічні рубрики:

      
3.

Пахомовська М.В. 
Ефективна зайнятість в аграрному секторі економіки (на прикладі Дніпропетровської області): автореф. дис... канд. екон. наук: 08.00.07 / М.В. Пахомовська ; НАН України, Ін-т демографії та соц. дослідж. — К., 2009. — 19 с. — укp.

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

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


Індекс рубрикатора НБУВ: С73(4УКР-ДНІ)64-212 + У9(4УКР-4ДНІ)320-640.5 +
Шифр НБУВ: РА367709

Рубрики:

Географічні рубрики:
  

      
4.

Пахомова А.В. 
Ефективність модифікованого "реваскуляризуючого" втручання у комплексному лікуванні хворих на сенільну макулярну дегенерацію: автореф. дис... канд. мед. наук: 14.01.18 / А.В. Пахомова ; Ін-т оч. хвороб і тканин. терапії ім. В.П.Філатова АМН України. — О., 2007. — 18 с. — укp.

Досліджено проблему підвищення ефективності лікування хворих на сенільну макулярну дегенерацію шляхом модифікації "реваскуляризуючого" втручання з застосуванням комбінованого біотрансплантату, складовою якого є <$Eroman Tutoplast symbol л> "Fascia temporalis" на фоні медикаментозної терапії. На другий тиждень після проведення запропонованого втручання, за результатами морфологічного дослідження виявлено функціонально та структурно повноцінні наново утворені судини капілярного типу. Модифіковане "реваскуляризуюче" втручання з застосуванням даного комбінованого біотрансплантату сприяє вірогідному поліпшенню клініко-функціональних і гемодинамічних показників. Запропоновано ефективний спосіб комплексного лікування хворих на "суху" форму сенільної макулярної дегенерації, що забезпечує стабілізацію патологічного процесу та дозволяє підвищити зорові функції у 78 % пацієнтів з початковою стадією та у 48 % - з розвиненою стадією захворювання протягом дванадцяти місяців.

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


Індекс рубрикатора НБУВ: Р673.9-5 +
Шифр НБУВ: РА353401

Рубрики:

      
5.

Пахоменко С.П. 
Культурний розвиток грецької спільноти України у другій половині ХХ столітя: Автореф. дис... канд. іст. наук: 07.00.01 / С.П. Пахоменко ; НАН України. Ін-т історії України. — К., 2003. — 19 с. — укp.

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

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


Індекс рубрикатора НБУВ: Т3(4УКР=9ГРЕ)63
Шифр НБУВ: РА326691

Рубрики:

      
6.

Пахомова О. Л. 
Культурологічно орієнтований навчальний діалог як чинник професійного становлення майбутнього психолога: автореф. дис. ... канд. психол. наук : 19.00.07 / О. Л. Пахомова ; ДВНЗ "Прикарпат. нац. ун-т ім. В. Стефаника". — Івано-Франківськ, 2011. — 21 с. — укp.

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

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


Індекс рубрикатора НБУВ: Ю9 р(4УКР)3
Шифр НБУВ: РА379823 Пошук видання у каталогах НБУВ 

Рубрики:

Географічні рубрики:

      
7.

Пахомова Т.І. 
Механізми функціонування системи державної служби в період суспільних реформ: Автореф. дис... д-ра наук з держ. упр.: 25.00.03 / Т.І. Пахомова ; Нац. акад. держ. упр. при Президентові України. — К., 2007. — 32 с. — укp.

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

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


Індекс рубрикатора НБУВ: Х819(4УКР)012 в663 +
Шифр НБУВ: РА349114

Рубрики:

Географічні рубрики:

      
Категорія: Будівництво   
8.

Пахомов Р.І. 
Міцність косостиснутих залізобетонних елементів з урахуванням нелінійності деформування бетону: автореф. дис... канд. техн. наук: 05.23.01 / Р.І. Пахомов ; Полтав. нац. техн. ун-т ім. Ю.Кондратюка. — Полтава, 2007. — 21 с. — укp.

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

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


Індекс рубрикатора НБУВ: Н53-028 +
Шифр НБУВ: РА353554

Рубрики:
  

      
9.

Пахомов О.М. 
Моделювання процесів реінжинірингу та реструктуризації менеджменту інформаційної фірми: Автореф. дис... канд. екон. наук: 08.03.02 / О.М. Пахомов ; Київ. нац. екон. ун-т. — К., 2004. — 17 с.: рис. — укp.

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

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


Індекс рубрикатора НБУВ: У9(4УКР)391 в611
Шифр НБУВ: РА331071

Рубрики:

Географічні рубрики:

      
Категорія: Біологічні науки   
10.

Пахомов О.В. 
Морфофункціональні характеристики клітин інтерстицію сім'яників статевозрілих щурів при кріоконсервуванні: автореф. дис... канд. біол. наук: 03.00.19 / О.В. Пахомов ; Ін-т пробл. кріобіології і кріомедицини НАН України. — Х., 2008. — 20 с. — укp.

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

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


Індекс рубрикатора НБУВ: Е60*736.311-636-601.2с8 +
Шифр НБУВ: РА361730

Рубрики:

      
11.

Пахомов В.В. 
Організаційно-правові засади здійснення державного контролю за правозастосовчою діяльністю податкових органів: автореф. дис... канд. юрид. наук: 12.00.07 / В.В. Пахомов ; Нац. ун-т держ. податк. служби України. — Ірпінь, 2007. — 21 с. — укp.

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

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


Індекс рубрикатора НБУВ: Х829(4УКР)201 + Х829(4УКР)201 + Х829(4УКР)201
Шифр НБУВ: РА352922

Рубрики:

      
12.

Пахомова Т. Г. 
Розвиток післядипломної освіти педагогічних працівників в Україні (20 - 30-ті роки ХХ століття): автореф. дис. ... канд. пед. наук : 13.00.01 / Т. Г. Пахомова ; Кіровоград. держ. пед. ун-т ім. В. Винниченка. — Кіровоград, 2010. — 20 с. — укp.

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

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


Індекс рубрикатора НБУВ: Ч489.513(4УКР)61 + Ч489.514(4УКР)78
Шифр НБУВ: РА375437 Пошук видання у каталогах НБУВ 

Рубрики:

Географічні рубрики:

      
13.

Олексійчук О.М. 
Статистичне забезпечення моніторингу виконання Державного бюджету України: Автореф. дис... канд. екон. наук: 08.03.01 / О.М. Олексійчук ; Київ. нац. ун-т ім. Т.Шевченка. — К., 2006. — 20 с. — укp.

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

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


Індекс рубрикатора НБУВ: У9(4УКР)261.323 в611.326 +
Шифр НБУВ: РА348099

Рубрики:
  

Географічні рубрики:

      
14.

Пахомов В.М. 
Творча спадщина Ольги Дучимінської: Автореф. дис... канд. філол. наук: 10.01.01 / В.М. Пахомов ; Прикарпат. ун-т ім. В.Стефаника. — Івано-Франківськ, 1998. — 20 с. — укp.

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

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


Індекс рубрикатора НБУВ: Ш5(4УКР)6-4 Дучимінська 4,0

Рубрики:

Географічні рубрики:

      
15.

Олексійчук О.В. 
Удосконалення технології солоду із сої: Автореф. дис... канд. техн. наук: 05.18.07 / О.В. Олексійчук ; Нац. ун-т харч. технологій. — К., 2007. — 19 с. — укp.

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

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


Індекс рубрикатора НБУВ: Л870.22 +
Шифр НБУВ: РА349769

Рубрики:

      
16.

Пахомов С.Ю. 
Формування відкритої економіки України і національна конкурентоспроможність: Автореф. дис... канд. екон. наук: 08.05.01 / С.Ю. Пахомов ; Київ. нац. екон. ун-т. — К., 2004. — 18 с. — укp.

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

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


Індекс рубрикатора НБУВ: У9(4УКР)0-13 +
Шифр НБУВ: РА330857

Рубрики:

Географічні рубрики:

      
Категорія:    
17.

Пахомова О. В. 
Формування професійної компетентності майбутніх учителів філологічних дисциплін у процесі загальнопедагогічної підготовки: автореф. дис. ... канд. пед. наук : 13.00.04 / О. В. Пахомова ; Кіровогр. держ. пед. ун-т ім. В. Винниченка. — Кіровоград, 2011. — 19 с.: рис. — укp.

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

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


Індекс рубрикатора НБУВ: Ш. р30
Шифр НБУВ: РА383039 Пошук видання у каталогах НБУВ 

      
18.

Пахомов Ю. В. 
Моделі та методи тестопридатного проектування критичних систем логічного управління на основі кінцевих автоматів / Ю. В. Пахомов. — Б.м., 2019 — укp.

Дисертація присвячена розробці моделей та методів автоматизованого проектування та діагностування автоматних систем логічного управління на ПЛІС з використанням мов опису апаратури. Запропоновано розширення вхідного алфавіту кінцевого автомата шляхом введення додаткового стовпця в таблицю переходів-виходів автомата та додаткового входу в схемну реалізацію керуючого автомата. Удосконалено процедури проведення діагностичного експерименту з використанням синхронізуючих послідовностей. Удосконалено методи побудови апаратних пристроїв діагностування, що реалізують стратегію обходу всіх станів або дуг графа переходів керуючого автомата шляхом імітації алгоритму роботи операційного автомату в системі логічного управління. Модифіковано методи розрахунку тестопридатності кінцевих автоматів, керованості, спостережуваності та досяжності вершин (станів) у графах переходів керуючих автоматів. Запропоновано новий підхід при автоматизованому проектуванні тестопридатних кінцевих автоматів за рахунок побудови моделей мовами опису апаратури (HDL-моделей) у яких додаткові переходи реалізуються шляхом додавання умовних операторів у опис функцій переходів і автоматного шаблону мовою опису апаратури VHDL. Розроблені HDL-описи моделюються та синтезуються інструментальними засобами систем автоматизованого проектування цифрових пристроїв на технологічній платформі ПЛІС. Розроблені процедури розрахунку тестопридатності кінцевих керуючих автоматів дозволили оптимізувати створення додаткових переходів в моделях автоматів за рахунок обчислення оцінок по Квайну синтезованих моделей автоматів. Розроблено програмний модуль з візуальним інтерфейсом для введення графа переходів керуючого автомата та автоматизованої побудови тестопридатних HDL-моделей автоматів у формі автоматного шаблону у синтезованій підмножині мови опису апаратури VHDL. Результаты, полученные в ходе исследований, являются достоверными, что подтверждается проведенными экспериментами по проверке предлагаемых моделей и методов мониторинга и управления системами газоснабжения.^UThe PhD thesis is devoted to the development of models and methods of computer-aided design and diagnosis of automaton logic control systems on FPGA using hardware description languages. The extension of the input alphabet of the finite state machine is proposed by introducing an additional column in the table of transitions-outputs of the automaton and an additional input to the circuit implementation of the control automaton. The procedures for performing a diagnostic experiment are improved through the use of synchronization sequences. The methods for developing hardware diagnostics devices have been improved; they implement a strategy for bypassing all the states or arcs of the transition graph of a control automaton by simulating the algorithm of an operational automaton in a logical control system. The methods for calculating the testability of finite state machine, controllability, observability and the reachability of nodes (states) of a transition graph of control automata have been improved. A new approach to computer-aided design of testable finite state machines has been proposed, based on the use of hardware description languages for describing models (HDL models), in which additional transitions are implemented by adding conditional statements to the VHDL description of transition functions and automaton pattern. The developed HDL descriptions are simulated and synthesized by computer-aided design tools based on the FPGA technology platform. The developed procedures for calculating the testability of the control automaton made it possible to optimize of entering additional transitions in automaton models through calculating the Quine estimate of the synthesized automaton models. A software module has been developed; it has visual interface for creating the transition graph of the control automaton and automating the construction of testable HDL models of automata in the form of automaton pattern in a synthesized subset of the VHDL language. The results obtained in the course of the research are reliable, which is confirmed by the experiments carried out to verify the proposed models and methods for monitoring and controlling gas supply systems.


Шифр НБУВ: 05 Пошук видання у каталогах НБУВ 

      
19.

Підховна С. М. 
Парки-пам'ятки садово-паркового мистецтва Тернопільщини (ретроспективний аналіз, структура дендрофлори, комплексна оцінка) / С. М. Підховна. — Б.м., 2020 — укp.

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


Шифр НБУВ: 05 Пошук видання у каталогах НБУВ 

      
20.

Поремський М. В. 
Методи обґрунтування стійкості snow 2.0-подібних потокових шифрів відносно кореляційних атак над скінченними полями характеристики 2 / М. В. Поремський. — Б.м., 2021 — укp.

Поремський М.В. Методи обґрунтування стійкості 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».


Шифр НБУВ: 05 Пошук видання у каталогах НБУВ 
...
 

Всі права захищені © Національна бібліотека України імені В. І. Вернадського