Бази даних

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

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

Вид пошуку
у знайденому
Сортувати знайдені документи за:
авторомназвоюроком видання
Формат представлення знайдених документів:
повнийстислий
 Знайдено в інших БД:Тематичний інтернет-навігатор (3)Наукова електронна бібліотека (90)Реферативна база даних (1372)Книжкові видання та компакт-диски (1243)Журнали та продовжувані видання (67)
Пошуковий запит: (<.>A=ТОЛСТ$<.>+<.>A=НИКИТ$<.>+<.>A=ИЛЬИЧ$<.>)
Загальна кількість знайдених документів : 44
Представлено документи з 1 до 20
...

      
1.

Никитюк Т.Л. 
Інвестиційна діяльність у Волинському регіоні 20-30-х років ХХ століття: історико-економічний аналіз: Автореф. дис... канд. екон. наук: 08.01.04 / Т.Л. Никитюк ; Ін-т світ. економіки і міжнар. відносин НАН України. — К., 2006. — 19 с.: рис. — укp.

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

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


Індекс рубрикатора НБУВ: У03(4УКР-4ВОЛ)610.26 + У9(4УКР-4ВОЛ)0-55-03 +
Шифр НБУВ: РА344832

Рубрики:

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

      
2.

Мороз О. Ю. 
Інформаційна технологія верифікації паралельних часопараметризованих програм інформаційних управляючих систем: автореферат дис. ... д.філософ : 122 / О. Ю. Мороз. — Б.м., 2023 — укp.

