Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “branching process”

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 73 records · Page 4
All sourcesNASA NTRSDOE OSTI
NASA NTRS2005

Process Developed for Generating Ceramic Interconnects With Low Sintering Temperatures for Solid Oxide Fuel Cells

Solid oxide fuel cells (SOFCs) have been considered as premium future power generation devices because they have demonstrated high energy-conversion efficiency, high power density, and extremely low pollution, and have the flexibility of using hydrocarbon fuel. The Solid-State Energy Conversion Alliance (SECA) initiative, supported by the U.S. Department of Energy and private industries, is leading the development and commercialization of SOFCs for low-cost stationary and automotive markets. The targeted power density for the initiative is rather low, so that the SECA SOFC can be operated at a relatively low temperature (approx. 700 C) and inexpensive metallic interconnects can be utilized in the SOFC stack. As only NASA can, the agency is investigating SOFCs for aerospace applications. Considerable high power density is required for the applications. As a result, the NASA SOFC will be operated at a high temperature (approx. 900 C) and ceramic interconnects will be employed. Lanthanum chromite-based materials have emerged as a leading candidate for the ceramic interconnects. The interconnects are expected to co-sinter with zirconia electrolyte to mitigate the interface electric resistance and to simplify the processing procedure. Lanthanum chromites made by the traditional method are sintered at 1500 C or above. They react with zirconia electrolytes (which typically sinter between 1300 and 1400 C) at the sintering temperature of lanthanum chromites. It has been envisioned that lanthanum chromites with lower sintering temperatures can be co-fired with zirconia electrolyte. Nonstoichiometric lanthanum chromites can be sintered at lower temperatures, but they are unstable and react with zirconia electrolyte during co-sintering. NASA Glenn Research Center s Ceramics Branch investigated a glycine nitrate process to generate fine powder of the lanthanum-chromite-based materials. By simultaneously doping calcium on the lanthanum site, and cobalt and aluminum on the chromium site, we could sinter the materials below 1400 C. The doping concentrations were adjusted so that the thermal expansion coefficient matched that of the zirconia electrolyte. Also, the investigation was focused on stoichiometric compositions so that the materials would have better stability. Co-sintering and chemical compatibility with zirconia electrolyte were examined by X-ray diffraction, scanning electron microscopy, and energy dispersive spectroscopy (line scanning and dot map). The results showed that the materials bond well, but do not react, with zirconia electrolyte. The electric conductivity of the materials measured at 900 C in air was about 20 S/cm.

Zhong, Zhi-Min↗
NASA NTRS1984

Multispectral and geomorphic studies of processed Voyager 2 images of Europa

High resolution images of Europa taken by the Voyager 2 spacecraft were used to study a portion of Europa's dark lineations and the major white line feature Agenor Linea. Initial image processing of images 1195J2-001 (violet filter), 1198J2-001 (blue filter), 1201J2-001 (orange filter), and 1204J2-001 (ultraviolet filter) was performed at the U.S.G.S. Branch of Astrogeology in Flagstaff, Arizona. Processing was completed through the stages of image registration and color ratio image construction. Pixel printouts were used in a new technique of linear feature profiling to compensate for image misregistration through the mapping of features on the printouts. In all, 193 dark lineation segments were mapped and profiled. The more accurate multispectral data derived by this method was plotted using a new application of the ternary diagram, with orange, blue, and violet relative spectral reflectances serving as end members. Statistical techniques were then applied to the ternary diagram plots. The image products generated at LPI were used mainly to cross-check and verify the results of the ternary diagram analysis.

Meier, T. A.↗
NASA NTRS1983

Eddy current X-Y scanner system

The Nondestructive Evaluation Branch of the Materials and Processes Laboratory became aware of a need for a miniature, portable X-Y scanner capable of performing eddy current or other nondestructive testing scanning operations such as ultrasonic, or small areas of flat plate. The technical description and operational theory of the X-Y scanner system designed and built to fulfill this need are covered. The scanner was given limited testing and performs according to its design intent, which is to scan flat plate areas of approximately 412 sq cm (64 sq in) during each complete cycle of scanning.

Kurtz, G. W.↗
NASA NTRS2000

A Dream of a Mission: Stellar Imager and Seismic Probe

