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 145 records · Page 8
All sourcesNASA NTRSDOE OSTI
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)↗
NASA NTRS2014

Software Engineering for Human Spaceflight

The Spacecraft Software Engineering Branch of NASA Johnson Space Center (JSC) provides world‐class products, leadership, and technical expertise in software engineering, processes, technology, and systems management for human spaceflight. The branch contributes to major NASA programs (e.g. ISS, MPCV/Orion) with in‐house software development and prime contractor oversight, and maintains the JSC Engineering Directorate CMMI rating for flight software development. Software engineering teams work with hardware developers, mission planners, and system operators to integrate flight vehicles, habitats, robotics, and other spacecraft elements. They seek to infuse automation and autonomy into missions, and apply new technologies to flight processor and computational architectures. This presentation will provide an overview of key software‐related projects, software methodologies and tools, and technology pursuits of interest to the JSC Spacecraft Software Engineering Branch.

Fredrickson, Steven E.↗
NASA NTRS2021

Boundary-layer Instability Measurements on a Cone at Freestream Mach 3.5

An experimental study was conducted in the NASA (National Aeronautics and Space Administration) Langley Supersonic Low-Disturbance Tunnel to investigate naturally-occurring instabilities in a supersonic boundary layer on a 7◦ half-angle cone at nominal freestream conditions: Mach 3.5, total temperature of 299.8K, and unit Reynolds numbers (millions per m) of 9.89, 13.85, 21.77, and 25.73. Instability measurements were acquired under noisy-flow and quiet-flow conditions. Pitot-pressure and calibrated hot-wire measurements were obtained using a model-integrated traverse system to document the model flow field. In noisy-flow conditions, growth rates and mode shapes achieved good agreement between the measured results and linear stability theory (LST). The corresponding N factor at transition from LST is N ≈ 3.9. Under quiet-flow conditions, the most unstable first-mode instabilities as predicted by LST were measured, but this mode was not the dominant instability measured in the boundary layer. Instead, the dominant instabilities were less-amplified, low-frequency disturbances predicted by LST, and grew according to linear theory. These low-frequency unstable disturbances were initiated by freestream acoustic disturbances through a receptivity process believed to occur near the branch I location of the cone. Under quiet-flow conditions, the boundary layer remained laminar up to the last measurement station for the largest unit Reynolds number, implying a transition N factor of N > 8.5.

Boundary Layer↗
NASA NTRS2020

Development of a Display Tool to Quality Control Weather Balloon Data for Space Launch Vehicles Using Python

Continuous atmospheric data analysis is an important factor for space launch vehicle design and operations. The balloon quality control tool was developed by NASA’s Marshall Space Flight Center (MSFC) Natural Environments Branch (NEB) for monitoring quality control processes and verifying the automated flags created on the balloon data sets analyzed. The data sets currently analyzed are comprised of high-resolution and low-resolution balloon data from NASA Kennedy Space Center (KSC), co-located on the United States Air Force’s Eastern range (ER) at the Cape Canaveral Air Force Station. The NEB was tasked to perform a quality assessment of these data sets and needed a tool to confirm the quality control (QC) flags produced from an automated process and add additional QC flags if necessary. This Graphical User Interface (GUI) was developed to visualize all of the data from these balloon sets, display any flags from the automated QC process, and add additional flags to variables if necessary. The GUI was developed in Python 3.6 utilizing different packages available such as pandas for data analysis and manipulation, NumPy for high-performance multidimensional array and tools to compute with and manipulate arrays, Matplotlib for plotting data and Tkinter to build the GUI.

Jessica K Headley↗
NASA NTRS2020

Development of a Display Tool to Quality Control Weather Balloon Data for Space Launch Vehicles

