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

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

Дисертація присвячена вирішенню актуальної науково-технічної задачі розробки інформаційної технології обробки природномовних текстів на основі інтеграційного підходу. На основі аналізу актуальних проблем у галузі обробки природної мови показано, що прикладні технології обробки природної мови виконують поставлені задачі, але є можливим їх удосконалення для вирішення комплексних задач, зокрема машинного перекладу та природномовного пошуку. З цією метою створено формальну модель представлення знань у природномовній базі знань та моделі її основних елементів, якими є квант знань, або найменший елемент знань, та відношення, яке описує зв'язок між квантами знань. Розроблено метод обробки природномовних текстів на основі запропонованої моделі. На основі створених моделей та методу розроблено процедури записування та пошуку природномовних знань для технологій обробки природної мови, які дозволяють встановити зв'язки на структурному рівні між синтаксичною структурою тексту та довільною структурою метаданих. Теоретично показано, що складність природномовного пошуку з використанням розроблених процедур не перевищує таку для аналогів, і в середньому є меншою ніж в аналогів для складних пошукових запитів.В рамках роботи розроблено інформаційну технологію обробки природномовних текстів на основі інтеграційного підходу та експериментально показано, що її використання дозволяє підвищити середню релевантність природномовного пошуку на 14%.^UIn the recent years, the research in the field of natural language processing (NLP) has achieved significant practical results, including natural-language voice user interface for mobile devices, significant progress in machine translation technologies, handwriting and voice recognition, etc. At the same time, the task of improving the performance of these systems remains relevant. This study focuses on developing information technology for processing natural language texts based on the integrational approach, aimed to increase efficiency of natural language processing technologies. The subject of the research is models, methods, algorithms and information technologies for natural language processing.Based on the analysis of actual problems in the field of natural language processing, it is shown that applied technologies of natural language processing are successful in fulfilling the intended specific tasks, but it is determined that there is a room for improvement in the area of solving complex problems, in particular, machine translation and natural language search. The role of knowledge bases in information technologies of natural language processing is determined as a necessary component for the interaction of different systems. Existing approaches to developing natural-language knowledge bases are characterized and analyzed. A conclusion is made that existing technologies behind natural-language knowledge bases separately allow to achieve high levels of completeness, consistency and flexibility for practical purposes, but no technology combines high scores on all of the aforementioned qualities.A formal model of knowledge representation for a natural-language knowledge base is created, including models of its main elements, namely the quantum of knowledge, or the smallest element of knowledge, and the relation objects that describe connections between quanta of knowledge. A method for processing natural language texts based on this model of knowledge is developed, including procedures for using information technology in applied natural language processing problems.On the basis of the created models and the method, the procedures for writing and searching natural language skills for natural language processing technologies are developed, which allow to establish links at the structural level between the syntactic structure of the text and the arbitrary structure of the metadata. It is theoretically shown that the complexity of the natural-language search using the developed procedures does not exceed the complexity of the analogues, and on average is less than that of the analogues for complex search queries. Examples of use of the developed information technology for processing natural language texts in practical problems, namely natural language search and machine translation are provided. Writing and searching methods are created based on the knowledge representation model, allowing to establish links at the structural level between syntactic structure of the text and arbitrary structure of the metadata in natural language processing technologies.Information technology for processing natural language texts based on the integrational approach is developed, for which it is theoretically proven that the search complexity does not exceed that of the existing alternatives, and is on average 5-12% lower for complex search queries. Subsystems and operations of such system are defined, and database scheme is developed. Computational complexity of natural language knowledge search in the information system is analyzed and compared with the existing alternatives. Experimental testing of the information system is conducted and the acquired data are analyzed, demonstrating increased relevance of search results of natural language search. Within the framework of the work, information technology for the processing of natural language texts has been developed on the basis of the integrational approach. Based on experimental data acquired from measuring relevance of natural language search results, it has been shown that the developed information technology can increase relevance of search results. Specifically, relevance was increased by 14% on average for the whole set of experimental queries and search results, with no significant increase in relevance detected for the top quartile of results sorted by original relevance, and major increase detected for the lower quartile of original results.The information technology for the processing of natural language texts can be used to improve performance of various natural language processing technologies, in particular natural language search systems, machine translation systems and natural language user interfaces.

