Статический метод устранения избыточных информационных связей в предусловиях переходов формальных моделей транзиционных систем
Цель предлагаемого метода – сократить исследуемое пространство поведения формальных моделей, и, как следствие, повысить эффективность анализа ее свойств. В основу метода положен алгоритм статического символьного анализа предусловий переходов модели....
Збережено в:
| Дата: | 2015 |
|---|---|
| Автори: | , , |
| Формат: | Стаття |
| Мова: | Russian |
| Опубліковано: |
Інститут проблем штучного інтелекту МОН України та НАН України
2015
|
| Назва видання: | Штучний інтелект |
| Теми: | |
| Онлайн доступ: | http://dspace.nbuv.gov.ua/handle/123456789/117158 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Статический метод устранения избыточных информационных связей в предусловиях переходов формальных моделей транзиционных систем / А.В. Колчин, А.А. Летичевский, С.В. Потиенко // Штучний інтелект. — 2015. — № 1-2. — С. 127-136. — Бібліогр.: 13 назв. — рос. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of Ukraine| id |
irk-123456789-117158 |
|---|---|
| record_format |
dspace |
| spelling |
irk-123456789-1171582017-05-21T03:02:24Z Статический метод устранения избыточных информационных связей в предусловиях переходов формальных моделей транзиционных систем Колчин, А.В. Летичевский, А.А. Потиенко, С.В. Теорія та засоби обчислювального інтелекту Цель предлагаемого метода – сократить исследуемое пространство поведения формальных моделей, и, как следствие, повысить эффективность анализа ее свойств. В основу метода положен алгоритм статического символьного анализа предусловий переходов модели. The objective of the proposed method is to reduce search space in the behavior of formal models, and, as a consequence, to increase efficiency of model checking. The core of the method is an algorithm of static symbolic analysis of preconditions of model transitions. Мета запропонованого методу – скоротити простір, що досліджується, поведінки формальних моделей, та, як наслідок, підвищити ефективність аналізу її властивостей. В основі методу лежить алгоритм статичного символьного аналізу передумов переходів моделі. 2015 Article Статический метод устранения избыточных информационных связей в предусловиях переходов формальных моделей транзиционных систем / А.В. Колчин, А.А. Летичевский, С.В. Потиенко // Штучний інтелект. — 2015. — № 1-2. — С. 127-136. — Бібліогр.: 13 назв. — рос. 1561-5359 http://dspace.nbuv.gov.ua/handle/123456789/117158 004.832.23+004.942 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 |
2015 |
| topic_facet |
Теорія та засоби обчислювального інтелекту |
| url |
http://dspace.nbuv.gov.ua/handle/123456789/117158 |
| citation_txt |
Статический метод устранения избыточных информационных связей в предусловиях переходов формальных моделей транзиционных систем / А.В. Колчин, А.А. Летичевский, С.В. Потиенко // Штучний інтелект. — 2015. — № 1-2. — С. 127-136. — Бібліогр.: 13 назв. — рос. |
| series |
Штучний інтелект |
| work_keys_str_mv |
AT kolčinav statičeskijmetodustraneniâizbytočnyhinformacionnyhsvâzejvpredusloviâhperehodovformalʹnyhmodelejtranzicionnyhsistem AT letičevskijaa statičeskijmetodustraneniâizbytočnyhinformacionnyhsvâzejvpredusloviâhperehodovformalʹnyhmodelejtranzicionnyhsistem AT potienkosv statičeskijmetodustraneniâizbytočnyhinformacionnyhsvâzejvpredusloviâhperehodovformalʹnyhmodelejtranzicionnyhsistem |
| first_indexed |
2023-10-18T20:29:10Z |
| last_indexed |
2023-10-18T20:29:10Z |
| _version_ |
1796150324310835200 |