Бази даних

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

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

Вид пошуку
Сортувати знайдені документи за:
авторомназвоюроком видання
Формат представлення знайдених документів:
повнийстислий
 Знайдено в інших БД:Наукова електронна бібліотека (11)Реферативна база даних (342)Книжкові видання та компакт-диски (296)Журнали та продовжувані видання (47)
Пошуковий запит: (<.>A=КУЖЕЛ$<.>+<.>A=ВОЛОДИМИР$<.>+<.>A=ПЕТРОВИЧ$<.>)
Загальна кількість знайдених документів : 19
Представлено документи з 1 до 19

      
1.

Петрович Р.Й. 
Агрегативно-ітеративні алгоритми для лінійних рівнянь з обмеженими операторами: Автореф. дис... канд. фіз.-мат. наук: 01.01.07 / Р.Й. Петрович ; Львів. держ. ун-т ім. І.Франка. — Л., 1999. — 19 с. — укp.

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

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


Індекс рубрикатора НБУВ: В192.161.1,022

Рубрики:

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

Володимирець В.О. 
Антропічна трансформація видового складу флори осушених територій у зв'язку з процесами її синантропізації: Автореф. дис... канд. біол. наук: 03.00.05 / В.О. Володимирець ; Нац. ботан. сад ім. М.М.Гришка НАН України. — К., 2003. — 20 с.: табл. — укp.

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

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


Індекс рубрикатора НБУВ: Е50*852.121.4(4УКР)
Шифр НБУВ: РА326874

Рубрики:

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

      
Категорія: Транспорт   
3.

Кужель В.П. 
Визначення дальності видимості дорожніх об'єктів в темну пору при експертизі ДТП: автореф. дис... канд. техн. наук: 05.22.20 / В.П. Кужель ; Харк. нац. автомоб.-дорож. ун-т. — Х., 2008. — 20 с. — укp.

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

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


Індекс рубрикатора НБУВ: О33-082.03 + Х893.9(4УКР)413.91 +
Шифр НБУВ: РА361718

Рубрики:

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

      
4.

Кужель Б.С. 
Закономірності формування електронних транспортних властивостей твердих розчинів на основі потрійних сполук європію та ітербію: Автореф. дис... канд. фіз.-мат. наук: 01.04.13 / Б.С. Кужель ; Львів. нац. ун-т ім. І.Франка. — Л., 2000. — 19 с. — укp.

Встановлено закономірності формування електронних транспортних властивостей під час переходу іону Eu та Yb зі стабільного стану в стан міжконфігураційних флуктуацій за умов цілеспрямованої зміни складу зразка.

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


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

Рубрики:

      
5.

Кужелєва Г.О. 
Інвестиційна діяльність господарюючих суб'єктів у трансформаційній економіці: Автореф. дис... канд. екон. наук: 08.00.01 / Г.О. Кужелєва ; Донец. нац. ун-т. — Донецьк, 2007. — 20 с. — укp.

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

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


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

Рубрики:

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

      
6.

Петрович 
Історична топографія міста Володимира X - XVIII ст.: Автореф. дис... канд. іст. наук: 07.00.06 / В.В. Петрович ; Львів. нац. ун-т ім. І.Франка. — Л., 2003. — 19 с. — укp.

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

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


Індекс рубрикатора НБУВ: Т3(4УКР-4ВОЛ)4-22 Володимир +
Шифр НБУВ: РА326540

Рубрики:

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

      
7.

Петрович В.В. 
Корекція сагітального профілю постави дітей молодшого шкільного віку засобами фітбол-гімнастики: автореф. дис... канд. наук з фіз. виховання і спорту: 24.00.02 / В.В. Петрович ; Львів. держ. ун-т фіз. культури. — Л., 2010. — 19 с. — укp.

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

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


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

Рубрики:

      
8.

Кужель М.Ю. 
Механізм економічного регулювання корпоративного сектору державної форми власності: Автореф. дис... канд. екон. наук: 08.02.03 / М.Ю. Кужель ; Н.-д. екон. ін-т М-ва економіки України. — К., 2006. — 20 с. — укp.

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

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


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