Дисертація на здобуття ступеня доктора філософії за спеціальністю 122 – Комп’ютерні науки (Галузь знань 12 – Технічні науки). – Харківський національний університет імені В. Н. Каразіна, Міністерства освіти і науки України, Харків, 2023. Дисертація присвячена верифікації паралельних програм для інформаційних управляючих систем, що є складною та важливою задачею з багатьма проблемами та викликами. Розглядаються особливості процесу верифікації паралельних програм інформаційних управляючих систем. Описані найпоширеніші інструментальні засоби верифікації програм з підтримкою паралельних обчислень. Приділено увагу, що на сьогодні необхідність високої ефективності паралельного програмного забезпечення інформаційних управляючих систем вимагає суттєвого розширення складу факторів, що враховуються при формальній розробці часопараметризованих мультипаралельних програм інформаційних управляючих систем. Акцентовано, що верифікація мультипаралельних часопараметризованих програм має три складові: компіляційна верифікація; декомпіляційна верифікація та семантична верифікація. Компіляційна верифікація забезпечує перевірку синтаксичної та часової коректності формального синтезу структур семантико-числової специфікації, декомпіляційна верифікація забезпечує перевірку логічної еквівалентності синтезованих мультипаралельних програм та текстів вхідних послідовних програм після завершення всіх етапів синтезу, а семантична верифікація полягає у перевірці збігу одиниць вимірювання фізичних величин, отриманих на основі формального синтезу часопараметризованих мультипаралельних програм інформаційних управляючих систем та одиниць вимірювання вхідних та вихідних даних, що задаються користувачами. Сформовано сучасні вимоги до суттєвого розширення складу факторів, що враховуються при формальній розробці часопараметризованих мультипаралельних програм інформаційних управляючих систем. Формулюється задача дисертаційного дослідження, як розробка інформаційної технології верифікації паралельних часопараметризованих програм інформаційних управляючих систем з метою підвищення її ефективності за рахунок застосування компіляційної, декомпіляційної та семантичної верифікації на основі семантико-числових специфікацій. Для вирішення поставленої науково-прикладної задачі вирішено розробити ряд методів, а саме: метод компіляційної верифікації паралельних часопараметризованих програм для інформаційних управляючих систем; метод декомпіляційної верифікації паралельних часопараметризованих програм для інформаційних управляючих систем; метод семантичної верифікації паралельних часопараметризованих програм для інформаційних управляючих систем.Описано етапи розробки методу компіляційної верифікації паралельних програмних засобів інформаційних управляючих систем. Описані існуючі методи паралельної обробки інформації та їх сутність, показано доцільність використання сукупності методів паралельної обробки інформації при розробці паралельного програмного забезпечення інформаційних управляючих систем. Описано сутність декомпіляційної верифікації часопараметризованих програмних засобів інформаційних управляючих систем. Починаючи з аналізу бінарного коду послідовної програми, проводиться його декомпіляція з метою відновлення вхідного коду. Отриманий вхідний код піддається формальній верифікації за допомогою математичних методів. Відбувається доведення коректності програми, перевірка властивостей безпеки, аналіз відповідності вимогам тощо. Аналізуючи вхідний код програми, можна виявити можливі вразливі місця, дефекти або помилки, що можуть впливати на її безпеку та надійність. Також описані етапи постановки задачі декомпіляційної верифікації часопараметризованих паралельних програмних засобів інформаційних управляючих систем. Описано метод семантичної верифікації часопараметризованих мультипаралельних програм, змістовно розглянуті основні етапи методу семантичної верифікації мультипаралельних програм та описано побудову графу, що здійснюється за допомогою засобів візуалізації паралельних апаратно-програмних об’єктів. Представлена концептуальна модель технології верифікації часопараметризованих паралельних програм інформаційних управляючих систем та змістовно описано основні компоненти архітектури технології верифікації. Обрано показники ефективності технології семантико-числової верифікації інформаційних управляючих систем спрямовані на оцінку точності та надійності результатів верифікації. Сукупність отриманих у дисертації нових наукових результатів, позитивна оцінка їхньої достовірності, наукової та практичної значущості дають змогу вважати сформульовану наукову задачу розробки технології верифікації паралельних часопараметризованих програм інформаційних управляючих систем з метою підвищення ефективності верифікації за рахунок застосування компіляційної, декомпіляційної та семантичної верифікації на основі семантико-числових специфікацій, – розв'язаною, а поставлену мету – досягнутою.^UThe dissertation submitted for obtaining the Doctor of Philosophy degree in Technical Science: Speciality 122 – Computer science. V. N Karazin Kharkiv National University, Ministry of Education and Science of Ukraine, Kharkiv, 2023.The dissertation is devoted to the development and verification of parallel programs for information management systems, which is a complex and important task with many problems and challenges. Peculiarities of the processof verification of parallel programs of information management systems. The most common tools for verifying programs with parallel computing support are described. Attention is focused on the fact that today the need for high efficiency of parallel software of information management systems requires a significant expansion of the composition of factors that are taken into account during the formal development of time-parameterized multi-parallel programs of information management systems. It is emphasized that the verification of multi-parallel time-parameterized programs has three components: compilation verification; decompilation verification and semantic verification. Compilation verification provides checking the syntactic and temporal correctness of the formal synthesis of semantic-numerical specification structures. Decompilation verification provides checking the logical equivalence of synthesized multiparallel programs and input sequential program texts after completion of all stages of synthesis. And semantic verification consists in verifying the coincidence of the units of measurement of physical quantities obtained on based on the formal synthesis of time-parameterized multi-parallel information management systems programs and units of measurement of input and output data specified by users. Modern requirements for a significant expansion of the composition of factors taken into account during the formal development of time-parameterized multi-parallel information management systems programs have been formed. The task of the dissertation research is formulated as the development of information technology for the verification of parallel time-parameterized programs of information management systems with the aim of increasing its efficiency due to the application of compilation, decompilation and semantic verification based on semantic-numerical specifications. To solve the scientific and applied problem, it was decided to develop a number of methods, namely: the method of compilation verification of parallel time-parameterized programs for information management systems; method of decompilation verification of parallel time-parameterized programs for information management systems; method of semantic verification of parallel time-parameterized programs for information management systems. The stages of development of the method of compilation verification of parallel software tools of information control systems. It describes the existing methods of parallel information processing and their essence, shows the expediency of using a set of methods of parallel information processing in the development of parallel information management systems software. The stages of setting task of decompilation verification of time-parameterized parallel software tools of information management systems. In particular, it presents the structural scheme of the method of decompilation verification of time-parameterized parallel software tools of information management systems and a detailed description of the procedures that implement the stages of the method.The method of semantic verification of time-parameterized multiparallel programs, reviews the main stages of the method of semantic verification of multiparallel programs meaningfully, and describes the construction of the graph, which is carried out using means of visualization of parallel hardware and software objects. It presents the conceptual model of the verification technology of time-parameterized parallel information management systems programs and describes the main components of the verification technology architecture meaningfully. The structure of the synthesis verifier of graphs is described in more detail. The indicators of the effectiveness of the technology of semantic-numerical verification of information management systems, aimed at assessing the accuracy and reliability of the verification results. The set of new scientific results obtained in the dissertation, a positive assessment of their reliability, scientific and practical significance make it possible to consider the formulated scientific task of developing a technology for the verification of parallel time-parameterized programs of information management systems in order to increase the effectiveness of verification due to the application of compilation, decompilation and semantic verification based on semantic of numerical specifications, is solved, and the set goal is achieved.


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

      
3.

