Search NASA⌕ Search

SEARCH · Search NASA

Results for “Formal analysis”

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 415 records · Page 23

Unitarity bounds on effective field theories at the LHC

Effective Field Theory (EFT) extensions of the Standard Model are tools to compute observables (e.g. cross sections with partonic center-of-mass energy √s^) as a systematically improvable expansion suppressed by a new physics scale M. If one is interested in EFT predictions in the parameter space where M < √s^, concerns of self-consistency emerge, which can manifest as a violation of perturbative partial-wave unitarity. However, when we search for the effects of an EFT at a hadron collider with center-of-mass energy √s using an inclusive strategy, we typically do not have access to the event-by-event value of √s^. This motivates the need for a formalism that incorporates parton distribution functions into the perturbative partial-wave unitarity analysis. Developing such a framework and initiating an exploration of its implications is the goal of this work. Our approach opens up a potentially valid region of the EFT parameter space where M << √s. We provide evidence that there exist valid EFTs in this parameter space. The perturbative unitarity bounds are sensitive to the details of a given search, an effect we investigate by varying kinematic cuts.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗

Dinitrogen Binding and Functionalization from a Low-Coordinate Alkynyliron Complex

Alkynyl complexes of low-coordinate transition metals offer a sterically open environment and interesting bonding opportunities. Here, in this work, we explore the capacity of iron(I) alkynyl complexes to bind N 2 and isolate a N 2 complex including its X-ray crystal structure. Silylation of the N 2 complex gives an isolable, formally iron(IV) complex with a disilylhydrazido(2−) ligand, but natural bond orbital analysis indicates that an iron(II) formulation is preferable. The structure of this compound is similar to an earlier reported phenyl complex in which phenyl migration forms a new N–C bond, but the alkynyl group does not migrate. DFT calculations are used to test the possible reasons why the alkynyl is resistant to migration, and these show that the large Fe–C bond energy in the alkynyl complex is a factor that could contribute to the lack of migration.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗

How reduced are nucleophilic gold complexes?

Nucleophilic formal gold(– i ) and gold( i ) complexes are investigated via Intrinsic Bond Orbital analysis and Energy Decomposition Analysis, based on density functional theory calculations.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗

QCD Predictions for Physical Multimeson Scattering Amplitudes

We use lattice QCD calculations of the finite-volume spectra of systems of two and three mesons to determine, for the first time, three-particle scattering amplitudes with physical quark masses. Our results are for combinations of 𝜋 + and 𝐾 + , at a lattice spacing 𝑎 = 0.063 fm, and in the isospin-symmetric limit. We also obtain accurate results for maximal-isospin two-meson amplitudes, with those for 𝜋 + ⁢𝐾 + and 2⁢𝐾 + being the first determinations at the physical point. Dense lattice spectra are obtained using the stochastic Laplacian-Heaviside method, and the analysis leading to scattering amplitudes is done using the relativistic finite-volume formalism. Results are compared to chiral perturbation theory and to phenomenological fits to experimental data, finding good agreement.

hadron-hadron interactions↗

Multi-Objective Design Optimization of 100 kW Non-Rare-Earth or Reduced-Rare-Earth Machines

The goal of this project is to reduce the size, weight, cost, and losses associated with rotating electric machinery and its associated power electronics for electric and hybrid vehicle applications. In particular, this effort strives to facilitate electric machinery that will meet the requirements set forth in the USDRIVE Electrical and Electronics Technical Team Roadmap of October 2017. This roadmap calls for an electric machine with a peak power of 100 kW, a continuous rated power of 55 kW, a peak speed of less than 20,000 rpm, a volume of no more than 2 liters, a mass of less than 20 kg, and a useful life of 15 years or 300,000 miles of vehicle service. This will be achieved through a combination of (i) new materials, (ii) new electric machine topologies, (iii) advances in power electronics, and (iv) superior design through the use of formal and rigorous multi-objective optimization-based design founded on advanced analysis techniques.

