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 325 records · Page 18

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↗

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.↗

Testing of reliability - Analysis tools

An outline is presented of issues raised in verifying the accuracy of reliability analysis tools. State-of-the-art reliability analysis tools implement various decomposition, aggregation, and estimation techniques to compute the reliability of a diversity of complex fault-tolerant computer systems. However, no formal methodology has been formulated for validating the reliability estimates produced by these tools. The author presents three states of testing that can be performed on most reliability analysis tools to effectively increase confidence in a tool. These testing stages were applied to the SURE (semi-Markov Unreliability Range Evaluator) reliability analysis tool, and the results of the testing are discussed.

Hayhurst, Kelly J.↗

High Fidelity CFD Analysis and Validation of Rotorcraft Gearbox Aerodynamics Under Operational and Oil-Out Conditions

This document represents the evolving formal documentation of the NPHASE-PSU computer code. Version 3.15 is being delivered along with the software to NASA in 2013.Significant upgrades to the NPHASE-PSU have been made since the first delivery of draft documentation to DARPA and USNRC in 2006. These include a much lighter, faster and memory efficient face based front end, support for arbitrary polyhedra in front end, flow-solver and back-end, a generalized homogeneous multiphase capability, and several two-fluid modelling and algorithmic elements. Specific capability installed for the NASA Gearbox Windage Aerodynamics NRA are included in this version: Hybrid Immersed Overset Boundary Method (HOIBM) [Noack et. al (2009)] Periodic boundary conditions for multiple frames of reference, Fully generalized immersed boundary method, Fully generalized conjugate heat transfer, Droplet deposition, bouncing, splashing models, and, Film transport and breakup.

Gears↗

Model-Independent Time-Delay Interferometry Based on Principal Component Analysis

With a laser interferometric gravitational-wave detector in separate free flying spacecraft, the only way to achieve detection is to mitigate the dominant noise arising from the frequency fluctuations of the lasers via postprocessing. The noise can be effectively filtered out on the ground through a specific technique called time-delay interferometry (TDI), which relies on the measurements of time-delays between spacecraft and careful modeling of how laser noise enters the interferometric data. Recently, this technique has been recast into a matrix-based formalism by several authors, offering a different perspective on TDI, particularly by relating it to principal component analysis (PCA). In this work, we demonstrate that we can cancel laser frequency noise by directly applying PCA to a set of shifted data samples, without any prior knowledge of the relationship between single-link measurements and noise, nor time-delays. We show that this fully data-driven algorithm achieves a gravitational-wave sensitivity similar to classic TDI.

Quentin Baghi↗

An Earth System Digital Twin for Flood Prediction and Analysis

An Earth System Digital Twin (ESDT) is a dynamic, interactive, digital replica of the state and temporal evolution of Earth systems. It integrates multiple models along with observation data, and connecting them with analysis, AI, and visualization tools. Together, these enable users to explore the current state of the Earth system, predict future conditions, and run hypothetical scenarios to understand how the system would evolve under various assumptions. The NASA’s Advanced Information Systems Technology (AIST)’s Integrated Digital Earth Analysis System (IDEAS) project is to establish an extensible architectural solution to develop digital twins of our physical environment for Earth Science. IDEAS delivers a formal system architecture with mechanisms for the outputs of one model to feed into others; for driving models with observation data; and for harmonizing observation data and model outputs for analysis. To validate and demonstrate the IDEAS architecture, this project collaborates with the Space Climate Observatory (SCO)’s FloodDAM project and the Centre National d’Etudes Spatiales (CNES) to focus on floods detection, prediction and their impacts.

Kettig, Peter↗

On the development of an interactive resource information management system for analysis and display of spatiotemporal data

The recent availability of timely synoptic earth imagery from the Earth Resources Technology Satellites (ERTS) provides a wealth of information for the monitoring and management of vital natural resources. Formal language definitions and syntax interpretation algorithms were adapted to provide a flexible, computer information system for the maintenance of resource interpretation of imagery. These techniques are incorporated, together with image analysis functions, into an Interactive Resource Information Management and Analysis System, IRIMAS, which is implemented on a Texas Instruments 980A minicomputer system augmented with a dynamic color display for image presentation. A demonstration of system usage and recommendations for further system development are also included.

Schell, J. A.↗

