Бази даних

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

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

Вид пошуку
Сортувати знайдені документи за:
авторомназвоюроком видання
Формат представлення знайдених документів:
повнийстислий
 Знайдено в інших БД:Наукова електронна бібліотека (1)Реферативна база даних (156)Книжкові видання та компакт-диски (75)Журнали та продовжувані видання (18)
Пошуковий запит: (<.>A=ПОГОРІЛИЙ$<.>)
Загальна кількість знайдених документів : 6
Представлено документи з 1 до 6

      
1.

Погорілий 
Дмитро Чижевський як історик філософії: Автореф. дис... канд. філос. наук: 09.00.05 / Андрій Олександрович Погорілий ; Київський ун-т ім. Тараса Шевченка. — К., 1999. — 20 с. — укp.

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


Індекс рубрикатора НБУВ: Ю3 г(4УКР)6д Чижевський
Шифр НБУВ: РА308989

Рубрики:

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

      
2.

Погорілий А.О. 
Економічна ефективність виробництва картоплі в господарствах різних форм власності і господарювання: Автореф. дис. канд. екон. наук: 08.07.02 / А.О. Погорілий ; Держ. агроеколог. ун-т. — Житомир, 2003. — 21 с. — укp.

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

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


Індекс рубрикатора НБУВ: У9(4УКР)325.153.1-07 + У9(4УКР-4КИЇ)325.153.1-07 +
Шифр НБУВ: РА327944

Рубрики:

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

      
3.

Погорілий М.Л. 
Підвищення технологічної ефективності бурякозбиральних машин: Автореф. дис... канд. техн. наук: 05.05.11 / М.Л. Погорілий ; Нац. аграр. ун-т. — К., 2001. — 21 с. — укp.

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

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


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

      
4.

Погорілий С. П. 
Механіко-технологічні основи створення мобільних енергетичних засобів типу «Автотрактор» / С. П. Погорілий. — Б.м., 2020 — укp.

Дисертацію присвячено розробленню основ створення мобільних енергетичних засобів типу «Автотрактор». Потенційні технологічні властивості цих мобільних енергетичних засобів дають можливість практично з однаковою ефективністю використовувати їх як на транспортних технологічних операціях, так і на тягових технологічних операцій у полі, що підвищує річне завантаження та зменшує собівартість виконаної ними роботи. Установлено закономірності та раціональні значення параметрів і режимів роботи мобільних енергетичних засобів типу «Автотрактор», які забезпечать зменшення експлуатаційних витрат та пального на виконанні технологічних операцій АПВ.Складено систему диференціальних рівнянь, яка дала можливість обґрунтувати конструкційні параметри технологічних машин і знарядь для агрегатування з енергозасобом з ходовою системою 6×6 і змоделювати та дослідити процес руху і режими роботи агрегатів на його базі.Досліджено вплив ходової системи мобільного енергетичного засобу типу «Автотрактор» з опорною поверхнею та його експлуатаційно-технологічні показники на виконанні тягових технологічних операцій.Установлено, що використання технологічного комплексу машин, сформованого на базі МЕЗ-330 «Автотрактор», дає можливість зменшити прямі експлуатаційні витрати на вирощуванні польових сільськогосподарських культур у порівнянні з технологічними комплексами машин на базі тракторів виробництва країн Східної та Західної Європи відповідно на 366,2 грн/га та 863,5 грн/га.Ключові слова: автотрактор, мобільний енергетичний засіб, багатофункціональний енергозасіб, тягові випробування, коефіцієнт буксування, тягове зусилля.^UThe dissertation is devoted to the development of the basics creation of mobile power means type of "Autotractor". The potential technological properties of these mobile energy facilities make it possible to use them practically with equal efficiency both on transport technological operations and on hauling technological operations in the field, which increases the annual load and reduces the cost of the performed work.The regularities and rational values of the parameters and modes of operation of mobile power means of the type "Autotractor" are established, which will provide reduction of operating costs and fuel costs for performing technological operations of the APV.A system of differential equations has been made, which makes it possible to substantiate the design parameters of technological machines and tools for aggregation with power tools with 6 × 6 running system and to simulate and study the motion process and modes of operation of the unit based on it.The influence of the running gear of the MEZ type "Autotractor" with a support surface and its operational and technological parameters on the performance of traction technological operations is investigated.It is established that the use of technological complex of machines, formed on the basis of MEZ-330 "Autotractor", allows to reduce direct operating costs for cultivation of field crops in comparison with technological complexes of machines based on tractors of production of the countries of Eastern and Western Europe by 366,2 and 863б5 UAH/ha.Key words: autotractor, mobile power tool, multifunctional power tool, traction research, slip factor, traction force.


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

      
5.

Слинько М. С. 
Дослідження і створення формалізованих методів проектування застосувань в технології GPGPU / М. С. Слинько. — Б.м., 2021 — укp.

