ФОРМАЛИЗАЦИЯ ПРЕДСТАВЛЕНИЯ ПОСЛЕДОВАТЕЛЬНОСТИ ТЕСТОВЫХ ГИПОТЕЗ ПРИ ДИАГНОСТИРОВАНИИ ЭЛЕКТРОННЫХ СХЕМ FORMALIZED REPRESENTATION SEQUENCES OF TEST HYPOTHESES IN THE DIAGNOSIS OF ELECTRONIC CIRCUITS
Journal Title: Інформатика та математичні методи в моделюванні - Year 2016, Vol 6, Issue 4
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
- EP ID EP196082
- DOI -
- Views 105
- Downloads 0
ДИНАМІЧНІ ВЛАСТИВОСТІ ПРОЦЕСІВ ЗАБЕЗПЕЧЕННЯ КІБЕРБЕЗПЕКИ НА ПРИКЛАДІ АУДИТУ КІБЕРБЕЗПЕКИ DYNAMIC PROPERTIES OF PROVIDING OF CYBERSECURITY ON THE EXAMPLE OF CYBERSECURITY AUDIT
У роботі розглянуто процес розвитку від інформаційної безпеки до кібернетичної безпеки об’єктів інфраструктури, і зокрема процесів аудиту кіберзахищеності. Встановлено, що аспекти динаміки процесів інформаційної та кібер...
МОДИФІКАЦІЯ АЛГОРИТМУ ВИЯВЛЕННЯ ШТУЧНОГО ПІДВИЩЕННЯ РІЗКОСТІ ЦИФРОВОГО ЗОБРАЖЕННЯ MODIFICATION OF ALGORITHM FOR DETECTING ARTIFICIAL IMPROVEMENT OF SHARPNESS OF THE DIGITAL IMAGE
Сучасні проблеми захисту інформації змінюються разом з розвитком інформаційних технологій. Рівень кіберзлочинності з кожним роком стає все вищим у всьому світі. Часто атакам кіберзлочинців піддаються цифрові файли різних...
НЕЧІТКА МОДЕЛЬ ФОРМУВАННЯ ІНДИВІДУАЛЬНОЇ ТРАЄКТОРІЇ НАВЧАННЯ ТА ПОБУДОВА ОНТОЛОГІЇ НА ЇЇ ОСНОВІ FUZZY MODEL OF INDIVIDUAL LEARNING PATH FORMING AND ONTOLOGY DESIGN ON ITS BASIS
У статті запропоновано реалізацію моделі формування навчального матеріалу на основі рівня знань студентів і складності завдань (побудови індивідуальної траєкторії навчання), яка базується на апараті нечіткої логіки. Побу...
СРАВНИТЕЛЬНЫЙ АНАЛИЗ ЭФФЕКТИВНОСТИ МЕТОДА ВЫЯВЛЕНИЯ РЕЗУЛЬТАТОВ КЛОНИРОВАНИЯ В УСЛОВИЯХ ПОСТОБРАБОТКИ ИЗОБРАЖЕНИЯ COMPARATIVE ANALYSIS THE EFFICIENCY OF THE METHOD FOR DETECTION THE RESULTS IN THE CLONING IMAGE POSTPROCESSING
В работе проведен сравнительный анализ с современными аналогами эффективности разработанного ранее метода выявления результатов клонирования в цифровом изображении в условиях его постобработки. Теоретический базис метода...
ПРОГНОЗУВАННЯ ТЕХНІЧНОГО СТАНУ ОДНОТИПНИХ ПРОГРАМНО-АПАРАТНИХ ЗАСОБІВ FORECASTING THE TECHNICAL STATE OF THE SAME TYPE SOFTWARE AND HARDWARE EQUIPMENT
Розглянуто підходи, засновані на фізичних передумовах до прогнозування технічного стану (визначення ресурсу) радіоелектронних об'єктів, які потрапляють під визначення «однотипні програмно-апаратні засоби». Прогнозування...