Рубрики:

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

      
9.

Кужелева О.О. 
Неактуальний стиль як феномен композиторської поетики XX століття: Автореф. дис... канд. мистецтвознав.: 17.00.03 / О.О. Кужелева ; Одес. держ. муз. акад. ім. А.В.Нежданової. — О., 2003. — 17 с. — укp.

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

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


Індекс рубрикатора НБУВ: Щ313(0)6-2 +
Шифр НБУВ: РА325313

Рубрики:

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

      
Категорія: Гірнича справа   
10.

Кужель С.В. 
Обгрунтування способу підвищення стійкості камер великого поперечного перерізу вугільних шахт: Автореф. дис... канд. техн. наук: 05.15.04 / С.В. Кужель ; Нац. гірн. акад. України. — Д., 2000. — 16 с. — укp.

Проаналізовано господарчу діяльність вугільних шахт ДХК "Добропіллявугілля". Доведено, що одна з причин, яка перешкоджає якісній роботі шахт - низька стійкість підготовчих виробок. Особливо великі збитки мають місце у разі виходу з камер піднімальних машин на ухилах. Причина виходу камер зі стану діючих - у здійманні порід підошви та руйнуванні кріплення. Аналітично, на базі числового моделювання методом МКЕ визначено, що спорудження поруч з камерою компенсаційних виробок з одночасовим тампонажем закріпного простору дозволило суттєво підвищити стійкість камер. Виконано лабораторні експерименти щодо дослідження стійкості камер з компенсуючими виробками на моделях із еквівалентних матеріалів. Обгрунтовано параметри розташування даних виробок і запропоновано нову конструкцію фундаментів піднімальних машин, які мають змінні елементи.

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


Індекс рубрикатора НБУВ: И14-11,1
Шифр НБУВ: РА311868 Пошук видання у каталогах НБУВ 

Рубрики:

      
11.

Кужель М. А. 
Організаційно-економічний механізм управління перспективним розвитком виробничо-господарських систем: автореф. дис. ... канд. екон. наук : 08.00.03 / М. А. Кужель ; Донец. нац. ун-т. — Донецьк, 2011. — 20 с. — укp.

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

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


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

Рубрики:

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

      
12.

Володимиренко 
Особливості росту та прогноз продуктивності штучних модальних ялинових деревостанів Українських Карпат: Автореф. дис... канд. с.-г. наук: 06.03.02 / Валентина Миколаївна Володимиренко ; Національний аграрний ун-т. — К., 2006. — 19 с. — укp.

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


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

Рубрики:

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

      
13.

Кужель О.В. 
Регіональні програми підтримки підприємництва в Україні: тенденції розвитку, методологія, практика: Автореф. дис... канд. екон. наук: 08.10.01 / О.В. Кужель ; НАН України. Рада по вивч. продукт. сил України. — К., 1999. — 19 с. — укp.

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

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


Індекс рубрикатора НБУВ: У010.342 + У9(4УКР)0-131.1

Рубрики:

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

      
14.

Кужель В.М. 
Управління технічним розвитком промислових підприємств (за матеріалами цегельних підприємств України): Автореф. дис... канд. екон. наук: 08.06.01 / В.М. Кужель ; Київ. нац. екон. ун-т ім. В.Гетьмана. — К., 2006. — 19 с. — укp.

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

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


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

Рубрики:

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

      
15.

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

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

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


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

Рубрики:

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

      
16.

Кужель М. М. 
Формування психологічної готовності до педагогічної діяльності викладачів фізичної культури: автореф. дис. ... канд. психол. наук : 19.00.07 / М. М. Кужель ; Нац. акад. Держ. прикордон. служби України ім. Б. Хмельницького. — Хмельницький, 2010. — 20 с. — укp.