33 ADVANCED PROPULSION SYSTEMS↗

Mission safety evaluation report for STS-33: Postflight edition

Space Transportation System 33 (STS-33) safety risk factors that represent a change from previous flights, factors from previous flights that have an impact on this flight, and the factors that are not unique to this flight are discussed. While some changes to the safety risk baseline are included to highlight their significance in risk level change, the primary purpose is to insure that changes which were too late to include in formal changes through the Failure Modes and Effects Analysis/Critical Items List and Hazard Analysis process are documented along with the safety position, which includes the acceptance rationale.

Hill, William C.↗

Distributed state-space generation of discrete-state stochastic models

High-level formalisms such as stochastic Petri nets can be used to model complex systems. Analysis of logical and numerical properties of these models of ten requires the generation and storage of the entire underlying state space. This imposes practical limitations on the types of systems which can be modeled. Because of the vast amount of memory consumed, we investigate distributed algorithms for the generation of state space graphs. The distributed construction allows us to take advantage of the combined memory readily available on a network of workstations. The key technical problem is to find effective methods for on-the-fly partitioning, so that the state space is evenly distributed among processors. In this paper we report on the implementation of a distributed state-space generator that may be linked to a number of existing system modeling tools. We discuss partitioning strategies in the context of Petri net models, and report on performance observed on a network of workstations, as well as on a distributed memory multi-computer.

Ciardo, Gianfranco↗

Computational Aeroelasticity: Success, Progress, Challenge

The formal term Computational Aeroelasticity (CAE) has only been recently adopted to describe aeroelastic analysis methods coupling high-level computational fluid dynamics codes with structural dynamics techniques. However, the general field of aeroelastic computations has enjoyed a rich history of development and application since the first hand-calculations performed in the mid 1930 s. This paper portrays a much broader definition of Computational Aeroelasticity; one that encompasses all levels of aeroelastic computation from the simplest linear aerodynamic modeling to the highest levels of viscous unsteady aerodynamics, from the most basic linear beam structural models to state-of-the-art Finite Element Model (FEM) structural analysis. This paper is not written as a comprehensive history of CAE, but rather serves to review the development and application of aeroelastic analysis methods. It describes techniques and example applications that are viewed as relatively mature and accepted, the "successes" of CAE. Cases where CAE has been successfully applied to unique or emerging problems, but the resulting techniques have proven to be one-of-a-kind analyses or areas where the techniques have yet to evolve into a routinely applied methodology are covered as "progress" in CAE. Finally the true value of this paper is rooted in the description of problems where CAE falls short in its ability to provide relevant tools for industry, the so-called "challenges" to CAE.

Schuster, David M.↗

Apex Reference Manual 3.0 Beta

Apex is a toolkit for constructing software that behaves intelligently and responsively in demanding task environments. Reflecting its origin at NASA where Apex continues to be developed, current applications include: a) Providing autonomous mission management and tactical control capabilities for unmanned aerial vehicles including an autonomous surveillance helicopter and a simulation prototype of an unmanned fixed-wing aircraft to be used for wildfire mapping; b) Simulating human air traffic controllers, pilots and astronauts to help predict how people might respond to changes in equipment or procedures; and c) Predicting the precise duration and sequence of routine human behaviors based on a human-computer interaction engineering technique called CPM-GOMS. Among Apex s components are a set of implemented reasoning services, such as those for reactive planning and temporal pattern recognition; a software architecture that embeds and integrates these services and allows additional reasoning elements to be added as extensions; a formal language for specifying agent knowledge; a simulation environment to facilitate prototyping and analysis; and Sherpa, a set of tools for visualizing autonomy logic and runtime behavior. In combination, these are meant to provide a flexible and usable framework for creating, testing, and deploying intelligent agent software. Overall, our goal in developing Apex is to lower economic barriers to developing intelligent software agents. New ideas about how to extend or modify the system are evaluated in terms of their impact in reducing the time, expertise, and inventiveness required to build and maintain applications. For example, potential enhancements to the AI reasoning capabilities in the system are reviewed not only for usefulness and distinctiveness, but also for their impact on the readability and general usability of Apex s behavior representation language (PDL) and on the transparency of resulting behavior. A second central part of our approach is to iteratively refine Apex based on lessons learned from as diverse a set of applications as possible. Many applications have been developed by users outside the core development team including engineers, researchers, and students. Usability is thus a central concern for every aspect of Apex visible to a user, including PDL, Sherpa, the Apex installation process, APIs, and user documentation. Apex users vary in their areas of expertise and in their familiarity with autonomy technology. Focusing on usability, a development philosophy summarized by the project motto "Usable Autonomy," has been important part of enabling diverse users to employ Apex successfully and to provide feedback needed to guide iterative, user-centered refinement.

