In a previous work on test generation for I DDQ bridging faults in CMOS circuits, a genetic algorithm (GA) based approach targeting the all-pair bridging fault set stored in a compact-list data structure was used. In this paper, we target a reduced fault set, such as the one extracted from circuit layout. The reduced fault set is O(N) versus O(N 2) for the all-pair set, where N is the number of...

We characterize those subsets S of the positive integers with the property that, whenever a point x in a dynamical system enters a compact set K along S, K contains a recurrent point. We do the same for uniform recurrence. Let X denote a (compact) metric space and f : X → X a continuous map. We will use the term (compact) dynamical system to refer to such a pair (X, f) . As usual, we write f fo...

We discuss the asymptotic behaviour of solutions for the nonlocal quasilinear hyperbolic problem of Kirchhoff Type [ u_{tt}-phi (x)||nabla u(t)||^{2}Delta u+delta u_{t}=|u|^{a}u,, x in mathbb{R}^{N} ,,tgeq 0;,]with initial conditions $u(x,0) = u_0 (x)$ and $u_t(x,0) = u_1 (x)$, in the case where $N geq 3, ; delta geq 0$ and $(phi (x))^{-1} =g (x)$  is a positive function lying in $L^{N/2}(mathb...

In this paper, we construct a class of Hausdorff spaces with the property that nonempty compact subsets of these spaces that have the same cardinality are homeomorphic Theorem 3.7 . Conditions are given for these spaces to be compact Corollary 2.10 . Also, it is shown that these spaces contain compact subsets that are infinite Corollary 2.10 . This paper uses the Zermelo-Fraenkel axioms of set ...

In this paper, a new notion of sequential compactness is introduced in L-topological spaces, which is called sequentially S∗-compactness. If L = [0, 1], sequential ultra-compactness, sequential N-compactness and sequential strong compactness imply sequential S∗-compactness, and sequential S∗-compactness implies sequential F-compactness. The intersection of a sequentially S∗-compact L-set and a ...

In ‎this ‎paper, ‎we ‎study ‎the ‎relation ‎between ‎the ‎soft ‎sets ‎and ‎soft ‎Lie ‎algebras ‎with ‎the ‎lattice theory. ‎We ‎introduce ‎the ‎concepts ‎of ‎the ‎lattice ‎of ‎soft ‎sets, ‎full ‎soft ‎sets ‎and ‎soft ‎Lie ‎algebras ‎and next, we ‎verify ‎some ‎properties ‎of ‎them. We ‎prove ‎that ‎the ‎lattice ‎of ‎the ‎soft ‎sets ‎on ‎a fixed parameter set is isomorphic to the power set of a ...

where En are measurable sets. Let > 0. Since μ is outer regular, and inner regular on measurable sets of finite measure, there exist an open set On and a compact set Kn such that Kn ⊂ En ⊂ On μ(En)− 1 2N < μ(Kn) ≤ μ(En) ≤ μ(On) < μ(En) + 1 2N thus Kn ⊂ On and μ(On)− μ(Kn) < 1 N , and since X is of finite measure, we have μ(On \Kn) < 1 N consider the closed sets Kn and O c n. By Urysohn’s Lemma,...