Наукова електронна бібліотека
періодичних видань НАН України

Перегляд Проблеми програмування за назвою

Репозиторій DSpace/Manakin

Перегляд Проблеми програмування за назвою

Сортувати за: Порядок: Результатів:

  • Domain engineering approach of software requirements analysis 
    Chebanyuk, O.V.; Palahin, O.V.; Markov, K.K. (Проблеми програмування, 2020)
    Requirement analysis is one of the important processes in software development lifecycle management. In Agile approach requirements software models are the basic of generating other software development artifacts. Improving ...
  • DS-теория. Исследование факторов деления Р-данных для генерации прикладных алгоритмов. Часть 1 
    Колесник, В.Г. (Проблеми програмування, 2015)
    Описаны виды деления Р-данных и рассмотрены факторы размещения их фрагментов и компонент. Для всех вариантов деления Р-данных описаны изменения в канонический алгоритм необходимые для их объединения. Изменения в алгоритме ...
  • DS-теория. Исследование факторов деления Р-данных для генерации прикладных алгоритмов. Часть 2 
    Колесник, В.Г. (Проблеми програмування, 2015)
    Статья – очередная из цикла работ описывающих теорию схем декомпозиции как теорию прикладных алгоритмов. Схема декомпозиции рассматривается как прототип прикладного алгоритма. Цель статьи – рассмотреть преобразование схемы ...
  • DS-теория. Исследование факторов форматирования Р-данных 
    Колесник, В.Г. (Проблеми програмування, 2016)
    В этой работе продолжается изложение теории схем декомпозиции как теории прикладных алгоритмов. Рассматривается механизм преобразования схемы декомпозиции в реальный прикладной алгоритм, обусловленный разнообразием способов ...
  • DS-теория как прототип теории прикладных алгоритмов 
    Колесник, В.Г. (2012)
    Предложено и описано понятие схемы декомпозиции как ядра DS-теории. Описаны понятия свойства-совокупности и алгоритмической зависимости. Предложено использовать схему декомпозиции, учиты-вая ее алгоритмическую природу, как ...
  • DS-теория. Научные аспекты и перспективы развития 
    Колесник, В.Г. (Проблеми програмування, 2017)
    В работе представлена теория схем декомпозиции как научная теория. Описаны ее атрибуты – парадигма, поле исследований, цель исследований, основная задача, метод решения , основная теоретическая модель – схема декомпозиции. ...
  • DS-теория. Представление канонического алгоритма с помощью алгоритмического языка 
    Колесник, В.Г. (Проблеми програмування, 2015)
    Работа является продолжением описания схемы декомпозиции как теоретической модели, обеспечивающая возможность генерации прикладных алгоритмов. Приведено описание алгоритмического языка, предназначенного продемонстрировать ...
  • E-ditorial – віртуалізація роботи редакційної колегії фахового періодичного видання 
    Даревич, Р.Р.; Досин, Д.Г.; Литвин, В.В.; Мриглод, O.І.; Шкутяк, Н.В. (2010)
    Розглядається архітектура віртуальної самокерованої редакційної колегії фахового періодичного видання як системи штучного інтелекту, яка містить методи і засоби автоматичної підготовки до електронного друку поданих статей. ...
  • Efficient increasing of the mutation score during model-based test suite generation 
    Kolchin, A.; Potienko, S.; Weigert, T. (Проблеми програмування, 2020)
    The purpose of the method is to increase the sensitivity of an automatically generated test suite to mutations of a model. Unlike existing methods for generating test scenarios that use the mutational approach to assess ...
  • Extended performance accounting using Valgrind tool 
    Rahozin, D.V.; Doroshenko, A.Yu. (Проблеми програмування, 2021)
    Modern workloads, parallel or sequential, usually suffer from insufficient memory and computing performance. Common trends to improve workload performance include the utilizations of complex functional units or coprocessors, ...
  • Extracting structure from text documents based on machine learning 
    Kudim, K.A.; Proskudina, G.Yu. (Проблеми програмування, 2022)
    This study is devoted to a method that facilitates the task of extracting structure from the text documents using an artificial neural network. The method consists of data preparation, building and training the model and ...
  • Features of building recommendation systems based on neural network technology using multithreading 
    Komleva, N.O.; Zinovatna, S.L.; Liubchenko, V.V.; Komlevoi, O.M. (Проблеми програмування, 2022)
    The article is devoted to the creation of a recommendation system for tourists regarding hotels using a neural network based on a multilayer perceptron. The work uses the mechanism of parallelization of the training sample ...
  • First experience of using INTSPEI P-Modeling Framework in software development projects 
    Pavlov, V.L.; Boyko, N.I.; Babich, A.V. (2007)
    INTSPEI P-Modeling Framework - це набір принципів, методів та інструментів, який має на меті розширення існуючих методологій розробки програмного забезпечення, що дозволяє зробити командну працю розробників більш ефективною ...
  • Formal foundations for software model to model transformation operation 
    Chebanyuk O.V. (Проблеми програмування, 2018)
    Software model transformation operations are central operations in Model-Driven approaches. In order to represent software models, graphical modeling notations, for example UML, are used. Quality of software model, obtained ...
  • Formal semantics and analysis of tokenomics properties 
    Letychevskyi, O.O.; Peschanenko, V.S.; Poltorackiy, M.Yu.; Tarasich, Yu.H.; Vinnyk, M.O. (Проблеми програмування, 2022)
    Today we are witnessing the rapid development of products and services based on blockchain technology. Cryptocurrencies and tokens are becoming an integral part of a person’s daily life. One of the main and, at the same ...
  • Formal specifications and decomposition of logic systems for purposes of analysis, synthesis and diagnostics 
    Bača, J.; Giertl, J.; Chladný, V. (2004)
    The contribution deals with different formal specifications of logic system that are used for solving of analysis, synthesis and diagnostics tasks. Particular attention is given to analysis of applicability of separate ...
  • Friend-or-Foe Recognition Algorithm Development for the Corresponding Software Building 
    Ogurtsov, M.I. (Проблеми програмування, 2022)
    2022 рік показав нагальну необхідність вдосконалення існуючих систем впізнавання об’єктів типу «свій-чужий», що викликає на зростанням кількості технічних засобів (особливо – безпілотних) на полі бою. Таке різке зростання ...
  • A functional analytic method for the analysis of general partial differential equations 
    Sikolya, E. (2006)
    In this paper we give a short overview of operator semigroups. These objects are widely used for proving well-posedness of partial differential equations and for investigating qualitative properties of the solutions.
  • Game theoretic modeling of AIMD network equilibrium 
    Ignatenkо, O.P. (Проблеми програмування, 2016)
    This paper deals with modeling of network’s dynamic using game theory approach. The process of interaction among players (network users), trying to maximize their payoffs (e.g. throughput) could be analyzed using game-based ...
  • GRID-Infrastructure simulation 
    Shelestov, A.Ju.; Kussul, N.N.; Skakun, S.V. (2006)
    In a paper simulation modelling of Grid infrastructure is carried out in order to investigate and analyze its productivity. For this purpose, GridSim modelling package is used. An approach based on the operational analysis ...

Пошук


Розширений пошук

Перегляд

Мій обліковий запис