Formal Methods in the Development of Highly Assured Software for Unmanned Aircraft Systems

In traditional software development methodologies, operational and functional requirements of systems are often specified in structured natural language notations. These restricted notations provide good documentation support, but only provide limited support for semantic analysis. These notations are generally not rich enough to unambiguously specify the requirements of safety-critical systems that, for example, involve complex numerical computations or that interact with the physical environment. Examples of these safety-critical systems are autonomous vehicles such as unmanned aircraft systems. This talk advocates the use of expressive formal logics, such as higher-order logic, to specify the operational and functional requirement of unmanned systems and to prove the correctness of these requirements. Semantic analysis of requirements written in higher-order logic is supported through the use of interactive theorem provers. Formal models serve as ideal reference implementations of functional requirements. Hence, formal logics enable software validation techniques where software implementations can be checked against functional requirements in a mechanical way. The Formal Methods group in the Safety-Critical Avionics Systems Branch at NASA Langley Research Center has conducted research on the development and application of formal verification techniques to safety-critical applications of interest to NASA for more than 30 years. This talk illustrates the use of formal methods in the development of highly-assured autonomous unmanned aircraft systems.

Formal Methods↗

Generalized Augmented-State Covariance Analysis for Spaceflight

The use of linear covariance analysis techniques, also known as LinCov, has been used extensively for more than a half century for spaceflight applications. Originally, its primary purpose was to facilitate navigation analysis. For many past and current applications, the specific implementations only support navigation studies still. When the concept of an augmented-state linear covariance analysis approach was initially introduced that allowed for both navigation and trajectory dispersion analysis, the enhancement was motivated and primarily utilized to support navigation filter tuning and error budget analysis. Relatively few utilize this alternate augmented-state formulation of LinCov due to its additional complexity. The untapped potential of the augmented-state linear covariance analysis technique slowly unfolded in the past two-decades as its capability to rapidly and reliably capture the integrated closed-loop guidance, navigation, and control (GN&C) system performance became more apparent. Even with this dual purpose of generating insights to both navigation errors along with trajectory and delta-v dispersions, the core theoretical development had a heavy emphasis on the impacts of the navigation system and largely neglected the details of the actual guidance, targeting, and control systems. This paper extends the navigation-centric theoretical development by formulating a generalized augmented-state covariance analysis (GAUSCOV) technique that allows for the intricacies of a variety of targeting and control strategies along with ground planning and mission operations to be more formally included in assessing the impacts to spaceflight GN&C system performance.

Linear Covariance Analysis↗

Extension of Liouville Formalism to Postinstability Dynamics

A mathematical formalism has been developed for predicting the postinstability motions of a dynamic system governed by a system of nonlinear equations and subject to initial conditions. Previously, there was no general method for prediction and mathematical modeling of postinstability behaviors (e.g., chaos and turbulence) in such a system. The formalism of nonlinear dynamics does not afford means to discriminate between stable and unstable motions: an additional stability analysis is necessary for such discrimination. However, an additional stability analysis does not suggest any modifications of a mathematical model that would enable the model to describe postinstability motions efficiently. The most important type of instability that necessitates a postinstability description is associated with positive Lyapunov exponents. Such an instability leads to exponential growth of small errors in initial conditions or, equivalently, exponential divergence of neighboring trajectories. The development of the present formalism was undertaken in an effort to remove positive Lyapunov exponents. The means chosen to accomplish this is coupling of the governing dynamical equations with the corresponding Liouville equation that describes the evolution of the flow of error probability. The underlying idea is to suppress the divergences of different trajectories that correspond to different initial conditions, without affecting a target trajectory, which is one that starts with prescribed initial conditions.

Zak, Michail↗

Spectrophotometry of faint cluster galaxies and the Hubble diagram - An approach to cosmology

New spectrophotometric data are presented for large-redshift galaxies in clusters. A new approach to aperture corrections and the analysis of the Hubble diagram is outlined, including the explicit incorporation of evolutionary effects. The importance of selection effects on the usual methods of analysis are in principle overcome in the analysis, although the heterogeneity of the sample still makes conclusions about cosmology slightly suspect. Formal values of the deceleration parameter are derived under several sets of assumptions, yielding results between +0.33 and -1.27 with formal standard deviations of order 0.7.

Gunn, J. E.↗