Никитенко О.Д. 
Інформаційна технологія оптимізації підсистем збору даних АСУТП в умовах комбінованої невизначеності: автореф. дис. ... канд. техн. наук: 05.13.06 / О.Д. Никитенко ; Вінниц. нац. техн. ун-т. — Вінниця, 2010. — 19 с. — укp.

Розв'язано задачу розвитку інформаційної технології (ІТ) оптимізації структури підсистем збору даних (ПЗД) АСУТП для підвищення їх ефективності за умов комбінованої невизначеності. Розроблено метод моделювання систем за умов невизначеності, який базується на формальній системі алгоритмічних моделей (АМ) і використовує операторне подання перетворень невизначених даних. Удосконалено метод оцінювання характеристик ПЗД за умов невизначеності, який допомагає розширити область застосування АМ та підвищити достовірність оцінок ПЗД. Описано алгоритми та методики ІТ, реалізовані у вигляді програмного забезпечення "Checkout Subsystem Optimizer", яке розвиває існуючі системи моделювання, аналізу і проектування АСУТП.

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


Індекс рубрикатора НБУВ: З965,5-018.4 +
Шифр НБУВ: РА370302 Пошук видання у каталогах НБУВ 

Рубрики:

      
4.

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

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

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


Індекс рубрикатора НБУВ: П215.1-43 +
Шифр НБУВ: РА353357

Рубрики:

      
5.

Никитюк П.А. 
Агроекологічна оцінка систем удобрення зернових культур в польовій сівозміні Полісся залежно від погодних умов вирощування: автореф. дис... канд. с.-г. наук: 03.00.16 / П.А. Никитюк ; Ін-т агроекології УААН. — К., 2008. — 21 с. — укp.

Розглянуто проблеми стосовно визначення агрономічної й агроекологічної оцінки традиційних і нових систем удобрення у восьмипільній польовій сівозміні тривалого досліду на дерново-підзолистому супіщаному грунті лівобережної частини Полісся. Вивчено ефективність вирощування пшениці озимої та жита озимого, ярого ячменю та вівса за різних систем удобрення на підставі аналізу врожайності залежно від погодних умов, що склалися впродовж вегетаційних періодів - сприятливих, перезволожених і змішаного типу (з ознаками посушливості та презволоження). Установлено, що стабілізувальним фактором за будь-яких погодних умов є комплекна система використання підстилкового гною та мінеральних добрив та внесення вторинної продукції рослинництва - соломи, сидератів або органо-мінеральних добрив, що забезпечує у сприятливі роки одержання зерна озимих зернових 60 - 70 ц/га, ярих - 40 - 50 ц/га, без застосування добрив їх урожайність знижувалася відповідно до 20 - 30 і 15 - 20 ц/га. За мов оптимізації мінерального живлення рослин прирости врожаю зерна за будь-яких погодних умов становили 14 - 23 ц/га в однокомпонентних системах удобрення (за мінеральної - близько 11, за сидеральної та органічної - 5-7 ц/га). Відзначено, що науково обгрунтоване затосування добрив економічно й енергетично вигідне.

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


Індекс рубрикатора НБУВ: П040.11 + П212-41 +
Шифр НБУВ: РА360544

Рубрики:

      
Категорія: Транспорт   
6.

