Search NASA⌕ Search

SEARCH · Search NASA

Results for “Model-Based Design”

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.

389 records · Page 22

IceNode: A Buoyant Vehicle for Acquiring Well-Distributed, Long-Duration Melt Rate Measurements Under Ice Shelves

Antarctic ice shelves buttress the Antarctic Ice Sheet from sliding into the ocean and significantly raising global sea level. However, the accelerating dynamics of ice shelf melt in a warming environment are poorly understood, and the collapse of Antarctic ice shelves remains one of the largest sources of uncertainty in global sea level rise projections. The cavities below Antarctic ice shelves are notoriously difficult to access, making model-based hypotheses about the relationship between ocean warming and greater ice shelf melting difficult to verify because of a lack of in-situ data to constrain model parameters and examine key assumptions. We present early progress on IceNode, a novel vehicle under development at the NASA Jet Propulsion Laboratory designed to acquire well-distributed, concurrent, long-duration melt rate measurements under ice shelves. IceNodes are deployed as an array from a ship at the shelf edge, and use variable buoyancy to ride melt-driven exchange currents far into the cavity. Once underneath their target, they release a ballast weight to become highly positively buoyant and attach to the underside of the ice shelf, where they acquire in-situ measurements of basal melt rate directly at the ice-ocean interface for a year or more. Finally, IceNodes detach from their landing structure and use variable buoyancy to ride melt-driven exchange currents back to open water, where they surface and transmit their mission data home. IceNodes are designed to be relatively low-cost, expendable, and have simple logistics, enabling scientists to deploy scalable arrays that simultaneously measure co-varying ice shelf melt and ocean conditions over large spatial areas, thereby providing an unprecedented view of ice shelf melt rate variability and its drivers.

Zapien, Xavier↗

Initial Development of A Digital Twin Model for an Electrified Aircraft Propulsion Emulation Rig

In support of aviation fuel burn and emission reduction goals, NASA is pursing high-payoff research investments that promise to transform aviation. This includes investments in Electrified Aircraft Propulsion (EAP), which relies on the generation, storage, transmission, and use of electrical power for producing thrust and optimizing propulsion system efficiency. Multiple technology challenges must be addressed to unlock the full potential of EAP. This includes advances in propulsion controls, which will be vital for ensuring coordinated efficient operation of the complex integrated subsystems that comprise EAP architectures. To support EAP controls research, the NASA Glenn Research Center has developed the Hybrid Propulsion Emulation Rig (HyPER). The HyPER laboratory hardware includes shaft-mounted electric machines, power converters, power supplies, power distribution cables, and an energy storage device that can be reconfigured to represent a variety of EAP architectures. It also includes an integrated real-time computer system that hosts developed EAP control software and turbomachinery simulations. This enables the electrical system and rotating shafts of EAP designs to be implemented in actual hardware and integrated with turbomachinery simulations and system-level EAP control logic implemented in software. In this form, the HyPER laboratory provides a partially simulated, partially hardware-in-the-loop test environment enabling the initial development and evaluation of EAP control technology. A prerequisite for the development of EAP control designs is the availability of a system model that accurately reflects the operation of the electrical system hardware. To support this need, a digital twin model of the HyPER electrical system hardware is under development. This model is being coded in the MATLAB Simulink environment and uses the NASA-developed Electrical Modeling and Thermal Analysis Toolbox (EMTAT) to construct a digital twin framework. EMTAT contains generic electrical component building blocks that are simulated at turbomachinery timescales. Associated inputs and outputs allow the blocks to be combined to model complete electrical systems. The EMTAT blocks also contain adjustable internal maps and parameters that can be set to reflect the operation of a specific electrical component. For the HyPER digital twin, the settings of these EMTAT block internal maps and parameters is determined through machine learning approaches applied to characterization run data collected from the laboratory. During characterization runs the laboratory electrical system hardware is subjected to a full range of torque, speed, and power settings. Acquired data is then used to estimate EMTAT block parameters using a variety of machine learning techniques. The resulting digital twin model is found to match the operation of actual HyPER hardware with an accuracy suitable for control development purposes. It also holds promise for other applications including modeling the performance of HyPER laboratory reconfigurations and model-based anomaly detection. Planned follow-on work to automate post-processing of acquired laboratory data to update the HyPER digital twin model will also be presented and discussed.

Electrified Aircraft Propulsion↗

An Approach to Evaluating the Impact of Small-Core Turbofan Technologies on Engine and Aircraft Performance

