Lower bounds for lengths of single tests for Boolean circuits

2019 ◽  
Vol 29 (1) ◽  
pp. 23-33 ◽  
Author(s):  
Kirill A. Popkov

Abstract We obtain nontrivial lower bounds for lengths of minimal single fault detection and diagnostic tests for Boolean circuits in wide classes of bases in presence of stuck-at faults at outputs of circuit gates.

2019 ◽  
Vol 29 (5) ◽  
pp. 321-333
Author(s):  
Kirill A. Popkov

Abstract The following results are proved: any nonconstant Boolean function may be implemented by an irredundant circuit of gates in the basis {x& y, x, x ⊕ y ⊕ z} admitting a single fault detection test of length at most 2 with respect to arbitrary stuck-at faults at outputs of gates, there exists a six-place Boolean function ψ such that any nonconstant Boolean function may be implemented by an irredundant circuit of gates in the basis {ψ} admitting a single diagnostic test of length at most 3 with respect to arbitrary stuck-at faults at outputs of gates.


2019 ◽  
Vol 29 (1) ◽  
pp. 35-48
Author(s):  
Dmitry S. Romanov ◽  
Elena Yu. Romanova

Abstract A constructive proof is given that in each of the bases B′ = {x&y, x⊕y, x ∼ y}, B1 = {x&y, x⊕y, 1} any n-place Boolean function may be implemented: by an irredundant combinational circuit with n inputs and one output admitting (under single stuck-at faults at inputs and outputs of gates) a single fault detection test of length at most 16, by an irredundant combinational circuit with n inputs and one output admitting (under single stuck-at faults at inputs and outputs of gates and at primary inputs) a single fault detection test of length at most 2n−2log2 n+O(1); besides, there exists an n-place function that cannot be implemented by an irredundant circuit admitting a detecting test whose length is smaller than 2n−2log2 n − Ω(1), by an irredundant combinational circuit with n inputs and three outputs admitting (under single stuck-at faults at inputs and outputs of gates and at primary inputs) a single fault detection test of length at most 17.


2017 ◽  
Vol 102 (3-4) ◽  
pp. 580-582
Author(s):  
N. P. Red’kin

Author(s):  
Hans DePold ◽  
Jason Siegel ◽  
Jon Hull

This paper presents a method for providing metrics to evaluate the accuracy and cost effectiveness of diagnostic decision support systems. One intention of engine health management (EHM) fault detection systems is to have engines identified for removal and refurbishment as soon as there is evidence of an adverse gas generator trend shift. The benefits of EHM diagnostics and prognostics tests are derived from the resulting improved safety, the reduced operating costs, and most importantly, the good will and trust of the customer. The method presented in this paper is a generalized way of evaluating the performance of some of the tests that are used to make inspection, removal, and maintenance decisions [Ref 1,2]. The detection of faults from shifts in classification data is the first step in EHM systems that use diagnostics and prognostics [Ref 3,4,5]. The minimum parameter shift required to trigger a fault indication is called the threshold. Typically, it is a predetermined multiple of the standard deviation of the parameter measurements. Root cause isolation is usually invoked following these detection tests for the gas path parameter shifts. This paper shows how the achievable accuracy of diagnostic and prognostic system tests can be determined from the signal to noise ratio (SNR), and the system’s design (sensitivity and specificity). From these tests we extract two features, true positives (TP) and false positives (FP) that can be used to compare the accuracy of any simple or complex decision support system. This method is conducive to efficiently handling large amounts of data from multiple sensor tests because it avoids explicit correlation among individual diagnostic tests, and focuses instead on the net results. Each piece of classification information is used to reduce ambiguity. In this approach, the individual diagnostic tests and any data fusion weighting factors can be parametrically varied to optimize the accuracy of the decisions. The resulting plot of TP versus FP is then directly compared to the results of simple idealized classifier systems having known SNRs. This paper applies the receiver operating characteristics (ROC) process to evaluate the potential accuracy of EHM decisions. The paper also shows that the actual accuracy depends on how thresholds are set, and on the local shape of the ROC in the regions where it is used. The method presented can be applied to test the relative accuracy of each phase of the EHM decision-making process. The effects of test accuracies, event probabilities, and consequential event costs on the value of the decision support system are also presented.


Sign in / Sign up

Export Citation Format

Share Document