Пошуковий запит: (<.>U=З970.6$<.>) |
Загальна кількість знайдених документів : 242
Представлено документи з 1 до 20
|
| |
|
| | |
|
1. |
Сирота О.П. Автоматизація аналізу несуперечності в задачах верифікації при проектуванні автоматизованих систем обробки інформації: автореф. дис... канд. техн. наук: 05.13.06 / О.П. Сирота ; Нац. техн. ун-т України "Київ. політехн. ін-т". — К., 2009. — 20 с. — укp.Запропоновано концепцію автоматизованої структурної верифікації ACOI та бізнес-правил її проектування, що базується на розширенні процесу верифікації етапом аналізу несуперечності структурних моделей системи та моделей бізнес-правил, що дозволяє підвищити якість ACOI у процесі її створення/реінжинірингу. Розроблено нову модель подання знань (СР-модель), яка базується на неоднорідній неієрархічній семантичній мережі загального характеру, без початкового виділення типів відношень, розширена функціями синтаксичного та семантичного контролю та правилами виведення нових зв'язків. Дана модель відрізняється від інших наявністю засобів для подання у вигляді семантичної мережі інших формалізмів (множин, формул логіки предикатів, об'єктних моделей) і використовує подання знань про мультиформальні моделі для аналізу їх несуперечності. Показано, що застосування СР-моделі до задачі дослідження дозволяє на базі моделей ACOI та бізнес-правил проаналізувати їх відповідність. Вперше розроблено математичний метод аналізу несуперечності ACOI та бізнес-правил, який полягає в об'єднанні моделей ACOI та бізнес-правил у мультиформальну інтегральну модель, зведенні компонентів інтегральної моделі до теорії множин і багатосортної логіки першого порядку, перевірці відповідності елементів і виразів теорії множин комплексній системі правил, а також виконуваності формул багатосортної логіки шляхом застосування модифікованого для цієї логіки методу побудови множини Хінтікки. До комплексної системи правил для теорії множин включено аксіоми Цермело - Френкеля й ішні правила, які гарантують можливість побудови алгебричної системи. Скачати повний текст
Індекс рубрикатора НБУВ: З970.6-02 + Шифр НБУВ: РА368244
Рубрики:
|
|
| | |
|
2. |
Трипольська В.В. Автоматизована ідентифікація підписів як бінарних зображень у просторі ознак перетворення Радона на основі нейромережевого підходу: Автореф. дис... канд. техн. наук: 05.13.06 / В.В. Трипольська ; Херсон. держ. техн. ун-т. — Херсон, 2003. — 17 с.: рис. — укp.Запропоновано підхід від бінарного зображення підпису до напівтонового на основі перетворення Радона, що дає характерні "яскраві" точки для кожного екземпляра. Розроблено методи виділення характерних ознак підпису, які визначають його за автоматизованої ідентифікації (істина або підробка), у просторі вейвлет-перетворення, псевдофазовій системі координат, розкладання у сингулярних базисах; вектор параметрів, який інваріантний до повороту, обертання та зсуву на основі моментів Ху та Церніке. Для зменшення розміру простору ознак запропоновано створення карти підпису. Розроблено програмне забезпечення для вирішення розглянутої задачі. Наведено методичну та алгоритмічну базу автоматизованої ідентифікації та аналізу бінарних підписів на основі розроблених інтегральних методів виділення ознак, ефективність якої обгрунтовано теоретично та підтверджено впровадженнями. Скачати повний текст
Індекс рубрикатора НБУВ: З970.632.4 + Х894.15в601 + Шифр НБУВ: РА324827
Рубрики:
|
|
| | |
|
3. |
Порхун О.В. Автоматична класифікація багатовимірних об'єктів із застосуванням апарату нейронних мереж: автореф. дис... канд. фіз.-мат. наук: 01.05.01 / О.В. Порхун ; Київ. нац. ун-т ім. Т.Шевченка. — К., 2009. — 19 с. — укp.Досліджено проблему автоматичної класифікації багатовимірних об'єктів, а також розроблено нові методи й алгоритми для вирішення проблем, які виникають під час класифікації та кластеризації корпусу об'єктів, представлених числовими ознаками. Запропоновано метод для визначення числа кластерів у разі кластеризації корпусу об'єктів нейронною мережею Кохонена з застосуванням критерію якості одержаних розбиттів і методу ідеальної точки. Запропоновано метод побудови вектора ознак, розподілених за різнорідними групами, для класифікації об'єктів, представлених набором ознак, розподілених за різнорідними групами. Встановлено й обгрунтовано оцінки складності алгоритму пошуку оптимальної вибірки з урахуванням випадків наявності у вибірці прикладів з нерівномірним розподілом груп ознак. З застосуванням нейронної мережі прямого розповсюдження та запропонованого методу побудови вектора ознак розроблено автоматичну систему кластеризації текстів з використанням запропонованого методу визначення числа кластерів. Для розв'язання задач атрибуції художніх творів застосовано автоматичні системи класифікації та кластеризації. Виявлено ефективність розроблених систем для класифікації великих масивів текстів значних об'ємів. Скачати повний текст
Індекс рубрикатора НБУВ: З810.22 + З970.620 + Шифр НБУВ: РА364575
Рубрики:
|
|
| | |
|
4. |
Гарячевська Адаптивна інформаційна технологія перетворення інформації в спеціалізованих автоматизованих системах: автореф. дис... канд. техн. наук: 05.13.06 / Ірина Василівна Гарячевська ; Харківський національний ун-т радіоелектроніки. — Х., 2008. — 19 с. — укp. Скачати повний текст
Індекс рубрикатора НБУВ: З970.632 Шифр НБУВ: РА359420
|
|
| | |
|
5. |
Швець О.Ф. Адаптивні підходи цифрової обробки даних методами псевдоінверсії та структурно-параметричної оптимізації: Автореф. дис... канд. фіз.-мат. наук: 01.05.04 / О.Ф. Швець ; Київ. нац. ун-т ім. Т.Шевченка. — К., 2006. — 23 с. — укp.Удосконалено адаптивні підходи щодо апроксимації експериментальних даних на базі методів псевдоінверсії та структурно-параметричної оптимізації. Побудовано динамічні моделі у формі систем звичайних диференціальних і різницевих рівнянь відносно параметрів, які визначають структуру апроксимуючої функції. Досліджено питання збіжності неперервних і дискретних ітераційних схем з уточнення параметрів-ознак для апроксимації сигналів у реальному часі. Сформульовано та доведено теореми про збіжність, які грунтуються на другому методі Ляпунова та на нових результатах у галузі практичної стійкості. Одержано оцінки для аналізу збіжності, які пов'язують початкове наближення, точність апроксимації на заданому відрізку часу та його довжину. Для структурно-параметричного представлення апроксимуючих функцій розроблено нові підходи побудови ортогональних перетворень, які враховують структуру одержаних експериментальних даних. Здійснено практичне впровадження запропонованих методів й алгоритмів для розв'язання деяких важливих задач цифрової обробки сигналів, розпізнавання та класифікації голосової інформації. Скачати повний текст
Індекс рубрикатора НБУВ: З970.60-01 + Шифр НБУВ: РА348057
Рубрики:
|
|
| | |
|
6. |
Брусенцев В.О. Алгебро-логічні моделі формалізації семантики речень та їх застосування в інформаційних системах штучного інтелекту: Автореф. дис... канд. техн. наук: 05.13.23 / В.О. Брусенцев ; Харк. нац. ун-т радіоелектрон. — Х., 2003. — 19 с.: рис. — укp.Запропоновано математичний опис частин мови у вигляді формул алгебри кінцевих предикатів і предикатних операцій. Розроблено алгебро-логічну синтаксичну модель на базі словосполучень, а також модель семантики префіксально-суфіксального словотворення. Запропоновано діалогову систему аналізу та синтезу речень, яку впроваджено до навчального процесу. Наведені алгебро-логічні моделі аналізу покладено до основи підсистеми обробки інформації під час проведення морфометричних досліджень на базі префіксально-суфіксальної обробки слів і словосполучень з використанням відношень і значень, які виникають. Скачати повний текст
Індекс рубрикатора НБУВ: З970.66 + Шифр НБУВ: РА324432
Рубрики:
|
|
| | |
|
7. |
Мельнікова Р.В. Алгебрологічні моделі морфології та їх застосування в логічних мережах: Автореф. дис... канд. техн. наук: 05.13.23 / Р.В. Мельнікова ; Харк. нац. ун-т радіоелектрон. — Х., 2006. — 19 с. — укp.Уперше розроблено методи схемної реалізації (СР) предикатних операцій заміни, перестановки, підстановки й обчислення значень кванторів , який дозволяє підвищити швидкість обробки символьної інформації у логічних мережах (ЛМ) за рахунок паралельних обчислень, метод СР відображень з метою реалізації паралельної потактної роботи ЛМ за рахунок переходу від алгебрологічного запису відображень до його вигляду, придатного для апаратної реалізації. Наведено алгебрологічний метод загальної роботи ЛМ, заснований на послідовному виконанні паралельних обчислень для підвищення продуктивності систем штучного інтелекту. Запропоновано алгебрологічну модель відмінювання повних неприсвійних прикметників російської мови, яка за рахунок додатково введених фонетичних ознак словоформ і зв'язків між ними, дозволяє використовувати її для високошвидкісної обробки звукової інформації у ЛМ. Скачати повний текст
Індекс рубрикатора НБУВ: з970.66-01 + Шифр НБУВ: РА342770
Рубрики:
|
|
| | |
|
8. |
Глинчук Л. Я. Алгоритми архівації на основі системи числення Штерна-Броко: автореф. дис. ... канд. фіз.-мат. наук : 01.05.03 / Л. Я. Глинчук ; Київ. нац. ун-т ім. Т. Шевченка. — К., 2010. — 19 с. — укp.Досліджено загальні питання теорії стиснення. Розроблено та реалізовано нові алгоритми стиснення та відновлення для текстової інформації, двійкових послідовностей і бінарних зображень. Розглянуто результати роботи алгоритму стиснення з ключем: чисте стиснення, стиснення з ключем і шифрування. Проведено порівняння з відомими алгоритмами шифрування за основними характеристиками шифрів і з алгоритмами стиснення за коефіцієнтом стиснення. Скачати повний текст
Індекс рубрикатора НБУВ: З970.6-013.44 Шифр НБУВ: РА375260 Пошук видання у каталогах НБУВ
Рубрики:
|
|
| | |
|
9. |
Костюкова Н.С. Алгоритми і апаратно-програмні засоби підвищення ефективності пошуку зображень в графічних базах даних: Автореф. дис... канд. техн. наук: 05.13.13 / Н.С. Костюкова ; Держ. вищ. навч. заклад "Донец. нац. техн. ун-т". — Донецьк, 2006. — 20 с. — укp.Досліджено питання розробки модифікованого алгоритму пошуку зображень у графічних базах даних і спеціалізованих апаратно-програмних засобів для ефективної реалізації цього алгоритму. Проведено аналіз існуючих систем, що розв'язують задачу пошуку зображень у базах даних, виконано їх класифікацію за певними ознаками. Обгрунтовано необхідність у модифікованому алгоритмі й архітектурному прискоренні його виконання. Запропоновано модифіковані алгоритми пошуку, що дозволяють виконувати пошук зображень у базі даних за текстурними ознаками, а також за колірним змістом з урахуванням і без урахування розташування кольорів всередині зображення. Для опису вмісту зображення застосовуються колірні та текстурні гістограми, а також 2D-колірні гістограми. Для порівняння гістограмних ознак вмісту зображень використовується коефіцієнт їх кореляції, що робить можливим обмеження набору зображень, пропонованих користувачу як результати пошуку. Створено аналітично обгрунтовану спеціалізовану обчислювальну систему для реалізації наведеного алгоритму. Виконано математичне й імітаційне моделювання роботи запропонованої системи, яке підтвердило правильність прийнятих рішень. Скачати повний текст
Індекс рубрикатора НБУВ: З970.61 + Шифр НБУВ: РА345934
Рубрики:
|
|
| | |
|
10. |
Івасенко І.Б. Алгоритми локально-адаптивної фільтрації на основі робастних оцінок для обробки зображень: Автореф. дис...канд. техн. наук: 05.11.16 / І.Б. Івасенко ; НАН України. Фіз.-механ. ін-т ім. Г.В.Карпенка. — Львів, 2000. — 16 с.: рис. — укp.Розроблено та досліджено локально-адаптивні алгоритми усунення шумів зі змішаним законом розподілу зі зображень. Запропоновані алгоритми базуються на кусково-лінійній моделі функції яскравості зображення та використовують апарат математичної морфології для моделювання локальних об'єктів зображення. Розроблений алгоритм робастної оцінки локальних характеристик зображення, зокрема, коефіцієнтів лінійної регресії та локальної дисперсії, базується на критерії максимуму апостеріорної ймовірності. Скачати повний текст
Індекс рубрикатора НБУВ: З970.632-017.3 Шифр НБУВ: РА309462 Пошук видання у каталогах НБУВ
Рубрики:
|
|
| | |
|
11. |
Марченко О.О. Алгоритми семантичного аналізу природномовних текстів: Автореф. дис... канд. фіз.-мат. наук: 01.05.01 / О.О. Марченко ; Київ. нац. ун-т ім. Т.Шевченка. — К., 2005. — 17 с. — укp.Розроблено ефективні методи семантичного аналізу та смислової обробки природномовних текстів. На підставі результатів дослідження сучасних методів семантичної обробки текстів сформульовано концептуальний підхід щодо контекстного асоціативно-семантичного аналізу природної мови, для реалізації якого створено нові та модифіковано існуючі методи й алгоритми та розроблено програмне забезпечення. Відзначено, що новий підхід створено способом моделювання природномовного контексту за допомогою аналізу семантично близьких концептів в онтологічних семантичних базах знань з застосуванням алгоритмів пошуку найкоротших шляхів у графі. Доведено, що процес семантичного аналізу стає більш потужним та ефективним і підпорядковує інші рівні лінгвістичної обробки тексту. Створено алгоритми семантичного білінгвістичного аналізу на підставі використання мультилінгвістичної онтології для смислового перекладу природномовних текстів. Скачати повний текст
Індекс рубрикатора НБУВ: З970.66 + Шифр НБУВ: РА336789
Рубрики:
|
|
| | |
|
12. |
Шаталова Ю.Г. Алгоритмізація основних етапів інформаційного моделювання предметної області: Автореф. дис... канд. техн. наук: 05.13.06 / Ю.Г. Шаталова ; НАН України. Ін-т пробл. мат. машин і систем. — К., 2003. — 16 с. — укp.Розроблено методичне, алгоритмічне і програмне забезпечення процесу розробки інформаційної моделі організації у вигляді системи реляційних баз даних. Представлено методи та алгоритми, що дають змогу автоматизувати процес проектування бази даних. Запропоновано метод маніпулювання функціональними залежностями, заснований на матричному представленні булевих функцій. Суть методу полягає в можливості зіставлення булевої функції заперечення імплікації кожній функціональній залежності, а множині функціональних залежностей - диз'юнктивну функцію. Розроблений метод дає змогу розв'язувати задачі, що виникають у процесі проектування бази даних. Метод легко програмується та досить наочний. Розроблено алгоритм пошуку всіх потенційних ключів відношення, заснований на запропонованому методі маніпулювання функціональними залежностями, а також алгоритм переходу від діаграми "сутність - зв'язок" до відношень реляційної бази даних. Розроблено програми, які реалізують запропоновані алгоритми та методи. Наведено методику контролю та тестування проекту бази даних. Скачати повний текст
Індекс рубрикатора НБУВ: З970.611-02 + Шифр НБУВ: РА324203
Рубрики:
|
|
| | |
|
13. |
Васюхін М.І. Алгоритмічні і програмно-апаратні методи та засоби побудови інтерактивних геоінформаційних комплексів оперативної взаємодії: Автореф. дис... д-ра техн. наук: 05.13.13 / М.І. Васюхін ; НАН України. Ін-т кібернетики ім. В.М.Глушкова. — К., 2002. — 35 с. — укp.Знайдено архітектурно-структурні розв'зання, алгоритми та програмно-апаратні засоби, що забезпечують у рамках комплексів оперативної взаємодії в реальному часі аналіз, обробку та відображення просторових, часових, функціональних та інформаційних характеристик динамічних об'єктів. Обгрунтовано алгоритмічні та програмно-апаратні методи, засоби побудови інтерактивних геоінформаційних комплексів оперативної взаємодії. Коректно визначено параметри програмно-технічних засобів перетворення, забезпечено якість візуалізації руху символів, що сприяло значну економію обчислених ресурсів. Створено діючі інтерактивні геоінформативні комплекси оперативної взаємодії, що дозволило підвищити рівень керування відповідними об'єктами та процесами. Скачати повний текст
Індекс рубрикатора НБУВ: Д179.1 + з970.632.5 Шифр НБУВ: РА318859 Пошук видання у каталогах НБУВ
Рубрики:
|
|
| | |
|
14. |
Ал-Зобі Салім Ісса Салім Апаратні засоби та методи обробки і аналізу зображень плоских фігур: Автореф. дис... канд. техн. наук: 05.13.05 / Ал-Зобі Салім Ісса Салім ; Вінницький національний технічний ун-т. — Вінниця, 2004. — 15 с. — укp. Скачати повний текст
Індекс рубрикатора НБУВ: З970.632-015.0 Шифр НБУВ: РА330840
Рубрики:
|
|
| | |
|
15. |
Дорошенко Ю.І. Апаратні та програмні засоби нелінійної цифрової фільтрації на основі деревоподібних структур: автореф. дис... канд. техн. наук: 05.13.05 / Ю.І. Дорошенко ; Нац. техн. ун-т "Харк. політехн. ін-т". — Х., 2009. — 20 с. — укp.Досліджено й удосконалено методи нелінійної фільтрації сигналів і зображень на основі порядкових статистик. Для підвищення показника продуктивність/апаратна складність запропоновано новий клас цифрових фільтрів на основі деревоподібних структур і порядкових статистик - деревоподібні медіанні фільтри (ДМФ). З'ясовано, що ДМФ мають вищу швидкодію у порівнянні з медіанними фільтрами (МФ) за однакової апертури фільтра та більш високого ступеня придушення шуму (СПШ). Наведено рекомендації щодо використання ДМФ за однакових апаратних витрат для ефективного видалення різного виду шумів, зокрема, імпульсного шуму під час обробки сигналів і зображень у реальному масштабі часу. Проведено теоретичні дослідження СПШ для різних моделей вхідного шуму та коефіцієнта придушення імпульсної перешкоди ДМФ у порівнянні з МФ і псевдо-МФ за різних апертур фільтра. Визначено структури ДМФ, що мають максимальний СПШ і коефіцієнт придушення імпульсної перешкоди для фіксованої апертури фільтра. Оцінено апаратну складність і швидкодію запропонованих ДМФ для різних розмірів апертури та розрядності вхідних даних у порівнянні з МФ. Скачати повний текст
Індекс рубрикатора НБУВ: З970.60-017.3 + З970.632 + Шифр НБУВ: РА368789
Рубрики:
|
|
| | |
|
16. |
Чорномаз І. К. Апаратно-програмне забезпечення попередньої обробки технічної інформації в комп'ютерних системах з обмеженими ресурсами: автореф. дис. ... канд. техн. наук : 05.13.05 / І. К. Чорномаз ; Черкас. держ. технол. ун-т. — Черкаси, 2011. — 20 с. — укp.Розроблено семантичну модель представлення структури документу з технічною інформацією (ДТІ) для його ефективної обробки до заданого зменшеного розміру. Визначено шість типів матриць взаємозв'язків і відношень і набір багатовимірних масивів, які задають пріоритетність у разі обробки документів. Розроблено чотири методи перетворення ДТІ під заданий граничний розмір: за перетворення усього документу, певного розділу, формування документу за якимось заздалегідь відомому та заздалегідь невідомому термінам, які дозволяють зменшити час на обробку ДТІ із збереженням максимальної інформативності. Встановлено модель та апаратно-програмні засоби обробки інформації в комп'ютерних системах з передачею інформації сервісами GSM мереж. Скачати повний текст
Індекс рубрикатора НБУВ: З970.6-015 Шифр НБУВ: РА382323 Пошук видання у каталогах НБУВ
Рубрики:
|
|
| | |
|
17. |
Гладунов Апаратно-програмні засоби роздільної локалізації фонем в системах мовної взаємодії людини з ЕОМ: Автореф. дис... канд. техн. наук: 05.13.13 / Сергій Анатолійович Гладунов ; Донецький національний технічний ун-т. — Донецьк, 2005. — 21 с.: рис. — укp. Скачати повний текст
Індекс рубрикатора НБУВ: З970.664.1 Шифр НБУВ: РА337387
Рубрики:
|
|
| | |
|
18. |
Сердюк М.Є. Варіаційна модель задачі просторової інтерполяції статичних зображень: автореф. дис... канд. техн. наук: 01.05.02 / М.Є. Сердюк ; Нац. металург. акад. України. — Д., 2008. — 20 с. — укp.Розроблено новий підхід щодо побудови алгоритмів просторової інтерполяції статичних зображень. Запропоновано метод, перший етап якого полягає у розв'язанні задачі каркасної інтерполяції зображення, другий - у вирішенні проблеми реконструкції зображення на всій області за інтерпольованими значеннями на каркасі. Запропоновано алгоритм адаптивної побудови каркасу зображення, остов якого є близьким до його топографічної карти, та алгоритм відтворення значень породжуючих функцій зображень на побудованому каркасі. Одержано аналітичне подання для шеститочкового інтерполяційного сплайну з мінімальною локальною кривизною, який використовується в алгоритмах. Запропоновано варіаційну постановку задачі реконструкції зображення. Доведено її розв'язність на класі функцій з обмеженою варіацією. Наведено апроксимативну модель задачі реконструкції зображень, з використанням якої побудовано числові процедури їх просторової інтерполяції. Встановлено факт її розв'язності та доведено, що розв'язки таких задач у відповідних топологіях спрямовані до розв'язків вихідної задачі реконструкції зображень. Здійснено практичну реалізацію розробленого методу. Зроблено висновок, що запропонований підхід дозволяє уникнути появи ряду візуальних артефактів і зберегти достатньо високу візуальну якість результуючих зображень. Скачати повний текст
Індекс рубрикатора НБУВ: З970.632-01 + Шифр НБУВ: РА358456
Рубрики:
|
|
| | |
|
19. |
Ромін А.В. Визначення просторової форми геометричного об'єкта в часі за описами його зображень: Автореф. дис... канд. техн. наук: 05.01.01 / А.В. Ромін ; Київ. нац. ун-т буд-ва і архіт. — К., 2001. — 18 с. — укp.Розроблено метод опису графічного прояву розвитку в часі реакцій гетерогенного типу на прикладі опису сім'ї контурів вигоряння рослинного матеріалу за певною кількістю вузлових зображень. Визначено вимоги комп'ютерної системи передбачення форми геометричних об'єктів, що розвиваються у часі. Розглянуто основні положення іміджевої екстраполяції, призначеної для відновлення проміжних і прогнозування майбутніх зображень за вузловими зображеннями. Показано, що за допомогою іміджевої естраполяції можна спрогнозувати характер поведінки роздільних поверхонь гетерогенної системи у деякий, наперед заданий час, або визначити кромки вигоряння, які передували вузловим кромкам. Наведено приклади створення алгоритмів визначення даних кромок вигоряння. Скачати повний текст
Індекс рубрикатора НБУВ: П348в641.51 + з970.632 Шифр НБУВ: РА316156 Пошук видання у каталогах НБУВ
Рубрики:
|
|
| | |
|
20. |
Краснік А.А. Використання цифрових адаптивних динамічних багатовимірних фільтрів для підвищення точності прогнозування в системах управління: автореф. дис... канд. техн. наук: 05.13.06 / А.А. Краснік ; Київ. нац. ун-т ім. Т.Шевченка, Військ. ін-т. — К., 2008. — 18 с. — укp.Досліджено питання підвищення точності прогнозування в системах управління завдяки використанню цифрових адаптивних динамічних прогнозуючих фільтрів (ЦАДПФ). Розроблено структуру лінійного ЦАДБФ на базі апроксимації невідомої вагової функції об'єкта багаточленами (Чебишева, Ерміта, Лагера) та подальшого визначення параметрів за методом найменших квадратів. Запропоновано методики використання запропонованої структури цифрового динамічного лінійного фільтра (ЦДЛФ) для багатовимірних об'єктів і надання фільтру адаптивних властивостей. Оцінено вплив на точність роботи фільтра кількості спостережень за об'єктом, вибору апроксимуючих багаточленів, їх кількості, правильності оцінювання інтервалу інерційності. Кількісні оцінки дозволяють скоротити час на синтезування ЦДЛФ та підвищити точність прогнозування поведінки інерційних об'єктів. Скачати повний текст
Індекс рубрикатора НБУВ: З813.8 + З970.60-01 + Шифр НБУВ: РА358362
Рубрики:
|
| |