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

Перегляд за автором "Годлевский, А.Б."

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

Перегляд за автором "Годлевский, А.Б."

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

  • Инсерционная семантика параллельных процедурных конструктов языка UCM 
    Годлевский, А.Б. (Управляющие системы и машины, 2012)
    Предложено математическое описание семантики процедурного конструкта Stub в языке параллельного моделирования UCM с применением инсерционного подхода, основанного на взаимодействии сред и погруженных в них агентов.
  • Киберфизические системы: лингвистический аспект 
    Годлевский, А.Б.; Мороховец, М.К. (Кибернетика и системный анализ, 2020)
    Предложен подход к проектированию систем управления техническими объектами, особенностью которого является лингвистически управляемое проектирование. Представлена разработанная на основе этого подхода методика проектирования ...
  • Методика разработки и средства формализации функциональных спецификаций систем и устройств 
    Годлевский, А.Б.; Мищенко, Н.М.; Мороховец, М.К.; Фелижанко, О.Д.; Щеголева, Н.Н. (Кибернетика и системный анализ, 2016)
    Предложен подход к построению функциональных спецификаций и к автоматизации перехода от спецификаций на естественных языках к формальным моделям в формате, удобном для последующих верификации этих моделей и валидации ...
  • Обратная трансформация формул в символьном моделировании: от результата к исходной формуле 
    Годлевский, А.Б.; Потиенко, С.В. (2010)
    В символьном моделировании транзиционных систем аналогом их состояний являются логические формулы над множеством атрибутов. Правила переходов исходной системы служат основой для построения моделирующих правил, которые ...
  • Предикатные преобразователи в контексте символьного моделирования транзиционных систем 
    Годлевский, А.Б. (Кибернетика и системный анализ, 2010)
    При моделюванні атрибутних транзиційних систем класи їх станів описуються за допомогою формул логіки в заданій сигнатурі функціональних та предикатних символів. Побудовано процедуру перетворення таких формул під дією ...
  • Свойства предикатного трансформера системы VRS 
    Летичевский, А.А.; Годлевский, А.Б.; Летичевский, А.А. (мл.); Потиенко, С.В.; Песчаненко, В.С. (Кибернетика и системный анализ, 2010)
    Розглянуто моделі, записані в мові базових протоколів. Вони є атрибутними транзиційними системами, а їх стани задаються формулами багатосортного числення предикатів першого порядку над атрибутами системи. Допускаються ...