Бази даних

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

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

Вид пошуку
у знайденому
Сортувати знайдені документи за:
авторомназвоюроком видання
Формат представлення знайдених документів:
повнийстислий
 Знайдено в інших БД:Віртуальна довідка (11)Наукова електронна бібліотека (244)Реферативна база даних (891)Книжкові видання та компакт-диски (59)Журнали та продовжувані видання (24)
Пошуковий запит: (<.>K=КОМП’ЮТЕР$<.>)
Загальна кількість знайдених документів : 119
Представлено документи з 1 до 20
...

      
1.

Самусєва А. А. 
Індивідуалізація тактики лікування хворих на тричі негативний рак молочної залози: автореферат дис. ... д.філософ : 222 / А. А. Самусєва. — Б.м., 2023 — укp.


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

      
2.

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

Дисертаційна робота надає теоретичне обґрунтування та нове рішення актуального наукового завдання щодо вивчення індивідуальної анатомічної мінливості тім’яних кісток та їх ролі у загальній конструкції склепіння черепа.Проведені дослідження виконані на 130 препаратах кісткових структур голови дорослих людей із зібраної колекції кафедри анатомії людини Харківського національного медичного університету, в кількості 82 кісткових препаратів, включаючи ізольовані тім’яні кістки, а також 48 томограм, отриманих при обстеженні пацієнтів. В основу встановлення краніотипу покладено основний принцип – обчислення черепного індексу, який дозволяє класифікувати анатомічні об’єкти за формами будови голови. Для виявлення існуючих особливостей будови та форми тім’яних кісток було отримано такі краніометричні покажчики: довжина та ширина тім’яних горбів, тім’яна хорда та дуга, розраховували індекс кривизни тім’яної кістки. Проводились виміри кутових розмірів тім’яних кісток, площі, товщини кісткової стінки та її структурних елементів. Отримані дані проаналізовано для людей зрілого віку різного гендеру та трьох встановлених краніотипів.У результаті проведеного дослідження встановлено, що довжина тім’яних кісток поступово збільшується від людей з брахіцефальною формою голови та черепа з досягненням максимальних значень у людей з доліхоцефальною формою. Ширина тім’яних кісток характеризується найбільшими значеннями у брахіцефалів; у мезоцефалів усереднені значення, у доліхоцефалів зменшення параметрів.Тім’яні кістки мають дві крайні форми індивідуальної анатомічної мінливості: розширено-розгорнута у людей з брахіморфною конфігурацією голови та черепа; подовжено-звужена – у людей із доліхоморфною конфігурацією, між ними зустрічаються багаточисельні усереднені форми, відмічені у людей з мезоморфним походженням.Для людини зрілого віку з брахікранічним типом будови голови характерна значна вираженість кривизни тім’яних кісток при коливанні індексу кривизни за рахунок збільшення широтних розмірів усіх відділів склепіння черепа. У людей з мезо- і доліхокранічним типом будови голови, відмічається зменшення кривизни та з’являється її згладженість на всю площу тім’яних кісток.Загальна товщина тім’яної кістки має чітко виражену залежність від встановленого краніотипу. Так, максимальні значення цього параметру спостерігаються у брахікранів, середні – у мезокранів, мінімальні – у доліхокранів, при цьому, у чоловіків середні покажчики загальної товщини тім’яної кістки, товщини зовнішньої та внутрішньої пластинки, товщини диплоїчної речовини на 0,2-0,3 мм більше ніж у жінок. Встановлено краніотопографічні співвідношення швів та країв тім’яних кісток у залежності від крайніх типів будови черепа: прі брахікранії найбільші значення мають вінцевий та лусковий шви, при мезокранії відмічаються усереднені показники усіх вивчених швів, при доліхокранії наявне збільшення сагітального шва верхнього краю та ламбдоподібного шва, заднього краю тім’яних кісток, що підтверджено статистичними даними.Виявлення макроскопічних особливостей форми, розмірів і взаємовідношення відділів, країв і поверхонь тім'яних кісток дозволяють виробляти більш щадні оперативні прийоми, хірургічні доступи до тім'яних і потиличних часток головного мозку. При цьому відкриває нові технічні можливості по краніопластичним операціям, виготовленню кісткових алотрансплантатів, їх комп’ютерно-графічному моделюванню і багато чому іншому.^UThe conducted studies were performed on 130 preparations of bone structures of the head of adults from the collected collection of the Department of Human Anatomy of the Kharkiv National Medical University, in the amount of 82 bone preparations, including isolated parietal bones, as well as 48 tomograms obtained during the examination of patients. The basis of establishing a craniotype is the basic principle - the calculation of the cranial index, which allows classifying anatomical objects according to the shape of the head structure. To reveal the existing features of the structure and shape of the parietal bones, the following craniometric indicators were obtained: the length and width of the parietal humps, the parietal chord and the arc, and the curvature index of the parietal bone was calculated. Measurements were made of the angular dimensions of the parietal bones, the area, the thickness of the bone wall and its structural elements. The obtained data were analyzed for mature people of different genders and three established craniotypes.As a result of the research, it was established that the length of the parietal bones gradually increases in people with a brachycephalic head and skull shape; to people with mesocephali form; with reaching maximum values in people with dolichocephalic form. The width of the parietal bones is characterized by the largest values in brachycephals; mesocephals have averaged values; in dolichocephals a decrease in parameters.The parietal bones have two extreme forms of individual anatomical variability: expanded in people with a brachymorphic configuration of the head and skull; elongated-narrowed – in people with a dolichomorphic configuration, between them there are numerous averaged forms noted in people with mesomorphic origin.A mature person with a brachycranic type of head structure is characterized by a significant degree of curvature of the parietal bones when the curvature index varies from, due to an increase in the latitudinal dimensions of all sections of the cranial vault. In people with meso- and dolichocranial type of head structure, a reduction in curvature is noted and its smoothing appears over the entire area of the parietal bones.The total thickness of the parietal bone is clearly dependent on the established craniotype. The maximum values of this parameter are observed in brachycranial, medium - in mesocranial, minimum - in dolichocranial, at the same time, in men, the average indicators of the total thickness of the parietal bone, the thickness of the outer and inner plate, the thickness of the diploic substance are 0.2-0.3 mm more than in women.The craniotopographic ratios of the sutures and margins of the parietal bones were established depending on the extreme types of the structure of the skull: in brachycranial, the coronal and squamous sutures have the greatest values, in mesocranial the average values of all studied sutures are noted, in dolichocranial there is an increase in the sagittal suture of the upper edge and the lambdoid suture, posterior edges of the parietal bones, which is confirmed by statistical data.


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

      
3.

Єршов П. С. 
Інтелектуальна система комп’ютерної математики для математичного моделювання в науці і інженерії: автореферат дис. ... д.філософ : 113 / П. С. Єршов. — Б.м., 2024 — укp.

Дисертаційна робота присвячена розробленню принципів, алгоритмічного та програмного забезпечення інтелектуальної системи комп’ютерної математики для автоматизації процесу дослідження та розв’язування систем лінійних алгебраїчних з розрідженими матрицями на комп’ютерах гібридної архітектури. У вступі обґрунтовано актуальність теми, сформульовано мету та задачі досліджень, розкрито наукову новизну та практичну цінність роботи, представлено її загальну характеристику. Перший розділ присвячений огляду літератури за темою дисертації та обґрунтуванню вибору напрямку досліджень. У другому розділі досліджено математичний апарат комп’ютерного дослідження лінійних систем з наближеними даними; розроблено паралельний блочний алгоритм LLT-розвинення «хмарочосної» матриці, досліджено прискорення та ефективність паралельного алгоритму. У третьому розділі розроблено алгоритми автоматичного визначення структури розріджених матриць та їх регуляризації на основі методів машинного навчання та нейромережевих технологій. Побудовано згортковану нейронну мережу «Sparse Matrix Vision». Виконана програмна реалізація та проведено чисельні експерименти. У четвертому розділі розроблено принципи, архітектуру та склад інтелектуальної системи комп’ютерної математики (ІСКМ) для автоматизації процесу дослідження та розв’язування задач, запропоновано її комп’ютерну реалізацію. Наведено результати практичних розрахунків. Досліджено ефективність алгоритмічного і програмного забезпечення ІСКМ на низці задач математичного моделювання в будівельній галузі.^UThe dissertation is devoted to the development of principles, algorithmic support and software of an intelligent system of computer mathematics for automating the process of analysis and solving linear algebraic systems with sparse matrices on hybrid architecture computers. The introduction substantiates the relevance of the topic, formulates the purpose and tasks of the research, reveals the scientific novelty and practical value of the work, and presents its general characteristics. The first chapter is devoted to the review of the literature on the topic of the dissertation and justification of the choice of research direction. The second chapter explores the mathematical apparatus of computer research of linear systems with approximate data; a parallel block algorithm for LLT-factorization of "cloud" matrix was developed, the acceleration and efficiency of parallel algorithms were investigated. In the third chapter, algorithms for automatic identification of the structure of sparse matrices and their regularization based on machine learning methods and neural network technologies are developed. A convolutional neural network "Sparse Matrix Vision" was built. Software implementation and numerical experiments were carried out. In the fourth chapter, principles, architecture, and composition of the intelligent system of computer mathematics (ISCM) for automating the process of research and problem solving are developed, and its computer implementation is proposed. The results of practical computations are presented. The effectiveness of algorithmic and software of ISCM on a number of problems of mathematical modeling in the construction industry was studied.


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

      
4.

Ромащук О. М. 
Інтелектуальне сценарно-синергетичне керування технологічним комплексом цукрового заводу: автореферат дис. ... д.філософ : 151 / О. М. Ромащук. — Б.м., 2023 — укp.

Інтелектуальне сценарно-синергетичне керування технологічним комплексом цукрового заводу – Кваліфікаційна наукова праця на правах рукопису.Дисертація на здобуття наукового ступеня ступеня доктора філософії за спеціальністю 151 «Автоматизація та комп’ютерно-інтегровані технології» – Національний університет харчових технологій Міністерство освіти і науки України, Київ, 2023. Робота присвячена питанням збільшення ефективності роботи технологічного комплексу цукрового заводу шляхом визначення атрактивних ситуаційно-значущих зон для задач сценарного керування, і на основі оперативної інтелектуальної аналітичної обробки даних реалізувати ефективні ресурсоощадні стратегії управління з використанням інтелектуальних механізмів.Проаналізовано технологічний процес цукрового виробництва як складний об’єкт керування, оцінка рівня систем автоматизації дифузійного, сокоочисного і випарного відділень. Сформульовано проблеми керування матеріальними потоками цукрового заводу. Окреслено перспективи розвитку технологічного комплексу цукрового заводу на основі принципів і методів сучасної теорії автоматичного управління організаційно-технічними об'єктами.Визначено, що процес виробництва цукру має характеристики складної технологічної системи. Варто підкреслити, що існують процеси з різними фізико-хімічними явищами, багатофакторністю, нестаціонарністю, високою невизначеністю, нелінійністю та складністю. характер поведінки. Ці характеристики об’єктів вимагають використання передових теоретичних і практичних методів і базуються на сучасних інформаційних технологіях.Шляхом системного аналізу, експертних опитувань та когнітивного моделювання визначили пріоритетні технічні чинники, які покращують якість продукції, підвищують продуктивність обладнання та знижують питомі витрати матеріальних ресурсів у виробництві цукру. Проведений аналіз часових рядів основних змінних процесів дефекосатурації. Здійснено фільтрацію часових рядів, одержаних з реального об’єкта. Визначались показники Ляпунова як кількісна міра. Ці показники є одними з найважливіших характеристик атрактора, вони дозволяють визначити:• ентропію динамічної системи;• фрактальну розмірність атрактора;• характерний час передбачуваності системи;• поведінку системи. Показники Ляпунова слугують мірою хаотичності динамічної системи. Ці показники в досліджуваних часових дають зрозуімим те, що поведінка системи є не визначеною, хаотичною.Проведено реконструкцію хаотичних атракторів системи відповідно до теореми Такенса. Аналіз складного поведінки об'єкта, який в свою чергу включає хаотичні прояви поводження, проводиться за показниками кореляційної розмірності системи, кореляційної ентропії Колмогорова, показника Херста і фрактальної розмірності. Отримані результати дозволили зробити висновок про наявність ділянок у часових рядах з проявами детермінованого поведінки і з переходами в хаотичний або стохастичний режими, тобто утворенням дисипативних просторово-часових структур.Технічний комплекс цукрового заводу синтезовано з системою спільного керування.Тому організація ресурсозберігаючих керуючих впливів за заданими атракторами забезпечує відображення оптимального режиму роботи об’єкта. З використанням сучасних інформаційних технологій створено структуру, алгоритм та програмне забезпечення системи автоматизації управління технологічним комплексом цукрового заводу.Імітаційне моделювання та виробничі випробування запропонованого технічного рішення показали, що покращується якість продукції, підвищується ефективність виробництва на 1,9%, зменшується енерговитрата на 3,6%, зменшуються втрати цукру на 0,08%.Розроблене алгоритмічне та програмне забезпечення передано до впровадження на ВАТ Кашперівський цукровий завод. Також матеріали використовується у навчальному процесі в Національному університеті харчових технологій. Така довідка додається. Ключові слова: сценарно-синергетичне керування, автоматизований технолоічний комплекс, якість, інтелектуальна система керування, відділення дефекосатурації, системи управління, цукор, ідентифікація, автоматизація, математична модель, технологічний процес, вейвлет перетворення, математичне моделювання, модель, нейронні мережі.^UIntellectual scenario-synergistic management of the technological complex of a sugar factory - Qualification research paper with manuscript rights.Dissertation for obtaining the scientific degree of candidate of technical sciences in specialty 151 "Automation and computer-integrated technologies" - National University of Food Technologies of the Ministry of Education and Science of Ukraine, Kyiv, 2023.The work is devoted to the issues of increasing the efficiency of the technological complex of the sugar factory by determining attractive situationally significant zones for scenario management tasks, and on the basis of operational intelligent analytical processing of data to implement effective resource-saving management strategies using intelligent mechanisms.The technological process of sugar production as a complex object of management, the assessment of the level of automation systems of diffusion, juice cleaning and evaporation departments is analyzed. The problems of managing the material flows of the sugar factory are formulated. The prospects for the development of the technological complex of the sugar factory based on the principles and methods of the modern theory of automatic management of complex organizational and technical objects are outlined.It was determined that technological processes of sugar production have characteristic features of complex technological systems, among which it is worth highlighting the presence of processes with different nature of physico-chemical phenomena, multifactoriality, non-stationarity, high degree of uncertainty, nonlinearity, complex nature of behavior. Such features of the object require the application of advanced methods of theory and practice, as well as their implementation on the basis of modern information technologies.By means of system analysis, expert surveys and cognitive modeling, priority technical factors that improve product quality, increase equipment productivity and reduce the specific costs of material resources in sugar production were determined.The analysis of time series of the main variable processes of defecosaturation was carried out. Time series obtained from a real object were filtered. Lyapunov indices were determined as a quantitative measure. These indicators are one of the most important characteristics of the attractor, they allow you to determine:• entropy of the dynamic system;• the fractal dimension of the attractor;• characteristic time of system predictability;• system behavior. Lyapunov indices serve as a measure of the chaoticity of a dynamic system. These indicators in the studied time periods make it clear that the behavior of the system is undefined and chaotic.Reconstruction of chaotic attractors of the system was carried out in accordance with Takens' theorem. The analysis of the complex behavior of the object with intermittency, which includes chaotic manifestations, was carried out according to the indicators of correlation dimension, Kolmogorov correlation entropy, Hurst index and fractal dimension. The technical complex of the sugar factory is synthesized with a joint control system. Therefore, the organization of resource-saving control influences according to the given attractors ensures the display of the optimal operating mode of the object.With the use of modern information technologies, the structure, algorithm and software of the automation system for managing the technological complex of the sugar factory were created.Simulation modeling and production tests of the proposed technical solution showed that product quality improves, production efficiency increases by 1.9%, energy consumption decreases by 3.6%, and sugar losses decrease by 0.07%.The developed algorithmic and software was transferred to the JSC Kashperiv sugar factory for implementation and is used in the educational process at the department of automation and intelligent control systems of the National University of Food Technologies, as evidenced by relevant certificates.Key words: scenario-synergistic control, automated technological complex, quality, intelligent control system, defecosaturation department, control systems, sugar, identification, automation, mathematical model, technological process, wavelet transformation, mathematical modeling, model, neural networks.


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

      
5.

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

