Статья: ИНФОРМАТИКА И УПРАВЛЕНИЕ В ТЕХНИЧЕСКИХ И СОЦИАЛЬНЫХ СИСТЕМАХ

Скачать

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

Информация о документе

Формат документа: PDF
Кол-во страниц: 1 страница
Загрузил(а): Евтушенко Н.
Лицензия: —
Доступ: Всем

Информация о статье

ISSN: 1816-210X
Журнал: ТРУДЫ НГТУ ИМ. Р.Е. АЛЕКСЕЕВА
Год публикации: 2024
Автор(ы): Евтушенко Н. В., Твардовский А. С., Лапутенко А. В.
Ключевые фразы: конечные автоматы, временные автоматы, расширенные автоматы, установочная / синхронизирующая последовательность, конечно-автоматная абстракция.
УДК: 519.713. Теория автоматов

Статистика просмотров

Статистика просмотров статьи за 2025 год.

Все права на тексты и товарные знаки принадлежат их законным владельцам. Подробнее...

Сайт https://scinetwork.ru (далее – Сайт) представляет собой платформу, на которой пользователи самостоятельно добавляют и публикуют метаинформацию о материалах разных видов (названия, обложки, аннотации, данные об авторах и т.п.). Администрация Сайта не занимается самостоятельным сбором или первоначальной публикацией этих сведений.

Модерация контента

На Сайте действует постмодерация. Это означает, что материалы, добавляемые пользователями, становятся общедоступными сразу после публикации и проверяются Администрацией Сайта постфактум в разумные сроки.

Использование информации

Администрация Сайта не использует метаданные и обложки документов в коммерческих или рекламных целях для продвижения товаров или услуг и не заявляет о каких-либо правах на представленные объекты интеллектуальной собственности. Все права на документы и сопутствующие материалы принадлежат их законным правообладателям.

Отказ от гарантий

Администрация Сайта не гарантирует точность, полноту и достоверность метаинформации, размещенной пользователями, поскольку не осуществляет ее предварительную проверку.

Ответственность

Сайт носит исключительно информационно-справочный характер. Администрация Сайта не несет ответственности за содержание и достоверность информации, добавленной пользователями, а также за любые убытки, возникшие в связи с использованием или невозможностью использования Сайта и размещенной на нем информации.