Бази даних

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

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

Вид пошуку
у знайденому
Сортувати знайдені документи за:
авторомназвоюроком видання
Формат представлення знайдених документів:
повнийстислий
 Знайдено в інших БД:Віртуальна довідка (11)Тематичний інтернет-навігатор (8)Наукова електронна бібліотека (72)Реферативна база даних (2949)Книжкові видання та компакт-диски (1008)Журнали та продовжувані видання (208)
Пошуковий запит: (<.>K=ПАМ’ЯТНИК$<.>+<.>K=АРХІТЕКТУРИ$<.>)
Загальна кількість знайдених документів : 780
Представлено документи з 1 до 20
...

      
1.

Глуцький В.І. 
Автоматизована система управління повсякденною діяльністю вищого військового навчального закладу на базі локальної обчислювальної мережі: Автореф. дис... канд. техн. наук: 05.13.06 / В.І. Глуцький ; Наук.-вироб. корпор. "Київ. ін-т автоматики". — К., 2001. — 19 с. — укp.

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

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


Індекс рубрикатора НБУВ: Ц4,8(4УКР)390.1-2с51
Шифр НБУВ: РА312897 Пошук видання у каталогах НБУВ 

Рубрики:

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

      
2.

Греков Є.А. 
Авторське право на твори архітектури: автореф. дис... канд. юрид. наук: 12.00.03 / Є.А. Греков ; НДІ приват. права і підприємництва Акад. прав. наук України. — К., 2007. — 20 с. — укp.

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

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


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

Рубрики:

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

      
3.

Соколовська О. М. 
Адміністративна відповідальність за правопорушення в галузі житлово-комунального господарства: автореф. дис. ... канд. юрид. наук : 12.00.07 / О. М. Соколовська ; Нац. акад. внутр. справ. — К., 2011. — 18 с. — укp.

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

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


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

Рубрики:

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

      
4.

Шарипін А.В. 
Антропологізм і когнітивна семантика: автореф. дис... канд. філос. наук: 09.00.02 / А.В. Шарипін ; Київ. нац. ун-т ім. Т.Шевченка. — К., 2008. — 16 с. — укp.

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

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


Індекс рубрикатора НБУВ: Ю216.26 + Ю252:Ш103.2 + Ш103.1 + Ш100.33 +
Шифр НБУВ: РА361904

Рубрики:

      
5.

Бокало І. Ю. 
Архітектура втрачених церков м. Львова: автореф. дис. ... канд. архіт. : 18.00.01 / І. Ю. Бокало ; Нац. ун-т "Львів. політехніка". — Л., 2009. — 18 с. — укp.

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

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


Індекс рубрикатора НБУВ: Щ117.166(4УКР-2Льв) + Щ113(4УКР-2Льв.)927.166
Шифр НБУВ: РА369373 Пошук видання у каталогах НБУВ 

Рубрики:

      
6.

Мер'є О.В. 
Архітектура дерев'яних римо-католицьких храмів Галичини другої половини ХVII - першої половини ХХ століть: автореф. дис... канд. архітектури: 18.00.01 / О.В. Мер'є ; Нац. ун-т "Львів. політехніка". — Л., 2009. — 20 с. — укp.

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

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


Індекс рубрикатора НБУВ: Щ117.166.5(4УКР-9ГАЛ)4/6 +
Шифр НБУВ: РА363747

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

      
7.

Гой Б.В. 
Архітектура єврейських театрів України. Принципи типології та проектування: Автореф. дис... канд. арх. наук: 18.00.02 / Б.В. Гой ; Нац. ун-т "Львів. політехніка". — Л., 2006. — 20 с. — укp.

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

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


Індекс рубрикатора НБУВ: Щ117.16(4УК=ЄВР) + Н712.42-02 +
Шифр НБУВ: РА348785

Рубрики:

      
8.

Вечерський В.В. 
Архітектура й містобудування України доби Гетьманщини (Особливості становлення і розвитку. 1648 - 1781 рр.): Автореф. дис... канд. архітектури: 18.00.01 / В.В. Вечерський ; Нац. акад. образотв. мистец. і архіт. — К., 2001. — 19 с. — укp.

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

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


Індекс рубрикатора НБУВ: Щ113(4УКР)331-2 + Щ113(4УКР)4-2
Шифр НБУВ: РА312066 Пошук видання у каталогах НБУВ 

Рубрики:

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

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

Мельник Н.В. 
Архітектура комплексів громадсько-житлової забудови міст півдня України кінця XVIII - початку ХХ ст. (на прикладі міст Херсону, Миколаєва, Одеси): автореф. дис... канд. архіт: 18.00.01 / Н.В. Мельник ; Нац. ун-т "Львів. політехніка". — Л., 2007. — 23 с. — укp.

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

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


Індекс рубрикатора НБУВ: Н82(4УКР-9ПІВ) + Щ113(4УКР-9ПІВ)6 +
Шифр НБУВ: РА352763

Рубрики:

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

      
10.

Чень Л.Я. 
Архітектура монастирів чину Святого Василія Великого в Україні та їх місце в розвитку української архітектури XVII - XX століття: Автореф. дис... канд. архітектури: 18.00.01 / Л.Я. Чень ; Нац. ун-т "Львів. політехніка". — Л., 2007. — 20 с. — укp.

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

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


