Theory of superconductivity of carbon nanotubes and graphene

We present a new mechanism of carbon nanotube superconductivity that originates from edge states which are specific to graphene. Using on-site and boundary deformation potentials which do not cause bulk superconductivity, we obtain an appreciable transition temperature for the edge state. As a consequence, a metallic zigzag carbon nanotube having open boundaries can be regarded as a natural superconductor/normal metal/superconductor junction system, in which superconducting states are developed locally at both ends of the nanotube and a normal metal exists in the middle. In this case, a signal of the edge state superconductivity appears as the Josephson current which is sensitive to the length of a nanotube and the position of the Fermi energy. Such a dependence distinguishs edge state superconductivity from bulk superconductivity.Comment: 5 pages, 2 figure

First E region observations of mesoscale neutral wind interaction with auroral arcs

We report the first observations of E region neutral wind fields and their interaction with auroral arcs at mesoscale spatial resolution during geomagnetically quiet conditions at Mawson, Antarctica. This was achieved by using a scanning Doppler imager, which can observe thermospheric neutral line-of-sight winds and temperatures simultaneously over a wide field of view. In two cases, the background E region wind field was perpendicular to an auroral arc, which when it appeared caused the wind direction within ∼50 km of the arc to rotate parallel along the arc, reverting to the background flow direction when the arc disappeared. This was observed under both westward and eastward plasma convection. The wind rotations occurred within 7–16 min. In one case, as an auroral arc propagated from the horizon toward the local zenith, the background E region wind field became significantly weaker but remained unaffected where the arc had not passed through. We demonstrate through modeling that these effects cannot be explained by height changes in the emission layer. The most likely explanation seems to be the greatly enhanced ion drag associated with the increased plasma density and localized ionospheric electric field associated with auroral arcs. In all cases, the F region neutral wind appeared less affected by the auroral arc, although its presence is clear in the data

Intense space storms: Critical issues and open disputes

Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/94671/1/jgra16863.pd

Axiomatic systems and topological semantics for intuitionistic temporal logic

We propose four axiomatic systems for intuitionistic linear temporal logic and show that each of these systems is sound for a class of structures based either on Kripke frames or on dynamic topological systems. Our topological semantics features a new interpretation for the `henceforth' modality that is a natural intuitionistic variant of the classical one. Using the soundness results, we show that the four logics obtained from the axiomatic systems are distinct. Finally, we show that when the language is restricted to the `henceforth'-free fragment, the set of valid formulas for the relational and topological semantics coincide

The non-linear response of the magnetosphere: 30 October 1978

Previous efforts to find evidence of deterministic nonlinear dynamics in the global geomagnetic system have treated the geomagnetic system as autonomous. However, the geomagnetic system is strongly driven by the stochastic solar wind. We consider the response of the magnetosphere, as given by the AE index, for one day when the IMF had a nearly constant southward value. Using both a series of non-linear statistics and non-linear prediction of the response to the input signal $v B_s$, we find that there is some evidence for deterministic non-linear response of the Earth's magnetosphere on that day.Comment: 4 pages, Postscript file compressed and uuencoded, made with uufiles scrip

Towards concolic testing for hybrid systems

Hybrid systems exhibit both continuous and discrete behavior. Analyzing hybrid systems is known to be hard. Inspired by the idea of concolic testing (of programs), we investigate whether we can combine random sampling and symbolic execution in order to effectively verify hybrid systems. We identify a sufficient condition under which such a combination is more effective than random sampling. Furthermore, we analyze different strategies of combining random sampling and symbolic execution and propose an algorithm which allows us to dynamically switch between them so as to reduce the overall cost. Our method has been implemented as a web-based checker named HYCHECKER. HYCHECKER has been evaluated with benchmark hybrid systems and a water treatment system in order to test its effectiveness.CPCI-S(ISTP)[email protected]; [email protected]