78 research outputs found
Resistive state of superconducting structures with fractal clusters of a normal phase
The effect of morphologic factors on magnetic flux dynamics and critical
currents in percolative superconducting structures is considered. The
superconductor contains the fractal clusters of a normal phase, which act as
pinning centers. The properties of these clusters are analyzed in the general
case of gamma-distribution of their areas. The statistical characteristics of
the normal phase clusters are studied, the critical current distribution is
derived, and the dependencies of the main statistical parameters on the fractal
dimension are found. The effect of fractal clusters of a normal phase on the
electric field induced by the motion of the magnetic flux after the vortices
have been broken away from pinning centers is considered. The voltage-current
characteristics of fractal superconducting structures in a resistive state for
an arbitrary fractal dimension are obtained. It is found that the fractality of
the boundaries of normal phase clusters intensifies magnetic flux trapping and
thereby increases the current-carrying capability of the superconductor.Comment: 15 pages with 8 figures, revtex3, alternative e-mail of author is
[email protected]
An Overview of Resolution Decision Procedures
In the paper I give a unified treatment of several first order decidable classes, using resolution decision procedures
Implementing the clausal normal form transformation with proof generation
We explain how to implement the clausal normal form transformation with proof generation. We present a convenient data structure for sequent calculus proofs, which will be used for representing the generated proofs. The data structure allows easy proof checking and generation of proofs. In addition, it allows convenient implementation of proof normalization, which is necessary in order to keep the size of the generated proofs acceptable
- …