Freed, Michael A.↗

Can Regulatory Bodies Expect Efficient Help from Formal Methods?

In the context of EDEMOI - a French national project that proposed the use of semiformal and formal methods to infer the consistency and robustness of aeronautical regulations through the analysis of faithfully representative models- a methodology had been suggested (and applied) to different (safety and security-related) aeronautical regulations. This paper summarizes the preliminary results of this experience by stating which were the methodology s expected benefits, from a scientific point of view, and which are its useful benefits, from a regulatory body s point of view.

Lopez Ruiz, Eduardo R.↗

Space Launch System Ascent Static Aerodynamic Database Development

This paper describes the wind tunnel testing work and data analysis required to characterize the static aerodynamic environment of NASA's Space Launch System (SLS) ascent portion of flight. Scaled models of the SLS have been tested in transonic and supersonic wind tunnels to gather the high fidelity data that is used to build aerodynamic databases. A detailed description of the wind tunnel test that was conducted to produce the latest version of the database is presented, and a representative set of aerodynamic data is shown. The wind tunnel data quality remains very high, however some concerns with wall interference effects through transonic Mach numbers are also discussed. Post-processing and analysis of the wind tunnel dataset are crucial for the development of a formal ascent aerodynamics database.

Pinier, Jeremy T.↗

The Evolution of Software and Its Impact on Complex System Design in Robotic Spacecraft Embedded Systems

The growth in computer hardware performance, coupled with reduced energy requirements, has led to a rapid expansion of the resources available to software systems, driving them towards greater logical abstraction, flexibility, and complexity. This shift in focus from compacting functionality into a limited field towards developing layered, multi-state architectures in a grand field has both driven and been driven by the history of embedded processor design in the robotic spacecraft industry.The combinatorial growth of interprocess conditions is accompanied by benefits (concurrent development, situational autonomy, and evolution of goals) and drawbacks (late integration, non-deterministic interactions, and multifaceted anomalies) in achieving mission success, as illustrated by the case of the Mars Reconnaissance Orbiter. Approaches to optimizing the benefits while mitigating the drawbacks have taken the form of the formalization of requirements, modular design practices, extensive system simulation, and spacecraft data trend analysis. The growth of hardware capability and software complexity can be expected to continue, with future directions including stackable commodity subsystems, computer-generated algorithms, runtime reconfigurable processors, and greater autonomy.

software↗

Characterization of Machine Variability and Progressive Heat Treatment in Selective Laser Melting of Inconel 718

