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

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

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

Full description

Saved in:
Bibliographic Details
Date:2015
Main Authors: Летичевский, А.А., Летичевский, А.Ал., Песчаненко, В.С., Губа, А.А.
Format: Article
Language:Russian
Published: Інститут кібернетики ім. В.М. Глушкова НАН України 2015
Series:Кибернетика и системный анализ
Subjects:
Кибернетика
Online Access:https://nasplib.isofts.kiev.ua/handle/123456789/124753
Tags: Add Tag
No Tags, Be the first to tag this record!
Journal Title:Digital Library of Periodicals of National Academy of Sciences of Ukraine
Cite this:Генерация символьных трасс в системе инсерционного моделирования / А.А. Летичевский, А.Ал. Летичевский, В.С. Песчаненко, А.А. Губа // Кибернетика и системный анализ. — 2015. — Т. 51, № 1. — С. 7-19. — Бібліогр.: 25 назв. — рос.

Institution

Digital Library of Periodicals of National Academy of Sciences of Ukraine
id nasplib_isofts_kiev_ua-123456789-124753
record_format dspace
fulltext
spelling nasplib_isofts_kiev_ua-123456789-1247532025-02-09T12:29:04Z Генерация символьных трасс в системе инсерционного моделирования Генерація символьних трас у системі інерційного моделювання Generation of symbolic traces in insertion modeling system Летичевский, А.А. Летичевский, А.Ал. Песчаненко, В.С. Губа, А.А. Кибернетика Описан новый генератор символьных трасс, разработанный для последней версии системы инсерционного моделирования. Основными характеристиками генератора являются использование графического представления описания многоуровневых моделей, разделение локальных описаний и отношения следования, возможность настройки на различные стратегии поиска, применение нового предикатного трансформера, допускающего кванторы общности с ослабленными ограничениями относительно предыдущих версий. Описано новий генератор символьних трас, розроблений для останньої версії системи інсерційного моделювання. Основними характеристиками цього генератора є використання графічного представлення опису багаторівневих моделей, поділ локальних описів і відносини слідування, можливість настроювання на різні стратегії пошуку. 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. 2015 Article Генерация символьных трасс в системе инсерционного моделирования / А.А. Летичевский, А.Ал. Летичевский, В.С. Песчаненко, А.А. Губа // Кибернетика и системный анализ. — 2015. — Т. 51, № 1. — С. 7-19. — Бібліогр.: 25 назв. — рос. 0023-1274 https://nasplib.isofts.kiev.ua/handle/123456789/124753 519.686.2 ru Кибернетика и системный анализ application/pdf Інститут кібернетики ім. В.М. Глушкова НАН України
institution Digital Library of Periodicals of National Academy of Sciences of Ukraine
collection DSpace DC
language Russian
topic Кибернетика
Кибернетика
spellingShingle Кибернетика
Кибернетика
Летичевский, А.А.
Летичевский, А.Ал.
Песчаненко, В.С.
Губа, А.А.
Генерация символьных трасс в системе инсерционного моделирования
Кибернетика и системный анализ
description Описан новый генератор символьных трасс, разработанный для последней версии системы инсерционного моделирования. Основными характеристиками генератора являются использование графического представления описания многоуровневых моделей, разделение локальных описаний и отношения следования, возможность настройки на различные стратегии поиска, применение нового предикатного трансформера, допускающего кванторы общности с ослабленными ограничениями относительно предыдущих версий.
format Article
author Летичевский, А.А.
Летичевский, А.Ал.
Песчаненко, В.С.
Губа, А.А.
author_facet Летичевский, А.А.
Летичевский, А.Ал.
Песчаненко, В.С.
Губа, А.А.
author_sort Летичевский, А.А.
title Генерация символьных трасс в системе инсерционного моделирования
title_short Генерация символьных трасс в системе инсерционного моделирования
title_full Генерация символьных трасс в системе инсерционного моделирования
title_fullStr Генерация символьных трасс в системе инсерционного моделирования
title_full_unstemmed Генерация символьных трасс в системе инсерционного моделирования
title_sort генерация символьных трасс в системе инсерционного моделирования
publisher Інститут кібернетики ім. В.М. Глушкова НАН України
publishDate 2015
topic_facet Кибернетика
url https://nasplib.isofts.kiev.ua/handle/123456789/124753
citation_txt Генерация символьных трасс в системе инсерционного моделирования / А.А. Летичевский, А.Ал. Летичевский, В.С. Песчаненко, А.А. Губа // Кибернетика и системный анализ. — 2015. — Т. 51, № 1. — С. 7-19. — Бібліогр.: 25 назв. — рос.
series Кибернетика и системный анализ
work_keys_str_mv AT letičevskijaa generaciâsimvolʹnyhtrassvsistemeinsercionnogomodelirovaniâ
AT letičevskijaal generaciâsimvolʹnyhtrassvsistemeinsercionnogomodelirovaniâ
AT pesčanenkovs generaciâsimvolʹnyhtrassvsistemeinsercionnogomodelirovaniâ
AT gubaaa generaciâsimvolʹnyhtrassvsistemeinsercionnogomodelirovaniâ
AT letičevskijaa generacíâsimvolʹnihtrasusistemíínercíjnogomodelûvannâ
AT letičevskijaal generacíâsimvolʹnihtrasusistemíínercíjnogomodelûvannâ
AT pesčanenkovs generacíâsimvolʹnihtrasusistemíínercíjnogomodelûvannâ
AT gubaaa generacíâsimvolʹnihtrasusistemíínercíjnogomodelûvannâ
AT letičevskijaa generationofsymbolictracesininsertionmodelingsystem
AT letičevskijaal generationofsymbolictracesininsertionmodelingsystem
AT pesčanenkovs generationofsymbolictracesininsertionmodelingsystem
AT gubaaa generationofsymbolictracesininsertionmodelingsystem
first_indexed 2025-11-25T23:52:50Z
last_indexed 2025-11-25T23:52:50Z
_version_ 1849808409499533312

Similar Items