Бази даних

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

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

Вид пошуку
Сортувати знайдені документи за:
авторомназвоюроком видання
Формат представлення знайдених документів:
повнийстислий
 Знайдено в інших БД:Наукова електронна бібліотека (6)Реферативна база даних (281)Книжкові видання та компакт-диски (176)Журнали та продовжувані видання (9)
Пошуковий запит: (<.>A=ПРОКОФ$<.>+<.>A=ОЛЕКСІЙ$<.>+<.>A=СЕРГІЙОВИЧ$<.>)
Загальна кількість знайдених документів : 15
Представлено документи з 1 до 15

      
1.

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

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


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

Рубрики:

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

      
2.

Прокоф'єва О.В. 
Вдосконалення методів розрахунку і проектування процесу гвинтової екструзії: автореф. дис... канд. техн. наук: 05.03.05 / О.В. Прокоф'єва ; Держ. вищ. навч. закл. "Донец. нац. техн. ун-т". — Донецьк, 2008. — 20 с. — укp.

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

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


Індекс рубрикатора НБУВ: К623.4 +
Шифр НБУВ: РА358505

Рубрики:

      
3.

Прокоф'єв О.С. 
Індукційне зваркопаяння тонкостінних трубчастих конструкцій проміжної та кінцевої трубчастої арматури: Автореф. дис... канд. техн. наук: 05.03.06 / О.С. Прокоф'єв ; Нац. техн. ун-т України "Київ. політехн. ін-т". — К., 2007. — 24 с. — укp.

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

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


Індекс рубрикатора НБУВ: К641.7 + К748.4 +
Шифр НБУВ: РА351831

Рубрики:

      
4.

Прокоф'єва М.Ю. 
Інтеграція педагогічної підготовки майбутніх вихователів дошкільних закладів і вчителів початкових класів: автореф. дис... канд. пед. наук: 13.00.04 / М.Ю. Прокоф'єва ; Південноукр. держ. пед. ун-т ім. К.Д.Ушинського. — О., 2008. — 21 с. — укp.

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

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


Індекс рубрикатора НБУВ: Ч489.518.1 + Ч489.518.3 + Ч489.511.207 +
Шифр НБУВ: РА355827

Рубрики:

      
5.

Прокоф'єв Т.А. 
Механізми збудження фотолюмінесценції іонів Mnsup2+/sup в реальних кристалах ZnS: Автореф. дис... канд. фіз.-мат. наук: 01.04.07 / Т.А. Прокоф'єв ; Дніпропетр. нац. ун-т. — Д., 2003. — 20 с.: рис. — укp.

Детально охарактеризовано спектри ФЛ кристалів ZnS : Mn за різних умов збудження. Зазначено, що одержані результати є наслідком зміни впливу резонансного механізму передачі енергії збудження марганцевим центрам ФЛ. Визначено глибину залягання центрів захоплення, пов'язаних з марганцем, а також час життя електронів у збудженому стані для цього рівня.

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


Індекс рубрикатора НБУВ: В374.98,022 +
Шифр НБУВ: РА325596

Рубрики:

      
6.

Прокоф'єва С.В. 
Моделі управління процесом доставки вантажів: економічний аспект: автореф. дис... канд. екон. наук: 08.00.11 / С.В. Прокоф'єва ; Харк. нац. екон. ун-т. — Х., 2009. — 20 с. — укp.

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

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


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

Рубрики:

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

      
7.

Прокоф'єв Є. Г. 
Організаційно-педагогічні засади загальнопедагогічної підготовки майбутніх учителів в умовах дистанційного навчання: автореф. дис. ... канд. пед. наук : 13.00.04 / Є. Г. Прокоф'єв ; Нац. пед. ун-т ім. М. П. Драгоманова. — К., 2011. — 20 с.: рис. — укp.

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

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


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

Рубрики:

      
8.

Прокоф'єв І.П. 
Поетика Леоніда Талалая: Автореф. дис... канд. філол. наук: 10.01.01 / І.П. Прокоф'єв ; Київ. нац. ун-т ім. Т.Шевченка. — К., 2004. — 20 с. — укp.

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

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


Індекс рубрикатора НБУВ: Ш5(4УКР)6-4 Талалай, Л.М. 535
Шифр НБУВ: РА330531

Рубрики:

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

      
9.

Прокоф'єва-Акопова С.О. 
Психологічний механізм мотивації сприйняття естетичної культури юнацтвом (на прикладі музики): Автореф. дис... канд. психол. наук: 19.00.07 / С.О. Прокоф'єва-Акопова ; Південноукр. держ. пед. ун-т ім. К.Д.Ушинського. — О., 2001. — 20 с.: мал. — укp.

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

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


Індекс рубрикатора НБУВ: Ю945.443 + Ю817.2 + Щ311.355.23
Шифр НБУВ: РА313454 Пошук видання у каталогах НБУВ 

Рубрики:

      
10.

Прокоф'єва О. О. 
Психологічні умови запобігання маніпулятивним міжособистісним стосункам у юнацькому віці: автореф. дис. ... канд. психол. наук : 19.00.07 / О. О. Прокоф'єва ; Нац. пед. ун-т ім. М.П. Драгоманова. — К., 2010. — 21 с. — укp.

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

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


Індекс рубрикатора НБУВ: Ю953.3 + Ю937.42
Шифр НБУВ: РА376091 Пошук видання у каталогах НБУВ 

Рубрики:

      
11.

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

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

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


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

Рубрики:

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

      
12.

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

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

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


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

