Наукова електронна бібліотека
періодичних видань НАН України
періодичних видань НАН України
Автоматический метод динамического построения абстракций состояний формальной модели
Репозиторій DSpace/Manakin
JavaScript is disabled for your browser. Some features of this site may not work without it.
| dc.contributor.author | Колчин, А.В. | |
| dc.date.accessioned | 2013-06-10T16:26:33Z | |
| dc.date.available | 2013-06-10T16:26:33Z | |
| dc.date.issued | 2010 | |
| dc.identifier.citation | Автоматический метод динамического построения абстракций состояний формальной модели / А.В. Колчин // Кибернетика и системный анализ. — 2010. — № 4. — С. 70-90. — Бібліогр.: 46 назв. — рос. | uk_UA |
| dc.identifier.issn | 0023-1274 | |
| dc.identifier.uri | http://dspace.nbuv.gov.ua/handle/123456789/45245 | |
| dc.description.abstract | Описано метод побудови абстракцій для підвищення ефективності перевірки формальних моделей. Послаблення відношення еквівалентності станів досягається за рахунок ігнорування незначущих значень атрибутів. Результати експериментів продемонстрували на деяких прикладах зменшення складності виконання перевірки властивостей моделі з експоненційної до поліноміальної. | uk_UA |
| dc.description.abstract | 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. | uk_UA |
| dc.language.iso | ru | uk_UA |
| dc.publisher | Інститут кібернетики ім. В.М. Глушкова НАН України | uk_UA |
| dc.relation.ispartof | Кибернетика и системный анализ | |
| dc.subject | Кибернетика | uk_UA |
| dc.title | Автоматический метод динамического построения абстракций состояний формальной модели | uk_UA |
| dc.title.alternative | Автоматичний метод динамічної побудови абстракцій станів формальної моделі | uk_UA |
| dc.title.alternative | An automatic method for the dynamic construction of abstractions of states of a formal model | uk_UA |
| dc.type | Article | uk_UA |
| dc.status | published earlier | uk_UA |
| dc.identifier.udc | 519.686.2 |
