In addition, the real system is likely to contain a fault signal owing to various factors.
The experimental results indicated that when a normal fault contains a growth fault at the offset of the base rock, the shear band develops upward beside the weak side of the shear band of the original-topped soil layer, and surfaces considerably faster than that of the single-topped layer.
The fault zone contains a light gray fault gouge, a brown fault gouge, and a black fault breccia.
There, the fault zone contains a light gray fault gouge, a brown fault gouge, and a black fault breccia (Fig. 1c).
Drilling studies of active faults from <4 km depth found that fault cores that contain a single fault core surrounded by subsidiary faults occur across lithologic discontinuities at the Alpine Fault (Sutherland et al. 2012), Punchbowl Fault Chesterr et al. 1993), Carboneras Fault Faulknerr and Rutter 2003), and the Median Tectonic Line (Shigematsu et al. 2012).
The subfault system contains a known active fault, named the Idenokuchi fault (Research group for active tectonics in Kyushu 1989); however, the observed linear surface ruptures and the displacements indicate the existence of a more complicated subfault system than previously mapped.
Basically, it consists in creating several versions of the program under testing, each one containing a simple fault.
Wherever a fault zone contains a well-defined patch of weakness, he says, it could lead to "a very different type of earthquake rupture, one which is more likely to cause a large tsunami".
If there is some vertex x not one-step t-identifiable in G, then G contains a pair of indistinguishable fault sets F 1,F 2, both of which have at most t elements so that x is in F 1△F 2 according to Definition 3. Obviously, G is not one-step t-fault diagnosable, which is an trivial contradiction against the assumption.
If there is some vertex x in G not restrictively one-step t-identifiable, then G contains a pair of indistinguishable fault sets F 1,F 2, both of which have at most t elements so that x is in F 1△F 2, in accordance with Definition 3. Hence, it follows from Definition 2 that G is not restrictively one-step t-diagnosable, which is an obvious contradiction against the assumption.
