Бази даних

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

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

Вид пошуку
у знайденому
Сортувати знайдені документи за:
авторомназвоюроком видання
Формат представлення знайдених документів:
повнийстислий
 Знайдено в інших БД:Віртуальна довідка (15)Наукова електронна бібліотека (57)Реферативна база даних (6417)Книжкові видання та компакт-диски (523)Журнали та продовжувані видання (16)
Пошуковий запит: (<.>K=КАРАЛЬНІ$<.>+<.>K=ОПЕРАЦІЇ$<.>)
Загальна кількість знайдених документів : 795
Представлено документи з 1 до 20
...

      
1.

Гулевський С.М. 
Helicobacter pylori та інша мукозна мікрофлора шлунка при хірургічному лікуванні виразкової хвороби дванадцятипалої кишки: Автореф. дис... канд. мед. наук: 14.01.03 / С.М. Гулевський ; Дніпропетр. держ. мед. акад. — Д., 1999. — 19 с. — укp.

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

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


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

Рубрики:

      
2.

Кулаковська О.В. 
Індивідуалізація підходів до ведення жінок із стресовим нетриманням сечі: автореф. дис... канд. мед. наук: 14.01.01 / О.В. Кулаковська ; Вінниц. нац. мед. ун-т ім. М.І.Пирогова. — Вінниця, 2009. — 20 с. — укp.