The absence of an economy of scale in spaceflight hardware makes additive manufacturing an immensely attractive option for propulsion components. As additive manufacturing techniques are increasingly adopted by government and industry to produce propulsion hardware in human-rated systems, significant development efforts are needed to establish these methods as reliable alternatives to conventional subtractive manufacturing. One of the critical challenges facing powder bed fusion techniques in this application is variability between machines used to perform builds. Even with implementation of robust process controls, it is possible for two machines operating at identical parameters with equivalent base materials to produce specimens with slightly different material properties. The machine variability study presented here evaluates 60 specimens of identical geometry built using the same parameters. 30 samples were produced on machine 1 (M1) and the other 30 samples were built on machine 2 (M2). Each of the 30-sample sets were further subdivided into three subsets (with 10 specimens in each subset) to assess the effect of progressive heat treatment on machine variability. The three categories for post-processing were: stress relief, stress relief followed by hot isostatic press (HIP), and stress relief followed by HIP followed by heat treatment per AMS 5664. Each specimen (a round, smooth tensile) was mechanically tested per ASTM E8. Two formal statistical techniques, hypothesis testing for equivalency of means and one-way analysis of variance (ANOVA), were applied to characterize the impact of machine variability and heat treatment on six material properties: tensile stress, yield stress, modulus of elasticity, fracture elongation, and reduction of area. This work represents the type of development effort that is critical as NASA, academia, and the industrial base work collaboratively to establish a path to certification for additively manufactured parts. For future flight programs, NASA and its commercial partners will procure parts from vendors who will use a diverse range of machines to produce parts and, as such, it is essential that the AM community develop a sound understanding of the degree to which machine variability impacts material properties.

Prater, T.↗

Space Radiation Transport Code Development: 3DHZETRN

The space radiation transport code, HZETRN, has been used extensively for research, vehicle design optimization, risk analysis, and related applications. One of the simplifying features of the HZETRN transport formalism is the straight-ahead approximation, wherein all particles are assumed to travel along a common axis. This reduces the governing equation to one spatial dimension allowing enormous simplification and highly efficient computational procedures to be implemented. Despite the physical simplifications, the HZETRN code is widely used for space applications and has been found to agree well with fully 3D Monte Carlo simulations in many circumstances. Recent work has focused on the development of 3D transport corrections for neutrons and light ions (Z < 2) for which the straight-ahead approximation is known to be less accurate. Within the development of 3D corrections, well-defined convergence criteria have been considered, allowing approximation errors at each stage in model development to be quantified. The present level of development assumes the neutron cross sections have an isotropic component treated within N explicit angular directions and a forward component represented by the straight-ahead approximation. The N = 1 solution refers to the straight-ahead treatment, while N = 2 represents the bi-directional model in current use for engineering design. The figure below shows neutrons, protons, and alphas for various values of N at locations in an aluminum sphere exposed to a solar particle event (SPE) spectrum. The neutron fluence converges quickly in simple geometry with N > 14 directions. The improved code, 3DHZETRN, transports neutrons, light ions, and heavy ions under space-like boundary conditions through general geometry while maintaining a high degree of computational efficiency. A brief overview of the 3D transport formalism for neutrons and light ions is given, and extensive benchmarking results with the Monte Carlo codes Geant4, FLUKA, and PHITS are provided for a variety of boundary conditions and geometries. Improvements provided by the 3D corrections are made clear in the comparisons. Developments needed to connect 3DHZETRN to vehicle design and optimization studies will be discussed. Future theoretical development will relax the forward plus isotropic interaction assumption to more general angular dependence.

Wilson, John W.↗

Future Homes in Space: Development of Concepts for Exploration Space Habitats