У дисертаційній роботі розв’язана актуальна науково-прикладна задача формування матриць розкладів на основі перманентного підходу із застосуванням спеціальних адитивно-диз’юнктивних форм, яка дозволяє вдосконалити процеси автоматизації трудомістких задач формування розкладів, зокрема розкладів занять закладів вищої освіти, з врахуванням низки додаткових критеріїв.Об'єктом дослідження є процеси складання розкладу занять з використанням перманентного підходу.Предметом дослідження є моделі, методи та засоби інформаційної технології складання оптимального розкладу занять із використанням перманентного підходу.У роботі виконано аналіз відомих підходів, методів, інформаційних технологій, інструментів для розв’язання задач календарного планування.Основним результатом роботи є розробка низки нових методів та алгоритмів на основі властивостей модифікованих спеціальним чином перманент матриць розкладів. Перманентний підхід до розв’язання задач генерації комбінаторних об’єктів у системах складання розкладів був запропонований вперше. В основі такого підходу лежить процедура розкладання модифікованого перманента за рядком із запам’ятовуванням ідентифікаторів елементів матриці, що дозволяє вибирати зручні структури даних та здійснювати миттєвий безпосередній запис окремих складових об’єктів, що генеруються. Суттєва увага приділяється складності відповідних алгоритмів та задач. Оскільки результатом розкладу модифікованого перманента є усі можливі системи різних представників множин, що утворюються стовпцями матриць розкладів, то виникає проблема – як згенерувати на основі таких систем різних представників (СРП) всі можливі конфігурації розкладів, що задовольняють необхідним критеріям. Для розв’язання цієї проблеми у роботі вперше запропоновано спеціальне числення адитивно-диз’юнктивних форм (АДФ): введено означення АДФ, описано основні властивості, запропоновано застосування АДФ у процедурі декомпозиції перманента, що дозволяє генерувати усі допустимі варіанти розкладів у процесі декомпозиції модифікованого перманента матриці інцидентності. На основі відповідного підходу запропоновані відповідні алгоритмічні рішення, які реалізовані у відповідному програмному забезпеченні.Перманентний підхід, що запропонований у роботі, та низка технічних рішень, зокрема, що ґрунтуються на АДФ, має універсальний характер та може бути використаний для розв’язання широкого кола задач у теорії розкладів.В сучасних умовах надзвичайно важливою є проблема якомога ширшої участі усіх стейкхолдерів у процесах реалізації освітніх програм закладів вищої освіти, якомога ширше врахування їх інтересів. В роботі ця проблема розглядається у контексті врахування інтересів стейкхолдерів у процесі формування розкладу занять в закладі вищої освіти. Пропонується евристичний підхід до проблеми автоматизованого складання розкладу занять, в межах якого інтереси широкого кола стейкхолдерів максимально враховуються. Відповідний підхід був апробований при складанні розкладу занять Рівненського державного гуманітарного університету. Запропоновано відповідний програмний комплекс та низка оригінальних рішень, зокрема специфічна система кодування даних, оптимізовані з точки зору пам’яті структури даних, реалізовано основні алгоритми з використанням побітових операцій. Запропонована інформаційна система має практичне значення та може використовуватись у процесах генерації допустимих матриць розкладів.Основні наукові результати дисертації опубліковано в 13 працях, зокрема: одна стаття у періодичному науковому виданні держави, що входить до Організації економічного співробітництва та розвитку та/або Європейського Союзу; сім статей у наукових фахових періодичних виданнях України; чотири публікації у матеріалах міжнародних та всеукраїнських наукових, науково–технічних конференцій. З них три роботи входить до міжнародної наукометричної бази Scopus, одна робота входить до міжнародної наукометричної бази Web of Science, одна робота входить до міжнародної наукометричної бази Index Copernicus.Ключові слова: інформаційна технологія, перманент, декомпозиція, матриця розкладу, адитивно-диз’юнктивна форма, алгебраїчна структура.^UThe dissertation solves the actual scientific and applied problem of forming timetable matrices based on a permanent approach with the use of special additive-disjunctive forms, which allows for improving the processes of automating time-consuming tasks of forming timetables, in particular timetables of higher education institutions, taking into account several additional criteria.The object of the study is the process of drawing up an optimal schedule of classes using a permanent approach.The subject of the study is the models, methods, and means of information technology for making an optimal schedule of classes using a permanent approach.The work includes an analysis of known approaches, methods, information technologies, and tools for solving calendar planning problems.The main result of the work is the development of many new methods and algorithms based on the properties of specially modified permanent matrices of schedules. A permanent approach to solving the problems of generating combinatorial objects in scheduling systems was proposed for the first time. The basis of this approach is the procedure of decomposing the modified permanent by row with memorization of the identifiers of the matrix elements, which allows you to choose convenient data structures and carry out the instant direct recording of individual component objects that are generated. Since the algorithms proposed in the paper are new, as is the permanent approach itself, significant attention is paid to the complexity of the corresponding algorithms and tasks. Since the result of the schedule of the modified permanent is all possible systems of different representatives of sets formed by the columns of the schedules matrices, the problem arises – how to generate based on such systems of different representatives (SRP) all possible configurations of schedules that satisfy the necessary criteria. To solve this problem, a special calculation of additive–disjunctive forms (ADF) is proposed for the first time in the work: the definition of ADF is introduced, the main properties are described, the application of ADF in the permanent decomposition procedure is proposed, which allows generating all admissible variants of schedules in the process of decomposition of a modified permanent incidence matrix. Based on the appropriate approach, appropriate algorithmic solutions are proposed, which are implemented in the appropriate software.The permanent approach proposed in the work and several technical solutions, in particular, based on ADF, have a universal character and can be used to solve a wide range of problems in the theory of schedules. In today's conditions, the problem of the widest possible participation of all stakeholders in the processes of implementing educational programs of higher education institutions, the widest possible consideration of their interests, is extremely important. In the work, this problem is considered in the context of taking into account the interests of stakeholders in the process of forming the schedule of classes in a higher education institution. A heuristic approach to the problem of automated preparation of the class schedule is proposed, within which the interests of a wide range of stakeholders are taken into account as much as possible. The corresponding approach was tested when drawing up the class schedule of the Rivne State Humanitarian University. An appropriate software package and some original solutions are proposed, including a specific data encoding system, optimized from the point of view of the memory of the data structure, and basic algorithms using bitwise operations are implemented. The proposed information system is of practical importance and can be used in the processes of generating admissible matrixes of schedules.The main scientific results of the dissertation were published in 13 works, in particular: one article in periodical scientific publications of other countries that are members of the Organization for Economic Cooperation and Development and/or the European Union; seven articles in scientific and professional periodicals of Ukraine; four publications in the materials of international and Ukrainian scientific, scientific and technical conferences. Of them, three works are included in the international scientometric database Scopus, one work is included in the international scientometric database Web of Science, and one work is included in the international scientometric database Index Copernicus. Keywords: information technology, permanent, decomposition, decomposition matrix, additive–disjunctive form, algebraic structure.

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

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

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

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

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

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