Проведено порівняння застосування консервативних (фармакотерапія інгібітором зворотного захвату серотоніну й адреналіну як монотерапії та в поєднанні з вправами для зміцнення м'язів тазового дна в комплексі з електростимуляцією шийки сечового міхура) і хірургічних методів лікування стресового нетримання сечі з визначенням безпосередніх і віддалених результатів лікування стресового нетримання сечі у жінок. Доведено, що ефективність лікування інгібітором зворотного захвату серотоніну й адреналіну як монотерапія склала 57,5 %, у поєднанні з вправами для укріплення м'язів тазового дна й електростимуляцією шийки сечового міхура - 80,0 %, ефективність хірургічного методу лікування за методикою TVT-O склала 97,5 %. Встановлено, що одним з компонентів оцінки ефективності лікування було визначення якості життя жінок, яке визначали за станом фізичної активності, психічним станом, соціальним і рольовим функціонуванням, сексуальною функцією. Розкрито, що операція та пов'язані з нею негативні психоемоційні навантаження зумовлюють зниження фізичної активності, погіршення психічного стану жінок і сексуальної функції в перші три місяці після операції, а у віддалені терміни - стійке покращання показників якості життя за рахунок високої ефективності хірургічного лікування.

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


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

Рубрики:

      
3.

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


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

      
4.

Овський О. Г. 
Інструментальна система аналізу задач математичної фізики на базі аналітико –чисельних методів / О. Г. Овський. — Б.м., 2021 — укp.

Дисертаційну роботу присвячено розробці інструментальної системи, що дозволяєздійснювати аналіз крайових задач теорії пружності за допомогою аналітичного методупочаткових функцій.Автоматизовано схему розв'язання задач математичної фізики на ЕОМ. Розробленоалгоритми, за допомогою яких на системах комп᾽ютерної математики виводятьсясимволічні розв'язки диференційних рівнянь теорії пружності за методом початковихфункцій. Використана спрощуюча символіка, що дозволяє здійснити перетворенняоперацій диференціювання та інтегрування в символічні операції множення та ділення.В результаті створено інструментальну систему, що використовує обчислювальні ресурсиСКМ і реалізує в діалоговому режимі розв'язання крайових задач з одержаннямформульних, числових та візуальних даних. Основні результати роботи застосовано дляаналізу крайових задач теорії пружності.Інструментальна система спрямована на те, щоб дати дослідникові можливістьвидозмінювати математичну модель у процесі аналізу, втручатися в процес розрахунків. Їїосновна перевага – можливість внесення змін у програму на вхідній мові системи.Програмна реалізація на базі СКМ, яка є синтезом аналітичних і чисельних методів,дозволяє значною мірою розширити коло задач математичної фізики, де можназастосовувати ЕОМ для обчислень.^UThe dissertation is devoted to the development of an instrumental system that allows toautomate the analysis of boundary value problems of the theory of elasticity by means of theanalytical method of initial functions.Nowadays, analytical (algebraic and symbolic) calculations, which have greater clarity of resultsthan numerical ones, are gaining more and more recognition. Analytical calculations areimplemented in computer mathematics (SCM) systems. Therefore, SCM is widely used in science,technology and, especially, in the educational process. Their main advantages are ease of use,accuracy of the obtained solutions, high efficiency of processing algebraic operations. However,they have a common drawback: partial support for transformations of transcendental andlogarithmic expressions. Before application in specialized fields of science and technology SCMmust be software improved. The obtained final and some intermediate results of calculationsshould be investigated for compliance with the content of the problem, accuracy, etc. Especiallyfor the case of boundary value problems of the theory of elasticity, where SCM was rarely usedfor research.In the dissertation work the instrumental system of solving problems of mathematical physics byanalytical-numerical methods is considered. The solution of mathematical physics problems forstatic linear theory of elasticity on a computer is automated. An analytical-numerical method ofinitial functions for solving two-dimensional and three-dimensional problems is proposed.Algorithms have been developed to derive analytical solutions of differential equations of thetheory of elasticity on a computer. Algorithms for converting differentiation and integrationoperations into symbolic operations of multiplication and division have been created. The mainresults of the work were used to analyze the problems of mathematical physics that arise in thetheory of elasticity. A new approach to finding the elastic characteristics of an elastic two-layerfoundation has been developed. It is based on a synthesis of analytical and numerical methods.It should be noted that the tool system due to the language of the interpretive type SCM isdesigned so that if at some stage of its work results are obtained that do not satisfy the user, hewill be able to make the necessary changes online to refine and correct the results. Theinstrumental system is aimed at giving the researcher the opportunity to modify the mathematicalmodel in the analysis process, to interfere in the calculation process. Its main advantage is theability to make changes to the program in the input language of the system.


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

      
5.

Фанта С. М. 
Інтервенційне лікування хворих на ішемічну хворобу серця з рецидивом стенокардії після операції коронарного шунтування / С. М. Фанта. — Б.м., 2019 — укp.

Дисертація присвячена актуальній проблемі сучасної кардіохірургії та інтервенційної кардіології – лікуванню пацієнтів із рецидивом стенокардії після операції КШ. В представленій роботі в якості клінічного матеріалу були використані дані 350 пацієнтів, первинно прооперованих з приводу ІХС (250 пацієнтів з РС та 100 хворих без РС обрані випадковим чином серед оперованих протягом того самого проміжку часу зі збереженням розподілу за роками). Проведене наукове дослідження дозволило встановити частоту, терміни та причини РС у хворих після КШ.Представлена робота є першим вітчизняним дослідженням, в якому на великому клінічному матеріалі на підставі всебічного аналізу інтервенційного та хірургічного лікування хворих на ішемічну хворобу серця з РС після первинної операції КШ отримано нові сучасні наукові результати. Розроблено новий метод верифікації симптом-залежного пограничного ураження дистальних анастомозів (ФРК) для обґрунтування показів до ЧКВ на шунтах. Визначено можливі фактори ризику невдалих ЧКВ та виникнення ускладнень при інтервенційних втручаннях на коронарних шунтах, досліджено ефективність імплантації різних типів стент-систем при таких інтервенціях. Застосовано ВСУЗД в зоні дистальних анастомозів з метою оцінки характеристик уражень та результатів ЧКВ на шунтах. Проаналізовано динаміку основних показників якості життя пацієнтів з РС лікованих різними методами.^UThe dissertation is devoted to the actual problem of modern cardiosurgery and interventional cardiology - treatment of patients with MS after the operation of KS. In the presented work, clinical data was used for 350 patients initially operated on CHD (250 patients with MS and 100 patients without MS, randomly selected among those operated during the same time interval with preservation of distribution by years). The conducted scientific research allowed to establish the frequency, timing and causes of MS in patients after KS.The presented work is the first domestic research, in which new modern scientific results were obtained on a large clinical material on the basis of a comprehensive analysis of interventional and surgical treatment of patients with coronary heart disease from MS after the initial operation of the KS. A new method for verifying symptom-dependent border disturbances of distal anastomosis (VFR) was developed for the justification of indications for PCI in shunts. The possible factors of risk of unsuccessful PCI and complications in interventional interventions on coronary shunts were determined, and the effectiveness of implantation of different types of stent systems with such interventions was investigated. Appended HPLC in the area of distal anastomosis in order to assess the characteristics of lesions and PCI results on shunts. The dynamics of the main indicators of quality of life of patients with MS treated with different methods was analyzed


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

      
6.

Мохаммед Джафару Аугі 
Інтраопераційні та ранні післяопераційні ускладнення в хірургії хвороб оперованого шлунка (прогнозування, діагностика, лікування і профілактика): Автореф. дис... канд. мед. наук: 14.01.03 / Мохаммед Джафару Аугі ; Крим. держ. мед. ун-т ім. С.І.Георгієвського. — Сімф., 2002. — 22 с. — укp.

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

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


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

Рубрики:

      
7.

Антонів В. Я. 
Інформаційні технології паралельного сортування та пошуку даних / В. Я. Антонів. — Б.м., 2021 — укp.

У дисертаційній роботі розв'язано актуальне наукове завдання – розроблено нові і удосконалено існуючі методи, моделі та створено високоефективні апаратно-програмні засоби інформаційних технологій паралельного сортування і пошуку даних у реальному часі. Розроблено інформаційні технології паралельного сортування та пошуку даних, які завдяки використанню розроблених і вдосконалених методів, функціональних моделей паралельного сортування і пошуку даних та врахуванню інтенсивності їх надходження, розмірів масивів даних забезпечують створення високоефективних апаратно-програмних засобів сортування і пошуку даних у реальному часі. Розроблено метод паралельно-вертикального пошуку максимальних і мінімальних чисел у масивах, який внаслідок паралельного опрацювання і-го розрядного зрізу масиву чисел і паралельного формування слів управління забезпечує зменшення часу пошуку, який визначається в основному розрядністю чисел. Удосконалено метод паралельного сортування злиттям, який завдяки використанню базової операції об'єднання двох масивів з одночасним формуванням елементів зростаючого і спадаючого масивів забезпечує зменшення часу сортування. Удосконалено метод паралельно-вертикального сортування даних, який завдяки підрахунку одиниць у і-му вхідному розрядному зрізі та паралельному формуванню і-го розрядного зрізу відсортованого масиву чисел забезпечує зменшення часу сортування.^UIn the dissertation was solved the actual scientific task– developed new and improved the existing methods, models, and developed high-efficiency hardware and software of information technologies for parallel sorting and data searching in real-time. The information technologies for parallel sorting and data searching were developed, that by using the developed and improved methods, functional models of parallel-stream sorting and searching and taking into account the intensity of data, the size of data arrays provides development of high-efficiency hardware and software for sorting and data searching in the real-time. The method of parallel-vertical searching of maximum and minimum numbers in arrays was developed, which due to parallel processing of the i-th digit-slice of the array of numbers and parallel formation of control words provides reduction of search time, which is mainly determined by a digit of numbers. The method of parallel merge sorting was improved, which due to the use of the basic operation of combining two arrays with simultaneous formation elements of ascending and descending arrays provides a reduction of sorting time. The method of parallel-vertical data sorting was improved, which due to the counting of units in the i-th input digit-slice and parallel formation of the i-th digit-slice of the sorted array of numbers provides reduction of sorting time.


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

      
8.

Лимаренко В. В. 
Інформаційна система підтримки рішень для автоматизації створення технологічних процесів механообробки деталей високоточного обладнання / В. В. Лимаренко. — Б.м., 2019 — укp.

Робота присвячена вирішенню сучасного завдання – розробці інформаційної системи підтримки рішень для автоматизації створення технологічних процесів механообробки деталей високоточного обладнання, що складається з трьох підсистем – інформаційної підсистеми автоматизованого створення структури технологічного процесу механообробки деталей високоточного обладнання; інформаційної підсистеми оптимізації параметрів операцій ТП обробки різанням з урахуванням накопичення зносу інструменту та підсистеми контролю та корегування операційних параметрів. Завдання проектування структури технологічних процесів вирішене з використанням методів декомпозиції, послідовного ієрархічного синтезу та методів штучного інтелекту – продукційних правил. Завдання визначення оптимальних параметрів операцій точіння і фрезерування вирішене в багатокритерійній постановці за цільовими функціями: собівартість операції, питомі енерговитрати на операцію та продуктивність операції, з урахуванням зносу інструменту, що накопичується у часі, шляхом пошуку Парето-оптимального рішення з використанням генетичних алгоритмів та штучних нейронних мереж з урахуванням технічних та технологічних вимог та обмежень. Показане проектування технологічного процесу на прикладі виготовлення виробу «Корпус фільтру» з урахуванням технологічних обмежень, експлуатаційних вимог, та надані рекомендації по оптимальним параметрам операцій механообробки металів при виготовленні деталей високоточного обладнання.^UThe work is devoted to the solution of the modern problem – development of an information system of decision support for automation of the production of technological processes for the machining of high precision equipment parts, which consists of three subsystems – a information subsystem of the automated creation of the structure of the technological process of machining of parts for precision equipment; information subsystem of optimization the parameters of the TP operations of cutting by considering the accumulation of tool wear and subsystem of control and correction of operating parameters. The task of designing the structure of technological processes is solved by using the decomposition methods, sequential hierarchical synthesis and methods of artificial intelligence – the production rules. The task of determining the optimal control parameters for turning and milling operations is solved in a Зmulti-criterion setting for target functions: the prime cost of operation, specific energy costs per transaction and performance of the operation, considering the wear of the tool that is accumulated in the time, by finding a Pareto-optimal solution with using genetic algorithms and artificial neural networks with considering technical and technological requirements and constraints.For the first time, specialized knowledge bases have been developed on the basis of information technologies, namely methods of artificial intelligence using production logic to determine the structure of the technological process and artificial neural networks.The model of the informational subsystem of the automated creation of an optimal structure of the technological process of machining by cutting high precision equipment parts has been improved. The model of the informational subsystem of parametric optimization for the search of modes of operations of optimal technological processes of cutting is improved. The model of information subsystem of parametric optimization of parameters of operations of cutting operations has received further development.The design of the technological process on the example of the manufacturing of the product «Filter housing» with considering technological constraints is shown, operational requirements, and recommendations are given on optimal control of operations of metals machining in the manufacturing of parts of high precision equipment.


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

      
9.

Соколова Н. О. 
Інформаційна технологія автоматизованого розпізнавання будівель на фотограмметричних зображеннях високого просторового розрізнення / Н. О. Соколова. — Б.м., 2021 — укp.

Дисертація на здобуття наукового ступеня кандидата технічних наук за спеціальністю 05.13.06 – інформаційні технології. – Національний технічний університет «Дніпровська політехніка», Дніпро, 2021.У дисертаційній роботі розв'язана важлива науково-прикладна задача підвищення ефективності автоматизованої обробки, аналізу та розпізнавання багатоканальних фотограмметричних зображень високого просторового розрізнення. Проведений огляд запусків космічних апаратів ДЗЗ, питань формування цифрових сканерних зображень високого просторового розрізнення, їх класифікація та особливості. Проаналізовані загальні підходи до розпізнавання образів та їх застосування в задачах розпізнавання будівель. Проведено огляд програмного забезпечення для обробки зображень на знімках високого просторового розрізнення. Аналіз сучасних методів розпізнавання будівель показав недосконалість використання окремих методів та алгоритмів, малу кількість інформаційних технологій автоматичного розпізнавання будівель та необхідність розробки комплексного підходу для вирішення цього питання.Запропоновано інформаційну технологію розпізнавання будівель, яка складається з аналізу гістограм, знаходження контурів будівель та верифікації результатів. Для верифікації результатів розпізнавання розроблені методи на основі геометричного аналізу, тіньового аналізу та використання метаданих.Запропонована інформаційна технологія реалізована у вигляді програмного додатку, що дозволяє виконувати операції по автоматизованому розпізнаванню будівель на фотограмметричних зображеннях різної природи (аерокосмічних, лідарних, квадрокоптерних) навіть непрофесійному користувачу- дешифрувальнику. Виконання операцій обробки за допомогою розробленого програмного додатку значно скорочує час отримання результатів та підвищує якість розпізнавання.^UThesis for scientific degree of Candidate of Technical Sciences in specialty05.13.06 - Information technologies. - National Technical University "Dnipro Polytechnic", Dnipro, 2021.This dissertation work provides a solution for developing information technology building recognition on images from remote Earth sensing and verification of recognition results. Dissertation work contains general information about photogrammetry, current state of Earth remote sensing, general approaches of pattern recognition, including existing software, methods and technologies for image processing with high spatial resolution and there are currently several information technologies for automatic building recognition showing low accuracy. The developed technology consists of the following stages: division of a scene into sites; histogram analysis; feature segmentation; verification of recognition results based on expert database; shadow analysis; geometry analysis; building contour localization.In the first stage, the image is divided into segments to localize the search and to make the initial simplification of the recognition scene and to determine plot types (residential, multi-storey or commercial), which facilitate the recognition process. The second stage - histogram analysis is based on the localization of peaks in the histogram. In a large sample of buildings in the test images, it was observed that about 50% of the plots contain buildings that create a majority peak (the highest peak on the histogram). In other cases, the building generates a peak, but not a majority, and in some cases, there is more than one house or complex of buildings on the site. Analysis of histograms makes it possible to determine the binarization threshold at the next stage - the segmentation stage. The building contour is removed from the binary image based on the Suzuki-Abe algorithm.The following steps are a mechanism for estimating the probability of a segment being part of a building. Size analysis is based on expert attribute data. The size constraint can be used to eliminate segments with features that do not match the expert data about the site. The size constraint is estimated either by the area taken from the attribute table or calculated as the minimum percentage of the plot size. After weeding out small segments, the neural network, previously trained on expert data, decides to eliminate the "non-building" segment. At the stage of shadow analysis, belong to the segments with buildings, and segments with "incorrect" shadows, and which are not buildings. Pixels with certain values are grouped into segments ("feature" segments and shadow segments). Since the shadow segment and the building segment should be adjacent, a buffer is created around the segmented shadows. Each shadow segment is then examined for possible overlaps with buffers for "special" segments as there might be more than one shadow area around the building. Any segment that is overlapped by the shadow buffer is marked as a potential building. If the shadow is located on the "wrong" side, the segment is removed.Elimination of segments with a low probability of being a building also depends on geometry. Measures used for geometric analysis were selected as follows – rectangular, round, monolithic, convex. These characteristics are checked individually by comparing the behavior of the parameter for objects "building" and "non-building". The values of each parameter were used to calculate the probability of the segment "being a building". The possibility of cavities within a segment is assessed as an indication to exclude a segment. For example, cavities larger than expected will be an indicator of the absence of a building. Simple restrictions are used, such as the minimum width of the building. Segments with features that are defined on the basis of various measures not as buildings will be eliminated. At the last stage, using the Ramer- Douglas-Packer algorithm, the obtained contour of the building is smoothed, and the raster image is converted into a vector one.Proposed technology was tested with three different characteristic types of scenes: multi-storey buildings, commercial (industrial) buildings and residential single- home areas. The evaluation of obtained results was performed by comparing the area and geometry of the removed image and the parameters of the test building. The test results showed that commercial (industrial) buildings are the most recognizable. Trees, shadows and the offset for the terrain interfere with the building recognition.The proposed information technology is implemented in the form of a software application, and it allows performing operations on building recognition from any photogrammetric images of various nature (aerospace, lidar, quadrocopters) even by inexperienced users and significantly reduces the time for obtaining results and improves the quality of recognition.


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

      
10.

Малахов Є. В. 
Інформаційна технологія моделювання складноструктурованих предметних областей в системах організаційного управління (теорія та реалізація): автореф. дис. ... д-ра техн. наук : 05.13.06 / Є. В. Малахов ; Нац. техн. ун-т "Харк. політехн. ін-т". — Х., 2010. — 36 с. — укp.

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

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


Індекс рубрикатора НБУВ: У. ф1 в + З970.410 + З970.61
Шифр НБУВ: РА372304 Пошук видання у каталогах НБУВ 

Рубрики:

      
Категорія: Науки про Землю   
11.

Ящолт А.Р. 
Інформаційна технологія проектування систем обробки даних спостережень якості води: автореф. дис... канд. техн. наук: 05.13.06 / А.Р. Ящолт ; Вінниц. нац. техн. ун-т. — Вінниця, 2009. — 20 с. — укp.

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

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


Індекс рубрикатора НБУВ: Д222,0в641.8 +
Шифр НБУВ: РА364020

      
12.

Гаврилишин О. Б. 
Інформаційна технологія формування і прогнозування якості процесу оцифровування стародруків / О. Б. Гаврилишин. — Б.м., 2020 — укp.

Дисертаційна робота присвячена розробленню моделей інформаційної технології формування і прогнозування якості процесу оцифровування стародруків із урахуванням системного аналізу факторів та міри їх впливу на процес оцифровування. У роботі здійснено аналіз технологічного процесу оцифровування стародруків. Визначено фактори та їх пріоритетність для враховування при вдосконаленні та оптимізації процесу оцифровування. Сформовано структурну модель процесу оцифровування стародруків, яка включає підготовчі операції, операцію одержання цифрової мастер-копії і цифрову обробку копій. Синтезовано та оптимізовано методом ранжування багаторівневу модель пріоритетного впливу факторів на процес оцифровування стародруків. Розроблено імітаційну модель «Restoration 1.0» компенсації відсутньої ділянки зображення на оцифрованому фоні шляхом заповнення її за орієнтирами відповідними пікселями як засобу формування якості процесу оцифровування.Сформовано модель логічного виведення, здійснено формування універсальної терм-множини значень та відповідних їй лінгвістичних термів, які відображають якісні характеристики пріоритетних факторів. Розроблено нечітку базу знань, що відтворює вплив факторів на процес оцифровування залежно від рівня якості лінгвістичних термів. Побудовано функції належності лінгвістичних змінних та нечіткі логічні рівняння, які визначають зв'язок між функціями та розраховано комплексний показник прогнозованої якості процесу оцифровування стародруків за принципом «центр ваги».Ключові слова: оцифровування стародруків, інформаційна технологія, фактори, моделі, матриці, нечітка логіка, лінгвістичні змінні, функції належності, прогнозування, комплексний показник якості.^UThe thesis is devoted to the development of models of information technology of formation and forecasting of quality of the digitization process of old books taking into account the systematic analysis of factors and the degree of their influence on the digitization process.The analysis of the technological process of digitization of old books has been carried out in the work. The factors and their priority for consideration in improving and optimizing the digitization process have been determined. A structural model of the digitization process of old books has been formed, which includes preparatory operations, the operation of obtaining a digital master copy and digital processing of copies. A graphical model has been formed as an oriented graph that identifies the relationships between factors. A multilevel model of the priority influence of factors on the digitization process of old books has been synthesized and optimized by the ranking method, where the factors of the process receive the following ranks. A simulation model “Restoration 1.0” for compensation of the missing part of the image on the digitized background has been developed by filling it with appropriate pixels as a means of forming the quality of the digitization process. A model of logical inference has been formed, the formation of a universal term-set of values and the corresponding linguistic terms which reflect qualitative characteristics of priority factors has been carried out. A fuzzy knowledge base has been developed, which reproduces the influence of factors on the digitization process depending on the quality level of linguistic terms. The membership functions of linguistic variables and fuzzy logic equations, which determine the relationship between the functions, have been constructed, and a complex indicator of the predicted quality of the digitization process of old books has been calculated according to the «center of mass» principle.Keywords: digitization of old books, information technology, factors, models matrices, fuzzy logic, linguistic variables, membership functions, forecasting, complex quality indicator.


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

      
13.

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

Дисертація є комплексним дослідженням з розробки, аналізу, оцінки та застосування інформаційно-інтелектуальної системи оцінки та прогнозування якості харчової продукції.Актуальність теми дослідження зумовлена тим фактором, що управління якістю виробництва харчової продукції вимагає розробки комплексної інформаційно-інтелектуальної системи, яка ґрунтується на моделюванні інформаційних потоків виробничого процесу, застосуванні ефективних методів підтримки прийняття рішень, основних методах оцінки та прогнозування показників якості продукції, що призведе до підвищення якості продукції.Сучасний розвиток цифрового світу підвищує вимоги до побудови інформаційних систем для моніторингу, оцінки, прогнозування та підтримки прийняття рішень на підприємствах, які є виробниками продукції або товарів загального вжитку. Такі виклики потребують використання сучасних інноваційних підходів щодо побудови інформаційних систем, включаючи використання елементів штучного інтелекту, а саме баз знань та нейронних мереж. Інформаційно-інтелектуальні системи здатні забезпечити ефективну та потужну підтримку щодо прийняття рішень, яка не відслідковується в традиційних інформаційних системах. Інформаційно-інтелектуальні системи включають різні аспекти програмного забезпечення, обладнання та масиви даних для забезпечення підтримки прийняття рішення на основі інтелектуального аналізу даних. Інтелектуальний аналіз даних поєднує методи статистичного та штучного інтелекту з метою отримання нових знань та встановлення закономірностей в умовах невизначеності інформації.Для візуалізації архітектури компонентів та модулів інформаційно-інтелектуальної системи використовується сценарно-цільовий аналіз на основі графових та прографових моделей, що відображають та деталізують основні цілі, фактори впливу на структуру моделі, операції та міжопераційні зв’язки. Тобто, інтегрована інформаційно-інтелектуальна система поєднує в собі різні підсистеми, які постійно взаємодіють між собою, впливають на загальну ефективність інформаційної системи та спрямовані на забезпечення якості продукції.Інформаційно-інтелектуальні системи активно використовуються для забезпечення якості виробничих процесів та продукції шляхом інтеграцій функцій обміну знаннями, пов’язаними з показниками якості продукції, з метою забезпечення їх автономності за допомогою елементів штучного інтелекту. Створення таких систем вимагає поєднання новітніх інформаційних та інтелектуальних технологій, хмарних обчислень, аналітики великих даних. Зокрема, це включає використання можливостей інтеграції даних інформаційних систем, прийняття рішень та здатність реагувати на наявні ситуації, представлення результатів через інформаційні панелі та інтерактивні візуальні панелі, а також використання інтелектуальних сенсорних технологій. Інтегровані системи, проводячи інтелектуальний аналіз даних та використовуючи технології штучного інтелекту, дозволяють розуміти та прогнозувати різного роду ситуації.Однією із важливих характеристик інформаційно-інтелектуальних систем оцінки та прогнозування якості продукції є забезпечення інформаційних потоків між їх складовими, а також виявлення можливих дефектів ще до початку процесу. Тому деякі компоненти інформаційно-інтелектуальної системи можуть використовувати статистичні методи управління для виявлення аномалій на етапі їх можливого виникнення, покращуючи тим самим ефективність управління якістю. Формування знань-даних через системи збору даних дозволяє аналізувати та візуалізувати інформацію в режимі реального часу, що збільшує ефективність процесу прийняття рішень.Інформаційно-інтелектуальна система оцінки та прогнозування якості продукції повинна відповідати вимогам та надавати постійне підвищення ефективності функціонування системи в цілому. Щодо аспекту інтелектуалізації якості, важливим стає використання підходів, що базуються на знаннях, для створення та експлуатації системи на відмінну від традиційних підходів. Виникає потреба в методах та методологіях для опису вимог щодо майбутньої системи, опису задіяних етапів при проектуванні, відображення послідовності дій між системами різних рівнів виробничого підприємства. Методологія SysML дозволяє аналізувати, конкретизувати і проектувати такі складні системи з метою підвищення їх якості.Інформаційні та комунікаційні технології стрімко розвиваються, хмарні технології стають все більше затребуваними та дозволяють поєднувати фізичний та віртуальний світ на основі програмного забезпечення із відкритим вихідним кодом. Для розробки інформаційної панелі інформаційно-інтелектуальної системи оцінки та прогнозування якості продукції використано середовище NODE-RED із відкритим вихідним кодом. Інформаційна панель представлена у вигляді дашборду, який складається з колекцій візуалізації елементів для представлення даних процесу через інтерфейс користувача (UI).^UThe dissertation represents a comprehensive study involving the development, analysis, assessment, and application of an information-intelligent system for quality evaluation and forecasting of food production. The relevance of this research topic is driven by the fact that managing the quality of food production requires the development of a comprehensive information-intelligent system based on modeling information flows within the production process, the utilization of effective decision support methods, and fundamental approaches to evaluating and forecasting product quality indicators, ultimately leading to an improvement in product quality.The contemporary advancement of the digital world has increased the demands for building information systems for monitoring, assessing, forecasting, and decision support in enterprises that produce consumer goods or products for general use. Addressing these challenges necessitates the adoption of innovative approaches, including elements of artificial intelligence, such as knowledge bases and neural networks. Information-intelligent systems are capable of providing effective and robust decision support that traditional information systems cannot offer.Information-intelligent systems encompass various aspects of software, hardware, and data arrays to facilitate decision support through intelligent data analysis. Intelligent data analysis combines statistical and artificial intelligence methods to acquire new knowledge and establish patterns in conditions of information uncertainty.To visualize the architecture of components and modules of an information-intelligent system, scenario-based analysis is employed, based on graph and flowchart models that illustrate and detail primary goals, factors influencing the model's structure, operations, and interoperations. In essence, an integrated information-intelligent system combines various subsystems that interact continually, affecting the overall effectiveness of the information system and aiming to ensure product quality.Information-intelligent systems are actively used to enhance the quality of production processes and products by integrating knowledge exchange functions related to product quality indicators to provide autonomous decision-making capabilities through artificial intelligence elements. Building such systems requires the fusion of state-of-the-art information and intelligent technologies, cloud computing, and big data analytics. This includes data integration, decision-making capabilities, responsiveness to real-time situations, presentation of results through information panels and interactive visual displays, and the use of intelligent sensor technologies. Integrated systems, by conducting intelligent data analysis and utilizing artificial intelligence, enable the understanding and prediction of various situations.One of the critical characteristics of information-intelligent systems for product quality evaluation and forecasting is the management of information flows among their components and the detection of possible defects before the production process begins. Thus, certain components of the information-intelligent system may employ statistical management methods to detect anomalies at their potential onset, thereby improving the quality management efficiency. Knowledge data acquisition through data collection systems allows for real-time data analysis and visualization, enhancing the decision-making process.An information-intelligent system for product quality evaluation and forecasting should meet requirements and continually enhance the system's overall performance. Concerning the aspect of quality intellectualization, the use of knowledge-based approaches becomes crucial for creating and operating the system, differentiating it from traditional methods. This necessitates methods and methodologies for describing the requirements for the future system, specifying the involved stages in design, and depicting the sequence of actions between systems at different levels of the production enterprise. The SysML methodology allows for the analysis, concretization, and design of such complex systems to enhance their quality.Information and communication technologies are rapidly evolving, and cloud technologies are becoming increasingly popular, allowing the integration of the physical and virtual worlds based on open-source software. For the development of the information panel of the information-intelligent system for product quality evaluation and forecasting, the open-source NODE-RED environment was used. The information panel is presented in the form of a dashboard, consisting of collections of visual elements for data representation through a user interface (UI).


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

      
14.

Туранський М. О. 
Інформаційно-психологічне забезпечення операції з анексії Криму Російською Федерацією: історичні передумови та практична реалізація / М. О. Туранський. — Б.м., 2020 — укp.

Метою дослідження є комплексний аналіз інформаційно-психологічних заходів з анексії та інкорпорації АРК Російською Федерацією у 2014р. Об'єктом дослідження є анексія та інкорпорація Російською Федерацією Автономної Республіки Крим у лютому–березні 2014р. Предмет дослідження – особливостій заходи реалізації ІПсО у рамках кампанії із захоплення Росією Кримського півострова. За гносеологічну основу дослідження було взято загальнонаукові, спеціальні наукові методи, перш за все, спеціально-історичні методи, що сприяло цілеспрямованому вивченню та об'єктивному висвітленню історичних процесів в Україні і, зокрема, на Кримському півострові. Події в АРК були висвітлені на підставі комплексного вивчення джерел і наукової літератури. В методологічному підході до матеріалу, який розглядався, були застосовані принципи об'єктивності, комплексності, історизму.^UThe purpose of the study is a comprehensive analysis of information and psychological measures for the annexation and incorporation of the ARC by the Russian Federation in 2014. The object of the study is the annexation and incorporation by the Russian Federation of the Autonomous Republic of Crimea in February-March 2014. The subject of the study is the peculiarities of the measures to implement the IPSO in the framework of the campaign to seize the Crimean peninsula by Russia. The epistemological basis of the study was taken by general scientific, special scientific methods, first of all, special-historical methods, which contributed to the purposeful study and objective coverage of historical processes in Ukraine and, in particular, on the Crimean peninsula. The events in the ARC were covered on the basis of a comprehensive study of sources and scientific literature. In the methodological approach to the material under consideration, the principles of objectivity, complexity, historicism were applied.


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

      
15.

Дишкант Т.М. 
Ірраціональне в науковому і позанауковому знанні: Автореф. дис. канд. філософ. наук: 09.00.01 / Т.М. Дишкант ; Харк. нац. ун-т ім. В.Н.Каразіна. — Х., 2005. — 19 с. — укp.

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

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


Індекс рубрикатора НБУВ: Ю225.6 +
Шифр НБУВ: РА337640

Рубрики:

      
16.

Долинська М.Л. 
Історична топографія Львова XIV - XIX ст.: Автореф. дис... д-ра іст. наук: 07.00.01 / М.Л. Долинська ; НАН України. Ін-т українознав. ім. І.Крип'якевича, Ін-т народознав. — Л., 2007. — 36 с. — укp.

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

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


Індекс рубрикатора НБУВ: Т3(4УКР-4ЛВО-2Л)4 +
Шифр НБУВ: РА348842

Рубрики:

      
17.

Іванов А. А. 
Автоматизована система моніторингу і керування електроенергетичною системою судна / А. А. Іванов. — Б.м., 2021 — укp.

Метою досліджень є підвищення ефективності процесів керування автоматизованою судновою електроенергетичною системою судна із системою моніторингу за рахунок застосування квазіоптимального регулятора та буферного джерела енергії з метою реалізації оптимального режиму його роботи при значних динамічних перевантаженнях в умовах зовнішніх впливів хвиль і вітру.Об'єкт дослідження. Автоматизовані системи моніторингу і керування електроенергетичними системами суден з електрорухом. Предмет дослідження: моделі та методи підвищення ефективності процесів керування автоматизованими судновими електроенергетичними системами судна. В основу досліджень покладено: методи системного аналізу для аналізу динамічної системі «судно-навколишнє середовище» та 21 визначення функцій цілі для кожного рівня ієрархії системи керування. При побудові моделей процесів управління енергосистемою судна використані операції з матрицями великих порядків і методи підвищення продуктивності процедур обробки полів даних, для моделювання використано методи та засоби імітаційного моделювання та системи комп'ютерної математики. Розроблено практичні рекомендації, які можуть бути використані при розробці квазіоптимальних регуляторів зі змінною структурою, що забезпечують керування, близьке до оптимального.^UThe aim of the research is to increase the efficiency of control processes for the automated ship power system of a ship with a monitoring system through the use of a quasi-optimal regulator and a buffer energy source in order to implement the optimal mode of its operation with significant dynamic overloads under conditions of external influences of waves and wind.Object of study. Automated systems for monitoring and control of electric power systems of ships from electric propulsion.Subject of research: models and methods for increasing the efficiency of control processes for automated ship electric power systems of a ship. The research is based on: methods of system analysis for the analysis of the dynamic system "ship-environment" and 21 determination of the functions of the goal for each level of the hierarchy of the control system. In the construction of models of ship power system management processes, operations with large-order matrices and methods of increasing the productivity of data field processing procedures were used, simulation methods and means of simulation modeling and computer mathematics systems were used for modeling. Practical recommendations have been developed that can be used in the development of quasi-optimal controllers with a variable structure that provide control close to optimal.


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

      
18.

Тарасюк В.П. 
Автоматизована система управління технологічним процесом приготування пралінових мас на основі експертних оцінок: Автореф. дис... канд. техн. наук: 05.13.07 / В.П. Тарасюк ; Донец. нац. техн. ун-т. — Донецьк, 2005. — 22 с. — укp.

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

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


Індекс рубрикатора НБУВ: Л863-5-05 +
Шифр НБУВ: РА337227

Рубрики:
  

      
19.

Лагун А.Е. 
Автоматизований структурний синтез число-імпульсних функціональних перетворювачів: Автореф. дис... канд. техн. наук: 05.13.05 / А.Е. Лагун ; Нац. ун-т "Львів. політехніка". — Л., 2001. — 19 с. — укp.

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

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


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

      
20.

Прохорчук В. А. 
Автоматні зображення груп / В. А. Прохорчук. — Б.м., 2022 — укp.

Дисертаційна робота присвячена побудові точних скінченно автоматних зображень ряду скінченно породжених груп. Природною необхідною умовою для груп, які допускають такі зображення, є резидуальна скінченність.Розглядаються точні скінченно автоматні зображення для таких скінченно породжених резидуально скінченних груп, які за своєю комбінаторною структурою є близькими до вільних груп. А саме, груп, що розкладаються у вільні добутки своїх підгруп, амальгамовані вільні добутки, або є HNN-розширеннями.Розділ 2 присвячений побудові точних зображень амальгамованих вільних добутків циклічних груп по циклічній підгрупі за допомогою скінченних автоматів над деяким скінченним алфавітом. А саме, використовуючи узагальнення леми про пінг-понг показано, що вказаний амальгамований вільний добуток породжується автоматними підстановками, визначеними ініціальними автоматами з 4 станами. Окремо розглянуто випадок тривіальної амальгамації, тобто побудовано точне зображення амальгамованого вільного добутку вказаних груп по одиничній підгрупі. В цьому випадку автомати, в яких визначаються необхідні автоматні підстановки, мають по 2 внутрішні стани.В Розділі 3 побудовано точне зображення амальгамованих вільних добутків циклічних груп по циклічній підгрупі скінченно автоматними підстановками над мінімально можливим алфавітом. Наводиться допоміжна конструкція автоматних підстановок довільного скінченного порядку і оцінено кількість станів в автоматі, який задає вказану автоматну підстановку. Для явної побудови автоматів, в станах яких визначатимуться необхідні для доведення автоматні підстановки, використовуються операції з'єднання і послідовного з'єднання двох ініціальних автоматів, а також конструкція l-повного автомата. У випадку точного зображення амальгамованих вільних добутків скінченного числа p-груп ініціальними автоматами додатково показано, що такий амальгамований вільний добуток ізоморфно занурюється в p-FGA(X) для алфавіту X потужності p, тобто перетин p-силовської підгрупи Syl_p(GA(X)) групи всіх автоматних підстановок над X і групи FGA(X) всіх скінченно автоматних підстановок. Доведення останнього твердження базується на загальній конструкції, запропонованій вище, та додатковому аналізі побудованих в ній автоматів.В Розділі 4 розглянуто питання знаходження HNN-розширень вільних абелевих груп рангу n, n ⩾ 1, які допускають ізоморфні занурення в групу p-FGA(X). Розглядаються такі HNN-розширення, визначені невиродженими цілочисельними матрицями M розміру n⨉n з певними, накладеними на них, умовами. Показано, що ці HNN-розширення вільних абелевих груп допускають ізоморфні занурення в групу p-FGA(X). Як наслідок, отримуємо, що відповідні HNN-розширення є резидуально p-скінченними. Також наведено приклад такої матриці розміру 2⨉2, яка не задовольняє раніше визначеним умовам, але при цьому відповідне їй HNN-розширення занурюється в 2-FGA(X).У дисертаційній роботі отримано такі нові результати.1. Для амальгамованих добутків скінченного числа скінченних циклічних груп, амальгамованих за циклічною підгрупою побудовано точні скінченно автоматні зображення. Автоматні підстановки, які породжують відповідні добутки, визначаються ініціальними автоматами, кожен з яких має 4 внутрішні стани.2. Побудовано точні скінченно автоматні зображення вільних добутків скінченних циклічних груп. Автоматні підстановки, які породжують відповідні добутки, визначаються ініціальними автоматами, які мають по 2 внутрішні стани.3. Для амальгамованих добутків скінченного числа скінченних циклічних груп, амальгамованих за циклічною підгрупою, побудовано точні скінченно автоматні зображення над мінімально можливим алфавітом.4. Для довільного простого числа p доведено, що амальгамовані вільні добутки скінченного числа циклічних p-груп, амальгамованих за циклічною підгрупою, зображаються скінченними автоматами спеціального вигляду. Показано, що відповідні автоматні підстановки належать до p-силовської підгрупи групи всіх автоматних підстановок над p-елементним алфавітом.5. Введено клас HNN-розширень вільних абелевих груп скінченного рангу, всі групи з якого зображаються скінченно автоматними підстановками. Доведено, що відповідні автоматні підстановки належать до p-силовської підгрупи групи всіх автоматних підстановок над p-елементним алфавітом.Дисертаційне дослідження носить теоретичний характер. Отримані результати можуть бути використані в алгебрі, теорії автоматів, дискретній математиці, теорії алгоритмів та в інших галузях знань, методи яких базуються на автоматних зображення алгебраїчних структур.^UThe thesis is devoted to the study of faithful finite automaton representationsof finitely generated groups. Residual finiteness is a natural necessary conditionfor groups that allow such representations.Faithful finite automaton representations of finitely generated residually finitegroups, which are close to free groups in their combinatorial structure, are consi-dered. More precisely, it is considered groups that decompose into free productsor amalgamated free products of their subgroups, and HNN extensions of groups.Chapter 2 is devoted to the construction of faithful representations of amal-gamated free products of finite cyclic groups with cyclic subgroup amalgamatedby finite automata over some finite alphabet. Namely, using a generalization ofthe ping-pong lemma, it is shown that the specified amalgamated free product isgenerated by automaton permutations defined by initial automata with 4 states.The case of trivial amalgamation is considered separately, i.e. a faithful repre-sentation of the free product of finite cyclic groups is constructed. In this case,the automata in which the necessary automaton permutations are defined have 2internal states.In Chapter 3 a faithful representation of amalgamated free products of cyclicgroups with cyclic subgroup amalgamated by finite automaton permutations overthe minimal possible alphabet is constructed. The auxiliary construction of auto-maton permutations with arbitrary finite order is given and the number of statesin the automaton that define the specified automaton permutation is estimated.For the explicit construction of automata, in the states of which the automatonpermutations required for the proof will be determined, the operations of linkingand serial linking of two initial automata are used, as well as the construction of anl-complete automaton. In the case of faithful representations of amalgamated freeproducts of finite number of cyclic p-groups by initial automata, it is additionallyshown that such an amalgamated free product is isomorphically embedded in thegroup p-F GA(X) over an alphabet X of cardinality p, i.e. the intersection of thep-Sylow subgroup Sylp(GA(X)) of the group of all automaton permutations overX and the group F GA(X) of all finite automaton permutations over X. The proofof the last statement is based on the general construction proposed above, and onadditional analysis of the automaton constructed in it.Chapter 4 considers the question of finding HNN extensions of free abeli-an groups of rank n, n ≥ 1, which allow isomorphic embedding into the groupp-F GA(X). It is introduced HNN extensions defined by invertible integer matri-ces M of size n × n with some additional conditions. It is shown that theseHNN extensions of free abelian groups allow isomorphic embedding in the groupp-F GA(X). As a result, it is obtained that the corresponding HNN extensionsare residually p-finite. It is presented an example of a matrix of size 2 × 2, suchthat it does not satisfy the previously defined conditions, but corresponding HNNextension allow an embedding into 2-F GA(X).The main results that determine the scientific novelty of the thesis are asfollows.1. Faithful finite automaton representations are constructed for amalgamatedfree products of finite number of finite cyclic groups with amalgamated cyclicsubgroup. The automaton permutations that generate corresponding productsare defined by initial automata, each of which has 4 internal states.2. Faithful finite automaton representations of free products of finite cyclicgroups are constructed. The automaton permutations that generate corres-ponding products are defined by initial automata, each of which has 2 internalstates.3. For amalgamated free products of finite number of finite cyclic groups withamalgamated cyclic subgroup, faithful finite automaton representation areconstructed over a minimal possible alphabet.4. For arbitrary prime number p it is proved that amalgamated free productsof finite number of cyclic p-groups with amalgamated cyclic subgroup arerepresented by finite automata of special form. It is shown that correspondingautomaton permutations belong to the p-Sylow subgroup of the group of allautomaton permutations over the alphabet with p elements.5. A class of HNN extensions of free abelian groups of finite rank is introduced.All groups from this class are represented by finite automaton permutations. Itis proved that corresponding automaton permutations belong to the p-Sylowsubgroup of the group of all automaton permutations over the alphabet withp elements.The thesis is a theoretical research. The obtained results can be used inalgebra, automata theory, discrete mathematics, algorithm theory and other fieldsof knowledge, the methods of which are based on automaton representations ofalgebraic structures.


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

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