На сьогодні, актуальною науковою задачею є розроблення інформаційної технології ідентифікації змін емоційного стану людини за мімічними проявами, яка забезпечить підвищення точності ідентифікації різких змін емоційного стану за відеопотоком в режимі реального часу, що у такий спосіб дасть змогу покращити процес виявлення аномальної поведінки групи людей в натовпі для систем, що відповідають вимогам безпеки. У результаті виконання дисертаційної роботи було розв’язано актуальну науково-прикладну задачу покращення процесу виявлення аномальної поведінки групи людей у натовпі за їхніми мімічними проявами у системах, що відповідають вимогам безпеки.Об’єктом дослідження є процес виявлення аномальної поведінки групи людей у натовпі за їхніми мімічними проявами у системах, що відповідають вимогам безпеки.Предметом дослідження є моделі, методи та засоби інформаційної технології ідентифікації змін емоційного стану людини за мімічними проявами для систем, що відповідають вимогам безпеки.Метою дисертаційної роботи є підвищення точності ідентифікації змін емоційного стану людини за мімічними проявами шляхом розроблення інформаційної технології для виявлення аномальної поведінки групи людей у натовпі за їхніми мімічними проявами у системах, що відповідають вимогам безпеки.Наукова новизна одержаних результатів полягає в наступному:1) розроблено нову модель подання мімічних проявів емоційних станів людини, у якій на відміну від аналогів стійко групуються та розділяються основні класи емоцій, що дало змогу використовувати зображення з низькою роздільною здатністю в камерах відеоспостереження та виявляти різкі зміни емоційного стану;2) розроблено новий метод геометричної інтерпретації ділянок обличчя, який на відміну від аналогів дає можливість прозоро отримувати характерні ознаки мімічної активності, що дозволило з малою обчислювальною складністю аналізувати зображення з низькою роздільною здатністю;3) удосконалено метод гіперплощинної класифікації для ідентифікації мімічних проявів емоційних станів, який на відміну від аналогів дозволяє будувати гіперплощину розмежування у векторному просторі ознак за принципом «людина-у-петлі», що дало змогу отримати класифікатори для виявлення різких змін емоційних станів;4) одержала подальшого розвитку інформаційна технологія ідентифікації різких змін емоційного стану, яка відрізняється від аналогів простою моделлю, прозорим та зрозумілим виділенням ознак та класифікацією, що дало змогу локалізувати групи людей з різкою зміною емоційного стану за матеріалами зовнішньої відеофіксації з високим показником точності.Поєднання в інформаційній технології нової моделі подання мімічних проявів, нового методу геометричної інтерпретації та вдосконаленого методу гіперплощинної класифікації дало змогу отримати високу точність класифікації емоційних станів людини (до 82,42%), що надає працівникам служби безпеки надійний та ефективний інструмент для розуміння динаміки натовпу і прогнозування потенційних ризиків для безпеки під час масового скупчення людей. Результати експериментальних тестувань із використанням розробленого прототипу програмного забезпечення підтверджують вірність наукових положень запропонованої інформаційної технології, оскільки її впровадження дає змогу підвищити достовірність виявлення аномальної поведінки за мімічними проявами на 0,91-2,20%, залежно від різних емоцій та умов навколишнього середовища, та знизити ймовірність виникнення помилки під час ідентифікації різких змін емоційних станів на 0,23 %-2,21 % порівняно із сучасними аналогами.Теоретичні та практичні результати дослідження впроваджені в ПП «ШЕЛТЕР ПЛЮС» (м. Хмельницький), ТОВ “ІТСАЙТС” (м. Хмельницький) та в освітньому процесі Хмельницького національного університету під час викладання дисциплін на кафедрі комп’ютерних наук для спеціальності 122 Комп’ютерні науки, а також при виконанні науково-дослідних робіт за двома держбюджетними темами Хмельницького національного університету “Агентно-орієнтована система підвищення безпеки та якості програмного забезпечення комп’ютерних систем” та “Розроблення інформаційної технології прийняття контрольованих людиною критично-безпекових рішень за ментально-формальними моделями машинного навчання”, в яких автор дисертації був безпосереднім виконавцем.^UНа сьогодні, актуальною науковою задачею є розроблення інформаційної технології ідентифікації змін емоційного стану людини за мімічними проявами, яка забезпечить підвищення точності ідентифікації різких змін емоційного стану за відеопотоком в режимі реального часу, що у такий спосіб дасть змогу покращити процес виявлення аномальної поведінки групи людей в натовпі для систем, що відповідають вимогам безпеки. У результаті виконання дисертаційної роботи було розв’язано актуальну науково-прикладну задачу покращення процесу виявлення аномальної поведінки групи людей у натовпі за їхніми мімічними проявами у системах, що відповідають вимогам безпеки.Об’єктом дослідження є процес виявлення аномальної поведінки групи людей у натовпі за їхніми мімічними проявами у системах, що відповідають вимогам безпеки.Предметом дослідження є моделі, методи та засоби інформаційної технології ідентифікації змін емоційного стану людини за мімічними проявами для систем, що відповідають вимогам безпеки.Метою дисертаційної роботи є підвищення точності ідентифікації змін емоційного стану людини за мімічними проявами шляхом розроблення інформаційної технології для виявлення аномальної поведінки групи людей у натовпі за їхніми мімічними проявами у системах, що відповідають вимогам безпеки.Наукова новизна одержаних результатів полягає в наступному:1) розроблено нову модель подання мімічних проявів емоційних станів людини, у якій на відміну від аналогів стійко групуються та розділяються основні класи емоцій, що дало змогу використовувати зображення з низькою роздільною здатністю в камерах відеоспостереження та виявляти різкі зміни емоційного стану;2) розроблено новий метод геометричної інтерпретації ділянок обличчя, який на відміну від аналогів дає можливість прозоро отримувати характерні ознаки мімічної активності, що дозволило з малою обчислювальною складністю аналізувати зображення з низькою роздільною здатністю;3) удосконалено метод гіперплощинної класифікації для ідентифікації мімічних проявів емоційних станів, який на відміну від аналогів дозволяє будувати гіперплощину розмежування у векторному просторі ознак за принципом «людина-у-петлі», що дало змогу отримати класифікатори для виявлення різких змін емоційних станів;4) одержала подальшого розвитку інформаційна технологія ідентифікації різких змін емоційного стану, яка відрізняється від аналогів простою моделлю, прозорим та зрозумілим виділенням ознак та класифікацією, що дало змогу локалізувати групи людей з різкою зміною емоційного стану за матеріалами зовнішньої відеофіксації з високим показником точності.Поєднання в інформаційній технології нової моделі подання мімічних проявів, нового методу геометричної інтерпретації та вдосконаленого методу гіперплощинної класифікації дало змогу отримати високу точність класифікації емоційних станів людини (до 82,42%), що надає працівникам служби безпеки надійний та ефективний інструмент для розуміння динаміки натовпу і прогнозування потенційних ризиків для безпеки під час масового скупчення людей. Результати експериментальних тестувань із використанням розробленого прототипу програмного забезпечення підтверджують вірність наукових положень запропонованої інформаційної технології, оскільки її впровадження дає змогу підвищити достовірність виявлення аномальної поведінки за мімічними проявами на 0,91-2,20%, залежно від різних емоцій та умов навколишнього середовища, та знизити ймовірність виникнення помилки під час ідентифікації різких змін емоційних станів на 0,23 %-2,21 % порівняно із сучасними аналогами.Теоретичні та практичні результати дослідження впроваджені в ПП «ШЕЛТЕР ПЛЮС» (м. Хмельницький), ТОВ “ІТСАЙТС” (м. Хмельницький) та в освітньому процесі Хмельницького національного університету під час викладання дисциплін на кафедрі комп’ютерних наук для спеціальності 122 Комп’ютерні науки, а також при виконанні науково-дослідних робіт за двома держбюджетними темами Хмельницького національного університету “Агентно-орієнтована система підвищення безпеки та якості програмного забезпечення комп’ютерних систем” та “Розроблення інформаційної технології прийняття контрольованих людиною критично-безпекових рішень за ментально-формальними моделями машинного навчання”, в яких автор дисертації був безпосереднім виконавцем.


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

      
6.

Дерман В. А. 
Інформаційна технологія автоматизованого екологічно управління станом природно-техногенної геосистеми в умовах ведення бойових дій: автореферат дис. ... д.філософ : 151 / В. А. Дерман. — Б.м., 2024 — укp.

Дерман В.А. Інформаційна технологія екологічного управління станом природно-техногенної геосистеми в умовах ведення бойових дій – Кваліфікаційна наукова праця на правах рукопису.Дисертація на здобуття наукового ступеня доктора філософії за спеціальністю 151 «Автоматизація та комп’ютерно-інтегровані технології» - Національний університет харчових технологій Міністерства освіти і науки України, Київ, 2023.Метою дисертаційної роботи є наукове обґрунтування підвищенні рівня екологічної та техногенної безпеки на територіях природно-техногенних геосистем за рахунок впровадження інформаційної технології для систем автоматизованого адаптивного екологічного управління. У першому розділі дисертації проведено аналіз досліджень в сфері автоматизованого екологічного управління станом природно-техногенної геосистеми. За результатами аналізу визначено кількісні та якісні методи підвищення рівня інформаційного забезпечення процесів управління екологічною безпекою в умовах ведення бойових дій. На забезпечення необхідного рівня інформаційного забезпечення екологічної безпеки проведено постановку наукового завдання. Таким чином, в галузі автоматизованого управління природно-техногенною екосистемою існує нагальна потреба в отриманні додаткових ресурсів на забезпечення автоматизованого управління екологічною безпекою, яку можливо задовольнити за рахунок удосконалення моделей, алгоритмів і процедур ергатичної системи управління природно-техногенною геосистемою. Тому розробка інформаційної технології для управління станом природно-техногенної геосистеми із використанням експертно-моделюючої системи дозволяє підвищити рівень екологічної безпеки і є актуальним науковим завданням.У другому розділі дисертації розроблено алгоритми формування програмно апаратного комплексу для забезпечення автоматизованого управління станом природно техногенної геосистеми. Комплексне застосування математичного апарату експертних методів у галузі екологічного оцінювання дозволило побудувати нові процедури для ранжування загроз від впливу ведення БД на вектор екологічного стану навколишнього природного середовища. На основі визначення складу і структури чинників потоку воєнно-техногенного навантаження розроблено узагальнену причинно-наслідкову діаграму, що може бути основою для складання плану взаємопов'язаних заходів з автоматизованого управління станом військової природно-техногенної геосистеми. Це забезпечить комплексне вирішення задачі автоматизованого екологічного управління, поставленої в системі екологічного моніторингу бойових дій під час аналізу результатів моніторингу. У відповідності до сформованих згідно процедури векторів забруднення військової природно-техногенної геосистеми та розподілу забруднюючих речовин за військовими об’єктами районів ведення БД були сформовані набори датчиків первинної інформації для проведення вимірювань на відповідних військових об’єктах.У третьому розділі дисертації розроблено математичні моделі, що дозволяють розраховувати оптимальні плани оцінювання техногенного впливу озброєння і військової техніки на НПС за обмежень на загальну кількість вимірів з урахуванням вагових коефіцієнтів ЧВТН і пріоритетів територій в умовах “визначеності” та “невизначеності” з мінімізацією фінансових ресурсів на проведення досліджень. Проведено дослідження математичних моделей оптимального планування вимірів на території БД та отримані достатні, а в деяких випадках і необхідні умови існування розв’язків розглянутих задач. Розроблені алгоритми дозволяють знаходити оптимальні цілочислові плани проведення вимірів для різних випадків і знаходити цілочислові плани проведення вимірів для задач великої розмірності, що задовольняють умовам точності.На основі теорії двоїстості лінійного програмування отримані розрахункові співвідношення, що дозволяють знаходити компоненти нецілих числових оптимальних планів розглянутих задач. Отримані співвідношення дозволяють оцінити компоненти оптимального плану для заданого бюджету на моніторинг, розрахувати бюджет при обмеженні на зважену кількість вимірів та відсутності додаткових директивних вимог на кількість вимірів. На підставі теорії оптимальності Куна-Таккера розроблені співвідношення для визначення компонентів нецілочислового оптимального плану в умовах невизначеності для нелінійної цільової функції.Четвертий розділ дисертаційної роботи містить результати комп’ютерного моделювання стійкості ВПТГС. У роботі виявлено низку визначальних чинників:внутрішня неоднорідність властивостей компонентів геосистеми; рівень ієрархії елементів геосистеми, складові яких можуть виступати в якості індикаторів (метод екосистемної індикації стану природного середовища військового ТВБД); вторинні компоненти – рослинний покрив (первинна продуктивність екосистеми може виступати індикатором її стійкості) та ґрунти (можуть виступати індикатором депонуючих властивостей – техноємності ВПТГС).^UDerman V.A. Information technology of environmental management of the state of the natural and man-made geosystem in the conditions of conducting military operations - Qualification scientific work with the rights of the manuscript.Dissertation for the degree of Doctor of Philosophy in specialty 151 "Automation and computer-integrated technologies" - National University of Food Technologies of the Ministry of Education and Science of Ukraine, Kyiv, 2023.The aim of the dissertation is the scientific justification of increasing the level of ecological and man-made safety in the territories of natural-man-made geosystems due to the introduction of information technology for systems of automated adaptive environmental management.In the first chapter of the dissertation, an analysis of research in the field of automated environmental management of the state of the natural and man-made geosystem is carried out. Based on the results of the analysis, quantitative and qualitative methods of increasing the level of information support of environmental security management processes in the conditions of hostilities were determined. A scientific task was set to ensure the necessary level of information provision of environmental safety. Thus, in the field of automated management of the natural and man-made ecosystem, there is an urgent need to obtain additional resources to ensure the automated management of environmental safety, which can be satisfied by improving models, algorithms and procedures of the energetic system of management of the natural and man-made geosystem. Therefore, the development of information technology for managing the state of the natural and man-made geosystem using an expert modeling system allows to increase the level of environmental safety and is an urgent scientific task.In the second chapter of the dissertation, algorithms for the formation of a software-hardware complex are developed to ensure automated management of the state of the naturally man-made geosystem. The complex application of the mathematical apparatus of expert methods in the field of environmental assessment made it possible to build new procedures for ranking threats from the impact of database management on the vector of the ecological state of the natural environment. Based on the determination of the composition and structure of the factors of the flow of military man-made load, a generalized cause and effect diagram was developed, which can be the basis for drawing up a plan of interrelated measures for the automated management of the state of the military natural man-made geosystem. This will provide a comprehensive solution to the task of automated environmental management, set in the system of environmental monitoring of hostilities during the analysis of monitoring results. In accordance with the pollution vectors of the military natural and man-made geosystem formed according to the procedure and the distribution of polluting substances by military facilities in the DB management areas, sets of sensors of primary information were formed for conducting measurements at the relevant military facilities.In the third chapter of the dissertation, mathematical models were developed that allow for the calculation of optimal plans for assessing the man-made impact of weapons and military equipment on the NPS under restrictions on the total number of measurements, taking into account the weighting coefficients of the CHVTN and the priorities of the territories in conditions of "certainty" and "uncertainty" with the minimization of financial resources for conducting research. A study of mathematical models of optimal planning of measurements on the territory of the database was conducted and sufficient, and in some cases, necessary conditions for the existence of solutions to the considered problems were obtained.The developed algorithms make it possible to find optimal integer measurement plans for various cases and to find integer measurement plans for large-dimensional problems that satisfy the accuracy conditions.On the basis of the theory of duality of linear programming, calculated relations are obtained that allow finding the components of non-integer numerical optimal plans of the considered problems. The obtained ratios make it possible to evaluate the components of the optimal plan for a given monitoring budget, to calculate the budget with a limit on the weighted number of measurements and the absence of additional directive requirements on the number of measurements. On the basis of the Kuhn-Tucker optimality theory, relations were developed for determining the components of a non-integer optimal plan under conditions of uncertainty for a nonlinear objective function.


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

      
7.