В роботі досліджено використання інструментальних засобів алгоритмічного етапу проектування для застосунків в технології GPGPU та сформовано формалізовану методику створення паралельних застосувань для програмних систем із відеоадаптерами. На основі проведених досліджень створено комплексний метод проектування та верифікації високопродуктивних застосувань для програмних систем, які включають відеоадаптери для виконання обчислень загального призначення, який дозволяє використати інструментальні засоби алгоритмічного етапу проектування, а саме – алгебри алгоритмів, транзиційні системи, мережеві, автоматні моделі та формули лінійно-темпоральної логіки для підвищення продуктивності паралельних застосувань а також забезпечення їх надійності. До переваг цього методу відносяться можливість моделювання системи, що розглядається, на різних рівнях абстракції, що дозволяє задіяти як дедуктивну верифікацію або класичне тестування на високому рівні абстракції, так і автоматизовані методи верифікації більш низкорівневої логіки, такі, як перевірка моделі. Отриманий метод застосовано для вирішення задачі кластеризації з використанням обчислювальних потужностей графічних адаптерів та верифікації отриманої системи. В ході дослідження було виявлено помилку синхронізації, яку неможливо було б виявити за допомогою традиційного тестування. Побудовано регулярну схему алгоритму Джонсона з використанням математичного апарату САА-М, яка є основною для формування паралельних схем алгоритму з використанням відеоадаптерів та архітектури обчислень CUDA. На основі послідовної параметричної САА-схеми побудовано паралельну САА-М-схему алгоритму Джонсона. Запропоновано метод розпаралелювання алгоритму Джонсона для програмно-апаратної платформи CUDA. Наукова новизна отриманих результатів полягає в тому, що вперше використано апарати систем алгоритмічних алгебр та транзиційних систем для формалізації застосувань в технології GPGPU; створено комплексний метод проектування та верифікації таких застосувань, який дозволяє вирішити проблему складності інженерного проектування застосувань для сучасних гетерогенних систем; апробовано створений метод на прикладах вирішення кількох задач, зокрема задачі кластеризації та задачі пошуку шляхів у графі (алгоритму Джонсона). Отримані результати мають не лише теоретичне, але і практичне значення, оскільки можуть бути використані як для проектування нових, так і для дослідження існуючих застосувань та виявлення в них помилок.^UThe use of tools of the algorithmic design stage for applications in GPGPU technology was investigated in the thesis and the formalized method of parallel application design for massively parallel GPU-based computing systems was created. A comprehensive high-performance application design and verification method for systems that include GPUs to perform general purpose calculations was created. The proposed method allows using the tools of the algorithmic design phase, namely - algebras of algorithms, transition systems, Petri networks, automaton models and formulas of linear-temporal logic to increase the application performance and guarantee its reliability. The advantages of this method include the ability to model the system under analysis at different levels of abstraction, which allows using both deductive verification and classical testing at a high level of abstraction, and automated methods of verification of lower level logic, such as the model verification. The obtained design method is used to solve the problem of clustering using the GPU computing power and verification of the resulting system. The analysis identified a synchronization error that could not be detected by traditional testing. A regular scheme of Johnson's algorithm was built using the SAA-M mathematical apparatus. The scheme served as the basis for the formation of parallel schemes of the algorithm using GPGPU specifics and CUDA architecture. A parallel CAA-M scheme of Johnson's algorithm is constructed on the basis of a sequential parametric CAA scheme. A method of parallelization of the algorithm for the CUDA software and hardware platform is proposed. The scientific novelty of the obtained results is that for the first time the apparatus of systems of algorithmic algebras and transition systems were used to formalize applications in GPGPU technology; a comprehensive application design and verification method was created, which allows to solve the problem of complexity of engineering design of applications for modern heterogeneous systems; the created method was tested on examples of the implementing solutions for several problems, in particular - clustering problem and all pair shortest path graph problem (Johnson's algorithm). The obtained results have not only theoretical but also practical significance, as they can be used both for designing new and for analyzing existing applications to identify potential failure paths in it.


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

      
6.

Крамов А. А. 
Проектування і застосування нейронних мереж для створення методів оцінки когерентності україномовних текстів / А. А. Крамов. — Б.м., 2022 — укp.

Робота присвячена дослідженню проектування і застосування різнотипних нейронних мереж для створення методів оцінки когерентності україномовних текстів.Здійснення оцінки когерентності документу в автоматизований спосіб відноситься до категорії задач обробки природної мови. Формування вихідної оцінки когерентності передбачає аналіз тематичної цілісності всіх частин тексту на основі відповідності змісту документу фоновим знанням читача та різнотипної узгодженості текстових фрагментів. Врахування наведених властивостей тексту протягом обчислення оцінки його когерентності обумовлює застосування відповідних методів розрахунку цілісності документу для вирішення задач різних галузей (медичної діагностики, пошукових систем тощо). Варто зазначити, що аналіз методів оцінки когерентності для текстів української та інших слов'янських мов знаходиться на початковому етапі. Доцільним є здійснення водночас експериментальної перевірки ефективності застосування існуючих методів для україномовного корпусу, а також створення нових моделей для детального аналізу процесу формування оцінки когерентності текстів української мови.Відсутність фіксованої структури тексту, сформованого згідно з процесом мислення конкретної особи, а також складність однозначної оцінки когерентності документу (суб'єктивність сприйняття тексту читачем на основі власних вражень та фонових знань), унеможливлюють розрахунок зазначеного показника тематичної цілісності тексту за допомогою визначеного набору інструкцій. Наведені проблеми оцінки когерентності тексту обумовлюють доцільністьзастосування різних засобів машинного навчання з метою вирішення поставлених задач. У зв'язку з приростом обчислювальної потужності пристроїв та розвитком технологій паралельних і розподілених обчислень, сучасні методи оцінки когерентності тексту основані на проектуванні багатошарових нейронних мереж різної архітектури. Застосування моделей глибокого навчання дозволяє підвищити точність вирішення поставленої задачі за допомогою узагальнення різнотипних властивостей текстів вхідного корпусу. Однак у зв'язку зі складністю однозначного визначення критеріїв когерентного документу, крім досягнення встановленої точності відповідних методів доцільно з'ясувати причини отримання вихідного результату. Актуальною задачею є дослідження формування ознак вхідного тексту та проектування елементів нейронних мереж з метою виявлення характеристик тексту та типів зв'язку між його елементами, що аналізуються протягом обчислення вихідної оцінки когерентності україномовного документу.В роботі здійснено аналіз існуючих методів оцінки когерентності текстів на основі застосування методології машинного навчання. Детально розглянуто принцип роботи методів Entity Grid, Entity Graph та теорії риторичних структур, що полягає в аналізі закономірності зміни синтаксичних та дискурсивних ролей в межах сусідніх речень та всього тексту в цілому. Основними недоліками застосування зазначених методів є відсутність врахування інших елементів тексту, семантичних властивостей компонентів; залежність точності вирішення задач від зовнішніх інструментів. Наведено аналіз методів оцінки локальної та глобальної когерентності документу на основі використання різнотипних нейронних мереж для формалізованого представлення елементів тексту та обчислення його цілісності на рівні семантичної узгодженості речень. Зазначено доцільність використання рекурентних та згорткових шарів для проектування моделі нейронної мережі водночас для оцінки локальної та глобальної когерентності документу. На основі проведеного порівняльного аналізу методів показано ефективність застосування моделей нейронних мереж для вирішення поставлених задач оцінки когерентності тексту.^UThe paper is devoted to the investigation of the designing and applying of different neural networks for the creation of the methods of the coherence estimation of Ukrainian-language texts.The coherence estimation of a document falls into the category of natural language processing tasks. The generation of an output coherence estimation value involves the analysis of the thematic integrity of all text's parts basing on the correspondence of the document's content to the background knowledge of a reader and the different types of the consistency of text's spans. The consideration of the listed features of a text during the estimation of its coherence leads to the applying of the correspondent coherence estimation methods for the solving of the tasks that belong to different areas (medical diagnostics, search engines, etc.). It should be mentioned that the analysis of the coherence evaluation of the documents of Ukrainian and other Slavic languages is still at the initial stage. It is advisable to perform the experimental verification of the effectiveness of state-of-the-art methods on Ukrainian-language corpora; moreover, an important task consists in the creation of new models for the detailed analysis of the formation process of the coherence estimation value of Ukrainian-language texts.The lack of the fixed text's structure formed by a person according to its thoughts and the complexity of the unambiguous assessment of the coherence of a document (subjectivity of the reader's perception of the text based on their own impressions and background knowledge) complicate the evaluation of the mentioned metric of the thematic integrity of a text by utilizing a pre-defined set of instructions. The listed issues of the coherence estimation of a text cause the expediency of the applying ofdifferent machine learning techniques for the solving of assigned tasks. Taking into account the increase of devices' computational power and the development of the parallelized and distributed computing, the state-of-the-art methods of the coherence evaluation of a text are based on the designing of the multilayer neural network of different architecture. The applying of deep learning models allows the achieving of accuracy increase according to an assigned task by means of the generalization of the different features of the texts of an input corpus. However, taking into account the complexity of the unambiguous definition of the criteria of a coherent document, besides the achievement of the desired accuracy of correspondent methods it is advisable to find out the reasons for the retrieving of an output result. An important task is to investigate the formation of the features of an input text and the connection types between its elements that are analyzed during the evaluation of the output coherence value of a Ukrainian-language document.In the paper, the analysis of current coherence estimation methods based on machine learning techniques has been performed. The principle of work of Entity Grid, Entity Graph, and an RST-based method that consists in the analysis of the regularity of syntactic and discourse roles change within adjacent sentences and a whole document at all has been considered in details. The key disadvantages of the usage of the mentioned methods are the neglecting of other text's elements, the semantic properties of components; the dependency of the accuracy of the solving of assigned tasks on external instruments. The analysis of the methods of the local and global coherence estimation of a document based on the usage of different neural networks for the representation of text's elements and the evaluation of its coherence at the level of the semantic consistency of sentences has been performed. The appropriateness of the utilizing of recurrent and convolutional layers for the designing of a neural network model for the estimation of both local and global coherence of a document has been shown. Basing on the performed comparative analysis of methods, the effectiveness of the applying of neural network models for the solving of the assigned tasks of the coherence estimation of a text has been demonstrated.


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

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