Рубрики:

      
13.

Підховна С. М. 
Парки-пам'ятки садово-паркового мистецтва Тернопільщини (ретроспективний аналіз, структура дендрофлори, комплексна оцінка) / С. М. Підховна. — Б.м., 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 Пошук видання у каталогах НБУВ 

      
14.

Прокофєв М. М. 
Адміністративно-правове регулювання державної служби в правоохоронних органах / М. М. Прокофєв. — Б.м., 2021 — укp.

У дисертації здійснено теоретичне узагальнення й нове вирішення наукової проблеми адміністративно-правового регулювання державної служби в правоохоронних органах, що лягло в основу вироблення відповідних концептуально-методологічних засад, спрямованих на вирішення актуальних науково-прикладних проблем у галузі адміністративного права і таких, що можуть бути використані для законотворчого забезпечення модернізації державної служби в правоохоронних органах.У результаті проведеного дисертаційного дослідження розкрито стан адміністративно-правового регулювання державної служби в правоохоронних органах в умовах адаптації національного законодавства до вимог Європейського Союзу.Визначено, що сучасна модель державної служби в правоохоронних органах має ґрунтуватися на передових досягненнях соціальної філософії, в якій професійна діяльність державних службовців правоохоронних органів представляється як вид професійної діяльності, орієнтованої на надання соціально значущих послуг у галузі всебічного захисту основоположних прав та інтересів громадян. Основними напрямами побудови моделі державної служби є вирішення завдань підвищення ефективності державного управління в правоохоронних органах шляхом посилення децентралізації, спрощення процедур і структур, надання більшої самостійності управлінському персоналу в ухваленні рішень. Обґрунтовано потребу розширення предмета адміністративного права шляхом доповнення положень щодо завдань, функцій, обов'язків представників державних органів.Здійснено розподіл принципів державної служби в правоохоронних органах на три групи. До першої групи зараховано загальносистемні принципи, що закріплюють конституційно-правові основи системи державної служби в правоохоронних органах як невід'ємного інституту державного управління. Другу групу становлять принципи, які визначають закономірності, що виникають в процесі формування та розвитку державно-службових правовідносин, відображають специфіку професійної діяльності державних службовців з реалізації правоохоронних функцій. До третьої групи належать принципи, що характеризують внутрішню організаційну діяльність правоохоронних органів.Окреслено тенденції сучасної доктрини адміністративно-правового регулювання державної служби в правоохоронних органах, на які впливає політичний процес, що має правову природу. Ця обставина зумовлює неминучість розбіжності між реально чинними нормативно-правовими актами, які регулюють державну службу та нормативними актами, що регулюють діяльність правоохоронних органів.Наголошено, що в сучасній доктрині адміністративно-правового регулювання державної служби в правоохоронних органах формальні основи побудови системи поглиблення соціальної сутності державної служби в правоохоронних органах позбавлені системності, що стає закономірним наслідком чинників, які визначені науково-теоретичними та політичними передумовами. Оптимізації розвитку соціальної сутності державної служби не можна досягнути тільки завдяки вдосконаленню формальних основ правоохоронної діяльності, її ефективність пов'язана з трансформацією різних аспектів правового життя, передусім громадської правосвідомості.Доведено, що аналіз законодавства про державну службу в правоохоронних органах в частині, яка стосується правового статусу державних службовців, дав підстави для концептуального поєднання складної багаторівневої моделі статусу державного службовця з модульним адміністративно-правовим змістом. Залежно від обсягу, змісту та характеру суб'єктивних прав й обов'язків державного службовця у правоохоронних органах у структурі адміністративно-правового статусу можна виділити три основні рівні: універсальні засади правової свободи державного службовця у правоохоронних органах (загальний статус); спеціальний посадовий модуль державного службовця у правоохоронних органах (спеціальний статус); персональний модуль адміністративно-правових можливостей окремого державного службовця у правоохоронних органах (індивідуальний статус).^UThe dissertation summarizes the theoretical generalization and a new solution of the scientific problem of administrative and legal regulation of civil service in law enforcement, which formed the basis for the development of appropriate conceptual and methodological foundations aimed at solving current scientific and applied problems in administrative law and those that can be used to form a system implementation legislative support for the modernization of the civil service law enforcement agencies.As a result of the dissertation, the state of administrative and legal regulation of the civil service in the law enforcement sphere in the conditions of adaptation of national legislation to the requirements of the European Union is revealed. It is determined that the modern model of the civil service in the law enforcement sphere should be based on the advanced achievements of social philosophy, in which the professional activity of civil servants in the law enforcement sphere is represented as a type of professional activity, focused on the provision of socially significant services in the field of comprehensive public interest. The main directions of building a civil service model are to solve the problems of improving the efficiency of public administration in the law enforcement sphere by enhancing decentralization, simplifying procedures and structures, giving giving more independence to management staff in decision making.The need to expand the subject of administrative law by supplementing the provisions on tasks, functions, duties of representatives of state bodies is substantiated.The distribution of state principles is carried out in law enforcement into three groups. The first group should include system-wide principles that underpin the constitutional and legal foundations of the civil service system in the field of law enforcement as an integral institution of public administration. The second group consists of the principles that determine the patterns, used in the process of formation and development of civil service legal relations, reflect the specialty of professional activities of the state law enforcement officers. The third group includes principles that characterize the internal organizational activities of law enforcement agencies.


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

      
15.

Поремський М. В. 
Методи обґрунтування стійкості 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 Пошук видання у каталогах НБУВ 
 

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