Search NASA⌕ Search

SEARCH · Search NASA

Results for “Scalable Model”

Search indexed NASA NTRS and DOE OSTI research on propulsion, heat transfer, battery materials and energy systems. Follow report and document links to the original sources.

Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.

At least 145 records · Page 8
All sourcesNASA NTRSDOE OSTI
NASA NTRS1989

Fabrication of light-weighted Si/SiC lidar mirrors

Small models of lightweight Si/SiC lidar mirrors have been fabricated via a scalable and cost-effective chemical vapor deposition (CVD) process. These mirrors are about 7.5 cm in diameter and consist of a Si-cladded SiC faceplate and lightweight structure made of SiC. The lightweight structure consists of an outer hexagonal cell with six triangular inner cells. The mirrors were polished to a figure better than 1/5 of a wave and a finish of better than 5A rms. The CVD route to fabrication of mirrors is fast and has the potential to yield several mirrors in a few weeks time from a signel reactor.

Goela, Jitendra S.↗
NASA NTRS2009

Automated Verification of Design Patterns with LePUS3

Specification and [visual] modelling languages are expected to combine strong abstraction mechanisms with rigour, scalability, and parsimony. LePUS3 is a visual, object-oriented design description language axiomatized in a decidable subset of the first-order predicate logic. We demonstrate how LePUS3 is used to formally specify a structural design pattern and prove ( verify ) whether any JavaTM 1.4 program satisfies that specification. We also show how LePUS3 specifications (charts) are composed and how they are verified fully automatically in the Two-Tier Programming Toolkit.

Nicholson, Jonathan↗
NASA NTRS2014

Ground Operations Autonomous Control and Integrated Health Management

The Ground Operations Autonomous Control and Integrated Health Management plays a key role for future ground operations at NASA. The software that is integrated into this system is called G2 2011 Gensym. The purpose of this report is to describe the Ground Operations Autonomous Control and Integrated Health Management with the use of the G2 Gensym software and the G2 NASA toolkit for Integrated System Health Management (ISHM) which is a Computer Software Configuration Item (CSCI). The decision rationale for the use of the G2 platform is to develop a modular capability for ISHM and AC. Toolkit modules include knowledge bases that are generic and can be applied in any application domain module. That way, there's a maximization of reusability, maintainability, and systematic evolution, portability, and scalability. Engine modules are generic, while application modules represent the domain model of a specific application. Furthermore, the NASA toolkit, developed since 2006 (a set of modules), makes it possible to create application domain models quickly, using pre-defined objects that include sensors and components libraries for typical fluid, electrical, and mechanical systems.

Computer Programs↗
NASA NTRS2019

Cloud Governance at Scale

Operating and maintaining a large multi-tenant ecosystem in the cloud requires scalable solutions to unique technical and process challenges. The Cloud Computing model grants significant permissions to development teams that traditionally were reserved for Data-Center Administrators and Supply-Chain Managers. Earthdata Cloud has worked to re-cast traditional data-center management into a sensible cloud-first model. This talk discusses some of our challenges, solutions, and way ahead.

financial controls↗
NASA NTRSDate not supplied

Development Status of Powered Descent for High-Mass Mars Entry, Descent, and Landing Systems

Retropropulsion, initiated at supersonic conditions, provides both deceleration and control authority as an enabling capability for the delivery of human-scale payloads to the surface of Mars. There are no other presently viable approaches to the descent phase of flight for vehicles of such scales. NASA continues to dedicate investment in the maturation of powered descent in atmospheric environments, for the express application to large-scale entry, descent, and landing systems. Efforts focus on parametric, subscale, inert gas ground testing, rigorous validation of computational modeling approaches against these data, and the implementation of highly efficient, scalable simulation tools. This paper summarizes the current maturity of retropropulsion in a free-flight, atmospheric environment for vehicles with significant aerodynamic surface area, as well as the current status of efforts within NASA for ground testing, computational simulation, and flight testing.

Mars↗
NASA NTRSDate not supplied

Development Status of Powered Descent for High-Mass Mars Entry, Descent, and Landing Systems

Retropropulsion, initiated at supersonic conditions, provides both deceleration and control authority as an enabling capability for the delivery of human-scale payloads to the surface of Mars. There are no other presently viable approaches to the descent phase of flight for vehicles of such scales. NASA continues to dedicate investment in the maturation of powered descent in atmospheric environments, for the express application to large-scale entry, descent, and landing systems. Efforts focus on parametric, subscale, inert gas ground testing, rigorous validation of computational modeling approaches against these data, and the implementation of highly efficient, scalable simulation tools. This paper summarizes the current maturity of retropropulsion in a free-flight, atmospheric environment for vehicles with significant aerodynamic surface area, as well as the current status of efforts within NASA for ground testing, computational simulation, and flight testing.

