Browsing by Author "Теслюк, Василь Миколайович"

Now showing 1 - 5 of 5

Методи та засоби диференціації фоностатистичних структур функціональних стилів англійської мови
(Національний університет «Львівська політехніка», 2021) Хомицька, Ірина Юріївна; Теслюк, Василь Миколайович; Національний університет «Львівська політехніка»; Лупенко, Сергій Анатолієвич; Остапова, Ірина Вадимівна
Дисертаційна робота присвячена розв’язанню актуального наукового завдання – підвищення достовірності диференціації фоностатистичних структур стилів англійської мови. У дисертації розроблено метод комплексного аналізу диференціації фоностатистичних структур стилів англійської мови, який дає змогу підвищити достовірність диференціації фоностатистичних структур стилів англійської мови. Розроблено багатофакторний метод визначення ступеню дії факторів стилю, підстилю та авторської манери викладу. Метод забезпечує підвищення достовірності здійснення авторської атрибуції тексту за його загальною стилевою маркованістю. Вдосконалено статистичну модель стилевої, підстилевої та авторської диференціації за методом гіпотез та методом ранжування, яка уможливлює підвищення достовірності визначення диференційних ознак стилів, підстилів та текстів різних авторів. Вдосконалено статистичну модель визначення стилерозрізняльної здатності груп приголосних фонем, яка дає змогу зменшити кількість груп приголосних фонем та підвищити рівень автоматизації диференціації текстів за групою приголосних фонем з найвищою стилерозрізняльною здатністю. Розроблено програмну систему диференціації стилів англійської мови на фонологічному рівні та наведено результати дослідження. Диссертационная работа посвящена решению актуального научного задания – повышения достоверности дифференциации фоностатистических структур стилей английского языка. В диссертации разработан метод комплексного анализа дифференциации фоностатистических структур стилей английского языка, который дает возможность повысить достоверность дифференциации фоностатистических структур стилей английского языка. Разработан многофакторный метод определения степени действия факторов стиля, подстиля и авторской манеры изложения. Метод обеспечивает повышение достоверности осуществления авторской атрибуции текста за его общей маркированностю. Усовершенствовано статистическую модель стилевой, подстилевой и авторской дифференциации методом гипотез и методом ранжирования, которая дает возможность повысить достоверность определения дифференциальных признаков стилей, подстилей и текстов разных авторов. Усовершенствовано статистическую модель определения стилеразличительной способности групп согласных фонем, которая дает возможность уменьшить количество групп согласных фонем и повысить уровень автоматизации дифференциации текстов по группам согласных фонем с наивысшей стилеразличительной способностью. Разработана программная система дифференциации стилей английского языка на фонологическом уровне и приведены результаты исследования. The thesis is devoted to the topical scientific problem of development of the mathematical methods and models that can improve the test validity of differentiation of phonostatistical structures of English functional styles. In the introduction, the relevance of the thesis theme is substantiated and the purpose is stated. The information about the program’s testing, and author’s contribution is given. In the first part of the thesis, the current state of the style differentiation problem has been analyzed. The results of the analysis have shown that the task of the test validity enhancement should be solved. Consequently, a method based on a combination of statistical methods and a multifactor method of determination of style factor and authorial factor effect should be developed to improve the test validity of style differentiation. In the second part, the method of complex analysis of differentiation of phonostatistical structures of styles has been developed. It is based on the proposed combination of the hypothesis, the ranking and the style distance determination methods. The method makes it possible to improve the test validity of style differentiation. The developed multifactor method of determination of style and authorial factor effect allows us to improve the test validity of authorship attribution. In the third part, the statistical model of style and authorial differentiation by the hypothesis and ranking methods and the statistical model of determination of styledifferentiating capability of a consonant group have been improved. The models enhance the test validity of style and authorship attribution and level of automation of text differentiation. In the fourth part, the software for style and authorial differentiation has been developed. The software is based on the developed methods using the Java programming language. According to the obtained results, the essential differences have been established between compared in pairs the belles-lettres, colloquial, newspaper, publicist and scientific functional styles. Authorship attribution has been done for the texts by G. G. Byron, T. Moore, E. Bronte, W. Thackeray, B. Obama, D. Trump, S. Logan and D. Webster.
Методи та засоби управління системою «розумного» будинку з використанням хмарних обчислень
(Національний університет "Львівська політехніка", 2021) Казарян, Артем Геннадійович; Теслюк, Василь Миколайович; Національний університет "Львівська політехніка"; Мацюк, Олександр Василович; Угрин, Дмитро Ілліч
Інформаційна технологія експрес-аналізу даних геоелектромагнітних спостережень
(Карпатське відділення Інституту геофізики ім. С. І. Субботіна Національної академії наук України, 2019) Савків, Лідія Григорівна; Ладанівський, Борис Теодорович; Карпатське відділення Інституту геофізики ім. С. І. Субботіна Національної академії наук України; Теслюк, Василь Миколайович; Єгорченков, Олексій Володимирович
У дисертаційній роботі розв’язане актуальне наукове завдання – розроблення інформаційної технології експрес-аналізу даних для підвищення ефективності геофізичних досліджень методом зондування становленням електромагнітного поля в ближній зоні та методом природного електричного поля. Розроблено модель тренду часового ряду моніторингових даних, представлену поліномом третього степеня, яка забезпечує усунення шуму, заповнення пропущених даних і дає змогу подати і дослідити подобову динаміку природного електричного поля в точці спостережень. Удосконалено метод побудови моделі геоелектричного розрізу в точці спостережень, який, за рахунок використання асимптотичних формул до польових даних, забезпечує підтримку оперативного прийняття рішень про проведення подальших етапів спостережень, зменшує час виконання польових робіт та підвищує достовірність досліджень. В результаті цього на основі побудованої у поточній точці спостережень моделі геоелектричного розрізу в польових умовах і в режимі реального часу можна скоригувати відстань до наступної точки або визначити додаткові. За рахунок інтеграції апарату описової статистики та моделювання трендів часових рядів удосконалено метод експрес-аналізу моніторингових даних, який забезпечує виявлення часових діапазонів з нетиповою поведінкою природного електричного поля та імовірною кореляцією зі сейсмічними подіями. Розроблено інформаційну модель структурування польових та моніторингових даних, яка ґрунтується на поєднанні службової інформації з даними вимірювань у розробленому форматі, що забезпечило можливість їх подальшого аналізу та візуалізації. В диссертационной работе решена актуальная научная задача – разработка информационной технологии экспресс-анализа данных для повышения эффективности геофизических исследований методом ЗСБ и методом естественного электрического поля (ЕЭП). Разработана модель тренда временного ряда мониторинговых данных в виде полинома третьей степени, которая убирает шум, заполняет пропуски и позволяет получить и исследовать посуточную динамику ЕЭП в точке наблюдений. Усовершенствован метод построения модели геоэлектрического разреза в точке наблюдений, который за счет использования асимптотических формул к полевым данным, обеспечивает поддержку оперативного принятия решений о проведении дальнейших этапов наблюдений, сокращает время выполнения полевых работ и повышает достоверность исследований. Вследствие чего на основании построенной в текущей точке модели геоэлектрического разреза в полевых условиях и в режиме реального времени можно скорректировать расстояние к следующей точке или определить дополнительные. На основании интеграции аппарата описательной статистики и моделирования трендов временных рядов усовершенствован метод экспресс-анализа мониторинговых данных, который обеспечивает обнаружение временных диапазонов, вероятно связанных с сейсмическими событиями. Разработана информационная модель структурирования полевых и мониторинговых данных, базирующаяся на основании совмещения служебной информации и данных измерений в разработанном формате, что обеспечило возможность их дальнейшего анализа и визуализации. An actual scientific problem, the development of information technology for express analysis of data is solved in the dissertation for increasing the efficiency of geophysical research by the transient electromagnetic and natural electric field methods. In the first chapter, on the basis of the curried out analysis of the current state in scientific research regarding existing methods, models and tools, the task of study is defined, general attributes of the known technologies and examples of acquisition systems for primary geophysical data are represented, the features of methods and approaches relating to the data processing and analysis are described, as well as questions for further solving are highlighted. In the second chapter the features of permanent and in field geophysical studies are outlined, the classification of such studies is carried out, the used methods, procedures for recording and collection of such primary data and the formats for their visualization are described as well as a model for structuring that data of permanent and in field geophysical observations is developed also. The structuring is organized by providing meta-information in a character format, and the data itself in numerical one. Such a structuring of geophysical data enabled the possibility for their further analysis and visualization. In the third chapter a model of the trend of time series for monitoring data, a method for express analysis of them, visualization algorithms and a method for constructing a geoelectric cross section model are developed. The model of the time series trend was represented in the form of a polynomial of the third degree. This provides to remove the noise influence, to fill the data gaps and allows to show and study the daily dynamics of the natural electric field at the observation point. On the base of descriptive statistics and the simulation of time series trends, a method for express analysis of monitoring data was developed, which allows to detect the time bands with irregular behavior of the natural electrical field and possible correlation with seismic events. The method of constructing a geoelectric cross-section model has been further developed, which, by application the asymptotic formulas to the experimental data, provides the support for express decisionmaking on further measurement steps, reduces fieldwork time, and improves research reliability. In the fourth section, a structural and functional model of information technology of express analysis of geoelectromagnetic observation data, a structure of an automated system of express data analysis that implements information technology and its software and algorithms are developed. The structure of the automated system consists of 4 subsystems: transmitting (measuring, in field), receiving, processing and analysis subsystem, as well as access, presentation and visualization ones. The developed hardware and software complex combines in an alone system different data sets of monitoring and field observations, guarantees simultaneous reception-transmission, storage and access to each of them, as well as in one holistic structure covers the whole process of research, from registration and collection of primary information and ending with the formation of archives, visualization of the data obtained and graphical representation of the results of their processing and analysis.
Інформаційна технологія опрацювання параметрів пасажиропотоків громадського транспорту
(Національний університет "Львівська політехніка", 2018) Борейко, Олег Юрійович; Теслюк, Василь Миколайович; Гнатчук, Єлизавета Геннадіївна; Тернопільський національний економічний університет; Тимченко, Олександр Володимирович
Дисертаційна робота присвячена розв’язанню важливого наукового завдання – завдання підвищення ефективності опрацювання параметрів пасажиропотоків у громадському транспорті “розумного” міста. У дисертації розроблено метод опрацювання параметрів пасажиропотоків громадського транспорту. Отриманий метод врахувує різні категорій пасажирів та завдяки використанні мультимедійних форматів і інтегрованих структур даних забезпечує підвищення точності визначення їх параметрів. Вдосконалено ієрархічну програмну модель, яка дає можливість досягнути необхідної швидкодії, функціональності, вартості програмної реалізації системи і швидко масштабувати автоматизовану систему. Вдосконалено фізичну модель контролера збору даних, яка грунтується на використанні сучасної елементної бази і забезпечує широкі функціональні можливості та припустиму вартість реалізації у порівнянні з існуючими аналогами. Для зменшення структурної складності моделей автоматизованої системи опрацювання параметрів пасажиропотоків отримав подальший розвиток метод синтезу структурних моделей автоматизованої системи на основі інгібіторних мереж Петрі. Диссертация посвящена решению важного научного задания – повышения эффективности обработки параметров пассажиропотоков в общественном транспорте "умного" города. В диссертации разработан метод обработки параметров пассажиропотоков общественного транспорта. Полученный метод учитывает различные категорий пассажиров и благодаря использовании мультимедийных форматов и интегрированных структур данных обеспечивает повышение точности определения их параметров. Усовершенствована иерархическая программная модель, которая дает возможность достичь необходимого быстродействия, функциональности, стоимости программной реализации системы и быстро масштабировать автоматизированную систему. Усовершенствована физическая модель контроллера сбора данных, которая основана на использовании современной элементной базы и обеспечивает широкие функциональные возможности и допустимую стоимость реализации по сравнению с существующими аналогами. Для уменьшения структурной сложности моделей автоматизированной системы обработки параметров пассажиропотоков получил дальнейшее развитие метод синтеза структурных моделей автоматизированной системы на основе ингибиторных сетей Петри. The thesis is dedicated to the upgrading of efficiency of information technologies of data processing for public transport passenger flow. The actuality of the subject of the dissertation has been proved in the introduction of the scientific work. The aim and the main tasks of the investigation have been formulated. The scientific novelty and the practical implementation of the obtained results have been defined. The first chapter of the thesis contains the analysis of the current state of the systems development of the “smart” city. The results of the analysis of the existing automated systems gave the possibility to state the following facts: in most cases, a necessary functionality (privileged passengers are taken into account) was not fully realized, there were not insufficient high accuracy calculation of passengers (no more than 98%) and expensive equipment connected with the monopoly of producing companies. In the second chapter of the investigation, there is the further development of models of the automated system on the base of Petri nets. The developed method is based on the following: algorithms of the work of the system, which show all stages of functioning of a client and its server part in details; models of a client and server part of the system on the base of inhibitor Petri nets, which give the possibility to investigate state and dynamics of the functioning of the whole system and its components; models of the system based on color Petri nets showing types, movement and processing of data by controllers and a server. In the third chapter of the research, the processing method of parameters for public transport passenger flows of the “smart” city has been developed for the first time. It is based on the activity of the following: algorithms of the original data processing by a controller; algorithms of data processing by a server sent by controllers-clients; program model of a controller of data collection; hierarchical model of the management of software of a server part; information model, which reflects the processes of interaction between the main elements of the system and describes data flow and stages of their interpretation in the final statistic information. In the fourth chapter of the research, physical model of a controller for data collection and technical means for the realization of a server part of the system, software for the automated system for processing of parameters of public traffic passenger flows of the “smart” city have been upgraded. Technical equipment for the design of a physical model of a controller of data collection has been developed. A high accuracy of calculation of passengers that is equal to 99.5% together with the use of video data gives the possibility to check, prove and show the estimated quantity of passengers of each transport means during the chosen period.
Інформаційні технології аналізу та синтезу мікроелектромеханічних систем
(Національний університет "Львівська політехніка", 2009) Теслюк, Василь Миколайович
Scientific results that were received in the dissertation work solve the scientific and applied problem of development of methods and means for information technologies of analysis and synthesis of microelectromechanical systems at the system, schematic and component levels. Architecture of information technologies of analysis and synthesis of microelectromechanical systems that uses software and hardware means for multilevel development and is based on the use of libraries of MEMS’s base structures and elements, knowledge base, database of MEMS manufacturing technologies, 4-leveled library of mathematical models and enables to increase the level of automation of procedures of analysis and synthesis of the microelectromechanical systems is developed. The XML format is used to store data about MEMS’s base elements. The information models of the microelectromechanical system and alternative MEMS’s structure decision based on the basic structures of the microelectromechanical systems which are using the theory of sets, graphs and double-linked lists for the storage of data about the integral structure and enable to organize effectively the operations of MEMS parameters modification in the process of the automated analysis and synthesis that possibility of change of structural decision of alternative are developed in the process of analysis and synthesis of integral devices. The increase of automation level of development at the system level of IT analysis and synthesis of MEMS is gained by application of the following developed methods: · automated generation of alternative decisions set for the tasks of decision of MEMS structural synthesis which use the built morphological AND-OR tree of alternative decisions for this class of structures and set of production rules and in opposite to the existing ones, provides the automatic forming of the limited set of alternative decisions under the set of rules and parameters of technical specification introduced by the developer; · automated synthesis of functional models of MEMS which is based on the basis of theory of time and coloured Petri nets with priorities and provides the single approach to the construction of models which enable to define the initial parameters of object of development and study its dynamics; · method of decreasing of power of set of alternative decisions for the decision of tasks of structural synthesis of the microelectromechanical system by the use of base elements and flow diagrams of MEMS, set of heuristic rules, set of technology features of manufacturing and solution of multicriterion optimization task. The method of automated synthesis of VHDL-AMS-models of MEMS base elements for a schematic level on the basis of method of electric analogies, systems of ordinary differential equations and equations in derivates part and sequence and amount of the utillized differential equations is determined physical principles of work of element of MEMS and amount of transformations of energy is built. Research of developed VHDL-AMS-models is conducted and results of analysis of MEMS elements are presented. The methods of the automated synthesis of models are developed for the component level of information technologies of analysis and synthesis of microelectromechanical system on the base of partial derivates equations with their next solution with the help of method of finite differences or finite elements which need less calculable expenses due to the less quantity of node equations, enable to take into account different structural implementation of MEMS elements and control the error of initial parameters. The simulation of three-dimensional models of technological operations of making (diffusions, epitaxy, ionic implantation and ionic etching) of elements of the microelectromechanical systems received subsequent development on the basis of equations of mathematical physics with the use of numerical methods which provide the account of non-stationary and nonlinear processes and, unlike the existing ones, include means to controls exactness of initial parameters and enable to study influence of parameters of technological process (process temperature, type of dopes, time etc) on the input (material resistance, thickness of structural layer, effect of element’s rounded edges etc) and output parameters of MEMS elements. The results of analysis and synthesis of MEMS and their base elements with the use of the developed methods, models and means, on the system, schematic and component levels are presented. Результаты диссертационной роботы решают научно-прикладную проблему розработки методов и средств для информационных технологий анализа и синтеза микроэлектромеханических систем на системном, схемотехническом и компонентном уровнях. Разработано архитектуру информационных технологий анализа и синтеза МЭМС, которые исспользуют построенный програмно-технический комплекс для многоуровневой разработки интегральных приборов, базовые структуры и элементы МЭМС, розработанные информационные модели и дают возможность увеличить уровень автоматизации процедур анализа и синтеза при разработке микроэлектромеханических систем. Разработано методы для системного уровня информационных технологий анализа и синтеза МЭМС, которые решают задачи структурного и параметрического синтеза на основании построения дерева альтернативних решений, базовых структур и элементов, множества продукционных правил и теории цветных сетей Петри. В диссертационной работе работано метод автоматизированного синтеза VHDL-AMS - моделей базовых элементов МЭМС для схемотехнического уровня на основании метода электрических аналогий, системах обыкновенных дифференциальных уравнений, уравнений в частных производных и последовательность и количество исспользуемых диффенциальных уравнений определяется физическими принципами роботи элемента МЭМС и количеством преобразований энергии. Разработаны методы автоматизированного синтеза моделей компонентного уровня на основании уравнений в частных производных с последующим их решением с помощью метода конечных разностей или метода конечных элементов. Разработаны трехмерные имитационные модели технологических процессов изготовления МЭМС, которые дают возможность исследовать влияние технологичесских параметров на выходные параметры интегрального прибора. Основные результаты диссертационной работы внедрены в промышленность и используются при анализе и синтезе новых типов МЭМС с улучшеными техническими характеристиками.Наукові результати, отримані в дисертаційній роботі, вирішують науково-прикладну проблему розроблення методів та засобів для інформаційних технологій аналізу та синтезу мікроелектромеханічних систем на системному, схемотехнічному та компонентному рівнях. Розроблено архітектуру ІТ аналізу та синтезу МЕМС, яка використовує побудований програмно-технічний засіб для багаторівневого розроблення, грунтується на використанні базових структур і елементів та використовує розроблені інформаційні моделі і дає змогу підвищити рівень автоматизації процедур аналізу та синтезу мікроелектромеханічних систем. Розроблено методи для системного рівня ІТ аналізу та синтезу МЕМС, які вирішують задачі структурного та параметричного синтезу на основі побудови дерева альтернативних рішень, базових структур та елементів, набору продукційних правил та теорії кольорових мереж Петрі. Побудовано метод автоматизованого синтезу VHDL-AMS - моделей базових пристроїв МЕМС для схемотехнічного рівня на основі методу електричних аналогій, системах звичайних диференціальних рівнянь та рівняннях в частинних похідних і послідовність та кількість використаних диференціальних рівнянь визначається фізичними принципами роботи елемента МЕМС та кількістю перетворень енергії. Розроблено методи автоматизованого синтезу моделей компонентного рівня на базі рівнянь в частинних похідних з наступним їх розв’язанням з допомогою методу скінчених різниць чи скінчених елементів. Побудовані тривимірні моделі технологічних процесів виготовлення МЕМС, які дають змогу дослідити вплив технологічних параметрів на вихідні параметри інтегрального пристрою. Основні результати праці знайшли промислове впровадження при аналізі та синтезу нових типів МЕМС з покращеними технічними характеристиками.