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

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

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

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

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

  • DS-теория. Исследование факторов форматирования Р-данных 
    Колесник, В.Г. (Проблеми програмування, 2016)
    В этой работе продолжается изложение теории схем декомпозиции как теории прикладных алгоритмов. Рассматривается механизм преобразования схемы декомпозиции в реальный прикладной алгоритм, обусловленный разнообразием способов ...
  • Алгебри квазіарних та бі-квазіарних реляцій 
    Нікітченко, М.С.; Шкільняк, С.С. (Проблеми програмування, 2016)
    Запропоновано поняття квазіарної реляції (відношення), введено операції над такими реляціями, описано алгебри квазіарних реляцій. Доведено ізоморфізм алгебри квазіарних реляцій та першопорядкової алгебри тотальних однозначних ...
  • Аналіз ефективності реалізації арифметичних алгоритмів на мовах програмування C++ та Python 
    Новокшонов, А.К. (Проблеми програмування, 2016)
    У даній роботі представлені результати обчислювального експерименту, метою якого є уточнення реальної швидкодії арифметич-них алгоритмів з використанням арифметики довільної точності при реалізації на мовах програмування ...
  • Відношення логічного наслідку в логіках квазіарних предикатів 
    Шкільняк, О.С. (Проблеми програмування, 2016)
    Вивчаються відношення логічного наслідку в логіках тотальних однозначних, часткових однозначних, тотальних неоднозначних та часткових неоднозначних предикатів. Поряд із розглянутими раніше відношеннями типів T, F, TF, IR, ...
  • Внешние множественные операции табличной алгебры бесконечных таблиц 
    Глушко, И.М. (Проблеми програмування, 2016)
    Рассматривается табличная алгебра бесконечных таблиц. Сигнатура табличной алгебры бесконечных таблиц пополнена внешними множественными операциями. Задано формальную математическую семантику этих операций и приведены примеры ...
  • Интеграция семейства расширенных дескриптивных логик с реляционной моделью данных 
    Резниченко, В.А.; Чистякова, И.С. (Проблеми програмування, 2016)
    Работа является логическим продолжением ранее опубликованного исследования, посвященного созданию способов манипулирования данными. На основе созданной ранее бинарной реляционной структуры данных, осуществляется отображение ...
  • Композиційно-номінативні логіки безкванторних рівнів 
    Шкільняк, С.С.; Волковицький, Д.Б. (Проблеми програмування, 2016)
    Досліджено безкванторні композиційно-номінативні логіки часткових квазіарних предикатів. Виділено такі рівні цих логік: реномінативний, реномінативний з предикатами слабкої рівності, реномінативний з предикатами строгої ...
  • Конструктивно-продукционная модель графового представления текста 
    Шинкаренко, В.И.; Куропятник, Е.С. (Проблеми програмування, 2016)
    В статье рассмотрена графовая модель текста, позволяющая ускорить обработку информации. Данная модель позволяет выявлять одинаковые фрагменты в документах с изменением порядка следования предложений и других частей. ...
  • Метод извлечения логики поведения из промышленного программного кода на языке Кобол 
    Губа, А.А.; Колчин, А.В.; Потиенко, С.В. (Проблеми програмування, 2016)
    Цель работы – разработка комплекса инструментальных средств для автоматизации анализа и упрощения понимания поведения кода программных систем. Предложены методы трансляции, абстракции, отладки и построения тестов для языка ...
  • Объектно-компонентная разработка изменяемых программных систем 
    Лаврищева, Е.М.; Слабоспицкая, О.А.; Стеняшин, А.Ю.; Колесник, А.Л. (Проблеми програмування, 2016)
    Объектно-компонентный метод (ОКМ) моделирования программных систем Лаврищевой – Грищенко развит согласованными моделями вариабельности систем и их вариантной конфигурационной сборки из компонентов, а также алгеброй операций ...
  • О выделении макроопераций из вычислительных процессов сортировки массивов данных 
    Паулин, О.Н.; Комлевая, Н.О.; Марулин, С.Ю. (Проблеми програмування, 2016)
    Розглядаються обчислювальні процеси (ОП) як простих, так і ефективних сортувань. Для наочності ОП представляються схемами алгоритмів. У кожному процесі виділяються макрооперації (МО), які є функціонально закінченими ...
  • Полнота алгебры алгоритмов с данными 
    Акуловский, В.Г.; Дорошенко, А.Е.; Яценко, Е.А. (Проблеми програмування, 2016)
    Показана полнота алгебры алгоритмов с данными, предназначенной для согласованного проектирования потоков управления и обрабатываемых данных. Рассматривается также реализуемость разработки алгоритмов от управления и от ...
  • Синтез многоуровневых структур со многими выходами 
    Опанасенко, В.Н.; Крывый, С.Л. (Проблеми програмування, 2016)
    В работе рассматривается метод решения задачи адаптации логической сети со многими выходами с восстановлением входного множества двоичных векторов при заданных только младших значениях этих векторов и значениях на выходах ...
  • Чисті першопорядкові логіки квазіарних предикатів 
    Нікітченко, М.С.; Шкільняк, О.С.; Шкільняк, С.С. (Проблеми програмування, 2016)
    Досліджено чисті першопорядкові логіки часткових і тотальних, однозначних і неоднозначних квазіарних предикатів. Описано семантичні моделі та мови таких логік, особливу увагу приділено вивченню композиційних предикатних ...

Пошук


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

Перегляд

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