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

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

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


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




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

Автоматика и телемеханика, 1980, выпуск 1, страницы 131–137 (Mi at6838)  
Техническая диагностика

Диагностирование цифровых автоматов без памяти на основе модификации естественного логического вывода

А. Б. Галин, М. А. Фалькович

Ростов-на-Дону
PDF полного текста (1507 kB)
Аннотация: Излагаются методы построения автоматизированной диагностической процедуры для цифровых автоматов без памяти, основанные на решении задач диагностирования методами теории доказательства теорем в исчислении высказываний.

Поступила в редакцию: 25.09.1978
Реферативные базы данных:
Тип публикации: Статья
УДК: 681.3:681.326.7
Образец цитирования: А. Б. Галин, М. А. Фалькович, “Диагностирование цифровых автоматов без памяти на основе модификации естественного логического вывода”, Автомат. и телемех., 1980, № 1, 131–137; Autom. Remote Control, 41:1 (1980), 104–109
Цитирование в формате AMSBIB
\RBibitem{GalFal80}
\by А.~Б.~Галин, М.~А.~Фалькович
\paper Диагностирование цифровых автоматов без памяти на основе модификации естественного логического вывода
\jour Автомат. и телемех.
\yr 1980
\issue 1
\pages 131--137
\mathnet{http://mi.mathnet.ru/at6838}
\zmath{https://zbmath.org/?q=an:0439.94032}
\transl
\jour Autom. Remote Control
\yr 1980
\vol 41
\issue 1
\pages 104--109
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/at6838
  • https://www.mathnet.ru/rus/at/y1980/i1/p131
    • Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Автоматика и телемеханика
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024