The Stellar Imager and Seismic Probe (SISP) is a mission to understand the various effects of magnetic fields of stars, the dynamos that generate them, and the internal structure and dynamics of the stars in which they exist. The ultimate goal is to achieve the best-possible forecasting of solar activity on times scales ranging up to decades, and an understanding of the impact of stellar magnetic activity on astrobiology and life in the Universe. The road to that goal will revolutionize our understanding of stars and stellar systems, the building blocks of the Universe. SISP will zoom in on what today - with few exceptions - we only know as point sources, revealing processes never before seen, thus providing a tool to astrophysics as fundamental as the microscope is to the study of life on Earth. SISP is an ultraviolet aperture-synthesis imager with 8-10 telescopes with meter-class apertures, and a central hub with focal-plane instrumentation that allows spectrophotometry in passbands as narrow as a few Angstroms up to hundreds of Angstroms. SISP will image stars and binaries with one hundred to one thousand resolution elements on their surface, and sound their interiors through asteroseismology to image internal structure, differential rotation, and large-scale circulations; this will provide accurate knowledge of stellar structure and evolution and complex transport processes, and will impact numerous branches of (astro)physics ranging from the Big Bang to the future of the Universe. Fitting naturally within the NASA long-term time line, SISP complements defined missions, and with them will show us entire other solar systems, from the central star to their orbiting planets.

Carpenter, Kenneth G.↗
NASA NTRS1996

Telemetry Systems

Goddard Space Flight Center developed satellite telemetry processing technology to meet NASA's sophisticated processing requirements. The Microelectronic Systems Branch, a 'company' within Goddard, provided NASA with the telemetry data systems from 1985 to 1994. TSI/Telsys, Inc. was then founded to commercialize the systems and began operations on October 1, 1995. The system aids the remote sensing industry by providing affordable and quick access to data collected from space.

Source record↗
NASA NTRS2000

Laboratory investigation of the contribution of complex aromatic/aliphatic polycyclic hybrid molecular structures to interstellar ultraviolet extinction and infrared emission

We have demonstrated by experiment that, in an energetic environment, a simple polycyclic aromatic hydrocarbon (PAH) such as naphthalene will undergo chemical reactions that produce a wide array of more complex species (an aggregate). For a stellar wind of a highly evolved star (post-asymptotic giant branch [post-AGB]), this process would be in addition to what is expected from reactions occurring under thermodynamic equilibrium. A surprising result of that work was that produced in substantial abundance are hydrogenated forms that are hybrids of polycyclic aromatic and polycyclic alkanes. Infrared spectroscopy described here reveals a spectral character for these materials that has much in common with that observed for the constituents of circumstellar clouds of post-AGB stars. It can be demonstrated that a methylene (-CH2-) substructure, as in cycloalkanes, is the likely carrier of the 6.9 microns band emission of dust that has recently been formed around IRAS 22272+5433, NGC 7027, and CPD -56 8032. Ultraviolet spectroscopy previously done with a lower limit of 190 nm had revealed that this molecular aggregate can contribute to the interstellar extinction feature at 2175 angstroms. We have now extended our UV spectroscopy of these materials to 110 nm by a vacuum ultraviolet technique. That work, described here, reveals new spectral characteristics and describes how material newly formed during the late stages of stellar evolution could have produced an extinction feature claimed to exist at 1700 angstroms in the spectrum of HD 145502 and also how the newly formed hydrocarbon material would be transformed/aged in the general interstellar environment. The contribution of this molecular aggregate to the rise in interstellar extinction at wavelengths below 1500 angstroms is also examined. The panspectral measurements of the materials produced in the laboratory, using plasmas of H, He, N, and O to convert the simple PAH naphthalene to an aggregate of complex species, provide insight into possible molecular structure details of newly formed hydrocarbon-rich interstellar dust and its transformation into aged material that becomes resident in the interstellar medium. Specifically the presence of naphthalene-like and butadiene-like conjugated structures as chromophores for the 2175 angstroms ultraviolet extinction feature is indicated.

NASA Discipline Exobiology↗
NASA NTRS1976

Machine processing of remotely acquired data

