An example of requirements for Advanced Subsonic Civil Transport (ASCT) flight control system using structured techniques

The requirements are presented for an Advanced Subsonic Civil Transport (ASCT) flight control system generated using structured techniques. The requirements definition starts from initially performing a mission analysis to identify the high level control system requirements and functions necessary to satisfy the mission flight. The result of the study is an example set of control system requirements partially represented using a derivative of Yourdon's structured techniques. Also provided is a research focus for studying structured design methodologies and in particular design-for-validation philosophies

Slowly modulated oscillations in nonlinear diffusion processes

It is shown here that certain systems of nonlinear (parabolic) reaction-diffusion equations have solutions which are approximated by oscillatory functions in the form R(ξ - cτ)P(t^*) where P(t^*) represents a sinusoidal oscillation on a fast time scale t* and R(ξ - cτ) represents a slowly-varying modulating amplitude on slow space (ξ) and slow time (τ) scales. Such solutions describe phenomena in chemical reactors, chemical and biological reactions, and in other media where a stable oscillation at each point (or site) undergoes a slow amplitude change due to diffusion

Finite element modeling of a femoral stem in a total hip prosthesis

A three-dimensional model was produced to study of effects of stress on a femoral stem in a total hip prosthesis. Using the ANSYS General Purpose Finite Element Computer Program, a reproduction of the system was constructed for the loads acting on the hip joint at intervals of a walking cycle. With isotropic properties for cortical bone, cancellous bone, cement, and selected alloys, the model was generated using three-dimensional, isoparametric, eight-node, solid elements (STIF45). The model consists of over 700 nodes and 442 elements. This model can be used to produce computer calculated stress data, if disc storage space allows

Temperature can enhance coherent oscillations at a Landau-Zener transition

We consider sweeping a system through a Landau-Zener avoided-crossing, when that system is also coupled to an environment or noise. Unsurprisingly, we find that decoherence suppresses the coherent oscillations of quantum superpositions of system states, as superpositions decohere into mixed states. However, we also find an effect we call "Lamb-assisted coherent oscillations", in which a Lamb shift exponentially enhances the coherent oscillation amplitude. This dominates for high-frequency environments such as super-Ohmic environments, where the coherent oscillations can grow exponentially as either the environment coupling or temperature are increased. The effect could be used as an experimental probe for high-frequency environments in such systems as molecular magnets, solid-state qubits, spin-polarized gases (neutrons or He3) or Bose-condensates.Comment: 4 Pages & 4 Figs - New version: introduction extended & citations adde

Anomalous magnetic moment of an electron near a dispersive surface

Changes in the magnetic moment of an electron near a dielectric or conducting surface due to boundary-dependent radiative corrections are investigated. The electromagnetic field is quantized by normal mode expansion for a nondispersive dielectric and an undamped plasma, but the electron is described by the Dirac equation without matter-field quantization. Perturbation theory in the Dirac equation leads to a general formula for the magnetic-moment shift in terms of integrals over products of electromagnetic mode functions. In each of the models investigated, contour integration techniques over a complex wave vector can be used to derive a general formula featuring just integrals over transverse electric and transverse magnetic reflection coefficients of the surface. Analysis of the magnetic-moment shift for several classes of materials yields markedly different results from the previously considered simplistic “perfect-reflector” model, due to the inclusion of physically important features of the electromagnetic response of the surface such as evanescent field modes and dispersion in the material. For a general dispersive dielectric surface, the magnetic-moment shift of a nearby electron can exceed the previous prediction of the perfect-reflector model by several orders of magnitude

Numerical Analysis of Solid Rocket Motor Instabilities With AP Composite Propellants

A non-steady model for the combustion of ammonium perchlorate composite propellants has been developed in order to be incorporated into a comprehensive gasdynamics model of solid rocket motor flow fields. The model including the heterogeneous combustion and turbulence mechanisms is applied to nonlinear combustion instability analyses. This paper describes the essential mechanisms and features of the model and discusses the methodology of non-steady calculations of the combustion instabilities of solid rocket motors

A simple and optimal ancestry labeling scheme for trees

We present a $\lg n + 2 \lg \lg n+3$ ancestry labeling scheme for trees. The problem was first presented by Kannan et al. [STOC 88'] along with a simple $2 \lg n$ solution. Motivated by applications to XML files, the label size was improved incrementally over the course of more than 20 years by a series of papers. The last, due to Fraigniaud and Korman [STOC 10'], presented an asymptotically optimal $\lg n + 4 \lg \lg n+O(1)$ labeling scheme using non-trivial tree-decomposition techniques. By providing a framework generalizing interval based labeling schemes, we obtain a simple, yet asymptotically optimal solution to the problem. Furthermore, our labeling scheme is attained by a small modification of the original $2 \lg n$ solution.Comment: 12 pages, 1 figure. To appear at ICALP'1

Entangled photons from a strongly coupled quantum dot-cavity system

A quantum dot strongly coupled to a photonic crystal has been recently proposed as a source of entangled photon pairs [R. Johne et al., Phys. Rev. Lett. 100, 240404 (2008)]. The biexction decay via intermediate polariton states can be used to overcome the natural splitting between the exciton states coupled to the horizontally and vertically polarized light modes, so that high degrees of entanglement can be expected. We investigate theoretically the features of realistic dot-cavity systems, including the effect of the different oscillator strength of excitons resonances coupled to the different polarizations of light. We show that in this case, an independent adjustment of the cavity resonances is needed in order to keep a high entanglement degree. We also consider the case when the biexciton-exciton transition is also strongly coupled to a cavity mode. We show that a very fast emission rate can be achieved allowing the repetition rates in the THz range. Such fast emission should however be paid for by a very complex tuning of the many strongly coupled resonances involved and by a loss of quantum efficiency. Altogether a strongly coupled dot-cavity system seems to be very promising as a source of entangled photon pairs.Comment: 7 pages, 5 figure

Sparse Deterministic Approximation of Bayesian Inverse Problems

We present a parametric deterministic formulation of Bayesian inverse problems with input parameter from infinite dimensional, separable Banach spaces. In this formulation, the forward problems are parametric, deterministic elliptic partial differential equations, and the inverse problem is to determine the unknown, parametric deterministic coefficients from noisy observations comprising linear functionals of the solution. We prove a generalized polynomial chaos representation of the posterior density with respect to the prior measure, given noisy observational data. We analyze the sparsity of the posterior density in terms of the summability of the input data's coefficient sequence. To this end, we estimate the fluctuations in the prior. We exhibit sufficient conditions on the prior model in order for approximations of the posterior density to converge at a given algebraic rate, in terms of the number $N$ of unknowns appearing in the parameteric representation of the prior measure. Similar sparsity and approximation results are also exhibited for the solution and covariance of the elliptic partial differential equation under the posterior. These results then form the basis for efficient uncertainty quantification, in the presence of data with noise