Ashley Korzun↗
NASA NTRS2009

Three-dimensional Finite Element Formulation and Scalable Domain Decomposition for High Fidelity Rotor Dynamic Analysis

This paper has two objectives. The first objective is to formulate a 3-dimensional Finite Element Model for the dynamic analysis of helicopter rotor blades. The second objective is to implement and analyze a dual-primal iterative substructuring based Krylov solver, that is parallel and scalable, for the solution of the 3-D FEM analysis. The numerical and parallel scalability of the solver is studied using two prototype problems - one for ideal hover (symmetric) and one for a transient forward flight (non-symmetric) - both carried out on up to 48 processors. In both hover and forward flight conditions, a perfect linear speed-up is observed, for a given problem size, up to the point of substructure optimality. Substructure optimality and the linear parallel speed-up range are both shown to depend on the problem size as well as on the selection of the coarse problem. With a larger problem size, linear speed-up is restored up to the new substructure optimality. The solver also scales with problem size - even though this conclusion is premature given the small prototype grids considered in this study.

Datta, Anubhav↗
NASA NTRSDate not supplied

Sliding Mode Transient Scaling Controller for Gas Turbine Engine Emulation on an Electric Machine

The testing of hybrid-electric aircraft propulsion system components and control strategies has dictated the need for a low-cost gas turbine engine (GTE) emulation testbed. Within that testbed, electric machines (EMs) are used to emulate the dynamics of a GTE. GTE mathematical models are used to provide control torque commands to EMs. Most GTEs operate at much higher power levels than commercially available EMs. Therefore, the transient shaft dynamics of the GTE must be scaled appropriately. The sliding mode controller being presented here aims to deliver a control torque to an electric machine with a fixed inertia that will allow it to mimic the response of a GTE with a different inertia. This solution provides an easily scalable and tunable transient emulation method without having to scale the GTE mathematical model and/or add inertia to the physical EM shaft. This controller has been proven in simulation to produce nearly identical transient rotational speed response to a reference GTE shaft model which has a large difference in rotational inertia compared to the motor. Also, the inherent robustness of the sliding mode control scheme results in negligible changes in performance for large amounts of parameter uncertainty while minimizing high frequency fluctuations in the control signal.

sliding mode↗
NASA NTRS1992

Decomposability and scalability in space-based observatory scheduling

In this paper, we discuss issues of problem and model decomposition within the HSTS scheduling framework. HSTS was developed and originally applied in the context of the Hubble Space Telescope (HST) scheduling problem, motivated by the limitations of the current solution and, more generally, the insufficiency of classical planning and scheduling approaches in this problem context. We first summarize the salient architectural characteristics of HSTS and their relationship to previous scheduling and AI planning research. Then, we describe some key problem decomposition techniques supported by HSTS and underlying our integrated planning and scheduling approach, and we discuss the leverage they provide in solving space-based observatory scheduling problems.

Muscettola, Nicola↗
NASA NTRSDate not supplied

NASA’s MBSE Approach for Advanced Air Mobility

NASA’s Aeronautics Research Mission Directorate (ARMD) has a significant research effort for advanced air mobility (AAM). AAM involves bringing aviation closer to where people live and work and offers the possibility of making aviation a normal part of everyday life. The scope of AAM is broad, including transformations in aircraft, airspace operations, and in how these new aviation capabilities will integrate into local communities. Due to the nature of AAM cutting across multiple aspects of the aircraft, airspace, and community domains, NASA is applying tools and techniques aligned with a model-based systems engineering approach. These are intended to capture and organize applicable system architectures and potential requirements in order to deliver a validated system architecture and recommended set of requirements that enable sustainable and scalable medium density AAM operations.

Advanced Air Mobility↗
NASA NTRSDate not supplied

Modeling and Optimizing Microwave Kinetic Inductance Detectors for the EXCLAIM Mission

Microwave Kinetic Inductance Detectors (MKIDs) are highly scalable detectors that have demonstrated background-limited sensitivity in space-like infrared environments. The detectors have a rich design space with many optimizable parameters, allowing high sensitivity measurements over a wide dynamic range. For these reasons, MKIDs are the chosen detectors for the Experiment for Cryogenic Large-Aperture Intensity Mapping (EXCLAIM), a balloon-based telescope targeting nearly background-limited performance from 420- 540 GHz. We present an update on the design and measurements of the EXCLAIM MKID-spectrometer system, with a particular focus on microwave-induced pair-breaking and TLS noise. We have performed dark tests using a test detector, accurately describing the data through an MKID model mainly following existing literature with slight variations in TLS-fitting. We also review the overall architecture of the EXCLAIM detectors-spectrometer system, including an R=512 𝜇-Spec integrated spectrometer. This MKID-spectrometer system not only enables EXCLAIM with groundbreaking sensitivities to the astrophysical signal, but it also provides a critical pathfinder for future far-IR telescopes that may benefit from these technologies.

