Search NASA⌕ Search

SEARCH · Search NASA

Results for “State of Practice”

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 577 records · Page 32

A real-time implementation of an advanced sensor failure detection, isolation, and accommodation algorithm

A sensor failure detection, isolation, and accommodation algorithm was developed which incorporates analytic sensor redundancy through software. This algorithm was implemented in a high level language on a microprocessor based controls computer. Parallel processing and state-of-the-art 16-bit microprocessors are used along with efficient programming practices to achieve real-time operation.

Delaat, J. C.↗

A real-time implementation of an advanced sensor failure detection, isolation, and accommodation algorithm

A sensor failure detection, isolation, and accommodation algorithm was developed which incorporates analytic sensor redundancy through software. This algorithm was implemented in a high level language on a microprocessor based controls computer. Parallel processing and state-of-the-art 16-bit microprocessors are used along with efficient programming practices to achieve real-time operation. Previously announced in STAR as N84-13140

Delaat, J. C.↗

An introduction to chaotic and random time series analysis

The origin of chaotic behavior and the relation of chaos to randomness are explained. Two mathematical results are described: (1) a representation theorem guarantees the existence of a specific time-domain model for chaos and addresses the relation between chaotic, random, and strictly deterministic processes; (2) a theorem assures that information on the behavior of a physical system in its complete state space can be extracted from time-series data on a single observable. Focus is placed on an important connection between the dynamical state space and an observable time series. These two results lead to a practical deconvolution technique combining standard random process modeling methods with new embedded techniques.

Scargle, Jeffrey D.↗

On explicit algebraic stress models for complex turbulent flows

Explicit algebraic stress models that are valid for three-dimensional turbulent flows in noninertial frames are systematically derived from a hierarchy of second-order closure models. This represents a generalization of the model derived by Pope who based his analysis on the Launder, Reece, and Rodi model restricted to two-dimensional turbulent flows in an inertial frame. The relationship between the new models and traditional algebraic stress models -- as well as anistropic eddy visosity models -- is theoretically established. The need for regularization is demonstrated in an effort to explain why traditional algebraic stress models have failed in complex flows. It is also shown that these explicit algebraic stress models can shed new light on what second-order closure models predict for the equilibrium states of homogeneous turbulent flows and can serve as a useful alternative in practical computations.

Gatski, T. B.↗

Technology Transfer: Marketing Tomorrow's Technology

The globalization of the economy and the end of the Cold War have triggered many changes in the traditional practices of U.S. industry. To effectively apply the resources available to the United States, the federal government has firmly advocated a policy of technology transfer between private industry and government labs, in this case the National Aeronautics and Space Administration (NASA). NASA Administrator Daniel Goldin is a strong proponent of this policy and has organized technology transfer or commercialization programs at each of the NASA field centers. Here at Langley Research Center, the Technology Applications Group (TAG) is responsible for facilitating the transfer of Langley developed research and technology to U.S. industry. Entering the program, I had many objectives for my summer research with TAG. Certainly, I wanted to gain a more thorough understanding of the concept of technology transfer and Langley's implementation of a system to promote it to both the Langley community and the community at large. Also, I hoped to become more familiar with Langley's research capabilities and technology inventory available to the public. More specifically, I wanted to learn about the technology transfer process at Langley. Because my mentor is a member of Materials and Manufacturing marketing sector of the Technology Transfer Team, another overriding objective for my research was to take advantage of his work and experience in materials research to learn about the Advanced Materials Research agency wide and help market these developments to private industry. Through the various projects I have been assigned to work on in TAG, I have successfully satisfied the majority of these objectives. Work on the Problem Statement Process for TAG as well as the development of the Advanced Materials Research Brochure have provided me with the opportunity to learn about the technology transfer process from the outside looking in and the inside looking out. Because TAG covers all of the research efforts conducted at Langley, my studies with TAG were ab!e to provide me an excellent overview of Langley's contribution to the aeronautics industry.

