PROBLEMS IN PROGRAMMING
Not a member yet
761 research outputs found
Sort by
Обробка GPS координат з використанням калманівської фільтрації
Get PDFThis article describes a way to filter the navigation data, allowing to increase the accuracy of determining the location of tracked objects. The sources and formats for obtaining information on the location of modern mobile communication devices are analyzed. The reasons for the error in determining the location obtained from various sources were determined. A method for filtering data to exclude inaccurate coordinates was proposed. This method allowed to increase the accuracy of constructing the track of the object's motion. The adequacy and effectiveness of the presented method are confirmed by the results of the analysis of the experimental data.Problems in programming 2018; 1: 105-112В данной статье рассмотрен способ фильтрации навигационных данных, позволяющий повысить точность определения местоположения отслеживаемых объектов. Проведен анализ источников и форматов геоданных о местонахождении современных мобильных коммуникационных устройств. Выявлены причины погрешности определения месторасположения, получаемых от различных источников, и предложен метод фильтрации данных для исключения сознательно неточных координат, что позволило увеличить точность построения трека движения объекта. Адекватность и эффективность представленного метода подтверждены результатами анализа экспериментальных данных.Problems in programming 2018; 1: 105-112Проведено аналіз джерел і форматів геоданих про місцезнаходження сучасних мобільних комунікаційних пристроїв. Виявлено причини похибки визначення місцерозташування, отримуваних від різних джерел, і запропоновано метод фільтрації даних для виключення завідомо неточних координат, що дозволяє збільшити точність побудови треку руху об’єкта. Адекватність та ефективність представленого методу підтверджені результатами аналізу експериментальних даних.Problems in programming 2018; 1: 105-11
Застосування алгоритму фазової кореляції та його розширення в оптичному стабілізаторі безпілотних літальних апаратів
Get PDFThe use of the phase correlation algorithm as the basis of unmanned aerial vehicles (UAV) Optical Stabilizer on purpose to determine the displacement of the housing relative to the surface is described. Also, the possibility of application of the phase correlation algorithm extensions to increase accuracy and reduce computing costs is considered. The algorithm implementation in bot MATLAB language and C is provided. The computational complexity of the algorithm implementation in C was experimentally analyzed in the scope of embedded systems. The proposed algorithm gives not only an auxiliary possibility to stabilize the aircraft position but also to calculate absolute position of the aircraft in space.Problems in programming 2017; 1: 111-119В статье рассматривается применение алгоритма фазовой корреляции как основы математического аппарата оптического стабилизатора беспилотных летательных аппаратов (БПЛА) для определения смещения корпуса относительно поверхности. Также рассмотрена возможность применения расширенных вариантов алгоритма фазовой корреляции для увеличения точности определения смещения и уменьшения вычислительных затрат. Приведен пример реализации алгоритма на языке MATLAB и результаты экспериментального исследования возможности применения реализации алгоритма на языке C в контексте встраиваемых систем.Problems in programming 2017; 1: 111-119В статті розглядається застосування алгоритму фазової кореляції як основи математичного апарата оптичного стабілізатора безпілотних літальних апаратів (БПЛА) для визначення зміщення корпусу відносно поверхні. Також розглянуто можливість застосування розширених варіантів алгоритму фазової кореляції з метою збільшення точності визначення зміщення та зменшення обчислювальних затрат. Подано код реалізації алгоритму мовою MATLAB та експериментальне дослідження можливості застосування реалізації алгоритму на мові C.Problems in programming 2017; 1: 111-11
Повнота алгебри алгоритмів з даними
No full textThe completeness of the algorithm algebra with data is shown which is intended for coordinated design of control flow and processed data is shown. The feasibility of an implementation of a control-driven and a data-driven algorithm development using both ascending and descending design strategies is also considered.Problems in programming 2016; 4: 03-13Показана полнота алгебры алгоритмов с данными, предназначенной для согласованного проектирования потоков управления и обрабатываемых данных. Рассматривается также реализуемость разработки алгоритмов от управления и от данных с использованием как восходящей, так и нисходящей стратегий проектирования.Problems in programming 2016; 4: 03-13Показана повнота алгебри алгоритмів з даними, яка призначена для погодженого проектування потоків управління та оброблюваних даних. Розглядається також можливість реалізації розробки алгоритмів від управління та від даних із використанням як висхідної, так і низхідної стратегій проектування.Problems in programming 2016; 4: 03-1
Програмна технологія для проведення імітаційних експериментів з математичними моделями фізіологічних систем
Get PDFBased on the given analysis of existing systems the necessity of development of new flexible physiologist-researcher oriented system is shown. The developed system, which allows physiologists to build virtual organisms from the extendable set of blocks, is described.Проводится анализ существующих систем, на основании чего показывается необходимость разработки гибкой системы, ориентированной на физиолога-исследователя. Приводится описание разработанной системы, которая позволяет физиологам строить виртуальные организмы из набора блоков, который постоянно расширяется.Проводиться аналіз існуючих систем, на підставі чого доводиться необхідність розробки гнучкої системи, орієнтованої на фізіолога-дослідника. Наводиться опис розробленої системи, що дозволяє фізіологам будувати віртуальні організми з набору блоків, що постійно розширюється
Побудова стратегій переслідування з використанням функцій Ляпунова
Get PDFThis paper is concerned with differential pursuit-evasion games, in which several agents chase one. The time of capture of a target is used as the criterion. The motion of agents is simple one, the velocities are piecewise-continuous. The function that specifies the maximal time of capture of the target for the well-known strategy of parallel approach is described. This function is used as a Lyapunov function for constructing the new chase strategy, which outperforms the strategy of parallel approach in the following sense. Maximal time of pursuit for the new strategy is not more than maximal time of pursuit for the strategy of parallel approach; at the same time there are many games, for which maximal time of pursuit for the new strategy is less than for the strategy of parallel approach. In case of pursuit-evasion game on a plane we find explicit form of Lyapunov function and calculate velocities of pursuers using the gradient of this function. Numerical examples show that such velocities of pursuers reduce the maximal time of pursuit. In case of pursuit-evasion game in a multidimensional Euclidean space, Lyapunov function is equal to an optimal value of an objective function of appropriate linear programming problem. The velocities of pursuers are calculated with using the gradient of this function.Problems in programming 2017; 3: 194-211Рассматриваются дифференциальные игры преследования, в которых несколько агентов догоняют одного. Критерием является время захвата цели. Для известной стратегии параллельного сближения описана функция, задающая максимальное время преследования. Эта функция используется как функция Ляпунова для построения новой стратегии преследования, которая превосходит стратегию параллельного сближения в следующем смысле. Максимальное время преследования для построенной стратегии не превосходит максимального времени для стратегии параллельного сближения; вместе с тем существует значительное количество игр, в которых максимальное время преследования для новой стратегии оказывается меньшим, чем для стратегии параллельного сближения.Problems in programming 2017; 3: 194-211 Розглядаються диференційні ігри переслідування, в яких кілька агентів доганяють одного. Критерієм виступає час захоплення цілі. Для відомої стратегії паралельного зближення описана функція, що задає максимальний час переслідування. Ця функція використовується як функція Ляпунова для побудови нової стратегії переслідування, що перевершує стратегію паралельного зближення в наступному сенсі. Максимальний час переслідування для побудованої стратегії не перевищує максимального часу для стратегії паралельного зближення; водночас існує значна кількість ігор, в яких максимальний час переслідування для нової стратегії виявляється меншим, ніж для стратегії паралельного зближення. Problems in programming 2017; 3: 194-21
Система моделей предметної області "Метатехнологія програмування"
Get PDFThe spectrum of models of domain "Software Metatechnology" which are used for the construction of the software service-oriented technologies in the semantic web environment is considered. The basic terms and concepts of this domain are defined. The conceptual model of software technology, conceptual and ontological models of a software metatechnology are given.Problems in programming 2018; 2-3: 236-244Рассмотрен спектр моделей предметной области "Метатехнология программирования", которые используются при конструировании сервисно-ориентированных технологий программирования в семантической веб-среде. Определены базовые термины и понятия этой предметной области. Приведены концептуальная модель технологии программирования, концептуальная и онтологическая модели метатехнологии программирования.Problems in programming 2018; 2-3: 236-244Розглянуто спектр моделей предметної області "Метатехнологія програмування", які використовуються при конструюванні сервісно-орієнтованих технологій програмування в семантичному веб-середовищі. Визначені базові терміни і поняття цієї предметної області. Наведено концептуальну модель технології програмування й концептуальну та онтологічну моделі метатехнології програмування.Problems in programming 2018; 2-3: 236-24
Алгебри квазіарних та бі-квазіарних реляцій
Get PDFThe notion of quasiary relation which can be considered generalization of the notion of traditional n-ary relation is proposed. A number of algebras of quasiary relations is built and investigated. Alongside with conventional operations of union, intersection, and complement, special nominative operations of renomi-nation and quantification are defined for quasiary relations. The isomorphism between the algebra of quasiary relations and the first-order algebra of total single-valued quasiary predicates is proved. Al-gebras of bi-quasiary relations defined over sets of pairs of quasiary relations are built. The isomorphism between algebras of bi-quasiary relations and alge-bras of quasiary predicates is proved. The following subclasses of algebras of bi-quasiary relations are specified: alge-bras of partial single-valued (functional), total, total many-valued bi-quasiary relations. For all defined subclasses their counterparts of the classes of algebras of quasiary predicates are described. Also subalgebras of the algebra of bi-quasiary relations induced by upward closedness and downward closedness are investigated.Prombles in programming 2016; 1: 17-28Предложено понятие квазиарной реляции (отношения), введены операции над такими реляциями, описаны ал-гебры квазиарных реляций. Доказан изоморфизм алгебры квазиарных реляций и первопорядковой алгебры тотальных однозначных квазиарных предикатов. Построены алгебры биквазиарных реляций, заданные на множествах пар квазиарных реляций. Определены различные подклассы таких алгебр, иссследованы их связи с алгебрами частичных однозначных, тотальных неоднозначных, частичных неоднозначных, монотонных, антитонных квазиарных предикатов.Prombles in programming 2016; 1: 17-28Запропоновано поняття квазіарної реляції (відношення), введено операції над такими реляціями, описано алгебри квазіарних реляцій. Доведено ізоморфізм алгебри квазіарних реляцій та першопорядкової алгебри тотальних однозначних квазіарних предикатів. Побудовано алгебри бі-квазіарних реляцій, задані на множинах пар квазіарних реляцій. Визначено різні підкласи таких алгебр та досліджено їх зв’язки з алгебрами часткових однозначних, тотальних неоднозначних, часткових неоднозначних, монотонних, антитонних квазіарних предикатів.Prombles in programming 2016; 1: 17-2
Композиційно-номінативні логіки безкванторних рівнів
Get PDFFree-quantifier composition nominative logics of partial quasiary predicates are considered. We specify the following levels of these logics: renominative, renominative with predicates of weak equality, renominative with predicates of strong equality, free-quantifier, free-quantifier with composition of weak equality, free-quantifier with composition of strong equality. The paper is mainly dedicated to investigation ofNlogics of free-quantifier levels with equality. Languages and semantic models of such logics are described, their semantic properties are studied, in particular the properties of relations of logical consequence.Problems in programming 2016; 2-3: 38-47Исследованы бескванторные композиционно-номинативные логики частичных квазиарных предикатов. Выделены такие уровни этих логик: реноминативный, реноминативный с предикатами слабого равенства, реноминативный с предикатами строгого равенства, бескванторно-функциональный, бескванторно-функциональный с композицией слабого равенства, бескванторно-функциональный с композицией строгого равенства. Основное внимание уделено логикам бескванторно-функциональных уровней с равенством. Описаны язики и семантические модели бескванторных логик, исследованы их семантические свойства, в частности, свойства отношений логического следствия для множеств формул.Problems in programming 2016; 2-3: 38-47Досліджено безкванторні композиційно-номінативні логіки часткових квазіарних предикатів. Виділено такі рівні цих логік: реномінативний, реномінативний з предикатами слабкої рівності, реномінативний з предикатами строгої рівності, безкванторно-функціональний, безкванторно-функціональний з композицією слабкої рівності, безкванторно-функціональний з композицією строгої рівності. Основна увага приділена логікам безкванторно-функціональних рівнів з рівністю. Описано мови та семантичні моделі безкванторних логік, досліджено їх семантичні властивості, зокрема, властивості відношень логічного наслідку для множин формул.Problems in programming 2016; 2-3: 38-4
Машинно-навчальні методи розпізнавання іменованих сутностей тексту
Get PDFThe article describes machine learning methods for the named entity recognition. To build named entity classifiers two basic models of machine learning, The Naїve Bayes and Conditional Random Fields, were used. A model for multi-classification of named entities using Error Correcting Output Codes was also researched. The paper describes a method for classifiers' training and the results of test experiments. Conditional Random Fields overcome other models in precision and recall evaluations.Problems in programming 2016; 2-3: 150-157В статье исследуются машинно-обучаемые методы распознавания именованных сущностей текста. Рассмотрены две базовые модели машинного обучения – наивная модель Байеса и модель условных случайных полей, которые были использованы для решения задачи идентификации и анализа именованных сущностей. Также исследована модель, в которой для мульти-классификации именованных сущностей текстов используются корректирующие выходные коды. В работе описаны процесс обучения и результаты экспериментов по тестированию построенных классификаторов. Условные случайные поля превзошли другие модели по оценкам точности и надежности работы метода.Problems in programming 2016; 2-3: 150-157У статті розглянуто машинно-навчальні методи розпізнавання іменованих сутностей тексту. Розглянуто дві базові моделі ма-шинного навчання – наївна модель Байєса та модель умовних випадкових полів, застосовані для вирішення задачі ідентифікації та аналізу іменованих сутностей. Також досліджено модель, в якій для мультикласифікації іменованих сутностей текстів вико-ристовуються корегуючі вихідні коди. В роботі описано процес навчання та результати експериментів з тестування побудова-них класифікаторів. Умовні випадкові поля перевершили інші моделі за оцінками точності та надійності роботи методу.Problems in programming 2016; 2-3: 150-15
Політика інформаційної безпеки в системах інформаційно- аналітичного забезпечення підтримки прийняття організаційних рішень
Get PDFThis article describes an information security policy in systems of support of organizational decisions. It defines the basic requirements for the protection of information objects, information resources and features of functioning Intellectual information technology support organizational decisions are described. The general rules and regulations separation and control access based on ABAC model are developed.Problems in programming 2016; 4: 97-103В статье описано политику безопасности информации в системах поддержки организационных решений. Определены основные требования защиты информационных объектов, приведены особенности функционирования и информационные ресурсы интеллектуальной информационной технологии поддержки принятия организационных решений. Разработаны общие правила и требования разграничения и управления доступа на базе АВАС-модели.Problems in programming 2016; 4: 97-103У статті описано політику безпеки інформації у системах підтримки організаційних рішень. Визначені основні вимоги захисту інформаційних об‘єктів, наведені особливості функціонування та інформаційні ресурси інтелектуальної інформаційної технології підтримки прийняття організаційних рішень. Розроблено загальні правила та вимоги розмежування та керування доступу на базі АВАС -моделі.Problems in programming 2016; 4: 97-10