Дисертацію присвячено дослідженню з семіотичних позицій нотного тексту в науково методологічному та аналітичному аспектах. Мета дослідження полягає у розкритті на підґрунті наукових положень загальної і музичної семіотики механізму знакового функціонування в нотних текстах Й. Брамса. Об’єктом дисертації є нотний текст як семіотична система; її предметом – система графічних знаків в нотних текстах Й. Брамса. В роботі використані семіотичний, історичний, системний, структурно композиційний та виконавський методи аналізу.Апробація семіотичного аспекту аналізу графічних знаків здійснюється на матеріалі фортепіанних та камерно ансамблевих творів Й. Брамса.У Розділі 1 – «Семіотичні аспекти вивчення нотного тексту» – розглянуто наукові теорії (K. Agawu, R. Barthes, N. Cook, C. Dahlhaus, J. Grier, R. Ingarden, E. Krenek, J. Molino, R. Monelle, J J. Nattiez, M. Reybrouck, E. Tarasti, L. Treitler, Th. Turino, В. Москаленко, О. Самойленко, С. Шип), що дозволило сформувати фундамент знань, необхідний для осягнення знакової сутності нотного тексту та розглянути специфіку її відбиття Й. Брамсом.Зазначено, що семіотичне вивчення нотного тексту спрямовано на розробку методів розуміння синтаксичної структури композицій, створення єдиного мовного контексту для їх інтерпретації та аналізу, а також для кращого осмислення способів фіксації авторських ідей. Виявлено, що проблема нотного тексту пов’язана з визначенням форм існування музичного твору та місця графічної форми запису в сфері креативних і перцептивних процесів. Зроблено висновок про правомірність розгляду музичної діяльності в усіх її проявах з позицій сукупності притаманних їй знакових систем.Дані спостереження актуалізують вивчення нотного тексту як окремої знакової системи. Осмислюються контекстуальні фактори та їх вплив на інтерпретування знаків. Контекст розуміється як такий, що надає важливі уточнення, котрі доповнюють розуміння зв’язку між знаком та об’єктами – без урахування контексту частина значень є недоступною.У Розділі 2 – «Семіотичний потенціал фортепіанних нотних текстів Й. Брамса» – представлено аналіз графічних знаків у Сонаті op. 5, Варіаціях на тему Р. Шумана op. 9, мініатюрах op. 117 та op. 118. Вибір даного матеріалу обґрунтований характерними рисами особистості композитора та обставинами його діяльності. Зроблено висновок про багатогранну і ретельну роботу Й. Брамса з письмовою формою відбиття авторської думки на підґрунті одержаної з наукових джерел інформації (G. Bozarth, H. Drinker, L. Erb, H. Gál, K. Geiringer, P. Holmes, B. Jacobson, M. Kalbeck, I. Keys, P. Latham, M. Lee, M. MacDonald, М. Musgrave, В. Niemann, R. Pascall), яка містить: свідчення дослідників про пристрасть митця до наукової та художньої літератури; складання збірки різноманітних цитат як скарбниці співзвучних майстру ідей та думок; його дослідницьку та редакторську практики; колекціонування рукописів та випадки з їх переписом чи реставруванням; факти виставляння ним всіляких правок та виправлень у різних виданнях. Звідси – його схильність до якомога точної та детальної фіксації через систему знаків та їх комбінацій результату свого творчого процесу, що складає необхідні умови для адекватного розуміння реципієнтом сенсу музичного твору.Свідчення про плідну працю композитора з видавництвами, вивчення кореспонденції з коректорами та редакторами нотних текстів (S. Avins, G. Bozart, R. Pascall) доводять автентичність їх перших видань. Виникла тим самим можливість спілкування із достотним словом майстра гарантувало наукову коректність зроблених у дисертації аналітичних спостережень щодо семіотичних властивостей нотних текстів Й. Брамса.Розділ 3 – «Функції графічних знаків в умовах партитурної нотації» – на матеріалі Фортепіанного квінтету op. 34, Тріо op. 114 и Сонати для кларнета і фортепіано op. 120 №2 розкрито значення графічних знаків для вірного прочитання нотного тексту, відзначеного притаманною Й. Брамсу «технікою розвивальної варіації» (W. Frisch, N. Grimes, A. Schoenberg) та гештальт принципу. Виявлено, що графічні знаки слугують головним чинником візуалізації подій тематичного процесу, який здійснюється за рахунок варіювання окремих мотивів, внаслідок чого виникає перманентне експонування їх нових варіантів. Відзначений хід музичних подій охоплює всі шари ансамблевої фактури, що приводить до її тематизації та викликає необхідність диференціювання графічних знаків у відповідності до рядків партитури. Встановлено незалежність графічних знаків від специфіки інструментів, чим підкреслюється їх первинна спрямованість на розкриття композиційного сенсу камерно ансамблевого твору.^UThe dissertation is devoted to studying the musical text from the semiotic perspective in scientific, methodological, and analytical aspects. The research aims to analyze the signs process in J. Brahms’ musical scores based on general and musical semiotics. The object of the dissertation is the music text as a semiotic system; its subject is the system of graphic signs in the music texts of J. Brahms. The research employed various methods of analysis, including semiotics, historical research, systemic analysis, structural analysis, compositional analysis, and performance analysis.The obtained results are scientifically novel in that they represent a significant milestone. For the first time, a comprehensive understanding of the musical text as an independent sign system has been generalized, utilizing the provisions of semiotics and musicology. Additionally, the individuality of J. Brahms’ musical texts as a factor of his author’s style has been proven. The functions of graphic signs have also been determined, mainly in representing the compositional process and performance realization.In Chapter 1– “Semiotic aspects of studying the musical notation” – the scientific theories (K. Agawu, R. Barthes, N. Cook, C. Dahlhaus, J. Grier, R. Ingarden, E. Krenek, J. Molino, R. Monelle, J. Nattiez, M. Reybrouck, E. Tarasti, L. Treitler, Th. Turino, V. Moskalenko, O. Samoilenko, S. Shyp), which allowed the creation of the basis of knowledge necessary to comprehend the scores’ sign essence and consider the specifics of its reflection by J. Brahms.It is important to note that studying scores through semiotics aims to develop methods for understanding the syntactic structure of compositions, creating a cohesive linguistic context for their interpretation and analysis, and providing better insight into the author’s ideas. How we define musical compositions and the role of written notation in the creative and perceptual processes links to the issue of music notation.Therefore, examining all aspects of musical activity concerning the various sign systems involved is essential.Chapter 2 – “Semiotic Potential of J. Brahms’ Piano Scores” – analyzes graphic signs in the Sonata Op. 5, Variations on a Theme by R. Schumann Op. 9, Intermezzo Op. 117 and Piano Works Op. 118. The choice of this material is justified by the characteristic features of the composer’s personality and the circumstances of his work. Drawing from a wealth of scientific sources we can confidently conclude that J. Brahms was a meticulous and scholarly composer with a deep passion for research and literature. This is evidenced by his extensive quotation collection, careful editorial practices, efforts to collect and restore manuscripts, and his numerous corrections and revisions to various editions. In short, Brahms was highly dedicated to accurately reflecting the author’s thoughts through his written work. Hence, his tendency to write the result of his creative process as accurately and in detail as possible through a system of signs and their combinations. This constitutes the necessary conditions for the recipient to understand the meaning of a musical work adequately.In Chapter 3, titled “Functions of Graphic Symbols in Chamber Scores,” the Piano Quintet Op. 34, Trio Op. 114, and Sonata for Clarinet and Piano Op. 120 No. 2 scores demonstrate the crucial role of graphic symbols in accurately interpreting written text. Graphic signs represent the “Technique of developmental variation” (W. Frisch, N. Grimes, A. Schoenberg) and the Gestalt principle intrinsic to J. Brahms’ style. Moreover, research has revealed that graphic signs are crucial in visualizing the thematic process. Using varying motifs creates the production of new units.The musical notation serves as a sign system for writing, storing, and translating the creative output of its author. Paradigmatic and syntagmatic relationships within the sign’s functioning lay the foundation for further exploration of the meta-language of musical notation. Furthermore, it allows for a more in-depth understanding of the concepts of context and grammar within the musical text system.Upon examining Brahms’ music texts, it has been discovered that the master did not feel the need to create or borrow symbols from realms outside of music. Instead, he entirely relied on the universality of note graphics. Functionally, the texts contain two layers of musical expression – performance and compositional. Even in Brahms’ early works, active thematic work related to the variation principle was present.

