11,572 research outputs found
Comparison of modern icing cloud instruments
Intercomparison tests with Particle Measuring Systems (PMS) were conducted. Cloud liquid water content (LWC) measurements were also taken with a Johnson and Williams (JW) hot-wire device and an icing rate device (Leigh IDS). Tests include varying cloud LWC (0.5 to 5 au gm), cloud median volume diameter (MVD) (15 to 26 microns), temperature (-29 to 20 C), and air speeds (50 to 285 mph). Comparisons were based upon evaluating probe estimates of cloud LWC and median volume diameter for given tunnel settings. Variations of plus or minus 10% and plus or minus 5% in LWC and MVD, respectively, were determined of spray clouds between test made at given tunnel settings (fixed LWC, MVD, and air speed) indicating cloud conditions were highly reproducible. Although LWC measurements from JW and Leigh devices were consistent with tunnel values, individual probe measurements either consistently over or underestimated tunnel values by factors ranging from about 0.2 to 2. Range amounted to a factor of 6 differences between LWC estimates of probes for given cloud conditions. For given cloud conditions, estimates of cloud MVD between probes were within plus or minus 3 microns and 93% of the test cases. Measurements overestimated tunnel values in the range between 10 to 20 microns. The need for improving currently used calibration procedures was indicated. Establishment of test facility (or facilities) such as an icing tunnel where instruments can be calibrated against known cloud standards would be a logical choice
Far-Ultraviolet and Far-Infrared Bivariate Luminosity Function of Galaxies: Complex Relation between Stellar and Dust Emission
Far-ultraviolet (FUV) and far-infrared (FIR) luminosity functions (LFs) of
galaxies show a strong evolution from to , but the FIR LF
evolves much stronger than the FUV one. The FUV is dominantly radiated from
newly formed short-lived OB stars, while the FIR is emitted by dust grains
heated by the FUV radiation field. It is known that dust is always associated
with star formation activity. Thus, both FUV and FIR are tightly related to the
star formation in galaxies, but in a very complicated manner. In order to
disentangle the relation between FUV and FIR emissions, we estimate the UV-IR
bivariate LF (BLF) of galaxies with {\sl GALEX} and {\sl AKARI} All-Sky Survey
datasets. Recently we invented a new mathematical method to construct the BLF
with given marginals and prescribed correlation coefficient. This method makes
use of a tool from mathematical statistics, so called "copula". The copula
enables us to construct a bivariate distribution function from given marginal
distributions with prescribed correlation and/or dependence structure. With
this new formulation and FUV and FIR univariate LFs, we analyze various FUV and
FIR data with {\sl GALEX}, {\sl Spitzer}, and {\sl AKARI} to estimate the UV-IR
BLF. The obtained BLFs naturally explain the nonlinear complicated relation
between FUV and FIR emission from star-forming galaxies. Though the faint-end
of the BLF was not well constrained for high- samples, the estimated linear
correlation coefficient was found to be very high, and is remarkably
stable with redshifts (from 0.95 at to 0.85 at ). This implies
the evolution of the UV-IR BLF is mainly due to the different evolution of the
univariate LFs, and may not be controlled by the dependence structure.Comment: 10 pages, 7 figures, Earth, Planets and Space, in pres
Geometrical classification of Killing tensors on bidimensional flat manifolds
Valence two Killing tensors in the Euclidean and Minkowski planes are
classified under the action of the group which preserves the type of the
corresponding Killing web. The classification is based on an analysis of the
system of determining partial differential equations for the group invariants
and is entirely algebraic. The approach allows to classify both characteristic
and non characteristic Killing tensors.Comment: 27 pages, 20 figures, pictures format changed to .eps, typos
correcte
On duality relations for session types
Session types are a type formalism used to describe communication protocols over private session channels. Each participant in a binary session owns one endpoint of a session channel. A key notion is that of duality: the endpoints of a session channel should have dual session types in order to guarantee communication safety. Duality relations have been independently defined in different ways and different works, without considering their effect on the type system. In this paper we systematically study the existing duality relations and some new ones, and compare them in order to understand their expressiveness. The outcome is that those relations are split into two groups, one related to the na¨ıve inductive duality, and the other related to a notion of mutual compliance, which we borrow from the literature on contracts for web-services
New procedures for testing whether stock price processes are martingales
We propose procedures for testing whether stock price processes are
martingales based on limit order type betting strategies. We first show that
the null hypothesis of martingale property of a stock price process can be
tested based on the capital process of a betting strategy. In particular with
high frequency Markov type strategies we find that martingale null hypotheses
are rejected for many stock price processes
Hall Effect in Nested Antiferromagnets Near the Quantum Critical Point
We investigate the behavior of the Hall coefficient in the case of
antiferromagnetism driven by Fermi surface nesting, and find that the Hall
coefficient should abruptly increase with the onset of magnetism, as recently
observed in vanadium doped chromium. This effect is due to the sudden removal
of flat portions of the Fermi surface upon magnetic ordering. Within this
picture, the Hall coefficient should scale as the square of the residual
resistivity divided by the impurity concentration, which is consistent with
available data.Comment: published version; an accidental interchange in the quoting of
analytic dependencies was correcte
Coherency of the superconducting state: the muon spin rotation and ARPES studies of (BiPb)_2(SrLa)_2CuO_{6+\delta}
The superfluid density \rho_s in underdoped (T_c\simeq23K), optimally doped
(T_c\simeq35K) and overdoped (T_c\simeq29K) single crystalline
(BiPb)_2(SrLa)_2CuO_{6+\delta} samples was studied by means of muon-spin
rotation (\muSR). By combining the \muSR data with the results of ARPES
measurements on similar samples [Nature 457, 296 (2009)] good self-consistent
agreement is obtained between two techniques concerning the temperature and the
doping evolution of \rho_s.Comment: 4 pages, 3 figures
Polarization phenomena in hyperon-nucleon scattering
We investigate polarization observables in hyperon-nucleon scattering by
decomposing scattering amplitudes into spin-space tensors, where each component
describes scattering by corresponding spin-dependent interactions, so that
contributions of the interactions in the observables are individually
identified. In this way, for elastic scattering we find some linear
combinations of the observables sensitive to particular spin-dependent
interactions such as symmetric spin-orbit (LS) interactions and antisymmetric
LS ones. These will be useful to criticize theoretical predictions of the
interactions when the relevant observables are measured. We treat vector
analyzing powers, depolarizations, and coefficients of polarization transfers
and spin correlations, a part of which is numerically examined in scattering as an example. Total cross sections are studied for polarized
beams and targets as well as for unpolarized ones to investigate spin
dependence of imaginary parts of forward scattering amplitudes.Comment: 15 pages, 8 figure
On Global Types and Multi-Party Session
Global types are formal specifications that describe communication protocols
in terms of their global interactions. We present a new, streamlined language
of global types equipped with a trace-based semantics and whose features and
restrictions are semantically justified. The multi-party sessions obtained
projecting our global types enjoy a liveness property in addition to the
traditional progress and are shown to be sound and complete with respect to the
set of traces of the originating global type. Our notion of completeness is
less demanding than the classical ones, allowing a multi-party session to leave
out redundant traces from an underspecified global type. In addition to the
technical content, we discuss some limitations of our language of global types
and provide an extensive comparison with related specification languages
adopted in different communities
- …