NASA’s Hybrid Thermally Efficient Core (HyTEC) project aims to accelerate the development of small-core turbofan engine technologies to enable a fuel burn reduction of 5 to 10 percent for next-generation aircraft, compared to 2020s best-in-class technology. This paper presents a demonstration of methods for evaluating the potential performance impact of small-core engine technologies developed under Phase 1 of the HyTEC project. The approach involves model-based systems analysis, where small-core innovations are integrated into baseline turbofan and aircraft systems models, creating a notional vision system. Performance of the vision system is examined at both the engine and vehicle level. The examined performance metrics include: engine bypass ratio, overall pressure ratio, high pressure compressor exit corrected mass flow, and aircraft fuel burn. The CFM LEAP-1B28 and Boeing 737 MAX 8 are chosen as the baseline state-of-the-art systems. Preliminary results map a design space for the small-core vision system and quantify the distinct effects of technologies on the key metrics.

Michael A Bennett↗

Design, Formalization, and Verification of Decision Making for Intelligent Systems

The development of autonomous systems requires a rigorous process that can guarantee a system’s reliability in critical applications. At its core, an autonomous system bases its behavior on a well-defined decision making system. In this paper, we present a methodological basis for the design, formalization and formal verification of Decision Making systems for autonomous agents. The approach is generally applicable to operational objectives that can be functionally decomposed and subsequently represented as Hierarchical Finite State Machines. As a case study, we present the application of this method to implement a Decision Making model in Simulink. Furthermore, we present how we use NASA’s FRET tool to write requirements in structured natural language and generate formal specifications that can be automatically digested by NASA’s CoCoSim tool. Finally, we present how, by leveraging CoCoSim, we perform formal verification against the Simulink model and present analysis results.

Model-based development↗

An Approach to Evaluating the Impact of Small-core Turbofan Technologies on Engine and Aircraft Performance

NASA’s Hybrid Thermally Efficient Core (HyTEC) project aims to accelerate the development of small-core turbofan engine technologies to enable a fuel burn reduction of 5 to 10 percent for next-generation aircraft, compared to 2020s best-in-class technology. This paper presents a demonstration of methods for evaluating the potential performance impact of small-core engine technologies developed under Phase 1 of the HyTEC project. The approach involves model-based systems analysis, where small-core innovations are integrated into baseline turbofan and aircraft systems models, creating a notional vision system. Performance of the vision system is examined at both the engine and vehicle level. The examined performance metrics include: engine bypass ratio, overall pressure ratio, high pressure compressor exit corrected mass flow, and aircraft fuel burn. The CFM LEAP-1B28 and Boeing 737 MAX 8 are chosen as the baseline state-of-the-art systems. Preliminary results map a design space for the small-core vision system and quantify the distinct effects of technologies on the key metrics.

Michael Bennett↗

Design, Formalization, and Verification of Decision Making for Intelligent Systems

The development of autonomous systems requires a rigorous process that can guarantee a system’s reliability in critical applications. At its core, an autonomous system bases its behavior on a well-defined decision making system. In this paper, we present a methodological basis for the design, formalization and formal verification of Decision Making systems for autonomous agents. The approach is generally applicable to operational objectives that can be functionally decomposed and subsequently represented as Hierarchical Finite State Machines. As a case study, we present the application of this method to implement a Decision Making model in Simulink. Furthermore, we present how we use NASA’s FRET tool to write requirements in structured natural language and generate formal specifications that can be automatically digested by NASA’s CoCoSim tool. Finally, we present how, by leveraging CoCoSim, we perform formal verification against the Simulink model and present analysis results.

Model-based development↗

Summary of Model-based Attitude Control of LUVOIR in Modular Dynamic Analysis (MDA) Simulink Environment

This document overviews the work I completed in the second half of my summer 2018 internship experience in Code 591 at NASA Goddard Space Flight Center. Please see the former memorandum for additional context on the project. The take away point is that LUVOIR A has been modeled as three rigid bodies linked by 1-DOF rotary joints. An LQR attitude controller was designed for precision pointing of the spacecraft with the design requirement that steady state oscillations have amplitude less than a miliarcsecond. The performance of the algorithm was tested in the Modular Dynamic Analysis Simulink library developed by J. Roger Chen at NASA Goddard. While the initial simulations were of rigid bodies, subsequent simulations included flexible body modes on all three bodies of the model. The simulated structural deformations initially destabilized the LQR controller thus requiring a redesign of the K gain matrix. The final simulation demonstrated a stabilizing feedback gain with miliarcsecond precision within 400 minutes. This run used 20 modes on the spacecraft, 9 on the bus, and 100 on the payload. Future recommended work includes the development of a Vibration Isolation and Precision Pointing System (VIPPS) Simulink model. Armed with this model, the system should be modeled as four bodies whose associated flexible files must be generated from the spacecraft through Gimbal 1, Gimbal 1 through Gimbal 2, Gimbal 2 through the VIPPS interface, and the VIPPS interface through the payload.

William Bentz↗

Teachers’ Use and Adaptation of A Model-Based Climate Curriculum: A Three-Year Longitudinal Study

