Анализ автоматных моделей, определенных на многообразиях над конечным кольцом

Анализ автоматных моделей, определенных на многообразиях над конечным кольцом

Досліджено автоматні моделі, визначені над скінченним кільцем на багатовиді з алгеброю та на параметризованому багатовиді із заданою множиною траєкторій. Визначено гомоморфізми вказаних структур. Встановлено, яким чином гомоморфізм однієї структури на іншу дає змогу за автоматною моделлю, яку задано...

Повний опис

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

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine
id nasplib_isofts_kiev_ua-123456789-207638
record_format dspace
spelling Скобелев, В.В.
2025-10-10T17:38:50Z
2013
Анализ автоматных моделей, определенных на многообразиях над конечным кольцом / В.В. Скобелев // Проблемы управления и информатики. — 2013. — № 4. — С. 147–156. — Бібліогр.: 11 назв. — рос.
0572-2691
https://nasplib.isofts.kiev.ua/handle/123456789/207638
519.712 + 681.3
10.1615/JAutomatInfScien.v45.i8.30
Досліджено автоматні моделі, визначені над скінченним кільцем на багатовиді з алгеброю та на параметризованому багатовиді із заданою множиною траєкторій. Визначено гомоморфізми вказаних структур. Встановлено, яким чином гомоморфізм однієї структури на іншу дає змогу за автоматною моделлю, яку задано на початковій структурі, побудувати її гомоморфний образ, визначений на результуючій моделі. Охарактеризовано множини групових автоматів, автоматів зі станами-джерелами, автоматів зі станами-стоками, автоматів, які мають стани-близнюки, та 1-діагностовних автоматів.
There are analyzed automata models determined over finite ring on variety with algebra and on parametrized variety with prescribed set of trajectories. Homomorphisms of pointed structures are determined. It is proposed some method of exploring this homomorphism for design for any automata model determined in initial structure its image determined in resulting structure. The sets of group automata, automata with source-states, automata with flow-states, automata with twins-states and automata with 1-distinguishable states are characterized.
ru
Інститут кібернетики ім. В.М. Глушкова НАН України
Проблемы управления и информатики
Проблемы защиты информации
Анализ автоматных моделей, определенных на многообразиях над конечным кольцом
Аналіз автоматних моделей, визначених на багатовидах над скінченним кільцем
Analysis of Automata Models Determined on Varieties over Finite Ring
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 2013
language Russian
container_title Проблемы управления и информатики
publisher Інститут кібернетики ім. В.М. Глушкова НАН України
format Article
title_alt Аналіз автоматних моделей, визначених на багатовидах над скінченним кільцем
Analysis of Automata Models Determined on Varieties over Finite Ring
description Досліджено автоматні моделі, визначені над скінченним кільцем на багатовиді з алгеброю та на параметризованому багатовиді із заданою множиною траєкторій. Визначено гомоморфізми вказаних структур. Встановлено, яким чином гомоморфізм однієї структури на іншу дає змогу за автоматною моделлю, яку задано на початковій структурі, побудувати її гомоморфний образ, визначений на результуючій моделі. Охарактеризовано множини групових автоматів, автоматів зі станами-джерелами, автоматів зі станами-стоками, автоматів, які мають стани-близнюки, та 1-діагностовних автоматів. There are analyzed automata models determined over finite ring on variety with algebra and on parametrized variety with prescribed set of trajectories. Homomorphisms of pointed structures are determined. It is proposed some method of exploring this homomorphism for design for any automata model determined in initial structure its image determined in resulting structure. The sets of group automata, automata with source-states, automata with flow-states, automata with twins-states and automata with 1-distinguishable states are characterized.
issn 0572-2691
url https://nasplib.isofts.kiev.ua/handle/123456789/207638
citation_txt Анализ автоматных моделей, определенных на многообразиях над конечным кольцом / В.В. Скобелев // Проблемы управления и информатики. — 2013. — № 4. — С. 147–156. — Бібліогр.: 11 назв. — рос.
work_keys_str_mv AT skobelevvv analizavtomatnyhmodeleiopredelennyhnamnogoobraziâhnadkonečnymkolʹcom
AT skobelevvv analízavtomatnihmodeleiviznačenihnabagatovidahnadskínčennimkílʹcem
AT skobelevvv analysisofautomatamodelsdeterminedonvarietiesoverfinitering
first_indexed 2025-12-07T17:54:08Z
last_indexed 2025-12-07T17:54:08Z
_version_ 1850873005358448640

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