PROBLEMS IN PROGRAMMING
Not a member yet
761 research outputs found
Sort by
DS-теорія. Дослідження факторів поділу Р-даних з метою генерації алгоритмів. Частина 1
No full textR-data kinds of division are described and factors of their fragments and components placing are considered. For all the variants of R-data division the changes into the canonic algorithm which are necessary for their union are described. From the standpoint of the complexity changes in algorithm vary from primitives in several imperative operators to algorithmic constructions with loops and control constructs. For making the algorithmic constructions there is the mechanism of synthesis offered – bound to the levels of algorithm tree. For purposes of the comparative analysis the schemes of decomposition and applied algorithm there was offered the notion of NAC-conditionality as more fitting that the graph isomorphism. It is shown that description of the variants and factors of R-data division is declarative.Описаны виды деления Р-данных и рассмотрены факторы размещения их фрагментов и компонент. Для всех вариантов деления Р-данных описаны изменения в канонический алгоритм необходимые для их объединения. Изменения в алгоритме в плане сложности – это и примитивы в несколько повелительных операторов, и алгоритмические конструкции с циклами и управлением. Для построения алгорит-мических конструкций предложен механизм синтеза – привязка по уровням дерева алгоритма. Для сравнительного анализа зависимости между схемой декомпозиции и прикладным алгоритмом предложено понятие АКУ-обусловленности как более подходящее, чем изоморфизм графов. Показано, что описание вариантов и факторов деления Р-данных имеет декларативный характер.Описано види поділу Р-даних і розглянуті фактори розміщення їх фрагментів та компонент. Для всіх варіантів поділу Р-даних описані зміни в канонічний алгоритм необхідні для їх об’єднання. Зміни в алгоритмі в плані складності є як примітиви в кілька наказових операторів, так і алгоритмічні конструкції з циклами та управлінням. Для побудови алгоритмічних конструкцій запропоновано механізм синтезу – прив’язка до рівнів дерева алгоритму. Для порівняльного аналізу залежності між схемою декомпозиції і прикладним алгоритмом запропоновано поняття АКУ-обумовленості як більш підходяще, ніж ізоморфізм графів. Показано, що опис варіантів і факторів поділу Р-даних має декларативний характер
Автоматизована генерація паралельних програм для графічних прискорювачів на основі схем алгоритмів
Get PDFThe algebra-algorithmic approach to automated designing and generation of programs for graphics processor units is proposed. The particular feature of our approach consists in using high-level specifications, represented in algebra of algorithms, and applying a method, ensuring the syntactical regularity of algorithms and programs being designed. The approach was implemented in the online toolkit for interactive design of algorithm schemes and generation of programs in target programming languages. The usage of the toolkit is illustrated on development of parallel program for convection-diffusion problem.Предложен алгеброалгоритмический подход к автоматизированному проектированию и генерации программ для графических ускорителей. Особенностью подхода является использование высокоуровневых спецификаций, представленных в алгебре алгоритмов, а также применение метода, обеспечивающего синтаксическую правильность проектируемых алгоритмов и программ. Подход реализован в онлайновом инструментарии, предназначенном для диалогового конструирования схем алгоритмов и генерации программ в целевых языках программирования. Применение инструментария проиллюстрировано на примере разработки параллельной программы для задачи конвективной диффузии.Запропоновано алгеброалгоритмічний підхід до автоматизованого проектування та генерації програм для графічних прискорювачів. Особливість підходу полягає у використанні високорівневих специфікацій, поданих в алгебрі алгоритмів, а також застосуванні методу, який забезпечує синтаксичну правильність алгоритмів та програм, що проектуються. Підхід реалізовано в онлайновому інструментарії, призначеному для діалогового конструювання схем алгоритмів та генерації програм у цільових мовах програмування. Застосування інструментарію проілюстровано на прикладі розробки паралельної програми для задачі конвективної дифузії
Використання дескриптивних логік в проблематиці WEB-сервісів
Get PDFCurrently, Web services allow us to solve specific business problems that implement business processes in various fields of human activity. But in order to get an executable Web service, we have to be able to efficiently solve many Web services’ problems at all stages of their life cycle. Descriptive logics, due to their reasoning mechanisms and capabilities of logical inference and semantic descriptions, are an effective and powerful tool for solving Web services problems. The purpose of this work is to establish a chain of Web services’ tasks at the functional level and define approaches to their solution using the mechanisms of descriptive logics.В настоящее время Web-сервисы поз-воляют решать конкретные бизнес-задачи, реализующие бизнес-процессы в различных областях жизнедеятельности человека. Но для того, чтобы получить исполняемый Web-сервис, надо уметь эффективно решать множество задач самих Web-сервисов на всех этапах их жизненного цикла. Аппарат дескриптивных логик, благодаря своим механизмам суждений и возможностям логического вывода и придания описаниям семантического смысла, является эффективным и мощным инструментом для решения задач Web-сервисов. Цель данной работы состоит в определении цепочки задач Web-сервисов на функУДК 004.94циональном уровне и подходов к их решению с использованием аппарата дескриптивных логик.На сьогодні Web-сервіси дозволяють вирішувати конкретні бізнес-задачі, що реалізують бізнес процеси у різних галузях життєдіяльності людини. Але для того, щоб отримати виконуваний Web-сервіс, треба вміти ефективно вирішувати цілу низьку задач самих Web-сервісів на всіх етапах їх життєвого циклу. Апарат дескриптивних логік, завдяки своїм механізмам міркувань та можливостям логічного виводу та надання описам семантичного змісту, є ефективним та потужним інструментом для вирішення задач Web-сервісів. Мета даної роботи полягає у визначенні ланцюжка задач Web-сервісів на функціональному рівні та підходів до вирішення цих задач із застосуванням апарата дескриптивних логік
Розробка інтегрованої системи періодичних наукових видань на основі OJS
Get PDFThe paper discusses the basic facilities of OJS open sourse system as a platform of management and electronic publishing of scientific journals. This system allows publishers to deploy journal sites focused on the full life cycle of scientific journals with a mi-nimum expenditures and facilitates journal representation in international analytic databases such as such as Scopus.Исследуется проблема моделирования процессов маневрирования агентов, решаемая в рамках задач преследования/убегания на плоскости. Выполняется обзор современного состояния этой проблемы в рамках решения задач навигации на море и обосновывается её новизна для задач мультиагентного преследования/убегания на плоскости. Выполняется уточнение постановки задачи преследования/убегания агентов за счет формализации задачи их маневрирования. Предлагаются методы маневрирования и демонстрируются примеры маневрирования агентов, выполняемые средствами мультиагентной системы «Навигация». УДК 004.05Розглянуті основні можливості та особливості вільно розповсюдженої системи з відкритим програмним кодом OJS як платформу побудови системи керування і електронної публікації наукових журналів. Ця система дозволяє видавцям з мінімальними витратами розгортати потужні та багатофункціональні журнальні Web-сайти, що орієнтовані на повний життєвий цикл наукових журналів, а також значно полегшує їх представлення у міжнародних аналітичних базах даних, наприклад таких, як Scopus
Аналіз семантики природномовних законодавчих документів з використанням онтології предметної області
No full textThe paper analyses the problems deal with the search in legislation documents of information that is interesting to the particular user, and the necessity of intellectualization of the search process by using of linguistic resources and ontological knowledge bases relevant to subject domains.The structure and method of constructing of domain ontology and related with this ontology system of linguistic analysis that provides semantic markup of legislation documents by personified user terminology and the fulfillment of semantic search that supports either enhanced and modified requests to these documents.The relationship between the terms of the ontology and the fragments of natural language text and based on this relationship normalization of the terminology of the subject domain are used.The software implementation of information system that is based on the described in this article models and method and provides semantic search in legislation is describes.В статье анализируются проблемы, возникающие в процессе поиска информации, интересующей пользователя, в законодательных документах, и обосновывается необходимость интеллектуализации такого поиска при помощи использования лингвистических ресурсов и онтологических баз знаний соответствующих предметных областей. Предлагаются структура и метод построения онтологии предметной области и связанной с ней системы лингвистического анализа, обеспечивающие как выполнение семантической разметки законодательных документов персонализированной терминологией пользователя, так и выполнение семантического поиска, предусматривающего выполнение расширенных и модифицированных запросов к ним. При этом используется связь между терминами онтологии и фрагментами естественно-языкового текста и основанная на ней нормализация терминологии предметной области. Описывается программная реализация информационной системы, основанной на описанных в работе моделях и методах и обеспечивающей семантический поиск в законодательных документах.У статті аналізуються проблеми, що виникають у процесі пошуку інформації, що цікавить користувача, у законодавчих документах, і обґрунтовується необхідність інтелектуалізації такого пошуку за допомогою використання лінгвістичних ресурсів і онтологічних баз знань відповідних предметних областей.Пропонуються структура і метод побудови онтології предметної області і зв'язаної з нею системи лінгвістичного аналізу, що забезпечують як виконання семантичної розмітки законодавчих документів, так і виконання семантичного пошуку, що передбачає виконання розширених і модифікованих запитів до них. При цьому використовується зв’язок між термінами онтології і фрагментами природно-мовного тексту і заснована на ній нормалізація термінології предметної області. Описується програмна реалізація інформаційної системи, що ба-зується на описаних у роботі моделях і методах і забезпечує семантичний пошук у законодавчих документах
Програмування симулятора жестів методом статистичного моделювання
Get PDFWell-known R system of statistical mod-eling is applied for creating a simulator of recognition of a fragment of the ges-ture language associated with movements of the fingers of human hand. The effectiveness of the use of statistical modeling system for fast recognition and prediction of gestures is demonstrated with an example of a game problem.Проведено настройку и применение инструментария известной системы R статистического моделирования для создания симулятора распознавания фрагмента языка жестов, связанного с движениями пальцев человеческой руки. Продемонстрирована эффективность использования системы статистического моделирования для быстрого распознавания и прогнозирования жестов на примере одной игровой задачи.Проведено налаштування та застосування інструментарію відомої системи R статистичного моделю-вання для створення симулятора розпізнавання фрагмента мови жестів, пов’язаного з рухами пальців людської руки. Продемонстрована ефективність використання системи статистичного моделювання для швидкого розпізнавання та прогнозування жестів на прикладі однієї ігрової задачі
Віртуалізація моделей технічних об'єктів управління в навчально-наукових задачах проектування систем управління
Get PDFThe problem of using virtualization technology imitation of models of technical control plants (CP) in the development of control programs for controller platforms (PLC) fieldbus of industrial automation. It is proposed a generalized concept of virtual plants automation (VPA). The structural elements of the VPA is virtual hardware automation and virtual simulation model of CP. As a means of drafting VPA in laboratory workshops offered utilized highspeed free software simulator PLC and programming language BASIC for CP. As an extension of the proposed concept is proposed virtualizated distributed control system, with members from several separate VPA and a virtual controller.Рассмотрена проблема использования технологии виртуализации имитационных моделей технических объектов управления (ОУ) при разработке управляющих программ для контроллерных платформ (ПЛК) полевого уровня промышленной автоматизации. Предлагается обобщенная концепция виртуальных объектов автоматизации (ВОА). Структурными элементами ВОА есть виртуальные технические средства автоматизации и виртуальная имитационная модель ОУ. Рассмотрен пример лабораторного практикума с использованием программного симулятора ПЛК и языка программирования BASIC. В качестве расширения предлагаемой концепции предлагается виртуализировать распределенную систему управления, в состав которой будут входить несколько обособленных ВОА и один виртуальный контроллер.Розглянуто проблему використання технології віртуалізації імітаційних моделей технічних об'єктів управління (ОУ) при розробці керуючих програм для контролерних платформ (ПЛК) польового рівня промислової автоматизації. Пропонується узагальнена концепція віртуальних об'єктів автоматизації (ВОА). Структурними елементами ВОА є віртуальні технічні засоби автоматизації та віртуальна імітаційна модель ОУ. Розглянуто приклад лабораторного практикуму із використанням програмного симулятора ПЛК та мови програмування BASIC. Як розширення запропонованої концепції пропонується ві-ртуалізувати розподілену систему управління, до складу якої входитимуть декілька відокремлених ВОА та один віртуальний контролер
Семантична анотація Веб-сервісів
Get PDFThe importance of describing Web services at the processes level and of creating mechanisms for dealing with such descriptions is widely recognized. Defining and client’s understanding semantics of each elements of such process provides possibilities of their adequate selection and application. Usage and formalization of annotations opens the way to automated solutions of such complex Web services task as composition. In this article annotation role is defined. Semantics types submitted in annotations is considered in relation with existing Web-services problems on all their life circle stages. Web-service is considered both in terms of data, and of view of behavior. Main annotating stages are described. It is considered the problem of minimization of annotations as a mechanism to improve the efficiency of solving Web services problems. The place and the role of DL in web services semantization is defined.Важность описания Веб-сервисов на уровне процессов и создания механизмов для работы с такими описаниями широко признана. Определение и понимание клиентом семантик каждого элемента такого процесса обеспечивает возможность их адекватного выбора и применения. Использование и формализация аннота-ций открывает путь к автоматизированному решению такой сложной задачи Веб-сервисов, как композиция. В данной работе определяется роль аннотаций. Типы семантик, представляемых в аннотациях, рассматриваются во взаимосвязи с существующими задачами Веб-сервисов на всех этапах их жизненного цикла. При этом Веб-сервис рассматривается как с точки зрения данных, так и с точки зрения поведения. Описаны основные этапы аннотирования. Рассматривается проблема минимизации аннотаций, как механизм повышения эффективности решения проблем Веб-сервисов. Определяется место и роль дескриптивных логик в семантизации Веб-сервисов.Важливість опису Веб-сервісів на рівні процесів та створення механізмів для роботи з такими описами широко визнана. Визначення та розуміння клієнтом семантик кожного елементу такого процесу забезпечує можливість їх адекватного вибору та застосування. Використання та формалізація семантичних анотацій відкриває шлях до автоматизованого вирішення такої складної задачі Веб-сервісів, як їх композиція. В даній роботі визначається роль анотацій. Типи семантик, що надаються в анотаціях, розглядаються у взаємозв’язку з існуючими задачами Веб-сервісів на всіх етапах їх життєвого циклу. При цьому Веб-сервіс розглядається як з точки зору даних, так і поведінки. Наведені основні етапи анотування. Розглядається проблема мінімізації анотацій, як механізму підвищення ефективності вирішення проблем Веб-сервісів. Визначається місце та роль дескриптивних логік в семантизації Веб-сервісів
Підхід якісного аналізу динамічної системи на основі дерева рішень
Get PDFThe paper presents an approach to qualitative analysis of dynamic systems based on functional differential equations. Thus we get the output decision tree to predict the trajectory forms system. The approach proved to software implementation in the package Java-classes.В работе предложен подход к качественному анализу динамической системы на основе функционально-дифференциальных уравнений. При этом на выходе получаем дерево решений для прогнозирования формы траектории системы. Подход доведен до программной реализации в пакете Java-классов.У роботі запропоновано підхід до якісного аналізу динамічної системи на основі функціонально-диференціальних рівнянь. При цьому на виході отримуємо дерево рішень для прогнозування форми траєкторії системи. Підхід доведено до програмної реалізації у пакеті Java-класів
Однорангова топологія та мультикастинговий алгоритм з гарантованою якістю досвіду
No full textPeer-to-peer applications such as BitTorrent solved a load problem of file distributing, but unfortunately these approaches are not suitable for video streaming due to a realtime data generation nature, heterogeneous behavior of peers and underlying network. The main challenge is to develop a robust topology structure and a fast dissemination algorithm that guarantees QoE (Quailty of Experience) for endusers. This paper presents a simple, but efficient and completely distributed topology constructing and data transmission algorithm that is called Tailcast. It is based on an idea of building tailed tree topology, which guarantees low stretch and reliability of the network. A delay penalty due to a peer churn doesn’t depend on a network size in the peer-to-peer system proposed in this paper and the dissemination algorithm provides fast video data transmission compared to existing solutions. Proposed system implemented using WebRTC protocol stack and could be executed in modern browsers. Achieved results demonstrate robustness and efficiency of the system.Одноранговые приложение такие как BitTorrent решили проблему нагрузок для распространения файлов, но к сожалению эти системы не подходят для трансляции видео в реальном времени из-за природы генерации таких данных, гетерогенным поведением узлов и сетью. Главный вызов это разработка надежной структуры топологии, а также быстрого алгоритма распространения данных, который гарантирует качество опыта для конечных пользователей. В этой статье представлен простой, но эффективный и также абсолютно распределенный алгоритм построения топологии и распространения данных, который называется Tailcast. Он основан на идее построения деревоподобной топологии с хвостами, которая гарантирует маленькую протяженность и надежность сети. Штраф задержки, который возникает при большом количестве отсоединений узлов из сети не зависит от ее размер в одноранговой системе пред-ложенной в данной статье. При этом алгоритм распространения позволяет быстро доставлять данные, если сравнивать его с существующими решениями. Предложенная система реализована с помощью стека протокола WebRTC и может быть выполнена в современных браузерах. Полученные результаты демонстрируют надежность и эффективность системы.Однорангові додатки такі як Bit-Torrent вирішили проблему навантажень для розповсюдження файлів, але нажаль ці системи не підходять для трансляції відео в реальному часі через природу генерування таких даних, гетеро генною поведінкою вузлів та мережею. Головним викликом є розробка надійної структури топології, а також швидкого алгоритмму розповсюдження даних, який гарантує якість досвіду для кінцевих користувачів. В цій статті представлений простий, але ефективний і також абсолютно розподілений алгоритм побудови топології і розповсюдження даних, який називається Tailcast. Він засновується на ідеї побудови деревоподібної топології з хвостами, яка гарантує маленьку протяжність і надійність мережі. Штраф затримки, який виникає при великій кількості від’єднань вузлів із мережі не залежить від його розміру в одноранговій системі запропонованій в даній статті. Водночас алгоритм розповсюдження дозволяє швидко доставляти дані, якщо порівнювати його із існуючими розв’язками. Запропонована система реалізована за допомогою стеку протоколу WebRTC і може бути виконана в сучасних браузерах. Отримані результати демонструють надійність і ефективність системи