Анализ структуры атрибутных транзиционных систем без скрытых переходов
Проведен теоретико-множественный анализ структуры атрибутных транзиционных систем без скрытых переходов. Предложены частичные операции композиции историй и трасс. Показана возможность их применения для распараллеливания построения покрытий множеств историй и трасс. Определены отношения эквивалентнос...
Gespeichert in:
| Veröffentlicht in: | Кибернетика и системный анализ |
|---|---|
| Datum: | 2017 |
| 1. Verfasser: | |
| Format: | Artikel |
| Sprache: | Russian |
| Veröffentlicht: |
Інститут кібернетики ім. В.М. Глушкова НАН України
2017
|
| Schlagworte: | |
| Online Zugang: | https://nasplib.isofts.kiev.ua/handle/123456789/144707 |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Zitieren: | Анализ структуры атрибутных транзиционных систем без скрытых переходов / В.В. Скобелев // Кибернетика и системный анализ. — 2017. — Т. 53, № 2. — С. 3–15. — Бібліогр.: 11 назв. — рос. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| id |
nasplib_isofts_kiev_ua-123456789-144707 |
|---|---|
| record_format |
dspace |
| spelling |
Скобелев, В.В. 2019-01-02T15:45:54Z 2019-01-02T15:45:54Z 2017 Анализ структуры атрибутных транзиционных систем без скрытых переходов / В.В. Скобелев // Кибернетика и системный анализ. — 2017. — Т. 53, № 2. — С. 3–15. — Бібліогр.: 11 назв. — рос. 0023-1274 https://nasplib.isofts.kiev.ua/handle/123456789/144707 519.686.2 Проведен теоретико-множественный анализ структуры атрибутных транзиционных систем без скрытых переходов. Предложены частичные операции композиции историй и трасс. Показана возможность их применения для распараллеливания построения покрытий множеств историй и трасс. Определены отношения эквивалентности на множестве состояний. В терминах систем с выделенными начальными и финальными состояниями, а также систем с выделенными начальными состояниями и множествами финальных предельных множеств состояний определены классы безопасных и корректных систем. Построена алгебра таких систем. Проведено теоретико-множинний аналіз структури атрибутних транзиційних систем без прихованих переходів. Запропоновано часткові операції композиції історій і трас. Показано можливість їхнього застосування для розпаралелювання побудови покриттів множин історій та трас. Визначено відношення еквівалентності на множині станів. У термінах систем із заданими початковими і фінальними станами, а також систем з заданими початковими станами і множинами фінальних граничних множин станів визначено класи безпечних і коректних систем. Побудовано алгебру таких систем. 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. ru Інститут кібернетики ім. В.М. Глушкова НАН України Кибернетика и системный анализ Кібернетика Анализ структуры атрибутных транзиционных систем без скрытых переходов Аналіз структури атрибутних транзиційних систем без прихованих переходів Analysis of the structure of attributed transition systems without hidden transitions Article published earlier |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| title |
Анализ структуры атрибутных транзиционных систем без скрытых переходов |
| spellingShingle |
Анализ структуры атрибутных транзиционных систем без скрытых переходов Скобелев, В.В. Кібернетика |
| title_short |
Анализ структуры атрибутных транзиционных систем без скрытых переходов |
| title_full |
Анализ структуры атрибутных транзиционных систем без скрытых переходов |
| title_fullStr |
Анализ структуры атрибутных транзиционных систем без скрытых переходов |
| title_full_unstemmed |
Анализ структуры атрибутных транзиционных систем без скрытых переходов |
| title_sort |
анализ структуры атрибутных транзиционных систем без скрытых переходов |
| author |
Скобелев, В.В. |
| author_facet |
Скобелев, В.В. |
| topic |
Кібернетика |
| topic_facet |
Кібернетика |
| publishDate |
2017 |
| language |
Russian |
| container_title |
Кибернетика и системный анализ |
| publisher |
Інститут кібернетики ім. В.М. Глушкова НАН України |
| format |
Article |
| title_alt |
Аналіз структури атрибутних транзиційних систем без прихованих переходів Analysis of the structure of attributed transition systems without hidden transitions |
| description |
Проведен теоретико-множественный анализ структуры атрибутных транзиционных систем без скрытых переходов. Предложены частичные операции композиции историй и трасс. Показана возможность их применения для распараллеливания построения покрытий множеств историй и трасс. Определены отношения эквивалентности на множестве состояний. В терминах систем с выделенными начальными и финальными состояниями, а также систем с выделенными начальными состояниями и множествами финальных предельных множеств состояний определены классы безопасных и корректных систем. Построена алгебра таких систем.
Проведено теоретико-множинний аналіз структури атрибутних транзиційних систем без прихованих переходів. Запропоновано часткові операції композиції історій і трас. Показано можливість їхнього застосування для розпаралелювання побудови покриттів множин історій та трас. Визначено відношення еквівалентності на множині станів. У термінах систем із заданими початковими і фінальними станами, а також систем з заданими початковими станами і множинами фінальних граничних множин станів визначено класи безпечних і коректних систем. Побудовано алгебру таких систем.
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.
|
| issn |
0023-1274 |
| url |
https://nasplib.isofts.kiev.ua/handle/123456789/144707 |
| citation_txt |
Анализ структуры атрибутных транзиционных систем без скрытых переходов / В.В. Скобелев // Кибернетика и системный анализ. — 2017. — Т. 53, № 2. — С. 3–15. — Бібліогр.: 11 назв. — рос. |
| work_keys_str_mv |
AT skobelevvv analizstrukturyatributnyhtranzicionnyhsistembezskrytyhperehodov AT skobelevvv analízstrukturiatributnihtranzicíinihsistembezprihovanihperehodív AT skobelevvv analysisofthestructureofattributedtransitionsystemswithouthiddentransitions |
| first_indexed |
2025-11-28T07:45:25Z |
| last_indexed |
2025-11-28T07:45:25Z |
| _version_ |
1850853487364014080 |