Continuous atmospheric data analysis is an important factor for space launch vehicle design and operations. The balloon quality control tool was developed by NASA’s Marshall Space Flight Center (MSFC) Natural Environments Branch (NEB) for monitoring quality control processes and verifying the automated flags created on the balloon data sets analyzed. The data sets currently analyzed are comprised of high-resolution and low-resolution balloon data from NASA Kennedy Space Center (KSC), co-located on the United States Air Force’s Eastern range (ER) at the Cape Canaveral Air Force Station. The NEB was tasked to perform a quality assessment of these data sets and needed a tool to confirm the quality control (QC) flags produced from an automated process and add additional QC flags if necessary. This Graphical User Interface (GUI) was developed to visualize all of the data from these balloon sets, display any flags from the automated QC process, and add additional flags to variables if necessary. The GUI was developed in Python 3.6 utilizing different packages available such as pandas for data analysis and manipulation, NumPy for high-performance multidimensional array and tools to compute with and manipulate arrays, Matplotlib for plotting data and Tkinter to build the GUI.

Jessica K Headley↗
DOE OSTI2021

( 6 Li, d) and ( 6 Li, t) reactions on 22 Ne and implications for s-process nucleosynthesis

We studied α cluster states in 26 Mg via the 22 Ne( 6 Li,dγ) 26 Mg reaction in inverse kinematics at an energy of 7 MeV/nucleon. States between E x = 4–14 MeV in 26 Mg were populated and relative α spectroscopic factors were determined. Some of these states correspond to resonances in the Gamow window of the 22 Ne(α,n) 25 Mg reaction, which is one of the main neutron sources in the astrophysical s-process. Using our new 22 Ne(α,n) 25 Mg and 22Ne(α,γ) 26 Mg reaction rates, we performed new s-process calculations for massive stars and asymptotic giant branch stars and compared the resulting abundances with the abundances obtained using other 22 Ne+α rates from the literature. We observe an impact on the s-process abundances up to a factor of three for intermediate-mass AGB stars and up to a factor of ten for massive stars. Additionally, states in 25 Mg at E x < 7.5 MeV are identified via the 22 Ne( 6 Li,t) 25 Mg reaction for the first time. We present the ( 6 Li, t) spectroscopic factors of these states and note similarities to the (d,p) reaction in terms of reaction selectivity.

73 NUCLEAR PHYSICS AND RADIATION PHYSICS↗
NASA NTRS1985

Severe Storms Branch research report (April 1984 April 1985)

