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

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

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Datum:	2015
Hauptverfasser:	Летичевский, А.А., Летичевский, А.Ал., Песчаненко, В.С., Губа, А.А.
Format:	Artikel
Sprache:	Russian
Veröffentlicht:	Інститут кібернетики ім. В.М. Глушкова НАН України 2015
Schriftenreihe:	Кибернетика и системный анализ
Schlagworte:	Кибернетика
Online Zugang:	https://nasplib.isofts.kiev.ua/handle/123456789/124753
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Zitieren:	Генерация символьных трасс в системе инсерционного моделирования / А.А. Летичевский, А.Ал. Летичевский, В.С. Песчаненко, А.А. Губа // Кибернетика и системный анализ. — 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

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

Institution

Ähnliche Einträge