Автоматический метод динамического построения абстракций состояний формальной модели

Колчин, А.В.

Автоматический метод динамического построения абстракций состояний формальной модели

dc.contributor.author	Колчин, А.В.
dc.date.accessioned	2013-06-10T16:26:33Z
dc.date.available	2013-06-10T16:26:33Z
dc.date.issued	2010
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.identifier.citation	Автоматический метод динамического построения абстракций состояний формальной модели / А.В. Колчин // Кибернетика и системный анализ. — 2010. — № 4. — С. 70-90. — Бібліогр.: 46 назв. — рос.	uk_UA
dc.identifier.issn	0023-1274
dc.identifier.udc	519.686.2
dc.identifier.uri	https://nasplib.isofts.kiev.ua/handle/123456789/45245
dc.language.iso	ru	uk_UA
dc.publisher	Інститут кібернетики ім. В.М. Глушкова НАН України	uk_UA
dc.relation.ispartof	Кибернетика и системный анализ
dc.status	published earlier	uk_UA
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

Файли

Оригінальний контейнер

Зараз показуємо 1 - 1 з 1

Назва:: 07-Kolchin.pdf
Розмір:: 212.83 KB
Формат:: Adobe Portable Document Format

Завантажити

Контейнер ліцензії

Зараз показуємо 1 - 1 з 1

Назва:: license.txt
Розмір:: 817 B
Формат:: Item-specific license agreed upon to submission
Опис:

Завантажити

Колекція

Кибернетика и системный анализ, 2010, № 4