PROBLEMS IN PROGRAMMING
Not a member yet
761 research outputs found
Sort by
Механізми забезпечення варіабельності в сімействах програмних систем
Full text linkThe main steps and problems of variability assurance process in Software Product Line (SPL) have been defined. The general model of internal structure of reusable asset has been offered which helps to distinguish base components of variability mechanisms. The set of internal and external variability mechanisms have been analyzed and it has been proposed the recommendation of their exploitation by assets’ SPL developers.Prombles in programming 2011; 1: 56-65Определено основные шаги и проблемы процесса обеспечения вариабельности семейств программных систем (СПС). Предложено общую модель внутренней структуры готового повторно используемого ресурса (ГОР), с помощью которой выделяются базовые компоненты механизмов вариации. Проанализировано множество внешних и внутренних механизмов вариации и представлены рекомендации их использования разработчиками ГОР СПС.Prombles in programming 2011; 1: 56-65Визначено основні кроки та проблеми процесу забезпечення варіабельності сімейств програмних систем. Запропоновано загальну модель внутрішньої структури готового ресурсу повторного використання, за допомогою якої виділяються базові компоненти механізмів варіації. Проаналізовано множину зовнішніх і внутрішніх механізмів варіації та надано рекомендації щодо їхнього застосування розробниками готових ресурсів повторного використання в сімействах програмних систем.Prombles in programming 2011; 1: 56-6
Методи опрацювання консолідованих даних за допомогою просторів даних
Full text linkProblems which arise up during work with separate sources with depositories information using and databases are analyzed. There are formalized model of dataspace as mean of integration and information analysis from separate sources. It is shown that the algebraic systems of database and datawarehouse class are the subclasses of the dataspace class algebraic system. The features of information integration are certain from heterogeneous sources. The chart of information integration and facilities of data exchange is built.Prombles in programming 2011; 4: 72-84Проаналізовано проблеми опрацювання даних з різнотипних джерел. Побудовано формальну модель простору даних та уведено операції над ним. Показано, що алгебраїчні системи бази даних та сховища даних є підкласами алгебраїчної системи класу «простір даних». Визначено особливості інтеграції даних з різнорідних джерел. Побудовано схему інтеграції даних та засоби обміну даними.Prombles in programming 2011; 4: 72-8
Застосування кваліфікованої інфраструктури відкритих ключів в Україні
No full textThe paper-founded approach to the construction of the National System of digital signatures based on the EU regulatory framework. Describes the business algorithms using digital signature as "anchor" of trust. Analyzed the degree of integration of digital signature based on the regulatory framework of the EU, modern office suites, as basic tools of e-business services.Prombles in programming 2011; 3: 79-86В статье аргументирован подход к построению Национальной системы электронных цифровых подписей на основе нормативной базы Евросоюза. Описаны бизнес-алгоритмы, использующие электронную цифровую подпись как «якорь» доверия. Проанализирован уровень интеграции электронной цифровой подписи, основанной на нормативной базе Евросоюза, в современные офисные пакеты, как базовые инструменты обслуживания электронных бизнесов.Prombles in programming 2011; 3: 79-86Аргументований підхід до побудови Національної системи електронних цифрових підписів на основі норма-тивної бази Євросоюзу. Описано бізнес-алгоритми, які використовують елек-тронний цифровий підпис як «якір» довіри. Проаналізовано рівень інтегра-ції електронного цифрового підпису, заснованого на нормативній базі Євросоюзу, в сучасні офісні пакети, як базові інструменти обслуговування електронних бізнесів.Prombles in programming 2011; 3: 79-8
Визначення оптимального набору методів ітераційного покращення опорного маршруту
Full text linkThe article solves the problem of a traveling salesman for planning a flight of an unmanned aerial vehicle in the conditions of eliminating the consequences of an emergency. An approach is considered that uses a combination of the nearest point method to create a reference solution and a number of methods of local variations of route points to improve the reference solution. The following methods are included in the reference solution improvement scenario: 1. 1PM - moving 1 point, 2. 2PE - exchanging places of 2 points and 3. DC - eliminating intersections of route segments. When improving the reference solution, the best result is obtained by combining several methods. The quality of route improvement depends on the type of route and the scenario (the set and sequence of methods included in the scenario). The results of the analysis of different scenarios of using reference solution improvement methods are summarized in the form of ordinary graphs and heat diagrams. Route maps are constructed for different scenarios of improving the reference solution. The most effective combinations of methods in the scenarios were 1-3, 3-1, 1-1. The worst combinations: 2-2 and complete repetitions of other methods 1-1-1, 2-2-2, 3-3-3. The magnitude of the gain in improving the quality of the route varied in the range from 1 to 28%, in most cases from 6 to 19%. This required from 2 to 24 iterations, in most cases from 20 to 24 iterations. The Euclidean distance, the hazard coefficient and the Euclidean distance with a multiplier in the form of a logistic function of the hazard coefficient were considered as the cost of the route. The method is designed for the limited computational capabilities of conventional business computers. When iteratively refining the solution, the methodological approach allows you to control the computational procedure in real time and complete it either upon reaching the specified accuracy or when time runs out. The model is created in the algorithmic language Matlab.Prombles in programming 2025; 3: 19-28В статті розв’язується задача комівояжера для планування польоту безпілотного літального апарату в умовах усунення наслідків надзвичайної ситуації. Розглянутий підхід використовує комбінацію методу найближчої точки для створення опорного рішення і низки методів локальних варіацій точок маршруту для покращення опорного рішення. В сценарій покращення опорного рішення включені методи: 1. 1PM- переміщення 1 точки, 2. 2PE- обміну місцями 2 точок і 3. DC-усунення перехрещення відрізків марш руту. У разі поліпшення опорного рішення кращий результат дає комбінація декількох методів. Якість покращення маршруту залежить від виду маршруту та від сценарію (набору і послідовності методів, включених у сценарій). Результати аналізу різних сценаріїв використання методів покращення опорного рішення узагальнені у вигляді звичайних графіків і теплових діаграм. Побудовані карти маршрутів для різних сценаріїв покращення опорного рішення. Найбільш результативними комбінаціями методів у складі сценаріїв виявилися 1-3, 3-1, 1-1. Найгірші комбінації: 2-2 та повні повтори інших методів 1-1-1, 2-2-2, 3-3-3. Величина виграшу щодо покращення якості маршруту змінювалась у діапазоні від 1 до 28%, в більшості випадків від 6 до 19%. Це потребувало від 2 до 24 ітерацій, в більшості випадків від 20 до 24 ітерацій. Як вартість маршруту були розглянуті Евклідова відстань, коефіцієнт небезпеки та Евклідова відстань з мультиплікатором у вигляді логістичної функції від коефіцієнту небезпеки. Метод розрахова ний на обмежені обчислювальні можливості звичайних бізнес-комп’ютерів. За умови ітераційного уточ нення рішення методичний підхід дозволяє в реальному масштабі часу контролювати обчислювальну процедуру і завершувати її або по досягненні заданої точності, або у разі вичерпання часу. Модель ство рена алгоритмічною мовою Матлаб.Prombles in programming 2025; 3: 19-2
Програмна модель генетичного оптимізатора ваг штучної нейронної мережі в LabVIEW
Full text linkPrombles in programming 2013; 3: 100-108У даній роботі представлена процедура моделювання та синтезу штучної нейронної мережі із використанням генетичного алгоритму. Як приклад штучної нейронної мережі обрано штучну нейронну мережу, що реалізує логічну функцію «XOR» (виключаюче АЛЕ). Синтез та моделювання виконано із використанням програмного забезпечення LabVIEW. Структура XOR-нейронної мережі – двошаровий персептрон із одним прихованим шаром нейронів, а навчання XOR-нейронної мережі відбувається класичним генетичним алгоритмом з турнірною селекцією.Prombles in programming 2013; 3: 100-10
Верификация программ: состояние, проблемы, экспериментальные результаты. I
Full text linkPrombles in programming 2013; 4: 53-63Представлен углубленный обзор проблем верификации программного обеспечения. Рассмотрены методы верификации реактивных и функциональных систем. Даны основные определения для представления и анализа программ. Приведено краткое описание методов верхней и нижней аппроксимации.Prombles in programming 2013; 4: 53-6
О технике реляционно-объектного преобразования
Full text linkPrombles in programming 2014; 1: 49-54Данная статья посвящена методам отображения прикладных реляционных данных в объектную модель. В ней проводится анализ существующих решений, основанных на методике объектно-реляционного преобразования, а также выделения основных недостатков в использовании данной техники. Предложена техника реляционно-объектного преобразования, главная цель – это достижения высокой производительности и достаточного уровня автоматизации генерируемого кода, при взаимодействии с базой данных. В качестве примера реализации методики реляционно-объектного преобразования описана система кодогенерации C-Gen предложенная автором. Приведена краткая характеристика и основные возможности данной системы.Prombles in programming 2014; 1: 49-5
Автоматизований переклад з української мови на українську жестову мову: алгоритмічна реалізація
Full text linkThe article describes the algorithmic implementation of information technology for translation from Ukrainian into sign language. Infological model of Ukrainian and sign language dictionary, related generalized grammatical constructions for automatic translation were build. Analyzing the set of Ukrainian sentences and corresponding gesture sentences grammatical constructions for translation were built. Grammatical constructions contain parameters of word inflections for sentences. The experimental results to verify the effectiveness of the proposed information technology are given.Prombles in programming 2014; 2-3: 285-294Запропоновано алгоритмічну реалізацію інформаційної технології для перекладу з української мови на жестову мову. Побудовані інфологічні моделі словників української та жестової мов, пов’язані узагальнені граматичні конструкції для забезпечення автоматизованого перекладу. Наведені експериментальні результати для перевірки ефективності запропонованої інформаційної технології.Prombles in programming 2014; 2-3: 285-29
Конструктори множин та мультимножин об’єктів
Full text linkPrombles in programming 2014; 1: 18-30Пропонуються певні операції над об’єктами, що описують деякі сутності, досліджується процес утворення множин та мультимножин об’єктів та пропонуються конструктивні методи їх створення (автоматичної генерації), що дозволяє будувати, класифікувати та порівнювати об’єкти та множини або мультимножини об’єктів, виділяти нові класи об’єктів, генерувати множини та мультимножини об’єктів за певним класом, що дозволяє у певному сенсі практично реалізувати для машини здатність оперувати такими базовими категоріями людського мислення як «множина» та «мультимножина».Prombles in programming 2014; 1: 18-3
Traversal of arbitrary sequences of UCM symbolic transitions for test generation
Full text linkThe paper proposes a method of traversal of high-level multi-threaded models formalized in UCM language. The pros and cons of this approach comparing to the existing ones are considered. The method that allows state space exploring of UCM models using symbolic solving and proving is presented. The generation of symbolic traces used for software system testing is described.Prombles in programming 2014; 2-3: 107-111Запропоновано метод обходу високорівневих багатопотокових моделей, які формалізовані мовою UCM. Розглядаються переваги та недоліки даного підходу у порівнянні з існуючими. Представлений метод дозволяє обходити простір станів моделей UCM, використовуючи символьне розв’язання та доведення. Описана генерація символьних трас, які використовуються для тестування програмних систем. Prombles in programming 2014; 2-3: 107-111