У дисертаційному дослідженні йдеться про агентно-орієнтоване (агентне) моделювання, метод, що дозволяє з'ясувати, яким чином дії і взаємодії агентів на мікро-рівні призводять до виникнення соціальних явищ або процесів макро-рівня. Агентне моделювання дає змогу провести теоретичний аналіз складних систем. Теорії можуть бути як вербальними (сформульованими природною мовою), так і формальними. Формальна теорія передбачає, що ми здійснюємо запис вербальної теорії за допомогою однієї чи кількох формальних мов (наприклад, за допомогою певної мови програмування). Для пояснення поведінки складних систем є сенс використовувати саме формальні теорії. Адже, по-перше, складна система є емерджентною. Властивості поведінки складної системи не можна звести до властивостей її окремих компонентів. По-друге, складна система динамічна, її стан змінюється з плином часу. По-третє, складна система, як правило, нелінійна. Причинно-наслідкові зв'язки у ній не можуть бути описані за допомогою лінійної функції. Агентне моделювання дозволяє створювати агентні моделі – формальні теорії, представлені у вигляді комп'ютерних програм – та проводити комп'ютерні експерименти (симуляції) з ними. З цього випливає, що створення агентної моделі потребує процедури формалізації. У процесі формалізації соціологічна теорія, сформульована природною мовою, представляється у вигляді агентної моделі. Однак у зв'язку з цим виникає ряд запитань. По-перше, які саме соціологічні теорії можуть бути представлені у вигляді агентних моделей і як вони мають бути сформульовані. По-друге, як має виглядати процес їх формалізації. По-третє, яким чином слід проводити комп'ютерні експерименти з агентною моделлю. Дана дисертаційна робота спрямована на те, щоб надати відповіді на ці запитання.^UThis thesis is about agent-based modeling, a method allows us to figure out how actions and interactions of agents at the micro-level can lead to the emergence of macro-level social phenomena. Agent-based modeling is a method of theoretical analysis of complex systems. There are verbal theories (theories are expressed in natural language) and formal theories. Formal theory is the verbal theory is written in one or more formal languages (for example, a programming language). It makes sense to use formal theories in order to explain the behavior of complex systems. First, complex system is emergent. The properties of behavior of complex system cannot be reduced to the properties of the components of this system. Second, complex system is dynamic and its state changes over time. Third, complex system usually is nonlinear. Causation in the complex system cannot be described by a linear function. Agent-based modeling allows us to create agent-based models (there are formal theories presented as computer programs) and conduct computer experiments (simulations) with them. Building an agent-based model requires the formalization procedure. Formalization assumes that sociological theory expressed in natural language is presented as an agent-based model. However, it raises a number of questions. First, what sociological theories can be presented as agent-based models and how they should be formulated. Second, how to formalize sociological theory. Third, how to conduct computer experiments with an agent-based model. The thesis aims to answer these questions.

