Browsing by Author "Литвин, Василь Володимирович"
Now showing 1 - 5 of 5
- Results Per Page
- Sort Options
Item Методи та засоби побудови інтелектуальних систем підтримки прийняття рішень на основі адаптивних онтологій(Національний університет "Львівська політехніка", 2012) Литвин, Василь ВолодимировичУ дисертації вирішено важливу науково-прикладну проблему побудови інтелектуальних систем підтримки прийняття рішень (ІСППР), ядром баз знань яких є онтології. Здійснено класифікацію таких систем з погляду їх функціонування на основі онтологій. Розроблено математичне забезпечення функціонування ІСППР, яке ґрунтується на онтологіях. Для цього введено поняття адаптивної онтології. Модель адаптивної онтології визначено як розвиток класичної моделі додаванням ваг важливості понять та відношень, які зберігаються в онтології. Налаштування таких скалярних величин (ваг важливостей) дозволило адаптувати онтологію до специфіки предметної області та задач, які розв’язуються за допомогою ІСППР. Введені ваги використано під час побудови метрик, на основі яких здійснено моделювання процесу функціонування ІСППР. Отримав подальший розвиток процес автоматизованої розбудови базової онтології, її оптимізації та навчання. Розроблено рекурсивний метод автоматизованої розбудови онтологій. За критерії оптимізації взято характеристики якості функціонування ІСППР згідно стандарту ISO 9126. Розроблено метод розвинення ваг важливості понять та відношень на всю онтологію на основі задання початкових ваг. Наведено приклади розроблених ІСППР, функціонування яких ґрунтується на побудованих моделях, методах та алгоритмах. В диссертации решена научно-прикладная проблема построения интеллектуальных систем поддержки принятия решений, ядром баз знаний которых есть онтологии. В первом разделе рассмотрено основные направления исследований интеллектуальных систем поддержки принятия решений (ИСППР) и пути использования онтологий во время построения информационных систем. Описаны модели онтологий, языки описаний и методологии их разработки. Рассмотрены методы представления онтологий на основе формальных моделей представления знаний. Второй раздел посвящен исследованию использования онтологий в разных классах ИСППР. Показано, что суть эффективного функционирования ИСППР сводится к использованию некоторой метрики. Рассмотрены четыре классы ИСППР как декартовое произведение направлений развития таких систем (классификация, планирования деятельности) и пространством их функционирования (семантические, признаковые). Чтобы построить метрику на основе онтологий, расширена классическая модель онтологии путем введения пары скалярных величин, которые характеризуют важность понятий и отношений, которые сохраняются в онтологии в зависимости от предметной области и задачи. Такую модель онтологии названо адаптивной. Построено метрики на основе адаптивной онтологии для четырех классов ИСППР. В третьем разделе разработан метод автоматизированного развития адаптивной онтологии и ее обучение. Построение онтологии есть сложный и рутинный процесс, который требует много времени и ресурсов, поэтому необходимо разработать процедуры ее автоматизированного развития. Для обработки текстов на английском языке использовано систему Link Parser. Автоматизированное развитие онтологии осуществляем путем анализа семантической сети шаблонами зависимостей между понятиями онтологии. Такой метод назван рекурсивным, поскольку для анализа семантических сетей он использует элементы имеющийся онтологии. Также описан процесс обучения адаптивных онтологий, которое состоит в определении весов важности понятий и отношений онтологии. Построены методы исчисления таких весов для семантических и признаковых задач. Четвертый раздел посвящен вопросу оптимизации адаптивных онтологий. Автоматизированный процесс развития онтологии может быть неэффективной. Поэтому необходимо рассмотреть ряд оптимизационных задач, которые связанные с содержанием и структурой онтологий. Критерием таких задач есть быстродействие системы, полнота онтологий. Показано, что такие задачи можно свести к классическим задачам, для которых известны методы решения, а именно к задаче о рюкзаке, к методу резолюций, к поиску минимального остова. Построен обобщенный унифицированный метод разработки ИСППР на основе адаптивных онтологий. В пятом разделе представлены средства построения ИСППР на основе адаптивных онтологий и прикладные системы для задач классификации. Определена структура адаптивной онтологии и необходимые отношения для ее реализации программным средством Protege. Разработаны прикладные ИСППР такие, как поиск информации за контекстом, классификации текстовых документов и диагностирование ревматологических заболеваний. Показана высшая эффективность функционирования разработанных ИСППР в сопоставлении с другими методами построения таких систем. Шестой раздел посвящен построению интеллектуальных агентов планирования деятельности на основе адаптивных онтологий. Исследована семантическая задача – квазиреферирования текстовых документов и признаковая задача – диагностика и модернизация трубопроводов. Для разработки онтологии физико-химической механики материалов, которая используется в задаче мониторинга состояния трубопроводов, использован разработанный автоматизированный метод развития онтологий на основе справочников материалов и методы ее оптимизации. In the thesis an important scientific and practical problem of building intelligent decision support systems (IDSS) which knowledge base core is an ontology has been solved. Classification of those systems according to its functioning has been done. For each class appropriate mathematical software has been developed. IDSS models which functioning is based on the ontology had been investigated. The concept of adaptive ontology has been introduced. The model of adaptive ontology is considered as development of the classic model by adding importance weights of the concepts and relations that are stored in the ontology. Entering such scalar values (importance weights) allows adopting the ontology to the specific subject area and tasks, which are solved in the IDSS by configuring the entered weights. Further those weights are used to build metrics for search IDSS solutions. Tasks of machine learning of upper ontology and its optimization had been investigated. Recursive method of the automatic development of ontology has been developed. As the optimization criteria the characteristics of IDSS functioning quality has been taken according to international standard ISO 9126. Methods of re-estimation and propagation on the whole ontology primary established importance weights of concepts and relations have been developed. Examples of IDSS which functioning is based on the developed models and algorithms have been presented and analysed.Item Методи та засоби підтримки прийняття рішень формування та розвитку територіальних громад(Національний університет "Львівська політехніка", 2019) Рибчак, Зоряна Любомирівна; Литвин, Василь Володимирович; Національний університет «Львівська політехніка»; Овсяк, Олександр Володимирович; Боднарчук, Ігор ОрестовичУ дисертаційній роботі розв’язано актуальне науково-прикладне завдання, яке полягає у розробленні математичних методів та програмних засобів для системи підтримки прийняття рішень формування та розвитку територіальних громад . Розроблено математичні методи формування територіальних громад. Побудовано математичну модель формування територіальної громади як задачу багатокритерійної оптимізації розбиття зв’язного графу на зв’язні під графи на основі ройових алгоритмів. За допомогою анкетування мешканців територіальних громад визначено, що першочерговими задачами є - ремонт доріг та адміністративних будівель у межах територіальної громади. На основі модифікації алгоритму Пріма – створено план моделювання ремонту доріг. Першочерговість задач ремонту адміністративних будівель вирішується зведенням задачі планування до задачі динамічного програмування. Розроблено структуру системи підтримки прийняття рішень формування та розвитку територіальних громад та реалізовано програмне забезпечення її окремих модулів. Здійснено апробацію пропонованих методів та алгоритмів. В диссертационной работе решена актуальная научно-прикладная задача, которая заключается в разработке математических методов и программных средств для системы поддержки принятия решений формирования и развития территориальных общин. Разработаны математические методы формирования территориальных общин. Построена математическая модель процесcа формирования территориальной общины как задача многокритериальной оптимизации разбиения связного графа на связные подграфы на основе роевых алгоритмов. С помощью анкетирования жителей территориальных общин определено, что первоочередными задачами являются - ремонт дорог и административных зданий в пределах территориальной общины. На основе модификации алгоритма Прима - создан план моделирования ремонта дорог. Первоочередность задач ремонта административных зданий решается сведением задачи планирования к задаче динамического программирования. Разработана структура системы поддержки принятия решений формирования и развития территориальных общин и реализовано программное обеспечение ее отдельных модулей. Осуществлена апробация предлагаемых методов и алгоритмов. The dissertation is devoted to solving the actual scientific and applied problem, which consists in the development of mathematical methods and software tools for the system of support of decision making of the formation and development of territorial communities. The efficiency of the development of mathematical methods and software for decision-making support for the formation and development of territorial communities is substantiated. A mathematical model of the process of formation of a territorial community as a multi-criteria optimization task for the partition of a coherent graph on connected graphs, which belongs to a class of NP-complete problems, was constructed. It is proposed to solve this problem by using the swarm algorithms: the hybrid of the ant colony's algorithm and the particle swarm method, for splitting the graph into sub-graphs and the algorithm of gray wolves to find the administrative centers. To set up the free parameters of the routing algorithms, machine learning with reinforcement was used, namely the genetic algorithm. The method of solving the problem of multicriteria optimization of the formation of territorial communities was improved by adjusting the free parameters of such algorithms using a genetic algorithm, which made it possible to increase the efficiency of the use of separate roaming algorithms for the formation of territorial communities. A survey of residents of territorial communities was conducted to determine the priority of solving problems within the community. The results of the questionnaire were processed using expert assessments. The coefficient of concordance is determined and shows the strong consistency of expert opinions. It was determined that the primary tasks of constructing a mathematical model of the process of development of territorial communities are the tasks of repairing roads and administrative buildings (schools, kindergartens, hospitals, etc.). The Prima algorithm is designed for the task of planning road repair within the territorial community, which takes into account the constraints on resources. The task of scheduling repair of administrative buildings to the problem of dynamic programming is set up. The structure of the decision-making support system for the formation and development of territorial communities was developed and the software of its individual modules was implemented. Probation of proposed methods and algorithms is carried out.Item Система розпізнавання мультиспектральних образів на основі осциляторних нейронних мереж(Національний університет «Львівська політехніка», 2021) Пелещак, Іван Романович; Литвин, Василь Володимирович; Національний університет «Львівська політехніка»; Комар, Мирослав Петрович; Шекета, Іван РомановичItem Інформаційна система виявлення засобів радіорозвідки(2021-01-01) Гнатюк, Любомир Петрович; Литвин, Василь Володимирович; Національний університет „Львівська політехніка“Item Інформаційна система виявлення засобів радіорозвідки(2021-01-01) Гнатюк, Любомир Петрович; Литвин, Василь Володимирович; Національний університет „Львівська політехніка“