this paper presents a new arc starter circuit that is usable in manual metal arc welding (mma) power supplies. the proposed circuit uses an auxiliary circuit and a series coupling transformer for adding high frequency spikes to output dc voltage during arc striking. the proposed circuit is usable in inverter based arc welding supplies and it could result in a decrease of weigh, volume and expen...

We define a class of transition systems called effective commutative transition systems (ECTS) and show, by generalising a tableaubased proof for BPP, that strong bisimilarity between any two states of such a transition system is decidable. It gives a general technique for extending decidability borders of strong bisimilarity for a wide class of infinite-state transition systems. This is demons...

A network congestion game is played on a directed, two-terminal network. Every player chooses a route from his origin to his destination. The cost of a route is the sum of the costs of the arcs on it. The arc cost is a function of the number of players who use it. Rosenthal proved that such a game always has a Nash equilibrium in pure strategies. Here we pursue a systematic study of the classes...

BACKGROUND: Though the development and fitting of scleral contact lenses are expanding steadily, there is no simple method to provide scleral metrics for scleral contact lens fitting yet. The aim of this study was to establish formulae for estimation of the axial radius of curvature (ARC) of the anterior sclera using ocular biometric parameters that can be easily obtained with conventional de...

Biochemical, electrophysiological, and imaging studies suggest that the anterior part of the insular cortex (IC) serves as primary taste cortex, whereas fMRI studies in human propose that the anterior IC is also involved in processing of general novelty or saliency information. Here, we compared activity regulated cytoskeleton associated protein (Arc)/Arg3.1 protein levels in the rat IC followi...

For a strongly connected digraphD the restricted arc-connectivity λ′(D) is defined as the minimum cardinality of an arc-cut over all arc-cuts S satisfying that D − S has a non trivial strong component D1 such that D − V (D1) contains an arc. Let S be a subset of vertices of D. We denote by ω+(S) the set of arcs uv with u ∈ S and v ∈ S, and by ω−(S) the set of arcs uv with u ∈ S and v ∈ S. A dig...

Abstract Let $$D=(V,A)$$ D = ( V , A ) be a digraph of order n , S subset V size k and $$2\le k\le n$$ 2 ≤ k n . A st...