Перегляд за автором "Губа, А.А."

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

  • Генерация символьных трасс в системе инсерционного моделирования 
    Летичевский, А.А.; Летичевский, А.Ал.; Песчаненко, В.С.; Губа, А.А. (Кибернетика и системный анализ, 2015)
    Описан новый генератор символьных трасс, разработанный для последней версии системы инсерционного моделирования. Основными характеристиками генератора являются использование графического представления описания многоуровневых ...
  • Инсерционная семантика плоских многопотоковых моделей языка UCM 
    Губа, А.А.; Шушпанов, К.И. (Управляющие системы и машины, 2012)
    Предложена математическая семантика плоских многопотоковых моделей языка UCM. В качестве формализма используется инсерционная модель, обогащенная взаимодействием параллельных процессов через общую память. Разработана функция ...
  • Метод извлечения логики поведения из промышленного программного кода на языке Кобол 
    Губа, А.А.; Колчин, А.В.; Потиенко, С.В. (Проблеми програмування, 2016)
    Цель работы – разработка комплекса инструментальных средств для автоматизации анализа и упрощения понимания поведения кода программных систем. Предложены методы трансляции, абстракции, отладки и построения тестов для языка ...
  • Равномерно-вращательные конфигурации точечных вихрей 
    Ареф, Х.; Мелешко, В.В.; Губа, А.А.; Гуржий, А.А. (2007)
    Рассматривается задача о построении конфигураций и анализе устойчивости стационарного вращения системы N одинаковых точечных вихрей на плоскости. В работе приводится краткий обзор имеющихся в литературе методов поиска ...