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

Перегляд за автором "Песчаненко, В.С."

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

Перегляд за автором "Песчаненко, В.С."

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

  • Алгоритм и инструменты построения канонических форм линейных полуалгебраических формул 
    Львов, М.С.; Песчаненко, В.С.; Летичевский, А.А.; Тарасич, Ю.Г.; Баев, А.С. (Кибернетика и системный анализ, 2018)
    Получены результаты испытаний инструментов упрощения формул, а также описан алгоритм построения канонических форм линейных полуалгебраических формул (ЛПФ). Основным результатом работы является определение канонической формы ...
  • Алгоритм трансляции APLAN-кода 
    Летичевский, А.А.; Летичевский, А.А. (мл.); Песчаненко, В.С. (Управляющие системы и машины, 2010)
    Рассмотрен алгоритм трансляции APLAN-кода в системе алгебраического программирования APS с использованием методов инсерционного моделирования.
  • Генерация символьных трасс в системе инсерционного моделирования 
    Летичевский, А.А.; Летичевский, А.Ал.; Песчаненко, В.С.; Губа, А.А. (Кибернетика и системный анализ, 2015)
    Описан новый генератор символьных трасс, разработанный для последней версии системы инсерционного моделирования. Основными характеристиками генератора являются использование графического представления описания многоуровневых ...
  • Метод трапецоидов решения систем линейных неравенств и его реализация инсерционным моделированием 
    Львов, М.С.; Песчаненко, В.С. (Кибернетика и системный анализ, 2012)
    Викладено новий метод розв’язання системи лінійних нерівностей — метод трапецоїдів, оснований на побудові канонічних форм системи лінійних нерівностей. Канонічні форми представляють розбиття опуклого многогранника розв’язків ...
  • Моделирование графического редактора системы Insertion Modeling System средствами Graphical Modeling Framework Eclipse 
    Песчаненко, В.С. (Управляющие системы и машины, 2011)
    Приведены основные сведения о системе инсерционного моделирования Insertion Modeling System и о технологии Graphical Modeling Framework Eclipse. Представлен процесс моделирования графических редакторов средствами Eclipse. ...
  • Модельний спосіб розроблення алгоритмів цифрових систем на програмованих логічних інтегральних схемах 
    Летичевський, О.О.; Песчаненко, В.С.; Харченко, В.С.; Волков, В.А.; Одарущенко, О.М. (Кибернетика и системный анализ, 2020)
    Розглянуто сучасні тенденції в галузі автоматизованого розроблення апаратного забезпечення, зокрема, розроблення цифрових систем з використанням програмованих логічних інтегральних схем на прикладі програмованих користувачем ...
  • Обзор современных систем и методов верификации формальных моделей 
    Колчин, А.В.; Летичевский, А.А.; Потиенко, С.В.; Песчаненко, В.С. (Проблеми програмування, 2012)
    Приведен обзор автоматических методов проверки правильности формальных моделей программных систем. Рассмотрены проверяемые свойства, методы редукции и современные инструментальные средства проверки моделей.
  • Об одном подходе к проектированию алгебраических типов данных 
    Песчаненко, В.С. (2006)
    Робота присвячена методам вирішення проблем які виникли при проектуванні алгебраїчних типів даних шкільної системи комп’ютерної алгебри Терм. Описана ієрархія алгебраїчних типів даних цієї системи, розглянуті основні ...
  • Огляд сучасних методів захищеності та безпеки програмних систем 
    Летичевський, О.О.; Песчаненко, В.С.; Гринюк, Я.В.; Радченко, В.Ю.; Яковлев, В.М. (Кибернетика и системный анализ, 2019)
    Показано, що безпека та захищеність програмних ресурсів нині є однією з найбільш актуальних проблем в ІТ-галузі, оскільки дії зловмисників стають дедалі більш загрозливими, а збитки від кібератак збільшуються. Традиційні ...
  • Програмування в обмеженнях у системі інсерційного моделювання 
    Летичевський, О.А.; Летичевський, О.О.; Песчаненко, В.С.; Блинов, І.О.; Кльонов, Д.М. (2011)
    The paper relates to practical aspects of insertion modeling. Insertion modeling system is an environment for the development of insertion machines, used to represent insertion models of distributed systems. The architecture ...
  • Свойства предикатного трансформера системы VRS 
    Летичевский, А.А.; Годлевский, А.Б.; Летичевский, А.А. (мл.); Потиенко, С.В.; Песчаненко, В.С. (Кибернетика и системный анализ, 2010)
    Розглянуто моделі, записані в мові базових протоколів. Вони є атрибутними транзиційними системами, а їх стани задаються формулами багатосортного числення предикатів першого порядку над атрибутами системи. Допускаються ...
  • Система доказательного программирования 
    Летичевский, А.А. (мл.); Мороховец, М.К.; Песчаненко, В.С. (Управляющие системы и машины, 2012)
    Описаны методы доказательства правильности программ в системе инсерционного моделирования, ее архитектура и функциональные возможности, даны основные сведения о нем. Рассмотрена инсерционная машина метода Флойда, методы ...