The two major branches of remote sensing are based on image orientation and numerical orientation. Numerically oriented systems tend to involve computers for data analysis. In designing an information-gathering system, the sensor as well as the means of analysis must be well mated to the type of system orientation. Attention is given to sensor types as related to system types, the multispectral approach and pattern recognition, the multispectral scanner as data source, an illustrative example, procedural details in the use of pattern recognition, the speed and cost of data processing, the use of spatial information, and data preprocessing steps.

Landgrebe, D. A.↗
NASA NTRS2010

Designing and Implementing an OVERFLOW Reader for ParaView and Comparing Performance Between Central Processing Units and Graphical Processing Units

In the Applied Aerosciences and CFD branch at Johnson Space Center, computational simulations are run that face many challenges. Two of which are the ability to customize software for specialized needs and the need to run simulations as fast as possible. There are many different tools that are used for running these simulations and each one has its own pros and cons. Once these simulations are run, there needs to be software capable of visualizing the results in an appealing manner. Some of this software is called open source, meaning that anyone can edit the source code to make modifications and distribute it to all other users in a future release. This is very useful, especially in this branch where many different tools are being used. File readers can be written to load any file format into a program, to ease the bridging from one tool to another. Programming such a reader requires knowledge of the file format that is being read as well as the equations necessary to obtain the derived values after loading. When running these CFD simulations, extremely large files are being loaded and having values being calculated. These simulations usually take a few hours to complete, even on the fastest machines. Graphics processing units (GPUs) are usually used to load the graphics for computers; however, in recent years, GPUs are being used for more generic applications because of the speed of these processors. Applications run on GPUs have been known to run up to forty times faster than they would on normal central processing units (CPUs). If these CFD programs are extended to run on GPUs, the amount of time they would require to complete would be much less. This would allow more simulations to be run in the same amount of time and possibly perform more complex computations.

Chawner, David M.↗
NASA NTRSDate not supplied

Fostering Better Collaboration in Software Development Cycles Between Scientists and Programmers to Ensure the Integrity of and Promote the Development of New Scientific Data Products.

Misaligned incentives lead to reduced interaction between scientists and programmers on modern NASA science data-product development teams. Typically, situations arise where the scientist is not incentivized to learn modern coding practices and the programmer does not understand the science algorithms in the code. A programmer is responsible for the deliverable code thus setting a tradeoff between the desire for code improvement versus fear of compromising the integrity of data-product while the scientist continues to rely on their legacy codebases owing to the complexity of using the delivered code outside the processing environment and lack of validation modules. The NASA/CERES-TISA project has adopted a collaborative approach, with scientists and programmers both utilizing the same software repository with multiple branches, some optimized for delivery to a processing datacenter and others for scientific product development and validation. A team of scientists and programmers jointly review any new science code updates for integration into the codebase and strive to improve practices through promoting algorithm understanding, better institutional knowledge exchange and documentation, modularization, and developing data processing flow-dictated validation and debugging methods. This leads to a reduction in the personnel single point failures and reduced development time for creation of new science data-products.

CERES↗
NASA NTRS2004

Propulsion Airframe Aeroacoustics Technology Evaluation and Selection Using a Multi-Attribute Decision Making Process and Non-Deterministic Design

The Systems Analysis Branch at NASA Langley Research Center has investigated revolutionary Propulsion Airframe Aeroacoustics (PAA) technologies and configurations for a Blended-Wing-Body (BWB) type aircraft as part of its research for NASA s Quiet Aircraft Technology (QAT) Project. Within the context of the long-term NASA goal of reducing the perceived aircraft noise level by a factor of 4 relative to 1997 state of the art, major configuration changes in the propulsion airframe integration system were explored with noise as a primary design consideration. An initial down-select and assessment of candidate PAA technologies for the BWB was performed using a Multi-Attribute Decision Making (MADM) process consisting of organized brainstorming and decision-making tools. The assessments focused on what effect the PAA technologies had on both the overall noise level of the BWB and what effect they had on other major design considerations such as weight, performance and cost. A probabilistic systems analysis of the PAA configurations that presented the best noise reductions with the least negative impact on the system was then performed. Detailed results from the MADM study and the probabilistic systems analysis will be published in the near future.

Burg, Cecile M.↗
NASA NTRS1980

Inelastic behavior of structural components

