693 research outputs found
Evaluation of scanning earth sensor mechanism on engineering test satellite 4
The results of the analysis and the evaluation of flight data obtained from the horizon sensor test project are described. The rotary mechanism of the scanning earth sensor composed of direct drive motor and bearings using solid lubricant is operated satisfactorily. The transmitted flight data from Engineering Test Satellite IV was evaluated in comparison with the design value
Pressure-induced anomalous magnetism and unconventional superconductivity in CeRhIn5 : 115In-NQR Study under Pressure
We report In nuclear-quadrupole-resonance (NQR) measurements of the
pressure()-induced superconductor CeRhIn in the antiferromagnetic (AF)
and superconducting (SC) states. In the AF region, the internal field
at the In site is substantially reduced from kOe at P=0 to 0.39
kOe at GPa, while the N\'eel temperature slightly changes with
increasing . This suggests that either the size in the ordered moment
or the angle between the direction of and
the tetragonal axis is extrapolated to zero at GPa at
which a bulk SC transition is no longer emergent. In the SC state at
GPa, the nuclear spin-lattice relaxation rate has revealed a
dependence without the coherence peak just below , giving evidence
for the unconventional superconductivity. The dimensionality of the magnetic
flutuations in the normal state are also discussed.Comment: 8pages,4figures,submitted to Phys. Rev. B. Rapid
Chandra survey in the AKARI North Ecliptic Pole Deep Field. I. X-ray data, point-like source catalog, sensitivity maps, and number counts
We present data products from the 300 ks Chandra survey in the AKARI North
Ecliptic Pole (NEP) deep field. This field has a unique set of 9-band infrared
photometry covering 2-24 micron from the AKARI Infrared Camera, including
mid-infrared (MIR) bands not covered by Spitzer. The survey is one of the
deepest ever achieved at ~15 micron, and is by far the widest among those with
similar depths in the MIR. This makes this field unique for the MIR-selection
of AGN at z~1. We design a source detection procedure, which performs joint
Maximum Likelihood PSF fits on all of our 15 mosaicked Chandra pointings
covering an area of 0.34 square degree. The procedure has been highly optimized
and tested by simulations. We provide a point source catalog with photometry
and Bayesian-based 90 per cent confidence upper limits in the 0.5-7, 0.5-2,
2-7, 2-4, and 4-7 keV bands. The catalog contains 457 X-ray sources and the
spurious fraction is estimated to be ~1.7 per cent. Sensitivity and 90 per cent
confidence upper flux limits maps in all bands are provided as well. We search
for optical MIR counterparts in the central 0.25 square degree, where deep
Subaru Suprime-Cam multiband images exist. Among the 377 X-ray sources detected
there, ~80 per cent have optical counterparts and ~60 per cent also have AKARI
mid-IR counterparts. We cross-match our X-ray sources with MIR-selected AGN
from Hanami et al. (2012). Around 30 per cent of all AGN that have MID-IR SEDs
purely explainable by AGN activity are strong Compton-thick AGN candidates.Comment: 23 pages, 20 figures; catalogs, sensitivity maps, and upper limit
flux maps are available from the VizieR Servic
Sequent Calculus in the Topos of Trees
Nakano's "later" modality, inspired by G\"{o}del-L\"{o}b provability logic,
has been applied in type systems and program logics to capture guarded
recursion. Birkedal et al modelled this modality via the internal logic of the
topos of trees. We show that the semantics of the propositional fragment of
this logic can be given by linear converse-well-founded intuitionistic Kripke
frames, so this logic is a marriage of the intuitionistic modal logic KM and
the intermediate logic LC. We therefore call this logic
. We give a sound and cut-free complete sequent
calculus for via a strategy that decomposes
implication into its static and irreflexive components. Our calculus provides
deterministic and terminating backward proof-search, yields decidability of the
logic and the coNP-completeness of its validity problem. Our calculus and
decision procedure can be restricted to drop linearity and hence capture KM.Comment: Extended version, with full proof details, of a paper accepted to
FoSSaCS 2015 (this version edited to fix some minor typos
Modeling of vegetated rivers for inbank and overbank flows
Model parameters such as friction factor and eddy viscosity in the Shiono & Knight method (SKM) are considered through experimental data obtained from a vegetated open channel. The experiment was conducted in a rectangular open channel with cylindrical rods as vegetation. Velocity, Reynolds stresses and boundary shear stress were measured with Acoustic Doppler Velocimetry (ADV) and a Preston tube re-spectively. Both friction factor and eddy viscosity were calculated using the measured data and found to be not constant in the shear layer generated by rods. The analytical solutions of SKM to predict velocity and boundary shear stress currently in use were based on the constant assumption of these parameters. In this pa-per a new analytical solution was derived by taking into a variation of these parameters account and was also verified with the experimental data. This solution was also applied to flow in compound channel with vegeta-tion. The new solution gives a good prediction of the lateral distribution of depth-averaged velocity and boundary shear stress in vegetated channels, and it predicts the boundary shear stress better than that of the original solution without considering the secondary flow term in particular
Unique Spin Dynamics and Unconventional Superconductivity in the Layered Heavy Fermion Compound CeIrIn_5:NQR Evidence
We report measurements of the ^{115}In nuclear spin-lattice relaxation rate
(1/T_1) between T=0.09 K and 100 K in the new heavy fermion (HF) compound
CeIrIn_5. At 0.4 K < T < 100 K, 1/T_1 is strongly T-dependent, which indicates
that CeIrIn_5 is much more itinerant than known Ce-based HFs. We find that
1/T_1T, subtracting that for LaIrIn_5, follows a 1/(T+\theta)^{3/4} variation
with \theta=8 K. We argue that this novel feature points to anisotropic, due to
a layered crystal structure, spin fluctuations near a magnetic ordering. The
bulk superconductivity sets in at 0.40 K below which the coherence peak is
absent and 1/T_1 follows a T^3 variation, which suggests unconventional
superconductivity with line-node gap.Comment: minor changes, appeared in PRL (4 pages, 4 figures
- …