Генерация символьных трасс в системе инсерционного моделирования

• Datum: 2015
• Hauptverfasser: Летичевский, А.А., Летичевский, А.Ал., Песчаненко, В.С., Губа, А.А.
• Format: Artikel
• Sprache: Russian
• Veröffentlicht: Інститут кібернетики ім. В.М. Глушкова НАН України 2015
• Schriftenreihe: Кибернетика и системный анализ
• Schlagworte: Кибернетика
• Online Zugang: https://nasplib.isofts.kiev.ua/handle/123456789/124753
• Назва журналу: Digital Library of Periodicals of National Academy of Sciences of Ukraine
• Zitieren: Генерация символьных трасс в системе инсерционного моделирования / А.А. Летичевский, А.Ал. Летичевский, В.С. Песчаненко, А.А. Губа // Кибернетика и системный анализ. — 2015. — Т. 51, № 1. — С. 7-19. — Бібліогр.: 25 назв. — рос.

Описан новый генератор символьных трасс, разработанный для последней версии системы инсерционного моделирования. Основными характеристиками генератора являются использование графического представления описания многоуровневых моделей, разделение локальных описаний и отношения следования, возможность настройки на различные стратегии поиска, применение нового предикатного трансформера, допускающего кванторы общности с ослабленными ограничениями относительно предыдущих версий.