2025-02-23T13:57:38-05:00 DEBUG: VuFindSearch\Backend\Solr\Connector: Query fl=%2A&wt=json&json.nl=arrarr&q=id%3A%22irk-123456789-117158%22&qt=morelikethis&rows=5

2025-02-23T13:57:38-05:00 DEBUG: VuFindSearch\Backend\Solr\Connector: => GET http://localhost:8983/solr/biblio/select?fl=%2A&wt=json&json.nl=arrarr&q=id%3A%22irk-123456789-117158%22&qt=morelikethis&rows=5

2025-02-23T13:57:38-05:00 DEBUG: VuFindSearch\Backend\Solr\Connector: <= 200 OK

2025-02-23T13:57:38-05:00 DEBUG: Deserialized SOLR response

Статический метод устранения избыточных информационных связей в предусловиях переходов формальных моделей транзиционных систем

Цель предлагаемого метода – сократить исследуемое пространство поведения формальных моделей, и, как следствие, повысить эффективность анализа ее свойств. В основу метода положен алгоритм статического символьного анализа предусловий переходов модели....

Full description

Saved in:

Bibliographic Details
Main Authors:	Колчин, А.В., Летичевский, А.А., Потиенко, С.В.
Format:	Article
Language:	Russian
Published:	Інститут проблем штучного інтелекту МОН України та НАН України 2015
Series:	Штучний інтелект
Subjects:	Теорія та засоби обчислювального інтелекту
Online Access:	http://dspace.nbuv.gov.ua/handle/123456789/117158
Tags:	Add Tag No Tags, Be the first to tag this record!

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

Статический метод устранения избыточных информационных связей в предусловиях переходов формальных моделей транзиционных систем

Similar Items