Досліджено проблему формування психологічної готовності викладачів фізичної культури до педагогічної діяльності у контексті їх рефлексивної активності. З'ясовано сутність і структуру психологічної готовності особистості до професійної діяльності, визначено рівні її сформованості в аспекті педагогічної діяльності викладачів фізичної культури. Розкрито значення рефлексії у формуванні психологічної готовності викладачів фізичної культури до педагогічної діяльності, з'ясовано види рефлексії й її показники. Розроблено рефлексивний практикум для формування психологічної готовності викладача фізичної культури до педагогічної діяльності й експериментально перевірено його ефективність.

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


Індекс рубрикатора НБУВ: Ю952.2 + Ю940.91 + Ч51 р31(4УКР)
Шифр НБУВ: РА377215 Пошук видання у каталогах НБУВ 

Рубрики:

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

      
17.

Кужелев Д.О. 
Художні тентенції розвитку академічного баянного виконавства у другій половині ХХ ст.: Автореф. дис... канд. мистецтвознав.: 17.00.01 / Д.О. Кужелев ; Київ. нац. ун-т культури і мистец. — К., 2002. — 20 с. — укp.

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

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


Індекс рубрикатора НБУВ: Щ315.46-73(4УКР)63
Шифр НБУВ: РА321336

Рубрики:

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

      
Категорія: Транспорт   
18.

Кужель Н. В. 
Чисельні методи підвищення ефективності аналізу моделі автотранспортного потоку - слідування за лідером: автореф. дис. ... канд. техн. наук : 05.22.01 / Н. В. Кужель ; Нац. авіац. ун-т. — К., 2011. — 24 с. — укp.

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

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


Індекс рубрикатора НБУВ: О808.024 с11 + Ю941.2-3
Шифр НБУВ: РА382002 Пошук видання у каталогах НБУВ 

Рубрики:

      
19.

Немсадзе Г. Г. 
Фінансова архітектура корпорацій в умовах нестабільного економічного середовища / Г. Г. Немсадзе. — Б.м., 2021 — укp.

У дисертації обґрунтовано теоретичні положення та розроблено практичні засади щодо удосконалення фінансової архітектури корпорацій в умовах нестабільного економічного середовища. Розкрито теоретико-методологічні засади фінансової архітектури корпорації. Удосконалено понятійно-категоріальний апарат функціонування корпоративних структур у сучасних умовах економічного розвитку країни. Уточнено зміст таких категорій, як «архітектура», «фінансова архітектура корпорації». Розглянуто компоненти фінансової архітектури корпорації, їхні основні характеристики функціонування і взаємодії для діагностики та нейтралізації негативних тенденцій нестабільного економічного середовища. Розроблено науково-методичний підхід щодо визначення впливу нестабільного економічного середовища на фінансову архітектуру корпорації. Значну увагу приділено питанням впливу фінансової архітектури на ефективність фінансової діяльності корпорацій. Зазначено, що важливою складовою аналізу ефективності фінансової діяльності корпорації є її стратегічна ефективність. Доведено, що визначення ключових пріоритетів розвитку сучасних корпорацій та ефективне застосування інструментів для оптимізації їхньої фінансової архітектури є неможливим без використання комплексу моделей та методів економіко-математичного моделювання.^UThe dissertation substantiates the theoretical provisions and develops practical principles for improving the financial architecture of corporations in an unstable economic environment. Theoretical and methodological principles of the financial architecture of the corporation are revealed. The conceptual and categorical apparatus of functioning of corporate structures in modern conditions of economic development of the country is improved. The content of such categories as "architecture" . "financial architecture of the corporation". The components of the financial architecture of the corporation, their main characteristics of functioning and interaction to diagnose and neutralize the negative trends of the unstable economic environment. A scientific and methodological approach to determining the impact of unstable economic environment on the financial architecture of the corporation. Considerable attention is paid to the impact of financial architecture on the efficiency of financial activities of corporations. It is noted that an important component of the analysis of the effectiveness of the corporation's financial activities is its strategic effectiveness. It is proved that the definition of key priorities for the development of modern corporations and the effective use of tools to optimize their financial architecture is impossible without the use of a set of models and methods of economic and mathematical modeling.


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

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