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

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

У дисертації розв'язано важливе наукове завдання підвищення ступеня повноти подання інформації щодо процесів, що протікають в ресурсних та соціокомунікаційних мережах великого за ознакою «чисельність населення» міста шляхом розроблення моделей, методів та інформаційних технологій для підтримки прийняття рішень під час надання інформаційно-технологічних послуг і сервісів.Розроблено оригінальний метод опрацювання подій у міських ресурсних мережах, котрий на відміну від існуючих враховує різнотипову природу міських мережевих ресурсів. Сформовано метод вибору групи засобів аналітичного опрацювання «Великих даних» на основі скомпонованого набору атрибутів. Розроблено метод вибору інформаційно-технологічної платформи аналітичного опрацювання міських колекцій даних. Запропоновано інформаційну технологію багатовимірного аналізу даних в міських ресурсних та соціокомунікаційних мережах. З використанням перелічених методів та на основі інформаційноїтехнології багатовимірного аналізу даних сформовано інформаційну технологію супроводу процесів у міських ресурсних та соціокомунікаційних мережах. Побудовано прототипи програмно-алгоритмічних комплексів, які реалізуютьінформаційні технології супроводу процесів, що протікають у ресурсних та соціокомунікаційних мережах великого за критерієм «чисельність населення» міста, спроектовано дві цілісні інформаційні системи.^UThe thesis work is devoted to solving the following actual scientific problem: increasing the degree of completeness of presenting information on processes arising in the resource and social communication networks of a city with a large population sizebased on the development of models of methods and information technologies to support decision making when providing information and technological services and facilities. The object of study: processes of supplying resources and forming facilities for providinginformation services. The subject of study: models, methods and means of forming procedures for the information and technological support of processes of supplying resources and providing information services and facilities to residents and guests of alarge city. On the basis of the analysis of the current state of scientific research and development of information technologies used to support processes in resource and social communication networks of a city with a large population size, an information andtechnological matrix was formed with the help of which the corresponding relation to the “Basic information technology classes” set of attributes and the information and technological components of the “smart city” concept was analyzed. The analysis and construction of prototypes of data hypercubes concerning urban resource and social communication networks were carried out, on the basis of which thedata warehouse structure was modeled. Classification and parameterization of multiple categories and attributes was carried out to describe processes in urban resource and social communication networks, which allowed, for the first time, to use IT OLAP on the basis of data hypercubes to develop information technology of complex multidimensional data analysis characterizing the course of the process of urban resource and social communication networks. Models of urban resource and social communication networks were developed, which, unlike the known ones, consider the complexity of network attributes. The method of event processing in city resource networks was developed, which, unlike the existing ones, consider the diverse nature of urban network resources. This, in turn, made it possible to form effective recommendations for promptly responding to changes in the state of resource networks and the interaction of consumers and municipaladministrations with groups of providers of relevant services. A method for selecting a group of “big data” analytical processing tools was developed using the original set of attributes. The method is based on the known hierarchy analysis method. The method of selection of information technology platform for analytical processing of urban data collections is developed based on the method of expert assessments, which is based on the procedure of pairwise comparisons of options. With the help of the above methods andbased on the multidimensional data analysis proposed in Section 2 of information technology, information technology was developed to support processes in urban resource and social communication networks, which is presented in the form of a technologicalchain and corresponding activity diagrams. A common architecture of information technology platforms designed for the implementation of various types of information systems of a city, which integrally and systematically integrates all stages of information and technological support of processes that take place in urban resource and social communication networks, was designed. Based on the analysis of functional requirements, context diagrams and use case diagrams for information systems were developed, in which basic procedures ofinformation and technological support of processes arising in urban resource and social communication networks were implemented. The prototypes of the database of information and technological support of processes in resource and social communication networks of a “smart city” were designed. Prototypes of program-algorithm complexes that implement information technologies to support processes arising in resource and social communication networks of a city with a large population size were developed, and two complete information systems were formed. The above systems were implemented in municipal institutions to provide personalized recommendations to users with regards to resource usage modes, which in turn allows reducing the cost of municipal services consumed and optimize the load on urban resource networks.

