Автоматический метод динамического построения абстракций состояний формальной модели
Описано метод побудови абстракцій для підвищення ефективності перевірки формальних моделей. Послаблення відношення еквівалентності станів досягається за рахунок ігнорування незначущих значень атрибутів. Результати експериментів продемонстрували на деяких прикладах зменшення складності виконання пере...
Збережено в:
| Дата: | 2010 |
|---|---|
| Автор: | |
| Формат: | Стаття |
| Мова: | Russian |
| Опубліковано: |
Інститут кібернетики ім. В.М. Глушкова НАН України
2010
|
| Назва видання: | Кибернетика и системный анализ |
| Теми: | |
| Онлайн доступ: | http://dspace.nbuv.gov.ua/handle/123456789/45245 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Автоматический метод динамического построения абстракций состояний формальной модели / А.В. Колчин // Кибернетика и системный анализ. — 2010. — № 4. — С. 70-90. — Бібліогр.: 46 назв. — рос. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of Ukraine| id |
irk-123456789-45245 |
|---|---|
| record_format |
dspace |
| spelling |
irk-123456789-452452013-06-11T03:09:15Z Автоматический метод динамического построения абстракций состояний формальной модели Колчин, А.В. Кибернетика Описано метод побудови абстракцій для підвищення ефективності перевірки формальних моделей. Послаблення відношення еквівалентності станів досягається за рахунок ігнорування незначущих значень атрибутів. Результати експериментів продемонстрували на деяких прикладах зменшення складності виконання перевірки властивостей моделі з експоненційної до поліноміальної. 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. 2010 Article Автоматический метод динамического построения абстракций состояний формальной модели / А.В. Колчин // Кибернетика и системный анализ. — 2010. — № 4. — С. 70-90. — Бібліогр.: 46 назв. — рос. 0023-1274 http://dspace.nbuv.gov.ua/handle/123456789/45245 519.686.2 ru Кибернетика и системный анализ Інститут кібернетики ім. В.М. Глушкова НАН України |
| 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 |
2010 |
| topic_facet |
Кибернетика |
| url |
http://dspace.nbuv.gov.ua/handle/123456789/45245 |
| citation_txt |
Автоматический метод динамического построения абстракций состояний формальной модели / А.В. Колчин // Кибернетика и системный анализ. — 2010. — № 4. — С. 70-90. — Бібліогр.: 46 назв. — рос. |
| series |
Кибернетика и системный анализ |
| work_keys_str_mv |
AT kolčinav avtomatičeskijmetoddinamičeskogopostroeniâabstrakcijsostoânijformalʹnojmodeli |
| first_indexed |
2023-10-18T18:02:12Z |
| last_indexed |
2023-10-18T18:02:12Z |
| _version_ |
1796143149725253632 |