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

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

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

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

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

  • DS-теория как прототип теории прикладных алгоритмов 
    Колесник, В.Г. (2012)
    Предложено и описано понятие схемы декомпозиции как ядра DS-теории. Описаны понятия свойства-совокупности и алгоритмической зависимости. Предложено использовать схему декомпозиции, учиты-вая ее алгоритмическую природу, как ...
  • Актуальные проблемы современной арифметики с плавающей запятой 
    Ющенко, Р.А. (2012)
    Представлен краткий обзор чисел с плавающей запятой и соответствующей арифметики. Подчеркнуты особенности, которые отличают ее от арифметики действительных чисел и часто являются причиной существенных проблем при численном ...
  • Аналіз систем нечіткої логіки для апроксимації нечітких функцій 
    Щегельський, Т.С.; Провотар, О.О.; Провотар, О.І. (Проблеми програмування, 2012)
    Розглядаються три моделі нечіткого логічного виведення: нечіткий шаблон, нечіткі нейронні мережі ANFIS і NEFPROX. Показано, що мережа ANFIS дає якісний результат апроксимації, але вимагає навчання великої кількості параметрів ...
  • Аспекты моделирования в системе Гомеопат 
    Провотар, А.А.; Провотар, О.А. (Проблеми програмування, 2012)
    Рассматриваются вопросы построения нечетких моделей процессов диагностирования в системе Гомеопат и процедур нечеткого логического вывода.
  • Ациклічність та замкненість макрокомпозицій 
    Вінник, В.Ю.; Парфірова, Т.С. (Проблеми програмування, 2012)
    Задачу експлікації проектування програмних систем розглянуто з точки зору сутнісної платформи. Обґрунтовано адекватність вибору ациклічних композицій як базовий засіб експлікації логіки будови проектів. Для ациклічних ...
  • Базові основи індустрії програм, обчислень і даних 
    Лавріщева, К.М. (Проблеми програмування, 2012)
    Дано опис підходів з розвитку індустрії виробництва програм із компонентів повторного використання (КПВ). Запропоновані головні елементи – теоретичні аспекти індустрії програм, обчислень та даних. Розглянуто підхід до ...
  • Дефинитологические основания сущностной платформы 
    Редько, В.Н.; Редько, И.В.; Гришко, В.Н. (Проблеми програмування, 2012)
    Даются экспликации дескриптивной и дефинитной систем. Строятся дефинитологические основания сущностной платформы. Эксплицируется взаимодополнение актуальных и потенциальных, композиционных и декомпозиционных систем. Строятся ...
  • Итеративный подход к анализу естественно-языковых текстов: логический аспект 
    Крывый, С.Л.; Бибиков, Д.С. (Проблеми програмування, 2012)
    Описывается логический подход к анализу естественно языкового текста с целью извлечения знаний. В частности рассматривается использование линейной темпоральной логики для анализа и представления модальностей в таком тексте.
  • Композиційно-номінативні логіки з непрямим іменуванням 
    Россада, Т.В.; Шкільняк, С.С. (Проблеми програмування, 2012)
    Досліджено композиційно-номінативні логіки, базовані на іменних множинах з непрямим іменуванням. Запропоновано та досліджено операції над такими множинами, зокрема, операції реномінації. На цій основі побудована логіка ...
  • Компонентне програмування. Теорія і реалізація 
    Лавріщева, К.М. (2012)
    Компонентне програмування (КП) є різновидом збирального програмування, де роль елементів зборки відігріває програмний компонент чи компонент повторного використання (КПВ, reuse) й інтерфейс. Для програмування КПВ розроблено ...
  • Логіки квазіарних предикатів кванторно-екваційного рівня 
    Нікітченко, М.С.; Шкільняк, С.С. (Проблеми програмування, 2012)
    Досліджено першопорядкові композиційно-номінативні логіки часткових однозначних, тотальних неоднозначних та часткових неоднозначних квазіарних предикатів кванторно-екваційного рівня. Наведено основні семантичні властивості ...
  • О методе проектирования абстрактного типа данных в алгебре алгоритмики 
    Дорошенко, А.Е.; Иовчев, В.А. (2012)
    Предлагается метод проектирования расширенного абстрактного типа данных и алгебраического класса. Данный абстрактный тип данных является необходимым ключевым звеном между этапами спецификации и проектирования. Рассмотрена ...
  • О структурних элементах компонентной сети Петри 
    Лукьянова, Е.А. (Проблеми програмування, 2012)
    Рассмотрены вопросы конструирования и работы структурных элементов компонентной сети Петри (CN-сети). Такими структурными элементами являются составные компоненты: компоненты-места и компоненты переходы. От эффективного ...
  • Про нові методи опису невизначених величин 
    Провотар, О.І.; Лапко, О.В. (Проблеми програмування, 2012)
    Розглядаються різні способи описання невизначеної величини, а саме: ймовірнісний, через випадкову величину; можливістний, через нечітку величину, та змішаний, через нечітку випадкову величину. А також наводяться приклади ...
  • Секвенційні числення композиційно-номінотивних логік квазіарних предикатів 
    Шкільняк, С.С. (Проблеми програмування, 2012)
    Побудовано секвенційні числення першопорядкових композиційно-номінативних логік часткових однозначних, тотальних неодно-значних та часткових неоднозначних квазіарних предикатів кванторного рівня. Такі числення запропоновано ...
  • Секвенційні числення першопорядкових логік однозначних квазіарних предикатів 
    Шкільняк, С.С. (2012)
    На основі властивостей відношень логічного наслідку для першопорядкових композиційно-номінатив-них логік однозначних квазіарних предикатів кванторного рівня побудовано числення секвенційного типу. Такі числення пропонуються ...

Пошук


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

Перегляд

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