DIAGNOSTIC MODELING OF DIGITAL AUTOMATIC NETWORKS
Authors:
1.
Sankt-Peterburgskiy gosudarstvennyy elektrotehnicheskiy universitet "LETI" im. V. I. Ul'yanova (Lenina)
Sankt-Peterburg, Russian Federation
Sankt-Peterburg, Russian Federation
2.
Sankt-Peterburgskiy gosudarstvennyy elektrotehnicheskiy universitet "LETI" im. V. I. Ul'yanova (Lenina)
employee
Sankt-Peterburg, Russian Federation
employee
Sankt-Peterburg, Russian Federation
Type:
Сonference article
Published:
22.12.2018
Subject area:
UDK 62 Инженерное дело. Техника в целом. Транспорт
GRNTI 50.51 Автоматизация проектирования
BBK 302 Проектирование
TBK 5136 Системы автоматического проектирования
GRNTI 50.51 Автоматизация проектирования
BBK 302 Проектирование
TBK 5136 Системы автоматического проектирования
Language:
Russian
Keywords:
diagnostic model, the digital state machine, a network of digital machines, logic equations, errors in network functions: compliance, transitions, outputs, critical function
Abstract (English):
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.
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
diagnostic model, the digital state machine, a network of digital machines, logic equations, errors in network functions: compliance, transitions, outputs, critical function
1. Hartmanis, J. The algebraic structure theory of sequential machines. / J. Hartmanis, R. Stearns. − New York: Prentice Hall Incorporation, 1966. − 211 p.
2. Podkopaev, B.P. Algebraicheskaya teoriya funkcional'nogo diagnostirovaniya dinamicheskih sistem. Ch.2 Sistemnye algebry, algebraicheskaya model' funkcional'nogo diagnostirovaniya, realizaciya modeli funkcional'nogo diagnostirovaniya. / B.P. Podkopaev. − SPb.: Izd-vo SPbGETU «LETI», 2013. -132 s.
3. Suprun, V.P. Osnovy teorii bulevyh funkciy/ V.P. Suprun. − M.: Izd-vo «Lenand/URSS», 2017. - 208 s.
