Автореферати та дисертаційні роботи
Permanent URI for this collectionhttps://ena.lpnu.ua/handle/ntb/2995
Browse
3 results
Search Results
Item Методи та засоби комп’ютерно-лінгвістичного аналізу достовірності соціально-демографічних характеристик учасників віртуальних спільнот(Національний університет "Львівська політехніка", 2015) Федушко, Соломія СтепанівнаУ дисертаційній роботі розв’язано важливе наукове завдання - розроблення методів та засобів комп’ютерно-лінгвістичної перевірки достовірності даних облікового запису учасника віртуальної спільноти, які дають змогу відфільтрувати фальшиві користувацькі облікові записи, що без використання автоматизованих програмних засобів потребує значних фінансових та часових затрат. У роботі вирішено актуальне завдання верифікації соціально-демографічних характеристик учасників віртуальних спільнот українського сегмента Інтернету за допомогою комп'ютерно-лінгвістичного аналізу інформаційного наповнення веб-спільнот. Розроблено програмний комплекс комп’ютерно-лінгвістичної перевірки достовірності соціально-демографічних характеристик учасника веб-спільноти на основі методів верифікації масиву користувацького інформаційного наповнення веб-спільнот, що дало змогу реалізувати систему підтримки прийняття рішень для фахівця з управління веб-спільнотами у сфері опрацювання персональних даних. Отримані результати системи дозволяють підвищити ефективність загального процесу управління веб-спільнотами на 25-40 % залежно від їх специфіки. В диссертационной работе решена важная научная задача разработки методов и средств компьютерно-лингвистической верификации персональных данных учетной записи веб-участника. Решена задача верификации социально-демографических характеристик веб-участников украинского сегмента Интернета с помощью компьютерно-лингвистического анализа контента веб-сообществ. Разработан программный комплекс компьютерно-лингвистической проверки достоверности социально-демографических характеристик веб-участника на основе верификации контента веб-сообществ, что позволило реализовать систему поддержки принятия решений для специалиста по управлению веб-сообществами. Полученные результаты работы системы позволяют повысить эффективность процесса управления веб-сообществами на 25-40% в зависимости от их специфики. This thesis has resolved an important scientific task of developing methods and means of computer and linguistic verification of web community members’ accounts personal data. Methods for verification of Ukrainian web community members’ socio-demographic characteristics on the basis of computer-linguistic analysis of web community members’ information tracks were suggested. Software complex for verification of web members’ socio-demographic characteristics as based on results of the computer-linguistic analysis of web communities’ content was developed. In the first chapter, an analysis of actual development tendencies of web communities as a part of a global system of social communications is carried out. Conceptual determination of the socio-demographic characteristics of a web community member and substantiate of their selection are suggested. The use of socio-demographic profile of a web personality in applied tasks of WWW, its components and demand for it building for effective administration tasks in web communities are analysed. In the second chapter, a model of information track and model of socio-demographic characteristics of web members are built based on the result of web members communicative process analyses. A model of linguistic and communicative indicators of a web community member by automating search of socio-demographic markers and processing of information track of 42 Ukrainian web communities is built. Methods for calculating values of linguistic and communicative indicators, impact factors of indicative features and weights of markers are developed. Model for determining educational level of web members is suggested. Method of calculating adequacy of account personal data is developed. In the third chapter, methods and algorithms for personal data verification of web members are developed. Method of checking web members’ internet-names is suggested. A complex of data verification algorithms, such as an algorithm for determining adequacy of account data, is built. Model of a specialized sociodemographic markers vocabulary, which is integrated into software complex of personal data validation, is created. Model of software for verification of a web community member socio-demographic profile by forming sets of indicators based on result of computer-linguistic analysis of web members’ information tracks is developed. In the fourth chapter, a software complex for verifying socio-demographic characteristics of web community members, which includes specialized sociodemographic markers vocabulary, is developed. The software complex allows implementing decision support system for professionals in web community management in the field of processing personal data. Effectiveness and efficiency of use of the developed methods and means for solving tasks in web communities administration is proved by their approbation.Item Методи та засоби метрологічної самоперевірки прецизійних аналого-цифрових перетворювачів у процесі експлуатації(Національний університет "Львівська політехніка", 2013) Кочан, Роман ВолодимировичУ дисертації вирішено науково-технічну проблему забезпечення єдності вимірювань і метрологічної надійності результатів перетворення прецизійних аналого-цифрових перетворювачів (АЦП) з обмеженням трудомісткості їх метрологічного обслуговування. Для цього запропоновано оснастити їх системою метрологічної самоперевірки, яка ґрунтується на встановленні нуля, калібруванні та визначенні інтегральної нелінійності АЦП (необхідні та достатні процедури). Остання використовує багаторезисторний подільник напруги під’єднаний до джерела напруги калібрування АЦП. Доведено, що у разі усереднення спадів напруги на всіх резисторах подільник є вимірювальним перетворювачем з нехтуючи малою похибкою. Це дозволило запропонувати базовий метод визначення інтегральної нелінійності АЦП і методику його модифікації, яка дала змогу розробити сім нових методів. Показано, що шум АЦП (основне джерело невиключеної похибки) спричиняє похибку меншу за 0,0002 %. Досліджено придатність методів для визначення/корекції інтегральної нелінійності сигма-дельта АЦП. Запропоновано і досліджено концепцію побудови систем метрологічної самоперевірки АЦП. Показано переваги використання таких АЦП у системах вимірювання температури за методом заміщення (похибка менша за 1 мК). There is solved an scientific and technical problem of uniformity the measurements and providing metrological reliability of the conversion results of analog to digital converters (ADCs) with limited complexity of their metrological support. It is proposed to embed the metrology self-testing system into ADC. This metrological self-testing system is based on null setting, calibration and nonlinearity identification (these procedures are necessary and sufficient). The nonlinearity identification procedure is based on multiresistors voltage divider connected to ADC calibration source. It is proved that this voltage divider, in the case of averaging voltages on all resistors, is a converter with negligible small error. It provides development basic method of ADC’s integral nonlinearity identification and methodology of this method modification. It gives opportunity to develop new seven methods. It is showed that noise of ADC is the main source of residual error and it brings error less than 0,0002 %. There is investigated the compatibility of the proposed methods for nonlinearity identification and correction of precision sigma-delta ADC. There is proposed and investigated the conception of development of metrology self-verification system of ADC. There is proved the utility of ADC implementation in temperature measurement systems using replacement method (error less than 1 mK). В диссертации решена важная научно-техническая проблема обеспечения единства измерений и метрологической надежности результатов преобразования аналого-цифровых преобразователей (АЦП) с одновременным уменьшением трудоемкости их метрологического обслуживания. Предложено оснастить АЦП системой самоповерки, базирующейся на установке нуля, калибровке и определении интегральной нелинейности АЦП (эти процедуры необходимы и достаточны). Последняя основана на использовании многорезисторных делителей, подключенных к источнику напряжения калибровки АЦП. Доказано, что при усреднении падений напряжения на всех резисторах делитель является измерительным преобразователем с пренебрежимо малой погрешностью. На этой основе предложен базовый метод формирования точек поверки (определения интегральной нелинейности АЦП), недостатком которого является размещение точек поверки в нижней половине диапазона преобразования АЦП. Для преодоления этого недостатка создана методология модификации базового метода, позволившая предложить еще семь методов формирования точек определения нелинейности. Предложенные методы обеспечивают формирование 3 … 31 точек определения нелинейности. Показано, что основным источником неисключенной погрешности всех предложенных методов является случайная погрешность АЦП (шум), вызывающий, при поверке 24 разрядных АЦП с амплитудой шума не более шести квантов, погрешность менее 0,0002 %. Исследована пригодность предложенных методов для формирования точек определения нелинейной составляющей погрешности прецизионных сигма-дельта АЦП, для чего создана имитационная модель однобитных сигма-дельта модуляторов первого, второго и третьего порядков, позволившая также выявить практическую независимость нелинейности модулятора от нелинейности второго и третьего интеграторов и сформулировать рекомендации для повышения эффективности определения и/или коррекции интегральной нелинейности АЦП. На основе проведенных исследований показаны недостатки традиционной периодической лабораторной поверки и разработана концепция самоповерки АЦП в процессе эксплуатации, определены требования к системам самоповерки АЦП и их компонентам, а также вопросы их метрологического обслуживания путем замены источника напряжения калибровки АЦП. Разработаны варианты структуры этих систем для разных измерительных систем и предложен метод самоповерки многодиапазонных сигма-дельта АЦП. Доказано возможность измерения с помощью АЦП с использованием метода замещения и показано целесообразность коррекции интегральной нелинейности АЦП, поскольку инструментальная погрешность результатов таких измерений определяется остаточной нелинейностью АЦП. Исследовано зависимость этой инструментальной погрешности от структуры переходной меры и показано, что увеличение количества декад больше двух нецелесообразно. Разработан метод коррекции самонагрева термометров сопротивления рабочим током и спроектировано систему измерения температуры с помощью платиновых термометров сопротивления с погрешностью менее 1 мК.Item Розв’язання задач функціональної компоновки і верифікації при проектуванні конструктивів цифрової апаратури(Національний університет "Львівська політехніка", 2010) Білаль Раді А’Ггель Аль-ЗабіВ дисертації отримав свій подальший розвиток метод оптимальної (паралельної) редукції стосовно задач функціональної декомпозиції схем і верифікації проектних рішень на етапі проектування конструктивів цифрової (радіоелектронної) апаратури. Особливу увагу приділено шляхам розв’язання центральної з розглянутих задач – встановленню еквівалентності схем. В роботі досліджено два типи моделей для розв’язання задач: графові і теоретико-множинні, що мають ієрархічну структуру, яка дозволяє вибирати необхідний степінь деталізації опису схем, представлених як описом множини елементів, класифікацією яких встановлюється існування необхідних умов еквівалентності схем, так і описом множини ланцюгів, по якому визначається степінь перекриття схем, що дозволило вирішити такі задачі функціональної компоновки, як типізація і покриття схем підсхемами із заданого набору. Для графових моделей схем запропоновано нові алгоритми встановлення ізоморфізму графів і пошуку в графі ізоморфних підграфів на основі формування ізоморфних бінарних дерев редукції графових моделей. Диссертация посвящена разработке методов, моделей и алгоритмов установления эквивалентности схем с целью их использования при решении задач функциональной компоновки и верификации результатов проектирования. Исследованы существующие методы решения задач, включая решение задачи установления изоморфизма графов. Обосновано использование метода оптимальной редукции, имеющего полиномиальную вычислительную сложность, что является существенным ввиду NP-полного характера решаемых задач. Метод оптимальной редукции получил своё дальнейшее развитие применительно к задачам установления изоморфизма графов и функциональной декомпозиции схем; он позволяет, в отличие от других методов, за счёт параллелизма процесса редукции алгоритмически решать задачи типизации и выделения в графе изоморфных подграфов. Усовершенствованы теоретико-множественные и графовые модели элементов и схем, а также впервые предложена и реализована модель схемы в виде множества цепей, каждая из которых описана регламентированным кортежом параметров, что, в отличие от существующих моделей позволяет установить степень перекрытия пары схем. Предложен алгоритм установления изоморфизма простих графов, который, в отличие от существующих, для уменьшенияи нструментальной погрешности метода исследует как изоморфизм пары графов, так и их дополнений, что оказалось эффективным, в том числе, и для регулярних структур. Для установления изоморфизма графов (мультиграфов, сетей) использованы инварианты в виде бинарных деревьев оптимальной редукции, что позволяет свести задачу установления изоморфизма графов к задаче установления изоморфизма их деревьев редукции. Для решения задачи типизации обоснован и предложен алгоритм выделения в графе изоморфных подграфов с весовой функцией на вершинах, значение которой опредиляется предварительной классификацией элементов схем. Приводится формальная постановка задачи установления эквивалентности схем и путие её решения. Исследованы и развиты теоретико-множественные модели схем на основе описаний множества элементов и множестав цепей, каждое из которых имеет несколько уровней, отличающихся детализацией представления элементов и цепей схем на основе типов элементов и типов задействованных контактов элементов. Разработаны и реализованы классификаторы элементов и цепей, позволяющие установить наличие необходимых условий решения поставленных задач и степень взаимного перекрытия двух схем. Разработано и описано информационное обеспечение для решения поставлених задач.In dissertation the method of optimal (parallel) reduction has got the further development applying to the tasks of scheme functional decomposition and verification of project decisions on the stage of digital (radio and electronic) devices construction design. The special attention is paid to ways of decision of central of the examined tasks − setting the scheme equivalence. Two types of tasks decision models are studied in the work: (a) graph and (b) theoretic-and-set which have a hierarchical structure and allow choosing necessary degree of scheme description detalization presented by description of elements set, classification of which is set the existence of necessary terms of scheme equivalence as well as description of chains set by which the degree of scheme covering is determined. This has allowed the decision of the following tasks of functional decomposition: typification and coverage of scheme with subscheme from a given set. For the scheme’s graph models the new algorithms of isomorphousness of graph setting and selection of isomorphous subgraphs in the graph are offered on the base of isomorphous binary trees of graph models reduction forming.