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

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

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

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

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

  • Алгоритм и инструменты построения канонических форм линейных полуалгебраических формул 
    Львов, М.С.; Песчаненко, В.С.; Летичевский, А.А.; Тарасич, Ю.Г.; Баев, А.С. (Кибернетика и системный анализ, 2018)
    Получены результаты испытаний инструментов упрощения формул, а также описан алгоритм построения канонических форм линейных полуалгебраических формул (ЛПФ). Основным результатом работы является определение канонической формы ...
  • Генерация символьных трасс в системе инсерционного моделирования 
    Летичевский, А.А.; Летичевский, А.Ал.; Песчаненко, В.С.; Губа, А.А. (Кибернетика и системный анализ, 2015)
    Описан новый генератор символьных трасс, разработанный для последней версии системы инсерционного моделирования. Основными характеристиками генератора являются использование графического представления описания многоуровневых ...
  • Метод трапецоидов решения систем линейных неравенств и его реализация инсерционным моделированием 
    Львов, М.С.; Песчаненко, В.С. (Кибернетика и системный анализ, 2012)
    Викладено новий метод розв’язання системи лінійних нерівностей — метод трапецоїдів, оснований на побудові канонічних форм системи лінійних нерівностей. Канонічні форми представляють розбиття опуклого многогранника розв’язків ...
  • Модельний спосіб розроблення алгоритмів цифрових систем на програмованих логічних інтегральних схемах 
    Летичевський, О.О.; Песчаненко, В.С.; Харченко, В.С.; Волков, В.А.; Одарущенко, О.М. (Кибернетика и системный анализ, 2020)
    Розглянуто сучасні тенденції в галузі автоматизованого розроблення апаратного забезпечення, зокрема, розроблення цифрових систем з використанням програмованих логічних інтегральних схем на прикладі програмованих користувачем ...
  • Огляд сучасних методів захищеності та безпеки програмних систем 
    Летичевський, О.О.; Песчаненко, В.С.; Гринюк, Я.В.; Радченко, В.Ю.; Яковлев, В.М. (Кибернетика и системный анализ, 2019)
    Показано, що безпека та захищеність програмних ресурсів нині є однією з найбільш актуальних проблем в ІТ-галузі, оскільки дії зловмисників стають дедалі більш загрозливими, а збитки від кібератак збільшуються. Традиційні ...
  • Свойства предикатного трансформера системы VRS 
    Летичевский, А.А.; Годлевский, А.Б.; Летичевский, А.А. (мл.); Потиенко, С.В.; Песчаненко, В.С. (Кибернетика и системный анализ, 2010)
    Розглянуто моделі, записані в мові базових протоколів. Вони є атрибутними транзиційними системами, а їх стани задаються формулами багатосортного числення предикатів першого порядку над атрибутами системи. Допускаються ...

Пошук


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

Перегляд

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