Мороз О. Ю. 
Інформаційна технологія верифікації паралельних часопараметризованих програм інформаційних управляючих систем: автореферат дис. ... д.філософ : 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 Пошук видання у каталогах НБУВ 

      
8.

Попель В. А. 
Інформаційна технологія підвищення живучості об'єктів критичної енергетичної інфраструктури за фактором управління системою інформаційної безпеки.: автореферат дис. ... д.філософ : 151 / В. А. Попель. — Б.м., 2024 — укp.

Метою дисертаційної роботи є наукове обґрунтування підвищення рівня інформаційної безпеки системи управління комплексом об’єктів критичної енергетичної інфраструктури за рахунок удосконалення підсистеми інформаційної безпеки.У першому розділі дисертації розглянуто методи підвищення рівня інформаційної безпеки на об’єктах критичної інфраструктури, в тому числі об’єднаних в територіальні або галузеві комплекси та зроблено висновок про можливість отримання комплексного ефекту оптимізації витрат ресурсів на забезпечення належного рівня інформаційної безпеки та отримання його підвищення при витратах аналогічного обсягу ресурсів за умови удосконалення системи управління інформаційною безпекою.На забезпечення необхідного рівня інформаційної безпеки на об’єкті критичної інфраструктури впливає низка факторів, зокрема складність інфраструктури, середовище загроз, правила та вимоги відповідності, людські ресурси, технології, необхідність накопичення знань та навчання. Однак вартість незахищеної критичної інфраструктури може бути ще вищою, включаючи фінансові втрати, репутаційну шкоду та навіть втрату життя в деяких випадках. Неприйнятним є шлях економії ресурсів на елементах інформаційної безпеки, в той же час наявні ресурси обмежені і джерела їх отримання мають визначені можливості. Таким чином, в галузі кібербезпеки існує нагальна потреба в отриманні додаткових ресурсів на забезпечення інформаційної безпеки, яку можливо задовольнити за рахунок удосконалення системи управління інформаційною безпекою. Тому розробка кращих правил побудови системи управління інформаційної безпеки, застосування яких дозволяє підвищити рівень інформаційної безпеки без витрати додаткових ресурсів є актуальною задачею.У другому розділі дисертації представлено обґрунтування математичної моделі, що застосовується для оцінки ризиків, характерних для об’єктів критичної інфраструктури.У третьому розділі дисертації наведено аналіз методів визначення показників ефективності системи управління захистом критичної інфраструктури, акцент зроблено на об’єктах критичної енергетичної інфраструктури. Обґрунтовані можливості оптимізації процесів управління ресурсами при забезпеченні належного рівня безпеки об’єктів, наведена розрахункова модель визначення оптимальних витрат на забезпечення параметрів безпеки об’єкту критичної енергетичної інфраструктури. Запропоновано типову структуру системи автоматизованого управління, завданням якої є моніторинг та оцінка поточного стану ризиків системи критичної інфраструктури, підтримка прийняття рішень при управлінні системою безпеки.Четвертий розділ дисертаційної роботи містить результати аналізу ризиків критичної інфраструктури Київського регіону, що базується на основі комп’ютерного моделювання з використанням обраного математичного апарату та реальних даних загроз та стану об’єктів критичної інфраструктури. На основі проведених досліджень і розрахунків розроблено Методику оцінки ризиків критичної інфраструктури, яка застосована при розробці нормативно-правового акту Адміністрації Держспецзв’язку, який має пройти реєстрацію в Міністерстві юстиції України і прийнятий до виконання до кінця 2023 року. Методика містить перелік вимог та опис практик, застосування яких забезпечить виконання чинних вимог безпеки для системи захисту критичної інфраструктури України.Проведене дисертаційне дослідження дозволило отримати наступні нові наукові результати:- вперше розроблено методику оцінювання ефективності системи інформаційної безпеки комплексу об’єктів критичної енергетичної інфраструктури, яка відрізняється від існуючих системою критеріальних показників й алгоритмом обчислення, що дозволяють підвищити рівень захищеності об’єктів, в тому числі в умовах ракетно-дронових ударів по об’єктах критичної енергетичної інфраструктури.- удосконалено математичну модель обчислення загроз для комплексу об’єктів критичної енергетичної інфраструктури в умовах збройного конфлікту, яка відрізняється від існуючих застосуванням апарату нечітких множин, що дозволяє отримати оцінки загроз в умовах апріорної невизначеності засобів ураження об’єктів критичної енергетичної інфраструктури.- отримали подальший розвиток науково-методичні і науковоорганізаційні рекомендації щодо формування оптимальної за складом інформаційного ресурсу підсистеми інформаційної безпеки за рахунок застосування сучасних інформаційних технологій, що дозволяють досягти підвищення рівня інформаційної безпеки для системи автоматизованого управління комплексом об’єктів критичної енергетичної інфраструктури країни.^UThe aim of the dissertation is the scientific justification of increasing the level of information security of the management system of a complex of critical energy infrastructure objects due to the improvement of the information security subsystem.In the first chapter of the dissertation, the methods of increasing the level of information security at critical infrastructure facilities, including those united in territorial or sectoral complexes, are considered, and a conclusion is drawn about the possibility of obtaining a comprehensive effect of optimizing resource costs to ensure the appropriate level of information security and obtaining its increase at costs of a similar amount of resources under the condition of improving the information security management system. A number of factors, including the complexity of the infrastructure, the threat environment, regulations and compliance requirements, human resources, technology, and the need for knowledge and training, affects ensuring the required level of information security at a critical infrastructure facility. However, the cost of unprotected critical infrastructure can be even higher, including financial loss, reputational damage, and even loss of life in some cases. It is unacceptable to save resources on elements of information security, at the same time the available resources are limited and the sources of their receipt have certain capabilities. Thus, in the field of cyber security, there is an urgent need to obtain additional resources to ensure information security, which can be met by improving the information security management system. Therefore, the development of better rules for building an information security management system, the application of which allows you to increase the level of information security without spending additional resources, is an urgent task.The second chapter of the thesis presents the justification of the mathematical model used to assess risks specific to critical infrastructure objects.The third chapter of the dissertation provides an analysis of the methods of determining the performance indicators of the critical infrastructure protection management system, with an emphasis on critical energy infrastructure facilities. Reasoned opportunities for optimization of resource management processes while ensuring the proper level of safety of objects, a calculation model for determining the optimal costs for ensuring the safety parameters of a critical energy infrastructure object are presented. A typical structure of the automated management system is proposed, the task of which is to monitor and assess the current state of risks of the critical infrastructure system, support decision-making in the management of the security system.The fourth chapter of the dissertation contains the results of the risk analysis of the critical infrastructure of the Kyiv region, which is based on computer modeling using the selected mathematical apparatus and real data on threats and the state of critical infrastructure objects.Based on the conducted research and calculations, the Critical Infrastructure Risk Assessment Methodology was developed, which was used in the development of a regulatory act of the State Special Communications Administration, which must be registered with the Ministry of Justice of Ukraine and accepted for implementation by the end of 2023. The methodology contains a list of requirements and a description of practices, the application of which will ensure the fulfillment of current security requirements for the system of protection of critical infrastructure of Ukraine.The conducted dissertation research made it possible to obtain the following new scientific results:- for the first time, a methodology for evaluating the effectiveness of the information security system of a complex of critical energy infrastructure facilities was developed, which differs from the existing system of criteria indicators and a calculation algorithm that allow to increase the level of security in the conditions of missile and drone strikes on critical energy infrastructure facilities.- the mathematical model for calculating threats for a complex of critical energy infrastructure objects in conditions of armed conflict has been improved, which differs from the existing ones by using the apparatus of fuzzy sets, which allows obtaining threat estimates in conditions of a priori uncertainty of the means of damage to critical energy infrastructure objects.- the scientific-methodical and scientific-organizational recommendations regarding the formation of an information security subsystem optimal in terms of the composition of the information resource received further development due to the use of modern information technologies, which allow to achieve an increase in the level of information security for the system of automated management of the complex of objects of the country's critical energy infrastructure.


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

      
9.

Семененко Ю. С. 
Інформаційно-аналітичне забезпечення системи впливу самоменеджменту на ефективність діяльності компанії: автореферат дис. ... д.філософ : 051 / Ю. С. Семененко. — Б.м., 2024 — укp.

