Бази даних

Реферативна база даних - результати пошуку

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

Вид пошуку
у знайденому
Формат представлення знайдених документів:
повнийстислий
 Знайдено в інших БД:Віртуальна довідка (80)Тематичний інтернет-навігатор (20)Наукова електронна бібліотека (939)Автореферати дисертацій (5616)Книжкові видання та компакт-диски (8422)Журнали та продовжувані видання (453)
Пошуковий запит: (<.>K=ПРИКЛАД$<.>+<.>K=АДАМАР$<.>)
Загальна кількість знайдених документів : 44240
Представлено документи з 1 до 20
...

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

Петрашкевич В.  
6-я научная конференция "Оболочечные конструкции. Теория и приложения" / В. Петрашкевич, В. А. Заруцкий // Приклад. механика. - 1999. - 35, № 4. - С. 112. - рус.


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

Рубрики:

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



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

Tkachov V. I. 
A method for prevention the premature failure of power plants running on hydrogen as working medium = Спосіб запобігання передчасного руйнування енергетичного устаткування, що використовує водень як робоче тіло / V. I. Tkachov, V. I. Kholodnyi, N. S. Goncharov, N. K. Meshkov, V. S. Rachuk, A. V. Shostak // Фіз.-хім. механіка матеріалів. - 1998. - № 4. - С. 53-56. - Библиогр.: 9 назв. - англ.

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


Індекс рубрикатора НБУВ: З16-082.04

Рубрики:

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

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

Usenko A. S. 
A Modified Langevin Approach to the Theory of Fluctuations in Bounded Media = Модифікований ланжевенівський підхід до теорії флуктуацій в обмежених середовищах / A. S. Usenko, I. P. Yakimenko // Укр. фіз. журн. - 1998. - 43, № 12. - С. 1552-1560. - Библиогр.: 35 назв. - англ.

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


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

Рубрики:

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

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

Maslennikov O.  
Approaches to Designing and Examples of Digital Circuits Based on the Current-Mode Gates = Підходи до проектування та приклади цифрових пристроїв, що побудовані на токових логічних елементах / O. Maslennikov // Реєстрація, зберігання і оброб. даних. - 2001. - 3, № 2. - С. 84-98. - Библиогр.: 9 назв. - англ.

Висвітлено проблему проектування цифрових пристроїв на базі токових елементів - нових КМОП логічних елементів, що споживають однаковий струм як у станах логічного "0" чи "1", так і в момент переходу з одного стану в інший. Завдяки таким властивостям, токові елементи не генерують перешкод (так званого цифрового шуму), і тому можуть бути розмішені на одному кристалі з аналоговими пристроями, що утворює разом однокристальну аналого-цифрову СБИС-систему (англ. System On Chip). Досліджено логічні властивості токових елементів. Показано, що "алгебра" токових елементів відрізняється від алгебри Буля, і крім того, є багатозначною. Запропоновано способи мінімізації логічних функцій в "алгебрі" токових елементів. Наведено приклади "токових прототипів" деяких стандартних цифрових пристроїв: суматорів, тригерів, комутаторів та ін. Отримані пристрої мають меншу кількість логічних елементів (до 35 %) у порівнянні з їх аналогами, побудованими на звичайних логічних елементах КМОП.


Ключ. слова: mixed analog-digital system, switching noise, current-mode gate, current-mode logic (algebra), logical function minimization, combinatorial circuit, adder
Індекс рубрикатора НБУВ: З972-02

Рубрики:

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

      
5.

Szajna J.  
Artificial intelligence methods in computer aided design of digital circuits / J. Szajna // Электрон. моделирование. - 2001. - 23, № 4. - С. 109-115. - Библиогр.: 9 назв. - англ.

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


Ключ. слова: artificial intelligence, digital circuits, computer aided design
Індекс рубрикатора НБУВ: З970.5-018

Рубрики:

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

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

Thandapani E.  
Asymptotic and Oscillatory Behavior of Second Order Neutral Delay Difference Equations / E. Thandapani, M. Maria Susai Manuel // Электрон. моделирование. - 1998. - 20, № 5. - С. 10-15. - Библиогр.: 12 назв. - англ.

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


Ключ. слова: Neutral delay difference equations, Oscillatory solutions, weakly oscillatory solutions
Індекс рубрикатора НБУВ: В161.612

Рубрики:


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