NASA’s Artemis campaign seeks to return humans to the moon and establish a sustained presence on the lunar surface. This session will emphasize how habitation capabilities on the moon and in cislunar space can potentially contribute to the sustainability objectives of Artemis. Habitable elements represent opportunities to enable longer duration stays, increase the number of crew members present, enhance science and utilization activities, drive technology development for future Mars exploration, perform analog missions, and fuel economic opportunities for US industry. Panelists include Paul Kessler (NASA Marshall Space Flight Center, deputy lead for lunar surface habitation); Andrew Choate (NASA Marshall Space Flight Center, Mars habitation lead); Krystofer Dudzinski (NASA Marshall Space Flight Center, a space architect within the MSFC Advanced Concepts Office); and Larry Toups (retired from NASA Johnson Space Center, currently an adjunct professor at University of Houston in space architecture). The panel is moderated by Tracie Prater (NASA Marshall Space Flight Center, Habitation Systems Development Office). The panel will begin with an overview of the history of habitation concepts and an academic perspective on general considerations in space habitat design (Larry Toups). Paul Kessler and Andrew Choate will introduce NASA’s principle of “architecting from the right” to help define objectives for Artemis missions, needs/characteristics, use cases, and functions (as published in the agency’s Architecture Definition Document) and provide perspective on how this principle informs habitation concept development work. NASA panelists will discuss key engineering challenges identified for developing, deploying, and operating habitable assets on the lunar surface and/or in deep space. These may include dust mitigation, outfitting of inflatable softgoods (for concepts which may use softgoods as a primary structural material), survival in lunar darkness, human health and performance considerations, maintenance/repair/sparing, and autonomy. These identified challenges represent risks for habitation systems development and relate closely to capability gaps identified by the agency. While the work of NASA Marshall Space Flight Center’s habitation development office is primarily focused on habitats which are launched from earth pre-integrated (referred to as Class I in the framework previously developed by NASA space architects Kennedy/Cohen) or launched from earth and deployed at the point of use (Class II), there is also extensive work in NASA, academia, and companies on constructed habitats, which would be built on a planetary surface using indigenous resources (Class III habitats). Panelist Krystopher Dudzinski will discuss potential evolutionary pathways from Class I and Class II habitats to Class III habitats, unique and common architectural challenges within each habitat class, and key gaps in implementing Class III habitats from an architectural perspective. NASA panelists and the moderator will also provide an overview of partnership opportunities and avenues for further engagement to advance habitation systems for the SpaceCom audience. NASA is currently developing notional concepts for a lunar surface habitat and Mars transit habitat, which will be discussed during this panel session and used as examples. These concepts represent options for habitation system design and are a point of departure. They do not represent a final plan or formal recommendation on the part of the agency. Based on the most recent analysis cycle, NASA’s lunar surface habitat (SH) concept nominally supports two crew members for 30 days, with the capacity to support four crew during a surge period where crew will swap between the SH and another surface asset, such as a pressurized rover. This example design has a metallic airlock for ingress/egress and the upper portion is an inflatable material system which serves as the habitation module. The notional interior of the habitat is a three-deck layout/configuration which supports all crew mission functions, including exercise, stowage, extravehicular activity (EVA), sleep, hygiene waste collection, maintenance and repair, and meal preparation. Under analysis assumptions for habitation, the Mars Transit Habitat (TH) concept would support four crew on an up to 1,200 day Mars mission. One option for the concept is to initially dock Transit Habitat at Gateway, where it can be used to increase the duration of crew stays in cislunar space and perform shakedown and analog missions prior to a Mars departure. One challenge in longer duration missions which involve both surface exploration and transit is understanding crew adaptation when transitioning between partial gravity and microgravity environments. TH at Gateway offers an opportunity to study this transition and in doing so reduce risks associated with future Mars exploration. Like lunar SH, the most recent analysis cycle concept of a Mars TH is a hybrid structure design, with a metallic section supporting EVAs, axial/radial docking, and Safe Haven capabilities, and an inflatable softgoods structure for the primary habitation function. Interior layouts to optimize crew usability and livability are currently under trade. The panel will include presentation material, but also seeks to engage the audience in a highly interactive conversation regarding the potential role for habitation in future exploration initiatives. Potential topics for discussion include the influence of the crew experience on habitation systems design and livability/usability considerations, the benefits of space habitation development in terrestrial applications, and challenges and opportunities in “feeding forward” lunar surface habitation systems development to Mars exploration.

space habitats↗

System Health and Status Reporting is Used to Improve Infrastructure Systems at the Hanford Site - 20449

