SEARCH · Search NASA
Search indexed NASA NTRS and DOE OSTI research on propulsion, heat transfer, battery materials and energy systems. Follow report and document links to the original sources.
Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.
Some problems of attitude stability of spinning satellites are treated in a rigorous manner. With certain restrictions, linearized stability analysis correctly predicts the attitude stability of spinning satellites, even in the critical cases of the Liapunov-Poincare stability theory.
A theoretical analysis is presented of the scaling of the critical beam current required for ignition and the narrow band emissions observed for beam currents less than critical in a beam plasma discharge experiment. The theory of the two-stream interaction between a nonrelativistic cold electron beam and a plasma in the presence of a magnetic field is developed, and conditions for the two-stream instability and the resulting amplification are derived. It is shown that the experimentally observed scaling is consistent with the assumption that the ignition triggering occurs when an instability near the electron plasma frequency is excited. Finally, it is shown that the wave emissions observed in the subthreshold range can be explained by the excitation of the kinetic instability of the upper branch and convective saturation.
The critical partial pressure of SiO necessary to initiate avalanche nucleation in the SiO-H2 system is measured as a function of the ambient temperature in the range 750-1000 K. Results show that the condensate produced at low temperatures is Si2O3, while a mixture of Si2O3 and amorphous SiO2 is produced at high temperatures. A surface energy of approximately 500 ergs/sq cm for the particles is found by analyzing the critical partial pressure vs temperature using classical nucleation theory. It is concluded that classical nucleation theory is not applicable to this system, because several inconsistencies in the thermodynamic analysis are demonstrated, and it is suggested that a kinetic theory of nucleation may be the preferential way to describe the condensation process.
A geotechnical centrifuge was used to investigate large body impacts onto planetary surfaces. At elevated gravity, it is possible to match various dimensionless similarity parameters which were shown to govern large scale impacts. Observations of crater growth and target flow fields have provided detailed and critical tests of a complete and unified scaling theory for impact cratering. Scaling estimates were determined for nonporous targets. Scaling estimates for large scale cratering in rock proposed previously by others have assumed that the crater radius is proportional to powers of the impactor energy and gravity, with no additional dependence on impact velocity. The size scaling laws determined from ongoing centrifuge experiments differ from earlier ones in three respects. First, a distinct dependence of impact velocity is recognized, even for constant impactor energy. Second, the present energy exponent for low porosity targets, like competent rock, is lower than earlier estimates. Third, the gravity exponent is recognized here as being related to both the energy and the velocity exponents.
A self-consistent semi-empirical model for the wind of the supergiant in zeta Aurigae type systems is proposed. The damping of the Alfven waves which are assumed to drive the wind is derived from the observed velocity profile. Solution of the ionization balance and energy equation gives the temperature structure for given stellar magnetic field and wave flux. Physically acceptable solutions of the temperature structure place limits on the stellar magnetic field. A crude formula for a critical mass loss rate is derived. For a mass loss rate below the critical value the wind cannot be cool. Comparison between the observed and the critical mass loss rate suggests that the proposed theory may provide an explanation for the coronal dividing line in the Hertzsprung-Russell diagram. The physical explanation may be that the atmosphere has a cool wind, unless it is physically impossible to have one. Stars which cannot have a cool wind release their nonthermal energy in an outer atmosphere at coronal temperatures. It is possible that in the absence of a substantial stellar wind the magnetic field has less incentive to extend radially outward, and coronal loop structures may become more dominant.
A region of the parameter space accessible to accretion disks in AGN is explored using vertically integrated models to describe the thin-disk structure. Particular attention is paid to the role of convection. From a comparison of strongly convective solutions with varying mixing lengths to solutions obtained using a recent theory of convection developed for accretion disks, it is argued that it may be appropriate to take the mixing length to be roughly one-third of a pressure scale height when applying standard mixing-length theory to disks. Scalings are presented for various critical points in the locus of steady-state solutions, and rough estimates of time scales for behavior associated with disk instability are provided.
Based on torsional instability theory, buckling charts are presented for determining the critical strain of hinged flanges stiffened by idealized lip and bulb elements.
A computational method for the analysis of longitudinal-mode liquid rocket combustion instability has been developed based on the unsteady, quasi-one-dimensional Euler equations where the combustion process source terms were introduced through the incorporation of a two-zone, linearized representation: (1) A two-parameter collapsed combustion zone at the injector face, and (2) a two-parameter distributed combustion zone based on a Lagrangian treatment of the propellant spray. The unsteady Euler equations in inhomogeneous form retain full hyperbolicity and are integrated implicitly in time using second-order, high-resolution, characteristic-based, flux-differencing spatial discretization with Roe-averaging of the Jacobian matrix. This method was initially validated against an analytical solution for nonreacting, isentropic duct acoustics with specified admittances at the inflow and outflow boundaries. For small amplitude perturbations, numerical predictions for the amplification coefficient and oscillation period were found to compare favorably with predictions from linearized small-disturbance theory as long as the grid exceeded a critical density (100 nodes/wavelength). The numerical methodology was then exercised on a generic combustor configuration using both collapsed and distributed combustion zone models with a short nozzle admittance approximation for the outflow boundary. In these cases, the response parameters were varied to determine stability limits defining resonant coupling onset.
This publication contains the proceedings of the Second NASA Formal Methods Symposium sponsored by the National Aeronautics and Space Administration and held in Washington D.C. April 13-15, 2010. Topics covered include: Decision Engines for Software Analysis using Satisfiability Modulo Theories Solvers; Verification and Validation of Flight-Critical Systems; Formal Methods at Intel -- An Overview; Automatic Review of Abstract State Machines by Meta Property Verification; Hardware-independent Proofs of Numerical Programs; Slice-based Formal Specification Measures -- Mapping Coupling and Cohesion Measures to Formal Z; How Formal Methods Impels Discovery: A Short History of an Air Traffic Management Project; A Machine-Checked Proof of A State-Space Construction Algorithm; Automated Assume-Guarantee Reasoning for Omega-Regular Systems and Specifications; Modeling Regular Replacement for String Constraint Solving; Using Integer Clocks to Verify the Timing-Sync Sensor Network Protocol; Can Regulatory Bodies Expect Efficient Help from Formal Methods?; Synthesis of Greedy Algorithms Using Dominance Relations; A New Method for Incremental Testing of Finite State Machines; Verification of Faulty Message Passing Systems with Continuous State Space in PVS; Phase Two Feasibility Study for Software Safety Requirements Analysis Using Model Checking; A Prototype Embedding of Bluespec System Verilog in the PVS Theorem Prover; SimCheck: An Expressive Type System for Simulink; Coverage Metrics for Requirements-Based Testing: Evaluation of Effectiveness; Software Model Checking of ARINC-653 Flight Code with MCP; Evaluation of a Guideline by Formal Modelling of Cruise Control System in Event-B; Formal Verification of Large Software Systems; Symbolic Computation of Strongly Connected Components Using Saturation; Towards the Formal Verification of a Distributed Real-Time Automotive System; Slicing AADL Specifications for Model Checking; Model Checking with Edge-valued Decision Diagrams; and Data-flow based Model Analysis.
Flight research experiments have demonstrated that adaptive flight controls can be an effective technology for improving aircraft safety in the event of failures or damage. However, the nonlinear, timevarying nature of adaptive algorithms continues to challenge traditional methods for the verification and validation testing of safety-critical flight control systems. Increasingly complex adaptive control theories and designs are emerging, but only make testing challenges more difficult. A potential first step toward the acceptance of adaptive flight controllers by aircraft manufacturers, operators, and certification authorities is a very simple design that operates as an augmentation to a non-adaptive baseline controller. Three such controllers were developed as part of a National Aeronautics and Space Administration flight research experiment to determine the appropriate level of complexity required to restore acceptable handling qualities to an aircraft that has suffered failures or damage. The controllers consist of the same basic design, but incorporate incrementally-increasing levels of complexity. Derivations of the controllers and their adaptive parameter update laws are presented along with details of the controllers implementations.
A rotorcraft roof sandwich panel has been redesigned to optimize sound power transmission loss (TL) and minimize structure-borne sound for frequencies between 1 and 4 kHz where gear meshing noise from the transmission has the most impact on speech intelligibility. The roof section, framed by a grid of ribs, was originally constructed of a single honeycomb core/composite face sheet panel. The original panel has coincidence frequencies near 700 Hz, leading to poor TL across the frequency range of 1 to 4 kHz. To quiet the panel, the cross section was split into two thinner sandwich subpanels separated by an air gap. The air gap was sized to target the fundamental mass-spring-mass resonance of the double panel system to less than 500 Hz. The panels were designed to withstand structural loading from normal rotorcraft operation, as well as 'man-on-the-roof' static loads experienced during maintenance operations. Thin layers of VHB 9469 viscoelastomer from 3M were also included in the face sheet ply layups, increasing panel damping loss factors from about 0.01 to 0.05. Measurements in the NASA SALT facility show the optimized panel provides 6-11 dB of acoustic transmission loss improvement, and 6-15 dB of structure-borne sound reduction at critical rotorcraft transmission tonal frequencies. Analytic panel TL theory simulates the measured performance quite well. Detailed finite element/boundary element modeling of the baseline panel simulates TL slightly more accurately, and also simulates structure-borne sound well.
During the course of a literature survey concerning resonance charge exchange, an unusual degree of agreement was noted between an extrapolation of the data reported by Kushnir, Palyukh, and Sena and the data reported by Ziegler. The data of Kushnir et al. are for ion-atom relative energies from 10 to 1000 ev, while the data of Ziegler are for a relative energy of about 1 ev. Extrapolation of the data of Kushnir et al. was made in accordance with Holstein's theory, 3 which is a combination of time-dependent perturbation methods and classical orbit theory. The results of this theory may be discussed in terms of a critical impact parameter b(sub c).
This paper is aimed at atmospheric scientists without formal training in statistical theory. Its goal is to, 1) provide a critical review of the rationale for trend analysis of the time series typically encountered in the field of atmospheric chemistry; 2) describe a range of trend-detection methods; and 3) demonstrate effective means of conveying the results to a general audience. Trend detections in atmospheric chemical composition data are often challenged by a variety of sources of uncertainty, which often behave differently to other environmental phenomena such as temperature, precipitation rate, or stream flow, and may require specific methods depending on the science questions to be addressed. Some sources of uncertainty can be explicitly included in the model specification, such as autocorrelation and seasonality, but some inherent uncertainties are difficult to quantify, such as data heterogeneity and measurement uncertainty due to the combined effect of short- and long-term natural variability, instrumental stability, and aggregation of data from sparse sampling frequency. Failure to account for these uncertainties might result in an inappropriate inference of the trends and their estimation errors. On the other hand, the variation in extreme events might be interesting for different scientific questions, for example, the frequency of extremely high surface ozone events and their relevance to human health. In this study we aim to, 1) review trend detection methods for addressing different levels of data complexity in different chemical species; 2) demonstrate that the incorporation of scientifically interpretable covariates can outperform pure numerical curve fitting techniques in terms of uncertainty reduction and improved predictability; 3) illustrate the study of trends based on extreme quantiles that can provide insight beyond standard mean or median based trend estimates; and 4) present an advanced method of quantifying regional trends based on the inter-site correlations of multi-site data. All demonstrations are based on time series of observed trace gases relevant to atmospheric chemistry, but the methods can be applied to other environmental data sets.
NASA is supporting the development of an experiment called MISTE (Microgravity Scaling Theory Experiment) for future International Space Station mission. The main objective of this flight experiment is to perform in-situ PVT, heat capacity at constant volume, C(sub v) and chi(sub tau), measurements in the asymptotic region near the (sup 3)He liquid-gas critical point.
Literature on the theory of the generation of sound by the interaction of low Mach number turbulent flow with the edge of a semi-infinite rigid plate is critically reviewed. Three different approaches to the subject are identified, consisting of theories based on (1) Lighthill's acoustic analogy; (2) the solution of special, linearized hydroacoustic problems; and (3) ad hoc aerodynamic source models. When appropriately interpreted, all relevant theories produce essentially identical predictions in the limit of very small Mach numbers. None of the theories discusses the implications of the Kutta condition, however, nor of the effect of forward flight and source motion relative to the trailing edge. An outline of a redevelopment of the theory is included to give a unified view of the problem, exhibit the significance of the various approximations, and incorporate the effect of mean motion and of the Kutta condition.
Colloid stability theory has been applied to protein crystallization and predicts a narrow range of conditions under which crystals can be grown without the agglomeration of protein molecules (colloids) in the bulk solution. It also predicts a critical electrolyte concentration above which agglomeration will always occur. Using this theory, the rapid protein agglomeration occurring during Schlieren experiments as well as a terminal crystal size effect in a fixed container were explained. Following this concept, the supposed 'terminal' crystal size has been at least doubled.
Collision-broadened line widths in CO-CO2 and CO-O2 collisions have been calculated by incorporating interactions due to octopoles and hexadecapoles and short-range repulsive interactions into Anderson's (1949) theory. It is shown how these higher-order interactions can be manipulated to yield good agreement with experimental data. A critical evaluation of this totally empirical manipulation suggests that a thorough revision of the theory is required for all but simple dipole-dipole interactions. In the process of the evaluation, the values of the multipole moments are discussed.
The polymerization of amino acids into peptides and ultimately proteins is critical to evolution of life. Ribosomally-synthesized proteins are homochiral, composed entirely of L-amino acids. Abiotic syntheses of amino acids, however, produce racemic mixtures(equal amounts of L and D enantiomers), meaning that the pool of monomers available for abiotic protein synthesis would be racemic or nearly so. There are no prebiotically plausible mechanisms known to yield homochiral peptides from racemic pools of amino acids. While some mechanisms capable of producing or amplifying enantiomeric excesses have been observed, these excesses are small or not applicable to all biologically relevant amino acids. As a result, a prebiotically-feasible mechanism to create enantiopure pools of amino acids has not been identified. However, it is not clear that these enantio-enriched or enantiopure pools are necessary to produce homochiral peptides. Steric and electronic effects, or a combination of both, may influence how different enantiomers interact with each other, potentially leading to homochiral peptides from racemic mixtures. Here, we use density functional theory (DFT) calculations to assess the stability of homochiral and heterochiral reactive complexes produced during polymerization via the salt-induced peptide formation (SIPF) reaction. Experimental studies of the SIPF reaction have shown that it enables the formation of peptides under diverse environmental conditions, making it a plausible pathway to peptide formation on early Earth. In the SIPF reaction, NaCl acts as a condensation reagent while a divalent metal cation, primarily Cu2+, facilitates polymerization by complexing and activating amino acids forming a monochlorocuprate complex. To assess if hetero-or homochiral monochlorocuprate complexes were energetically favored, we compared the stability of LL, DD, and LD enantiomers of Cu2+–(alanine)2and Cu2+–(valine) 2 complexes. Gaussian 09 density DFT energy-minimization calculations were made for each Cu –amino acid complex in the cis and trans configuration. Models were energy minimized using the BH and HLYP/6-31++G(d,p) level of theory and free energies were compared to determine the most stable configuration.