PROBLEMS IN PROGRAMMING
Not a member yet
761 research outputs found
Sort by
Децентралізовані системи в логістиці: огляд використання та проблеми безпеки
Get PDFThe directions of the application and use of decentralized (distributed) systems are analyzed using the example of blockchain technology in the international logistics. The prospects and key aspects of the further development of decentralized systems and large databases are considered. The basics of the functioning of smart contracts based on Etherium and Solidity language are considered. The main security problems in the integrated supply chain are analyzed, and directions for improving the monitoring of the continuity of product quality control during movement in a multimodal supply chain are identified. Methods are proposed for strengthening security control in decentralized systems in logistics. The methodology of formal algebraic methods is considered in order to analyze and study the properties of transportations in the interaction of agents of a certain logistic environment.Problems in programming 2020; 1: 55-73Проанализировано направления применения и использования децентрализованных (распределенных) систем на примере технологии блокчейн в международной логистике. Рассмотрены перспективы и ключевые аспекты дальнейшего развития децентрализованных систем и больших баз данных. Рассмотрены основы функционирования смарт-контрактов на базе Etherium и языка Solidity. Проанализированы основные проблемы безопасности в целостной цепи поставки, выявлены направления улучшения отслеживания непрерывности контроля качества товара при движении в мультимодальной цепи поставок. Предложены методы усиления контроля за безопасностью в децентрализованных системах в логистике. Рассмотрена методология формальных алгебраических методов для анализа и исследования свойств перевозок при взаимодействии агентов определенной логистической среды.Problems in programming 2020; 1: 55-73Проаналізовано напрямки застосування та використання децентралізованих (розподілених) систем на прикладі технології блокчейн в міжнародній логістиці. Розглянуто перспективи та ключові аспекти подальшого розвитку децентралізованих систем та великих баз даних. Розглянуто основи функціонування смарт-контрактів на базі Etherium та мови Solidity. Проаналізовано основні проблеми безпеки в цілісному ланцюгу постачання, виявлено напрямки покращення відслідковування безперервності контролю якості товару під час руху в мультимодальному ланцюгу постачання. Запропоновано методи посилення контролю за безпекою в децентралізованих системах у логістиці. Розглянуто методологію формальних алгебраїчних методів з метою аналізу та дослідження властивостей перевезень при взаємодії агентів певного логістичного середовища.Problems in programming 2020; 1: 55-7
Про оптимальне керування в системі "хижак-жертва"
Get PDFWe consider the system of Lotka-Volterra differential equations with two control variables and describe an optimal control, which provides a transition to a stationary point in a minimum time. We also found an optimal control for the limit case, on condition that the phase trajectories are located near a stationary point. Optimal trajectories of motion in the phase space are constructed; they look like spirals.Problems in programming 2020; 2-3: 287-294Рассматривается система дифференциальных уравнений Лотки-Вольтерры с двумя переменными управления. Описано оптимальное управление, обеспечивающее переход к стационарной точке за минимальное время. Найдено также оптимальное управление в предельном случае, при условии, что фазовые траектории расположены вблизи стационарной точки. Построены оптимальные траектории движения в фазовом пространстве, имеющие вид спиралей.Problems in programming 2020; 2-3: 287-294Розглядається система диференціальних рівнянь Лотки-Вольтерри з двома змінними керування. Описано оптимальне керування, яке забезпечує перехід до стаціонарної точки за мінімальний час. Знайдено також оптимальне керування в граничному випадку, за умови, що фазові траєкторії лежать поблизу стаціонарної точки. Побудовано оптимальні траєкторії руху у фазовому просторі, що мають вигляд спіралей.Problems in programming 2020; 2-3: 287-29
Досвід використання семантичних технологій для створення інтелектуальних ВЕБ-енциклопедій (на прикладі розробки порталу E-BYE)
Get PDFWe consider the conceptual principles of the Great Ukrainian Encyclopedia development and analyze the main advantages of its portal version – e-VUE. This portal version requires the relevant technological platform with high-level expressiveness and efficiency. Development of e-VUE with complex knowledge structure causes the study of modern Web-technologies and matching their capabilities with the specific requirements of encyclopedia. Therefore we consider in details the project idea and purposes, the specifics of e-VUE information representation (number and volume of articles, content types and sources, relations between content elements and their properties, business processes of article publication, design requirements) and processing (navigation, requests, integration and matching means) to estimate the Wiki-technology feasibility use (namely - opportunities and restrictions of MediaWiki technological platform). Also attention is paid to the means of information security ensuring and semantic-based establishment of content access rights. The results of such analysis show that MediaWiki with semantic plugins can be used as a base for e-VUE portal construction but needs in extension of its functionality based on modern knowledge management tools and formats of their interoperable representation. Now we are oriented on use of ontological analysis and Semantic Web standards (OWL, RDF, SPARQL). In terms of the Semantic Web, e-VUE is a distributed database with heterogeneous types of information objects that can be used both by humans and by external software (e.g. by intelligent agents). The main principles of e-VUE knowledge base organization are grounded on Wiki categories and semantic properties of Semantic MediaWiki that are used for formal representation of the e-VUE typical information objects (TIO). Such approach allows to express TIO relations, properties and characteristics that can be used by logical inference and semantic retrieval to improve the navigation between portal elements and integration of data from various Wiki pages.Problems in programming 2020; 2-3: 246-258Рассмотрена концепция разработки Большой Украинской энциклопедии (БУЭ), проанализированы основные преимущества, которые предоставляет создания ее портальной версии е-БУЭ. Для обоснования выбора технологической платформы для построения такого портала авторы работы подробно рассмотрели идею и цель проекта, специфику представления информации в электронной БУЭ (типы и объем контента, средства его структурирования, отношение между отдельными элементами, бизнес-процессы публикации статей, требования к дизайну) , оценили целесообразность использования Wiki-технологии, а именно – возможности и ограничения использования MediaWiki. Анализ технологических составляющих портальной версии е-БУЭ позволил предложила направления расширения функционала электронной Вуэ на основе применения современных средств управления знаниями и форматов их интероперабельного представления. Также учтено проблемы защиты информации и определения прав доступа к различным элементам контента. Для разработки портальной версии Великой Украинской энциклопедии возникает потребность в применении современных интеллектуальных Web-технологий, которые должны обеспечить возможность представления и анализа сложной системы знаний. Это обусловливает необходимость в исследовании современных Web-технологий и сопоставление их возможностей и выразительности со специфическими требованиями, вытекающими из концепции е-Вуэ. Предлагается разработать расширение таких открытых программных средств с использованием онтологического анализа и стандартов Semantic Web, обосновываются основные направления такого семантического расширения и преимущества, которые предоставляет их использования. С точки зрения концепции Semantic Web э-БУЭ можно рассматривать как распределенную БЗ, которую могут использовать как люди, так и интеллектуальные программы. Нами были выделены типичные информационные объекты, характерные для, определены их характерные признаки и примеры. Эта информация формально представлена в виде Wiki-онтологии е- БУЭ. Основные принципы организации БЗ е-БУЭ, основанная на применении категорий Wiki и семантических свойств Semantic MediaWiki, позволяют отразить отношение и характеристики типовых информационных объектов, которые представлены в электронной БУЭ. Использование этих характеристик обеспечивает выполнение запросов на семантическом уровне, позволяет усовершенствовать навигацию между элементами портала и интегрировать сведения из разных страниц.Problems in programming 2020; 2-3: 246-258 Розглянуто концепцію розробки Великої української енциклопедії (ВУЕ), проаналізовано основні переваги, які надає створення її портальної версії е-ВУЕ. Для обґрунтування вибору технологічної платформи для побудови такого порталу автори роботи детально розглянули ідею та мету проекту, специфіку подання інформації в е-ВУЕ (типи та обсяг контенту, засоби його структурування, відношення між окремими елементами, бізнес-процеси публікації статей, вимоги до дизайну), оцінили доцільність використання Wiki-технології, а саме – можливості та обмеження використання MediaWiki. Аналіз основних технологічних складових портальної версії е-ВУЕ дозволив запропонувала напрямки розширення функціоналу е-ВУЕ на основі застосування сучасних засобів керування знаннями та форматів їх інтероперабельного подання. Також враховано проблеми захисту інформації та визначення прав доступу до різних елементів контенту. Для розробки портальної версії Великої української енциклопедії виникає потреба у застосуванні сучасних інтелектуальних Web-технологій, які мають забезпечити можливість подання та аналізу складної системи знань. Це обумовлює необхідність в дослідженні сучасних Web-технологій та співставлення їх можливостей та виразності зі специфічними вимогами, що випливають з концепції е-ВУЕ. Пропонується розробити розширення таких відкритих програмних засобів з використанням онтологічного аналізу та стандартів Semantic Web, обґрунтовуються основні напрямки такого семантичного розширення та переваги, які надає їх використання. З точки зору концепції Semantic Web е-ВУЕ можна розглядати як розподілену БЗ, яку можуть використовувати як люди, так і інтелектуальні програми. Нами були виділені типові інформаційні об’єкти, характерні для ВУЕ, визначено їх характерні ознаки та приклади. Ця інформація формально представлена у вигляді Wiki-онтології е-ВУЕ. Основні принципи організації БЗ е-ВУЕ, яка базується на застосуванні категорій Wiki та семантичних властивостей Semantic MediaWiki, дозволяють відобразити відношення та характеристики типових інформаційних об’єктів, які представлені в е-ВУЕ. Використання цих характеристик забезпечує виконання пошукових запитів на семантичному рівні, дозволяє вдосконалити навігацію між елементами порталу та інтегрувати відомості з різних сторінок.Problems in programming 2020; 2-3: 246-25
Про вплив особливостей фітнес-функцій на збіжність генетичного алгоритму
No full textThe adaptive capabilities of a parallel version of a multipopulation genetic algorithm are considered depending on the characteristics of certain classes of fitness-functions. Ways are proposed to increase the rate of convergence to the optimal solution based on effective control of algorithm parameters and strategies for the exchange of chromosome-solutions between populations. The results of computer experiments with the optimization of fitness-functions with various ratios of insignificant and significant factors are presented. The dependence of the convergence rate of the algorithm in the presence of a random effect on the values of fitness-functions is studied.Problems in programming 2020; 2-3: 362-367Рассматриваются адаптивные возможности параллельной версии многопопуляционного генетического алгоритма в зависимости от особенностей определенных классов фитнесс-функций. Предлагаются способы повышения скорости сходимости к оптимальному решению на основе эффективного управления параметрами алгоритма и стратегиями обмена хромосомами-решениями между популяциями. Приводятся результаты компьютерных экспериментов при оптимизации фитнесс-функций с различными соотношениями малозначимых и значимых факторов. Исследуется зависимость скорости сходимости алгоритма при наличии случайного воздействия на значения фитнесс-функций.Problems in programming 2020; 2-3: 362-367Розглядаються адаптивні можливості паралельної версії багатопопуляційного генетичного алгоритму в залежності від особливостей певних класів фітнесс-функцій. Пропонуються способи підвищення швидкості знаходження оптимального рішення на основі ефективного керування параметрами алгоритму і стратегіями обміну хромосомами-рішеннями між популяціями. Наводяться результати комп'ютерних експериментів при оптимізації фітнесс-функцій з різними співвідношеннями малозначущих і значущих факторів. Досліджується залежність швидкості роботи алгоритму при наявності випадкового впливу на значення фітнесс-функцій.Problems in programming 2020; 2-3: 362-36
Відношення логічного наслідку в логіках часткових предикатів з композицією предикатного доповнення
Get PDFIn this paper we study software-oriented logics of partial predicates with new special non-monotonic operation (composition) of the predicate complement. We denote these logics by LC and composition of the predicate complement by . Such operations are used in various versions of the Floyd-Hoare program logic with partial pre- and post-conditions. We describe first order composition algebras and LC languages. For LC, a number of logical consequence relations (Pc|=T, Pc|=F, Rc|=T, Rc|=F, Pc|=TF, Rc|=TF, Pс|=IR) and logical consequence relations under the conditions of undefinedness (P|=T^, P|=F^, R|=T^, R|=F^, P|=TF^, R|=TF^) are specified. Properties of the defined relations are investigated, differences and the relationship between them are given. For the introduced relations, we describe the conditions for their guaranteed presence, the decomposition conditions for formulas and the properties of quantifier elimination. The theorem of elimination of the conditions of undefinedness for the relations |=T^ and |=F is proved. Thus, the relations P|=T^, P|=F^, R|=T^ and R|=F^ can be expressed by Pc|=T, Pc|=F, Rc|=T and Rc|=F respectively. However, it is shown that |=IR^ cannot be expressed by Pс|=IR. Moreover, it is impossible to define correctly the decomposition conditions for formulas for Pс|=IR. Properties of decomposition conditions for formulas are different for the relations |=T and |=F, therefore properties of decomposition and equivalent transformations must be specified indirectly through the corresponding properties of |=T and |=F. First order sequent calculi for the introduced logical consequence relations for LC and logical consequence relations under the conditions of undefinedness will be constructed in in the forthcoming articles.Problems in programming 2019; 3: 11-27В работе исследованы программно-ориентированные логики частичных предикатов, названные LC. Характерной их особенностью является наличие новой операции (композиции) предикатного дополнения . Операции такого типа используются в различных вариантах программных логик Флойда-Хоара с частичными перед- и после-условиями. Описаны композиционные алгебры и языки LC. Предложен ряд отношений логического следствия в LC (типов |=T, |=F, |=TF, а также отношение Pс|=IR) и отношений логического следствия в условиях неопределенности (типов |=T^, |=F^, |=TF^). Исследованы свойства этих отношений, установлены соотношения между ними. Для предложенных отношений описаны условия их гарантированного наличия, приведены свойства декомпозиции формул и свойства элиминации кванторов. Для отношений типов |=T и |=F доказана теорема элиминации условий неопределенности. Это позволяет свести отношения P|=T^, P|=F^, R|=T^, R|=F^ к отношениям Pc|=T, Pc|=F, Rc|=T, Rc|=F. В то же время отношение|=IR^ невозможно свести к отношению Pс|=IR. Более того, для Pс|=IR невозможно корректно определить условия декомпозиции формул . Установленные свойства LC свидетельствуют о ее существенном отличии от традиционной логики квазиарных предикатов. Для предложенных отношений логического следствия в LC и отношений логического следствия в условиях неопределенности в последующих работах планируется построение первопорядковых исчислений секвенциального типа.Problems in programming 2019; 3: 11-27Досліджено нові програмно-орієнтовані логіки часткових предикатів з операцією (композицією) предикатного доповнення, такі логіки названо LC. Для першопорядкових LC запропоновано низку відношень логічного наслідку та відношень логічного наслідку за умови невизначеності. Досліджено властивості цих відношень, встановлено співвідношення між ними. Для відношень типів |=T та |=F доведено теорему про елімінацію умов невизначеності. Для запропонованих відношень описано умови їх гарантованої наявності, наведено властивості декомпозиції формул та елімінації кванторів.Problems in programming 2019; 3: 11-2
Програмна система аналізу хмарності за даними супутникових спостережень
No full textThe article presents software system for analyzing cloudiness indicators in Ukraine based on satellite observations. This system was developed using an online dialog designer for automated workflow design based on algebra-algorithmic and ontological tools ODWF. The workflow for the implementation of the task was designed for Apache Oozie and distributed platform Apache Hadoop. In order to support scalability and optimize the processing of large volumes of satellite images, the Apache Spark framework was used to implement image analysis. An experiment was conducted to run the developed workflow on a different number of Apache Spark threads, the results of which demonstrated a good efficiency of calculation parallelization. It is shown that the results obtained during the experiment at a qualitative level are in good agreement with the data of long-term ground-based observations and actual observational data.Problems in programming 2019; 3: 116-126В данной работе с помощью онлайнового диалогового конструктора для автоматизации проектирования рабочих процессов ОКРП был спроектирован рабочий процесс для обработки архива спутниковых снимков с целью анализа показателей облачности на территории Украины. Рабочий процесс для реализации поставленной задачи был разработан для системы Apache Oozie, предназначенной для управления работами распределенной платформы Apache Hadoop. С целью поддержки масштабируемости и оптимизации обработки большого объема спутниковых снимков для реализации анализа изображений был использован фреймворк Apache Spark. Проведен эксперимент по выполнению разработанного рабочего процесса при различном количестве потоков Apache Spark, результаты которого продемонстрировали хороший показатель эффективности распараллеливания вычислений. Показано, что полученные в ходе эксперимента результаты на качественном уровне хорошо согласуются с данными многолетних наземных наблюдений и фактическими данными наблюдений.Problems in programming 2019; 3: 116-126У даній роботі за допомогою онлайнового діалогового конструктору для автоматизації проектування робочих процесів ОКРП було спроектовано робочий процес для обробки архіву супутникових знімків з метою аналізу показників хмарності на території України. Робочий процес для реалізації поставленої задачі було розроблено для системи Apache Oozie, призначеної для управління роботами розподіленої платформи Apache Hadoop. З метою підтримки масштабованості та оптимізації обробки для реалізації аналізу знімків було використано фреймворк Apache Spark. Проведено експерименти, що довели ефективність обраного підходу та відповідність отриманих результатів даним фактичних спостережень.Problems in programming 2019; 3: 116-12
Побудова автоматизованої системи моніторингу стану елементів конструкцій методом MDP-планування
Get PDFPrombles in programming 2014; 4: 94-99З метою побудови автоматизованої системи моніторингу стану елементів конструкцій запропоновано використовувати методи MDP-планування. Проведено моделювання процесу побудови траєкторії переміщень агента на симуляційній моделі запропонованим методом.Prombles in programming 2014; 4: 94-9
Построение модели угроз и нарушителей информации для объекта испытаний с использованием онтологии проведения испытаний КСЗИ
Get PDFPrombles in programming 2014; 4: 48-58В данной статье проводится системно-онтологический анализ процесса построения модели угроз и нарушителей информации объекта испытаний. Рассматривается особенности построения модели угроз и нарушителей информации с использованием онтологии проведения испытаний КСЗИ. Проводится описание фрагментов онтологических графов определенных модулей онтологии используемых при построении модели угроз и нарушителей информации для объекта испытаний. Проводится анализ особенностей извлечения специализированных знаний для рассматриваемых онтологических модулей.Prombles in programming 2014; 4: 48-5
Ефективний емпіричний метод дедублікації на файловому рівні
Get PDFВдосконалено метод пошуку дублікатів контенту у файловій системі на основі емпіричного правила доцільності хешування. Правило створено на основі побудови математичних сподівань тривалості процедур хешування і попарного порівняння файлів. Проведено експериментальні дослідження методу.Prombles in programming 2014; 4: 26-3
Модифікація метамови нормальних форм знань
No full textThe set of the relations of normal forms of knowledge (alternative, concatenation, negation and iteration) is expanded by the two new relations: commitment relation – non-zero number of repetitions of some structure, non-commitment relation of some structure and structure brackets. The introduction of new relations is implemented by describing their structures with the basic relations of the meta-language of normal forms of knowledge. The text and graphical descriptions of the meta-language of normal forms of knowledge are presented, extended by the stylistic relations of the information structure descriptions. The examples of graphical variants of representing the structures of new relations between terms, which are used to self-describe the modified meta-language of normal forms of knowledge are presented with the minimally required comments. Problems in programming 2019; 3: 03-10Набор базовых отношений метаязыка нормальных форм знаний (альтернатива, конкатенация, отрицание и итерация) расширен двумя новыми отношениями: обязательности (не нулевым числом повторений), необязательности некоторой структуры и структурными скобками. Введение новых отношений выполнено описанием их структур в базовых отношениях метаязыка нормальных форм знаний. Даны текстовая и графическая формы самоописания модифицированного метаязыка нормальных форм знаний, расширенного стилистическими отношениями описания информационных структур. Приведены примеры графических вариантов представления структур новых отношений терминов, использованных в самоописании модифицированного метаязыка нормальных форм знаний. Problems in programming 2019; 3: 03-10Набір базових відношень метамови нормальних форм знань (альтернатива, конкатенація, заперечення й ітерація) розширено двома новими відношеннями: обов'язковості (не нульовим числом повторень), необов'язковості деякої структури й структурними дужками. Уведення нових відношень виконано описом їхніх структур у базових відношеннях метамови нормальних форм знань. Дано текстову й графічну форми самоопису модифікованої метамови нормальних форм знань, розширеної стилістичними відношеннями опису інформаційних структур. Наведено з мінімально необхідними коментарями приклади графічних варіантів подання структур нових відношень термінів, використаних у самоопису модифікованої метамови нормальних форм знань. Problems in programming 2019; 3: 03-1