Толстолуцький В.О. 
Аналіз і параметричний синтез механічних трансмісій сучасних швидкохідних гусеничних машин: Автореф. дис... канд. техн. наук: 05.22.02 / В.О. Толстолуцький ; Харк. нац. автом.-дорож. ун-т. — Х., 2007. — 20 с. — укp.

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

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


Індекс рубрикатора НБУВ: О12-046.5 +
Шифр НБУВ: РА350550

Рубрики:

      
7.

Корбуш М. Ю. 
Бар’єрна функція кишечника за дії карбонвмісних наночастинок-забруднювачів повітря природного та антропогенногопоходження: автореферат дис. ... д.філософ : 091 / М. Ю. Корбуш. — Б.м., 2024 — укp.

Бар’єрна функція кишечника є фундаментальним аспектом здоров'я організму та відіграє ключову роль у захисті організму від шкідливих речовин, токсинів та патогенних мікроорганізмів, які потрапляють у нього через шлунково-кишковий тракт (ШКТ). В основі бар'єрної функції кишечника лежить складна система механічних, біохімічних та імунологічних процесів, які контролюють проникнення речовин через епітеліальний шар кишечника. Крім того, кишкова мікробіота грає важливу роль у підтримці цілісності кишкового бар'єру, виробляючи корисні метаболіти, захищаючи від патогенів, та регулюючи імунну відповідь.Порушення бар'єрної функції кишечника може призвести до проникнення небезпечних агентів в організм, що у подальшому може сприяти розвитку різних захворювань, алергій та імунологічних порушень, зробивши організм більш вразливим перед інфекційними захворюваннями. Відомо, що порушення цілісності кишкового бар'єра може грати ключову роль у розвитку запальних захворювань кишечника, таких як хвороба Крона та виразковий коліт. Хоча точні механізми залишаються об'єктом активного дослідження, припускається, що таке порушення може сприяти хронічному запаленню, змінам у мікробіоті кишечника та втраті функції абсорбції.^UThe intestinal barrier function is a fundamental aspect of overall health. It is crucial in protecting the body from harmful substances, toxins, and pathogenic microorganisms that enter it through the gastrointestinal tract (GIT). At the core of the intestinal barrier function lies a complex system of mechanical, biochemical, and immunological processes that control the passage of substances through the intestinal epithelial layer. In addition, the gut microbiota plays a significant role in maintaining the integrity of the intestinal barrier, producing beneficial metabolites, defending against pathogens, and regulating the immune response.Disruption of the intestinal barrier function can lead to the entry of harmful agents into the body, which can subsequently contribute to the development of various diseases, allergies, and immunological disorders, making the body more susceptible to infectious diseases. It is known that the disruption of the integrity of the intestinal barrier can play a key role in the development of inflammatory bowel diseases such as Crohn's disease and ulcerative colitis. Although the exact mechanisms remain the subject of active research, it is suggested that such disruption may contribute to chronic inflammation, changes in the gut microbiota, and impaired absorption function.


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

      
8.

Селівон А. М. 
Витребування доказів у господарському процес: автореферат дис. ... д.філософ : 081 / А. М. Селівон. — Б.м., 2023 — укp.

