Анализ структуры атрибутных транзиционных систем без скрытых переходов
Проведен теоретико-множественный анализ структуры атрибутных транзиционных систем без скрытых переходов. Предложены частичные операции композиции историй и трасс. Показана возможность их применения для распараллеливания построения покрытий множеств историй и трасс. Определены отношения эквивалентнос...
Збережено в:
| Опубліковано в: : | Кибернетика и системный анализ |
|---|---|
| Дата: | 2017 |
| Автор: | |
| Формат: | Стаття |
| Мова: | Російська |
| Опубліковано: |
Інститут кібернетики ім. В.М. Глушкова НАН України
2017
|
| Теми: | |
| Онлайн доступ: | https://nasplib.isofts.kiev.ua/handle/123456789/144707 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Анализ структуры атрибутных транзиционных систем без скрытых переходов / В.В. Скобелев // Кибернетика и системный анализ. — 2017. — Т. 53, № 2. — С. 3–15. — Бібліогр.: 11 назв. — рос. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1862604477535617024 |
|---|---|
| author | Скобелев, В.В. |
| author_facet | Скобелев, В.В. |
| citation_txt | Анализ структуры атрибутных транзиционных систем без скрытых переходов / В.В. Скобелев // Кибернетика и системный анализ. — 2017. — Т. 53, № 2. — С. 3–15. — Бібліогр.: 11 назв. — рос. |
| collection | DSpace DC |
| container_title | Кибернетика и системный анализ |
| 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.
|
| first_indexed | 2025-11-28T07:45:25Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-144707 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 0023-1274 |
| language | Russian |
| last_indexed | 2025-11-28T07:45:25Z |
| publishDate | 2017 |
| publisher | Інститут кібернетики ім. В.М. Глушкова НАН України |
| 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 |
| spellingShingle | Анализ структуры атрибутных транзиционных систем без скрытых переходов Скобелев, В.В. Кібернетика |
| title | Анализ структуры атрибутных транзиционных систем без скрытых переходов |
| title_alt | Аналіз структури атрибутних транзиційних систем без прихованих переходів Analysis of the structure of attributed transition systems without hidden transitions |
| title_full | Анализ структуры атрибутных транзиционных систем без скрытых переходов |
| title_fullStr | Анализ структуры атрибутных транзиционных систем без скрытых переходов |
| title_full_unstemmed | Анализ структуры атрибутных транзиционных систем без скрытых переходов |
| title_short | Анализ структуры атрибутных транзиционных систем без скрытых переходов |
| title_sort | анализ структуры атрибутных транзиционных систем без скрытых переходов |
| topic | Кібернетика |
| topic_facet | Кібернетика |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/144707 |
| work_keys_str_mv | AT skobelevvv analizstrukturyatributnyhtranzicionnyhsistembezskrytyhperehodov AT skobelevvv analízstrukturiatributnihtranzicíinihsistembezprihovanihperehodív AT skobelevvv analysisofthestructureofattributedtransitionsystemswithouthiddentransitions |