Атрибутные транзиционные системы со скрытыми переходами

Атрибутные транзиционные системы со скрытыми переходами

В работе содержится теоретико-множественный анализ структуры атрибутных транзиционных систем со скрытыми переходами в предположении, что множество доопределяемых состояний зафиксировано и не изменяет структуры системы. Исследованы случаи, когда приоритеты скрытых и доступных действий совпадают либо...

Повний опис

Збережено в:
Бібліографічні деталі
Опубліковано в: :Кибернетика и системный анализ
Дата:2017
Автор: Скобелев, В.В.
Формат: Стаття
Мова:Russian
Опубліковано: Інститут кібернетики ім. В.М. Глушкова НАН України 2017
Теми:
Кібернетика
Онлайн доступ:https://nasplib.isofts.kiev.ua/handle/123456789/144771
Теги: Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:Digital Library of Periodicals of National Academy of Sciences of Ukraine
Цитувати:Атрибутные транзиционные системы со скрытыми переходами / В.В. Скобелев // Кибернетика и системный анализ. — 2017. — Т. 53, № 4. — С. 37–49. — Бібліогр.: 9 назв. — рос.

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine
id nasplib_isofts_kiev_ua-123456789-144771
record_format dspace
spelling Скобелев, В.В.
2019-01-03T18:51:48Z
2019-01-03T18:51:48Z
2017
Атрибутные транзиционные системы со скрытыми переходами / В.В. Скобелев // Кибернетика и системный анализ. — 2017. — Т. 53, № 4. — С. 37–49. — Бібліогр.: 9 назв. — рос.
0023-1274
https://nasplib.isofts.kiev.ua/handle/123456789/144771
519.686.2
В работе содержится теоретико-множественный анализ структуры атрибутных транзиционных систем со скрытыми переходами в предположении, что множество доопределяемых состояний зафиксировано и не изменяет структуры системы. Исследованы случаи, когда приоритеты скрытых и доступных действий совпадают либо приоритет скрытых действий выше, чем приоритет доступных действий. В терминах систем с выделенными начальными и финальными состояниями определены и охарактеризованы классы допустимых, безопасных и корректных систем. Построена алгебра таких систем.
Наведено теоретико-множинний аналіз структури атрибутних транзиційних систем з прихованими переходами у припущенні, що множина станів, які можна довизначити, зафіксована і не змінює структури системи. Досліджено випадки, коли пріоритети прихованих і доступних дій збігаються або пріоритет прихованих дій вищий, ніж пріоритет доступних дій. У термінах систем з виділеними початковими і фінальними станами визначено та охарактеризовано класи допустимих, безпечних і коректних систем. Побудовано алгебру таких систем.
The given paper conducts set-theoretic analysis of the structure of attributed transition systems with hidden transitions on the assumptions that the set of states for which the set of transitions can be extended is fixed and do not change the structure of the system. The cases are investigated where either priorities of hidden and available actions coincide or where the priority of hidden actions is higher than the priority of available actions. In terms of systems with selected initial and final states, the classes of admissible, safe, and correct systems are defined and characterized. The algebra of such systems is proposed.
ru
Інститут кібернетики ім. В.М. Глушкова НАН України
Кибернетика и системный анализ
Кібернетика
Атрибутные транзиционные системы со скрытыми переходами
Атрибутні транзиційні системи з прихованими переходами
Attributed transition systems with 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 Атрибутні транзиційні системи з прихованими переходами
Attributed transition systems with hidden transitions
description В работе содержится теоретико-множественный анализ структуры атрибутных транзиционных систем со скрытыми переходами в предположении, что множество доопределяемых состояний зафиксировано и не изменяет структуры системы. Исследованы случаи, когда приоритеты скрытых и доступных действий совпадают либо приоритет скрытых действий выше, чем приоритет доступных действий. В терминах систем с выделенными начальными и финальными состояниями определены и охарактеризованы классы допустимых, безопасных и корректных систем. Построена алгебра таких систем. Наведено теоретико-множинний аналіз структури атрибутних транзиційних систем з прихованими переходами у припущенні, що множина станів, які можна довизначити, зафіксована і не змінює структури системи. Досліджено випадки, коли пріоритети прихованих і доступних дій збігаються або пріоритет прихованих дій вищий, ніж пріоритет доступних дій. У термінах систем з виділеними початковими і фінальними станами визначено та охарактеризовано класи допустимих, безпечних і коректних систем. Побудовано алгебру таких систем. The given paper conducts set-theoretic analysis of the structure of attributed transition systems with hidden transitions on the assumptions that the set of states for which the set of transitions can be extended is fixed and do not change the structure of the system. The cases are investigated where either priorities of hidden and available actions coincide or where the priority of hidden actions is higher than the priority of available actions. In terms of systems with selected initial and final states, the classes of admissible, safe, and correct systems are defined and characterized. The algebra of such systems is proposed.
issn 0023-1274
url https://nasplib.isofts.kiev.ua/handle/123456789/144771
citation_txt Атрибутные транзиционные системы со скрытыми переходами / В.В. Скобелев // Кибернетика и системный анализ. — 2017. — Т. 53, № 4. — С. 37–49. — Бібліогр.: 9 назв. — рос.
work_keys_str_mv AT skobelevvv atributnyetranzicionnyesistemysoskrytymiperehodami
AT skobelevvv atributnítranzicíinísistemizprihovanimiperehodami
AT skobelevvv attributedtransitionsystemswithhiddentransitions
first_indexed 2025-12-01T04:10:14Z
last_indexed 2025-12-01T04:10:14Z
_version_ 1850859239385333760

Схожі ресурси