Effective diagnosis of integrated circuits relies critically on the quality of diagnostic test vectors. Diagnostic test pattern generation aims at producing test vectors that distinguish between all distinguishable pairs of faults, and proving the remaining pairs of faults to be indistinguishable. Proving indistinguishabilities, much like proving undetectabilities in the case of detection-orien...

Solute transport problems, including sequential multi-species phenomena, frequently occur in soil systems. The goal of this paper is to present a novel one-dimensional numerical model with fully implicit form differential quadrature method for solving solute equations. analytical results three dispersion problems three- and four-chain members are used analyse the developed model. Simultaneously...

The present study examined the impact of engaging frontal-mediated working memory processes on implicit and explicit category learning. Two stimulus dimensions were relevant to categorization, but in some conditions, a third, irrelevant dimension was also presented. Results indicated that in both implicit and explicit conditions, the inclusion of the irrelevant dimension impaired performance by...

In this paper the derivation of the second differentiation of a general yield surface implicit time stepping method along with its consistent elastic-plastic modulus is studied. Moreover, the explicit, trapezoidal implicit and fully implicit time stepping schemes are compared in rate-dependant plasticity. It is shown that implementing fully implicit time stepping scheme in rate-dependant plasti...

The ability to perform accurate sequential movements is essential to normal motor function. Learning a sequential motor behavior is comprised of two basic components: explicit identification of the order in which the sequence elements should be performed and implicit acquisition of spatial accuracy for each element. Here we investigated the time course of learning of these components for a firs...

in this research, recognition of karstic water-bearing zones using the management of exploration data in kal-qorno valley, situated in the tepal area of shahrood, has been considered. for this purpose, the sequential exploration method was conducted using geological evidences and applying remote sensing and geoelectrical resistivity methods in two major phases including the regional and local s...

Semi-contraction is a withdrawal operation defined by Fermé in “On the logic of theory change: Contraction without recovery.” In this paper we propose: (1) an axiomatic characterization of semi-contraction; (2) an alternative construction for semi-contraction based on semi-saturatable sets, inspired by Levi’s saturatable sets; (3) a special kind of semi-contraction that satisfies the Lindström ...

Let us suppose G is right-multiply prime. Is it possible to extend hulls? We show that every semi-Gaussian subalgebra is measurable. It is not yet known whether Y 6= ∞, although [31] does address the issue of invertibility. Here, admissibility is clearly a concern.