У дисертаційній роботі проведено аналіз теоретичних основ формування і обгрунтовано концептуальні засади поняття ефективності та підходів до оцінки ефективності діяльності підприємства. Розкрито суть поняття самоменеджменту та обгрунтовано його вплив на ефективність діяльності високотехнологічної компанії. Досліджено вплив інформаційних технологій на конкурентоспроможність компанії. Встановлено, що на ефективність діяльності високотехнологічної компанії може впливати велика кількість факторів. Досліджено та розраховано вплив кожного з факторів. Удосконалено науково-методичний підхід до розрахунку ефективності діяльності компанії, який у доповнення до існуючих підходів, враховує вплив функцій та технологій самоменеджменту на основі застосування еластичності індексу впливу самоменеджменту, що дозволяє здійснювати прогноз та планування діяльності компаній. ?Розроблено методику управління ефективністю підбору та адаптації персоналу на підприємстві. Створено програмний інструментарій для управління ефективністю діяльності компанії, який дозволяє автоматизувати велику кількість бізнес-процесів та збільшити ефективність діяльності кожного окремого працівника з допомогою технологій самоменеджменту. Об’єктом дослідження є процеси оцінки та прогнозування ефективності діяльності підприємств.Мета і завдання дослідження. Метою дисертаційного дослідження є формування теоретико-методичних основ і науково-практичних рекомендацій щодо побудови, впровадження та реалізації інформаційно-аналітичного забезпечення системи впливу функцій і технологій самоменеджменту на проекти та ефективність діяльності компанії. У рамках даного дослідження використано наступні методи наукового дослідження: діалектичний метод для вивчення процесів становлення підходів до оцінки ефективності діяльності підприємств та впровадження самоменеджменту (пункти 1.1, 1.2, 1.3); метод опитування для оцінки впливу різних факторів на ефективність діяльності компанії та рівня самоменеджменту в різних проектах (пункти 2.1, 3.3); метод кількісних та якісних порівнянь для оцінки впливу самоменеджменту на ефективність окремих команд в ІТ проектах (пункт 3.3); метод системного аналізу для оцінки впливу самоменеджменту на ефективність діяльності компанії (пункт 2.2); метод комп’ютерного симулювання для моделювання впливу самоменеджменту на ефективність діяльності компанії (пункт 2.4); графічний метод для наочного відображення результатів дослідження у всіх розділах.Наукова новизна отриманих результатів полягає в системному дослідженні та розробці інформаційно-аналітичного інструментарію для оцінки рівня ефективності діяльності компаній, з урахуванням впливу самоменеджменту, на основі математичних методів та моделей. Результати дослідження виокремлюються наступним чином:Вперше:-?розроблено програмний засіб для управління ефективністю діяльності компанії з урахуванням впливу самоменеджменту, що дозволяє автоматизувати значну кількість бізнес-процесів та підвищити ефективність роботи кожного працівника. Удосконалено: -?науково-методичний підхід до розрахунку ефективності діяльності компанії, який у доповнення до існуючих підходів, враховує вплив функцій та технологій самоменеджменту на основі застосування еластичності індексу впливу самоменеджменту, що дозволяє здійснювати прогноз та планування діяльності компаній.-?методику ефективного підбору та стажування нових працівників, що на відміну від існуючих підходів, базується на профілях компетенцій. Контроль за процесом ефективності стажування здійснюється за допомогою чітких показників ефективності. Отримано подальший розвиток:-?понятійно-категоріальний апарат самоменеджменту, напрямів та критеріїв впровадження самоменеджменту як ефективного інструменту для підвищення ефективності діяльності компанії;-?алгоритм управління ефективністю, що на відміну від існуючих підходів, базується на КPI та допомогає подолати основні перешкоди які виникають в процесі підвищення ефективності діяльності компанії;-?науково-методичний підхід щодо модульної побудови автоматизованих систем та окремих варіантів їх комбінування, що дозволяє автоматизувати процеси проектної діяльності високотехнологічних компаній та підвищити їх ефективність.Практичне значення одержаних результатів полягає у розробці методології підбору та адаптації персоналу, формули оцінки ефективності діяльності компанії з врахуванням впливу самоменеджменту та створенні інформаційної системи для управління ефективністю діяльності компанії та самоменеджменту.Наукові розробки, висновки та практичні рекомендації автора були використані в практичній діяльності: ТОВ «АВТОМАТИЗАЦІЯ БІЗНЕСУ» (Довідка №07-1 від 07.11.2023р.), ТОВ «АПІКО УКРАЇНА» (Довідка №6112023001 від 06.11.2023р.), ТОВ «Агрокомпанія «Дружба» (Довідка №301023 від 30.10.2023р.). Основні положення та результати дисертаційної роботи використано у навчальному процесі Західноукраїнського національного університету.^UThe dissertation conducts an analysis of the theoretical foundations, justifying the conceptual principles of efficiency and approaches to evaluating enterprise performance. It reveals the essence of self-management and substantiates its impact on the efficiency of a high-tech company. The study explores the influence of information technologies on company competitiveness and calculates the impact of various factors on company performance. It improves the scientific approach to calculating company efficiency, considering the influence of self-management. The research develops a methodology for managing the efficiency of personnel selection and adaptation and creates a software toolkit for company efficiency management, automating numerous business processes and enhancing the effectiveness of each individual employee through self-management technologies.The object of the research is the processes of assessing and forecasting the efficiency of enterprise activities.The goal and objectives of the research are to form theoretical and methodological foundations and provide scientific and practical recommendations for the construction, implementation, and realization of information-analytical support for the impact of self-management functions and technologies on projects and company efficiency.The following scientific research methods were utilized in this study: dialectical method for studying the processes of forming approaches to evaluating enterprise performance and implementing self-management (sections 1.1, 1.2, 1.3); survey method to assess the impact of various factors on company performance and the level of self-management in different projects (sections 2.1, 3.3); quantitative and qualitative comparison methods to evaluate the impact of self-management on the efficiency of individual teams in IT projects (section 3.3); systemic analysis method to assess the impact of self-management on company performance (section 2.2); computer simulation method to model the impact of self-management on company efficiency (section 2.4); graphical method for visual representation of research results in all sections.The scientific novelty of the obtained results lies in the systemic research and development of information-analytical tools for assessing the level of company efficiency, taking into account the impact of self-management, based on mathematical methods and models. The results of the research are highlighted as follows:For the first time:-?A software tool has been developed to manage company efficiency, considering the impact of self-management, enabling the automation of a significant number of business processes and increasing the efficiency of each employee's work.Enhancements:-?A scientific-methodical approach to calculating company efficiency has been improved. In addition to existing approaches, it considers the impact of self-management functions and technologies based on the application of the elasticity of the self-management impact index, allowing for forecasting and planning the activities of companies.-?A methodology for effective selection and training of new employees has been developed, which, unlike existing approaches, is based on competency profiles. Monitoring the efficiency of training is carried out using clear efficiency indicators.Further development:-?The conceptual-categorical apparatus of self-management, directions, and criteria for implementing self-management as an effective tool for increasing company efficiency.-?An efficiency management algorithm, which, unlike existing approaches, is based on KPI and helps overcome the main obstacles that arise in the process of improving company efficiency.-?A scientific-methodical approach to the modular construction of automated systems and individual combinations of their variants, allowing for the automation of project activities in high-tech companies and increasing their efficiency.The practical significance of the obtained results lies in the development of a methodology for selecting and adapting personnel, formulating efficiency criteria considering the impact of self-management, and creating an information system for managing company efficiency and self-management.The author's scientific developments, conclusions, and practical recommendations have been applied in the practical activities of companies: LLC "Business Automation" (Certificate No. 07-1 dated November 7, 2023), LLC "APIKO UKRAINE" (Certificate No. 6112023001 dated November 6, 2023), LLC "Agrocompany "Druzhba" (Certificate No. 301023 dated October 30, 2023). The main provisions and results of the dissertation work have been used in the educational process of Western Ukrainian National University.


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

      
10.

Вакарчук А. Б. 
Аналіз впливу динаміки числових методів на характеристики електромеханічних систем з цифровим керуванням: автореферат дис. ... д.філософ : 141 / А. Б. Вакарчук. — Б.м., 2023 — укp.

Дисертація присвячена вирішенню науково-технічної проблеми розвитку теорії та методів аналізу динамічних режимів електромеханічних систем на основі застосування числових методів та аналізу їх впливу на характеристики електромеханічних систем.У роботі досліджено вплив числових методів розв’язування звичайних диференціальних рівнянь на поведінку цифрової моделі з коригуванням методів шляхом вибору відповідного кроку інтегрування. У цифрових системах реального часу, якими є електромеханічні системи, крок інтегрування є фіксованим і наперед заданим, що також має певний вплив на поведінку системи. Тому, з погляду задач електроенергетики та електромеханіки, актуальним залишається вивчення впливу різних підходів та методів на систему, яка моделюється та досліджується, як прототип реальних систем для побутового чи промислового застосування.У розділі 1 «Аналіз стану проблеми, постановка задачі досліджень» виконано аналіз літературних джерел за тематикою роботи. Розглянуто теоретичні засади числових методів, їх застосування та реалізація. Наведено основні відомості про використання числових методів на основі існуючих досліджень та публікацій. У розділі 2 «Аналіз числових методів інтегрування як елементів цифрових систем» наведено методи аналізу поведінки числових методів, підходи до їх вивчення та реалізації. Під час аналізу числових методів, які базуються на принципі інтегрування проаналізовано їхні переваги, недоліки та підходи до виключення, або навпаки подальшого використання для досліджень. Проведені дослідження їх ефективності, стійкості та відповідності задачам електромеханіки. виконано дослідження для дискретизації цифрових систем керування за допомогою числових методів. Для цього, їх розглянуто як цифрові фільтри, які є складовою частиною цифрової системи. Аналіз таких цифрових фільтрів реалізовано за допомогою z-перетворень. У процесі досліджень було з’ясовано, що кожен числовий метод (як цифровий фільтр) починає від себе додавати вплив на результуючу цифрової моделі, тобто, на поведінку моделі накладається поведінка числового методу. В якості одного способу виявлення цього явища обрано класичний метод частотних характеристик, а також запропоновано для аналізу використати розподіл нулів/полюсів дискретної системи на комплексній площині. За допомогою останнього методу було отримано наочний результат накладання поведінки числових методів на поведінку моделі. Поява нових додаткових нулів та полюсів дискретної системи порівняно з неперервним прототипом відчутно ускладнює результуючу цифрову модель системи. Таким чином, проведені дослідження показали доцільність використання числових методів низьких порядків з метою збереження кількості нулів/полюсів.У розділі 3 «Метод відповідності нулів і полюсів як раціональний метод синтезу цифрових систем» досліджено ефективність застосування z-перетворення, а саме – методу відображення нулів/полюсів, для створення моделей реального часу. Здійснено ретроспективний аналіз засад виникнення методу та описано основні принципи його реалізації і застосування. Вивчено ефективність реалізації методу відображення нулів і полюсів для аналізу електромеханічних систем. На прикладі моделювання динамічних ланок першого та другого порядків наведено спосіб застосування методів, переваги та нюанси такого застосування. Зроблено узагальнюючий висновок про те, що Z-перетворення дає змогу отримати прості та ефективні рекурентні формули моделювання на основі методу відображення полюс/нуль.У розділі 4 «Експериментальні дослідження. Верифікація результатів» описано розроблені здобувачкою комп’ютерні моделі електротехнічних систем. На їх основі було проведено експериментальні дослідження та наведено результати експерименту з мікроконтролером.У процесі виконання досліджень за темою дисертації було з’ясовано, що кожен числовий метод (як цифровий фільтр) починає вносити вплив на результуючу цифрову модель. Таким чином, зроблено висновок, що на поведінку моделі накладається поведінка числового методу. В якості одного зі способів виявлення цього явища обрано класичний метод частотних характеристик, а також запропоновано використати розподіл нулів/полюсів дискретної системи на комплексній площині для проведення аналізу. На останньому і було отримано наочний результат накладання поведінки числових методів на поведінку моделі. Поява нових додаткових нулів та полюсів дискретної системи порівняно з неперервним прототипом відчутно ускладнює результуючу цифрову модель системи. Отримані в процесі виконання досліджень результати дозволять здійснювати моделювання досліджуваних електромеханічних систем із вищою точністю.^UThe dissertation is devoted to the solution of the scientific and technical problem of the theory and methods development to analyze dynamic modes of electromechanical systems based on the application of numerical methods and analysis of their influence on the characteristics of electromechanical systems.The PhD thesis is devoted to the investigaton of the influence of numerical methods of ordinary differential equations solving based on the behavior of a digital model with its adjustment by choosing the appropriate integration step. In real-time digital systems, such as electromechanical systems, the integration step is fixed and predetermined that also has some influence on the behavior of the system. Therefore, from the point of view of the tasks of electric power engineering and electromechanics, it remains expedient to conduct a research of the influence of various approaches and methods on the system, which is modeled and studied as a prototype of real systems for domestic or industrial use.In the Chapter 1 "Analysis of the state of the problem, formulation of the research problem" the analysis of literary sources connected with the topic of the work is conducted. The theoretical base of numerical methods, their application and implementation are considered. The basic information about the numerical methods usage based on existing research and publications has been analyzed. Chapter 2, "Analysis of Numerical Methods of Integration as Elements of Digital Systems," presents methods intended for analyzing the behavior of numerical methods, and implementation. In the analysis of numerical methods based on the principle of integration, their advantages, disadvantages, and approaches for their further usage are presented. Their efficiency, stability, and relevance to electromechanics problems are investigated. The explicit Adams formulas are analyzed for the discretization of digital control systems using numerical methods. For this purpose, they are considered as digital filters that are an integral part of a digital system. The analysis of such digital filters was implemented using z-transforms. During the research conducting, it was found that each numerical method (as a digital filter) causes its own influence on the resulting digital model, that is, the behavior of the model is superimposed on the behavior of the numerical method. The classical method of frequency response was chosen as one way to detect this phenomenon. It was also proposed to use the distribution of zeros/poles of a discrete system on the complex plane for analysis. In fact, the last one was used to obtain an evident result of the superposition of the behavior of numerical methods on the behavior of the model. The emergence of new additional zeros and poles of the discrete system compared to the continuous prototype significantly complicates the resulting digital model of the system. Thus, the studies have shown that it is advisable to use low-order numerical methods to keep the number of zeros/poles.Chapter 3, "The Method of Zeroes and Poles Matching as a Rational Method for Digital Systems Synthesizing," investigates the effectiveness of the z-transform using, namely, the method of zeroes/poles mapping, to create real-time models. The historical foundations of the method and its basic principles of implementation and application are analyzed. The effectiveness of the implementation of the zero-pole mapping method for the analysis of electromechanical systems is studied. In the Chapter, on the example of modeling dynamic links of the first and second orders, the analysis of the methods applying, advantages and nuances of such application are presented. The Z-transform allows obtaining simple and efficient recurrent modeling formulas based on the pole/zero mapping method.In Chapter 4, "Experimental Research. Verification of Results" describes the computer models of electrical systems on the basis of which the experimental studies were conducted and the results of the experiment with a microcontroller are presented.During the research, it was found out that each numerical method (as a digital filter) adds its own influence on the resulting digital model. So, the behavior of the model is supeposed with the behavior of the numerical method. The classical method of frequency response was chosen as one way to detect this phenomenon, and we also proposed to use the distribution of zeros/poles of a discrete system on the complex plane for analysis. In fact, the last method was used as the basis for the visual result of imposing the behavior of numerical methods on the behavior of the model. The appearing of new additional zeros and poles of the discrete system compared to the continuous prototype significantly complicates the resulting digital model of the system. The results obtained in the process of the research will allow us to model the experimental electromechanical systems with higher accuracy


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

      
11.

Висоцька В. А. 
Аналіз та синтез комп’ютерних лінгвістичних систем опрацювання україномовного текстового контенту: автореферат дис. ... д. т. н. : 10.02.21 / В. А. Висоцька. — Б.м., 2023 — укp.

