Predicting dynamic performance limits for servosystems with saturating nonlinearities

A generalized treatment for a system with a single saturating nonlinearity is presented and compared with frequency response plots obtained from an analog model of the system. Once the amplitude dynamics are predicted with the limit lines, an iterative technique is employed to determine the system phase response. The saturation limit line technique is used in conjunction with velocity and acceleration limits to predict the performance of an electro-hydraulic servosystem containing a single-stage servovalve. Good agreement was obtained between predicted performance and experimental data

Small-signal gain diagnostic measurements in a flowing CO2 pin discharge laser

Small-signal gain diagnostic measurements were conducted on closed loop, high power, carbon dioxide laser to assess the coupling between gas flow velocity and resonator saturation. Parameters investigated included optical cavity and discharge power. Results of gain measurements within and downstream of the excitation volume are presented for a laser gas composition He:N2:CO2 of 10:7:1 at 90 torr. The gain at constant discharge power was observed to be dependent upon discharge power level and time. An important result of this study is that the effects of gain swept downstream of the discharge region must be considered in the resonator design if efficient extraction of stored optical energy is desired

A formally verified compiler back-end

This article describes the development and formal verification (proof of semantic preservation) of a compiler back-end from Cminor (a simple imperative intermediate language) to PowerPC assembly code, using the Coq proof assistant both for programming the compiler and for proving its correctness. Such a verified compiler is useful in the context of formal methods applied to the certification of critical software: the verification of the compiler guarantees that the safety properties proved on the source code hold for the executable compiled code as well

Innovative Airbreathing Propulsion Concepts for Access to Space

This paper will present technologies and concepts for novel aeropropulsion systems. These technologies will enhance the safety of operations, reduce life cycle costs, and contribute to reduced costs of air travel and access to space. One of the goals of the NASA program is to reduce the carbon-dioxide emissions of aircraft engines. Engine concepts that use highly efficient fuel cell/electric drive technologies in hydrogen-fueled engines will be presented in the proposed paper. Carbon-dioxide emissions will be eliminated by replacing hydrocarbon fuel with hydrogen, and reduce NOx emissions through better combustion process control. A revolutionary exoskeletal engine concept, in which the engine drum is rotated, will be shown. This concept has the potential to allow a propulsion system that can be used for subsonic through hypersonic flight. Dual fan concepts that have ultra-high bypass ratios, low noise, and low drag will be presented. Flow-controlled turbofans and control-configured turbofans also will be discussed. To increase efficiency, a system of microengines distributed along lifting surfaces and on the fuselage is being investigated. This concept will be presented in the paper. Small propulsion systems for affordable, safe personal transportation vehicles will be discussed. These low-oil/oilless systems use technologies that enable significant cost and weight reductions. Pulse detonation engine-based hybrid-cycle and combined-cycle propulsion systems for aviation and space access will be presented