Reliable physical infrastructure systems are vital to completing the clean-up mission and the start-up and commissioning of new nuclear waste processing facilities at the Hanford Site. Key infrastructure systems at Hanford include water, sewer, and electrical utilities, roads, telecommunications/network systems, and fire systems. All of the infrastructure systems are non-nuclear, General Service systems that are being maintained under formal engineering configuration control and none are specifically credited in any documented safety analysis (DSA). Starting in calendar year 2017, the Hanford Site's infrastructure and services contractor started producing system health and status reports for a total of 15 critical infrastructure systems as means to get a better understanding of each system's health and how it could be improved to ensure better and more reliable service delivery. As the reporting, tracking, and use of the metrics has matured, the number of systems for which reports are being developed has been expanded to a total of 23. Each of the critical infrastructure systems are assigned primary and alternate design authorities that complete qualifications on each assigned system. The design authorities actively manage and maintain configuration control on each of their systems and track metrics associated with availability, maintenance (corrective and preventive), and configuration of the technical baseline. The metrics are based on the principles established in Chapter V of DOE O 420.1C, Facility Safety, [1] and have been tailored as appropriate to each of the key infrastructure systems. An overall assessment of system health is performed and documented on a routine basis (e.g., quarterly). Included in this documentation is a quantitative score for each of the metrics (i.e., availability, maintenance, configuration management) along with results of system walk-downs, description of any permanent design modifications, identification of new or emerging issues and vulnerabilities affecting the system, and an assessment by the design authority of actions necessary to improve the system health score. The overall status scores are calculated using a formula and based on a pre-determined grading scale, a color is assigned for simple presentation. The information gained from developing the reports is being used to (1) assist with making timely and better informed decisions through the use of solid technical bases that are increasing the overall reliability and capabilities of the Site's infrastructure systems as new expense and capital projects in the Reliability Projects Investment Portfolio (RPIP) are prioritized and executed; (2) feed the risk management program, and (3) integrate the technical content of Master Plans that describe the Site's needs for the system and the system's capabilities to meet those future needs. (authors)

12 MANAGEMENT OF RADIOACTIVE AND NON-RADIOACTIVE W↗

Probabilistic Unsteady Aerodynamic Analysis

Probabilistic CFD design is needed because we are asked to do more with less. To cost effectively accomplish the design task, we need to formally quantify the effect of uncertainties (variables) in the design. Probabilistic design is one effective method to formally quantify the effect of uncertainties. Our objective is to establish a revolutionary new early design process, by developing non-deterministic physics-based probabilistic design tools, which will include all the life cycle processes. This work was concerned with the usefulness of parametric optimization method coupled with a Navier-Stokes analysis code for the aero-thermodynamic design of turbomachinery combustor liner. The interconnection between the CFD code and NESSUS codes will facilitate the coupling between the thermal profiles and structural design. We have developed new concepts for reducing the computational cost of unsteady, three-dimensional, compressible aerodynamic analyses for multistage turbomachinery flows. The flow was modeled by the three-dimensional Favre-Reynolds-averaged Navier-Stokes equations using the k-E turbulence closure, which was integrated using an implicit third-order upwind solver. The methodology developed in this work is expected to lead to the design optimization of turbomachinery blades.

Gorla, Rama S. R.↗

Qualification of SAS4A/SASSYS-1 for Sodium-Cooled Fast Reactor Authorization and Licensing (Final CRADA Report)

This project focuses on assessment and qualification of the SAS4A/SASSYS-1 advanced reactor safety analysis code and its capacity to fulfill requirements associated with license/authorization of a sodium-cooled fast reactor (SFR). Specific objectives of this proposal include: development of a formal documentation requirements matrix that complies with a vendor’s NQA-1 program to identify needs for qualification documentation; completion of software methods qualification gap analysis to identify and close gaps in the verification and validation basis of the software; generation of an Acceptance Test Report to confirm compliance with the software requirements specification; and closure of gaps in Software Design Description (SDD) to assist with the eventual generation of a Modeling Licensing Topic Report (LTR).

21 SPECIFIC NUCLEAR REACTORS AND ASSOCIATED PLANTS↗