ФОРМАЛИЗАЦИЯ ПРЕДСТАВЛЕНИЯ ПОСЛЕДОВАТЕЛЬНОСТИ ТЕСТОВЫХ ГИПОТЕЗ ПРИ ДИАГНОСТИРОВАНИИ ЭЛЕКТРОННЫХ СХЕМ FORMALIZED REPRESENTATION SEQUENCES OF TEST HYPOTHESES IN THE DIAGNOSIS OF ELECTRONIC CIRCUITS

Abstract

Разработана процедура формализованного представления последовательности пробных (тестовых) гипотез в ходе проверки исправности электронных устройств при их декомпозиции на подсхемы. Процедура доведена до практического алгоритма, обеспечивающего эффективный (с точки зрения минимизации трудоемкости) поиск неисправных подсхем электронного устройства. The procedure of formalized representation of a sequence of test hypotheses in the verifying operation of electronic devices when they are decomposing in the sub circuit. The procedure brought to a practical algorithm, providing an efficient (in terms of minimizing labour input) troubleshooting sub circuits electronic device.

Authors and Affiliations

А. А. Верлань, Ю. Стертен, С. А. Положаенко

Keywords

Related Articles

ФРАКТАЛЬНЫЙ АНАЛИЗ РЕОЛОГИИ МНОГОКОМПОНЕНТНЫХ И ГЕТЕРОГЕННЫХ ПЛАСТОВЫХ СИСТЕМ FRACTAL ANALYSIS OF REOLOGY OF MULTICOMPONENT AND HETEROGENEOUS STRATAL SYSTEMS

Исследовано условие «гладкости» фронта раздела составляющих многокомпонентных (гетерогенных) систем на основании анализа «скачка» насыщенности в функции Баклея-Леверетта. Показано, что «скачок» насыщенности отсутствует,...

МАТЕМАТИЧЕСКАЯ МОДЕЛЬ ТЕХНИЧЕСКОГО ОБСЛУЖИВАНИЯ СЛОЖНОГО ВОССТАНАВЛИВАЕМОГО ОБЪЕКТА БЕЗ УЧЕТА ЕГО СТРУКТУРЫ MATHEMATICAL MODEL OF TECHNICAL MAINTENANCE OF DIFFICULT REFURBISHABLE OBJECT WITHOUT ACCOUNT OF HIS STRUCTURE

В статье приведен анализ особенности технического обслуживания сложного восстанавливаемого объекта без учета его структуры и разработана соответствующая математическая модель. To the article the analysis of feature of te...

MATHEMATICAL MODELLING OF DISTANCE MEASURING MULTIFREQUENCY PHASE METHOD

The article is developed algorithm of mathematical modelling of the formation process of the reflected monophonic signal in the presence of several reflection objects has been worked out. The algorithm consists of the fo...

МЕТОД ВІДОКРЕМЛЕННЯ КЛОНУ ВІД ПРООБРАЗУ В ЦИФРОВОМУ ЗОБРАЖЕННІ В УМОВАХ ВІДСУТНОСТІ ВІДМІННОСТЕЙ ПРИ ЇХ ПОСТОБРОБЦІ METHOD FOR SEPARATING OF CLONE AND PROTOTYPE IN A DIGITAL IMAGE IN THE CONDITIONS OF THE ABSENCE OF DIFFERENCES IN THEIR POST-PROCESSING

Одним з найпоширеніших інструментів, що використовується при несанкціонованих змінах цифрових зображень (ЦЗ), залишається клонування. Цей програмний інструмент реалізований у всіх сучасних графічних редакторах, роблячи з...

METHOD OF DETECTION THE FACT OF COMPRESSION IN DIGITAL IMAGES AS AN INTEGRAL PART OF STEGANALYSIS

The new method of detection the fact of compression in color digital images, allowing separate images, initially stored in lossless formats, from images, resaved into lossless format from losses formats, which analyzes s...

Download PDF file
  • EP ID EP196082
  • DOI -
  • Views 89
  • Downloads 0

How To Cite

А. А. Верлань, Ю. Стертен, С. А. Положаенко (2016). ФОРМАЛИЗАЦИЯ ПРЕДСТАВЛЕНИЯ ПОСЛЕДОВАТЕЛЬНОСТИ ТЕСТОВЫХ ГИПОТЕЗ ПРИ ДИАГНОСТИРОВАНИИ ЭЛЕКТРОННЫХ СХЕМ FORMALIZED REPRESENTATION SEQUENCES OF TEST HYPOTHESES IN THE DIAGNOSIS OF ELECTRONIC CIRCUITS. Інформатика та математичні методи в моделюванні, 6(4), 315-321. https://europub.co.uk/articles/-A-196082