Lebed S.  
Design and Expected Performance of a New Compact Nuclear Microprobe at the Institute of Nuclear Physics in Cracow = Конструкція та очікувані можливості нового компактного ядерного мікрозонда Краківського інституту ядерної фізики / S. Lebed, Z. Cioch, A. Rys, Z. Stachura, L. Zrodlowski, M. Cholewa, D. Jamieson, G. Legge // Укр. фіз. журн. - 1999. - 44, № 8. - С. 937-941. - Библиогр.: 27 назв. - англ.

Перший у світі компактний універсальний скануючий ядерний мікрозонд з очікуваною субмікронною роздільною здатністю збудовано на базі 3 МВ прискорювача типу Ван де Грааффа, в Інституті ядерної фізики (ІЯФ) м.Краків, Польща. Розділений "російський" квадруплет магнітних квадрупольних лінз входить до складу оптимізованої фокусуючої системи мікрозонда. У роботі висвітлено очікувані можливості та деякі особливості конструкції мікрозонда. ІЯФ та Інститут прикладної фізики (м.Суми, Україна) планують проводити спільні дослідження на базі цього приладу.


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

Рубрики:

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

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

Petrov E. G. 
Distant Electron Tunneling Controlled by External Fields in Molecular Nanostructures = Дистанційне тунелювання електрона в молекулярних наноструктурах, кероване зовнішніми полями. / E. G. Petrov // Укр. фіз. журн. - 1998. - 43, № 12. - С. 1630-1649. - Библиогр.: 89 назв. - англ.

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


Індекс рубрикатора НБУВ: В386.104 + В377.12

Рубрики:

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

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

Cabanska-Placzkiewicz K.  
Dynamic Analysis of the Viscoelastic Sandwich Beams = Динамический анализ вязкоупругих слоистых балок / K. Cabanska-Placzkiewicz // Приклад. механика. - 2000. - 36, № 5. - С. 122-130. - Библиогр.: 23 назв. - англ.

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


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

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

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

Шевчук О. Б. 
E-Ukraine. Інформаційне суспільство: бути чи не бути / О. Б. Шевчук, О. П. Голобуцький. - К. : ЗАТ "Атлант UMS", 2001. - 102 c. - Бібліогр.: 70 назв. - укp.

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


Індекс рубрикатора НБУВ: Ф018 + А6

Рубрики:

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

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

Chechkin A. V. 
Fractional kinetic equations for superdiffusion = Дробові кінетичні рівняння для супердифузії / A. V. Chechkin // Укр. фіз. журн. - 2000. - 45, № 12. - С. 1491-1497. - Библиогр.: 26 назв. - англ.

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


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

Рубрики:

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

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

Monakhov V. S. 
Gold-bearing factors of the Middle Dnieper granite-greenstone Area of Ukrainian Shield (for Sursk greenstone structure) = Факторы золотоносности Среднеприднепровской гранит-зеленокаменной области (для Сурской зеленокаменной структуры) / V. S. Monakhov, V. V. Sukach, O. V. Kostenko, M. M. Malykh // Минерал. журн. - 1999. - 21, № 4. - С. 20-31. - Библиогр.: 16 назв. - англ.

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


Індекс рубрикатора НБУВ: Д451(45Укр)41 + Д59(45Укр)451

Рубрики:

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

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

Grabias М.  
Influence of damage on stress concentration factors = Вплив пошкоджень на коефіцієнти концентрації напружень / М. Grabias, М. Chrzanowski // Фіз.-хім. механіка матеріалів. - 1998. - 34, № 5. - С. 91-96. - Библиогр.: 4 назв. - англ.

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


Ключ. слова:
Індекс рубрикатора НБУВ: В251.109.018

Рубрики:

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

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

Bressi G.  
Infrared emission induced by electrons moving in noble gases and liquids = Інфрачервоне випромінювання, індуковане рухом електронів у інертних газах та рідинах / G. Bressi, G. Carugno, E. Conti, C. Del Noce, D. Iannuzzi, A. F. Borghesani // Наук. вісн. Ужгород. ун-ту. Сер. Фізика. - 2000. - Вип. 8, ч. 1. - С. 21-27. - Библиогр.: 15 назв. - англ.

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


Індекс рубрикатора НБУВ: В349 + В365.553

Рубрики:

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

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

Internet-вузол Національної бібліотеки України імені В.І.Вернадського: http://www.nbuv.gov.ua/ / уклад.: Л. Й. Костенко, А. О. Чекмарьов; НАН України. Нац. б-ка України ім. В.І.Вернадського. - К., 1999. - 126 c. - укp.

