Electromagnetic Effects in Superconductors in Gravitational Field

B. J. Ahmedov,V. G. Kagramanova

DOI: https://doi.org/10.1142/S0218271805006791

2006-08-03

Abstract:The general relativistic modifications to the resistive state in superconductors of second type in the presence of a stationary gravitational field are studied. Some superconducting devices that can measure the gravitational field by its red-shift effect on the frequency of radiation are suggested. It has been shown that by varying the orientation of a superconductor with respect to the earth gravitational field, a corresponding varying contribution to AC Josephson frequency would be added by gravity. A magnetic flux (being proportional to angular velocity of rotation $\Omega$) through a rotating hollow superconducting cylinder with the radial gradient of temperature $\nabla_r T$ is theoretically predicted. The magnetic flux is assumed to be produced by the azimuthal current arising from Coriolis force effect on radial thermoelectric current. Finally the magnetic flux through the superconducting ring with radial heat flow located at the equatorial plane interior the rotating neutron star is calculated. In particular it has been shown that nonvanishing magnetic flux will be generated due to the general relativistic effect of dragging of inertial frames on the thermoelectric current.

General Relativity and Quantum Cosmology,Astrophysics

What problem does this paper attempt to address?

The problem that this paper attempts to solve is how to study Infinite Qualitative Simulations through the Constraint Programming framework, especially focusing on scenarios where time, space, shape, size, etc. are abstracted into finite qualitative relationships. Specifically, the authors introduce a constraint - based method for handling various possible situations in Infinite Qualitative Simulations. These simulations involve qualitative reasoning of background knowledge and constraints between states expressed using Linear Temporal Logic (LTL). This method allows implementation in a general - purpose constraint programming system rather than relying on a specialized qualitative reasoning system.

The main contributions of the paper are as follows:
1. **Formalization Method**: A formal framework is proposed to transform qualitative simulation problems into Constraint Satisfaction Problems (CSPs) and define transformation rules between states through LTL.
2. **Implementation and Optimization**: This method is implemented in the ECLiPSe constraint programming system, and through multiple optimizations and experiments with different heuristic strategies, this method becomes practical.
3. **Application Examples**: Through two detailed case studies - the navigation problem and the juggling simulation, the expressiveness and simplicity of this method are demonstrated.

In conclusion, the paper aims to show how to naturally formalize Infinite Qualitative Simulation problems using constraint programming and linear temporal logic and provides a practical solution.