scholarly journals Optimising Spectrum Based Fault Localisation for Single Fault Programs Using Specifications

2018 ◽  
pp. 246-263 ◽  
Author(s):  
David Landsberg ◽  
Youcheng Sun ◽  
Daniel Kroening
Keyword(s):  
Single Fault

Recognition of Bearing Faults of the Same Kind

1991 ◽  
Author(s):  
Ming Bao ◽  
Chun-sheng Zhao
Keyword(s):  
Condition Monitoring ◽  
Characteristic Frequency ◽  
Correct Equation ◽  
Bearing Faults ◽  
Single Fault ◽  
Equipment Utilization ◽  
Bearing Part ◽  
Fault Characteristic

Abstract Condition monitoring has gained much acceptance because of the reduction of maintenance expenses and the increase of rate of equipment utilization. It is very important that the serious degrees of machinery faults is correctly predicted. Two faults in a bearing part is, of course, more serious than the single fault is. If the features of bearing faults of the same kind are not recognized, faults of the same kind are, then, mistaken for a single fault, the serious consequences may be caused. The features of bearing faults of the same kind are presented and the illustrations are given in the paper. Meanwhile, the correct equation of roller’ s fault characteristic frequency is expounded conveniently.

The Bane of Generate-and-Validate Program Repair: Too Much Generation, Too Little Validation

2021 ◽  
Author(s):  
Besma Khaireddine ◽  
Aleksandr Zakharchenko ◽  
Ali Mili
Keyword(s):  
Single Fault ◽  
Software Products ◽  
Program Repair ◽  
Correct Program

To repair a program does not mean to make it absolutely correct; it only means to make it more-correct, in some sense, than it is. This distinction has consequences: Given that software products typically have a dozen faults per KLOC and thousands of KLOC’s, program repair tools ought to be designed in such a way as to transform an incorrect program into an incorrect, albeit more-correct, program. In the absence of a concept of relative correctness (the property of a program to be more-correct than another with respect to a specification), program repair methods have resorted to various approximations of absolute correctness. This shortcoming has been concealed by the fact that they are usually validated on programs with a single fault at a time, for which the goals of absolute correctness and relative correctness are indistinguishable. In this paper we discuss how the use of relative correctness can reduce the scale of patch generation and enhance the efficiency, precision and recall of patch validation.

Short single tests for circuits with arbitrary stuck-at faults at outputs of gates

2019 ◽  
Vol 29 (5) ◽  
pp. 321-333
Author(s):  
Kirill A. Popkov
Keyword(s):  
Fault Detection ◽  
Boolean Function ◽  
Diagnostic Test ◽  
List Type ◽  
Single Fault

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.

The Oil Accumulation Law of Putaohua Oil Layer in Taidongarea, Songliao Basin

2013 ◽  
Vol 868 ◽  
pp. 142-145
Author(s):  
Zai Qiang Wang
Keyword(s):  
Songliao Basin ◽  
High Quality ◽  
Oil Accumulation ◽  
Single Fault ◽  
Double Peaks ◽  
Core Logging ◽  
Match Type ◽  
Reservoir Type ◽  
Distributary Channel ◽  
High Quality Reservoir

The research on Putaohua oil layer in Taidong,Songliao Basin using core,logging and seisimic information shows that oil is divided into belts from east to west influenced by faults striking from south to north and oil potential is getting poorer from east to west, oil is mainly distributed in the middle of Putaohua oil layer showing double peaks, and the main reservoir type is fault-lithology reservoir formd by NStrending faults and NW trending channel sandbody on the slope dipping to the southeast. According to the match type between fault and sandbody in single trap ,we draw the accumulation law that oil accumulation area is controlled by single fault-terrace belt; the high-quality reservoir is composed of underwater distributary channel and river sheet sand; vertical oil accumulation height is influenced by fault lateral sealing ability; and oil accumulation horizon is controlled by the match type between fault and sandbody.

Sign in / Sign up

Export Citation Format

Share Document