У дисертаційному дослідженні йдеться про агентно-орієнтоване (агентне) моделювання, метод, що дозволяє з'ясувати, яким чином дії і взаємодії агентів на мікро-рівні призводять до виникнення соціальних явищ або процесів макро-рівня. Агентне моделювання дає змогу провести теоретичний аналіз складних систем. Теорії можуть бути як вербальними (сформульованими природною мовою), так і формальними. Формальна теорія передбачає, що ми здійснюємо запис вербальної теорії за допомогою однієї чи кількох формальних мов (наприклад, за допомогою певної мови програмування). Для пояснення поведінки складних систем є сенс використовувати саме формальні теорії. Адже, по-перше, складна система є емерджентною. Властивості поведінки складної системи не можна звести до властивостей її окремих компонентів. По-друге, складна система динамічна, її стан змінюється з плином часу. По-третє, складна система, як правило, нелінійна. Причинно-наслідкові зв'язки у ній не можуть бути описані за допомогою лінійної функції. Агентне моделювання дозволяє створювати агентні моделі – формальні теорії, представлені у вигляді комп'ютерних програм – та проводити комп'ютерні експерименти (симуляції) з ними. З цього випливає, що створення агентної моделі потребує процедури формалізації. У процесі формалізації соціологічна теорія, сформульована природною мовою, представляється у вигляді агентної моделі. Однак у зв'язку з цим виникає ряд запитань. По-перше, які саме соціологічні теорії можуть бути представлені у вигляді агентних моделей і як вони мають бути сформульовані. По-друге, як має виглядати процес їх формалізації. По-третє, яким чином слід проводити комп'ютерні експерименти з агентною моделлю. Дана дисертаційна робота спрямована на те, щоб надати відповіді на ці запитання.^UThis thesis is about agent-based modeling, a method allows us to figure out how actions and interactions of agents at the micro-level can lead to the emergence of macro-level social phenomena. Agent-based modeling is a method of theoretical analysis of complex systems. There are verbal theories (theories are expressed in natural language) and formal theories. Formal theory is the verbal theory is written in one or more formal languages (for example, a programming language). It makes sense to use formal theories in order to explain the behavior of complex systems. First, complex system is emergent. The properties of behavior of complex system cannot be reduced to the properties of the components of this system. Second, complex system is dynamic and its state changes over time. Third, complex system usually is nonlinear. Causation in the complex system cannot be described by a linear function. Agent-based modeling allows us to create agent-based models (there are formal theories presented as computer programs) and conduct computer experiments (simulations) with them. Building an agent-based model requires the formalization procedure. Formalization assumes that sociological theory expressed in natural language is presented as an agent-based model. However, it raises a number of questions. First, what sociological theories can be presented as agent-based models and how they should be formulated. Second, how to formalize sociological theory. Third, how to conduct computer experiments with an agent-based model. The thesis aims to answer these questions.

