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 $^{115}$In nuclear-quadrupole-resonance (NQR) measurements of the pressure($P$)-induced superconductor CeRhIn$_5$ in the antiferromagnetic (AF) and superconducting (SC) states. In the AF region, the internal field $H_{int}$ at the In site is substantially reduced from $H_{int}=1.75$ kOe at P=0 to 0.39 kOe at $P=1.23$ GPa, while the N\'eel temperature slightly changes with increasing $P$. This suggests that either the size in the ordered moment $M_{Q}(P)$ or the angle $\theta (P)$ between the direction of $M_{Q}(P)$ and the tetragonal $c$ axis is extrapolated to zero at $P^*=1.6 \pm 0.1$ GPa at which a bulk SC transition is no longer emergent. In the SC state at $P=2.1$ GPa, the nuclear spin-lattice relaxation rate $^{115}(1/T_1)$ has revealed a $T^3$ dependence without the coherence peak just below $T_c$, 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 $\mathrm{KM}_{\mathrm{lin}}$. We give a sound and cut-free complete sequent calculus for $\mathrm{KM}_{\mathrm{lin}}$ 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