Генерация символьных трасс в системе инсерционного моделирования / Летичевский А. А., Летичевский А. Ал., Песчаненко В. С., Губа А. А. (2015)
інтернет-адреса сторінки: http://jnas.nbuv.gov.ua/article/UJRN-0000412551
Кибернетика и системный анализ   А - 2019 /  Випуск (2015, Т. 51, № 1)
Летичевский А. А., Летичевский А. Ал., Песчаненко В. С., Губа А. А.
Генерация символьных трасс в системе инсерционного моделирования Описан новый генератор символьных трасс, разработанный для последней версии системы инсерционного моделирования. Основными характеристиками генератора являются использование графического представления описания многоуровневых моделей, разделение локальных описаний и отношения следования, возможность настройки на различные стратегии поиска, применение нового предикатного трансформера, допускающего кванторы общности с ослабленными ограничениями относительно предыдущих версий.
Бібліографічний опис:
Летичевский А. А., Летичевский А. Ал., Песчаненко В. С., Губа А. А. Генерация символьных трасс в системе инсерционного моделирования. Кибернетика и системный анализ. 2015. Т. 51, № 1. С. 7-19. URL: http://jnas.nbuv.gov.ua/article/UJRN-0000412551 |  Cybernetics and Systems Analysis / Issue (2015, 51 (1))
 Transliteration
Letichevskij A. A., Letichevskij A. Al., Peschanenko V. S., Guba A. A.
Generatsija simvolnykh trass v sisteme insertsionnogo modelirovanija
Cite:
Letichevskij, A. A., Letichevskij, A. Al., Peschanenko, V. S., Guba, A. A. (2015). Generatsija simvolnykh trass v sisteme insertsionnogo modelirovanija. Cybernetics and Systems Analysis, 51 (1), 7-19 http://jnas.nbuv.gov.ua/article/UJRN-0000412551 [In Russian]. | |
|
|
PDF