Індекс рубрикатора НБУВ: Щ113(4УКР)4/6-2 + Щ117.166(4УКР) +
Шифр НБУВ: РА352520

Рубрики:

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

      
11.

Бойко О. Г. 
Архітектура мурованих синагог Правобережної України XVI - XX ст.: автореф. дис. ... канд. архіт. : 18.00.01 / О. Г. Бойко ; Нац. ун-т "Львів. політехніка". — Л., 2010. — 20 с. — укp.

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

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


Індекс рубрикатора НБУВ: Щ117.166(4УКР-9ПРА=ЄВР)4/6
Шифр НБУВ: РА375910 Пошук видання у каталогах НБУВ 

Рубрики:

      
12.

Рибчинський О.В. 
Архітектура периметральної забудови ринкових площ міст та містечок Галичини у кінці XVIII - на початку ХХ століть: Автореф. дис... канд. архітектури: 18.00.01 / О.В. Рибчинський ; Нац. ун-т "Львів. політехніка". — Львів, 2000. — 18 с. — укp.

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

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


Індекс рубрикатора НБУВ: Щ113(4УКР331)5/6 + Н820.97
Шифр НБУВ: РА311560 Пошук видання у каталогах НБУВ 

Рубрики:

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

Слєпцов О.С. 
Архітектура цивільних будівель на основі відкритих збірних конструктивних систем: Автореф. дис... д-ра архіт.: 18.00.02 / О.С. Слєпцов ; Київ. нац. ун-т буд-ва і архіт. — К., 1999. — 35 с. — укp.

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

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


Індекс рубрикатора НБУВ: Н71-021.5

Рубрики:

      
14.

Конопльова О.В. 
Архітектурна ідея та засоби її формування в творчій діяльності архітектора: Автореф. дис... канд. архітектури: 18.00.01 / О.В. Конопльова ; Київ. нац. ун-т буд-ва і архіт. — К., 2002. — 18 с. — укp.

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

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


Індекс рубрикатора НБУВ: Щ110.0/2 +
Шифр НБУВ: РА322353

Рубрики:

      
15.

Шубович С.О. 
Архітектурна композиція в світлі міфопоетики: Автореф. дис... д-ра архіт: 18.00.01 / С.О. Шубович ; Харк. держ. техн. ун-т буд-ва та архіт. — Х., 1999. — 34 с. — укp.

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

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


Індекс рубрикатора НБУВ: Щ110.5 + Щ110.17 + Щ113(0) + Ю812.451.1 + Ш200.045

Рубрики:

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

      
16.

Шубович 
Архітектурна композиція в світлі міфопоетики: Автореф. дис... д-ра архітектури: 18.00.01 / Світлана Олександрівна Шубович ; Харківський держ. технічний ун-т будівництва та архітектури. — Х., 1999. — 34 с. — укp.

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


Індекс рубрикатора НБУВ: Щ110.5 + Щ110.17 + Щ113(0) + Ю812.451.1 + Ш200.045
Шифр НБУВ: РА306508

Рубрики:

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

      
17.

Березіна І.В. 
Архітектурна спадщина України у творчості Наполеона Орди: іконографія та принципи використання: автореф. дис... канд. архітектури: 18.00.01 / І.В. Березіна ; Нац. акад. образотворч. мистец. і архіт. — К., 2007. — 19 с. — укp.

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

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


Індекс рубрикатора НБУВ: Щ103(4УКР)6-8 Орда Н. + Щ103(4УКР)-390 + Щ154.761 +
Шифр НБУВ: РА352634

Рубрики:

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

      
18.

Фондорко О.Є. 
Архітектурно-композиційна єдність різнонаправлених осьових структур: Автореф. дис... канд. архітектури: 18.00.01 / О.Є. Фондорко ; Харк. держ. техн. ун-т буд-ва та архіт. — Х., 2001. — 18 с. — укp.

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

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


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

Рубрики:

      
19.

Соснова Н.С. 
Архітектурно-ландшафтний уклад садибно-паркових комплексів Галичини (кінця ХVІІІ - початку ХХ століть): Автореф. дис... канд. архіт.: 18.00.01 / Н.С. Соснова ; Нац. ун-т "Львів. політехніка". — Л., 2003. — 21 с. — укp.

Виявлено та введено до реєстру 281 садибно-парковий комплекс кінця XVIII ст. та 450 - середини XIX ст., що дало змогу доповнити загальну картину розвитку європейського садово-паркового мистецтва та визначити особливості творення ландшафтної архітектури Галичини. Вперше введено до наукового обігу документальні плани садибно-паркових комплексів сіл Галичини середини XIX ст. (116 об'єктів). Розкрито закономірності функціонального формування простору садибно-паркового комплексу та його залежність від ландшафтної ситуації. Виявлено особливості формування архітектурно-ландшафтного укладу садибно-паркових комплексів Галичини кінця XVIII - початку XX ст.

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


Індекс рубрикатора НБУВ: Щ113(4УКР331)5 + Щ118.3(4УКР331)5 +
Шифр НБУВ: РА323286

Рубрики:

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

Ель-Саббаг К.І. 
Архітектурно-планувальна організація житлових висотних будівель в Лівані (на прикладі Бейрута): автореф. дис... канд. архітектури: 18.00.02 / К.І. Ель-Саббаг ; Київ. нац. ун-т буд-ва і архіт.. — К., 2009. — 20 с. — укp.

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

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


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

Рубрики:
...
 

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