Tcheng, Erene↗

An Assessment of the State-of-the-Art in the Design and Manufacturing of Large Composite Structures for Aerospace Vehicles

The results of an assessment of the state-of-the-art in the design and manufacturing of large composite structures are described. The focus of the assessment is on the use of polymeric matrix composite materials for large airframe structural components. such as those in commercial and military aircraft and space transportation vehicles. Applications of composite materials for large commercial transport aircraft, general aviation aircraft, rotorcraft, military aircraft. and unmanned rocket launch vehicles are reviewed. The results of the assessment of the state-of-the-art include a summary of lessons learned, examples of current practice, and an assessment of advanced technologies under development. The results of the assessment conclude with an evaluation of the future technology challenges associated with applications of composite materials to the primary structures of commercial transport aircraft and advanced space transportation vehicles.

Harris, Charles E.↗

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↗

Entanglement Requirements for Coherent Enhancement in Detectors

Coherent enhancement is a powerful mechanism for improving the sensitivity of a wide range of detectors, but its practical use is often limited by the difficulty of preparing the required quantum states. We show that this difficulty has a fundamental origin: coherent enhancement of a signal interacting with a detector is quantitatively constrained by entanglement. We prove general bounds on how the strength of coherent effects can scale with system size, as a function of the single-mode entanglement entropy of the detector. These bounds smoothly interpolate between the incoherent and fully coherent regimes, and apply both to parameter-estimation problems and to scattering processes. We discuss these results from two complementary perspectives: First, they appear as bounds on the quantum Fisher information of many-body states, which translate directly into limits on parameter sensitivity via the quantum Cramér-Rao bound. Second, they can be interpreted as limits on a class of scattering cross sections, leading to predictions for how minimum detectable interaction strengths scale with target size. Together, these results provide a unified view of coherent enhancement in metrology and scattering experiments, and motivate the development of new techniques for generating entangled detector states.

