8,192 research outputs found
Small scale noise and wind tunnel tests of upper surface blowing nozzle flap concepts. Volume 1. Aerodynamic test results
The results and analyses of aerodynamic and acoustic studies conducted on the small scale noise and wind tunnel tests of upper surface blowing nozzle flap concepts are presented. Various types of nozzle flap concepts were tested. These are an upper surface blowing concept with a multiple slot arrangement with seven slots (seven slotted nozzle), an upper surface blowing type with a large nozzle exit at approximately mid-chord location in conjunction with a powered trailing edge flap with multiple slots (split flow or partially slotted nozzle). In addition, aerodynamic tests were continued on a similar multi-slotted nozzle flap, but with 14 slots. All three types of nozzle flap concepts tested appear to be about equal in overall aerodynamic performance but with the split flow nozzle somewhat better than the other two nozzle flaps in the landing approach mode. All nozzle flaps can be deflected to a large angle to increase drag without significant loss in lift. The nozzle flap concepts appear to be viable aerodynamic drag modulation devices for landing
Liberating Efimov physics from three dimensions
When two particles attract via a resonant short-range interaction, three
particles always form an infinite tower of bound states characterized by a
discrete scaling symmetry. It has been considered that this Efimov effect
exists only in three dimensions. Here we review how the Efimov physics can be
liberated from three dimensions by considering two-body and three-body
interactions in mixed dimensions and four-body interaction in one dimension. In
such new systems, intriguing phenomena appear, such as confinement-induced
Efimov effect, Bose-Fermi crossover in Efimov spectrum, and formation of
interlayer Efimov trimers. Some of them are observable in ultracold atom
experiments and we believe that this study significantly broadens our horizons
of universal Efimov physics.Comment: 17 pages, 5 figures, contribution to a special issue of Few-Body
Systems devoted to Efimov Physic
Verifying procedural programs via constrained rewriting induction
This paper aims to develop a verification method for procedural programs via a transformation into Logically Constrained Term Rewriting Systems (LCTRSs). To this end, we extend transformation methods based on integer TRSs to handle arbitrary data types, global variables, function calls and arrays, as well as encode safety checks. Then we adapt existing rewriting induction methods to LCTRSs and propose a simple yet effective method to generalize equations. We show that we can automatically verify memory safety and prove correctness of realistic functions. Our approach proves equivalence between two implementations, so in contrast to other works, we do not require an explicit specification in a separate specification language
Cardiovascular disease and nutrition: The use of food-based dietary guidelines for prevention in Africa
There is no doubt that morbidity and mortality from cardiovascular disease (CVD) are increasing in many African countries. Research and implementation of public health nutrition programmes in the developed world have shown that CVD can be prevented by dietary interventions. The objectives of this paper are to (i) review the relationships between diet and CVD; (ii) review the possible contribution of the nutrition transition, which is associated with economic development and “modernisation” to CVD in Africa; (iii) identify barriers and challenges plus assessing the opportunities available to steer the nutrition transition into a more positive direction; and (iv) show how ideal nutrient intakes can be translated into appropriate food based dietary guidelines (FBDGs) and how to apply these for prevention and management of CVDs. This should result in appropriate recommendations for diets that will be country-specific, affordable, culturally acceptable and based on available, traditional and indigenous foods. It is concluded that all health professionals should be sensitised, informed, trained and/or educated to apply FBDGs in a way that will motivate the public or patients to follow healthier diets for primary, secondary and tertiary prevention and treatment of CVD
A life course approach to diet, nutrition and the prevention of chronic diseases
Abstract Objective: To briefly review the current understanding of the aetiology and prevention of chronic diseases using a life course approach, demonstrating the life-long influences on the development of disease. Design: A computer search of the relevant literature was done using Medline-‘life cycle' and ‘nutrition' and reviewing the articles for relevance in addressing the above objective. Articles from references dated before 1990 were followed up separately. A subsequent search using Clio updated the search and extended it by using ‘life cycle', ‘nutrition' and ‘noncommunicable disease' (NCD), and ‘life course'. Several published and unpublished WHO reports were key in developing the background and arguments. Setting: International and national public health and nutrition policy development in light of the global epidemic in chronic diseases, and the continuing nutrition, demographic and epidemiological transitions happening in an increasingly globalized world. Results of review: There is a global epidemic of increasing obesity, diabetes and other chronic NCDs, especially in developing and transitional economies, and in the less affluent within these, and in the developed countries. At the same time, there has been an increase in communities and households that have coincident under- and over-nutrition. Conclusions: The epidemic will continue to increase and is due to a lifetime of exposures and influences. Genetic predisposition plays an unspecified role, and with programming during fetal life for adult disease contributing to an unknown degree. A global rise in obesity levels is contributing to a particular epidemic of type 2 diabetes as well as other NCDs. Prevention will be the most cost-effective and feasible approach for many countries and should involve three mutually reinforcing strategies throughout life, starting in the antenatal perio
Secure Grouping Protocol Using a Deck of Cards
We consider a problem, which we call secure grouping, of dividing a number of
parties into some subsets (groups) in the following manner: Each party has to
know the other members of his/her group, while he/she may not know anything
about how the remaining parties are divided (except for certain public
predetermined constraints, such as the number of parties in each group). In
this paper, we construct an information-theoretically secure protocol using a
deck of physical cards to solve the problem, which is jointly executable by the
parties themselves without a trusted third party. Despite the non-triviality
and the potential usefulness of the secure grouping, our proposed protocol is
fairly simple to describe and execute. Our protocol is based on algebraic
properties of conjugate permutations. A key ingredient of our protocol is our
new techniques to apply multiplication and inverse operations to hidden
permutations (i.e., those encoded by using face-down cards), which would be of
independent interest and would have various potential applications
Quantizing Majorana Fermions in a Superconductor
A Dirac-type matrix equation governs surface excitations in a topological
insulator in contact with an s-wave superconductor. The order parameter can be
homogenous or vortex valued. In the homogenous case a winding number can be
defined whose non-vanishing value signals topological effects. A vortex leads
to a static, isolated, zero energy solution. Its mode function is real, and has
been called "Majorana." Here we demonstrate that the reality/Majorana feature
is not confined to the zero energy mode, but characterizes the full quantum
field. In a four-component description a change of basis for the relevant
matrices renders the Hamiltonian imaginary and the full, space-time dependent
field is real, as is the case for the relativistic Majorana equation in the
Majorana matrix representation. More broadly, we show that the Majorana
quantization procedure is generic to superconductors, with or without the Dirac
structure, and follows from the constraints of fermionic statistics on the
symmetries of Bogoliubov-de Gennes Hamiltonians. The Hamiltonian can always be
brought to an imaginary form, leading to equations of motion that are real with
quantized real field solutions. Also we examine the Fock space realization of
the zero mode algebra for the Dirac-type systems. We show that a
two-dimensional representation is natural, in which fermion parity is
preserved.Comment: 26 pages, no figure
On the experiments of Surfatron concept with use of capillary plasma.
In the middle of 1980th, the VpxB concept for accelerating electrons are found by Nishida et
al, with the use of plasma wave excited by high power microwave in the interaction with weakly
magnetized plasma. This acceleration concept was called “Surfatron effect” in the relativistic regime.
However, there is no experimental evidence so far in the relativistic regime, although the acceleration
efficiency is highest in all of the concepts based on the plasma wave acceleration scheme, and we are
now under experiments. In order to make longer the acceleration distances, there are several ideas
including 1)ducting of the electromagnetic waves (EM wave) in the preformed plasma, 2)selfchanneling
of the EM waves, and others. In this paper, the experimental results are shown on the
ducting phenomena by using strong microwave for simulating the laser ducting, and on the capillary
plasma scheme
- …