Shock wave boundary layer interaction studied by high-speed schlieren

Shock wave boundary layer interactions at compression ramps have been examined by high-speed schlieren. A total of six ramps with angles ranging from 20 deg to 30 deg, the ramp angle effect on the SWBLI is thus studied. The present high-speed schlieren with a frame rate of 20 kHz generates a large ensemble of 9000 images, which secures the convergence of the statistics of the schlieren intensity. The rms of the schlieren intensity is of great interest, as it enables visualisation of the flow features that are not observable in the raw schlieren images, such as the corner separation/low momentum region, the spot of strong flow unsteadiness right after the shock wave and the location of the peak fluctuation over the ramp. Through the present systematic experimental investigation of SWBLI, the highspeed schlieren is demonstrated to be of great capability for SWBLI study

Hawking Radiation of an Arbitrarily Accelerating Kinnersley Black Hole: Spin-Acceleration Coupling Effect

The Hawking radiation of Weyl neutrinos in an arbitrarily accelerating Kinnersley black hole is investigated by using a method of the generalized tortoise coordinate transformation. Both the location and temperature of the event horizon depend on the time and on the angles. They coincide with previous results, but the thermal radiation spectrum of massless spinor particles displays a kind of spin-acceleration coupling effect.Comment: 8 pages, no figure, revtex 4.0, revisted version with typesetting errors and misprint correcte

Switching magnetoresistance in vertically interfaced Pr0.5Ca0.5MnO3 grown on ZnO nanowires

The synthesis, morphology and magneto-transport properties of nanostructure-engineered charge-ordered Pr0.5Ca0.5MnO3 grown on ZnO nanowires are reported. The stability of the charge-ordering can be tuned, but more interestingly the sign of the magnetoresistance is inverted at low temperatures. Coexistence of ferromagnetic clusters on the surface and antiferromagnetic phase in the core of the grains were considered in order to understand these features. This work suggests that such a process of growing on nanowires network can be readily extended to other transition metal oxides and open doors towards tailoring their functionalities.Comment: 7 pages, 4 figures, to be published in Applied Physics Letter

Optical Flashes and Very Early Afterglows in Wind Environments

The interaction of a relativistic fireball with its ambient medium is described through two shocks: a reverse shock that propagates into the fireball, and a forward shock that propagates into the medium. The observed optical flash of GRB 990123 has been considered to be the emission from such a reverse shock. The observational properties of afterglows suggest that the progenitors of some GRBs may be massive stars and their surrounding media may be stellar winds. We here study very early afterglows from the reverse and forward shocks in winds. An optical flash mainly arises from the relativistic reverse shock while a radio flare is produced by the forward shock. The peak flux densities of optical flashes are larger than 1 Jy for typical parameters, if we do not take into account some appropriate dust obscuration along the line of sight. The radio flare always has a long lasting constant flux, which will not be covered up by interstellar scintillation. The non-detections of optical flashes brighter than about 9th magnitude may constrain the GRBs isotropic energies to be no more than a few $10^{52}$ ergs and wind intensities to be relatively weak.Comment: 21 pages, 6 figures, accepted by MNRAS on March 7, 200

Verifying pushdown multi-agent systems against strategy logics

In this paper, we investigate model checking algorithms for variants of strategy logic over pushdown multi-agent systems, modeled by pushdown game structures (PGSs). We consider various fragments of strategy logic, i.e., SL[CG], SL[DG], SL[1G] and BSIL. We show that the model checking problems on PGSs for SL[CG], SL[DG] and SL[1G] are 3EXTIME-complete, which are not harder than the problem for the subsumed logic ATL*. When BSIL is concerned, the model checking problem becomes 2EXPTIME-complete. Our algorithms are automata-theoretic and based on the saturation technique, which are amenable to implementations