Bogorad, Zachary [Fermilab] (ORCID:000000019913647↗

Scalable quantum computational science: A perspective from block-encodings and polynomial transformations

Significant developments made in quantum hardware and error correction recently have been driving quantum computing toward practical utility. However, gaps remain between abstract quantum algorithmic development and practical applications in computational sciences. In this perspective article, we propose several properties that scalable quantum computational science methods should possess. We further discuss how block-encodings and polynomial transformations can potentially serve as a unified framework with the desired properties. Recent advancements on these topics are presented, including the construction and assembly of block-encodings, and various generalizations of quantum signal processing (QSP) algorithms to perform polynomial transformations. The scalability of QSP methods on parallel and distributed quantum architectures is also highlighted. Promising applications in simulation and observable estimation in chemistry, physics, and optimization problems are presented. We hope this perspective serves as a gentle introduction to state-of-the-art quantum algorithms for the computational science community and inspires future development of scalable quantum computational science methodologies that bridge theory and practice.

Bayesian inference↗

Role of Dynamic Nucleation at Moving Boundaries in Phase and Microstructure Selection

Solidification microstructures that form under steady-state growth conditions (cells, dendrites, regular eutectics, etc.) are reasonably well understood in comparison to other, more complex microstructures, which form under intrinsically non-steady-state growth conditions due to the competition between the nucleation and growth of several phases. Some important practical examples in this latter class include microstructures forming in peritectic systems in highly undercooled droplets, and in strip cast stainless steels. Prediction of phase and microstructure selection in these systems has been traditionally based on (1) heterogeneous nucleation on a static interface, and (2) comparing the relative growth rate of different phase/microstructures under steady-state growth conditions. The formation of new phases, however, occurs via nucleation on, or ahead of, a moving boundary. In addition, the actual selection process is controlled by a complex interaction between the nucleation process and the growth competition between the nuclei and the pre-existing phase under non-steady-state conditions. As a result, it is often difficult to predict which microstructure will form and which phases will be selected under prescribed processing conditions. This research addresses this critical role of nucleation at moving boundaries in the selection of phases and solidification microstructures through quantitative experiments and numerical modeling in peritectic systems. In order to create a well characterized system in which to study this problem, we focus on the directional solidification of hypo- and hyper-peritectic alloys in the two-phase region, imposing a large enough ratio of temperature gradient/growth rate (G/V(sub p)) to suppress the morphological instability of both the parent (alpha) and peritectic (Beta) phases, i.e. each phase alone would grow as a planar front. Our combined experimental and theoretical results show that, already in this simplified case, the growth competition of these two phases leads to a rich variety of microstructures that depend sensitively upon the relative importance of nucleation, diffusion, and convection.

Karma, Alain↗

Evaluation of a practical approach for field scale moisture flow modeling in heterogeneous media at a semiarid site

Abstract A practical approach for modeling field‐scale moisture flow in a highly heterogeneous unsaturated medium is described in this study. The validity of this approach is demonstrated through comparison of the numerical simulations with field observations at a semiarid site located in southcentral Washington State. The methodology is based on upscaling the core scale hydraulic properties and combining power‐law and tensorial connectivity‐tortuosity (PA‐TCT) approaches to derive macroscopic anisotropy parameters for each hydrostratigraphic unit (HSU) identified in the field. Each heterogeneous HSU is approximated by an equivalent homogeneous medium (EHM) model for which PA‐TCT parameters are used in the flow simulations. The available field data on moisture content and matric potential are compared with steady‐state flow simulations based on the mean form of Richards' equation. While the homogenization or averaging of heterogeneities, embedded in the EHM modeling approximation, cannot capture all of the field‐scale variability, the simulated steady‐state moisture and matric potential profiles capture well the central tendency of the field data. This approach is deemed practical for assessing the fate and transport of contaminants in highly heterogeneous unsaturated media at the transport scale of hundreds of meters.

Khaleel, Raziuddin↗

Louisiana Air Quality - Using ASTER, Landsat 5, and MODIS to Assess the Impact of Sugar Cane and Marsh Burning Practices on Local Air Quality

Biomass burning is an event that occurs globally and encompasses both human-initiated and naturally-occurring fires. It is estimated that 3 billion metric tons of biomass are burned every year worldwide (Curtis 2002). Societies have used these burning techniques for cooking and heating, clearing land for agricultural use, and removing excess biomass from grazing and croplands (Levine 1991). Our study focuses on the state of Louisiana and its commonly occurring methods of sugarcane and marsh biomass burning (LSU Ag.Center 2000; Nyman and Chabreck 1995). Over the centuries, the sugarcane industry in this state has steadily grown to surpass all other agriculture commodities. To promote efficiency within this large industry, burning excess biomass takes place throughout the harvesting period (LSU Ag.Center 2000). In addition to sugarcane, Louisiana contains 30% of the total coastal marsh of the United States (LSU Ag.Center 2000). The periodic burning of such marshes is an ecologically important management tool that is practiced throughout the Atlantic and Gulf Coasts (Nyman and Chabreck 1995). In most biomass burning instances, the leading by-product is particulate matter that is less than 10 microns in diameter (PM10). Through past research, this fine material has been shown to have negative health effects on surrounding populations (Boopathy2001). While burning guidelines have been set into place by the Louisiana Department of Agriculture and Forestry (LDAF) to reduce health effects, the guidelines are voluntary (LDAF 2000). To help quantify emission estimates, we will focus on Iberia Parish for sugarcane burning and Cameron Parish for marsh burning. Through analysis of ASTER, Landsat 5 TM, and MODIS data, our goal is to determine the amount and location of land area burned for the years 2008 and 2009 due to these practices. With emissions algorithms from Seiler and Crutzen, 1980, total acreage burned can be used to estimate emissions. This information will help to document the impact of these smoke plumes on local populations for the improvement of biomass burning policies in Louisiana.

Clark, Robert↗

Symmetry dilemmas in quantum computing for chemistry: A comprehensive analysis

Symmetry adaptation, universality, and gate efficiency are central but often competing requirements in quantum algorithms for electronic structure and many-body physics. For example, fully symmetry-adapted universal operator pools typically generate long and deep quantum circuits; gate-efficient universal operator pools generally break symmetries; and gate-efficient, fully symmetry-adapted operator pools may not be universal. In this work, we analyze such symmetry dilemmas both theoretically and numerically. On the theory side, we prove that the popular, gate-efficient operator pool consisting of singlet spin-adapted singles and perfect-pairing doubles is not universal when spatial symmetry is enforced. To demonstrate the strengths and weaknesses of the three types of pools, we perform numerical simulations using an adaptive algorithm paired with operator pools that are (i) fully symmetry-adapted and universal, (ii) fully symmetry-adapted and non-universal, and (iii) breaking a single symmetry and universal. Our numerical simulations encompass three physically relevant scenarios in which the target state is (i) the global ground state, (ii) the ground state crossed by a state differing in multiple symmetry properties, and (iii) the ground state crossed by a state differing in a single symmetry property. Our results show when symmetry-breaking but universal pools can be used safely, when enforcing at least one distinguishing symmetry suffices, and when a particular symmetry must be rigorously preserved to avoid variational collapse. Together, the formal and numerical analyses provide a practical guide for designing and benchmarking symmetry-adapted operator pools that balance universality, resource requirements, and robust state targeting in quantum simulations for chemistry.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗

NASA's Management and Utilization of the Small Business Innovative Research (SBIR) Program

The United Space Congress established the SBIR program in 1982 for the following purposes: ( 1) Stimulate technological innovation (2) Increase private-sector commercialization derived from federal R&D (3) Use small business to meet federal R&D needs (4) Foster and encourage participation by disadvantaged persons and women in technological innovation The STTR program was established in 1992 with the additional requirement of having a small business partner with a research institution (usually a university) for the purpose of transferring intellectual property from the research institution to the small business concern for enabling a government technical need and furthering the technological development for the purpose of developing commercial products. The government of Japan has established a program that models portions of the U.S. SBIR and STTR programs. They are very interested in how NASA has been so successful in fulfilling the Congressional objectives of these programs. In particular, they want to understand the management practices and incentives that are provided to enable partnerships between business enterprises, academia and government. The speech will also focus on some of the many successful technologies (on a conceptual level) that have been developed through NASA s SBIR and STTR programs and mechanisms used to promote cooperation between small businesses, large businesses, academia and government agencies within the United States. The speech is on a conceptual level, focusing on U.S. and NASA policies and management implementation practices. No enabling technical discussion will be held.

Mexcur, Winfield Paul↗

Coupling Amorphization and Compositional Optimization of Ternary Metal Phosphides toward High-Performance Electrocatalytic Hydrogen Production

Amorphous materials, with abundant active sites and unique electronic configurations, have the potential to outperform their crystalline counterparts in high-performance catalysis for clean energy. However, their synthesis and compositional optimization remain underexplored due to the strict conditions required for their formation. Here, in this study, we report the synthesis of ternary platinum-nickel-phosphorus (PtNiP) amorphous nanoparticles (ANPs) within milliseconds by flash Joule heating, which features ultrafast cooling that enables the vitrification of metal precursors. Through compositional optimization, the Gibbs free energy of hydrogen adsorption for Pt 4 Ni 4 P 1 ANPs is optimized at 0.02 eV, an almost ideal value, even surpassing that of the benchmark metallic platinum catalyst. As a result, the PtNiP ANPs exhibited superior activity in electrocatalytic hydrogen evolution in acid electrolyte (η 10 ∼ 14 mV, Tafel slope ∼ 18 mV dec –1 , and mass activity 5× higher than state-of-the-art Pt/C). Life-cycle assessment and technoeconomic analysis suggest that, compared to existing processes, our approach enables notable reductions in greenhouse gas emission, energy consumption, and production cost for practical electrolyzer catalyst manufacturing.

36 MATERIALS SCIENCE↗

Multi-objective automatic discovery of optimized metamaterials for varying velocity impact protection

Mechanical metamaterials have demonstrated exceptional impact performance while remaining lightweight. Impact resistance has traditionally been investigated using quasi-static simulations, often with the assumption that performance will translate to high-velocity impact scenarios. However, critical crash protection parameters—such as peak stress and absorbed energy—are highly sensitive to impact velocity, leading to inconsistent performance under dynamic loading. To address this, we introduce a strain-rate-aware, active deep learning framework that enables multi-objective optimization of impact protection metrics across a wide range of impact velocities. Our framework captures the strain-rate sensitivity of architected lattices by learning to control spatial gradation in cellular metamaterials, resulting in over 200 % enhancement in impact protection relative to state-of-the-art designs such as Voronoi and re-entrant lattices. We demonstrate its practical utility by designing next-generation lattice structures for automotive bumper systems that satisfy multiple, velocity-specific safety criteria—capabilities beyond those of conventional designs. More than just a predictive tool, this framework marks the first step towards enabling adaptable impact-resistant structures across dynamic regimes.

Deep learning↗

Properties and performance of lignin-based polyurethane foams from lignin and castor oil as synergistic bio-polyols

Lignin and castor oil with intrinsic hydroxyl groups are attractive green resources for polyurethane (PU) applications. However, lignin's heterogeneous and highly crosslinked structure, poor processability, as well as the feedstock variability, lead to inconsistent and poor performance of the final foam products. Castor oil-based polyurethane foam (PUF) has a relatively high price and density, which are big hurdles to its practical applications. Here, in this study, we hypothesized that synergistic bio-polyol mixtures composed of lignin and castor oil could balance the drawbacks from individual component. Castor oil could improve the dispersity of lignin, while lignin simultaneously addressed the issues caused by PUF prepared with castor oil, such as its high density and low thermal stability. For a comprehensive understanding of the effects of structural properties of lignin on its PUF processing and applications, various lignin fractions were isolated by co-solvent enhanced lignocellulosic fractionation (CELF) from different species, including hardwood, softwood, and herbaceous plants, and the processed lignins with different molecular weights were applied with castor oil. The lignin fractions with lower molecular weight showed good dispersity in castor oil with a high lignin content (up to 50 wt%) and completely replaced petroleum-based polyols. The produced foam with 50 wt% low-molecular-weight lignin fractions from woody biomass showed comparable/higher compressive strength (up to 20 psi) and thermal insulation performance (up to 5.69 R-value in −1 for 50 % L-Pine foam). In addition, this study revealed the relationship between lignin's structural properties and foam performance, providing insights for practical applications of lignin-based PUF.

Jeong, Soyeon [State Univ. of New York (SUNY), Syr↗

Shadow of the Future: Developing Trust and Software within the Exascale Computing Project

Collaboration and team science are emerging areas of interest in software production. Historically, multi-institutional research collaborations are difficult to initiate and maintain, negatively impacting communication, negotiation, and dialogue between industry, government, and academic researchers. The Exascale Computing Project (ECP), a massive, multi-team, high-stakes initiative, facilitated broader research collaboration under a shared funding structure and extended timeline to support scientific discovery. Here, we conducted interviews with ECP teams, representing a variety of domain specialties, research institutions, and programming backgrounds. Using thematic analysis, we assessed how ECP’s structure created an environment of increased trust among projects and how software shared between teams facilitated sustained collaboration. We found that the expectation of future collaboration, i.e., the shadow of the future, greatly enhanced trust among teams and the quality of scientific software produced. Based on our findings within ECP projects, we connect to the existing literature on trust in software engineering and share recommendations for sustainable multi-institutional collaboration and shared best software practices.

Exascale computing project↗