Дисертацію присвячено дослідженню правового регулювання витребування доказів в господарському процесі, а також розробці на цій основі рекомендацій з удосконалення відповідних законодавчих положень і практики їх застосування.У Розділі 1 «Теоретико-правові засади витребування доказів у господарському процесі», що присвячений дослідженню теоретико-правових основ витребування доказів як складової доказування у господарському процесі, досліджуються поняття витребування доказів, місце інституту витребування доказів в системі права, мета та принципи витребування доказів та аналізується історія розвитку правового забезпечення витребування доказів.Автором з’ясовано, що господарське судочинство за час свого розвитку пройшло періоди, під час яких відбувався перехід від змагальної моделі судочинства до слідчої і навпаки, що відповідно викликало зміни ролей сторін процесу та суду у процесі доказування по справі і обумовлювало наявність чи відсутність прав суду на витребування доказів за власною ініціативою чи за клопотанням сторін.На підставі зробленого дослідження було дано авторське визначення витребування доказів в господарському процесі.Витребування доказів в господарському процесі – це дії осіб, що беруть участь у справі, та суду, що полягають у отриманні доказів та їхній фіксації для формування доказової бази, необхідної для вирішення господарської справи. Це дозволить підвищити якість правого регулювання, забезпечить єдине і однозначне застосування відповідних правових норм.У Розділі 2 «Механізм витребування доказів у господарському процесі» автором досліджуються особливості правового механізму витребування доказів, правові підстави витребування доказів та правовідносини з витребування доказів у господарському процесі.Автором розроблено власне визначення поняття «механізм витребування доказів», під яким розуміється система правових засобів, організованих у певній послідовності та спрямованих на отримання на вимогу сторін чи за ініціативою суду доказів та їхню фіксацію для формування доказової бази, необхідної для вирішення господарської справи на підставі принципів господарського процесу.Автор доводить, що суб’єктами правовідносин з витребування доказів в господарському процесі є суд та інші учасники справи. Роль суду у забезпеченні швидкого та всебічного розгляду справи має бути активною, але, в той же час такою, що поважає рівні права сторін. Суд має право ініціювати витребування доказів за власною ініціативою, але коло таких ситуацій має бути чітко визначено в господарському процесуальному законодавстві.У Розділі 3 «Процесуальні особливості витребування доказів у господарському процесі» проаналізовано витребування доказів в зарубіжних країнах та в міжнародному комерційному арбітражі, заходи процесуального примусу за порушення порядку витребування доказів та проблеми витребування доказів в господарському процесі і шляхи їх вирішення.Вивчення закордонного досвіду доводить, що принципи змагальності і диспозитивності, які лежать в основі господарського процесу, не заважають суду брати активну участь у доказовій діяльності, у тому числі шляхом витребування необхідних доказів або шляхом задоволення клопотань сторін про витребування доказів. Наявність у суду повноважень щодо витребування доказів не замінює, а доповнює процесуальну діяльність із доказування осіб, які беруть участь у справі. За наявності розвинених процесуальних механізмів, що забезпечують послідовну реалізацію принципу змагальності, навіть часткове посилення ролі суду у господарському процесі не веде до порушення цього базового у господарському судочинстві принципу.На підставі проведеного аналізу було підготовлено порівняльну таблицю витребування доказів як спосіб забезпечення доказів (ст.ст. 110-112 ГПК) та витребування доказів як окремої процесуальної дії (ст. ст. 81, 811 ГПК), де основною відмінною рисою, яка дозволяє розмежовувати ці правові механізми є підстави їх застосування. Витребування доказів, як спосіб забезпечення доказів застосовується, коли є припущення, що засіб доказування може бути втрачено, або збирання чи подання відповідних доказів стане згодом неможливим або утрудненим, тоді як витребування доказів як окрема процесуальна дія застосовується за неможливості отримати докази самостійно.^UThe dissertation is devoted to the study of the legal regulation of the discovery of evidence in commercial proceedings, as well as the development of recommendations for improving the relevant legislative provisions and practice of their application.In Chapter 1 "Theoretical and Legal Foundations of Discovery of Evidence in Commercial Proceedings", which is devoted to the study of the theoretical and legal foundations of discovery of evidence as a component of proof in commercial proceedings, the author examines the concept of discovery of evidence, the place of the institution of discovery of evidence in the system of law, the purpose and principles of discovery of evidence, and analyses the history of development of legal support for discovery of evidence.The author finds out that in different periods of development of economic proceedings in modern Ukraine, there have been transitions from the adversarial model to the investigative model and vice versa, which accordingly caused changes in the roles of the parties to the proceedings and the court in the process of proving a case and determined the presence or absence of the court's right to request evidence on its own initiative or at the request of the parties.Based on the study, the author gives the author's own definition of discovery of evidence in economic proceedings.The discovery of evidence in economic proceedings is the actions of persons involved in a case and the court which are aimed at obtaining evidence and recording it to form the evidence base necessary for resolving an economic case. This will improve the quality of legal regulation and ensure uniform and unambiguous application of the relevant legal provisions.In Section 2 "The Mechanism for Recovering Evidence in Commercial Proceedings", the author examines the peculiarities of the legal mechanism for recovering evidence, the legal grounds for recovering evidence and legal relations related to the recovery of evidence in commercial proceedings.The author has developed his own definition of the concept of "mechanism of discovery of evidence", which is understood as a system of legal means organised in a certain sequence and aimed at obtaining evidence at the request of the parties or at the initiative of the court and recording it to form the evidence base necessary for resolving an economic case on the basis of the principles of economic procedure.The author proves that the subjects of legal relations for the discovery of evidence in commercial proceedings are the court and other parties to the case. The role of the court in ensuring a prompt and comprehensive consideration of a case should be active, but at the same time respectful of the equal rights of the parties. The court has the right to initiate the discovery of evidence on its own initiative, but the range of such situations should be clearly defined in the commercial procedure legislation.Section 3, "Procedural Peculiarities of Discovery of Evidence in Commercial Proceedings", analyses discovery of evidence in foreign countries and in international commercial arbitration, measures of procedural coercion for violation of the procedure for discovery of evidence, and problems of discovery of evidence in commercial proceedings and ways to solve them.A study of foreign experience shows that the principles of adversarial and dispositive nature underlying commercial proceedings do not prevent the court from taking an active part in the evidentiary process, including by requesting the necessary evidence or satisfying the parties' requests for evidence. The court's power to order evidence does not replace but rather complements, the procedural activities of the persons involved in the case. If procedural mechanisms are developed to ensure the consistent implementation of the adversarial principle, even a partial strengthening of the role of the court in commercial proceedings does not lead to a violation of this fundamental principle in commercial proceedings.Based on the analysis, the author prepared a comparative table of discovery of evidence as a means of securing evidence (the Articles 110-112 of the Commercial Procedure Code of Ukraine) and discovery of evidence as a separate procedural action (the Articles 81, 811 of the Commercial Procedure Code of Ukraine), where the main distinguishing feature that allows distinguishing between these legal mechanisms is the grounds for their application. Discovery as a means of securing evidence is applied when there is an assumption that the means of proof may be lost or that the collection or submission of relevant evidence will become impossible or difficult in the future, while discovery as a separate procedural action is applied when it is impossible to obtain evidence on its own.


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

      
9.