У дисертації на основі широкої джерельної бази (художня література, публіцистика, наукові статті, переклади тощо) та наукових публікацій висвітлено становлення й розвиток азербайджансько-українських літературно-культурних взаємин у контексті розвитку національних і світового літературного процесу. Уперше до наукового обігу залучено значний масив маловідомих наукових студій, перекладів, переосмислено і проінтерпретовано творчість найбільш репрезентативних азербайджанських письменників: М. Ф. Ахундова, К. Закіра, Ґ. Нізамі, М. Фізулі, С. Шірвані та інших, а також дитячих письменників: Х. Алібейлі, С. С. Ахундова, Р. Ефендієва, Ф. Кочарлінського, А. Сіххата, І. Тапдига, З. Халіла, А. Шаіка та ін. У дисертації досліджено, проаналізовано й узагальнено взаємини азербай­джанської та української літератур від ХІХ – до початку ХХІ ст. Це дало змогу представити азербайджансько-українські літературні, перекладацькі й наукові контакти як цілісний процес, якому притаманні такі ознаки, як діалогічність між культурами й літературами, тяглість і довготривалість, синкретичність. Імагологічні образи в українському й азербайджанському культурно-літературному дискурсах є цілісними, інтегрованими. Вони позначені також такою характеристикою як усталеність, але й, водночас, динамічно розвиваються упродовж ХХ ст. Імагологічні образи поширювалися за посередництва записок мандрівників, листування, наукових праць, прози різних жанрів (історичний, пригодницький романи тощо), поезії (від класичних взірців – до маловідомих для української літератури, як-от рубаї, туюг, газель, пантун, мухтамілат, мурабба та ін.), листування, перекладів, есеїстики, публіцистики тощо.^UThe dissertation on the basis of a wide source base (fiction, journalism, scientific articles, translations, etc.) and scientific publications highlights the formation and development of Azerbaijani-Ukrainian literary and cultural relations – in the context of national and world literary process.Three periods in the development of Azerbaijani-Ukrainian literary relations are analyzed, described and characterized. The dissertation highlights the key trends in the development of national literatures at each stage, establishes the typological similarity and describes the distinctive features of the literary processes in Ukraine and Azerbaijan. For the first time, a large array of little-known scientific studies, translations, rethinking and interpreting the works of the most representative Azerbaijani writers: Nizami, Fuzuli, S. Shirvani, K. Zakir, M. Akhundov, etc., as well as children's writers A. Shaik, R. E. , F. Kocharlinsky, A. Sikhkhat, M. Akhundov, I. Tapdyga, H. Alibeyli, Z. Khalil, who in different ways entered the cultural and literary environment of Ukraine, although they were not researched and translated into Ukrainian.

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

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

