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

Перегляд за темою "Теоретичні та методологічні основи програмування"

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

Перегляд за темою "Теоретичні та методологічні основи програмування"

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

  • DS-теория. Исследование факторов деления Р-данных для генерации прикладных алгоритмов. Часть 1 
    Колесник, В.Г. (Проблеми програмування, 2015)
    Описаны виды деления Р-данных и рассмотрены факторы размещения их фрагментов и компонент. Для всех вариантов деления Р-данных описаны изменения в канонический алгоритм необходимые для их объединения. Изменения в алгоритме ...
  • DS-теория. Исследование факторов деления Р-данных для генерации прикладных алгоритмов. Часть 2 
    Колесник, В.Г. (Проблеми програмування, 2015)
    Статья – очередная из цикла работ описывающих теорию схем декомпозиции как теорию прикладных алгоритмов. Схема декомпозиции рассматривается как прототип прикладного алгоритма. Цель статьи – рассмотреть преобразование схемы ...
  • DS-теория. Исследование факторов форматирования Р-данных 
    Колесник, В.Г. (Проблеми програмування, 2016)
    В этой работе продолжается изложение теории схем декомпозиции как теории прикладных алгоритмов. Рассматривается механизм преобразования схемы декомпозиции в реальный прикладной алгоритм, обусловленный разнообразием способов ...
  • DS-теория как прототип теории прикладных алгоритмов 
    Колесник, В.Г. (2012)
    Предложено и описано понятие схемы декомпозиции как ядра DS-теории. Описаны понятия свойства-совокупности и алгоритмической зависимости. Предложено использовать схему декомпозиции, учиты-вая ее алгоритмическую природу, как ...
  • DS-теория. Научные аспекты и перспективы развития 
    Колесник, В.Г. (Проблеми програмування, 2017)
    В работе представлена теория схем декомпозиции как научная теория. Описаны ее атрибуты – парадигма, поле исследований, цель исследований, основная задача, метод решения , основная теоретическая модель – схема декомпозиции. ...
  • DS-теория. Представление канонического алгоритма с помощью алгоритмического языка 
    Колесник, В.Г. (Проблеми програмування, 2015)
    Работа является продолжением описания схемы декомпозиции как теоретической модели, обеспечивающая возможность генерации прикладных алгоритмов. Приведено описание алгоритмического языка, предназначенного продемонстрировать ...
  • Insertion modeling in distributed system design 
    Letichevsky, A.A.; Kapitonova, J.V.; Letichevsky Jr, A.A.; Kotlyarov, V.P.; Nikitchenko, N.S.; Volkov, V.A.; Weigert, T. (2008)
    The paper describes insertion modeling methodology, its implementation and applications. Insertion modeling is a methodology of model driven distributed system design. It is based on the model of interaction of agents and ...
  • Management of the coordination process in socio-technical system 
    Girchenko, L.A.; Doroshenko, А.Yu.; Ziubrytska, Y.V. (Проблеми програмування, 2020)
    The article considers the theoretical principles of management of the coordination process in the socio-technical system; the base of corporate knowledge of the IT company is investigated; the problems of using the company's ...
  • NP-трудность задач оптимизации коллективного преследования 
    Пашко, С.В. (Проблеми програмування, 2014)
    Рассмотрены игры преследования на плоскости с простым движением, в которых принимают участие несколько преследователей и убегающих. Для захвата целей множество преследователей разбивается на группы, причем для каждого ...
  • n- исчисление – реалистичная формализация класса переписывающих систем 
    Шевченко, Р.С.; Дорошенко, А.Е. (2011)
    Предложен новый формализм типизированного η-исчисления в качестве теоретической основы для по-строения специальных классов систем программирования на основе переписывающих правил. Форма-лизм использует упорядоченные ...
  • Ontological models in OTSL 
    Anureev, I.S. (2008)
    OTSL is a language of description of ontological transition systems. Ontological transition systems are formalism for description of semantics of computer systems that combines transition systems with ontological models. ...
  • Simple non-deterministic rewriting in verification 
    Letichevsky, A.; Peschanenko, V. (2010)
    Abstract. We discuss the non-deterministic rewriting in application for engine functions of Verification of Formal Specification (VFS) system in this paper. VFS – are tools to prove properties of systems described as formal ...
  • Toward software artifacts ecosystem 
    Sydorov, N.A. (Проблеми програмування, 2020)
    In the process of developing and maintaining a software product, many things are created and used that are called software artefacts. Software artifacts are created, changed, reused, and change relationships in the development ...
  • Актуальные проблемы современной арифметики с плавающей запятой 
    Ющенко, Р.А. (2012)
    Представлен краткий обзор чисел с плавающей запятой и соответствующей арифметики. Подчеркнуты особенности, которые отличают ее от арифметики действительных чисел и часто являются причиной существенных проблем при численном ...
  • Алгебра алгоритмов с данными и прогнозирование вычислительного процесса 
    Дорошенко, А.Е.; Акуловский, В.Г. (2011)
    Развивается алгебраический аппарат, ориентированный на описание алгоритмов с данными, за счет использования k-значных логических условий и прогнозирования вычислительного процесса
  • Алгебраическое проектирование программ: алгоритмы, объекты, инструменты 
    Дорошенко, А.Е.; Захария, Л.М.; Цейтлин, Г.Е. (2007)
    Освещены современные исследования средств проектирования алгоритмов и программ. Известный тезис Вирта: "алгоритмы + структуры данных = программы" распространен на современные исследования по методологии и технологии ...
  • Алгебраїчне моделювання в системах міжнародної та місцевої обслуговуючої логістики 
    Летичевський, О.О.; Горбатюк, С.О.; Горбатюк, В.О. (Проблеми програмування, 2020)
    Міжнародна та внутрішня обслуговуюча логістика розвиваються неймовірними темпами в сучасному житті, а прогнози розвитку для цієї галузі вкрай оптимістичні. З цих причин ми зіштовхнулись з задачею контролю, оптимізації та ...
  • Алгебра связных графов и проектирование топологии компьютерных сетей 
    Кривой, С.Л. (2006)
    Описывается один из возможных вариантов алгебры регулярных графов и ее приложения к проектированию и иссле- дованию свойств топологии компьютерных сетей, ориентированных на устойчивость компьютерной сети к повреж- дениям.
  • Алгебри загальних недетермінованих предикатів 
    Нікітченко, М.С.; Шкільняк, О.С.; Шкільняк, C.С. (Проблеми програмування, 2018)
    Запропоновано та досліджено логіки загальних недетермінованих квазіарних предикатів – GND-предикатів. Такі предикати є узагальненням часткових неоднозначних предикатів реляційного типу. Основна увага приділена побудові ...
  • Алгебри квазіарних та бі-квазіарних реляцій 
    Нікітченко, М.С.; Шкільняк, С.С. (Проблеми програмування, 2016)
    Запропоновано поняття квазіарної реляції (відношення), введено операції над такими реляціями, описано алгебри квазіарних реляцій. Доведено ізоморфізм алгебри квазіарних реляцій та першопорядкової алгебри тотальних однозначних ...