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

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