Автоматический метод динамического построения абстракций состояний формальной модели
Описано метод побудови абстракцій для підвищення ефективності перевірки формальних моделей. Послаблення відношення еквівалентності станів досягається за рахунок ігнорування незначущих значень атрибутів. Результати експериментів продемонстрували на деяких прикладах зменшення складності виконання пере...
Gespeichert in:
| Veröffentlicht in: | Кибернетика и системный анализ |
|---|---|
| Datum: | 2010 |
| 1. Verfasser: | |
| Format: | Artikel |
| Sprache: | Russisch |
| Veröffentlicht: |
Інститут кібернетики ім. В.М. Глушкова НАН України
2010
|
| Schlagworte: | |
| Online Zugang: | https://nasplib.isofts.kiev.ua/handle/123456789/45245 |
| 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: | Автоматический метод динамического построения абстракций состояний формальной модели / А.В. Колчин // Кибернетика и системный анализ. — 2010. — № 4. — С. 70-90. — Бібліогр.: 46 назв. — рос. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1862738993250041856 |
|---|---|
| author | Колчин, А.В. |
| author_facet | Колчин, А.В. |
| citation_txt | Автоматический метод динамического построения абстракций состояний формальной модели / А.В. Колчин // Кибернетика и системный анализ. — 2010. — № 4. — С. 70-90. — Бібліогр.: 46 назв. — рос. |
| collection | DSpace DC |
| container_title | Кибернетика и системный анализ |
| description | Описано метод побудови абстракцій для підвищення ефективності перевірки формальних моделей. Послаблення відношення еквівалентності станів досягається за рахунок ігнорування незначущих значень атрибутів. Результати експериментів продемонстрували на деяких прикладах зменшення складності виконання перевірки властивостей моделі з експоненційної до поліноміальної.
A method for constructing abstractions to improve the efficiency of checking formal models is described. The state equivalence relation is weakened by ignoring insignificant values of the attributes. Experimental results demonstrate, by way of examples, that verification complexity decreases from exponential to polynomial.
|
| first_indexed | 2025-12-07T20:06:29Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-45245 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 0023-1274 |
| language | Russian |
| last_indexed | 2025-12-07T20:06:29Z |
| publishDate | 2010 |
| publisher | Інститут кібернетики ім. В.М. Глушкова НАН України |
| record_format | dspace |
| spelling | Колчин, А.В. 2013-06-10T16:26:33Z 2013-06-10T16:26:33Z 2010 Автоматический метод динамического построения абстракций состояний формальной модели / А.В. Колчин // Кибернетика и системный анализ. — 2010. — № 4. — С. 70-90. — Бібліогр.: 46 назв. — рос. 0023-1274 https://nasplib.isofts.kiev.ua/handle/123456789/45245 519.686.2 Описано метод побудови абстракцій для підвищення ефективності перевірки формальних моделей. Послаблення відношення еквівалентності станів досягається за рахунок ігнорування незначущих значень атрибутів. Результати експериментів продемонстрували на деяких прикладах зменшення складності виконання перевірки властивостей моделі з експоненційної до поліноміальної. A method for constructing abstractions to improve the efficiency of checking formal models is described. The state equivalence relation is weakened by ignoring insignificant values of the attributes. Experimental results demonstrate, by way of examples, that verification complexity decreases from exponential to polynomial. ru Інститут кібернетики ім. В.М. Глушкова НАН України Кибернетика и системный анализ Кибернетика Автоматический метод динамического построения абстракций состояний формальной модели Автоматичний метод динамічної побудови абстракцій станів формальної моделі An automatic method for the dynamic construction of abstractions of states of a formal model Article published earlier |
| spellingShingle | Автоматический метод динамического построения абстракций состояний формальной модели Колчин, А.В. Кибернетика |
| title | Автоматический метод динамического построения абстракций состояний формальной модели |
| title_alt | Автоматичний метод динамічної побудови абстракцій станів формальної моделі An automatic method for the dynamic construction of abstractions of states of a formal model |
| title_full | Автоматический метод динамического построения абстракций состояний формальной модели |
| title_fullStr | Автоматический метод динамического построения абстракций состояний формальной модели |
| title_full_unstemmed | Автоматический метод динамического построения абстракций состояний формальной модели |
| title_short | Автоматический метод динамического построения абстракций состояний формальной модели |
| title_sort | автоматический метод динамического построения абстракций состояний формальной модели |
| topic | Кибернетика |
| topic_facet | Кибернетика |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/45245 |
| work_keys_str_mv | AT kolčinav avtomatičeskiimetoddinamičeskogopostroeniâabstrakciisostoâniiformalʹnoimodeli AT kolčinav avtomatičniimetoddinamíčnoípobudoviabstrakcíistanívformalʹnoímodelí AT kolčinav anautomaticmethodforthedynamicconstructionofabstractionsofstatesofaformalmodel |