Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “LaN”

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.

At least 865 records · Page 48

Automata-Based Verification of Temporal Properties on Running Programs

This paper presents an approach to checking a running program against its Linear Temporal Logic (LTL) specifications. LTL is a widely used logic for expressing properties of programs viewed as sets of executions. Our approach consists of translating LTL formulae to finite-state automata, which are used as observers of the program behavior. The translation algorithm we propose modifies standard LTL to Buchi automata conversion techniques to generate automata that check finite program traces. The algorithm has been implemented in a tool, which has been integrated with the generic JPaX framework for runtime analysis of Java programs.

Giannakopoulou, Dimitra↗

Turbofan Duct Propagation Model

The CDUCT code utilizes a parabolic approximation to the convected Helmholtz equation in order to efficiently model acoustic propagation in acoustically treated, complex shaped ducts. The parabolic approximation solves one-way wave propagation with a marching method which neglects backwards reflected waves. The derivation of the parabolic approximation is presented. Several code validation cases are given. An acoustic lining design process for an example aft fan duct is discussed. It is noted that the method can efficiently model realistic three-dimension effects, acoustic lining, and flow within the computational capabilities of a typical computer workstation.

Lan, Justin H.↗

Monitoring Programs Using Rewriting

We present a rewriting algorithm for efficiently testing future time Linear Temporal Logic (LTL) formulae on finite execution traces, The standard models of LTL are infinite traces, reflecting the behavior of reactive and concurrent systems which conceptually may be continuously alive in most past applications of LTL, theorem provers and model checkers have been used to formally prove that down-scaled models satisfy such LTL specifications. Our goal is instead to use LTL for up-scaled testing of real software applications, corresponding to analyzing the conformance of finite traces against LTL formulae. We first describe what it means for a finite trace to satisfy an LTL property end then suggest an optimized algorithm based on transforming LTL formulae. We use the Maude rewriting logic, which turns out to be a good notation and being supported by an efficient rewriting engine for performing these experiments. The work constitutes part of the Java PathExplorer (JPAX) project, the purpose of which is to develop a flexible tool for monitoring Java program executions.

Havelund, Klaus↗

Designing Gamma TiAl Alloys (K5 Based) for Use at 840 C and Above

The objective of this program was to investigate how carbon additions and Al content variation affects RT tensile properties and creep performance in gamma TiAl alloys. On the basis of the results from the work four alloys were selected within the composition range of Ti-(44.7-47.0) Al-(1.0-1.7)Cr-3.0Nb-0.2W-0.2B-(0.23-0.43)C-(0, 0.2)Si. Through extensive annealing/aging experiments, detailed observations of microstructure evolution, property measurements and analyses, comprehensive understanding was made in the carbide formation process. It was found that creep properties depend on the distribution of carbide particles, which is controlled not only by the aging process but also the amount ratio fo Al and carbon. From the results and analysis, new creep-resistant alloy compositions are suggested for further development.

Kim, Young-Won↗

Bacteriorhodopsin Material and Film Fabrication Issues for Holographic Applications

We discuss issues associated with bacteriorhodopsin (BR) materials and films that affect optical performance in holographic applications. For the D85N variant, some critical parameters include degree of hydration and recording wavelength. The quantum efficiency of the molecular state transition is observed to be apparently dependent on the illumination wavelength. We explain this effect by modeling the photo-activity of the D85N variant as two competing photocycles between the 9-cis and 13-cis retinal configurations. We are able to determine the pure excited P-state absorbance spectrum from the ground state spectrum and mixed population spectra obtained by bleaching to steady-state conditions.

Downie, John D.↗

VARTM Process Modeling of Aerospace Composite Structures

A three-dimensional model was developed to simulate the VARTM composite manufacturing process. The model considers the two important mechanisms that occur during the process: resin flow, and compaction and relaxation of the preform. The model was used to simulate infiltration of a carbon preform with an epoxy resin by the VARTM process. The model predicted flow patterns and preform thickness changes agreed qualitatively with the measured values. However, the predicted total infiltration times were much longer than measured most likely due to the inaccurate preform permeability values used in the simulation.

Song, Xiao-Lan↗

Estimation of Unsteady Aerodynamic Models from Flight Test Data

This report summarizes the activities in aerodynamic model estimation from flight data. In addition to public presentations at the AIAA Atmospheric Flight Mechanics Conferences, two presentations at Boeing-Seattle were made during personal trips. These are discussed in the following: 1. Methodology of Aerodynamic Model Estimation from Flight Data. 2. Applications of F-16XL aerodynamic modeling. 3. Modeling of turbulence response. 5. Presentations at Boeing-Seattle. 6. Recommendations. and 7. References.

Lan, C. Edward↗

Modeling the VARTM Composite Manufacturing Process

