Бази даних

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

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

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

      
1.

Миколенко О.І. 
Проблеми відшкодування шкоди, заподіяної адміністративним правопорушенням: Автореф. дис... канд. юрид. наук: 12.00.07 / О.І. Миколенко ; Ун-т внутр. справ. — О., 2000. — 19 с. — укp.

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

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


Індекс рубрикатора НБУВ: Х819(4УКР)072 + Х838(4УКР)213.104
Шифр НБУВ: РА311247 Пошук видання у каталогах НБУВ 

Рубрики:
  

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

      
2.

Рижкова І.Л. 
Задачі наближення-ухилення у лінійних іграх з обмеженнями на ресурси: Автореф. дис... канд. фіз.-мат. наук: 01.05.04 / І.Л. Рижкова ; Київ. нац. ун-т ім. Т.Шевченка. — К., 2002. — 17 с. — укp.

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

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


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

Рубрики:

      
3.

Миколаєнко І.М. 
Історіографія діяльності земських установ України (1864 - 2001 рр.): Автореф. дис... канд. іст. наук: 07.00.06 / І.М. Миколаєнко ; Київ. нац. ун-т ім. Т.Шевченка. — К., 2003. — 20 с. — укp.

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

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


Індекс рубрикатора НБУВ: Т3(4УКР)5-536.2 + Т1(4УКР)6 +
Шифр НБУВ: РА322822

Рубрики:

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

      
4.

Рижковський В.О. 
Оптимізація хірургічного лікування хворих із калькульозним холециститом та супровідною серцево-судинною патологією: Автореф. дис... канд. мед. наук: 14.01.03 / В.О. Рижковський ; Терноп. держ. мед. акад. ім. І.Я.Горбачевського. — Т., 2003. — 19 с.: рис. — укp.

Вивчено зміни електричної функції міокарда, показники скоротливої здатності міокарда лівого шлуночка. Встановлено виражену тахікардію, депресію та елевацію сегмента ST, аритмії, а також пригнічення скоротливої здатності міокарда лівого шлуночка. Розроблено комплексну методику щодо прогнозу серцево-судинних ускладнень, встановлено критерії для застосування певної хірургічної тактики та методів холецистектомії для зменшення частоти та виразності серцево-судинних ускладнень у післяопераційному періоді. Показано, що найбільш оптимальним методом хірургічного лікування у хворих із суб- та компенсованою функцією серцево-судинної системи у випадку неускладненого холецеститу є лапароскопічна холецистектомія з тиском карбоксиперитонеуму 8 - 11 мм рт. ст., лапаротомна холецистектомія за допомогою малого доступу. Визначено групу хворих, яким необхідна підготовка метопрололом (0,05 г per os) до рентгенендоскопічних втручань на великому дуденальному сосочку для попередження кардінальних ускладнень з приводу їх проведення. Встановлено, що наявність лише синдрому ранньої реполяризації шлуночків не може стримувати хірургічну активність.

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


Індекс рубрикатора НБУВ: Р457.465.520.11 + Р457.365.1 +
Шифр НБУВ: РА323819

Рубрики:

      
5.

Рижкова В.В. 
Реалізація категорії інтертекстуальності в американському художньому тексті XIX - XX століть: Автореф. дис... канд. філол. наук: 10.02.04 / В.В. Рижкова ; Харк. нац. ун-т ім. В.Н.Каразіна. — Х., 2004. — 20 с. — укp.

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

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


Індекс рубрикатора НБУВ: Ш143-7 + Ш401.171 + Ш5(0)943-357
Шифр НБУВ: РА330809

Рубрики:

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

      
6.

Миколайчук М.М. 
Діагностика соціально-економічного розвитку території як елемент механізму державного управління: Автореф. дис... канд. наук з держ. упр.: 25.00.02 / М.М. Миколайчук ; Одес. регіон. ін-т держ. упр. Нац. акад. держ. упр. при Президентові України. — О., 2004. — 20 с.: рис. — укp.

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

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


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

Рубрики:

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

      
7.

Миколенко О.М. 
Теоретичні основи дослідження шкоди, заподіяної злочином: Автореф. дис... канд. юрид. наук: 12.00.08 / О.М. Миколенко ; Нац. ун-т внутр. справ. — Х., 2005. — 19 с. — укp.

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

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


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

Рубрики:

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

      
8.

Рижков І.В. 
Поліпшення технічних характеристик ферозондових давачів для систем керування орієнтацією об'єктів: Автореф. дис... канд. техн. наук: 05.13.05 / І.В. Рижков ; Одес. нац. політехн. ун-т. — О., 2005. — 21 с. — укp.

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

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


Індекс рубрикатора НБУВ: З965-044.31 +
Шифр НБУВ: РА337932

Рубрики:

      
9.

