Автоматика и телемеханика
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Общая информация
Последний выпуск
Архив
Импакт-фактор
Правила для авторов
Загрузить рукопись

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS


Автомат. и телемех.:
Год:
Том:
Выпуск:
Страница:
Найти




Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация

Автоматика и телемеханика, 2000, выпуск 10, страницы 164–170 (Mi at380)  
Техническая диагностика

Генератор исчерпывающего теста на основе двоичного счетчика для одного вида синхронного автомата с конечной памятью

Г. П. Аксёнова, В. Ф. Халчев

Институт проблем управления им. В. А. Трапезникова РАН, Москва
PDF полного текста (158 kB)
Аннотация: Рассматривается двоичный счетчик в качестве генератора исчерпывающего теста для синхронного автомата с конечной памятью типа $B$-схемы. Показано, что двоичный счетчик обеспечивает на своих выходах полный перебор значений сигналов, взятых не только в данный момент времени, но и в любой предшествующий момент, свой для каждого выхода.
Статья представлена к публикации членом редколлегии: П. П. Пархоменко

Поступила в редакцию: 02.03.2000
Реферативные базы данных:
Тип публикации: Статья
УДК: 681.326.7
MSC: 68W35
Образец цитирования: Г. П. Аксёнова, В. Ф. Халчев, “Генератор исчерпывающего теста на основе двоичного счетчика для одного вида синхронного автомата с конечной памятью”, Автомат. и телемех., 2000, № 10, 164–170; Autom. Remote Control, 61:10 (2000), 1735–1740
Цитирование в формате AMSBIB
\RBibitem{AksKha00}
\by Г.~П.~Аксёнова, В.~Ф.~Халчев
\paper Генератор исчерпывающего теста на основе двоичного счетчика для одного вида синхронного автомата с~конечной памятью
\jour Автомат. и телемех.
\yr 2000
\issue 10
\pages 164--170
\mathnet{http://mi.mathnet.ru/at380}
\mathscinet{http://mathscinet.ams.org/mathscinet-getitem?mr=1827270}
\zmath{https://zbmath.org/?q=an:1058.68538}
\transl
\jour Autom. Remote Control
\yr 2000
\vol 61
\issue 10
\pages 1735--1740
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/at380
  • https://www.mathnet.ru/rus/at/y2000/i10/p164
    • Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Автоматика и телемеханика
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024