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

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

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

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

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

  • Шкільняк, О.С. (2011)
    Досліджуються композиційно-номінативні модальні та темпоральні логіки функціонально-екваційного рівня. На основі властивостей відношення логічного наслідку для множин формул збудовані числення секвенційного типу для загальних ...
  • Шкільняк, С.С. (Проблеми програмування, 2012)
    Побудовано секвенційні числення першопорядкових композиційно-номінативних логік часткових однозначних, тотальних неодно-значних та часткових неоднозначних квазіарних предикатів кванторного рівня. Такі числення запропоновано ...
  • Шкільняк, С.С. (2012)
    На основі властивостей відношень логічного наслідку для першопорядкових композиційно-номінатив-них логік однозначних квазіарних предикатів кванторного рівня побудовано числення секвенційного типу. Такі числення пропонуються ...
  • Глибовец, А.Н.; Глибовец, Н.Н.; Покопцев, Д.Е.; Сидоренко, М.О. (Проблеми програмування, 2013)
    Представлен аналитический обзор современных результатов, связанных с созданием семантического Webа и целого ряда проблем, систем, технологий, активно разрабатываемых в общем направлении развития Интернета. Особое внимание ...
  • Рогушина, Ю.В. (Проблеми програмування, 2016)
    Рассматривается необходимость использования персонифицированных знаний в современных распределенных приложениях и источники получения таких знаний. Проанализированы особенности существующих Wiki-ресурсов и средства их ...
  • Захарова, О.В. (Проблеми програмування, 2015)
    Важливість опису Веб-сервісів на рівні процесів та створення механізмів для роботи з такими описами широко визнана. Визначення та розуміння клієнтом семантик кожного елементу такого процесу забезпечує можливість їх адекватного ...
  • Шкільняк, О.С. (2009)
    На основі інтегрованого інтенсіонально-екстенсіонального підходу до побудови логічних та програмних систем вивчаються композиційно-номінативні модальні та темпоральні логіки реномінативного, кванторного, кванторно-екваційного ...
  • Нікітченко, М.С.; Шишацька, О.В. (Проблеми програмування, 2018)
    Запропоновано та досліджено програмно-орієнтовані п’ятизначні логіки двох рівнів: пропозиційну п’ятизначну логіку та логіку п’ятизначних квазіарних предикатів. Такі логіки природним чином виникають при розгляді систем, у ...
  • Ильина, Е.П. (2006)
    Предложен подход к актуализации экспертного знания в системах поддержки экспертиз, реализующих процессы партисипативного принятия решений. Рассмотрены структура семиотической модели, классы гипотез и методы их оценки в ...
  • Новицький, О.В. (Проблеми програмування, 2013)
    Розглядаються проблеми побудови сервіс-орієнтованих Веб-додатків реального часу. Зокрема для прогнозування часу виконання високонавантажених додатків, за умови стаціонарності навантаження, пропонується використовувати ...
  • Ігнатенко, О.П.; Цицкун, Д.В. (2009)
    При проектуванні або аналізі функціонування складних комп’ютерних мереж необхідним етапом являється їх імітаційне моделювання. За допомогою адекватної моделі роботи мережі розробники можуть суттєво зменшити витрати часу і ...
  • Яценко, О.А. (2006)
    Статтю присвячено огляду результатів, отриманих у рамках подальшого розвитку середовища конструювання алгоритмічних знань мультиобробки та інтегрованого інструментарію проектування і синтезу послідовних та паралельних ...
  • Гаврилюк, А.Б.; Алексеев, В.А. (2006)
    Рассматриваются основные характеристики файловых систем, сетевых файловых систем. Формулируются требования к современной файловой системе. Исследуются существующие файловые системы на основе реляционной модели ...
  • Григорян, Р.Д.; Дегода, А.Г.; Харсун, В.С.; Джуринский, Е.А. (Проблеми програмування, 2019)
    Создан программный симулятор (ПС) физиологических механизмов срочной регуляции гемодинамики человека. ПС основан на математической модели (ММ), описывающей рефлексы, источником информации, расположенных в правом желудочке ...
  • Григорян, Р.Д.; Дегода, А.Г.; Джуринский, Е.А.; Харсун, В.С. (Проблеми програмування, 2017)
    Для совместимых с IBM персональных компьютеров создан программный симулятор (ПС), основанный на математической модели (ММ) гемодинамики человека. ММ представляет сердечно-сосудистую систему (ССС) в сосредоточенных параметрах ...
  • Григорян, Р.Д.; Дегода, А.Г.; Аксёнова, Т.В.; Джуринский, Е.А. (Проблеми програмування, 2018)
    Для совместимых с IBM персональных компьютеров создан программный симулятор (ПС) комплексных физиологических систем (КФС), обеспечивающих баланс энергии в клетках человека. ПС основан на упрощенных математических моделях ...
  • Григорян, Р.Д.; Аксенова, Т.В. (Проблеми програмування, 2016)
    В работе описаны технология моделирования и основные результаты симуляции гемодинамических эффектов гипертрофии сердца (ГС), проведенные с помощью ранее опубликованной математической модели (ММ). Не моделируя динамику ...
  • Чеботарев, А.Н. (2003)
    Предложен подход к синтезу автомата, специфицированного логической формулой в конъюнктивной нормальной форме (к.н.ф.). Хотя при этом используется метод синтеза автомата по формуле, представленной в дизъюнктивной нормальной ...
  • Юсим, Г.В. (2004)
    Рассматриваются украинско- и русскоязычная программы-синтезаторы речи, предназначенные для работы со специализированными средствами, ориентированными на незрячих пользователей. Программы позволяют озвучивать произвольные ...
  • Опанасенко, В.Н.; Крывый, С.Л. (Проблеми програмування, 2016)
    В работе рассматривается метод решения задачи адаптации логической сети со многими выходами с восстановлением входного множества двоичных векторов при заданных только младших значениях этих векторов и значениях на выходах ...

Пошук


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

Перегляд

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