Толсторуков М.Є. 
Вплив гідратації на динамічні властивості нуклеїнових кислот: Автореф. дис... канд. фіз.-мат. наук: 03.00.02 / М.Є. Толсторуков ; Харківський держ. ун-т. — Х., 1998. — 17 с. — укp.

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


Індекс рубрикатора НБУВ: Г264.13-11 + Е0*725.112.1*011.7,022

Рубрики:

      
10.

Толстікова О.О. 
Діагностика та характер імунокоригуючої терапії пієлонефриту у дітей: Автореф. дис... канд. мед. наук: 14.01.10 / О.О. Толстікова ; Харк. держ. мед. ун-т. — Х., 2000. — 20 с. — укp.

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

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


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

Рубрики:

      
11.

Толстих Н.В. 
Динаміка рівня життя населення України (соціологічний аналіз): Автореф. дис... канд. соціол. наук: 22.00.04 / Н.В. Толстих ; НАН України. Ін-т соціол. — К., 1999. — 24 с. — укp.

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

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


Індекс рубрикатора НБУВ: С5*665-94

Рубрики:

      
12.

Толстопятова Д.Г. 
Економічна ефективність підприємств регіонального молокопродуктового підкомплексу (на матеріалах Хмельницької області): автореф. дис... канд. екон. наук: 08.00.04 / Д.Г. Толстопятова ; Ін-т аграр. економіки УААН. — К., 2009. — 20 с. — укp.

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

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


Індекс рубрикатора НБУВ: У9(4УКР-4ХМЕ)306.751.353.1-07 +
Шифр НБУВ: РА368733

Рубрики:

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

      
13.

Толстенко Ю.В. 
Електрохімічне визначення антибіотиків тетрациклінового ряду в промисловій продукції: автореф. дис... канд. хім. наук: 02.00.02 / Ю.В. Толстенко ; НАН України, Фіз.-хім. ін-т ім. О.В.Богатського. — О., 2010. — 23 с. — укp.

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


