Статический метод устранения избыточных информационных связей в предусловиях переходов формальных моделей транзиционных систем
Цель предлагаемого метода – сократить исследуемое пространство поведения формальных моделей, и, как следствие, повысить эффективность анализа ее свойств. В основу метода положен алгоритм статического символьного анализа предусловий переходов модели. The objective of the proposed method is to reduce...
Saved in:
| Published in: | Штучний інтелект |
|---|---|
| Date: | 2015 |
| Main Authors: | , , |
| Format: | Article |
| Language: | Russian |
| Published: |
Інститут проблем штучного інтелекту МОН України та НАН України
2015
|
| Subjects: | |
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/117158 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Cite this: | Статический метод устранения избыточных информационных связей в предусловиях переходов формальных моделей транзиционных систем / А.В. Колчин, А.А. Летичевский, С.В. Потиенко // Штучний інтелект. — 2015. — № 1-2. — С. 127-136. — Бібліогр.: 13 назв. — рос. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1862534220461637632 |
|---|---|
| author | Колчин, А.В. Летичевский, А.А. Потиенко, С.В. |
| author_facet | Колчин, А.В. Летичевский, А.А. Потиенко, С.В. |
| citation_txt | Статический метод устранения избыточных информационных связей в предусловиях переходов формальных моделей транзиционных систем / А.В. Колчин, А.А. Летичевский, С.В. Потиенко // Штучний інтелект. — 2015. — № 1-2. — С. 127-136. — Бібліогр.: 13 назв. — рос. |
| collection | DSpace DC |
| container_title | Штучний інтелект |
| description | Цель предлагаемого метода – сократить исследуемое пространство поведения формальных моделей, и, как следствие, повысить эффективность анализа ее свойств. В основу метода положен алгоритм статического символьного анализа предусловий переходов модели.
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.
Мета запропонованого методу – скоротити простір, що досліджується, поведінки формальних моделей, та, як наслідок, підвищити ефективність аналізу її властивостей. В основі методу лежить алгоритм статичного символьного аналізу передумов переходів моделі.
|
| first_indexed | 2025-11-24T06:14:01Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-117158 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 1561-5359 |
| language | Russian |
| last_indexed | 2025-11-24T06:14:01Z |
| publishDate | 2015 |
| publisher | Інститут проблем штучного інтелекту МОН України та НАН України |
| record_format | dspace |
| spelling | Колчин, А.В. Летичевский, А.А. Потиенко, С.В. 2017-05-20T10:48:48Z 2017-05-20T10:48:48Z 2015 Статический метод устранения избыточных информационных связей в предусловиях переходов формальных моделей транзиционных систем / А.В. Колчин, А.А. Летичевский, С.В. Потиенко // Штучний інтелект. — 2015. — № 1-2. — С. 127-136. — Бібліогр.: 13 назв. — рос. 1561-5359 https://nasplib.isofts.kiev.ua/handle/123456789/117158 004.832.23+004.942 Цель предлагаемого метода – сократить исследуемое пространство поведения формальных моделей, и, как следствие, повысить эффективность анализа ее свойств. В основу метода положен алгоритм статического символьного анализа предусловий переходов модели. 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. Мета запропонованого методу – скоротити простір, що досліджується, поведінки формальних моделей, та, як наслідок, підвищити ефективність аналізу її властивостей. В основі методу лежить алгоритм статичного символьного аналізу передумов переходів моделі. ru Інститут проблем штучного інтелекту МОН України та НАН України Штучний інтелект Теорія та засоби обчислювального інтелекту Статический метод устранения избыточных информационных связей в предусловиях переходов формальных моделей транзиционных систем Статичний метод усунення надлишкових інформаційних зв’язків у передумовах переходів формальних моделей транзиційних систем A static method for elimination of redundant dependencies in preconditions of transitions of formal models of transition systems Article published earlier |
| spellingShingle | Статический метод устранения избыточных информационных связей в предусловиях переходов формальных моделей транзиционных систем Колчин, А.В. Летичевский, А.А. Потиенко, С.В. Теорія та засоби обчислювального інтелекту |
| title | Статический метод устранения избыточных информационных связей в предусловиях переходов формальных моделей транзиционных систем |
| title_alt | Статичний метод усунення надлишкових інформаційних зв’язків у передумовах переходів формальних моделей транзиційних систем A static method for elimination of redundant dependencies in preconditions of transitions of formal models of transition systems |
| title_full | Статический метод устранения избыточных информационных связей в предусловиях переходов формальных моделей транзиционных систем |
| title_fullStr | Статический метод устранения избыточных информационных связей в предусловиях переходов формальных моделей транзиционных систем |
| title_full_unstemmed | Статический метод устранения избыточных информационных связей в предусловиях переходов формальных моделей транзиционных систем |
| title_short | Статический метод устранения избыточных информационных связей в предусловиях переходов формальных моделей транзиционных систем |
| title_sort | статический метод устранения избыточных информационных связей в предусловиях переходов формальных моделей транзиционных систем |
| topic | Теорія та засоби обчислювального інтелекту |
| topic_facet | Теорія та засоби обчислювального інтелекту |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/117158 |
| work_keys_str_mv | AT kolčinav statičeskiimetodustraneniâizbytočnyhinformacionnyhsvâzeivpredusloviâhperehodovformalʹnyhmodeleitranzicionnyhsistem AT letičevskiiaa statičeskiimetodustraneniâizbytočnyhinformacionnyhsvâzeivpredusloviâhperehodovformalʹnyhmodeleitranzicionnyhsistem AT potienkosv statičeskiimetodustraneniâizbytočnyhinformacionnyhsvâzeivpredusloviâhperehodovformalʹnyhmodeleitranzicionnyhsistem AT kolčinav statičniimetodusunennânadliškovihínformacíinihzvâzkívuperedumovahperehodívformalʹnihmodeleitranzicíinihsistem AT letičevskiiaa statičniimetodusunennânadliškovihínformacíinihzvâzkívuperedumovahperehodívformalʹnihmodeleitranzicíinihsistem AT potienkosv statičniimetodusunennânadliškovihínformacíinihzvâzkívuperedumovahperehodívformalʹnihmodeleitranzicíinihsistem AT kolčinav astaticmethodforeliminationofredundantdependenciesinpreconditionsoftransitionsofformalmodelsoftransitionsystems AT letičevskiiaa astaticmethodforeliminationofredundantdependenciesinpreconditionsoftransitionsofformalmodelsoftransitionsystems AT potienkosv astaticmethodforeliminationofredundantdependenciesinpreconditionsoftransitionsofformalmodelsoftransitionsystems |