Trevor Mackintosh Oxholm↗
NASA NTRSDate not supplied

Traffic Flow Analysis for Package Delivery Drones using a Queueing Model

A key component of the small unmanned aircraft systems traffic management ecosystem is the design of scalable algorithms for strategic deconfliction of drones prior to takeoff. In this work, we focus on efficient flow management of drones on a network of intersecting edges subject to two kinds of spacing constraints: 1) between any two adjacent vehicles on an edge and 2) between any two vehicles on two different edges arriving one after the other at an intersection. The spacing is designed to enable non-intersection of operational volumes corresponding to two different vehicles thereby properly separating the vehicles inside each volume. For simplicity, we assume a constant ground speed for the drones and fixed dimensions for the operational volume blocks. The deconfliction is managed by adjusting the takeoff time of the drones, thereby regulating their arrival time at various crossing waypoints in the network. This framework allows us to study the maximum flow (throughput) of vehicles on a network of edges connecting depots to drop off sites subject to the temporal spacing constraints. The departure scheduling of individual drones results in a combinatorial optimization problem. To alleviate this, we solve a max-flow formulation and use queueing theory to simplify the analysis and provide upper bounds to the underlying optimization problem for individual drone departure scheduling. Our results indicate that throughput drops rapidly after the density of drones in the network passes the max-flow limits.

Alexey A Munishkin↗
NASA NTRS1995

Parallel Navier-Stokes computations on shared and distributed memory architectures

We study a high order finite difference scheme to solve the time accurate flow field of a jet using the compressible Navier-Stokes equations. As part of our ongoing efforts, we have implemented our numerical model on three parallel computing platforms to study the computational, communication, and scalability characteristics. The platforms chosen for this study are a cluster of workstations connected through fast networks (the LACE experimental testbed at NASA Lewis), a shared memory multiprocessor (the Cray YMP), and a distributed memory multiprocessor (the IBM SPI). Our focus in this study is on the LACE testbed. We present some results for the Cray YMP and the IBM SP1 mainly for comparison purposes. On the LACE testbed, we study: (1) the communication characteristics of Ethernet, FDDI, and the ALLNODE networks and (2) the overheads induced by the PVM message passing library used for parallelizing the application. We demonstrate that clustering of workstations is effective and has the potential to be computationally competitive with supercomputers at a fraction of the cost.

Hayder, M. Ehtesham↗
NASA NTRSDate not supplied

MBSE Execution of Scalable Autonomous Operations for a High Density Vertiplex

The High Density Vertiplex (HDV) subproject of NASA’s Advanced Air Mobility (AAM) project adopted Model-Based Systems Engineering (MBSE) and NASA SE processes were executed via MBSE using MagicDraw. Since the adoption of MBSE and utilization of MagicDraw, the systems engineering team has made tremendous strides in each pillar of MBSE including, requirements, behavior, and structure. Scalable Autonomous Operations (SAO) was a stage in the development of the High Density Vertiplex focusing on the autonomous terminal operations of a vertiport with sUAS aircraft. MBSE served the systems engineering team to document and verify the physical architecture and capture a logical architecture of SAO for distribution to the AAM community. This paper will detail methodologies that were created to successfully execute NASA SE processes via MBSE in the SAO stage as well as highlight challenges and lessons learned.

Demetrios Katsaduros↗
NASA NTRSDate not supplied

Sub-kW Class Hall-Effect Thruster Power Processing Unit for Wide Output Range Applications