Дисертацію присвячено системному дослідженню адміністративно-правового забезпечення економічної конкуренції в Україні. Досліджено економічну конкуренцію в Україні як об'єкт адміністративно-правового забезпечення. Розкрито поняття і зміст адміністративно-правового забезпечення економічної конкуренції в Україні. Надано авторське визначення адміністративно-правового забезпечення економічної конкуренції в Україні. Розглянуто нормативно-правову основу забезпечення економічної конкуренції в Україні адміністративно-правовими засобами. Окреслено коло суб'єктів адміністративно-правового забезпечення економічної конкуренції в Україні. Виокремлено адміністративні процедури у сфері економічної конкуренції в Україні. Охарактеризовано заходи адміністративного примусу як засоби захисту економічної конкуренції в Україні. Узагальнено зарубіжний досвід адміністративно-правового забезпечення економічної конкуренції. З'ясовано актуальні проблеми адміністративно-правового забезпечення економічної конкуренції в Україні.^UThe thesis is concerned with the systematic study of administrative and legal support of economic competition in Ukraine. The author stuied the economic competition in Ukraine as an object of administrative and legal support in the field of business activity with the participation of economic entities of Ukraine and in the field of foreign economic activity with the participation of foreign economic entities. Approaches to definition of the concepts of economic competition, unfair competition, fair competition, custom/business custom with regard to the characteristics of administrative and legal relations, as well as anticompetitive performance in economic competition, including in the field of foreign economic activity were analysed. The concept and the essence of administrative and legal support of economic competition in Ukraine are revealed. The author's definition of administrative and legal support of economic competition in Ukraine as the activity of subjects of power is formulated and substantiated, which involved creating conditions for facilitating development, support, security and protection of economic competition, effective performance of Ukrainian economy, monopoly restriction, protection of subjects of economic activity and consumers from anti-competitive actions, establishment and development of fair business practices by means of administrative measures. Regulatory framework for administrative legal support of economic competition in Ukraine is considered. The author's definition of the regulatory framework for support of economic competition in Ukraine is proposed. It is stated that the legal basis for economic competition in Ukraine is the Constitution of Ukraine, international, intergovernmental, interdepartmental agreements, agreements of Ukraine with other foreign countries, international legal acts ratified by Ukraine, legislative acts of Ukraine, as well as bylaws of Ukraine. The scope of subjects of administrative and legal support of economic competition in Ukraine is outlined. It was concluded that the system of subjects of administrative and legal support of economic competition in Ukraine consists of subjects of power of general competence, carrying out exclusively regulatory activities in the field of economic competition and subjects of power of special competence, carrying out public authoritative management activities related to the support, security and protection of economic competition, restriction of monopoly in economic activity and protection of economic entities from anti-competitive actions in economic competition. Administrative procedures in the field of economic competition in Ukraine are highlighted. In particular, the proceedings in cases of violation of legislation on the protection of economic competition, anti-dumping procedure, anti-subsidy procedure, special procedure, procedure for granting concentration permission to economic entities, procedures for granting permission for concerted actions to economic entities, procedures for providing preliminary opinions on concerted actions, procedures for providing preliminary opinions on the concentration, procedures for providing conclusions on the possibility of renting an integral property complex of the enterprise were analysed.

У дисертаційній роботі здійснено системний аналіз методів та засобів аналізу параметрів сталого зростання соціополісів. Досліджено концепти «соціополіс» та «розумність»; а також критерії оцінювання сталого зростання «розумності» соціополісів та критерії підбору експертів. У дослідженні запропоновано нові підходи до обчислення результатів експертної оцінки з використанням методів нечіткої логіки із наступним ранжуванням критеріїв оцінювання. Запропоновано підходи до застосування методів візуалізації результатів експертного оцінювання, а саме використання методу пелюсткових (радіальних) діаграм; розроблено застосунок, за допомогою якого оцінюється «розумність» соціополісів з використанням зазначених методів та критеріїв оцінювання в різних галузях його функціонування, зокрема, таких як: екологія, медицина, транспортна система, ІКТ, економіка і т.д. та візуалізацією отриманих результатів.^UThe dissertation is devoted to systematic methods and tools for analysis of sustainable sociopolises growth parameters. By the methods of system analysis, it investigates the concepts of ‘sociopolis' and ‘smartness'; evaluation criteria of constant growth of sociopolises ‘smartness'; criterion for experts selection. The conducted research proposes the new approaches to the calculation of expert assessments with the help of fuzzy logic methods, followed by ranking of evaluation criteria. The study proposes the approaches to the application of visualization methods of the experts' assessments results, namely the use of petal (radial) diagrams method; describes the developed application, which, basing on abovementioned method, as well as evaluation criteria in various areas of application's operation such as ecology, medicine, transport system, ICT, economics, etc., calculates the sociopolises ‘smartness'.