Індекс рубрикатора НБУВ: Л80-1с 453 +
Шифр НБУВ: РА370008 Пошук видання у каталогах НБУВ 

Рубрики:

      
14.

Никитенко О.О. 
Ефективність фінансового управління торговельним підприємством: Автореф. дис... канд. екон. наук: 08.07.05 / О.О. Никитенко ; Донец. держ. ун-т економіки і торгівлі ім. М.Туган-Барановського. — Донецьк, 2004. — 20 с. — укp.

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

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


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

Рубрики:

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

      
15.

Толстова А. В. 
Забезпечення конкурентоспроможності національної мережі міжнародних транспортних коридорів: автореф. дис. ... канд. екон. наук : 08.00.03 / А. В. Толстова ; Укр. держ. акад. залізн. трансп. — Х., 2011. — 20 с. — укp.

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

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


Індекс рубрикатора НБУВ: У583.70-81-13 + У9(4УКР)837.0-81-13
Шифр НБУВ: РА382593 Пошук видання у каталогах НБУВ 

Рубрики:

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

      
16.

Толстова О.Л. 
Лінгвокогнітивні особливості соматичних фразеологізмів іспанської мови: Автореф. дис... канд. філол. наук: 10.02.05 / О.Л. Толстова ; Київ. нац. ун-т ім. Т.Шевченка. — К., 2007. — 19 с. — укp.

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

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


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

Рубрики:

      
17.

Никитюк В. В. 
Математична модель електричного зонд-сигналу для визначення динаміки стану реставраційного стоматологічного процесу / В. В. Никитюк. — Б.м., 2019 — укp.

У дисертації розв'язано актуальну наукову задачу обґрунтування математичної моделі електричного зонд-сигналу та розроблення методу його опрацювання, сформульованого базуючись на цій моделі, а також використання нових інформативних ознак динаміки стану процесу полімеризації стоматологічних матеріалів в часі.Обґрунтовано нове застосування імпульсного періодично корельованого випадкового процесу як математичної моделі енергетичного зонд-сигналу, яка враховує у своїй структурі поєднання властивостей періодичності із випадковістю. Базуючись на обґрунтованій моделі модифіковано синфазний метод опрацювання енергетичного сигналу, що дає змогу оцінити динаміку стану полімеризації стоматологічного композитного матеріалу з метою визначення оптимального часу експозиції. Установлено, що отримані значення кореляційних компонент, обчислені з допомогою змодифікованого синфазного методу, є інформативними ознаками енергетичного зонд-сигналу та характеризують процес полімеризації і спосіб обчислення оцінки достовірності отриманих результатів.^UThe actual science problem for mathematical model reasoning of electrical zond-signals and working out the method of its processing based on this model has been solved in the thesis, and, as well, utilizing of new informative indicators of the process of a dental materials polymerization dynamics state in time. The object of research is process of electrical zond-signals modelling. The subject of the research is the mathematical model of electrical zond-signals, features and possibilities which it assures during the problem solving of visualization of the process of a dental materials polymerization dynamics state.The dynamics of the process has been described and the peculiarity of the visualization problem of the dynamics state for a process of dental materials polymerization on the base of electrical zond-signals. The main types of light solidification materials that are utilized in restorative stomatology, particularly for the plugs making (photo polymeric (light solidification) materials are most expanded, for which the reaching of certain physical and mechanical parameters during polymerization is a result of radiation with wave length of 380 – 500 nm) have been analyzed. It is necessary to working out a method of mediated assessment and visualization of a dental materials polymerization dynamics state for assurance of certain parameters of dental material and for increasing of radiation harm for oral cavity. The method of dental materials polymerization process visualization bas been offered that is based on the main statements of system-signal concept according to which the performance of a system may be assessed by means of independent processing of a signal that is a result of this system work, and on the base of concept of energy activity that considers as the central an energy active object (a system) that has such features as initiation, activation, catalyzation by specific action of energy carrier. The "energy division" on such energy that is required for support of system activity and on other one that is spent for a creation of a signal about system state and for energy assurance of data carrying about it is a significant in the signal creation. The substantiation of the structure and technical characteristics of the system of selection of electrical probe signals has been carried out. On the basis of a substantiated mathematical model in the form of a pulse PKVP that takes into account in its structure the stochastic interconnection between the various responses of the same series of observations and the substantiation of the informative signals of the signal and the method of their calculation for solving the problems of the operative and reliable detection of the change in the polymerization process. The common-mode method of statistical processing of such signals is considered and new expressions are obtained for the calculation of statistical estimates of their characteristics.The practical value of obtained results of the dissertation research is concluded in the modification of synphase processing method algorithm on the base of reasoned mathematical model of electrical zond-signals, that give possibility to detect informative indicators of a dental material polymerization process for automated control of the exposition time. Obtained practical results are suitable for utilization during the design of dental photopolymer irradiators with the function of automated control of exposition. This is the actual and important, practically useful result of the work that gives possibility to assure the reach of certain characteristics of a polymerization process.


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

      
18.