A more accurate procedure was developed for the determination of the inelastic behavior of structural components. The actual stress-strain curve for the mathematical of the structure was utilized to generate the force-deformation relationships for the structural elements, rather than using simplified models such as elastic-plastic, bilinear and trilinear approximations. relationships were generated for beam elements with various types of cross sections. In the generational of these curves, stress or load reversals, kinematic hardening and hysteretic behavior were taken into account. Intersections between loading and unloading branches were determined through an iterative process. Using the inelastic properties obtained, the plastic static response of some simple structural systems composed of beam elements was computed. Results were compared with known solutions, indicating a considerable improvement over response predictions obtained by means of simplified approximations used in previous investigations.

Hussain, N.↗
NASA NTRS1988

Far-infrared data for symbiotic stars. II - The IRAS survey observations

IRAS survey data for all known symbiotic binaries are reported. S type systems have 25 micron excesses much larger than those of single red giant stars, suggesting that these objects lose mass more rapidly than do normal giants. D type objects have far-IR colors similar to those of Mira variables, implying mass-loss rate of about 10 to the -6th solar masses/yr. The near-IR extinctions of the D types indicate that their Mira components are enshrouded in optically thick dust shells, while their hot companions lie outside the shells. If this interpretation of the data is correct, then the very red near-IR colors of D type symbiotic stars are caused by extreme amounts of dust absorption rather than dust emission. The small group of D prime objects possesses far-IR colors resembling those of compact planetary nebulae or extreme OH/IR stars. It is speculated that these binaries are not symbiotic stars at all, but contain a hot compact star and an exasymptotic branch giant which is in the process of ejecting a planetary nebula shell.

Kenyon, S. J.↗
NASA NTRS1993

Issues and approach to develop validated analysis tools for hypersonic flows: One perspective

Critical issues concerning the modeling of low density hypervelocity flows where thermochemical nonequilibrium effects are pronounced are discussed. Emphasis is on the development of validated analysis tools, and the activity in the NASA Ames Research Center's Aerothermodynamics Branch is described. Inherent in the process is a strong synergism between ground test and real gas computational fluid dynamics (CFD). Approaches to develop and/or enhance phenomenological models and incorporate them into computational flowfield simulation codes are discussed. These models were partially validated with experimental data for flows where the gas temperature is raised (compressive flows). Expanding flows, where temperatures drop, however, exhibit somewhat different behavior. Experimental data for these expanding flow conditions is sparse and reliance must be made on intuition and guidance from computational chemistry to model transport processes under these conditions. Ground based experimental studies used to provide necessary data for model development and validation are described. Included are the performance characteristics of high enthalpy flow facilities, such as shock tubes and ballistic ranges.

Deiwert, George S.↗
NASA NTRS1995

The AAMP5/AAMP-FV project

This presentation describes a project, formal verification of the microcode in the AAMP5 microprocessor, conducted to explore how formal techniques for specification and verification could be introduced into an industrial process. Sponsored by the Systems Validation Branch of NASA Langley and by Collins Commercial Avionics, a division of Rockwell International, it was conducted by Collins and the SRI International Computer Science Laboratory. The project consisted of specifying in the PVS language developed by SRI a portion of a Rockwell proprietary microprocessor, the AAMP5, at both the instruction set and register-transfer levels and using the PVS theorem prover to prove the microcode correct for a representative subset of instructions. While this presentation includes a brief technical overview, its emphasis is on the lessons learned in using PVS for an example of this size and the implications for using formal methods in an industrial setting. The central result of this project was to demonstrate the feasibility of formally specifying a commercial microprocessor and the use of mechanical proofs of correctness to verify microcode. This is particularly significant since the AAMP5 was not designed for formal verification, but to provide a more than three fold performance improvement, by pipelining instruction execution, while remaining object code compatible with the earlier AAMP2. As a consequence, the AAMP5 is one of the most complex microprocessors to which formal methods have been applied. Another key result was the discovery of both actual and seeded errors. Two actual microcode errors were discovered and corrected during development of the formal specification, illustrating the value of simply creating a precise specification. Two seeded errors were systematically uncovered while doing correctness proofs. One of these was an actual error that had been discovered after first fabrication but left in the microcode provided to SRI. The other error was designed to be unlikely to be detected by walkthroughs, testing, or simulation. Several other results emerged during the project, including the ease with which practicing engineers became comfortable with PVS, the need for libraries of general purpose theories, the usefulness of formal specification in revealing errors, the natural fit between formal specification and inspections, the difficulty of selecting the best style of specification for a new problem domain, the high level of assurance provided by proofs of correctness, and the need to engineer proof strategies for reuse.

