PROBLEMS IN PROGRAMMING
Not a member yet
761 research outputs found
Sort by
Системні аспекти проектування гарантоздатних хмарних обчислень
Get PDFThere is discussed the system aspects of designing secure cloud computing. Technical realization of such computational content is possible with the use of a spatial fault-tolerant multiprocessor of a real time scale with a variable ratio of performance and reliability with a lack of reliability resources by means of the operating system, dynamically changing the architectural appearance of the system with structural redundancy. Particular attention is paid to the consideration of an abstract resource – reliability, its exceptional role in the design of a multiprocessor with the properties of fault tolerance. The system is reconfigured the task is redistributed among the processors. If there are free processors, the latter are initialized and included in the computational process. The authors proposed and formulated an assessment of the effectiveness of this fault-tolerant technology.Problems in programming 2018; 2-3: 061-067Рассмотрены системные аспекты проектирования гарантоспособных облачных вычислений. Техническая реализация такого вычислительного контента возможна при использовании пространственного отказоустойчивого мультипроцессора реального масштаба времени с варьируемым соотношением производительности и достоверности при дефиците ресурсов надёжности средствами операционной системы, динамически изменяя архитектурный облик системы со структурной избыточностью. Особое внимание уделено рассмотрению абстрактного ресурса – надёжности, его исключительной роли при проектировании мультипроцессора со свойствами отказоустойчивости. Система реконфигурируется, задание перераспределяется между процессорами. При наличии свободных процессоров последние инициализируются и включаются в вычислительный процесс. Авторами предложена и сформулирована оценка эффективности данной отказоустойчивой технологии.Problems in programming 2018; 2-3: 061-067Розглянуті системні аспекти проектування гарантоздатних хмарних обчислень. Технічна реалізація такого обчислювального контенту можлива при використанні просторового відмовостійкого мультипроцесора реального масштабу часу з варійованими співвідношенням продуктивності і достовірності, при дефіциті ресурсів надійності, засобами операційної системи, динамічно змінюючи архітектурний вид системи зі структурним надлишком. Особливу увагу приділено розгляду абстрактного ресурсу – надійності, його виключній ролі при проектуванні мультипроцесора з властивостями відмовостійкості. Система реконфігурується, завдання перерозподіляється між процесорами. При наявності вільних процесорів, останні ініціалізуються та включаються в обчислювальний процес. Авторами запропонована та сформульована оцінка ефективності даної відмово стійкої технології.Problems in programming 2018; 2-3: 061-06
Дослідження та розробка середовища робочої станції: новий клас сучасних інформаційних систем наукових досліджень
No full textAgainst the backdrop of the development of modern technologies in the field of scientific research, the new class of Current Research Information Systems (CRIS) and related intelligent information technologies have arisen. It was called – Research and Development Workstation Environment (RDWE) – the comprehensive problem-oriented information systems for scientific research and development lifecycle support. The given paper describes design and development fundamentals of the RDWE class systems. The general information model of the RDWE class systems is developed. Also the paper represents the information model of the RDWE class system for supporting research in the field of ontology engineering – the automated building of applied ontology in an arbitrary domain area, scientific and technical creativity – the automated preparation of application documents for patenting inventions in Ukraine. It was called – Personal Research Information System. The main results of our work are focused on enhancing the effectiveness of the scientist’s research and development lifecycle in the arbitrary domain area.Problems in programming 2018; 2-3: 255-269На фоне развития современных технологий в сфере научных исследований, возник новый класс средств компьютерных систем и соответствующих интеллектуальных информационных технологий, поддерживающих основные этапы жизненного цикла научных исследований. Этот класс систем получил название – Автоматизированное рабочее место научных исследований (АРМ-НИ) – сложные проблемно-ориентированные информационные системы поддержки полного цикла научных исследований. В работе описаны основы проектирования и разработки систем класса АРМ-НИ, разработана обобщённая информационная модель систем класса АРМ-НИ, а также описана информационная модель разработанной АРМ-НИ системы поддержки научно-технического творчества и исследований в области онтологического инжиниринга. Полученные результаты ориентированы на повышение эффективности полного научно-исследовательского цикла работы научных сотрудников.Problems in programming 2018; 2-3: 255-269На фоні розвитку сучасних технологій в сфері наукових досліджень, виник новий клас засобів комп'ютерних систем і відповідних інтелектуальних інформаційних технологій, що підтримують основні етапи життєвого циклу наукових досліджень. Цей клас систем отримав назву – Автоматизоване робоче місце наукових досліджень (АРМ-НД) – складні проблемно-орієнтовані інформаційні системи підтримки повного циклу наукових досліджень. В роботі наведено основи проектування і розробки систем класу АРМ-НД, розроблено узагальнену інформаційну модель систем класу АРМ-НД, а також наведена інформаційна модель розробленої АРМ-НД системи підтримки науково-технічної творчості та досліджень в області онтологічного інжинірингу. Отримані результати орієнтовані на підвищення ефективності повного науково-дослідного циклу роботи наукових співробітників в довільних предметних галузях.Problems in programming 2018; 2-3: 255-26
Характеристика для вибору моделей у ансамблі класифікаторів
Get PDFThe analysis of researches and approaches of practical application of ensembles is carried out and the characteristic factors of influence on a combination of models are determined. Factors are determinative and inherent in combinations of models. The necessity of using patterns of models that are characteristic only for ensembles is substantiated. The characteristic features of ensembles are established and the necessity of developing specific characteristics of models in terms of a combination of solutions by definition of their characteristic features is determined. These attributes, namely precision and distinction have a decisive influence on the choice and applicability of solutions in ensembles and allow to choose the most effective combination. We propose to use such a characteristic of the models in the ensemble as distinction of a certain rank by precision parameter. These characteristics of the models allow them to be chosen and characterize the model in the ensemble. It applies only in the case of a combination of models and indicates the distinction between one model and another and takes into account the precision of the model. This approach allows you to define models of different nature, to determine the depth of model distinction and allows it to be combined with other well-known characteristics of classifiers. Its peculiarity consists in the fact that it allows to evaluate the use of solutions in the ensemble and to carry out the selection of models.Problems in programming 2018; 2-3: 171-179Проведен анализ исследований и подходов практического применения ансамблей и определены характерные факторы влияния на комбинацию моделей. Факторы несут определяющий характер и присущи комбинациям приложений. Обоснована необходимость использования признаков моделей, которые характерны только для ансамблей. Установлены характерные особенности ансамблей и определена необходимость разработки специфических характеристик приложений в разрезе комбинации решений по определению их характерных признаков. Эти признаки, а именно точность и отличие осуществляют определяющее влияние на выбор и применимость решений в ансамблях и позволяют выбрать наиболее действенную комбинацию. Предложено к использованию такую характеристику решение в ансамбле как различие определенного ранга по параметру точности. Эта характеристики моделей позволяет осуществлять их выбор и характеризует модель в ансамбле. Она применима только в случае комбинации моделей. Указывает на различие одной модели от другой и учитывает точность модели. Применяется для определения моделей различной природы. Позволяет определить глубину различия моделей и позволяет сочетаться и с другими известными характеристиками классификаторов. Особенность ее заключается в том, что она позволяет дать оценку использования решений в ансамбле иосуществлять выбор решений.Problems in programming 2018; 2-3: 171-179Проведено аналіз досліджень та підходів практичного застосування ансамблів та визначено характерні фактори впливу на комбінацію моделей. Фактори несуть визначальний характер та притаманні комбінаціям застосувань. Обґрунтовано необхідність використання ознак моделей, які характерні тільки для ансамблів. Встановлені характерні особливості ансамблів та визначенонеобхідність розробки специфічних характеристик застосувань в розрізі комбінації рішень з визначення їх характерних ознак. Ці ознаки, а саме точність та відмінність здійснюють визначальний вплив на вибір та застосовність рішень в ансамблях і дозволяють вибрати найбільш дієву комбінацію. Запропоновано до використання таку характеристику рішення в ансамблі як відмінність певного рангу за параметром точності. Ця характеристикf моделей дозволяє здійснювати їх вибір та характеризує модель в ансамблі. Вона застосовна тільки у випадку комбінації моделей. Вказує на відмінність однієї моделі від іншої та враховує точність моделі. Застосовується для моделей різної природи. Дозволяє визначити глибину відмінності моделей та дозволяє поєднуватись і з іншими відомими характеристиками класифікаторів. Особливість її полягає в тому, що вона дозволяє дати оцінку використання рішень в ансамблі та здійснювати вибір рішень.Problems in programming 2018; 2-3: 171-17
Відображення реляційної алгебри в дескриптивную логіку
No full textThis paper is dedicated to the data integration problem. In article we discuss the problem of mapping the relational data model to the description logic. With the help of the previously created binary relational data model we created the mappings of the relational algebra to the description logic. We used the ALC description logic and its basic extensions (on which SHIQ, SHION and SHOIQ logic is based) to create mappings. We used previously published results in this work which are the binary relational data model definition, the binary relational data structure definition, the mapping of the ALC logic to the relational data model, the mapping of the basic extensions of the ALC logic to the relational data model and mapping the ALC axiomatic to the relational data model.Problems in programming 2018; 2-3: 214-225Работа посвящена проблеме интеграции данных, а именно отображению реляционной модели данных в дескриптивную логику. С помощью бинарной реляционной модели данных, описание которой было приведено в ранее опубликованных исследованиях, рассматривается механизм создания отображений операций реляционной алгебры в дескриптивную логику. При создании механизмов отображений в работе используется дескриптивная логика ALC и некоторые её расширения. В работе используются ранее опубликованные результаты, а именно: определение и структура бинарной реляционной модели данных, отображения дескриптивной логики ALC, её аксиоматики и расширений в бинарную реляционную модель данных.Problems in programming 2018; 2-3: 214-225Робота присвячена проблемі інтеграції даних, а саме відображенню реляційної моделі даних в дескриптивну логіку. За допомогою бінарної реляційної моделі даних, опис якої було наведено у раніше опублікованих дослідженнях, розглядається механізм створення відображень операцій реляційної алгебри у дескриптивну логіку. Для створення механізмів відображення в роботі використовується дескриптивна логіка ALC та деякі її розширення. У роботі використовуються раніше опубліковані результати, а саме: визначення та структура бінарної реляційної моделі даних, відображення дескриптивної логіки ALC, її аксіоматики та розширень у бінарну реляційну модель даних.Problems in programming 2018; 2-3: 214-225
Використання онтологічних знань інтелектуальними агентами
Get PDFOntological means of knowledge representation in the Web-oriented intelligent information systems are considered. The formal model of ontology that ensures the use of knowledge from various distributed applications that support semantic information processing is proposed. The specifics of this model is a separation into the special group of characteristics of such ontological elements as classes and object and data properties – hierarchical, disjoint and equivalent etc. Use of ontologies into the intelligent applications differs significantly according with their role – internal and external. The properties of internal and external ontologies and their use by intelligent personal software agents whose behavior is modeled through the apparatus of intentional relations (beliefs, knowledge and purpose) are considered. Personal software agents are considered as a subclass of computer agents. Their intelligence level is analyzed as far as their management of distributed knowledge is concerned. Problems in programming 2017; 2: 82-95Рассмотрены онтологические средства представления знаний в интеллектуальных информационных системах, ориентированных на работу в Web. Предложена формальная модель онтологии, обеспечивающая использование знаний из других распределенных приложений, поддерживающих семантическую обработку информации. Специфика этой модели связана с тем, что в ней выделяются такие свойства онтологических элементов, как иерархия, пересечение и эквивалентность. Рассмотрено, как отличается обработка внутренних и внешних онтологий в интеллектуальных информационных системах в соответствии с их ролями. Проанализированы свойства таких онтологий и их использование персональными программными агентами, поведение которых моделируется при помощи аппарата интенсиональных отношений (убеждения, знания и цели). Персональные программные агенты рассматриваются как подкласс компьютерных агентов. Анализируется уровень интеллектуальности таких агентов и их способность управления распределенными знаниями. Problems in programming 2017; 2: 82-95Розглянуто онтологічні засоби представлення знань в інтелектуальних інформаційних системах, орієнтованих на роботу з Web. Запропоновано формальну модель онтології, що забезпечує використання знань з інших розподілених застосувань, які підтримують семантичну обробку інформації. Специфіка цієї моделі пов’язана з тим, що в ній виокремлюються такі властивості онтологічних елементів, як ієрархія, перетин та еквівалентність. Розглянуто, як відрізняється обробка онтологій в інтелектуальних інформаційних системах відповідно до їх ролі – внутрішніх та зовнішніх. Проаналізовано властивості таких онтологій та їх використання персональними програмними агентами, поведінка яких моделюється через апарат інтенсіональних відношень (переконання, знання та цілі). Персональні програмні агенти розглядаються як підклас комп’ютерних агентів. Проаналізовано рівень інтелектуальності таких агентів та їх здатність керування розподіленими знаннями. Problems in programming 2017; 2: 82-95
Метод формування багаторівневих послідовних патернів
No full textThe research is dedicated to the problem of large volumes of results acquired from sequential pattern mining. The new form of sequential patterns is proposed. The requirements for a programmed implementation of the described method are introduced. The results of experiments based on real malware behavior data are demonstrated.Problems in programming 2016; 2-3: 158-163Исследование посвящено проблеме большого объёма результатов, получаемых в процессе секвенциального анализа последовательных данных. Предложена новая разновидность последовательных паттернов – многомерные последовательныепаттерны, описан метод их получения. Выдвинуты функциональные требования к программной реализации предложенного метода. Продемонстрированы результаты экспериментов, проведенных на реальных данных о поведении вредоносных программ.Problems in programming 2016; 2-3: 158-163Дослідження присвячене проблемі великого обсягу результатів, що отримують у процесі секвенційного аналізу послідовних даних. Запропоновано новий різновид послідовних патернов – багатовимірні послідовні патерни, описано метод їх отримання. Висунуто функціональні вимоги до програмної реалізації запропонованого методу. Продемонстровано результати експериментів, проведених на реальних даних про поведінку зловмисних програм.Problems in programming 2016; 2-3: 158-16
Використання методів алгебраїчного програмування для формальної перевірки правових документів
No full textThis article briefly describes the programmable tool for the analysis of a normative legal document. A mechanism for checking legal requirements is presented. The model of the legal document is proposed in the form of a set of special rules. Verification is provided by means of algebraic programming and methods of symbolic transformation. This approach allows us to analyze the legislative base of structural and logical errors, check the contradictions, completeness and integrity of legal acts. Presently, the mechanism of claster analysis of text, which makes it possible to identify the frequency of occurrence of various vague language constructs.Problems in programming 2018; 2-3: 109-114В этой статье кратко описывается программный инструмент для анализа нормативного правового документа. Представлен механизм проверки юридических требований. Модель юридического документа представлена в виде набора специальных правил. Верификация обеспечивается с помощью алгебраического программирования и методов символьного преобразования. Такой подход позволяет нам анализировать законодательную базу на наличие структурно-логических ошибок, проверять противоречия, полноту и целостность правовых актов.Problems in programming 2018; 2-3: 109-114У цій статті коротко описується програмний інструмент для аналізу нормативно-правового документа. Існує механізм перевірки законних вимог. Модель правового документа представлена у вигляді набору спеціальних правил. Верифікація забезпечується за допомогою алгебраїчного програмування та методів символьного програмування. Цей підхід дозволяє проаналізувати законодавчу базу на наявність структурно логічних помилок, перевіряти правові вимоги на протиріччя, повноту та цілісність.Problems in programming 2018; 2-3: 109-114
Спеціалізований комп'ютерний симулятор "SimEnPhysiol"
No full textA specialized software simulator (SSS) is described. SSS simulates the human physiological complex reactions to the appearance of energy shortages (ATP molecules) in cells. SSS is based on mathematical models, representing multilevel physiological mechanisms that provide a long-term balance of energy in each cell of the body. The key to creating the SSS is a binary model that ignores the specialization of the cell and reduces them to two virtual cells differed them only by their energy status – a balanced cell or a cell experiencing energy deficit. Both the autonomous mechanisms (AM) of cells and multicellular local and general physiological mechanisms are modelled. It is assumed that under incapacity of the AM, the cell having an energy deficit activates the multicellular physiological mechanisms to restore the disturbed energy balance. In fact, the help of the mechanisms of the organism to cellular mechanisms is provided through regulators based on negative feedback. The SSS allows one to simulate every dynamic load on the virtual cell and to evaluate the contribution of each of the physiological regulators in counteracting the energy deficit in the virtual cell. The results of test studies are presented. The physiologist-researcher aimed SSS is implemented in the software technology DOT.NET, and is autonomous for use on a PC.Problems in programming 2018; 2-3: 280-287Описан специализированный программный симулятор (СПС) для имитации комплексных реакций физиологических систем человека на возникновение нехватки энергии из-за малой скорости аэробного синтеза молекул АТФ в клетках. СПС базируется на математических моделях, представляющих многоуровневые физиологические механизмы обеспечения долговременного баланса энергии в каждой клетке тела. Ключом к созданию симулятора является бинарная модель, сводящая все клетки тела к одному из двух типов: энергетически сбалансированный или испытывающий дефицит энергии. Моделируются автономные механизмы клеток (АМК), а также многоклеточные локальные и общие физиологические механизмы. Принято, что при недостаточности АМК, клетка с дефицитом энергии активирует многоклеточные физиологические механизмы для восстановления нарушенного энергетического баланса. Фактически, помощь многоклеточных механизмов клеточным оказывается посредством регуляторов, основанных на отрицательной обратной связи. СПС позволяет имитировать любые динамические нагрузки на виртуальную клетку и оценить вклад каждого из физиологических регуляторов в противодействии дефицита энергии в вирутальной клетке. Приведены результаты тестовых исследований. СПС реализован в программной технологии DOT.NET, автономен для использования на ПК и ориентирован на физиолога-исследователя.Problems in programming 2018; 2-3: 280-287Описано спеціалізований програмний симулятор (СПС) для імітації комплексних реакцій фізіологічних систем людини на виникнення браку енергії через малу швидкість аеробного синтезу молекул АТФ в клітинах. СПС базується на математичних моделях, що представляють багаторівневі фізіологічні механізми забезпечення довготривалого балансу енергії в кожній клітині тіла. Ключем до створення симулятора є бінарна модель, що зводить всі клітини тіла до одного з двох типів: або клітина енергетично збалансована, або відчуває дефіцит енергії. Моделюються автономні механізми клітин (АМК), а також багатоклітинні локальні або загальні фізіологічні механізми. Прийнято, що при недостатній потужності АМК, клітина з дефіцитом енергії активує багатоклітинні фізіологічні механізми для відновлення свого порушеного енергетичного балансу. Фактично, допомога багатоклітинних механізмів клітинним виявляється за допомогою регуляторів, що засновані на негативному зворотному зв'язку. СПС дозволяє імітувати будь-які динамічні навантаження на віртуальну клітину і оцінити внесок кожного з фізіологічних регуляторів у протидії дефіциту енергії в вірутальний клітці. Наведено результати тестових досліджень. СПС реалізований за допомогою програмної технології DOT.NET, є автономним для використання на ПК та орієнтований на фізіолога-дослідника.Problems in programming 2018; 2-3: 280-28
Прогнозування імовірності перевищення порогових критичних значень системи
No full textIn this paper we show how regression modelling can be combined with a special kind of data transformation technique that improves model precision and produces several “preliminary” estimates of the target value. These preliminary estimates can be used for interval estimates of the target value as well as for predicting the probability that it has or will exceed arbitrary predefined thresholds. Our approach can be combined with various regression models and applied in many domains that need to estimate the probability of system malfunctions or other hazardous states brought about by system variables exceeding critical safety thresholds. We rigorously derive the formulas for the probability of crossing an upper bound and a lower bound both separately (one-sided intervals) and together (a two-sided interval), and verify the approach experimentally on a real dataset from the electric power industry.Problems in programming 2018; 2-3: 189-196 В этой статье показано, как регрессионное моделирование можно комбинировать со специальным видом преобразования данных, которое улучшает точность модели и дает несколько «предварительных» оценок целевого значения. Эти предварительные оценки могут использоваться для интервальных оценок целевого значения, а также для прогнозирования вероятности того, что оно примет или превысит произвольные предопределенные пороговые значения. Наш подход можно комбинировать с различными регрессионными моделями и применять во многих областях, которые должны оценивать вероятность сбоев системы или других опасных состояний, вызванных системными переменными, превышающими критические пороги безопасности. Мы строго выводим формулы для вероятности пересечения верхней и нижней границы как отдельно (односторонние интервалы), так и вместе (двухсторонний интервал), и проверяем наш подход экспериментально на реальном наборе данных из электроэнергетики.Problems in programming 2018; 2-3: 189-196 У цій статті показано, як регресійне моделювання можна комбінувати зі спеціальним видом перетворення даних, яке покращує точність моделі і дає кілька «попередніх» оцінок цільового значення. Ці попередні оцінки можна використовувати для інтервальних оцінок цільового значення, а також для прогнозування ймовірності того, що воно прийме або перевищить довільні попередньо визначені порогові значення. Наш підхід можна комбінувати з різними регресійними моделями і застосовувати в багатьох областях, які повинні оцінювати вірогідність збоїв системи або інших небезпечних станів, викликаних системними змінними, що перевищують критичні пороги безпеки. Ми строго виводимо формули для ймовірності перетину верхньої та нижньої межі як окремо (односторонні інтервали), так і разом (двосторонній інтервал) і перевіряємо наш підхід експериментально на реальному наборі даних з електроенергетики.Problems in programming 2018; 2-3: 189-19
Теоретичні засади застосування онтологій для семантизації ресурсів Web
Get PDFIn this paper we show the main directions of semantization of the Web information resources and their theoretical bases. We consider the semantization problems associated with the open environment information at the knowledge level. This analysis substantiates the need for the Web semantic search methods and means. Modern principle tendencies in the personified semantic deal with the ontology-based formalization of knowledge about the information needs of users and their current tasks. Our approach is based on use of the semantically marked Wiki-resources as a source of knowledge for constructing of ontologies of individual task. Each task ontology is considered as a small subset of domain ontology with large number of terms volume and high complexity. We develop the formal model of the task ontology as a special case of the formal model of domain ontology and propose methods for constructing of this task ontology on base of the set of semantically marked Wiki pages. The software implementation of the retrieval systems capable to process such task ontologies is analyzed on example of MAIPS – semantic retrieval system which provides personalized satisfaction of user information needs. Such personification is based on knowledge contained into the user task thesauri that are built on base of task ontologies. Problems in programming 2018; 2-3: 197-203В работе проанализированы основные направления семантизации информационных ресурсов Web и теоретические основы, которые могут использоваться для этого. Рассмотрены проблемы, связанные с использованием и анализом информации из открытой среды на уровне знаний. Обоснована потребность в разработке методов и средств семантического поиска в Web и целесообразность использовании онтологий для формализации знаний об информационных потребностях пользователей и их текущих задачах. Рассмотрены современные направления развития семантического поиска и его персонификации. Обоснованная целесообразность использования семантически размеченных Wiki-ресурсов как источника знаний для построения онтологий отдельных задач, которые являются подмножествами больших по объему и сложностью онтологий предметных областей. Разработана формальная модель онтологии задачи, рассматривается ее сопоставление с формальной моделью онтологии предметной области. Предложены методы построения онтологии задачи по множеству семантически размеченных Wiki-страниц. Проанализированы перспективы применения систем семантического поиска, способных использовать такие онтологии. Описана программная реализация предложенного в работе подхода – система семантического поиска МАИПС, которая обеспечивает персонифицированное удовлетворение информационных потребностей пользователей. Такая персонификация базируется на применение знаний, содержащихся в онтологиях задач и построенных по этими онтологиям тезаурусах. Problems in programming 2018; 2-3: 197-203В роботі проаналізовано основні напрямки семантизації інформаційних ресурсів Web та теоретичні засади, що можуть використовуватися для цього. Розглянуто проблеми, пов’язані з використанням та аналізом інформації з відкритого середовища на рівні знань. Обґрунтована потреба в розробці методів та засобів семантичного пошуку в Web та доцільність використанні онтологій для формалізації знань щодо інформаційних потреб користувачів та їх поточних задач. Розглянуто сучасні напрямки розвитку семантичного пошуку та його персоніфікації. Обґрунтована доцільність використання семантично розмічених Wiki-ресурсів як джерела знань для побудови онтологій окремих задач, що є підмножинами більших за обсягом та складністю онтологій предметних областей. Розроблено формальну модель онтології задачі, розглядається її співставлення з формальною моделлю онтології предметної області. Запропоновано методи побудови онтології задачі за множиною семантично розмічених Wiki-сторінок. Проаналізовано перспективи застосування систем семантичного пошуку, здатних використовувати такі онтології. Описано програмну реалізацію запропонованого у роботі підходу – систему семантичного пошуку МАІПС, що забезпечує персоніфіковане задоволення інформаційних потреб користувачів. Така персоніфікація базується на застосування знань з онтологій задач та побудованих за цими онтологіями тезаурусів. Problems in programming 2018; 2-3: 197-20