ДИАГНОСТИЧЕСКОЕ МОДЕЛИРОВАНИЕ СЕТЕЙ ИЗ ЦИФРОВЫХ АВТОМАТОВ

И.В. Быстрова, Б.П. Подкопаев
(г. Санкт-Петербург, Санкт-Петербургский государственный электротехнический университет "ЛЭТИ" им. В.И. Ульянова (Ленина))

Рассматривается задача построения диагностической модели для сети S, состоящей из некоторого числа цифровых автоматов, при условии, что диагностические модели всех компонентов сети известны. Предполагается, что эти модели заданы системами логических уравнений, а подлежащие обнаружению ошибки локализуются в любом, но единственном компоненте сети, причём диагностическая модель этого компонента позволяет их обнаружить. Требуется путём преобразования упомянутых систем уравнений найти аналитическое задание минимальной по порядку диагностической модели сети S, обеспечивающей обнаружение таких ошибок.
The problem of constructing a diagnostic model for a network S consisting of a number of digital automata is considered, provided that the diagnostic models of all network components are known. It is assumed that these models are given by systems of logical equations, and the errors to be detected are localized in any but a single component of the network, and the diagnostic model of this component allows them to be detected. It is required to find the analytical task of the minimal order of the diagnostic model of the network S, which provides the detection of such errors, by converting the mentioned systems of equations.

Ключевые слова: диагностическая модель, цифровой автомат, сеть из цифровых автоматов, логические уравнения, ошибки в сети, функции: соответствия, переходов, выходов, решающая функция.
Keywords: diagnostic model, the digital state machine, a network of digital machines, logic equations, errors in network functions: compliance, transitions, outputs, critical function.