У дисертації вирішено важливу науково-прикладну проблему аналізу та синтезу комп’ютерних лінгвістичних систем (КЛС) для розв’язання різних задач опрацювання україномовного текстового контенту на основі розроблення нових та удосконаленні відомих моделей, методів та засобів опрацювання природної мови (ОПМ). Аналіз та синтез КЛС базується на застосуванні лінгвістичного аналізу україномовного текстового контенту, інтелектуальному опрацювання текстового потоку контенту, машинному навчанні системи на достовірних даних та статистичному аналізі для знаходження закономірностей появи лінгвістичних подій. Розроблена інформаційна технологія (ІТ) опрацювання україномовного текстового контенту на відміну від існуючих підтримує принцип модульності типової архітектури КЛС для розв’язку конкретної задачі ОПМ та аналізу множини параметрів та метрик ефективності функціонування системи відповідно до поведінки цільової аудиторії. Розроблено загальну структуру КЛС для опрацювання текстового контенту українською мовою та концептуальну схему/модель функціонування типової КЛС на основі моделювання взаємодії основних процесів і компонентів системи, що дало змогу вдосконалити ІТ інтелектуального аналізу текстового потоку на основі опрацювання інформаційних ресурсів. Наведено приклади розроблених КЛС опрацювання україномовного текстового контенту для розв’язку відповідних задач ОПМ, функціонування яких ґрунтується на розроблених та вдосконалених моделях, методах та алгоритмах. Удосконалена модель лінгвістичного опрацювання текстового контенту на основі графемного, морфологічного, лексичного, синтаксичного, семантичного, структурного, онтологічного та прагматичного аналізу для вирішення конкретної проблеми ОПМ. Це дало змогу сформулювати загальні вимоги до процесів опрацювання україномовного контенту. Удосконалення методів опрацювання інформаційних ресурсів, таких як інтеграція, управління та супровід україномовного контенту, дозволило адаптувати процес інтелектуального аналізу текстового потоку до розв’язку різних задач ОПМ та розробити КЛС, що ефективно функціонують, метрики для розв’язку різних задач ОПМ. Удосконалені методи ОПМ на основі регулярних виразів узгодження за шаблоном дозволили адаптувати алгоритми графемного та морфологічного аналізу для опрацювання україномовних текстів. Удосконалено метод токенізації та нормалізації тексту каскадами простих підстановок регулярних виразів і кінцевих автоматів, що дало змогу адаптувати алгоритм лексичного та синтаксичного аналізів для опрацювання україномовних текстів. Удосконалено метод морфологічного аналізу, заснований на сегментації та нормалізації слів, сегментації речень і модифікованому алгоритмі стемінгу Портера як ефективного засобу ідентифікації афіксів лем для можливості розмічування аналізованого слова, що дозволило підвищити точність пошуку ключових слів на 9%. Розроблено метод ідентифікації ключових слів в україномовних текстах на основі графемного та морфологічного аналізу основ слів через регулярні вирази та N-грами, що дало змогу підвищити точність пошуку ключових слів на 6-9%, здійснити пошук стійких словосполучень та рубрикацію контенту. Розроблено метод визначення стійких словосполучень на основі ідентифікації ключових слів україномовного тексту та аналізу коефіцієнтів лексичного мовлення автора тексту в еталонних уривках контенту, що дало можливість на основі статистичної лінгвістики покращити точність методу визначення стилю автора тексту на 6-7%. Розроблено метод визначення стилю автора тематичного україномовного текстового контенту на основі аналізу ключових слів, стійких словосполучень, N-грам, лінгвометрії та стилеметрії, що дало змогу визначити стилістичний вклад кожного з авторів та підвищити точність атрибуції науково-технічної публікації на 6-12%. Розроблено метод обчислення ступеня верифікації автора україномовного тексту із множини можливих на основі порівняльного аналізу стилів потенційних авторів, що дало змогу підвищити точність класифікації за подібністю стилю до [9;34]% із загальної кількості учасників проекту. Розроблено методи аналізу та синтезу КЛС на основі створення загальної типової структури системи опрацювання текстового контенту українською мовою через підтримку модульності, моделювання взаємодії основних процесів і компонентів, що дало можливість розширити колекцію розв’язків різних типових задач ОПМ шляхом реалізації типового програмного забезпечення таких систем. КЛС реалізовано на інформаційному ресурсі http://victana.lviv.ua засобами CMS Joomla! (для розроблення е-каркасу сайту), PHP (для реалізації методів опрацювання текстового контенту), HTML (для реалізації розмітки сторінок), CSS (для опису стилів сторінок), MySQL (для зберігання даних та словників).^UThe dissertation solves an important scientific and applied problem of analysis and synthesis of computer linguistic systems (CLS) for solving various problems of processing Ukrainian-language text content. It is based on the development and improvement of new and existing models, methods and tools for natural language processing (NLP). The analysis and synthesis of СLS is based on the application of linguistic analysis of Ukrainian-language textual content, intelligent processing of textual flow of content, machine learning of the system based on reliable data, and statistical analysis to find patterns in the appearance of linguistic events. Developed information technology (IT) for processing of Ukrainian-language textual content, unlike the existing ones, supports the modularity principle of the typical architecture of the CLS for solving a specific task of the NLP and analysing a set of parameters and metrics of effectiveness of the system in accordance with the behaviour of the target audience. The general structure of the CLS for the processing of text content in the Ukrainian language and the conceptual scheme/model of functioning of a typical CLS based on the modelling of the interaction of the main processes and components of the system were developed, which made possible to improve IT intellectual analysis of the text flow based on the processing of information resources. There are examples of developed CLS for processing Ukrainian-language textual content for solving relevant tasks of the NLP, functioning of which is based on developed and improved models, methods and algorithms. An improved model of linguistic processing of textual content based on graphemic, morphological, lexical, syntactic, semantic, structural, ontological and pragmatic analysis to solve a specific problem of NLP is introduced. It has enabled the formulation of general requirements for Ukrainian content processing. Process improvement methodologies for information resources such as integration, management and content support of the Ukrainian language allow to adapt the intellectual analysis of the text stream processing to the solution of various tasks of NLP and develop effective CLS and metrics to solve various NLP problems. NLP methods based on regular pattern-matching expressions are improved and it has allowed the adaptation of grapheme and morphological analysis algorithms to Ukrainian text processing. A method of tokenisation and normalisation of text by cascades of simple substitutions of regular expressions and finite state machines is upgraded and resulted in the adaptation of the lexical and syntactic analysis algorithm for Ukrainian text processing. The morphological analysis method based on word segmentation and normalisation, sentence segmentation, and a modified Porter stemming algorithm as an effective tool for identifying lemmas affixes to tag the analysed word is improved. It has resulted in a 9% increase in keyword search accuracy. A method of identifying keywords in Ukrainian texts based on grapheme and morphological analysis of the word base using regular expressions and N-grams is elaborated. It has increased the accuracy of keyword searches by 6-9%, stable word combinations and categorise content search. A method for determining stable word combinations based on the identification of keywords in a Ukrainian text and the lexical coefficients analysis of the text author in the reference text is developed. The accuracy of the method for determining the author's style, based on statistical linguistics, has been improved by 6-7%. A method for determining the author's style of thematic Ukrainian textual content based on the analysis of keywords, stable phrases, N-grams, linguometry and stylometry is developed. It has enabled the recognition of the stylistic contribution of each author and increased the accuracy of scientific and technical publications attribution by 6-12%. A method is developed to verify the authorship level of a Ukrainian text from the number of possible authors, based on a stylistic comparison analysis of the potential authors. It has improved the classification accuracy of style similarity to [9;34]% of the total number of project participants. The analysis and synthesis methods of CLS are developed based on the creation of an organisational structure of the Ukrainian text processing system through the support of modularity, and modelling the main processes and components interaction. It has improved the number of solutions to various typical NLP problems by implementing typical software systems. CLS is realised on the platform http://victana.lviv.ua using CMS Joomla! (developing the site e-framework), PHP (implementation of text content processing methods), HTML (page mark-up), CSS (description of page styles), MySQL (storing data and dictionaries).


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

      
12.

Гнєздовський О. В. 
Відкрита об’єктно-орієнтована архітектура систем скінченно-елементного аналізу: автореферат дис. ... д.філософ : 122 / О. В. Гнєздовський. — Б.м., 2024 — укp.

Дисертаційна робота присвячена розробці відкритої об’єктно-орієнтованої архітектури, яка може бути застосована при розробці як універсальних, так і спеціалізованих систем скінченно-елементного аналізу широких класів крайових задач.В наш час велика кількість актуальних проблем науки та техніки призводять до необхідності розв’язання різних типів крайових задач. Для більшості з них на сьогодні неможливо отримати точні аналітичні розв’язки, що потребує створення відповідного математичного та програмного забезпечення для наближеного чисельного розв’язання диференційних рівнянь (звичайних та у частинних похідних) або їх систем.Найбільш поширеним на сьогодні способом наближеного розв’язання крайових задач є метод скінченних елементів (МСЕ). Для його використання створено значну кількість як універсального, так і спеціалізованого програмного забезпечення (ПЗ). Серед найбільш відомих програм скінченно-елементного аналізу (пропрієтарних та з відкритим кодом) можна відзначити Abaqus, Ansys, FreeFEM, Mathematica, Nastran, OpenCAD та багато інших. Тут слід зазначити, що на сьогодні такого ПЗ розроблено (і постійно продовжує розроблятися) велика кількість, оскільки воно призначено як для розв’язання різних типів задач, так і різних форм застосування (комерційного, навчального, наукового, open source тощо). Крім того, постійно змінюються можливості обчислювальної техніки (широкого розповсюдження останнім часом отримали багатопроцесорні системи) і вимоги практики (наприклад, необхідність враховувати застосування нових типів матеріалів, таких як композити або матеріали з пам’яттю).Переважну більшість з наявних програм скінченно-елементного аналізу реалізовано мовами програмування С та С++. Слід зазначити, що внесення змін в таке ПЗ для його адаптації до вирішення нових класів задач через складність С/С++ є нетривіальною процедурою. Тому на практиці виникає завдання створення таких програм для скінченно-елементного аналізу, які б, з одного боку, мали відкриту й просту архітектуру, а, з іншого боку, підтримували можливість легкого внесення в них змін для розширення функціональності. Іншими словами, мали б у порівнянні з ПЗ, написаним на мовах С/С++, високу швидкість розробки.Останнім часом однією з найбільш популярних при розробці наукового ПЗ є мова програмування Python, яка початково створювалася для підвищення ефективності роботи програміста. Вона має легкий для розуміння синтаксис і зараз для неї розроблено велику кількість бібліотек, що реалізують різний математичний функціонал (наприклад, NumPy та SciPy, що використовуються для наукових розрахунків). Проте, до сьогодні систем скінченно-елементного аналізу на Python розроблено відносно мало. Серед них можна виділити, наприклад, fempy, FEniCS, PolyFEM, SfePy, втім частина з них має лише python-інтерфейс, але написана на С++. Це можна пояснити тим фактом, що прийнято вважати швидкість роботи python-програм нижчою, ніж у аналогів, написаних на С++. Тим не менш, динамічна типізація Python і його можливості продуктивної розробки програм роблять його перспективним засобом створення нового ефективного ПЗ для чисельного вирішення широких класів крайових задач з використанням МСЕ. Тому розробка відкритої архітектури ПЗ для МСЕ є актуальною в наш час задачею.Таким чином, створення нового ПЗ скінченно-елементного аналізу з відкритою архітектурою і програмним кодом, яке б давало змогу користувачам розв’язувати широкі класи крайових задач на сучасних комп’ютерних платформах є актуальною й важливою задачею.На логічному рівні будь-яке сучасне ПЗ для скінченно-елементного аналізу за своєю архітектурою може бути поділено на три окремі складові (підсистеми):1) препроцесор – підсистема автоматизації підготовки вихідних даних для чисельного розрахунку (у більшості випадків це генератор скінченно-елементної моделі вихідної геометричної області, для якої виконується розрахунок);2) процесор – підсистема, що безпосередньо реалізує скінченно-елементний розрахунок задачі (центральний елемент будь-якого ПЗ чисельного аналізу);3) постпроцесор – підсистема, що автоматизує аналіз великих масивів числової інформації, отриманих як результат роботи процесору (частіше за все у вигляді різноманітних зображень полів досліджуваних функцій).Генерація скінченно-елементної моделі, яку покладено на препроцесор, в загальному вигляді може бути поділена два окремих етапи:1) побудова формального опису геометричної області, для якої виконується розрахунок, у певному форматі, який є придатним для подальшої автоматичної обробки;...^UThe dissertation is devoted to the development of an open object-oriented architecture, which can be used in the development of both universal and specialized finite element analysis systems of broad classes of boundary value problems. Nowadays, a large number of topical problems of science and technology lead to the need to solve various types of boundary problems. For most of them, it is currently impossible to obtain exact analytical solutions, which requires the creation of appropriate mathematical and software for the approximate numerical solution of differential equations (ordinary and partial derivatives) or their systems. Today, the most common method of approximate solution of boundary value problems is the finite element method (FEM). A significant amount of both universal and specialized software (software) has been created for its use. Abaqus, Ansys, FreeFEM, Mathematica, Nastran, OpenCAD and many others can be noted among the most well-known finite element analysis programs (proprietary and open source). It should be noted here that a large number of such software has been developed (and is constantly being developed), as it is intended both for solving different types of problems and for different forms of application (commercial, educational, scientific, open source, etc.). In addition, the capabilities of computing (multiprocessor systems have become widespread recently) and the requirements of practice (for example, the need to consider the use of new types of materials, such as composites or materials with memory) are constantly changing. The vast majority of available finite element analysis programs are implemented in the C and C programming languages. It should be noted that making changes to such software for its adaptation to solving new classes of problems due to the complexity of S...


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

      
13.

Костриба О. В. 
Віднумеративні словотвірні гнізда: структурний, семантичний, когнітивний виміри.: автореферат дис. ... д.філософ : 035 / О. В. Костриба. — Б.м., 2023 — укp.

