92 research outputs found

    Using resolution as a decision procedure

    No full text

    Vortex motion and Josephson effect in superconducting microbridges in (001) and (105) oriented YBaCuO thin films

    Get PDF
    Microbridges with dimensions smaller than the effective penetration depth have been prepared in epitaxially grown

    Restart tableaux with selection function

    Full text link

    Resistive state of superconducting structures with fractal clusters of a normal phase

    Full text link
    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]

    Dynamics of the magnetic flux trapped in fractal clusters of normal phase in a superconductor

    Full text link
    The influence of geometry and morphology of superconducting structure on critical currents and magnetic flux trapping in percolative type-II superconductor is considered. The superconductor contains the clusters of a normal phase, which act as pinning centers. It is found that such clusters have significant fractal properties. The main features of these clusters are studied in detail: the cluster statistics is analyzed; the fractal dimension of their boundary is estimated; the distribution of critical currents is obtained, and its peculiarities are explored. It is examined thoroughly how the finite resolution capacity of the cluster geometrical size measurement affects the estimated value of fractal dimension. The effect of fractal properties of the normal phase clusters on the electric field arising from magnetic flux motion is investigated in the case of an exponential distribution of cluster areas. The voltage-current characteristics of superconductors in the resistive state for an arbitrary fractal dimension are obtained. It is revealed that the fractality of the boundaries of the normal phase clusters intensifies the magnetic flux trapping and thereby raises the critical current of a superconductor.Comment: revtex, 16 pages with 1 table and 5 figures; text and figures are improved; more detailed version with geometric probability analisys of the distribution of entry points into weak links over the perimeter of a normal phase clusters and one additional figure is published in Phys.Rev.B; alternative e-mail of author is [email protected]

    An Overview of Resolution Decision Procedures

    No full text
    In the paper I give a unified treatment of several first order decidable classes, using resolution decision procedures
    corecore