PROBLEMS IN PROGRAMMING
Not a member yet
761 research outputs found
Sort by
Інтеграція сімейства розширених дескриптивних логік з реляційною моделлю даних
No full textThe paper is a logical continuation of the previously published work, which was dedicated to the creation of the data manipulation methods. Based on the previously created binary relational data structure we perform mappings of the ALC extension into relational data model (RDM). The results of previous research namely data structure RM2 and mappings of the basic ALC concepts into RDM was used in this paper.Problems in programming 2016; 2-3: 32-37Работа является логическим продолжением ранее опубликованного исследования, посвященного созданию способов манипулирования данными. На основе созданной ранее бинарной реляционной структуры данных, осуществляется отображение расширений дескриптивной логики ALC в реляционную модель данных (RDM). В работе используются полученные ранее результаты исследований, а именно структура данных RM2, отображения базовых концептов логики ALC в RDM.Problems in programming 2016; 2-3: 32-37Робота є логічним продовженням раніше опублікованого дослідження, яке було присвячено створенню засобів маніпулювання даними. За допомогою раніше створеної бінарної реляційної структури даних здійснюється відображення розширень дескриптивної логіки ALC у реляційну модель даних (RDM). В роботі використовуються результати, що були попередньо отримані, а саме – структура даних RM2, відображення базових концептів логіки ALC у RDM.Problems in programming 2016; 2-3: 32-3
Рамкова модель адаптивного композитного сервісу в семантичному Веб-середовищі
Get PDFAn innovative Approach is substantiated for such a Semantic Web Service (ACS) on-line composing that is adaptive – able to change its behaviour to meet new requirements and to fit new (un)foreseen situations – and applicable by third parties for any composing method. Reference Model is presented for ACS being considered as Dynamic Line of changeable Semantic Services for customers in target domain. The Basics for ACS engineering through Dynamic Variability Management over the Line are stated. ACS Diagnostic Variability Model to clarify its on-line adaptation Needs and Strategies is elaborated. The operations are formalized to implement the Strategies – namely, (un)anticipated change of the Component Services set, their interim Compositions’ structure and functions, ACS itself functions – with the isomorphism proposed between the Models of its functions and, respectively, Composite Services.Putting Approach into practice enables effectiveness and efficiency increasing of business processes with the heterogeneous and unstable contexts usage and re-engineering.Problems in programming 2017; 4: 051-065Обоснован новый подход к on-line композиции такого семантического Веб-сервиса как адаптивный семантический сервис (АКС), пригодный к изменению поведения для удовлетворения новых требований и приспособления к новым (не)предусмотренным ситуациям, и применимый третьими сторонами, для произвольного метода композирования. Представлена рамочная модель АКС как динамической линии изменяемых семантических сервисов для потребителей в целевой предметной области. Сформулированы основы построения АКС за счет управления динамической вариабельностью линии. Разработана диагностическая модель вариабельности АКС для выявления потребностей и стратегий его on-line адаптирования. Формализованы операции реализации стратегий – (не)предвиденного изменения состава компонентных сервисов, структуры и функций их промежуточных композиций, функций самого АКС – за счет предложенного изоморфизма между моделями его функций и, соответственно, композитных сервисов.Внедрение подхода способствует повышению эффективности применения и реинжиниринга деловых процессов с разнородными и изменчивыми контекстами.Problems in programming 2017; 4: 051-065Обґрунтовано новий підхід до on-line композиції семантичного Веб-сервісу, який є адаптивним – здатним до змін поведінки для задоволення нових вимог і пристосування до нових (не)передбачених ситуацій – і застосовним третіми сторонами, для довільного методу компонування. Надано рамкову модель цього адаптивного композитного сервісу (АКС) як динамічної лінії змінюваних семантичних сервісів для споживачів у цільовій предметній області. Сформульовано засади побудови АКС за рахунок керування динамічною варіабельністю цієї лінії. Розроблено діагностичну модель варіабельності АКС для виявлення потреб і стратегій його on-line адаптування. Формалізовано операції реалізації стратегій – (не)передбаченого змінення складу атомарних компонентних сервісів, структури й функцій їх проміжних композицій, функцій самого АКС – за рахунок наданого ізоморфізму між моделями його функцій і композитних сервісів. Запровадження підходу сприяє підвищенню ефективності застосування й реінжинірингу ділових процесів з різнорідними та змінними контекстами.Problems in programming 2017; 4: 051-06
Метод побудови паралельних систем нечіткого логічного виведення на основі графічних прискорювачів
Get PDFWe examine a new method for constructing parallel hierarchical systems of fuzzy logic inference using multi-tier parallel form of algorithms based on Nvidia GPU accelerators and CUDA technology. The efficiency of application of hierarchical systems of fuzzy inference for development of diagnostic intelligent system is substantiated. We characterize the organization of efficient computations on graphic accelerators with the aim of achieving maximum degree of parallelism in fuzzy hierarchical systems. In particular, the above organization relies on parallelization of rules inside each block of fuzzy rules. An intelligent software system for assessing the quality of startups based on parallel inference architecture that contains Takagi – Sugeno blocks of fuzzy rules is developed. The experiment is conducted to demonstrate acceleration estimates for developed intellectual system for assessing the quality of startups as well as for more complex systems with randomly generated dependencies between blocks of rules. We compare characteristics of the obtained acceleration estimates with corresponding estimates for hierarchical fuzzy systems based on the distributed computing technology and MPI message exchange. The advantages of developed method for construction of parallel fuzzy inference based on GPU are substantiated. Problems in programming 2017; 4: 003-015Разработан и обоснован метод построения параллельных иерархических систем нечеткого логического вывода с использованием ярусно-параллельной формы алгоритмов на основе графических ускорителей Nvidia и технологии CUDA. Обоснована эффективность применения иерархических систем нечеткого логического вывода для построения диагностических интеллектуальных систем. Рассматриваются способы организации эффективных вычислений на графических ускорителях с целью распараллеливания нечетких иерархических систем. Разработана интеллектуальная система оценивания качества стартапов на основе иерархии блоков нечетких правил Такаги – Сугено. Получены оценки ускорения для разработанной интеллектуальной системы оценивания качества стартапов, а также для нечетких систем, зависимости между блоками правил которых сгенерированы случайным образом. Представлена сравнительная характеристика полученных оценок ускорения и оценок ускорения вариантов нечетких систем на основе технологии MPI. Обоснованы преимущества разработанного метода распараллеливания систем нечеткого логического вывода на основе графических ускорителей.Problems in programming 2017; 4: 003-015Розроблено та обґрунтовано метод побудови паралельних систем нечіткого логічного виведення Такагі – Сугено на основі графічних прискорювачів Nvidia. Розроблено інтелектуальну систему оцінювання якості стартапів на основі ієрархічних систем нечіткого логічного виведення Такагі – Сугено. Встановлено оцінки прискорення систем нечіткого виведення, що побудовані за зазначеним методом, здійснено порівняльну характеристику з варіантами нечітких систем, що реалізовані на базі технології паралельного програмування MPI.Problems in programming 2017; 4: 003-015
Методи організації паралельних обчислень для багаторівневих нечітких систем Такагі – Сугено
Get PDFParallel tiered and dynamic models of the fuzzy inference in expert-diagnostic software systems are considered, which knowledge bases are based on fuzzy rules. Tiered parallel and dynamic fuzzy inference procedures are developed that allow speed up of computations in the software system for evaluating the quality of scientific papers. Evaluations of the effectiveness of parallel tiered and dynamic schemes of computations are constructed with complex dependency graph between blocks of fuzzy Takagi – Sugeno rules. Comparative characteristic of the efficacy of parallel-stacked and dynamic models is carried out.Problems in programming 2016; 2-3: 141-149Рассмотрены ярусно-параллельная и динамическая модели для осуществления нечеткого логического вывода в экспертно-диагностических программных системах, базы знаний которых основываются на нечетких правилах. Разработана ярусно-параллельная и динамическая процедуры нечеткого вывода, которые позволяют ускорить выполнение вычислений в программной системе, предназначенной для оценки качества научных работ. Построены оценки эффективности ярусно-параллельной и динамической схем вычислений при наличии сложных графов зависимостей между блоками нечетких правил Такаги – Сугено. Проведена сравнительная характеристика эффективности ярусно-параллельной и динамической моделей.Problems in programming 2016; 2-3: 141-149Розглянуті ярусно-паралельна та динамічна моделі для здійснення нечіткого логічного виведення в експертно-діагностичних програмних системах, бази знань яких ґрунтуються на нечітких правилах. Розроблена ярусно-паралельна та динамічна процедури нечіткого виведення, які дозволяють прискорити виконання обчислень в програмній системі, що призначена для оцінки якостінаукових робіт. Побудовані оцінки ефективності ярусно-паралельної та динамічної схем обчислень за наявності складних графів залежностей між блоками нечітких правил Такагі – Сугено. Проведено порівняльну характеристику ефективності яруснопаралельної та динамічної моделей.Problems in programming 2016; 2-3: 141-14
Методичні основи оцінювання витрат на розроблення та супровід прикладного програмного забезпечення комп’ютерних систем
Get PDFKeen Methods for Applied Software development and modification Cost estimating with COCOMO, WebMO and D. Cleary models are uniformly enhanced up to state tenders for Software Systems elaboration and maintenance. Generic procedure is proposed for the Methods enhanced cohe-rent use over all the stages of the tenders preparing, performing and control as well as an architecture draft for the tools of its automated support.Problems in programming 2016; 2-3: 264-273Перспективные методы определения затрат на разработку и модификацию прикладного программного обеспечения компьютерных систем по моделям COCOMO, WebMO и Д. Клири унифицированы и развиты согласно особенностям государственных тендеров на создание и сопровождение этих систем. Предложена рамочная процедура согласованного применения развитых методов на всех этапах подготовки, проведения и контроля тендеров и архитектурные решения для инструментальных средств ее автоматизированной поддержки.Problems in programming 2016; 2-3: 264-273Перспективні методи визначення витрат на розроблення й модифікацію прикладного програмного забезпечення комп’ютерних систем за моделями COCOMO, WebMO і Д. Клірі уніфіковано й розвинуто згідно з особливостями державних тендерів на створення і супровід цих систем. Запропоновано рамкову процедуру узгодженого застосування розвинутих методів на всіх етапах підготовки, проведення й контролювання тендерів та архітектурні рішення для інструментальних засобів її комплексної автоматизованої підтримки.Problems in programming 2016; 2-3: 264-27
Розширення системи синтезу програм з метою аналізу великих наборів даних
Get PDFAnalysis of large data sets is a challenging problem in the modern world. This paper presents an extension of the online dialog designer of syntactically correct programs ODSP for programs designing and synthesis for analyzing large data sets based on Apache Hadoop software. The advantage of the proposed approach is the use of a method that ensures the syntactic correctness of algorithms and programs that were designed. Experiments have been carried out and the operation of the system is illustrated by the example of program designing for analyzing a large meteorological data set. This approach is promising for the scientific research conducting, in particular in the field of meteorology.Problems in programming 2018; 2-3: 068-074Анализ больших объемов данных является актуальной проблемой в современном мире. В данной работе представлено расширение онлайнового диалогового конструктора синтаксически правильных программ ОДСП для проектирования и синтеза программ с целью анализа больших наборов данных на базе программного обеспечения Apache Hadoop. Преимуществом используемого в инструментарии подхода является применение метода, который обеспечивает синтаксическую правильность алгоритмов и программ, которые проектируются. Проведены эксперименты и проиллюстрировано работу системы на примере проектирования программ для анализа большого набора метеорологических данных. Данный подход является перспективным для проведения научных исследований, в частности в области метеорологии.Problems in programming 2018; 2-3: 068-074Аналіз великих обсягів даних є актуальною проблемою у сучасному світі. У даній роботі представлено розширення онлайнового діалогового конструктору синтаксично правильних програм ОДСП для проектування та синтезу програм з метою аналізу великих наборів даних на базі програмного забезпеченням Apache Hadoop. Перевагою використовуваного у інструментарії підходу є застосування методу, який забезпечує синтаксичну правильність алгоритмів та програм, що проектуються. Проведено експерименти та проілюстровано роботу системи на прикладі проектування програм для аналізу великого набору метеорологічних даних. Даний підхід є перспективним для виконання наукових досліджень, зокрема в сфері метеорології.Problems in programming 2018; 2-3: 068-07
Класифікація онтологій інженерії програмного забезпечення
No full textSoftware engineering is an own scientific and practice aria with an own structure, terminology, products, pro-cesses and resources. The software product is a knowledge-based product and it is the result of the knowledge-based actions. In this research, categorization of ontologies in software engineering are presented. The known criterion (process, domain, structure) are used for the categorization of ontologies but two criterion (process and domain) was modified. The process criterions is looked in the connection whit time period and the prede-velopment time added to time period. The domain criterions is making whit help of the representation of soft-ware engineering world in the form of domains. The ontologies are involved in representing knowledge of three types of the software engineering domains. In the first, the application domain, the focus is on under-standing the customer needs and what the software product must do. In the second, the implementation do-main, the focus is on understanding how the software product must behave and respond to the customer needs. In the third, the problem domain, the focus is on understanding the software engineering problems, which can be during software life cycle processes of the software product. Our research goal is to develop categorization of the software engineering ontologies on the base of adding known criterion. Ontological representation of software engineering knowledge; categorization; domain analysis; object-oriented programming; ontology-driven utilizing of programming styles. Categorization of the software engineering ontologies. The results of case study, using ontologies by categorization are presented. Had developed categorization of ontologies, it is possible exactly to define types of software engineering ontologies and its places into software processes. This is demonstrating on the examples of the case studies.Problems in programming 2018; 1: 55-64Разработка программного обеспечения это отдельная наукоемкая, инженерная область с собственной структурой, терминологией, процессами и ресурсами. Программный продукт основан на знаниях и является результатом действий, основанных на знаниях. В этом исследовании представлена классификация онтологий инженерии программного обеспечения. Принцип классификации онто-логий основан на представлении инженерии программного обеспечения в виде доменов. Категории классификации – процесс, домен, структура. Онтологии участвуют в представлении знаний трех типов доменов. В первом, прикладном домене, основное внимание уделяется пониманию потребностей клиента и того, что должен выполнять программный продукт. Во втором, домене реализации, основное внимание уделяется пониманию того, как программный продукт должен вести себя и реагировать на потребности клиентов. В третьем, проблемном домене, основное внимание уделяется пониманию собственных проблем инженерии программного обеспечения, которые могут возникать при создании и со-провождении программного продукта. Цель исследования – разработать классификацию онтологий инженерии программного обеспечения для поддержки программных процессов. Методы: онтологическое представление знаний о программном обеспечении; доменный анализ; объектно-ориентированное программирование; онтологическое использование стилей программирования. Результаты: классификация онтологий инженерии программного обеспечения и подходов к разработке программного обеспечения. Представлены результаты двух практических реализаций – средств доменного анализа и проверки стиля программирования с использованием онтологий, показана связь с введенной классификацией. Обсуждение: применение классификации делает применение онтологий в инженерии программного обеспечения простым и понятным, что де-монстрируется на примерах реализации архитектуры инструментариев доменного анализа и средств для правил проверки правил стиля име-нования стандарта языка Java.Problems in programming 2018; 1: 55-64Розробка програмного забезпечення – це окрема науково-практична сфера з власною структурою, термінологією, процесами та ресурсами. Програмний продукт є продуктом, основаним на знаннях, і це результат дій, заснованих на знаннях. В роботі представлено використання онтологій у інженерії програмного забезпечення. Принцип класифікування онтологій засновано на представленні світу інженерії програмного забезпечення у вигляді доменів. Онтології беруть участь у представленні знань трьох типів доменів. В першому, домені застосунків, основна увага приділяється розумінню потреб клієнта та того, що має виконувати програмний продукт. В другому, домені реалізації, основна увага приділяється розумінню того, як програмний продукт повинен вести себе і реагувати на потреби клієнтів. У третьому, проблемному домені, основна увага приділяється розумінню власних проблем розробки програмного забезпечення, які можуть виникнути при створенні та супроводженні програмного продукту. Мета дослідження – розробка класифікації онтологій інженерії програмного забезпечення для підтримки програмних процесів. Методи: онтологічне подання знань з програмного забезпечення; доменний аналіз; об’єктно-орієнтоване програмування; онтологічне використання стилів програмування. Результати: категоризація онтологій інженерії програмного забезпечення. Представлені результати практичних досліджень з використанням онтологій шляхом категоризації. Обговорення: застосування класифікації онтологій інженерії програмного забезпечення забезпечує, прозоре використання онтологій що демонструється на прикладах архітектури інструментаріїв доменного аналізу та засобів для контролю правил іменування стандарту Java.Problems in programming 2018; 1: 55-6
Оптимізація автотьюнінгу програм з використанням нейромереж
Get PDFAuto-tuning of programs is a method of self-tuning of internal parameters of the program, affecting its speed, in order to achieve high performance indicators, but it can take a lot of time for testing. In this paper, we propose to improve the method of auto-tuning of programs using neural network algorithms and statistical simulation. The automatic learning of the program model on the results of the "traditional" tuning cycles with the subsequent replacement of some auto-tuner calls with an evaluation from the approximation model allows to significantly accelerate the search for the optimal program variant. Problems in programming 2017; 2: 40-47Автотьюнинг программ – это метод самонастройка внутренних параметров программы, влияющие на ее быстродействие, с целью достижения высоких показателей производительности, однако он может потребовать много времени на испытания. В работе предложено совершенствование метода автотьюнинга программ с использованием нейросетевых алгоритмов и статистического моделирования. Автоматическое обучение модели программы на результатах "традиционных" циклов тьюнинга с последующей заменой части запусков автотьюнера оценкой из аппроксимационной модели позволяет значительно ускорить поиск оптимального варианта программы.Problems in programming 2017; 2: 40-39Автотьюнінг програм – це метод самоналаштування внутрішніх параметрів програми, що мають вплив на її швидкодію, з метою досягнення найвищих показників продуктивності, проте він може вимагати багато часу на випробування. В роботі запропоновано вдосконалення методу автотьюнінгу програм з використанням нейромережевих алгоритмів та статистичного моделювання. Автоматичне навчання моделі програми на результатах “традиційних” циклів тьюнінгу з подальшою підміною частини запусків автотьюнера оцінкою з апроксимаційної моделі дозволяє значно прискорити пошук оптимального варіантуа програми. Problems in programming 2017; 2: 40-4
Інтеграція дескриптивних логік з операціями над ролями з реляційною моделлю даних
No full textThe paper is a logical continuation of the previously published work, which was dedicated to the creation of mappings from the description logic into binary relational data model. Based on the previously created binary relational data structure we perform mappings of the ALC extension into relational data model (RDM). The results of previous research namely data structure RM2, mappings of the basic ALC concepts and its classical extensions into RDM were used in this paper.Problems in programming 2016; 4: 58-65Работа является логическим продолжением ранее опубликованных исследований, посвященных описанию отображений между дескриптивной логикой и реляционной моделью данных. На основе, созданной ранее, бинарной реляционной структуры данных, осуществляется отображение расширений дескриптивной логики ALC в реляционную модель данных (RDM). В работе используются полученные ранее результаты исследований, а именно структура данных RM2, отображения базовых концептов логики ALC в RDM, отображения классических расширений ALC в RDM.Problems in programming 2016; 4: 58-65Робота є логічним продовженням раніше опублікованих досліджень, які були присвячені опису відображень між дескриптивною логікою та реляційною моделлю даних. За допомогою попередньо створеної бінарної реляційної структури даних здійснюється відображення розширень дескриптивної логіки ALC у реляційну модель даних (RDM). В роботі використовуються результати, що були отримані у минулих дослідженнях, а саме – структура даних RM2, відображення базових концептів логіки ALC у RDM, відображення класичних розширень ALC у RDM.Problems in programming 2016; 4: 58-6
До постановки задачі розпізнавання невідомого оточуючого середовища, наві-гації та планування шляхів агентом в ньому
Get PDFAn analytical review of the main world trends dominating in the framework of solving the problem of recognition of unknown environment, navigation and path planning by agent in it is given. The analysis of the structure of tasks that are the problem components shows that the direction of the proposed researches belongs to the problem of simultaneous mapping and path planning. On the basis of the review, statement of problem for the case of single agent was proposed and a list of methods requiring priority development was determined.Problems in programming 2018; 1: 113-127Приведен аналитический обзор основных тенденций, доминирующих в мире в рамках решения проблемы распознавания неизвестной окружающей среды, навигации и планирования путей агентом в ней. Проанализирована структура задач, являющихся составляющими этой проблемы, и установлено, что направление предлагаемых исследований принадлежит к проблематике одновременного построения карты и планирования пути. На основании обзора выполнена постановка задач исследований для случая одного агента и определен перечень методов, требующих первоочередной разработки.Problems in programming 2018; 1: 113-127Наведено аналітичний огляд основних тенденцій, домінуючих в світі у рамках вирішення проблеми розпізнавання невідомого оточуючого середовища, навігації та планування шляхів агентом у ньому. Проаналізовано структуру задач, які є складовими цієї проблеми, та визначено, що напрям пропонованих досліджень належить до проблематики одночасної побудови мапи та планування шляху. На основі здійсненого огляду виконано постановку задач досліджень для випадку одного агента та визначено перелік методів, що потребують першочергової розробки.Problems in programming 2018; 1: 113-12