ДИАГНОСТИЧЕСКОЕ МОДЕЛИРОВАНИЕ СЕТЕЙ ИЗ ЦИФРОВЫХ АВТОМАТОВ
Авторы:
1.
Санкт-Петербургский государственный электротехнический университет "ЛЭТИ" им. В. И. Ульянова (Ленина)
Санкт-Петербург, Россия
Санкт-Петербург, Россия
2.
Санкт-Петербургский государственный электротехнический университет "ЛЭТИ" им. В. И. Ульянова (Ленина)
сотрудник
Санкт-Петербург, Россия
сотрудник
Санкт-Петербург, Россия
Тип:
Статья конференции
Опубликовано:
22.12.2018
Классификаторы:
УДК 62 Инженерное дело. Техника в целом. Транспорт
ГРНТИ 50.51 Автоматизация проектирования
ББК 302 Проектирование
ТБК 5136 Системы автоматического проектирования
ГРНТИ 50.51 Автоматизация проектирования
ББК 302 Проектирование
ТБК 5136 Системы автоматического проектирования
Язык материала:
русский
Ключевые слова:
diagnostic model, the digital state machine, a network of digital machines, logic equations, errors in network functions: compliance, transitions, outputs, critical function
Аннотация (русский):
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.
Ключевые слова:
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. Подкопаев, Б.П. Алгебраическая теория функционального диагностирования динамических систем. Ч.2 Системные алгебры, алгебраическая модель функционального диагностирования, реализация модели функционального диагностирования. / Б.П. Подкопаев. − СПб.: Изд-во СПбГЭТУ «ЛЭТИ», 2013. -132 с.
3. Супрун, В.П. Основы теории булевых функций/ В.П. Супрун. − М.: Изд-во «Ленанд/URSS», 2017. - 208 с.