Об’єкт дослідження становлять шістнадцять словотвірних гнізд із числівниковими вершинами оди́н, два́, три́, чоти́ри, п’я́ть, ші́сть, сі́м, ві́сім, де́в’ять, де́сять, со́рок, сто́, ти́сяча, мільйо́н / заст. міліо́н, пе́рший / розм. пе́рвий, дру́гий. Мета роботи – виявити й описати структурний, семантичний та когнітивний виміри денумеративних словотвірних гнізд із вершинами оди́н, два́, три́, чоти́ри, п’я́ть, ші́сть, сі́м, ві́сім, де́в’ять, де́сять, со́рок, сто́, ти́сяча, мільйо́н / заст. міліо́н, пе́рший / розм. пе́рвий, дру́гий. Поставлені в дисертаційній роботі завдання передбачають застосування таких методів дослідження: описовий метод, поєднаний із прийомом міжрівневої інтерпретації; структурно-семантичний метод в поєднанні з методикою компонентного аналізу, опозиційного аналізу, прийомом лексико-семантичних трансформацій, чи прийомом перифраз, прийом кількісних підрахунків, метод індукції, прийом моделювання в поєднанні з методом суцільної вибірки, метод синтезу та дедукції. Наукова новизна результатів дослідження полягає в тому, що в ньому уперше в українському мовознавстві проаналізовано денумеративне словотворення. Згідно з метою та завданнями дослідження вперше розглянуто числівники як твірну базу для безпосередньо та опосередковано виведених віднумеративних дериватів української мови. З’ясовано структурні параметри словотвірних гнізд, семантичне входження мотивувальних числівників у значеннєву структуру похідних і його згасання в межах словотвірних гнізд. Встановлено словотвірну семантику похідних, зокрема розроблено типологію словотвірних значень у внутрішньочислівниковому словотворенні, а також виявлено словотвірні моделі в межах кожної семантичної позиції, типи деривації, засоби реалізації та вираження. Задля маркування когнітивних виявів словотвірної семантики в україністиці вперше зміщено акцент із вивчення фрейм-структур на опис словотвірної семантики, але з урахуванням фреймової ієрархії, що уможливило фіксувати різноманітні вияви актантів, зокрема правобічного поширювача, представленого кількістю здебільшого у квантитативній функції. Уведено поняття «вербалізований слот». Теоретичне значення роботи полягає в поглибленні знань про словотвірне гніздо як комплексну одиницю словотворення, функційно-семантичну категорію кількості та про периферію мотивувальної бази – числівників сучасної української мови. Тому дисертаційні висновки сприяють заповненню лакун у типологізувальному процесі словотворчої спроможності твірних слів в аспекті основоцентричної дериватології та доповнюють здобутки семантичної дериватології встановленням словотвірних значень дериватів. Теоретичні напрацювання деталізують дивергентно-конвергентний підхід до опису словотвірних гнізд семним виявом, а також з’ясуванням семантичного згасання мотивувальної спроможності вершин СГ на рівні сем / семем, інертних ЛСВ похідних слів. Результати теоретичного змісту роботи становлять основу для лінгвокогнітивного інтерпретування словотвірної семантики відчислівникових дериватів із модифікаційним і транспозиційним типами деривації, а також нумеративів з мутаційним типом та відкривають перспективи при описі словотвірних значень відчислівникових похідних, що постали мутацією, а також одиниць, досліджених на базі інших класів твірних слів. Уведено поняття «вербалізований слот», який виявлено в фреймовій структурі гнізда задля уніфікування дихотомії «когнітивне знання – вербалізоване знання». Для правильної побудови пропозиційних структур та пропозицій запропоновано відображати синтагматичну семантику мотивувальних слів; теоретичні дані можуть застосуватися в комп’ютерній лінгвістиці.^UThe objective of the study is sixteen word-forming nests with numeral vertices one (оди́н/odýn), two (два́ /dvá), three (три́ /trý), four (чоти́ри/chotýry), five (п’я́ть/piát), six (ші́сть/shist́ ), seven (сі́м/sím), eight (ві́сім/visiḿ ), nine (де́в’ять/déviat), ten (де́сять/désiat), forty (со́рок/sórok), one hundred (сто́ /stó), thousand (ти́сяча/ týsiacha), million (мільйо́н/ milión) / outdated million (міліо́н/milión), first (пе́рший/ pérshyi) / colloquial first (пе́рвий/ pérvyi), second (дру́гий/drúhyi)). The aim of the work is to identify and describe the structural, semantic, and cognitive dimensions of denumerative word-forming nests with vertices one (оди́н/odýn), two (два́ /dvá), three (три́ /trý), four (чоти́ри/chotýry), five (п’я́ть/piát), six (ші́сть/shist́ ), seven (сі́м/sím), eight (ві́сім/visiḿ ), nine (де́в’ять/déviat), ten (де́сять/désiat), forty (со́рок/sórok), one hundred (сто́ /stó), thousand (ти́сяча/ týsiacha), million (мільйо́н/ milión) / outdated million (міліо́н/milión), first (пе́рший/ pérshyi) / colloquial first (пе́рвий/ pérvyi), second (дру́гий/drúhyi)). The tasks set in the dissertation involve the use of the following research methods: the descriptive method combined with the use of interlevel interpretation; the structural-semantic method in combination with the technique of component analysis, the use of oppositional analysis, lexical-semantic transformations, or the use of paraphrases and quantitative calculations; the method of induction, the use of modeling in combination with the method of continuous sampling; the method of synthesis and deduction. The scientific novelty of the research results lies in the fact that it analyzes denumerative word formation for the first time in Ukrainian linguistics. In accordance with the aim and objectives of the research, numerals were considered for the first time as a creative base for directly and indirectly derived denumerative derivatives of the Ukrainian language. The structural parameters of word-forming nests, the semantic entry of motivational numerals into the meaning structure of derivatives, and its extinction within word-forming nests were clarified. The word-forming semantics of derivatives has been established; in particular, the typology of word-forming meanings in intra-numerical word formation has been developed, as well as word-forming models within each semantic position, types of derivation, means of implementation, and expression have been identified. In order to mark the cognitive manifestations of word-formative semantics in Ukrainian studies, for the first time, the emphasis was shifted from the study of frame structures to the description of word-formative semantics, taking into account the frame hierarchy. This made it possible to record various manifestations of actants, particularly the right-sided spreader, represented by the number mostly in the quantitative function. The concept of "verbalized slot" is introduced. The theoretical significance of the work consists in deepening the knowledge about the word-forming nest as a complex unit of word formation, the functional-semantic category of quantity, and the periphery of the motivational base—numerals of the modern Ukrainian language. Therefore, the dissertation conclusions contribute to filling the gaps in the typological process of the word-forming ability to form words in the aspect of stem-centric derivation and complement achievements of semantic derivation by establishing the word-forming meanings of derivatives. Theoretical studies detail the divergent-convergent approach to the description of word-forming nests by the sem expression, as well as the clarification of the semantic fading of the motivational capacity of word-forming nest vertices at the level of seme / sememe and inert lexical-semantic variants of derived words. The results of the theoretical content of the work form the basis for the linguistic-cognitive interpretation of the word-forming semantics of numerative derivatives with modification and transpositional types of derivation, as well as numeratives with the mutational type and open perspectives in describing the word-forming meanings of numerative derivatives that appeared by mutation, as well as units studied on the basis of other classes of formative words. The concept of «verbalized slot» is introduced, which is revealed in the frame structure of the nest in order to unify the dichotomy «cognitive knowledge - verbalized knowledge». For the correct construction of propositional structures and propositions, it is suggested to reflect the syntagmatic semantics of motivational words; theoretical data can be applied in computational linguistics.


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

      
14.

Боровик І. В. 
Ветеринарно-санітарна оцінка м’ясних продуктів за мікробіологічним ризиком Listeria spp. в умовах м'ясопереробних підприємств: автореферат дис. ... д.філософ : 212 / І. В. Боровик. — Б.м., 2023 — укp.

Боровик І.В. «Ветеринарно-санітарна оцінка м’ясних продуктів за мікробіологічним ризиком Listeria spp. в умовах м'ясопереробних підприємств» – Кваліфікаційна наукова праця на правах рукопису.Об’єкт дослідження – безпечність і якість м'яса курчат-бройлерів за експериментального зараження Listeria spp., ізолювання і ідентифікація Listeria spp., розроблення експериментальної зависі Bacillus spp. Предмет дослідження – зміни показників безпечності і якості м’яса курчат-бройлерів за мікробіологічним ризиком Listeria spp., санітарно-гігієнічні критерії безпечності виробничого процесу у м'ясопереробних підприємствах. Методи дослідження: бактеріологічний, біохімічний, біологічний, патологоанатомічний, фізико-хімічний, імуноферментний, аналітичний, статистичний.Наукова новизна одержаних результатів. Уперше проведено комплексну оцінку органолептичних, мікробіологічних, фізико-хімічних показників м’яса курчат-бройлерів за експериментального лістеріозу. Виявлені патологоанатомічні зміни в м’язах і органах птиці після забою на тлі вгодованості тушок, високого забійного виходу. На підставі проведених досліджень установлено, що м'ясо птиці, контаміноване Listeria spp., не підлягає зберіганню. Встановлено, що контамінація лістеріями м’яса курчат-бройлерів сприяє швидкому псуванню жирів. Обґрунтовано режим знезараження в побутових умовах м’яса птиці при контамінації Listeria spp.Розроблена завись Bacillus spp. дозволяє замістити патогенні мікроорганізми та колонізувати поверхню (дошки, столи, холодильники, лотки, обладнання тощо) з метою недопущення розповсюдження збудників харчових токсикоінфекцій. Вперше обґрунтована можливість використання зависі Bacillus spp. для безпечної санітарної обробки контактуючих поверхонь, інструментів у м'ясопереробній промисловості.У дисертаційній роботі детально досліджені морфологічні, культуральні, біохімічні, гемолітичні, патогенні властивості 7 видів Listeria spp. Доведено, що патогенними властивостями крім L. monocytogenes володіє і L. ivanovii. Уперше доведена можливість скорочення терміну мікробіологічних досліджень Listeria spp. за одну добу на відміну від класичного методу (5 діб) за умови застосування автоматичного імуноферментного аналізатора «Vidas». Доведена ефективність поєднання гемолітичного та CAMP-тесту, що запобігає злиттю зони гемолізу досліджуваних культур, надає можливість спостерігати дзеркальний гемоліз; обґрунтована доцільність використання культури мікроорганізмів B. subtilis і Е. соli замість St. aureus та Rh. equi при постановці тесту. Наукова новизна підтверджена патентом України на корисну модель № 142660 «Метод виявлення Listeria spp.» (u201910919; заявл. 05.11.2019; опубл. 25.06.2020, Бюл. № 12), свідоцтвами про реєстрацію авторського права на наукові твори №91425 від 08.08.2019 «Ветеринарно-санітарна оцінка м’ясних продуктів за мікробіологічним ризиком Listeria spp. в умовах м'ясопереробних підприємств» та №95244 від 10.01.2020 «Особливості ідентифікації мікроорганізмів Listeria spp. за допомогою поєднання гемолітичного та CAMP-тестів». Запропонована нова модифікована методика ізолювання та ідентифікації Listeria spp. для фахівців лабораторій Держрпродспоживслужби, а також сучасні аспекти лабораторної діагностики лістеріозу.Основна частина дисертації (вступ, розділи дисертації, висновки та пропозиції) подана на 119 сторінках. Дисертаційна робота викладена на 202 сторінках комп’ютерного тексту, містить 20 таблиць і 50 рисунків. Робота складається із анотації, вступу, огляду літератури, матеріалів і методів досліджень, результатів власних досліджень, узагальнення, аналізу та обговорення результатів дослідження, висновків та пропозицій виробництву, списку використаних джерел літератури (212 найменувань, у тому числі 201 – латиницею), додатків 12.Ключові слова: якість і безпечність, Listeria spp., ідентифікація, курчата-бройлери, м’ясо, субпродукти, органолептичні зміни, зберігання м’яса, бактеріальне обсіменіння, фізико-хімічні показники, знезараження, Bacillus spp^UBorovyk I.V. "Veterinary-sanitary assessment of meat products by the microbiological risk of Listeria spp. in the conditions of meat processing enterprises" – Qualification scientific work on the rights of a manuscript.The object of the study is the safety and quality of meat of broiler chickens under experimental infection with Listeria spp., isolation and identification of Listeria spp., development of an experimental suspension of Bacillus spp.The subject of the research is changes in the safety and quality indicators of broiler chicken meat according to the microbiological risk of Listeria spp., sanitary and hygienic criteria for the safety of the production process in meat processing enterprises.Research methods: bacteriological, biochemical, biological, patho-anatomical, physico-chemical, immunoenzymatic, analytical, statistical.Scientific novelty of the obtained results.For the first time, a comprehensive evaluation of the organoleptic, microbiological, physico-chemical parameters of the meat of broiler chickens for experimental listeriosis was carried out. Pathological changes in the muscles and organs of poultry after slaughter were revealed against the background of fattened carcasses and high slaughter yield. Based on the conducted research, it was established that poultry meat contaminated with Listeria spp. should not be stored. It was established that listeria contamination of broiler chicken meat contributes to the rapid spoilage of fats. The decontamination regime in household conditions for poultry meat contaminated with Listeria spp.The developed suspension of Bacillus spp. allows to replace pathogenic microorganisms and colonize the surface (boards, tables, refrigerators, trays, equipment, etc.) in order to prevent the spread of pathogens of food toxic infections. For the first time, the possibility of using suspended Bacillus spp. for safe sanitary treatment of contacting surfaces, tools in the meat processing industry.Morphological, cultural, biochemical, hemolytic, pathogenic properties of 7 species of Listeria spp. It has been proven that, in addition to L. monocytogenes, L. ivanovii also has pathogenic properties.For the first time, the possibility of shortening the term of microbiological studies of Listeria spp has been proven. in one day, in contrast to the classic method (5 days), provided the automatic immunoenzyme analyzer "Vidas" is used. The proven effectiveness of the combination of the hemolytic and CAMP test, which prevents the fusion of the hemolysis zone of the studied cultures, provides an opportunity to observe mirror hemolysis; justified expediency of using culture of microorganisms B. subtilis and E. soli instead of St. aureus and Rh. equi when setting the test. The scientific novelty is confirmed by the patent of Ukraine for utility model No. 142660 "Method of detection of Listeria spp." (u201910919; application. 05.11.2019; publ. 25.06.2020, Bull. No. 12), by certificates of copyright registration for scientific works No. 91425 dated 08.08.2019 "Veterinary and sanitary evaluation of meat products according to the microbiological risk of Listeria spp. in the conditions of meat processing enterprises" and No. 95244 dated 10.01.2020 "Peculiarities of the identification of microorganisms Listeria spp. using a combination of hemolytic and CAMP tests".A new modified method of isolation and identification of Listeria spp. for specialists of the State Food and Consumer Service laboratories, as well as modern aspects of laboratory diagnosis of listeriosis.The main part of the dissertation (introduction, sections of the dissertation, conclusions and proposals) is presented on 119 pages. The dissertation is presented on 202 pages of computer text, contains 20 tables and 50 figures. The work consists of an abstract, introduction, literature review, research materials and methods, results of own research, generalization, analysis and discussion of research results, conclusions and proposals for production, a list of used literature sources (212 items, including 201 in Latin), 12 appendices .Key words: quality and safety, Listeria spp, identification, broiler chickens, meat, offal, organoleptic changes, meat storage, bacterial insemination, physicochemical indicators, decontamination, Bacillus spp.


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

      
15.

Кошель С. А. 
Визначення чисел перенесення іонів в полімерних мембранах та іонних рідинах методом компютерної резистометрії: автореферат дис. ... д.філософ : 161 / С. А. Кошель. — Б.м., 2024 — укp.

