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

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

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

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

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

  • Функциональные возможности и статистика использования Научной электронной библиотеки периодических изданий НАН Украины 
    Андон, Ф.И.; Кудим, К.А.; Матюхина, К.Г.; Новицкий, А.В.; Проскудина, Г.Ю.; Резниченко, В.А. (Проблеми програмування, 2017)
    Дается краткий обзор функциональных возможностей Научной электронной библиотеки периодических изданий НАН Украины, созданной в Институте программных систем НАН Украины при выполнении одного из заданий Программы информатизации ...
  • Функциональные возможности современных систем автоматизации контроля качества обучения. Сравнительный анализ 
    Гайтан, Е.Н. (Проблеми програмування, 2015)
    В статье проведен обзор и сравнительный анализ функциональных возможностей современных систем автоматизации процесса тестирования и обработки его результатов для оперативного контроля знаний, рассмотрены их преимущества и ...
  • Функціональні можливості сучасних систем електронних бібліотек 
    Резніченко, В.А.; Проскудіна, Г.Ю.; Овдій, О.М. (2008)
    У роботі йде мова про функціональні можливості сучасних систем електронних бібліотек. Наведені приклади функціональних можливостей найбільш поширених систем EPrints, DSpace, Fedora, CDSware.
  • Характеристика для вибору моделей у ансамблі класифікаторів 
    Бармак, О.В.; Крак, Ю.В.; Манзюк, Е.А. (Проблеми програмування, 2018)
    Проведено аналіз досліджень та підходів практичного застосування ансамблів та визначено характерні фактори впливу на комбінацію моделей. Фактори несуть визначальний характер та притаманні комбінаціям застосувань. Обґрунтовано ...
  • Характеристика информационных потоков программных модулей входящих в состав програмного средства для автоматизированной поддержки проведения испытаний КСЗИ 
    Боровская, Е.Н.; Колтик, М.А. (Проблеми програмування, 2013)
    В данной работе описывается информация, которая циркулирует в структурно-функциональных модулях программного обеспечения. Выделяются виды информационных потоков, а также, проанализированы уровни информационного взаимодействия ...
  • Цифровий підпис в групових середовищах 
    Іванов, І.Ю. (2008)
    Розглядаються питання генерації і перевірки цифрових підписів в динамічних рівноправних групових середовищах. Пропонується три можливі схеми побудови інфраструктури цифрового підпису, розглядаються їхні основні переваги ...
  • Численные методы решения задач оптимизации преследования 
    Пашко, С.В.; Яловец, А.Л. (Проблеми програмування, 2013)
    Рассмотрены дифференциальные игры преследования на плоскости, в которых для каждого убегающего создается группа преследователей. Сформулированы задачи оптимизации групп преследования. Построены численные методы решения ...
  • Числення контекстних термів для систем переписування 
    Шевченко, P.C. (Проблеми програмування, 2018)
    У статті пропонується числення контекстних термів, що доповнює традиційний апарат алгебраїчних сигнатур, котрі використовуються в системах переписування термів, конструкціями роботи з контекстом: утворення контексту, ...
  • Чисті першопорядкові квазіaрні логіки з предикатами рівності 
    Нікітченко, М.С.; Шкільняк, C.С. (Проблеми програмування, 2017)
    Вивчаються чистi першопорядковi квазіарні логіки однозначних та неоднозначних часткових предикатів. Основна увага приділена таким логікам із спеціальними предикатами рівності. Виділено чистi першопорядковi логіки з предикатами ...
  • Чисті першопорядкові логіки квазіарних предикатів 
    Нікітченко, М.С.; Шкільняк, О.С.; Шкільняк, С.С. (Проблеми програмування, 2016)
    Досліджено чисті першопорядкові логіки часткових і тотальних, однозначних і неоднозначних квазіарних предикатів. Описано семантичні моделі та мови таких логік, особливу увагу приділено вивченню композиційних предикатних ...
  • Что такое Big Data 
    Резниченко, В.А. (Проблеми програмування, 2019)
    В статье делается попытка раскрытия сути понятия Big Data на основе анализа материалов из различных источников. Даются определяющие характеристики Big Data, приводится их классификация, кратко описывается история возникновения ...
  • Что такое алгебраическая алгоритмика? 
    Цейтлин, Г.Е.; Мохница, А.С. (2004)
    Даний огляд присвячено алгебраїчній алгоритміці (АА) - актуальній області комп'ютерної науки, що інтенсивно розвивається. Наведено обґрунтування напряму досліджень з алгебри алгоритміки в межах АА. Окреслено загальну ...
  • Шаблон программного обеспечения устройств связи с объектом авиационных тренажеров 
    Хоменко, В.А.; Сидоров, Е.Н.; Мендзебровский, И.Б. (2008)
    Предлагается шаблон программного обеспечения для построения устройств связи с объектом наследуемых авиационных тренажеров. Приводится практический пример применения шаблона при реинженерии авиационного тренажера.
  • Швидка або якісна розробка? 
    Панченко, Т.В. (Проблеми програмування, 2014)
    Розглянуто технології швидкої розробки програмних систем, проаналізовано їх переваги та недоліки. Акцентовано важливість докладного вивчення і адекватного застосування. Показано, що швидкість розробки може бути не досягнена ...
  • Швидке розроблення застосувань в адаптивній технології SMARTBASE 
    Теленик, С.Ф.; Амонс, О.А.; Хмелюк, В.С.; Крижова, К.О. (2006)
    У роботі розглядаються особливості реалізації застосувань на основі адаптивної технології SmartBase та метод виведення наслідків із множини нечітких правил. Запропоновано матричний метод для встановлення того, чи є певне ...
  • Шифр на основе случайных чисел с неравномерным распределением 
    Михерский, Р.М. (2011)
    Предложен новый принцип построения криптографических систем с применением шифра на основе случайных чисел с неравномерным распределением. Показано, что данный метод шифрования обладает высокой степенью устойчивости к ...
  • Экзистенциальный базис дескриптивных сред 
    Редько, И.В. (2008)
    Создается экзистенциальная платформа дескриптивных сред. На этой основе строятся модели информатико-технологических систем. Проводится прагматико-обусловленная типизация универсума компаундов. Вскрывается компаундная природа ...
  • Экологические аспекты представления знаний средствами алгебры алгоритмики 
    Цейтлин, Г.Е.; Захария, Л.М.; Захария, О.В.; Жовнир, Ю.И. (2010)
    Работа представляет экологические аспекты порождения алгоритмических знаний предметных областей. Средства алгоритмической формализации и синтеза знаний предметных областей представляют собой триаду – абстракции, биологию ...
  • Экономичный интерпретатор для узлов сенсорной сети 
    Рагозин, Д.В. (2006)
    Рассматривается специализированный интерпретатор «Метеор-Форт» для узлов сенсорной сети, предназначенный для использования в узлах серии «Ант-3», разработанной Лабораторией физических основ и технологий беспроводной ...
  • Экспертиза процессов жизненного цикла программных систем: особенности организации и проведения 
    Слабоспицкая, О.А. (2006)
    Работа посвящена адаптации экспертизы альтернатив иерархической структуры для применения в процессе программной инженерии. Охарактеризована позиция экспертизы процессов жизненного цикла (ЖЦ) программных систем (ПС) в ...

Пошук


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

Перегляд

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