Атрибутные транзиционные системы со скрытыми переходами
В работе содержится теоретико-множественный анализ структуры атрибутных транзиционных систем со скрытыми переходами в предположении, что множество доопределяемых состояний зафиксировано и не изменяет структуры системы. Исследованы случаи, когда приоритеты скрытых и доступных действий совпадают либо...
Saved in:
| Published in: | Кибернетика и системный анализ |
|---|---|
| Date: | 2017 |
| Main Author: | |
| Format: | Article |
| Language: | Russian |
| Published: |
Інститут кібернетики ім. В.М. Глушкова НАН України
2017
|
| Subjects: | |
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/144771 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Cite this: | Атрибутные транзиционные системы со скрытыми переходами / В.В. Скобелев // Кибернетика и системный анализ. — 2017. — Т. 53, № 4. — С. 37–49. — Бібліогр.: 9 назв. — рос. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1862641061132763136 |
|---|---|
| author | Скобелев, В.В. |
| author_facet | Скобелев, В.В. |
| citation_txt | Атрибутные транзиционные системы со скрытыми переходами / В.В. Скобелев // Кибернетика и системный анализ. — 2017. — Т. 53, № 4. — С. 37–49. — Бібліогр.: 9 назв. — рос. |
| collection | DSpace DC |
| container_title | Кибернетика и системный анализ |
| 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.
|
| first_indexed | 2025-12-01T04:10:14Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-144771 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 0023-1274 |
| language | Russian |
| last_indexed | 2025-12-01T04:10:14Z |
| publishDate | 2017 |
| publisher | Інститут кібернетики ім. В.М. Глушкова НАН України |
| 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 |
| spellingShingle | Атрибутные транзиционные системы со скрытыми переходами Скобелев, В.В. Кібернетика |
| title | Атрибутные транзиционные системы со скрытыми переходами |
| title_alt | Атрибутні транзиційні системи з прихованими переходами Attributed transition systems with hidden transitions |
| title_full | Атрибутные транзиционные системы со скрытыми переходами |
| title_fullStr | Атрибутные транзиционные системы со скрытыми переходами |
| title_full_unstemmed | Атрибутные транзиционные системы со скрытыми переходами |
| title_short | Атрибутные транзиционные системы со скрытыми переходами |
| title_sort | атрибутные транзиционные системы со скрытыми переходами |
| topic | Кібернетика |
| topic_facet | Кібернетика |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/144771 |
| work_keys_str_mv | AT skobelevvv atributnyetranzicionnyesistemysoskrytymiperehodami AT skobelevvv atributnítranzicíinísistemizprihovanimiperehodami AT skobelevvv attributedtransitionsystemswithhiddentransitions |