1,166 research outputs found
Volume and surface propellant heating in an electrothermal radio-frequency plasma micro-thruster
The temporal evolution of neutral gas temperature over the first 5 min of operation for an electrothermal radio-frequency micro-thruster with nitrogen (N2) propellant was measured using rovibrational band matching of the second positive N2 system. Three distinct periods of gas heating were identified with time constants of τ 1 = 8 × 10⁻⁵ s, τ 2 = 8 s, and τ 3 = 100 s. The fast heating (τ 1) is attributed to volumetric heating processes within the discharge driven by ion-neutral collisions. The slow heating (τ 3) is from ion neutralization and vibrational de-excitation on the walls creating wall heating. The intermediate heating mechanism (τ 2) is yet to be fully identified although some theories are suggested.This research was partially funded by the Australian
Space Research Program (APT project) and the Australian
Research Council Discovery Project (No. DP140100571)
The Dark UNiverse Explorer (DUNE): Proposal to ESA's Cosmic Vision
The Dark UNiverse Explorer (DUNE) is a wide-field space imager whose primary
goal is the study of dark energy and dark matter with unprecedented precision.
For this purpose, DUNE is optimised for the measurement of weak gravitational
lensing but will also provide complementary measurements of baryonic accoustic
oscillations, cluster counts and the Integrated Sachs Wolfe effect. Immediate
auxiliary goals concern the evolution of galaxies, to be studied with
unequalled statistical power, the detailed structure of the Milky Way and
nearby galaxies, and the demographics of Earth-mass planets. DUNE is an
Medium-class mission which makes use of readily available components, heritage
from other missions, and synergy with ground based facilities to minimise cost
and risks. The payload consists of a 1.2m telescope with a combined visible/NIR
field-of-view of 1 deg^2. DUNE will carry out an all-sky survey, ranging from
550 to 1600nm, in one visible and three NIR bands which will form a unique
legacy for astronomy. DUNE will yield major advances in a broad range of fields
in astrophysics including fundamental cosmology, galaxy evolution, and
extrasolar planet search. DUNE was recently selected by ESA as one of the
mission concepts to be studied in its Cosmic Vision programme.Comment: Accepted in Experimental Astronom
Affine actions on non-archimedean trees
We initiate the study of affine actions of groups on -trees for a
general ordered abelian group ; these are actions by dilations rather
than isometries. This gives a common generalisation of isometric action on a
-tree, and affine action on an -tree as studied by I. Liousse. The
duality between based length functions and actions on -trees is
generalised to this setting. We are led to consider a new class of groups:
those that admit a free affine action on a -tree for some .
Examples of such groups are presented, including soluble Baumslag-Solitar
groups and the discrete Heisenberg group.Comment: 27 pages. Section 1.4 expanded, typos corrected from previous versio
RNN-Based Radio Resource Management on Multicore RISC-V Accelerator Architectures
Radio resource management (RRM) is critical in 5G mobile communications due to its ubiquity on every radio device and its low latency constraints. The rapidly evolving RRM algorithms with low latency requirements combined with the dense and massive 5G base station deployment ask for an on-the-edge RRM acceleration system with a tradeoff between flexibility, efficiency, and cost-making application-specific instruction-set processors (ASIPs) an optimal choice. In this work, we start from a baseline, simple RISC-V core and introduce instruction extensions coupled with software optimizations for maximizing the throughput of a selected set of recently proposed RRM algorithms based on models using multilayer perceptrons (MLPs) and recurrent neural networks (RNNs). Furthermore, we scale from a single-ASIP to a multi-ASIP acceleration system to further improve RRM throughput. For the single-ASIP system, we demonstrate an energy efficiency of 218 GMAC/s/W and a throughput of 566 MMAC/s corresponding to an improvement of 10x and 10.6x, respectively, over the single-core system with a baseline RV32IMC core. For the multi-ASIP system, we analyze the parallel speedup dependency on the input and output feature map (FM) size for fully connected and LSTM layers, achieving up to 10.2x speedup with 16 cores over a single extended RI5CY core for single LSTM layers and a speedup of 13.8x for a single fully connected layer. On the full RRM benchmark suite, we achieve an average overall speedup of 16.4x, 25.2x, 31.9x, and 38.8x on two, four, eight, and 16 cores, respectively, compared to our single-core RV32IMC baseline implementation
Paying primary health care centers for performance in Rwanda
Paying for performance (P4P) provides financial incentives for providers to increase the use and quality of care. P4P can affect health care by providing incentives for providers to put more effort into specific activities, and by increasing the amount of resources available to finance the delivery of services. This paper evaluates the impact of P4P on the use and quality of prenatal, institutional delivery, and child preventive care using data produced from a prospective quasi-experimental evaluation nested into the national rollout of P4P in Rwanda. Treatment facilities were enrolled in the P4P scheme in 2006 and comparison facilities were enrolled two years later. The incentive effect is isolated from the resource effect by increasing comparison facilities'input-based budgets by the average P4P payments to the treatment facilities. The data were collected from 166 facilities and a random sample of 2158 households. P4P had a large and significant positive impact on institutional deliveries and preventive care visits by young children, and improved quality of prenatal care. The authors find no effect on the number of prenatal care visits or on immunization rates. P4P had the greatest effect on those services that had the highest payment rates and needed the lowest provider effort. P4P financial performance incentives can improve both the use of and the quality of health services. Because the analysis isolates the incentive effect from the resource effect in P4P, the results indicate that an equal amount of financial resources without the incentives would not have achieved the same gain in outcomes.Health Monitoring&Evaluation,Population Policies,Health Systems Development&Reform,Disease Control&Prevention,Adolescent Health
First microlensing candidate towards M31 from the Nainital Microlensing Survey
We report our first microlensing candidate NMS-E1 towards M31 from the data
accumulated during the four years of Nainital Microlensing Survey. Cousin R and
I band observations of ~13'x13' field in the direction of M31 have been carried
out since 1998 and data is analysed using the pixel technique proposed by the
AGAPE collaboration. NMS-E1 lies in the disk of M31 at \alpha = 0:43:33.3 and
\delta = +41:06:44, about 15.5 arcmin to the South-East direction of the center
of M31. The degenerate Paczy\'{n}ski fit gives a half intensity duration of ~59
days. The photometric analysis of the candidate shows that it reached R~20.1
mag at the time of maximum brightness and the colour of the source star was
estimated to be (R-I)_0 ~ 1.1 mag. The microlensing candidate is blended by red
variable stars; consequently the light curves do not strictly follow the
characteristic Paczy\'{n}ski shape and achromatic nature. However its long
period monitoring and similar behaviour in R and I bands supports its
microlensing nature.Comment: no changes except typos corrected, to appear in A&
Surfactant-free purification of membrane protein complexes from bacteria: application to the staphylococcal penicillin-binding protein complex PBP2/PBP2a
Surfactant-mediated removal of proteins from biomembranes invariably results in partial or complete loss of function and disassembly of multi-protein complexes. We determined the capacity of styrene-co-maleic acid (SMA) co-polymer to remove components of the cell division machinery from the membrane of drug-resistant staphylococcal cells. SMA-lipid nanoparticles solubilized FtsZ-PBP2-PBP2a complexes from intact cells, demonstrating the close physical proximity of these proteins within the lipid bilayer. Exposure of bacteria to (-)-epicatechin gallate, a polyphenolic agent that abolishes β-lactam resistance in staphylococci, disrupted the association between PBP2 and PBP2a. Thus, SMA purification provides a means to remove native integral membrane protein assemblages with minimal physical disruption and shows promise as a tool for the interrogation of molecular aspects of bacterial membrane protein structure and function
Algebraic totality, towards completeness
Finiteness spaces constitute a categorical model of Linear Logic (LL) whose
objects can be seen as linearly topologised spaces, (a class of topological
vector spaces introduced by Lefschetz in 1942) and morphisms as continuous
linear maps. First, we recall definitions of finiteness spaces and describe
their basic properties deduced from the general theory of linearly topologised
spaces. Then we give an interpretation of LL based on linear algebra. Second,
thanks to separation properties, we can introduce an algebraic notion of
totality candidate in the framework of linearly topologised spaces: a totality
candidate is a closed affine subspace which does not contain 0. We show that
finiteness spaces with totality candidates constitute a model of classical LL.
Finally, we give a barycentric simply typed lambda-calculus, with booleans
and a conditional operator, which can be interpreted in this
model. We prove completeness at type for
every n by an algebraic method
- …