The National Aeronautics and Space Administration (NASA) Small Spacecraft Electric Propulsion (SSEP) project is maturing high-propellant throughput sub-kilowatt Hall-effect thruster technologies to enable small spacecraft deep space science and exploration missions with high delta-v requirements. In support of this effort, development of a power processing unit (PPU) capable of providing discharge power of up to 1 kW continues to be pursued at the NASA Glenn Research Center (GRC). Previous reported work included a successful integrated test of a scalable, modular breadboard discharge power supply with the NASA-H64M laboratory model Hall-effect thruster and presentation of notional designs for the various auxiliary power supplies needed for thruster operation. Since that time, auxiliary power supply designs have been completed and fabricated, with the cathode heater and keeper power supplies being successfully tested with a hollow cathode assembly (HCA) in the NASA GRC Vacuum Facility 56 (VF-56). The desire for a lower mass, higher efficiency, and more versatile PPU to maximize performance of power and mass-limited small spacecraft has led to the exploration of a discharge power supply based on a series-parallel (LCC) resonant topology. This topology has enabled the discharge power supply to operate over a wider output range at switching frequencies 4-5 times higher than previous design iterations. Simulation models of the topology have been developed and a breadboard of the topology has been fabricated and evaluated on both resistive loads and an integrated Hall thruster test. This paper will present collected performance and integrated test data from both the fabricated auxiliary and resonant discharge power supplies. Advantages of the resonant converter architecture over more traditional pulse-width modulated (PWM) techniques in Hall-effect thruster discharge power supply applications will also be described.

electric propulsion↗
NASA NTRSDate not supplied

Sub-kW Class Hall-Effect Thruster Power Processing Unit for Wide Output Range Applications

The National Aeronautics and Space Administration (NASA) Small Spacecraft Electric Propulsion (SSEP) project is maturing high-propellant throughput sub-kilowatt Hall-effect thruster technologies to enable small spacecraft deep space science and exploration missions with high delta-v requirements. In support of this effort, development of a power processing unit (PPU) capable of providing discharge power of up to 1 kW continues to be pursued at the NASA Glenn Research Center (GRC). Previous reported work included a successful integrated test of a scalable, modular breadboard discharge power supply with the NASA-H64M laboratory model Hall-effect thruster and presentation of notional designs for the various auxiliary power supplies needed for thruster operation. Since that time, auxiliary power supply designs have been completed and fabricated, with the cathode heater and keeper power supplies being successfully tested with a hollow cathode assembly (HCA) in the NASA GRC Vacuum Facility 56 (VF-56). The desire for a lower mass, higher efficiency, and more versatile PPU to maximize performance of power and mass-limited small spacecraft has led to the exploration of a discharge power supply based on a series-parallel (LCC) resonant topology. This topology has enabled the discharge power supply to operate over a wider output range at switching frequencies 4-5 times higher than previous design iterations. Simulation models of the topology have been developed and a breadboard of the topology has been fabricated and evaluated on both resistive loads and an integrated Hall thruster test. This paper will present collected performance and integrated test data from both the fabricated auxiliary and resonant discharge power supplies. Advantages of the resonant converter architecture over more traditional pulse-width modulated (PWM) techniques in Hall-effect thruster discharge power supply applications will also be described.

electric propulsion↗
NASA NTRS2019

Computational Performance of Progressive Damage Analysis of Composite Laminates using Abaqus/Explicit with 16 to 512 CPU Cores

The computational scaling performance of progressive damage analysis using Abaqus/ Explicit is evaluated and quantified using from 16 to 512 CPU cores. Several analyses were conducted on varying numbers of cores to determine the scalability of the code on five NASA high performance computing systems. Two finite element models representative of typical models used for progressive damage analysis of composite laminates were used. The results indicate a 10 to 15 times speed up scaling from 24 to 512 cores. The run times were modestly reduced with newer generations of CPU hardware. If the number of degrees of freedom is held constant with respect to the number of cores, the model size can be increased by a factor of 20, scaling from 16 to 512 cores, with the same run time. An empirical expression was derived relating run time, the number of cores, and the number of degrees of freedom. Analysis cost was examined in terms of software tokens and hardware utilization. Using additional cores reduces token usage since the computational performance increases more rapidly than the token requirement with increasing number of cores. The in- crease in hardware cost with increasing cores was found to be modest. Overall the results show relatively good scalability of the Abaqus/Explicit code on up to 512 cores.

Bergan, A. C.↗
NASA NTRS2004

SPIN or LURCH : a Comparative Assessment of Model Checking and Stochastic Search for Temporal Properties in Procedural Code

The difficulty of how to test large systems, such as the one on board a NASA robotic remote explorer (RRE) vehicle, is fundamentally a search issue: the global state space representing all possible has yet to be solved, even after many decades of work. Randomized algorithms have been known to outperform their deterministic counterparts for search problems representing a wide range of applications. In the case study presented here, the LURCH randomized algorithm proved to be adequate to the task of testing a NASA RRE vehicle. LURCH found all the errors found by an earlier analysis of a more complete method (SPIN). Our empirical results are that LURCH can scale to much larger models than standard model checkers like SMV and SPIN. Further, the LURCH analysis was simpler than the SPIN analysis. The simplicity and scalability of LURCH are two compelling reasons for experimenting further with this tool.

verification↗