Представлено основні Web-сторінки Internet-вузла Національної бібліотеки України ім. В.І.Вернадського, на якому встановлено електронні інформаційні ресурси загальним обсягом 1 GB. Наведено довідкову інформацію про Бібліотеку (загальні відомості, історія, структура, будівля, фонди, пошуковий апарат, читальні зали, публікації, режим роботи, телефони), що була підготовлена співробітниками ряду підрозділів для Web-вузла. Висвітлено дані про структуру та обсяг бібліографічних, реферативних і повнотекстових баз даних Бібліотеки за станом на кінець 1999 р. Розглянуто приклади інформаційного пошуку в електронному каталозі, базі даних "Реферати наукових видань України" та повнотекстовому банку авторефератів дисертацій. Представлено аркуші Львівського "Апостола" (1574 р.), он-лайнову версію і CD-ROM-копію якого створено у 1999 р., а також підбірку електронних матеріалів для бібліотекарів, важливим елементом якої є зібрання нормативних актів України у галузі бібліотечної справи та суміжних галузях. Зроблено посилання на бібліотечно-орієнтовані ресурси Internet (Web-сервери національних бібліотек та українських книгозбірень, колекції електронних книг і текстів, он-лайнові журнали та газети, пошукові сервери Internet). Розкрито ключові положення започаткованого проекту "Національна електронна бібліотека" (мета та завдання проекту, технологія створення, напрями й організація робіт, учасники проекту, отримані результати), запропоновано форми подання документів до електронної бібліотеки.


Індекс рубрикатора НБУВ: Ч734(4УКР)751.1 + Ч734(4УКР)84

Рубрики:

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

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

Jaroszewicz J.  
Investigation of axial loads on transverse vibrations of vertical cantilever of variable parameters = Исследование поперечных колебаний вертикальной консоли, нагруженной осевыми силами / J. Jaroszewicz, L. Zoryj // Приклад. механика. - 2000. - 36, № 9. - С. 129-137. - Библиогр.: 15 назв. - англ.

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


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

Рубрики:

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

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

Baryakhtar I. V. 
Kinetic and Transport Equations for Localized Excitations in the Sine-Gordon Equation = Кінетичні властивості локалізованих збуджень у моделі синус - Гордона / I. V. Baryakhtar, V. G. Baryakhtar, E. N. Economou // Укр. фіз. журн. - 1999. - 44, № 8. - С. 1040-1052. - Библиогр.: 12 назв. - англ.

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


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

Рубрики:

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

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

Seneta E.  
M. V. Ostrogradsky as probabilist = М. В. Остроградський як імовірнісник / E. Seneta // Укр. мат. журн. - 2001. - 53, № 8. - С. 1038-1047. - Библиогр.: 17 назв. - англ.

Наведено огляд імовірнісних досліджень М. В. Остроградського (1801 - 1862рр.) під іншим кутом зору, ніж у статті Б. В. Гнєденка "О работах М. В. Остроградского по теории вероятностей" (1951р). Статистична техніка М.В. Остроградського, яка пов'язана з використанням теореми Байєса разом із принципом недостатньої обгрунтованості, є близькою до відповідної техніки Лапласа в його книзі "Theorie analytique des probabilites". М. В. Остроградський уточнює або модифікує деякі висновки Лапласа прикладної спрямованості. Більш вражаючі результати, що з'явилися до відповідних робіт Пуассона, стосуються вибірки за ознаками без повернення зі скінченної популяції та ймовірності помилки суду присяжних.


Індекс рубрикатора НБУВ: В171д(4Укр)

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

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

Borovik O. O. 
Measurements of excitation functions for nonradiatively decaying autoionizing states = Вимірювання функцій збудження автоіонізаційних станів, що розпадаються безвипромінювально / O. O. Borovik // Укр. фіз. журн. - 2000. - 45, № 10. - С. 1270-1274. - Библиогр.: 23 назв. - англ.

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


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

Рубрики:

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

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

Akbarov S. D. 
Mechanics of Composite Materials with Curved Structures and Elements of Constructions (review) = Механика композитных материалов с искривленной структурой и элементов конструкций(Обзор) / S. D. Akbarov, A. N. Guz', N. Yahnioglu // Приклад. механика. - 1998. - 34, № 11. - С. 3-15. - Библиогр.: 53 назв. - англ.

Розглядаються результати досліджень, які проведені за останні шість років і відносяться до механіки композитів та елементів конструкцій з них у випадку матеріалів з викривленими структурами. Дослідження виконані в рамках моделі кусково-однорідного середовища та континуальної теорії, запропонованої раніше С.А.Акбаровим та О.М.Гузем, із застосуванням тривимірної постановки.


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

Рубрики:

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

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