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

Перегляд Проблеми програмування, 2016, № 2-3 за датою випуску

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

Перегляд Проблеми програмування, 2016, № 2-3 за датою випуску

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

  • Внешние множественные операции табличной алгебры бесконечных таблиц 
    Глушко, И.М. (Проблеми програмування, 2016)
    Рассматривается табличная алгебра бесконечных таблиц. Сигнатура табличной алгебры бесконечных таблиц пополнена внешними множественными операциями. Задано формальную математическую семантику этих операций и приведены примеры ...
  • Метод извлечения логики поведения из промышленного программного кода на языке Кобол 
    Губа, А.А.; Колчин, А.В.; Потиенко, С.В. (Проблеми програмування, 2016)
    Цель работы – разработка комплекса инструментальных средств для автоматизации анализа и упрощения понимания поведения кода программных систем. Предложены методы трансляции, абстракции, отладки и построения тестов для языка ...
  • Аналіз ефективності реалізації арифметичних алгоритмів на мовах програмування C++ та Python 
    Новокшонов, А.К. (Проблеми програмування, 2016)
    У даній роботі представлені результати обчислювального експерименту, метою якого є уточнення реальної швидкодії арифметич-них алгоритмів з використанням арифметики довільної точності при реалізації на мовах програмування ...
  • Синтез многоуровневых структур со многими выходами 
    Опанасенко, В.Н.; Крывый, С.Л. (Проблеми програмування, 2016)
    В работе рассматривается метод решения задачи адаптации логической сети со многими выходами с восстановлением входного множества двоичных векторов при заданных только младших значениях этих векторов и значениях на выходах ...
  • Интеграция семейства расширенных дескриптивных логик с реляционной моделью данных 
    Резниченко, В.А.; Чистякова, И.С. (Проблеми програмування, 2016)
    Работа является логическим продолжением ранее опубликованного исследования, посвященного созданию способов манипулирования данными. На основе созданной ранее бинарной реляционной структуры данных, осуществляется отображение ...
  • Композиційно-номінативні логіки безкванторних рівнів 
    Шкільняк, С.С.; Волковицький, Д.Б. (Проблеми програмування, 2016)
    Досліджено безкванторні композиційно-номінативні логіки часткових квазіарних предикатів. Виділено такі рівні цих логік: реномінативний, реномінативний з предикатами слабкої рівності, реномінативний з предикатами строгої ...
  • Конструктивно-продукционная модель графового представления текста 
    Шинкаренко, В.И.; Куропятник, Е.С. (Проблеми програмування, 2016)
    В статье рассмотрена графовая модель текста, позволяющая ускорить обработку информации. Данная модель позволяет выявлять одинаковые фрагменты в документах с изменением порядка следования предложений и других частей. ...
  • Чисті першопорядкові логіки квазіарних предикатів 
    Нікітченко, М.С.; Шкільняк, О.С.; Шкільняк, С.С. (Проблеми програмування, 2016)
    Досліджено чисті першопорядкові логіки часткових і тотальних, однозначних і неоднозначних квазіарних предикатів. Описано семантичні моделі та мови таких логік, особливу увагу приділено вивченню композиційних предикатних ...
  • О выделении макроопераций из вычислительных процессов сортировки массивов данных 
    Паулин, О.Н.; Комлевая, Н.О.; Марулин, С.Ю. (Проблеми програмування, 2016)
    Розглядаються обчислювальні процеси (ОП) як простих, так і ефективних сортувань. Для наочності ОП представляються схемами алгоритмів. У кожному процесі виділяються макрооперації (МО), які є функціонально закінченими ...
  • Автоматизована розробка паралельної розподіленої системи обробки потокових даних 
    Тітов, Д.С.; Дорошенко, А.Ю.; Яценко, О.А. (Проблеми програмування, 2016)
    Виконана автоматизована розробка паралельної розподіленої динамічно масштабованої відмовостійкої системи для обробки потокових даних великого обсягу. Система розроблена на основі платформи для розподілених обчислень Hazelcast ...
  • Створення і дослідження паралельних схем алгоритму Джонсона в технології GPGPU 
    Погорілий, С.Д.; Слинько, М.С. (Проблеми програмування, 2016)
    Запропоновано застосування алгоритму Джонсона для знаходження найкоротших шляхів між усіма парами вершин зваженого орієнтованого графа. Виконано його формалізацію у термінах модифікованих систем алгоритмічних алгебр Глушкова. ...
  • Peterson’s Algorithm total correctness proof in IPCL 
    Zhygallo, A.A. (Проблеми програмування, 2016)
    Доведено тотальну коректність алгоритму Пітерсона. За програмою зафіксовано стани та переходи транзиційної системи. Середо-вище виконання – паралельне з почерговим переключенням зі спільною пам’яттю. Сформульовано інваріант. ...
  • Доведення властивості коректної роботи банківської системи виплати грошових переказів 
    Остаповська, Ю.А.; Панченко, Т.В.; Поліщук, Н.В.; Картавов, М.О. (Проблеми програмування, 2016)
    Застосовано метод доведення властивостей паралельних програм, що виконуються багатоекземплярно в режимі почергового покрокового переключення і взаємодіють через спільну пам’ять, для доведення властивості коректності ...
  • Перетворення успадкованого коду на Fortran до масштабованого паралелізму і хмарних обчислень 
    Дорошенко, А.Ю.; Хаврюченко, В.Д.; Туліка, Є.M.; Жереб, К.А. (Проблеми програмування, 2016)
    Запропоновано підхід до автоматичного перетворення успадкованого коду на мові Fortran для виконання на платформах для хмарних обчислень. Запропоновано архітектуру системи із використанням хореографії веб-сервісів, яка ...
  • Методи організації паралельних обчислень для багаторівневих нечітких систем Такагі – Сугено 
    Єршов, С.В.; Пономаренко, Р.М. (Проблеми програмування, 2016)
    Розглянуті ярусно-паралельна та динамічна моделі для здійснення нечіткого логічного виведення в експертно-діагностичних програмних системах, бази знань яких ґрунтуються на нечітких правилах. Розроблена ярусно-паралельна ...
  • Машинно-навчальні методи розпізнавання іменованих сутностей тексту 
    Марченко, О.О. (Проблеми програмування, 2016)
    У статті розглянуто машинно-навчальні методи розпізнавання іменованих сутностей тексту. Розглянуто дві базові моделі машинного навчання – наївна модель Байєса та модель умовних випадкових полів, застосовані для вирішення ...
  • Метод формирования многоуровневых последовательных паттернов 
    Молдавская, А.В. (Проблеми програмування, 2016)
    Исследование посвящено проблеме большого объёма результатов, получаемых в процессе секвенциального анализа последовательных данных. Предложена новая разновидность последовательных паттернов – многомерные последовательные ...
  • Application of deep learning and computer vision frameworks for solving video context prediction problem 
    Voloshyn, D. (Проблеми програмування, 2016)
    У роботі описано програмний продукт для вирішення задачі прогнозування змісту відеопотоку. Архітектура розробки використовує інфраструктуру програмних рішень TensorFlow для глибинного навчання разом з бібліотекою комп’ютерного ...
  • Нечіткі ймовірності та нечіткі події 
    Провотар, О.І.; Василенко, О.В.; Провотар, О.О. (Проблеми програмування, 2016)
    В статті розглядаються різні підходи до обчислення ймовірностей нечітких подій. Розглядаються задачі в нечітких постановках, для розв’язання яких використовуються запропоновані підходи до обчислення нечітких ймовірностей.
  • Технологія моделювання на основі нечітких об’єктно-орієнтованих байєсівських мереж довіри 
    Єршов, С.В.; Костукевич, Ф.В. (Проблеми програмування, 2016)
    Представлені основні компоненти інформаційної технології індуктивного моделювання причинно-наслідкових зв’язків в умовах невизначеності на основі нечітких об’єктно-орієнтованих байєсівських мереж довіри. Технологія побудована ...

Пошук


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

Перегляд

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