Генерация символьных трасс в системе инсерционного моделирования
Описан новый генератор символьных трасс, разработанный для последней версии системы инсерционного моделирования. Основными характеристиками генератора являются использование графического представления описания многоуровневых моделей, разделение локальных описаний и отношения следования, возможность...
Збережено в:
| Опубліковано в: : | Кибернетика и системный анализ |
|---|---|
| Дата: | 2015 |
| Автори: | , , , |
| Формат: | Стаття |
| Мова: | Російська |
| Опубліковано: |
Інститут кібернетики ім. В.М. Глушкова НАН України
2015
|
| Теми: | |
| Онлайн доступ: | https://nasplib.isofts.kiev.ua/handle/123456789/124753 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Генерация символьных трасс в системе инсерционного моделирования / А.А. Летичевский, А.Ал. Летичевский, В.С. Песчаненко, А.А. Губа // Кибернетика и системный анализ. — 2015. — Т. 51, № 1. — С. 7-19. — Бібліогр.: 25 назв. — рос. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1862565253910364160 |
|---|---|
| author | Летичевский, А.А. Летичевский, А.Ал. Песчаненко, В.С. Губа, А.А. |
| author_facet | Летичевский, А.А. Летичевский, А.Ал. Песчаненко, В.С. Губа, А.А. |
| citation_txt | Генерация символьных трасс в системе инсерционного моделирования / А.А. Летичевский, А.Ал. Летичевский, В.С. Песчаненко, А.А. Губа // Кибернетика и системный анализ. — 2015. — Т. 51, № 1. — С. 7-19. — Бібліогр.: 25 назв. — рос. |
| collection | DSpace DC |
| container_title | Кибернетика и системный анализ |
| description | Описан новый генератор символьных трасс, разработанный для последней версии системы инсерционного моделирования. Основными характеристиками генератора являются использование графического представления описания многоуровневых моделей, разделение локальных описаний и отношения следования, возможность настройки на различные стратегии поиска, применение нового предикатного трансформера, допускающего кванторы общности с ослабленными ограничениями относительно предыдущих версий.
Описано новий генератор символьних трас, розроблений для останньої версії системи інсерційного моделювання. Основними характеристиками цього генератора є використання графічного представлення опису багаторівневих моделей, поділ локальних описів і відносини слідування, можливість настроювання на різні стратегії пошуку.
The paper describes a new generator of symbolic traces, which is designed for the latest version of insertion modeling system. The main characteristics of the generator is the use of graphic representations of the description of multilevel models, division of local descriptions and consequence relation, the possibility of configuration to different search strategies, and application of a new predicate transformer, which admits generality quantifiers with relaxed constraints with respect to the previous versions.
|
| first_indexed | 2025-11-25T23:52:50Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-124753 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 0023-1274 |
| language | Russian |
| last_indexed | 2025-11-25T23:52:50Z |
| publishDate | 2015 |
| publisher | Інститут кібернетики ім. В.М. Глушкова НАН України |
| record_format | dspace |
| spelling | Летичевский, А.А. Летичевский, А.Ал. Песчаненко, В.С. Губа, А.А. 2017-10-04T19:48:18Z 2017-10-04T19:48:18Z 2015 Генерация символьных трасс в системе инсерционного моделирования / А.А. Летичевский, А.Ал. Летичевский, В.С. Песчаненко, А.А. Губа // Кибернетика и системный анализ. — 2015. — Т. 51, № 1. — С. 7-19. — Бібліогр.: 25 назв. — рос. 0023-1274 https://nasplib.isofts.kiev.ua/handle/123456789/124753 519.686.2 Описан новый генератор символьных трасс, разработанный для последней версии системы инсерционного моделирования. Основными характеристиками генератора являются использование графического представления описания многоуровневых моделей, разделение локальных описаний и отношения следования, возможность настройки на различные стратегии поиска, применение нового предикатного трансформера, допускающего кванторы общности с ослабленными ограничениями относительно предыдущих версий. Описано новий генератор символьних трас, розроблений для останньої версії системи інсерційного моделювання. Основними характеристиками цього генератора є використання графічного представлення опису багаторівневих моделей, поділ локальних описів і відносини слідування, можливість настроювання на різні стратегії пошуку. The paper describes a new generator of symbolic traces, which is designed for the latest version of insertion modeling system. The main characteristics of the generator is the use of graphic representations of the description of multilevel models, division of local descriptions and consequence relation, the possibility of configuration to different search strategies, and application of a new predicate transformer, which admits generality quantifiers with relaxed constraints with respect to the previous versions. ru Інститут кібернетики ім. В.М. Глушкова НАН України Кибернетика и системный анализ Кибернетика Генерация символьных трасс в системе инсерционного моделирования Генерація символьних трас у системі інерційного моделювання Generation of symbolic traces in insertion modeling system Article published earlier |
| spellingShingle | Генерация символьных трасс в системе инсерционного моделирования Летичевский, А.А. Летичевский, А.Ал. Песчаненко, В.С. Губа, А.А. Кибернетика |
| title | Генерация символьных трасс в системе инсерционного моделирования |
| title_alt | Генерація символьних трас у системі інерційного моделювання Generation of symbolic traces in insertion modeling system |
| title_full | Генерация символьных трасс в системе инсерционного моделирования |
| title_fullStr | Генерация символьных трасс в системе инсерционного моделирования |
| title_full_unstemmed | Генерация символьных трасс в системе инсерционного моделирования |
| title_short | Генерация символьных трасс в системе инсерционного моделирования |
| title_sort | генерация символьных трасс в системе инсерционного моделирования |
| topic | Кибернетика |
| topic_facet | Кибернетика |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/124753 |
| work_keys_str_mv | AT letičevskiiaa generaciâsimvolʹnyhtrassvsistemeinsercionnogomodelirovaniâ AT letičevskiiaal generaciâsimvolʹnyhtrassvsistemeinsercionnogomodelirovaniâ AT pesčanenkovs generaciâsimvolʹnyhtrassvsistemeinsercionnogomodelirovaniâ AT gubaaa generaciâsimvolʹnyhtrassvsistemeinsercionnogomodelirovaniâ AT letičevskiiaa generacíâsimvolʹnihtrasusistemíínercíinogomodelûvannâ AT letičevskiiaal generacíâsimvolʹnihtrasusistemíínercíinogomodelûvannâ AT pesčanenkovs generacíâsimvolʹnihtrasusistemíínercíinogomodelûvannâ AT gubaaa generacíâsimvolʹnihtrasusistemíínercíinogomodelûvannâ AT letičevskiiaa generationofsymbolictracesininsertionmodelingsystem AT letičevskiiaal generationofsymbolictracesininsertionmodelingsystem AT pesčanenkovs generationofsymbolictracesininsertionmodelingsystem AT gubaaa generationofsymbolictracesininsertionmodelingsystem |