У дисертаційній роботі розв'язане актуальне науково-прикладне завдання створення нових методів та засобів удосконалення процесу супроводу навчання осіб з аутизмом шляхом розроблення, запровадження та використання інформаційних технологій підтримки освітніх процесів для таких осіб. Розроблено структурну модель комплексної інформаційної технології супроводу процесів навчання учнів з аутизмом, формальну модель інформаційної технології супроводу уроку на основі доступних допоміжних інформаційних технологій інклюзивної школи. Модель передбачає оцінювання допоміжних інформаційних технологій за суб'єктивними та об'єктивними критеріями. У формуванні відповідного інформаційно-технологічного супроводу уроку враховується індивідуальний навчальний план, результати психофізичного діагностування, наявні допоміжні інформаційні технології. Завдання з наповнення бібліотеки додатковими інформаційними технологіями сформульоване, як комбінаторна задача оптимізації, розв'язана методом гілок та границь. Розроблено метод персоналізації віртуального контенту інформаційної технології супроводу навчання учнів з аутизмом з урахуванням персоналізованих потреб такого учня. Модель вибору віртуального асистента передбачає залучення учня з аутизмом до експертного оцінювання шляхом застосування технології інтелектуального аналізу даних для розпізнавання та інтерпретації емоцій учня під час взаємодії з прототипом віртуального асистента. Створено інформаційні технології супроводу окремих уроків дисципліни "Соціально-побутове орієнтування" для учнів з аутизмом на онові технологій доповненої та віртуальної реальності.Ключові слова: інформаційна технологія навчання, учень з аутизмом, метод аналізу ієрархій, метод семантичного диференціалу, віртуальний асистент, доповнена реальність, віртуальна реальність, соціально-побутове орієнтування.^UWhile identifying the main methodological foundations of teaching processes of students with autism, the main groups of information technologies to support the teaching of such students were determined: information technology to support communication, social skills, and academic teaching. The creation of new methods and means of improving the process of supporting the teaching of students with autism through the development, implementation, and use of information technology is an urgent scientific task. To solve it, a structural model of complex information technology for supporting the teaching processes of students with autism was developed, which, in contrast to the existing model of information technology support for inclusive education, provides constant interaction with specialists of psychological and medical institutions throughout the process of student's with autism education, together with more thorough use of methods and means of visualization of such information technology. The developed method of personalization of virtual content of information technology of support of teaching of students with autism consists in formation of a library of virtual assistants prototypes, selection of such assistants based the analysis of the psychophysical portrait of a student (created by analyzing the results of his/her psychophysical diagnosing), and implementation of a personal virtual assistant in the system of information and technological support of teaching students with autism. In the case of complicated interaction, lack of verbal skills, an algorithm based on intellectual recognition of emotions has been developed to evaluate the prototypes of a virtual assistant. Based on the structural model of complex information technology to support the teaching of students with autism, a number of assistive information technologies have been developed. To teach certain sections of the discipline "Social and domestic orientation" for the Training and Rehabilitation Center, the software applications based on virtual reality technology were developed.Key words: information technology of teaching, student with autism, analytic hierarchy process, semantic differential method, virtual assistant, augmented reality, virtual reality, social orientation.

Основні наукові результати дисертації отримані у формі прикладних досліджень:● розроблено онтологічно-орієнтований метод подання бази знань в середовищі асистента доведення теорем Coq, що сприяє формалізації нових та існуючих онтологій, а також уможливлює застосування логік вищих порядків як інструменту підтримки прийняття рішення в інтелектуальних системах; ● розроблено архітектуру та програмну реалізацію інтелектуальної системи для управління персональними та колективними базами знань, яка володіє властивостями версійності, розподіленості, автономності та забезпечує можливість надійного підтвердження авторства;● розроблено приклади формального доведення істинності описових знань, зокрема, для задач проектного управління в ІТ-підприємстві, узгодженості матеріалів в мас-медіа та моделей інфраструктурних мереж, що сприяло перевірці гіпотез в напівавтоматичному режимі; ● здійснено порівняльний аналіз моделей подання знань, описової логіки та формальних систем теорії типів, а також особливостей їх застосування для подання знань різної природи, зокрема, описових речень природньої мови, логічних, математичних теорій та виразів; ● здійснено системний аналіз понять «знання» та «істинність знання», і арґументовано використання конструктивної логіки з метою усунення проблем Ґетьє, які компрометують традиційні методи обґрунтування істинності знання.^UThe main results of the dissertation are obtained in the form of fundamental and applied research:• the method for ontologies representation in the environment of Coq proof assistant has been developed, which contributes to the formalization of new and existing ontologies and enables the application of higher-order logics as a reliable decision-support tool;• the architecture and software implementation of an intelligent system for personal and shared knowledge bases management have been created, which has the properties of being autonomous, distributed, supports versioning and ensures reliable authorship confirmation;• the examples of knowledge bases and formal reasoning over them have been provided, in particular for the domains of information systems, mass media, and infrastructure networks, which facilitate a semi-automatic procedure of hypotheses testing;• the comparative analysis of knowledge representation models, description logic, type theories, their characteristic features, and applications to the encoding of the knowledge of the various kinds, including natural language sentences, logical and mathematical expressions, has been conducted;• the system analysis of the concepts “knowledge”, “truth of knowledge” and the argument on constructive logic adoption for the sake of Gettier problems elimination, which compromise traditional methods of knowledge justification, have been presented.