2025-02-23T16:05:11-05:00 DEBUG: VuFindSearch\Backend\Solr\Connector: Query fl=%2A&wt=json&json.nl=arrarr&q=id%3A%22irk-123456789-144707%22&qt=morelikethis&rows=5
2025-02-23T16:05:11-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-144707%22&qt=morelikethis&rows=5
2025-02-23T16:05:11-05:00 DEBUG: VuFindSearch\Backend\Solr\Connector: <= 200 OK
2025-02-23T16:05:11-05:00 DEBUG: Deserialized SOLR response
Анализ структуры атрибутных транзиционных систем без скрытых переходов
Проведен теоретико-множественный анализ структуры атрибутных транзиционных систем без скрытых переходов. Предложены частичные операции композиции историй и трасс. Показана возможность их применения для распараллеливания построения покрытий множеств историй и трасс. Определены отношения эквивалентнос...
Saved in:
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | Russian |
| Published: |
Інститут кібернетики ім. В.М. Глушкова НАН України
2017
|
| Series: | Кибернетика и системный анализ |
| Subjects: | |
| Online Access: | http://dspace.nbuv.gov.ua/handle/123456789/144707 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| id |
irk-123456789-144707 |
|---|---|
| record_format |
dspace |
| spelling |
irk-123456789-1447072019-01-03T01:22:57Z Анализ структуры атрибутных транзиционных систем без скрытых переходов Скобелев, В.В. Кібернетика Проведен теоретико-множественный анализ структуры атрибутных транзиционных систем без скрытых переходов. Предложены частичные операции композиции историй и трасс. Показана возможность их применения для распараллеливания построения покрытий множеств историй и трасс. Определены отношения эквивалентности на множестве состояний. В терминах систем с выделенными начальными и финальными состояниями, а также систем с выделенными начальными состояниями и множествами финальных предельных множеств состояний определены классы безопасных и корректных систем. Построена алгебра таких систем. Проведено теоретико-множинний аналіз структури атрибутних транзиційних систем без прихованих переходів. Запропоновано часткові операції композиції історій і трас. Показано можливість їхнього застосування для розпаралелювання побудови покриттів множин історій та трас. Визначено відношення еквівалентності на множині станів. У термінах систем із заданими початковими і фінальними станами, а також систем з заданими початковими станами і множинами фінальних граничних множин станів визначено класи безпечних і коректних систем. Побудовано алгебру таких систем. The paper carries out set-theoretic analysis of the structure of attributed transition systems without hidden transitions. Partial operations of composition of histories and traces are proposed. It is shown that they can be used to parallelize the design of coverings of sets of histories and traces. Equivalence relations on the set of states are extracted. In terms of systems with distinguished initial and final states, as well as systems with distinguished initial states and sets of final limit sets of states, classes of safe and correct systems are defined. The algebra of such systems is proposed. 2017 Article Анализ структуры атрибутных транзиционных систем без скрытых переходов / В.В. Скобелев // Кибернетика и системный анализ. — 2017. — Т. 53, № 2. — С. 3–15. — Бібліогр.: 11 назв. — рос. 0023-1274 http://dspace.nbuv.gov.ua/handle/123456789/144707 519.686.2 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 |
2017 |
| topic_facet |
Кібернетика |
| url |
http://dspace.nbuv.gov.ua/handle/123456789/144707 |
| citation_txt |
Анализ структуры атрибутных транзиционных систем без скрытых переходов / В.В. Скобелев // Кибернетика и системный анализ. — 2017. — Т. 53, № 2. — С. 3–15. — Бібліогр.: 11 назв. — рос. |
| series |
Кибернетика и системный анализ |
| work_keys_str_mv |
AT skobelevvv analizstrukturyatributnyhtranzicionnyhsistembezskrytyhperehodov |
| first_indexed |
2023-05-20T17:20:15Z |
| last_indexed |
2023-05-20T17:20:15Z |
| _version_ |
1796153066192371712 |