A comprehensive simulation model of the Vacuum Assisted Resin Transfer Modeling (VARTM) composite manufacturing process has been developed. For isothermal resin infiltration, the model incorporates submodels which describe cure of the resin and changes in resin viscosity due to cure, resin flow through the reinforcement preform and distribution medium and compaction of the preform during the infiltration. The accuracy of the model was validated by measuring the flow patterns during resin infiltration of flat preforms. The modeling software was used to evaluate the effects of the distribution medium on resin infiltration of a flat preform. Different distribution medium configurations were examined using the model and the results were compared with data collected during resin infiltration of a carbon fabric preform. The results of the simulations show that the approach used to model the distribution medium can significantly effect the predicted resin infiltration times. Resin infiltration into the preform can be accurately predicted only when the distribution medium is modeled correctly.

Song, Xiao-Lan↗

Flow and Compaction During the Vacuum Assisted Resin Transfer Molding Process

The flow of an epoxy resin and compaction behavior of carbon fiber preform during vacuum- assisted resin transfer molding (VARTM) infiltration was measured using an instrumented tool. Composite panels were fabricated by the VARTM process using SAERTEX(R)2 multi-axial non- crimp carbon fiber fabric and the A.T.A.R.D. SI-ZG-5A epoxy resin. Resin pressure and preform thickness variation was measured during infiltration. The effects of the resin on the compaction behavior of the preform were measured. The local preform compaction during the infiltration is a combination of wetting and spring-back deformations. Flow front position computed by the 3DINFIL model was compared with the experimental data.

Grimsley, Brian W.↗

Expression of the high capacity calcium-binding domain of calreticulin increases bioavailable calcium stores in plants

Modulation of cytosolic calcium levels in both plants and animals is achieved by a system of Ca2+-transport and storage pathways that include Ca2+ buffering proteins in the lumen of intracellular compartments. To date, most research has focused on the role of transporters in regulating cytosolic calcium. We used a reverse genetics approach to modulate calcium stores in the lumen of the endoplasmic reticulum. Our goals were two-fold: to use the low affinity, high capacity Ca2+ binding characteristics of the C-domain of calreticulin to selectively increase Ca2+ storage in the endoplasmic reticulum, and to determine if those alterations affected plant physiological responses to stress. The C-domain of calreticulin is a highly acidic region that binds 20-50 moles of Ca2+ per mole of protein and has been shown to be the major site of Ca2+ storage within the endoplasmic reticulum of plant cells. A 377-bp fragment encoding the C-domain and ER retention signal from the maize calreticulin gene was fused to a gene for the green fluorescent protein and expressed in Arabidopsis under the control of a heat shock promoter. Following induction on normal medium, the C-domain transformants showed delayed loss of chlorophyll after transfer to calcium depleted medium when compared to seedlings transformed with green fluorescent protein alone. Total calcium measurements showed a 9-35% increase for induced C-domain transformants compared to controls. The data suggest that ectopic expression of the calreticulin C-domain increases Ca2+ stores, and that this Ca2+ reserve can be used by the plant in times of stress.

NASA Discipline Plant Biology↗

Optical Sensors for Biomolecules Using Nanoporous Sol-Gel Materials

An important consideration for space missions to Mars is the ability to detect biosignatures. Solid-state sensing elements for optical detection of biological entities are possible using sol-gel based biologically active materials. We have used these materials as optical sensing elements in a variety of bioassays, including immunoassays and enzyme assays. By immobilizing an appropriate biomolecule in the sol-gel sensing element, we have successfully detected analytes such as amino acids and hormones. In the case of the amino acid glutamate, the enzyme glutamate dehydrogenase was the immobilized molecule, whereas in the case of the hormone cortisol, an anti-cortisol antibody was immobilized in the sensing element. In this previous work with immobilized enzymes and antibodies, excellent sensitivity and specificity were demonstrated in a variety of formats including bulk materials, thin films and fibers. We believe that the sol-gel approach is an attractive platform for bioastronautics sensing applications because of the ability to detect a wide range of entities such as amino acids, fatty acids, hopanes, porphyrins, etc. The sol-gel approach produces an optically transparent 3D silica matrix that forms around the biomolecule of interest, thus stabilizing its structure and functionality while allowing for optical detection. This encapsulation process protects the biomolecule and leads to a more "rugged" sensor. The nanoporous structure of the sol-gel matrix allows diffusion of small target molecules but keeps larger, biomolecules immobilized in the pores. We are currently developing these biologically active sol-gel materials into small portable devices for on-orbit cortisol detection

Fang, Jonathan↗

My-Star: A Methodology and System for Tracing and Analyzing Requirements

This paper describes a methodology developed at the Jet Propulsion Laboratory (JPL), and designed for the process of requirements engineering and management. MY-STAR provides techniques for specifying, refining, allocating, baselining,sharing, changing, storing, and reporting on requirements and requirements metrics.

MY-STAR requirements engineering requirements mana↗

An Overview of the Quality Function Deployment (QFD) Technique

QFD is a product planning tool and a process methodology that enables all organizations, departments, and individuals in a business or a project to systematically focus on the critical performance, functions, and/or characteristics of a product that are the most important to the customer. It is part of the Total Quality Management (TQM) concept.. This presentation describes the objectives of QFD, the process for implementing the technique, the benefits derived from proper implementation, the kinds of systems where QFD is best utilized, what the success factors are, how QFD works, some guidelines for selection of a QFD team, and the functional roles of key team members.

Quality Function Deployment QFD customer focus cus↗