Browsing by Author "Буров, Євген Вікторович"

Now showing 1 - 3 of 3

Методи та засоби побудови контекстно-залежних інтелектуальних систем у сфері працевлаштування
(Національний університет "Львівська політехніка", 2019) Завущак, Ірина Іванівна; Буров, Євген Вікторович; Національний університет «Львівська політехніка»; Литвиненко, Володимир Іванович; Мельничин, Андрій Володимирович
У дисертаційній роботі розв’язано актуальне наукове завдання розроблення методів та засобів для опрацювання, збереження, аналізу та представлення контекстних знань. Проведено аналіз та побудовано моделі бізнес-процесів сфери працевлаштування, зокрема розробки рекомендацій з працевлаштування, формування бази вакансій та роботи з працедавцями, надання послуг з професійного інформування та консультування, а також професійного відбору кандидатур на основі вимог працедавців. Моделі бізнес-процесів подано з використанням мови BPMN. Визначено зв’язок між знанням і контекстом, а також розглянуто види та властивості моделі представлення контексту та основні задачі контекстного прийняття рішень. Вдосконалено JDL-модель галузі працевлаштування з визначенням операцій опрацювання контекстних даних та знань, розвинуто модель контекстних графів та розроблено метод уточнення контексту на базі цієї моделі, модифіковано метод аналітичної ієрархії для вибору практик у поточному контексті. Для вирішення задачі вибору способу опрацювання ситуації використано модель контекстних графів. Розроблено систему для моделювання контекстно-залежних інтелектуальних систем у сфері працевлаштування. У дисертаційній роботі розв’язано актуальне наукове завдання розроблення методів та засобів для опрацювання, збереження, аналізу та представлення контекстних знань. Проведено аналіз та побудовано моделі бізнес-процесів сфери працевлаштування, зокрема розробки рекомендацій з працевлаштування, формування бази вакансій та роботи з працедавцями, надання послуг з професійного інформування та консультування, а також професійного відбору кандидатур на основі вимог працедавців. Моделі бізнес-процесів подано з використанням мови BPMN. Визначено зв’язок між знанням і контекстом, а також розглянуто види та властивості моделі представлення контексту та основні задачі контекстного прийняття рішень. Вдосконалено JDL-модель галузі працевлаштування з визначенням операцій опрацювання контекстних даних та знань, розвинуто модель контекстних графів та розроблено метод уточнення контексту на базі цієї моделі, модифіковано метод аналітичної ієрархії для вибору практик у поточному контексті. Для вирішення задачі вибору способу опрацювання ситуації використано модель контекстних графів. Розроблено систему для моделювання контекстно-залежних інтелектуальних систем у сфері працевлаштування. В диссертационной работе решено актуальное научное задание разработки методов и средств для обработки, хранения, анализа и представления контекстных знаний. Проведен анализ и построены модели бизнес-процессов сферы трудоустройства, в частности разработки рекомендаций по трудоустройству, формирования базы вакансий и работы с работодателями, предоставления услуг по профессиональному информированию и консультированию, а также профессиональному отбору кандидатур на основе требований работодателей. Модели бизнес-процессов представлены с использованием языка BPMN. Определена связь между знанием и контекстом, а также рассмотрены виды и свойства модели представления контекста и основные задачи контекстного принятия решений. Усовершенствована JDL-модель области трудоустройства с определе-нием операций обработки контекстных данных и знаний, развито модель контекстных графов и разработан метод уточнения контекста на базе этой модели, модифицирован метод аналитической иерархии для выбора практик в бегущем контексте. Для решения задачи выбора способа обработки ситуации использована модель контекстных графов. Разработана система для моделирования контекстно-зависимых интеллектуальных систем в сфере трудоустройства. In the dissertation the actual scientific task of development of technologies for processing, preservation, analysis and presentation of contextual knowledge is solved. The analysis and modeling of the business processes of the sphere of em-ployment, including the development of job placement recommendations, the creation of a vacancy database and work with employers, the provision of professional information and counseling services, and the professional selection of candidates based on the requirements of employers, have been carried out. Business process models are provided using the BPMN language. The relationship between knowledge and context is determined, as well as the types and properties of the context representation model and the main tasks of context-based decision-making. From the point of view of the way the context is presented, it should be described in standardized ways that ensure the independence of the presentation from the platform. The knowledge representation model should support operations for creating and managing a context. The most convenient way of presenting a context that meets modern requirements is the ontological model of information and knowledge representation. The JDL model of the employment industry has been improved with the definition of operations for the processing of context data and knowledge, the model of context graphs has been developed and a method for refining the context on the basis of this model has been developed, the method of analytical hierarchy has been modified to select practices in the running context. To solve the problem of choosing the method used model of development situation and context graphs showing how the existing model based on the context of the situation, depending on the specific values of the parameters provide the sequence of actions. For certain configurations of the values of information parameters for decision making is not enough. In this case, the context model is refined, moving to an expanded model of the context, complemented by entities and relationships. After that the task of choosing a practice is solved again. At each stage of the decision-making process, the system must weigh the possible additional costs of time and money for obtaining additional information to clarify the context, as well as the risks in the event of a possible error, if the context refinement is not carried out. Also analyzed are individual processes and their operations to build ontology based on the contexts of individual operations. The cycle of diagrams for detailed analysis of the domain is constructed. A database for modeling context-sensitive intellectual systems in employment area was developed. On the basis of problem analysis, effective methods of working out of knowledge in the field of employment were developed and created on their basis a convenient and effective system for people who are looking for work, as well as for employers who will be able to quickly find suitable qualified candidates.
Методи та засоби побудови програмних систем на основі онтологічних моделей задач
(Національний університет "Львівська політехніка", 2015) Буров, Євген Вікторович
У дисертації вирішено науково-прикладну проблему побудови програмних систем, здатних до адаптації в умовах змін середовища функціювання. Отримала подальший розвиток концепція побудови баз знань, яка полягає у включенні у базу знань окрім онтології та інформаційної бази ще моделей задач. Така концепція, на відміну від існуючих, поєднує переваги онтологічного та процедурного підходів, і дозволяє формалізувати, накопичувати та повторно використовувати досвід про способи виконання задач. Розроблено механізм взаємодії моделей задач, який забезпечує вирішення задач пошуку релевантних моделей, вибору моделі та її ініціалізації. Цей механізм уможливлює вирішення складних задач у системі, багатоваріантність методів рішення задачі та повторне використання знань у системі. Розроблено означення контексту, яке на відміну від існуючих, використовує базу знань та не залежить від задач, що використовують контекст, а тільки від стану бази знань. Вперше розроблено методологію побудови онтології предметної області на основі аналізу комплексу задач, що вирішують у цій області. На відміну від існуючих, ця методологія визначає ітеративний процес розбудови онтології та забезпечує кращу її обґрунтованість, спрощує процес створення та модифікації онтології, а також створює можливість її валідації через комплекс використаних моделей. Обгрунтовано принцип побудови модельно- орієнтованих програмних систем з використанням інтерпретації моделей задач, який на відміну від xUML, дає можливість спростити процес побудови та модифікації системи. Розроблено інструментальні засоби для побудови та моделювання роботи програмних систем на основі онтологічних моделей задач. В диссертации решена научно-прикладная проблема повышения качества программных систем в аспектах сложности їх разработки и модификации, адаптации к актуальному состоянию предметной области. В первом разделе проведен анализ существующих тенденций развития архитектур, технологий и процессов построения программных систем в контексте выявления возможностей для увеличения адаптационных возможностей при изменении требований. В разделе проанализированы существующие архитектурные решения, направленные на решение проблемы адаптации, и сделан вывод о перспективности использования для решения этой проблемы методов построения программных систем, базирующихся на принципах использования активных моделей среды функционирования и технологий интеллектуальных систем обработки знаний, в частности онтологий. Во втором разделе определены теоретические основы представления и обработки знаний в программных системах на базе онтологических моделей задач. Разработана формальная модель представления знаний в системе. Формально определено понятие контекста фактов для обеспечения взаимодействия моделей. Предложена методология построения онтологий на основе онтологических моделей задач, которая определяет итеративный процесс развития онтологии и обеспечивает лучшую ее обоснованность, упрощает процесс создания и модификации онтологии. В третьем разделе разработаны архитектурные принципы построения программной системы на основе онтологических моделей задач. Предложены методы организации взаимодействия моделей. Разработаны методы использования онтологических моделей задач на трех уровнях моделирования программной системы – уровне бизнес-процессов, сервисов и приложений, устройств. В четвертом разделе приведены примеры решения практических задач с использованием онтологических моделей. В разделе рассмотрено применение онтологических моделей задач для отображения структуры бизнес-процессов предприятия в программной системе с целью увеличения адаптационных возможностей. Продемонстрировано целесообразность применения разработанной методологии построения онтологии на основе предварительного анализа бизнес-процессов и задач на примере области тестирования программного обеспечения. В работе предложено использование онтологических моделей для решения задачи управления доступом к ресурсам информационной системы. Показано, что по сравнению с известными методами DAC, MAC, RBAC, ABAC метод управления доступом на основе онтологических моделей обеспечивает динамическое предоставление и изъятие прав доступа в контексте бизнес-процессов, выполняемых в системе, отсутствие расширения прав с течением времени, упрощение процесса назначения прав и документальное обоснование всех операций. Разработан метод использования онтологических моделей для решения задач автоматизированного тестирования сборок программных продуктов. В пятом разделе приведена архитектура и функциональные возможности разработанного прототипа системы моделирования программных систем на основе онтологических моделей. Функциональные возможности прототипа системы моделирования проиллюстрированы на примерах решения ряда практических задач, в частности задач классификации и автоматизированного тестирования. В шестом разделе определены факторы, влияющие на эффективность применения онтологических моделей задач для построения программных продуктов и разработаны оценочные формулы для определения степени увеличения отдельных составляющих характеристик качества программного продукта на разных этапах его жизненного цикла. На выборке проектов по разработке программного обеспечения проанализирована степень улучшения характеристик качества программного продукта при применении онтологических моделей задач. The problem of building software systems capable to adapt in a changing environment has been solved in presented dissertation. The analysis of existing trends in software architectures, technologies, and processes of building software systems in the context of identifying opportunities to simplify their construction and increase adaptive capacity to requirements change was performed. Existing concept of knowledge-based system was enhanced by inclusion in knowledge base apart from ontology also ontological task models. This change realizes the advantages of both declarative and procedural approaches to knowledge base construction and allows for formalization, storage and reuse of knowledge about task execution. The mechanism of task models interaction was developed. It uses the resolving of tasks of relevant models lookup, model selection and initialization and allows to implement a complex task resolution in a software system. For the purpose of model interaction the definition of context was provided and implemented. The methodology of ontology management based on task analysis and modeling including methods of ontology creation, modification, validation was developed. Differently from existing methodologies, proposed methodology defines an iterative process of ontology constructuion, simplifies it, creates a possibility of ontology validation using ontological models. Based on ontological models new access control method was proposed. This method, when compared to RBAC, ABAC doesn’t have an effect of permissions accumulation over time, and allows to assign permissions dynamically in context of executed business processes. Software tools prototype for building and modeling software system based on ontological models was developed.
Методи та засоби ідентифікації проблемних ситуацій на основі онтологічного підходу
(Національний університет "Львівська політехніка", 2018) Микіч, Христина Ігорівна; Буров, Євген Вікторович; Національний університет «Львівська політехніка»; Виклюк, Ярослав Ігорович; Мельничин, Андрій Володимирович
Дисертацію присвячено дослідженню та розробці нових моделей, методів та засобів ідентифікації проблемних ситуацій на базі онтологій з використанням механізмів логічного виведення, які застосовано в інтелектуальних системах підтримки прийняття рішень для задач тестування програмного забезпечення. У роботі проведено аналітичний огляд існуючих методів подання знань у системах із ситуаційною обізнаністю. Сформовано мету дисертаційного дослідження, що полягає в розширенні функціональних можливостей програмних систем підтримки прийняття рішень шляхом розробки методів та засобів ідентифікації проблемних ситуацій на основі онтологічного підходу. Відповідно до сформованої мети, запропоновано математичний апарат алгебри систем, методи дескриптивної логіки та інтерпретованих систем. Для проектування методів ідентифікації проблемних ситуацій в умовах невизначеності використано методи гранулярного комп’ютингу, нечітку та розмиту логіки, теорію нечітких множин. Розроблено онтологію галузі тестування програмного забезпечення. Розроблено програмний комплекс для аналізу та моделювання проблемних ситуацій на прикладі систем підтримки прийняття рішень галузі тестування, який відображає результати теоретичних досліджень. Диссертация посвящена исследованию и разработке новых моделей, методов и средств идентификации проблемных ситуаций на базе онтологий с использованием механизмов логического вывода, которые применены в интеллектуальных системах поддержки принятия решений для задач тестирования программного обеспечения. В работе проведен аналитический обзор существующих методов представления знаний в системах с ситуационной осведомленностью. Сформированная цель диссертационного исследования заключается в расширении функциональных возможностей программных систем поддержки принятия решений путем разработки методов и средств идентификации проблемных ситуаций на основе онтологического подхода. Согласно установленной цели предложен математический аппарат алгебры систем, методы дескриптивной логики и интерпретируемых систем. Для проектирования методов идентификации проблемных ситуаций в условиях неопределенности, использованы методы гранулярного компьютинга, нечеткую и размытую логики, теории нечетких множеств. Разработана онтология области тестирования программного обеспечения. Разработан программный комплекс для анализа и моделирования проблемных ситуаций на примере систем поддержки принятия решений области тестирования, который отражает результаты теоретических исследований. The dissertation is devoted to the research and development of new models, methods and means for identifying problem situation based on ontology using inferential mechanism, that are used in intellectual decision support systems for software testing. An analytical review of existing knowledge representation methods in systems with situational awareness was conducted in this paper. The purpose of the dissertation research is stated, which is expanding the functionality of software decision support systems by developing methods and means for identifying problem situations on the basis of an ontological approach. In the first section, the concept of situation awareness, the models of representation and knowledge processing in systems with situational awareness are considered. The analysis of existing knowledge representation methods using situation awareness was carried out, which made it possible to better understand the structure of various frameworks and the perspective of their application in the development of similar systems. In the second section, a formal model of presentation of knowledge was used. The proposed algebraic approach based on the algebra of systems corresponds to the general JDL model, has sufficient flexibility and allows using other mathematical methods for modeling and solving problems by constructing mutually unambiguous mappings. In accordance with the established goal, the mathematical apparatus of algebra of systems, and mappings to methods of descriptive logic and interpreted systems are implemented. In the third section, methods for identifying problem situations in decision support systems in the field of software testing are developed. The methods of situational knowledge processing based on the use of the rough sets theory and the approach of granular computing are described. They make it possible to simplify situations definition and processing. An ontological presentation of situational knowledge is used to achieve situation awareness in complex intellectual systems, where objects can be in multiple situations simultaneously or the situation is not fully defined. The method based on multi-level cues definition allowing to simplify the process of situation identification was developed. In the fourth section is presented the software complex for analysis and modeling of problematic situations occurring in software testing, implementing the results of theoretical research. In the process of creating a system for identifying situations, UML-based modelling methods, as well as OWL, SWRL, and SQWRL languages and their implementations in Protégé modeling tool are used.