В дисертації розглянуті лінійні диференціальні рівняння n-того порядку над кільцем формальних степеневих рядів з коефіцієнтами з деякого комутативного кільця і неявні різницеві рівняння n-того порядку над комутативним кільцем. Досліджується питання існування і єдиності розв'язку таких рівнянь і знаходження цього розв'язку.Питання цілком розв’язано для диференціального рівняння з поліноміальною неоднорідністю та неявного різницевого рівняння з фінітною неоднорідністю.Сформульовані достатні умови існування і єдиності розв'язку диференціального рівняння у кільці формальних степеневих рядів з коефіцієнтами, що належать повному кільцю нормування поля з неархімедовим нормуванням, де неоднорідність не є поліномом. Також знайдений цей розв’язок у вигляді суми ряду, збіжного за неархімедовим нормуванням. Результат уточнено для рівняння над кільцем цілих чисел. Введено спеціальне поняття згортки формального ряду Лорана з від'ємними степенями і формального степеневого ряду. За допомогою цього поняття знайдений деякий аналог фундаментального розв'язку оператора для розглянутого рівняння, і показано, що за умови єдиності і існування розв’язку, він має вигляд згортки фундаментального розв’язку відповідного оператора з неоднорідністю.Сформульовані достатні умови існування і єдиності розв'язку неявного лінійного різницевого рівняння над деякими класами повних кілець, в тому числі над кільцем цілих p-адичних чисел та кільцем формальних степеневих рядів у випадку, коли неоднорідність рівняння не є фінітною. Також знайдено цей розв’язок у вигляді суми ряду, збіжного за неархімедовим нормуванням. Для випадку неповного кільця, за деяких умов на коефіцієнти, доведено що за умови існування розв’язку цей розв’язок є єдиним і дорівнює сумі розгляданого ряду.Доведені достатні умови для існування і єдиності розв’язку у вигляді формального степеневого ряду для неявного різницевого рівняння, коефіцієнти якого є поліномами. Для неявного різницевого рівняння першого порядку над кільцем поліномів доведені додаткові результати, які дозволяють знаходити розв'язки конкретних рівнянь у кільці поліномів або доводити, що таких розв’язків не існує.Розглянуто лінійне неявне різницеве рівняння з неоднорідністю, що має вигляд квазіполінома з коефіцієнтами, що належать кільцю, знайдені умови на кільце, для якого існує єдиний розв’язок такого рівняння. Розглянуто операторне рівняння першого порядку з узагальненим оператором лівого зсуву над кільцем цілих чисел, для якого диференціальне і різницеве рівняння першого порядку є частковими випадками. Для цього рівняння доведений критерій існування і єдиності розв'язку, і знайдений розв'язок у вигляді суми ряду, збіжного за a-адичною топологією.Всі розглянуті в дисертації рівняння можна записати у вигляді нескінченної лінійної системи. Показано, що за умов єдиності і існування розв'язку рівняння, розв'язок такої системи, отриманий за допомогою правила Крамера, збігається з єдиним розв'язком цього рівняння.^UIn the thesis linear differential equations of the n-th order over the a ring of formal power series with coefficients from some commutative rings and implicit difference equations of the n-th order over the the commutative ring. We investigate the existence and uniqueness of solutions of such equations and finding this solution.The question is completely solved for a differential equation with polynomial nonhomogeneity and an implicit difference equation with with finite nonhomogeneity.Sufficient conditions for the existence and uniqueness of a solution of a differential equation in the ring of formal power series with coefficients belonging to the complete valuation ring of a field with non-Archimedean valuation, where the inhomogeneity is not a polynomial, are formulated. We also found this solution in the form of the sum of a series converging under non-Archimedean normalization. The result is specified for an equation over a ring of integers. A special notion of convolution of a formal Laurent series with negative powers and a formal power series is introduced. Using this notion, we find some analogue of the fundamental solution of the operator for the considered equation, and show that, provided that the solution is unique and exists, it has the form of a convolution of the fundamental solution of the corresponding operator with inhomogeneity.Sufficient conditions for the existence and uniqueness of a solution of an implicit linear difference equation over some classes of complete rings, including the ring of p-adic numbers and the ring of formal power series, are formulated in the case when the inhomogeneity of the equation is not finite. We also find this solution in the form of the sum of a series converging under non-Archimedean valuation. For the case of an incomplete ring, under some conditions on the coefficients, it is proved that, provided a solution exists, this solution is unique and equal to the sum of the series under consideration.Sufficient conditions for the existence and uniqueness of a solution in the form of a formal power series for an implicit difference equation whose coefficients are polynomials are proved. For an implicit difference equation of the first order over a ring of polynomials, additional results are proved that allow us to find solutions to specific equations in the ring of polynomials or to prove that such solutions do not exist.We consider a linear implicit difference equation with inhomogeneity in the form of a quasi-polynomial with coefficients belonging to the ring, and find the conditions on the ring for which there exists a unique solution of such an equation. A first-order operator equation with a generalized left shift operator over a ring of integers is considered, for which the first-order differential and difference equations are special cases. For this equation, the criterion of existence and uniqueness of the solution is proved, and the solution is found in the form of the sum of a series converging under a-adic topology.All the equations considered in this thesis can be written in the form of an infinite linear system. It is shown that, under the conditions of uniqueness and existence of a solution to an equation, the solution of a system obtained by Cramer's rule coincides with the unique solution of this equation.

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

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

