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

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

Репозиторій 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)
    Запропоновано поняття квазіарної реляції (відношення), введено операції над такими реляціями, описано алгебри квазіарних реляцій. Доведено ізоморфізм алгебри квазіарних реляцій та першопорядкової алгебри тотальних однозначних ...

Пошук


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

Перегляд

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