Miller, Steven P.↗
NASA NTRS2002

Cool Bottom Processing on the AGB and Presolar Grain Compositions

We describe results from a model of cool bottom processing (CBP) in AGB (asymptotic giant branch) stars. We predict O, Al, C and N isotopic compositions of circumstellar grains. Measured compositions of mainstream SiC grains and many oxide grains are consistent with CBP. Additional information is contained in the original extended abstract.

Nollett, Kenneth M.↗
NASA NTRS2000

Interpreting the universal phylogenetic tree

The universal phylogenetic tree not only spans all extant life, but its root and earliest branchings represent stages in the evolutionary process before modern cell types had come into being. The evolution of the cell is an interplay between vertically derived and horizontally acquired variation. Primitive cellular entities were necessarily simpler and more modular in design than are modern cells. Consequently, horizontal gene transfer early on was pervasive, dominating the evolutionary dynamic. The root of the universal phylogenetic tree represents the first stage in cellular evolution when the evolving cell became sufficiently integrated and stable to the erosive effects of horizontal gene transfer that true organismal lineages could exist.

Non-NASA Center↗
NASA NTRS2009

Proceedings of the First NASA Formal Methods Symposium

Topics covered include: Model Checking - My 27-Year Quest to Overcome the State Explosion Problem; Applying Formal Methods to NASA Projects: Transition from Research to Practice; TLA+: Whence, Wherefore, and Whither; Formal Methods Applications in Air Transportation; Theorem Proving in Intel Hardware Design; Building a Formal Model of a Human-Interactive System: Insights into the Integration of Formal Methods and Human Factors Engineering; Model Checking for Autonomic Systems Specified with ASSL; A Game-Theoretic Approach to Branching Time Abstract-Check-Refine Process; Software Model Checking Without Source Code; Generalized Abstract Symbolic Summaries; A Comparative Study of Randomized Constraint Solvers for Random-Symbolic Testing; Component-Oriented Behavior Extraction for Autonomic System Design; Automated Verification of Design Patterns with LePUS3; A Module Language for Typing by Contracts; From Goal-Oriented Requirements to Event-B Specifications; Introduction of Virtualization Technology to Multi-Process Model Checking; Comparing Techniques for Certified Static Analysis; Towards a Framework for Generating Tests to Satisfy Complex Code Coverage in Java Pathfinder; jFuzz: A Concolic Whitebox Fuzzer for Java; Machine-Checkable Timed CSP; Stochastic Formal Correctness of Numerical Algorithms; Deductive Verification of Cryptographic Software; Coloured Petri Net Refinement Specification and Correctness Proof with Coq; Modeling Guidelines for Code Generation in the Railway Signaling Context; Tactical Synthesis Of Efficient Global Search Algorithms; Towards Co-Engineering Communicating Autonomous Cyber-Physical Systems; and Formal Methods for Automated Diagnosis of Autosub 6000.

Denney, Ewen↗
NASA NTRS2010

Galactic Bulge Giants: Probing Stellar and Galactic Evolution. 1. Catalogue of Spitzer IRAC and MIPS Sources (PREPRINT)

Aims. We aim at measuring mass-loss rates and the luminosities of a statistically large sample of Galactic bulge stars at several galactocentric radii. The sensitivity of previous infrared surveys of the bulge has been rather limited, thus fundamental questions for late stellar evolution, such as the stage at which substantial mass-loss begins on the red giant branch and its dependence on fundamental stellar properties, remain unanswered. We aim at providing evidence and answers to these questions. Methods. To this end, we observed seven 15 15 arcmin2 fields in the nuclear bulge and its vicinity with unprecedented sensitivity using the IRAC and MIPS imaging instruments on-board the Spitzer Space Telescope. In each of the fields, tens of thousands of point sources were detected. Results. In the first paper based on this data set, we present the observations, data reduction, the final catalogue of sources, and a detailed comparison to previous mid-IR surveys of the Galactic bulge, as well as to theoretical isochrones. We find in general good agreement with other surveys and the isochrones, supporting the high quality of our catalogue.

CMD(COLOR MAGNITUDE DIAGRAMS)↗