О вероятностном подходе к вычислению оценок управляемости и наблюдаемости узла дискретного устройства

Предлагается метод вычисления вероятностных оценок управляембсти и наблюдаемости для комбинационных схем, основанный на использовании ортогональных дизъюнктивных нормальных форм (ДНФ) и методов решения логических уравнений. Полученные результаты обобщаются на схемы с памятью. Обсуждаются возможности их использования для оценивания качества тестовой последовательности по результатам моделирования исправного устройства.