Метод аналитического конструирования структуры перестраиваемого формирователя тестов

Автор(ы):  В.Г. Рубанов, Доктор наук, Профессор, Белгородский государственный технологический университет им. В.Г. Шухова, г. Белгород, Россия, vgrubanov@gmail.com

O.B. Луценко, Kандидат наук, Доцент, Белгородский государственный технологический университет им. В.Г. Шухова, г. Белгород, Россия, lucenko 67@mail.ru

Е.М. Паращук, Kандидат наук, Белгородский государственный технологический университет им. В.Г. Шухова, г. Белгород, Россия, доцент кафедры «Техническая кибернетика», kara1205@mail.ru

Журнал:  Том 45, №1

Рубрика:  Компьютерное моделирование

Аннотация:  Предложен метод аналитического конструирования цифровых устройств, формирующих тесты произвольной конфигурации для контроля технического состояния бортовых контроллеров и периферийных дискретных устройств системы управления мобильных роботов. Доказана возможность и единственность реализации заданного теста на основе предложенного метода синтеза, использующего полный функциональный набор периодических последовательностей импульсов. Представлена методика синтеза заданного диагностического теста в форме последовательности выполняемых действий с учетом сформулированного и доказанного утверждения и следствий, определяющих особенности формируемой диагностической посылки. Показана иллюстрация применения предложенного метода синтеза на конкретном примере для наиболее общего случая, при этом отмечена возможность автоматизированного построения тестов с помощью контроллера с одновременным выпуском технической документации

Ключевые слова:  работоспособность, диагностика, тест, формирователь, неисправность, живучесть, реконфигурация, адаптация, базис, индукция, триггер, логические элементы, операция конъюнкции

Полный текст (PDF):  Загрузить

Количество скачиваний:  444