Абстрактные модели и элементы синтеза многоверсионных автоматов

Abstract

Разработаны абстрактные модели комбинационных многоверсионных цифровых автоматов (МВЦА). Предложены элементы синтеза МВЦА. Приведены результаты исследования безотказности и достоверности функционирования комбинационных МВЦА.

Розроблено абстрактні моделі комбінаційних багатоверсійних цифрових автоматів (БВЦА). Запропоновано елементи синтезу БВЦА. Наведено результати дослідження безвідмовності та достовірності функціонування комбінаційних БВЦА.