The Mesoscale Atmospheric Processes Research Program is a program of integrated studies which are to achieve an improved understanding of the basic behavior of the atmosphere through the use of remotely sensed data and space technology. The program consist of four elements: (1) special observations and analysis of mesoscale systems; (20 the development of quanitative algorithms to use remotely sensed observations; (3) the development of new observing systems; and (4) numerical modeling. The Severe Storms Branch objectives are the improvement of the understanding, diagnosis, and prediction of a wide range of atmospheric storms, which includes severe thunderstorms, tornadoes, flash floods, tropical cyclones, and winter snowstorms. The research often shed light upon various aspects of local weather, such as fog, sea breezes, air pollution, showers, and other products of nonsevere cumulus cloud clusters. The part of the program devoted to boundary layer processes, gust front interactions, and soil moisture detection from satellites gives insights into storm growth and behavior.

Dubach, L.↗
DOE OSTI2022

Studying ΔL = 2 Lepton Flavor Violation with Muons

Flavor violating processes in the lepton sector have highly suppressed branching ratios in the standard model. Thus, observation of lepton flavor violation (LFV) constitutes a clear indication of physics beyond the standard model (BSM). We review new physics searches in the processes that violate the conservation of lepton (muon) flavor by two units with muonia and muonium–antimuonium oscillations.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗
NASA NTRS1999

Modified Phenylethynyl Containing Imides for Secondary Bonding: Non-Autoclave, Low Temperature Processable Adhesives

As part of a program to develop structural adhesives for high performance aerospace applications, research continued on the development of modified phenylethynyl containing imides, LaRC(trademark)MPEIs. In previous reports, the polymer properties were controlled by varying the molecular weight, the amount of branching, and the phenylethynyl content and by blending with low molecular weight materials. This research involves changing the flexibility in the copolyimide backbone of the branched, phenylethynyl terminated adhesives. These adhesives exhibit excellent processability at pressures as low as 15 psi and temperatures as low as 288 C. The Ti/Ti lap shear specimens are processable in an autoclave or a temperature programmable oven under a vacuum bag at 288-300 C without external pressure. The cured polymers exhibit high mechanical properties and excellent solvent resistance. The chemistry and properties of these adhesives are presented.

Dezern, James F.↗
DOE OSTI2023

Palladium-Percolated Networks Enabled by Low Loadings of Branched Nanorods for Enhanced H 2 Separations

Nanoparticles (NPs) at high loadings are often used in mixed matrix membranes (MMMs) to improve gas separation properties, but they can lead to defects and poor processability that impede membrane fabrication. Herein, it is demonstrated that branched nanorods (NRs) with controlled aspect ratios can significantly reduce the required loading to achieve superior gas separation properties while maintaining excellent processability, as demonstrated by the dispersion of palladium (Pd) NRs in polybenzimidazole for H 2 /CO 2 separation. Increasing the aspect ratio from 1 for NPs to 40 for NRs decreases the percolation threshold volume fraction by a factor of 30, from 0.35 to 0.011. An MMM with percolated networks formed by Pd NRs at a volume fraction of 0.039 exhibits H 2 permeability of 110 Barrer and H 2 /CO 2 selectivity of 31 when challenged with simulated syngas at 200 °C, surpassing Robeson's upper bound. In conclusion, this work highlights the advantage of NRs over NPs and nanowires and shows that right-sizing nanofillers in MMMs is critical to construct highly sieving pathways at minimal loadings. In conclusion, this work paves the way for this general feature to be applied across materials systems for a variety of chemical separations.

36 MATERIALS SCIENCE↗
NASA NTRS2001

Image2000: A Free, Innovative, Java Based Imaging Package

The National Aeronautics and Space Administration (NASA) Goddard Space Flight Center's (GSFC) Scientific and Educational Endeavors (SEE) and the Center for Image Processing in Education (CIPE) use satellite image processing as part of their science lessons developed for students and educators. The image processing products that they use, as part of these lessons, no longer fulfill the needs of SEE and CIPE because these products are either dependent on a particular computing platform, hard to customize and extend, or do not have enough functionality. SEE and CIPE began looking for what they considered the "perfect" image processing tool that was platform independent, rich in functionality and could easily be extended and customized for their purposes. At the request of SEE, NASA's GSFC, code 588 the Advanced Architectures and Automation Branch developed a powerful new Java based image processing endeavors.

Pell, Nicholas↗
DOE OSTI2020

Measurements of $t\overline tH$ Production and the CP Structure of the Yukawa Interaction between the Higgs Boson and Top Quark in the Diphoton Decay Channel

The first observation of the t t ¯ H process in a single Higgs boson decay channel with the full reconstruction of the final state ( H → γ γ ) is presented, with a significance of 6.6 standard deviations ( σ ). The C P structure of Higgs boson couplings to fermions is measured, resulting in an exclusion of the pure C P -odd structure of the top Yukawa coupling at 3.2 σ . The measurements are based on a sample of proton-proton collisions at a center-of-mass energy s = 13 TeV collected by the CMS detector at the LHC, corresponding to an integrated luminosity of 137 fb – 1 . The cross section times branching fraction of the t t ¯ H process is measured to be σ t t ¯ H B γ γ = 1.56 – 0.32 + 0.34 fb , which is compatible with the standard model prediction of 1.13 – 0.11 + 0.08 fb . The fractional contribution of the C P -odd component is measured to be f C P H t t = 0.00 ± 0.33 .

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