Клюсов О. М. 
Медико-соціальне обгрунтування удосконаленої моделі надання онкологічної допомоги в умовах великого міста / О. М. Клюсов. — Б.м., 2021 — укp.

Дисертація присвячена науковому обґрунтуванню удосконалення організації надання медичної допомоги онкологічним хворим в умовах великого міста (на прикладі раку прямої кишки). Комплексним медико-соціальним дослідженням доведено недосконалість існуючого стану організації надання медичної допомоги онкологічним хворим, обмежені можливості задоволення потреб населення у доступній, безпечній і своєчасній, економічно ефективній профілактичній, діагностичній допомозі. Обґрунтовано пріоритетні вектори удосконалення організації надання медичної допомоги онкологічним хворим в умовах великого міста, якими передбачено комплексний профілактичний підхід з урахуванням індивідуальних особливостей пацієнта, формуванням ЛЗП-СЛ групи ризику розвитку раку (на прикладі його локалізації в прямій кишці), при ефективній взаємодії надання первинної та спеціалізованої допомоги таким хворим. Запровадження розроблених організаційних підходів передбачає формування високого рівня доступності профілактичних обстежень для комплексного вирішення проблеми охорони здоров'я при наданні первинної медичної допомоги, що дозволить покращити своєчасність виявлення раку прямої кишки з метою попередження безповоротних втрат здоров'я та якості життя населення.^UThe dissertation is devoted to scientific justification of improvement of the organization of delivery of health care to oncological patients in the conditions of the megalopolis (on an example of rectum cancer). The complex medico-social research proved imperfection of the current situation of the organization of delivery of health care to oncological patients in conditions of a big city, with rectum cancer, limited opportunities of satisfaction of needs of the population for the available, safe and timely, cost-effective preventive, diagnostic help. Reasonably priority vectors of improvement of the organization of delivery of health care to oncological patients with localization of a malignant new growth in a rectum which provided an integrated preventive approach taking into account specific features of the patient, formation by the doctor of primary contact of risk group of development of cancer of this localization, at effective interaction of rendering primary and specialized help to such patients.


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

      
19.

Толстолуцька Г.Д. 
Механізми радіаційної пошкоджуваності поверхневих шарів твердих тіл при бомбардуванні іонами інертних газів та водню: автореф. дис... д-ра фіз.-мат. наук: 01.04.07 / Г.Д. Толстолуцька ; НАН України, Ін-т електрофізики і радіац. технологій. — Х., 2009. — 32 с. — укp.

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

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


Індекс рубрикатора НБУВ: В372.7,022 + В381,022 + Ж306.9 +
Шифр НБУВ: РА362822

Рубрики:

      
20.

Никитюк Т.В. 
Моделювання та аналіз впливу обміну речовиною на хімічну еволюцію галактик та їх оточення: Автореф. дис... канд. фіз.-мат. наук: 01.03.02 / Т.В. Никитюк ; НАН України. Голов. астрон. обсерваторія. — К., 2006. — 20 с. — укp.

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

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


Індекс рубрикатора НБУВ: В675.5в641.8,022 + В682в641.8,022 +
Шифр НБУВ: РА342654
...
 

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