Foregrounding climate education in formal science learning environments provides students with opportunities to develop critical climate-related knowledge and skills. However, research has shown many challenges to teaching and learning about Earth’s climate and global climate change (GCC). This longitudinal study aims to establish how secondary science teachers, over time, implement model-based climate curricula in support of students’ climate and GCC education by utilizing EzGCM. The model (EzGCM) is a data-driven, computer-based climate modeling tool use to explore global climate data. Multiple sources of data collection, including teacher interviews, classroom observations, and daily reflections, were employed to address the research question: “How did two teachers’ implementation strategies evolve over the three-year study while utilizing a model-based, climate-focused curriculum?” This study provides insight into how and why these resources [model-based climate education curricula] are utilized in science learning environments, thereby informing ongoing efforts to enhance climate education and, in doing so, preparing the next generation of climate-literate adults prepared to confront this most critical global challenge of our age. The findings showed while both teachers engaged in increasingly model-centric instructional practices, these changes were modest. Furthermore, both teacher’s observed classroom practices were less model-centric than the designed curriculum. Ultimately emphasizing the transition from existing practices to improved ones, rather than seeking the perfect approach, the study offers practical insights that can honestly assist secondary educators in real-world settings by highlighting state of climate education in secondary science classrooms.

Secondary science teaching↗

Defining A Modelling Language to Support Functional Hazard Assessment

Functional Hazard Assessment (FHA) is a key early-stage engineering process that supports the incorporation of safety in design by identifying the high-level functional hazards the system may encounter. While many FHA-like methodologies have been proposed in the design engineering literature, many of these methodologies have had difficulty becoming accepted industry practice. Industry standards, on the other hand, either provide too little recommendation on how to represent the function of the system to perform FHA, or rely on existing design artefacts which insufficiently support the goals of the process. This paper presents some of the problems with current modeling languages (both proposed and used) for FHA which limit the scope, expressiveness, flexibility, and precision of the analysis. It then outlines desirable principles an FHA-supporting analysis language should embody, and introduces the Functional Reasoning Design Language (FRDL), a formal modeling language for describing the functional elements of a system and their interactions, which aims to satisfy these principles. To demonstrate the use of this language, the modeling and hazard analysis of a disaster response drone is presented. While this case study is limited in scope, it highlights how FRDL can represent system function while reducing the ambiguity present in typical FHA-supporting functional modeling languages

Hazard Assessment↗

Defining A Modelling Language to Support Functional Hazard Assessment

Functional Hazard Assessment (FHA) is a key early-stage engineering process that supports the incorporation of safety in design by identifying the high-level functional hazards the system may encounter. While many FHA-like methodologies have been proposed in the design engineering literature, many of these methodologies have had difficulty becoming accepted industry practice. Industry standards, on the other hand, either provide little recommendation on how to represent the function of the system to perform FHA, or rely on readily-available models with little justification in design theory. This paper presents some of the problems with current modelling languages used for FHA which limit the scope, expressiveness, flexibility, and precision of the analysis, as well as desirable principles an FHA-supporting analysis language should embody. It further introduces the Functional Reasoning Design Language (FRDL), a formal modelling language for describing the functional behaviors of a system and their interactions which satisfies these principles. To demonstrate the use of this language, the modelling and hazard analysis of a disaster response drone is presented.

safety analysis↗

A Novel Additive Manufacturing Process Metric for Predicting Spatter-related Porosity in Laser Powder Bed Fusion

Components fabricated using the powder bed fusion laser beam metallic (PBF) additive manufacturing (AM) process comprise a multitude of sequential weld passes. Porosity defects resulting from weld pass inconsistencies are a concern for PBF materials and have a strong adverse effect on the mechanical properties. In an effort to understand and avoid spatter induced porosity, this work aims to provide a novel computational technique that can be used to quantify and predict the sequence-sensitive impact of spatter upon the PBF process stability and consequential porosity in as-printed material. A novel spatter impact AM model-based process metric (AM-PM) is introduced to model and quantify the impact that spatter has on the PBF process. The occurrence of spatter induced porosity is studied using thermal rise, lack of fusion, and spatter impact AM-PMs synchronized with porosity measured by high-resolution X-ray computed tomography. Six cylindrical specimens were designed to compare the AM-PM correlations with porosity across two different laser powers and three hatch scanning strategies. A point field based computational approach is shown to be effective for testing the influence of the different AM-PMs and interrogating the physical process conditions underlying the porosity formation. Further, characterization using optical metallography and scanning electron microscopy indicated that both keyhole and lack of fusion porosity correlated with the spatter impact AM-PM, which can be exploited to predict and control spatter related porosity by the hatch strategy. Efforts to predict porosity composition within PBF material should incorporate the PBF process disturbances that can result from spatter. The spatter impact AM-PM can be readily incorporated into the development of defect prediction models at the part scale.

Additive Manufacturing↗