Аналіз здатності іонообмінних мембран і смол до іонного обміну є важливим завданням для обов’язкової регулярної процедури атестації діючого обладнання. Це обумовлено значними цінами на промислові іонообмінні смоли, особливо продукцію ведучих закордонних виробників. Підтримання нормального режиму їх роботи робить особливо важливими вимоги до аналізу і контролю якості іонообмінних матеріалів. Контроль якості іонообмінних матеріалів виконується як визначення стійкості матеріалу до впливу чинників різної природи (механічної, хімічної, термічної, осмотичної), показники обмінної ємності (повної статичної ПСОЄ, рівноважної РСОЄ, динамічної ДОЄ, рівноважної динамічної РДОЄ та ін). Значення вказаних показників ємності залежать від концентрації іоногенних груп в іонообмінниках. Вони змінюються в процесі експлуатації (погіршуються), тому є необхідність їх регулярного контролю на окремих пробах. В дисертації роботі отримано такі результати: Обґрунтовано метод комп’ютерної резистометрії для визначення іонної провідності розчинів електролітів. Розроблено серію протічних кондуктометричних сенсорів КСН. Сенсор дозволяє досліджувати рідини в об’ємі від 2 до 0,2 мл. Створено процедуру калібрування сенсорів. Встановлено, що «константа сенсора» (KS) є умовним параметром. Значення KS залежить від конструкції сенсора і досліджуваної комбінації речовин в розчині. Запропоновано теоретично обґрунтований та експериментально підтверджений метод диференційної itn-метрії для визначення чисел перенесення в іонообмінних мембранах та смолах, розчинах лугів, кислот, солей та іонних рідин. Метод полягає в поетапній обробці даних електролізу у формі динаміки концентрацій електроліту в камерах електролізера. На основі експериментальних даних розраховані числа перенесення в смолах КУ-2-8, Purolite А400 та ін., в іонообмінних мембранах типу Nafion, АІПК та ін. Показана відповідність визначених властивостей цих матеріалів паспортним даним. Це показує придатність методу диференційної itn-метрії для визначення транспортних властивостей іонообмінних смол і мембран.Вперше за допомогою методу комп’ютерної резистометрії досліджено вплив електричного поля на процеси регенерації іонообмінних смол. Показано, що при пропусканні струму в системі виникає деформоване електричне поле градієнта потенціалу, на яке накладається поле градієнта концентрації. В результаті взаємодії обох полів змінюється швидкість іонного потоку на частинки і швидкість регенерації Встановлена залежність рівноважної обмінної ємності від концентрації розчинів NaOH і NaCl. Вперше показано, що швидкість обмінного процесу визначається дифузією іонів в гелевій фазі іоніту і є постійною та не залежить від ступеня насичення іоніту. Створена установка IONIT для моніторингу динаміки обмінних процесів з обробкою сигналу методом комп’ютерної резистометрії. Визначена обмінна ємність смол АН-2ФН та Purolite A400. Розвинені наукові уявлення про іонний транспорт в іонних рідинах. Методами комп’ютерної резистометрії та рН-метрії досліджені розчини продуктів взаємодії СH3COOH, H2SO4, H3PO4, H3BO3 з етаноламінами. Встановлені залежності питомої іонної провідності та рН від концентрації, температурні нахили та енергія активації іонної провідності. Показано що важкі органічні катіони мало впливають на іонну провідність. Також показано що при температурах 10-70 оС ці сполуки термічно стійкі.^UAnalyzing the ability of ion exchange membranes and resins to ion exchange is an important task for the mandatory regular procedure of certification of operating equipment. This is due to high prices for industrial ion-exchange resins, especially the products of leading foreign manufacturers. Maintaining the normal mode of their operation makes the requirements for the analysis and quality control of ion exchange materials particularly important. Quality control of ion-exchange materials is carried out as a determination of the material's resistance to the influence of factors of various nature (mechanical, chemical, thermal, osmotic), indicators of exchange capacity (full static PSOE, equilibrium RSOE, dynamic DOE, equilibrium dynamic RDOE, etc.). The values of the indicated capacity indicators depend on the concentration of ionogenic groups in the ion exchangers. They change during operation (deteriorate), so there is a need for their regular control on individual samples. The following results were obtained in the dissertation work: The method of computer resistometry for determining the ionic conductivity of electrolyte solutions is substantiated. A series of flow-through conductometric sensors of KSN has been developed. The sensor allows you to examine liquids in a volume from 2 to 0.2 ml. A sensor calibration procedure has been created. It is established that the "sensor constant" (KS) is a conditional parameter. The value of KS depends on the design of the sensor and the investigated combination of substances in the solution. A theoretically justified and experimentally confirmed method of differential itn-metry for determining transfer numbers in ion-exchange membranes and resins, solutions of alkalis, acids, salts and ionic liquids is proposed. The method consists in step-by-step processing of electrolysis data in the form of dynamics of electrolyte concentrations in electrolyzer chambers. On the basis of experimental data, transfer numbers were calculated in resins KU-2-8, Purolite A400, etc., in ion-exchange membranes such as Nafion, AIPK, etc. The correspondence of the specified properties of these materials with the passport data is shown. This shows the suitability of the differential itn-metry method for determining the transport properties of ion exchange resins and membranes. For the first time, the influence of the electric field on the regeneration processes of ion exchange resins was investigated using the method of computer resistometry. It is shown that when a current passes through the system, a deformed electric field of the potential gradient appears, which is superimposed on the field of the concentration gradient. As a result of the interaction of both fields, the speed of ion flow to particles and the speed of regeneration change The dependence of the equilibrium exchange capacity on the concentration of NaOH and NaCl solutions was established. It was shown for the first time that the speed of the exchange process is determined by the diffusion of ions in the gel phase of the ionite and is constant and does not depend on the degree of saturation of the ionite. An IONIT installation was created for monitoring the dynamics of exchange processes with signal processing by computer resistometry. The exchange capacity of AN-2FN and Purolite A400 resins is determined. Developed scientific ideas about ion transport in ionic liquids. The solutions of the interaction products of СH3COOH, H2SO4, H3PO4, H3BO3 with ethanolamines were investigated using the methods of computer resistometry and pH-metry. The dependences of specific ionic conductivity and pH on concentration, temperature slopes and activation energy of ionic conductivity were established. It is shown that heavy organic cations have little effect on ionic conductivity. It is also shown that these compounds are thermally stable at temperatures of 10-70 oC.


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

      
16.

Цепколенко О. В. 
Діагностика та лікування нюхової дисфункції при ринологічній патології: автореферат дис. ... д.філософ : 222 / О. В. Цепколенко. — Б.м., 2023 — укp.

Викривлення носової перегородки (ВНП) — досить поширена патологія, що спостерігається тією чи іншою мірою у 75,0–89,2 % усіх осіб і призводить до ускладненого носового дихання, розвитку хронічного риніту, патології приносових пазух, слухової труби та середнього вуха, запальних захворювань глотки, гортані, а також нижніх відділів дихальних шляхів, нюхової дисфункції (НД) у вигляді гіпосмії або аносмії, емоційного стресу, депресії та низької якості життя. Мета дослідження — підвищення ефективності діагностики та лікування хворих з викривленням носової перегородки та нюховою дисфункцією на основі використання хірургічних методів (ендоскопічної септопластики, конхотомії) та клітинної терапії з аутомезоконцентратом тромбоцитів. Наукова новизна отриманих результатів. Вивчено частоти варіантів нюхової ямки в рамках класифікації Кероса у хворих на ВНП та НД, хворих на ВНП та НД, які перехворіли на COVID-19, ВНП + COVID-19, що важливо для передопераційного планування обсягу ендоскопічної септопластики та запобігання пенетрації латеральної ламели гратчастої пластинки.Встановлено, що 52,3 % хворих з ВНП + COVID-19 мають нюхову ямку типу ⅠⅠⅠ за класифікацією Кероса, велика за об’ємом нюхова ямка може бути сприятливим фактором у патогенезі постінфекційної нюхової дисфункції. Практичне значення отриманих результатів. Розроблено алгоритм комплексної діагностики функціонального й анатомічного стану нюхового аналізатора у хворих на ВНП з НД, ВНП з НДІК19 на основі використання сахаринового тесту, тест-системи Sniffin’ Sticks, передньої активної риноманометрії (ПАРМ), конусно-променевої комп’ютерної томографії (КПКТ), магнітно-резонансної томографії (МРТ) та ендовідеоскопії. Розроблено діагностико-лікувальний алгоритм «клінічне обстеження + Sniffin’ Sticks тест + сахариновий тест + ПАРМ + МРТ + КПКТ + ендовідеоскопія + ендоскопічна септопластика (імплант «аутохрящ»)/конхопластика + клітинна терапія АМКТ + моніторинг → Sniffin’ Sticks тест + густометрія + сахариновий тест + ПАРМ + МРТ + КПКТ + ендовідеоскопія».Визначено об’єктивні діагностичні критерії за даними комплексного клініко-інструментального обстеження, які дають змогу оцінити зміни у хворих після септопластики. Розроблено спосіб отримання АМКТ шляхом дворазового центрифугування крові хворого, кріоактивації при кріоконсервуванні, дефростації та дворазового центрифугування лізат-продукту.Використання АМКТ після септопластики значно скорочує частоту післяопераційних ускладнень, прискорює відновлення нюху та покращує якість життя.^UDeviated nasal septum (DNS) is a wide-spread pathology observed in 75.0–89.2 % of all the people and leads to disturbed nasal breathing, chronic rhinitis, pathology of the paranasal sinuses, auditory tube and middle ear, inflammatory diseases of the pharynx, larynx, and lower respiratory tract, olfactory dysfunction (OD) in the form of hyposmia or anosmia, emotional stress, depression, and poor quality of life. The purpose of the study is to improve the effectiveness of diagnosis and treatment of patients with deviated nasal septum and olfactory dysfunction based on the use of surgical methods (endoscopic septoplasty, conchotomy) and cell therapy with platelets automesoconcentrate. Scientific novelty of the obtained results. The frequencies of variants of the olfactory fossa within the framework of the Keros classification were studied in patients with DNS and OD, patients with DNS and OD who had COVID-19, DNS + K19 induced OD that important for preoperative planning of endoscopic septoplasty volume and prevention of the ethmoid bone lateral lamella penetrating. It was established that 52.3 % of patients with DNS + K19 induced OD have an olfactory pit of type ⅠⅠⅠ according to the Keros classification, a large olfactory pit can be a favorable factor in the pathogenesis of post-infectious olfactory dysfunction. Practical significance of the obtained results. An algorithm for complex diagnosis of the functional and anatomical state of the olfactory analyzer in patients with DNS with OD, DNS with K19 induced OD based on the use of the saccharin test, the Sniffin’ Sticks test system, anterior active rhinomanometry (AARM), cone-beam computed tomography (CBCT), magnetic resonance imaging (MRI) and endovideoscopy was developed. The diagnostic and treatment algorithm “clinical examination + Sniffin’ Sticks test + saccharin test + AARM + MRI + CBCT + endovideoscopy + endoscopic septoplasty (“autocartilage” implant)/conchoplasty + PAMC cell therapy + monitoring → Sniffin’ Sticks test + gustometry + saccharin test has been developed + AARM + MRI + CBCT + endovideoscopy”. The objective diagnostic criteria have been determined based on the data of the complex clinical and instrumental examination, which allows to evaluate the changes in patients after septoplasty. The method of obtaining PAMC by double centrifugation of the patient's blood, cryoactivation during cryopreservation, defrosting and double centrifugation of the lysate product has been developed. The use of PAMC after septoplasty significantly reduces the frequency of postoperative complications, accelerates the recovery of smell and improves the quality of life.


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

      
17.

Тащук Р. Ю. 
Деформація анізотропних кристалів з різко нелінійними механічними властивостями в умовах обмеженої релаксації напружень: автореферат дис. ... д.філософ : 104 / Р. Ю. Тащук. — Б.м., 2023 — укp.

Дисертація присвячена дослідженню основних ауксетичних характеристик моно-, полікристалів і 2D-кристалічних наношарів в рамках теорії пружності для анізотропних кристалів і з використанням методів фізичної акустики та обробки експериметальних результатів за допомогою ІТ технологій. Для побудови характеристичних поверхонь модулів Юнга (ХПМЮ) Еі(x,y,z), кутових розподілів коефіцієнтів Пуассона (КРКП) μ(φ, Θ, ψ), вказівних поверхонь ауксетичності (ВПА) S(x,y,z) та визначення естремальних значень коефіцієнтів Пуассона (ЕЗКП) μmin, μmax і ступеню ауксетичності Sa створено пакет комп’ютерних програм для монокристалів довільної сингонії. Проаналізовані закономірності та механізми формування основних ауксетичних характеристик в таких матеріалах з врахуванням типу хімічного зв’язку.^UThe dissertation is devoted to study the main auxetic characteristics of the single crystals, polycrystals, films and nanolayers within the framework of the elasticity theory for anisotropic crystals, by the methods of physical acoustics and computer technologies for processing experimental results. Software has been developed to construct characteristic surfaces of Young’s moduli (CSYM) Еі, angular distributions of Poisson’s ratios (ADPR) μ(φ, Θ, ψ), indicating auxeticity surfaces (IAS) S(x,y,z), and determine the extreme values of Poisson’s ratios (EVPR) μmin, μmax and degree of auxeticity Sa for single crystals of arbitrary syngony. The regularities and mechanisms of the formation of the main auxetic characteristics in such materials are analyzed taking into account the type of chemical bond.


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

      
18.

Бондар І. С. 
Дизайн архітектурного середовища в контексті мистецьких практик постмодернізму: автореферат дис. ... к. мист. : 17.00.07 / І. С. Бондар. — Б.м., 2023 — укp.

