Атрибутные транзиционные системы со скрытыми переходами
В работе содержится теоретико-множественный анализ структуры атрибутных транзиционных систем со скрытыми переходами в предположении, что множество доопределяемых состояний зафиксировано и не изменяет структуры системы. Исследованы случаи, когда приоритеты скрытых и доступных действий совпадают либо...
Збережено в:
| Дата: | 2017 |
|---|---|
| Автор: | |
| Формат: | Стаття |
| Мова: | Russian |
| Опубліковано: |
Інститут кібернетики ім. В.М. Глушкова НАН України
2017
|
| Назва видання: | Кибернетика и системный анализ |
| Теми: | |
| Онлайн доступ: | http://dspace.nbuv.gov.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 |
irk-123456789-144771 |
|---|---|
| record_format |
dspace |
| spelling |
irk-123456789-1447712019-01-05T01:23:14Z Атрибутные транзиционные системы со скрытыми переходами Скобелев, В.В. Кібернетика В работе содержится теоретико-множественный анализ структуры атрибутных транзиционных систем со скрытыми переходами в предположении, что множество доопределяемых состояний зафиксировано и не изменяет структуры системы. Исследованы случаи, когда приоритеты скрытых и доступных действий совпадают либо приоритет скрытых действий выше, чем приоритет доступных действий. В терминах систем с выделенными начальными и финальными состояниями определены и охарактеризованы классы допустимых, безопасных и корректных систем. Построена алгебра таких систем. Наведено теоретико-множинний аналіз структури атрибутних транзиційних систем з прихованими переходами у припущенні, що множина станів, які можна довизначити, зафіксована і не змінює структури системи. Досліджено випадки, коли пріоритети прихованих і доступних дій збігаються або пріоритет прихованих дій вищий, ніж пріоритет доступних дій. У термінах систем з виділеними початковими і фінальними станами визначено та охарактеризовано класи допустимих, безпечних і коректних систем. Побудовано алгебру таких систем. 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. 2017 Article Атрибутные транзиционные системы со скрытыми переходами / В.В. Скобелев // Кибернетика и системный анализ. — 2017. — Т. 53, № 4. — С. 37–49. — Бібліогр.: 9 назв. — рос. 0023-1274 http://dspace.nbuv.gov.ua/handle/123456789/144771 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/144771 |
| citation_txt |
Атрибутные транзиционные системы со скрытыми переходами / В.В. Скобелев // Кибернетика и системный анализ. — 2017. — Т. 53, № 4. — С. 37–49. — Бібліогр.: 9 назв. — рос. |
| series |
Кибернетика и системный анализ |
| work_keys_str_mv |
AT skobelevvv atributnyetranzicionnyesistemysoskrytymiperehodami |
| first_indexed |
2023-05-20T17:20:25Z |
| last_indexed |
2023-05-20T17:20:25Z |
| _version_ |
1796153072974561280 |