A study of wing body blending for an advanced supersonic transport

Increases in supersonic cruise lift drag ratio were sought at Mach numbers 2.2 and 2.7 using wing body planform and thickness blending. Constrained twist and camber optimization was performed in the presence of nacelles. Wing and fuselage thickness distributions were optimized for either minimum volume wave drag or minimum total pressure wave drag. The zero leading edge suction lift drag ratios were determined for three wing planforms. The magnitude of the effect of leading edge suction on attainable lift drag ratio was defined on one planform and estimation of available leading edge suction was made

Performance of charge-injection-device infrared detector arrays at low and moderate backgrounds

Three 2 x 64 element charge injection device infrared detector arrays were tested at low and moderate background to evaluate their usefulness for space based astronomical observations. Testing was conducted both in the laboratory and in ground based telescope observations. The devices showed an average readout noise level below 200 equivalent electrons, a peak responsivity of 4 A/W, and a noise equivalent power of 3x10 sq root of W/Hz. Array well capacity was measured to be significantly smaller than predicted. The measured sensitivity, which compares well with that of nonintegrating discrete extrinsic silicon photoconductors, shows these arrays to be useful for certain astronomical observations. However, the measured readout efficiency and frequency response represent serious limitations in low background applications

Expansion of neopterin and beta2-microglobulin in cerebrospinal fluid reaches maximum levels early and late in the course of human immunodeficiency virus infection

Inhaltsverzeichnis fehlt

Godel-type space-time metrics

A simple group theoretic derivation is given of the family of space-time metrics with isometry group SO(2,1) X SO(2) X R first described by Godel, of which the Godel stationary cosmological solution is the member with a perfect-fluid stress-energy tensor. Other members of the family are shown to be interpretable as cosmological solutions with a electrically charged perfect fluid and a magnetic field.Comment: Heavly rewritten respect to the orginal version, corrected some typos due to files transfer in the last submitted versio

Joint Spectral Radius and Path-Complete Graph Lyapunov Functions

We introduce the framework of path-complete graph Lyapunov functions for approximation of the joint spectral radius. The approach is based on the analysis of the underlying switched system via inequalities imposed among multiple Lyapunov functions associated to a labeled directed graph. Inspired by concepts in automata theory and symbolic dynamics, we define a class of graphs called path-complete graphs, and show that any such graph gives rise to a method for proving stability of the switched system. This enables us to derive several asymptotically tight hierarchies of semidefinite programming relaxations that unify and generalize many existing techniques such as common quadratic, common sum of squares, and maximum/minimum-of-quadratics Lyapunov functions. We compare the quality of approximation obtained by certain classes of path-complete graphs including a family of dual graphs and all path-complete graphs with two nodes on an alphabet of two matrices. We provide approximation guarantees for several families of path-complete graphs, such as the De Bruijn graphs, establishing as a byproduct a constructive converse Lyapunov theorem for maximum/minimum-of-quadratics Lyapunov functions.Comment: To appear in SIAM Journal on Control and Optimization. Version 2 has gone through two major rounds of revision. In particular, a section on the performance of our algorithm on application-motivated problems has been added and a more comprehensive literature review is presente

Towards Physical Hybrid Systems

Some hybrid systems models are unsafe for mathematically correct but physically unrealistic reasons. For example, mathematical models can classify a system as being unsafe on a set that is too small to have physical importance. In particular, differences in measure zero sets in models of cyber-physical systems (CPS) have significant mathematical impact on the mathematical safety of these models even though differences on measure zero sets have no tangible physical effect in a real system. We develop the concept of "physical hybrid systems" (PHS) to help reunite mathematical models with physical reality. We modify a hybrid systems logic (differential temporal dynamic logic) by adding a first-class operator to elide distinctions on measure zero sets of time within CPS models. This approach facilitates modeling since it admits the verification of a wider class of models, including some physically realistic models that would otherwise be classified as mathematically unsafe. We also develop a proof calculus to help with the verification of PHS.Comment: CADE 201