У дисертації вперше виявлено культуротворчі настанови дизайну архітектурного середовища в контексті постмодернізму, зокрема адгокізм, алюзіонізм, полісемантичний еклектизм, інтуїтивізм, іронізм, декомпозицію та метафоричну трансформацію, подвійне кодування, нелінійний пластицизм та біоморфізм. Визначено та комплексно охарактеризовано формотворчі стратегії дизайну архітектурного середовища доби постмодернізму, зокрема еклектизм, деконструкцію, віталізм, нелінійне формотворення. Розкрито комп’ютерні експлікації формотворення в дизайні архітектурного середовища постмодернізму. В роботі удосконалено визначення та обґрунтування концептуальних засад постмодерного алюзіонізму в архітектурному дизайні, зокрема інтертекстуальність, полісемантичність та інсталяціонізм, уточнено характеристики концептуального підґрунтя нелінійного та біонічного пластицизму в дизайні архітектурного середовища постмодернізму. Розширено та уточнено періодизацію розвитку теорії та практики архітектурного дизайну постмодернізму в історико-культурному контексті.^UIn the dissertation, for the first time, the cultural guidelines of the design of the architectural environment in the context of postmodernism were revealed, in particular adhocism, allusionism, polysemantic eclecticism, intuitionism, ironism, decomposition and metaphorical transformation, double coding, nonlinear plasticism and biomorphism. Form-making strategies for the design of the architectural environment of the postmodern era are defined and comprehensively characterized, in particular, eclecticism, deconstruction, vitalism, non-linear form-making. Computer explications of form-making in the design of the architectural environment of postmodernism are revealed. The work improved the definition and substantiation of the conceptual foundations of postmodern allusionism in architectural design, in particular intertextuality, polysemanticity and installationism, clarified the characteristics of the conceptual basis of nonlinear and bionic plasticism in the design of the architectural environment of postmodernism. The periodization of the development of the theory and practice of postmodern architectural design in the historical and cultural context has been expanded and clarified.


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

      
19.

Чукур П. А. 
Динаміка змін стану кісткової тканини в хворих на дифузну В-великоклітинну лімфому, що отримували преднізолоновмісні курси хіміотерапії: автореферат дис. ... д.філософ : 222 / П. А. Чукур. — Б.м., 2023 — укp.

У дисертаційній роботі наведено теоретичне узагальнення та нове вирішення науково-практичного завдання – підвищення ефективності променевої діагностики змін структурно-функціонального стану кісткової тканини (СФСКТ) з використанням комп’ютерної томографії (КТ), прогнозування розвитку вторинного остеопорозу (ВО) з розробкою алгоритму діагностики та профілактики остеопоротичних порушень у хворих з дифузною В-великоклітинною лімфомою (ДВВКЛ), що отримують преднізолоновмісні курси хіміотерапії. На підставі результатів проведеного комплексного обстеження пацієнтів, вперше представлено диференційований підхід до ведення хворих з ДВВКЛ, що отримують преднізолоновмісні курси хіміотерапії. У роботі теоретично узагальнено та визначено ефективність променевої діагностики змін СФСКТ з використання КТ у пацієнтів з ДВВКЛ. Розроблено диференційні променеві критерії остеопенії та ОП для визначення МЩКТ за допомогою КТ, яка є інформативним методом оцінки СФСКТ і може бути рекомендована для скринінгу ОП у пацієнтів з ДВВКЛ. Запропоновано діагностичний алгоритм скринінгу остеопоротичних порушень при поєднанні опитувальників по оцінці ризику виникнення остеопоротичних переломів за FRAX та QFracture з МЩКТ і морфометричними показниками висот тіл поперекових хребців за допомогою пошарової КТ. Доведено негативні кореляційні зв’язки МЩКТ з усіма параметрами прогнозу ризиків виникнення переломів. Досліджено та встановлено кореляційні взаємозв’язки МЩКТ поперекових хребців (L1- L5) з протоколами лікування (CHOP/R-CHOP), кількістю курсів проведених хіміотерапій, сумарною дозою преднізолону, отриманою за весь період лікування, що є достовірними факторами ризику розвитку ВО у хворих на ДВВКЛ, які отримують хіміотерапію. Розроблено модель прогнозування розвитку ВО у хворих з ДВВКЛ на фоні ПХТ з визначенням коефіцієнта ризику змін СФСКТ та запропоновано рекомендації для лікарів щодо супровідної терапії для профілактики остеопоротичних переломів у пацієнтів з ДВВКЛ.^UThe dissertation provides a theoretical generalization and a new solution to a scientific and practical task – increasing the effectiveness of radiological diagnostics of changes in the structural and functional state of bone tissue (SFSBT) using computer tomography (CT), forecasting the development of secondary osteoporosis (SO) with the development of a diagnostic algorithm and prevention of osteoporotic disorders in patients with diffuse large B-cell lymphoma (DLBCL) receiving prednisone-containing chemotherapy courses. Based on the results of a comprehensive examination of patients, a differentiated approach to the management of patients with DLBCL receiving prednisone-containing chemotherapy courses is presented for the first time. The work theoretically summarizes and determines the effectiveness of X-ray diagnosis of changes in SFSBT with the use of CT in patients with DLBCL. Differential radiological criteria of osteopenia and OP have been developed for the determination of BMD using CT, which is an informative method for evaluating SFCT and can be recommended for screening OP in patients with DLBCL. A diagnostic algorithm for the screening of osteoporotic disorders was proposed when combining questionnaires for assessing the risk of osteoporotic fractures according to FRAX and QFracture with BMD indicators and morphometric indicators of the height of lumbar vertebral bodies using layer-by-layer CT. Correlations of BMD indicators with all parameters of fracture risk prediction have been proven. The correlational relationships of BMD indicators of the lumbar vertebrae (L1-L5) with treatment protocols (CHOP/R-CHOP), the number of courses of chemotherapy, the total dose of prednisone received during the entire treatment period, which are reliable risk factors for the development of SO, were investigated and established in patients with DLBCL who receive chemotherapy. A model for predicting the development of OA in patients with DLBCL on the background of PCT was developed with the determination of the risk factor for changes in SFSBT, and recommendations for doctors regarding accompanying therapy for the prevention of osteoporotic fractures in patients with DLBCL were proposed.


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

      
20.

Перепелиця В. А. 
Диференційоване хірургічне лікування парасагітальних менінгіом: автореферат дис. ... д.філософ : 222 / В. А. Перепелиця. — Б.м., 2024 — укp.

Мета роботи: покращення результатів лікування хворих із парасагітальними менінгіомами шляхом визначення оптимальної хірургічної тактики з урахуванням даних сучасних нейрорадіологічних методів дослідження. Дисертаційне дослідження ґрунтується на аналізі результатів обстеження та хірургічного лікування 199 хворих віком від 19 до 78 років (медіана ‒ 55 років) із парасагітальними менінгіомами, які перебували у нейрохірургічному відділенні № 2 КП «Дніпропетровської обласної клінічної лікарні ім. І.І. Мечникова» ДОР» у період 2000-2022 рр. В дисертаційній роботі проаналізовані результати ретроспективного (n = 95) та проспективного (n = 104) досліджень. Критерієм розподілу хворих на дві групи було впровадження диференційованого підходу до вибору хірургічної тактики лікування з урахуванням ангіографічних даних до операції (селективна церебральна ангіографія (ЦАГ) та спіральна комп’ютерно-томографічна ангіографія).Наукова новизна отриманих результатів.1.?З’ясовані топографо – анатомічні особливості ПМ та їх взаємовідносини із ВСС, парасагітальними венами та функціонально важливими зонами головного мозку, що впливають на тактику хірургічного лікування. Встановлені трансформовані шляхи венозного відтоку в залежності від ділянки оклюзії верхнього сагітального синусу парасагітальною менінгіомою: передня, середня та задня третини ВСС.2.?Вперше розроблено і науково обґрунтовано спосіб пластики дефекту верхнього сагітального синусу (ВСС) після видалення парасагітальної менінгіоми (ПМ), яка проросла 1 або 2 стінки ВСС не викликаючи його оклюзію. Вперше розроблено і науково обґрунтовано спосіб пластичного закриття крайового дефекту верхнього сагітального синусу (ВСС), після тотального видалення (градація I за класифікацією Simpson) парасагітальної менінгіоми (ПМ), яка викликає обтурацію ВСС (градація VI за класифікацією Bonnel та Brotchi) із збереженням шляхів колатерального кровотоку.3.?Встановлено, що об’єм інтраопераційної крововтрати при видаленні ПМ пов’язаний з розміром пухлини (rs =0,59, p=0,000 і rs =0,57, p=0,000) та ступенем ураження ВСС за класифікацією M.P. Sindou і J.E. Alvernia VI (rs =0,29, p=0,004 та rs =0,20, p=0,042).4.?За даними кореляційного аналізу встановлено наявність статистично значущого прямо пропорційного зв’язку середньої сили між ступенем інвазії пухлини у ВСС за класифікацією M.P. Sindou і J.E. Alvernia VI та виникненням інтраопераційно набряку мозку (у перший період rs =0,37, р=0,000; у другий період rs =0,30, р=0,002).5.?За даними кореляційного аналізу встановлена статистично значуща обернено пропорційна кореляція між неврологічним рівнем за шкалою Карновського у першу добу після операції, а також при виписці та післяопераційним наростанням набряку мозку, розвитком гематоми у ложі пухлини і венозного інфаркту (від rs =‒0,20, р=0,048 до rs =‒0,47, р=0,000).6.?Доведено, що врахування даних про прохідність ВСС та стан колатерального венозного кровообігу дозволяє уникнути ятрогенного ушкодження функціонально важливих вен, та збільшує радикальність видалення новоутворення зі збереженням/покращенням функціонального стану хворого вже в ранньому післяопераційному періоді та дозволяє покращити віддалені результати лікування.Практичне значення отриманих результатів 1.?Розроблено та впроваджено спосіб пластичного закриття крайового дефекту верхнього сагітального синусу після тотального видалення парасагітальної менінгіоми, яка викликає обтурацію ВСС, із збереженням шляхів колатерального кровотоку (патент України на корисну модель № 146106 (UA) від 20.01.2021р.).2.?Розроблено та впроваджено спосіб пластики дефекту верхнього сагітального синуса (ВСС) після видалення парасагітальної менінгіоми, яка проросла 1 або 2 стінки ВСС, не викликаючи його оклюзії (патент України на корисну модель № 146105 (UA) від 20.01.2021р.).3.?Доведено доцільність визначення імуногістохімічних маркерів Кі67, р53, Her2/neu та Cyclin D1 для прогнозування ризику виникнення рецидивів/подовженого росту парасагітальних менінгіом. 4.?Доведено, що повноцінний аналіз інструментальних методів дослідження головного мозку із використанням опції дослідження судинної системи головного мозку, нейронавігаційної станції (за наявності даних МРТ головного мозку та/або СКТ-ангіографії) та нових мікрохірургічних технік сприяє збільшенню радикальності та малотравматичному видаленню парасагітальної менінгіоми і зменшенню ризику інтраопераційних та післяопераційних ускладнень, що позитивним чином впливає на найближчі та віддалені результати лікування^UObjective: Improve the parasagittal meningioma patients’ treatment outcomes by determining the optimal surgical tactics using advanced neuroradiological study methods. The thesis is based on the analysis of the results of examination and surgical treatment of 199 parasagittal meningioma patients aged 19 to 78 (median, 55) treated in the Neurosurgical Department No. 2, Mechnikov Dnipropetrovsk Regional Clinical Hospital, Dnipropetrovsk Regional Council in 2000–2022. This thesis analyzes the results of retrospective (n = 95) and prospective (n = 104) studies. The criterion for patient stratification into two groups was the introduction of a differentiated approach to the choice of surgical treatment tactics, given the preoperative angiography (selective cerebral angiography (CAG) and helical computed tomographic angiography).Scientific novelty of the results.1.?We identified the topographic and anatomical features of the PMs and their relationship with the SSS, parasagittal veins, and functionally important brain areas, which affect the surgical treatment tactics. We determined the transformed venous outflow pathways depending on the site of occlusion of the superior sagittal sinus by parasagittal meningioma: anterior, middle, and posterior thirds of the SSS.2.?For the first time, a method of plastic surgery for the superior sagittal sinus (SSS) defect following the removal of a parasagittal meningioma (PM) that invaded 1 or 2 walls of the SSS without causing its occlusion was developed and scientifically substantiated. For the first time, a method of plastic closure of the marginal defect of the superior sagittal sinus (SSS) after total removal (Simpson grade I) of a parasagittal meningioma (PM), which causes the SSS obturation (Bonnel and Brotchi grade VI) with preserved collateral blood flow pathways, was developed and scientifically substantiated.3.?It was found that the volume of intraoperative blood loss during the PM removal is associated with the tumor size (rs=0.59, p=0.000, rs=0.57, p=0.000) and the type VI SSS damage as per M.P. Sindou and J.E. Alvernia (rs=0.29, p=0.004, rs=0.20, p=0.042).4.?The correlation analysis demonstrated a statistically significant direct proportion (average significance) between the type VI tumor invasion in the SSS as per M.P. Sindou and J.E. Alvernia and the development of intraoperative cerebral edema (rs=0.37, p=0.000 in the first study period; rs=0.30, p = 0.002 in the second study period).5.?The correlation analysis also demonstrated a statistically significant inverse proportion between the Karnofsky score for neurological condition on the first postoperative day and at discharge and the postoperative growth of cerebral edema, development of hematoma in the tumor bed, and venous infarction (rs=-0.20, p=0.048 vs. rs=-0.47, p=0.000, respectively).6.?It was confirmed that usage of the data on the SSS patency and the condition of collateral venous circulation helps prevent iatrogenic damage to functionally important veins, increases the radicality of tumor removal with preservation/improvement of a patient's functional condition in the early postoperative period, and improves long-term treatment outcomes.Practical significance of the results 1.?A method of plastic closure of marginal defect of the superior sagittal sinus after total removal of parasagittal meningioma that causes the SSS obturation, with preservation of collateral blood flow pathways was developed and implemented (Utility Model Patent of Ukraine No. 146106 (UA) dd Jan. 20, 2021).2.?A method of plastic surgery for the superior sagittal sinus (SSS) defect after the removal of a parasagittal meningioma that invaded 1 or 2 walls of the SSS without causing its occlusion was developed and implemented (Utility Model Patent of Ukraine No. 146105 (UA) dd Jan. 20, 2021).3.?The appropriateness of identifying the immunohistochemical tumor markers, Ki67, p53, Her2/neu, and Cyclin D1, for estimating the risk of recurrence/prolonged growth of parasagittal meningiomas was proved. 4.?It was confirmed that a comprehensive analysis of instrumental brain study methods using the study of the cerebral vascular system, a neuronavigation station (given the availability of brain MRI and/or HCT angiography data), and new microsurgical techniques helps increase the radicality and minimally traumatic removal of parasagittal meningiomas and reducing the risk of intraoperative and postoperative complications, which positively affect the immediate and long-term treatment outcomes


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

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