Рижкова С.А. 
Знання та технології в історичних просторах культури: Автореф. дис... д-ра філос. наук: 09.00.02 / С.А. Рижкова ; Київ. нац. ун-т ім. Т.Шевченка. — К., 2005. — 36 с. — укp.

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

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


Індекс рубрикатора НБУВ: Ю251 + Ю25в:Ч11 + Ч111.156 +
Шифр НБУВ: РА339674

Рубрики:

      
10.

Рижкова Г.А. 
Організаційно-економічний механізм управління маркетинговими комунікаціями: Автореф. дис... канд. екон. наук: 08.02.03 / Г.А. Рижкова ; Дніпропетр. ун-т економіки та права. — Д., 2006. — 18 с. — укp.

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

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


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

Рубрики:

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

      
11.

Рижко Л.В. 
Науковий простір: проблеми формування та трансформації (філософсько-праксеологічний аспект): Автореф. дис... д-ра філософ. наук: 09.00.09 / Л.В. Рижко ; Київ. нац. ун-т ім. Т.Шевченка. — К., 2006. — 39 с. — укp.

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

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


Індекс рубрикатора НБУВ: Ю223.22 + Ч210.566 +
Шифр НБУВ: РА346503

Рубрики:

      
12.

Миколенко Т.М. 
Український міський сленг (на матеріалі усного мовлення тернопільців): Автореф. дис... канд. філол. наук: 10.02.01 / Т.М. Миколенко ; Ін-т укр. мови НАН України. — К., 2006. — 24 с. — укp.

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

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


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

      
13.

Рижков 
Термофоретичне осадження рідких частинок турбулентного газового потоку: Автореф. дис... канд. техн. наук: 05.14.06 / Сергій Сергійович Рижков ; НАН України; Інститут технічної теплофізики. — К., 2007. — 20 с. — укp.

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


Індекс рубрикатора НБУВ: З311,33
Шифр НБУВ: РА350020

Рубрики:

      
14.

Рижков 
Доктринальний вимір стратегій зовнішньої політики США: від стримування до глобальної демократизації: автореф. дис... д-ра політ. наук: 23.00.04 / Микола Миколайович Рижков ; НАН України; Інститут світової економіки і міжнародних відносин. — К., 2007. — 47 с. — укp.

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


Індекс рубрикатора НБУВ: Ф4(7США)64 + Ф087
Шифр НБУВ: РА352561

Рубрики:

      
15.

Миколенко Д.В. 
Правоцентристські партії у політичній системі Болгарії (1899 - 1908 рр.): автореф. дис... канд. іст. наук: 07.00.02 / Д.В. Миколенко ; Харк. нац. ун-т ім. В.Н.Каразіна. — Х., 2007. — 20 с. — укp.

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

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


Індекс рубрикатора НБУВ: Т3(4БОЛ)51-4 + Ф69(4БОЛ), 82/83 +
Шифр НБУВ: РА352921

Рубрики:

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

      
16.

Рижков А.Г. 
Юридична термінологія корейської мови: структура та семантика: Автореф. дис... канд. філол. наук: 10.02.13 / А.Г. Рижков ; НАН України. Ін-т сходознавства ім. А.Кримського. — К., 2007. — 20 с. — укp.

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

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


Індекс рубрикатора НБУВ: Ш175.14-34:Х + Х. в3 +
Шифр НБУВ: РА350867

      
17.

Рижкова І.А. 
Асимптотична динаміка термопружної пластинки кармана в потоці газу: автореф. дис... канд. фіз.-мат. наук: 01.01.03 / І.А. Рижкова ; Харк. нац. ун-т ім. В.Н.Каразіна. — Х., 2008. — 19 с. — укp.

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

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


Індекс рубрикатора НБУВ: В251.630.6 + В253.330.55 +
Шифр НБУВ: РА357637

Рубрики:

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

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

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


Індекс рубрикатора НБУВ: Е522.912.18*80
Шифр НБУВ: РА361633

Рубрики:

      
19.

Рижкова Г.-П.М. 
Українська "жіноча" проза 90-х років XX - початку XXI ст.: жанрові й наративні моделі та лінгвопоетика: автореф. дис... канд. філол. наук: 10.01.01 / Г.-П.М. Рижкова ; Кіровоград. держ. ун-т ім. В.Винниченка. — Кіровоград, 2008. — 20 с. — укp.

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

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


Індекс рубрикатора НБУВ: Ш5(4УКР)6-334 +
Шифр НБУВ: РА358097

Рубрики:

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

      
20.

Рижков А.О. 
Обгрунтування параметрів функціонального діагностування теплових процесів асинхронних електродвигунів: автореф. дис... канд. техн. наук: 05.09.03 / А.О. Рижков ; Тавр. держ. агротехнол. ун-т. — Мелітополь, 2008. — 24 с. — укp.

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

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


Індекс рубрикатора НБУВ: З621.632-042-01 +
Шифр НБУВ: РА356901
...
 

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