Розроблено способи підвищення швидкодії систем з напівпровідниковими перетворювачами на базі побудови алгоритмів швидких симетричних перетворень. Запропоновано матричну форму запису базисних функцій СКІ-перетворення та розроблено методику побудови алгоритмів швидкого СКІ-перетворення на базі факторизації матриць. З використанням запропонованого способу факторизації матриць розроблено алгоритми швидкого СКІ-перетворення. За результатами аналізу різних апаратних і програмних способів реалізації алгоритмів доведено, що найбільш швидкодіючим і, водночас, дорогим способом є реалізація на спеціалізованих мікросхемах систолічних процесорів; найменшою швидкодією (близько 2 мс) та найбільш низькою вартістю характеризується спосіб реалізації алгоритмів на однокристальних процесорах; найбільш прийнятною є реалізація на цифрових сигнальних процесорах. Розроблені алгоритми швидких перетворень та методи їх реалізації використано в системах керування трифазним інвертором з компенсацією впливу несиметрії трифазної мережі та широтно-імпульсним перетворювачем фотоелектричної системи з робастним принципом керування.

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

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

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

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

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

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

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

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

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

Досліджено основні етапи розвитку та напрями бібліотечної та науково-бібліографічної діяльності видатного вітчизняного ученого-історика, книгознавця, бібліографа, публіциста, редактора, директора бібліотеки Наукового товариства ім. Т.Шевченка (НТШ) у Львові І.Кревецького. Запропоновано періодизацію бібліотечної діяльності ученого. Проаналізовано процес становлення І.Кревецького як науковця, бібліотекаря та бібліографа. Досліджено діяльність І.Кревецького у бібліотеці Наукового товариства ім. Т.Шевченка (НТШ) у Львові та Всенародній бібліотеці України (ВБУ) у Києві у контексті загальнополітичних, економічних і культурних процесів, що відбувалися в країні. Здійснено тематико-типологічний аналіз науково-бібліографічної спадщини ученого, яка загалом нараховує понад 230 рецензій, опублікованих на сторінках трьох львівських часописів - "Записок НТШ", "ЛНВ" та "Нової зорі". Створено бібліографічний покажчик наукових праць І.Кревецького. Висвітлено суттєвий внесок ученого у розвиток національно-культурного життя західноукраїнських земель першої половини XX ст. Проаналізовано теоретико-методологічні дослідження, здійснені І.Кревецьким у ВБУ у Києві, спрямовані на методичне й організаційне забезпечення функціонування бібліотеки: комплектування та каталогізації бібліотечних фондів, формування фонду україніки. Розкрито актуальність наукових ідей і поглядів І.Кревецького, показано їх вплив на розвиток сучасного бібліотеко- та бібліографознавства.

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

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

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