Закон сохранения перебора и естественный параллелизм $D$-алгоритмов для построения тестов и моделирования в технической диагностике. I

Вводятся графические модели процессов построения тестов и моделирования с помощью $D$-алгоритмов: типичные и минимальные диагностические лабиринты. Определяется понятие величины диагностического перебора и понятие минимальной величины $\mathrm{Pr}_{\min}$ такого перебора. Для измерения величин перебора определена диагностическая единица перебора. На основе свойств симметрии минимальных диагностических лабиринтов доказана теорема (аналог известной “физической” теоремы Нётер), из которой следует закон сохранения перебора для последовательных $D$-алгоритмов: $\mathrm{Pr}_{\min}=2N-n-m=\mathrm{const}$, где $N$ – число дуг в логической сети комбинационного устройства, $n$ и $m$ – числа его внешних входов и выходов. Вводится понятие КПД для $D$-алгоритмов и формула для его вычисления. Обосновывается механизм естественного параллелизма идеального генератора тестов, который является теоретическим прообразом реальных генераторов с масштабируемой, потенциально неограниченной производительностью.

Статья представлена к публикации членом редколлегии: П. П. Пархоменко