Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “large systems”

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 883 records · Page 49
All sourcesNASA NTRSDOE OSTI
NASA NTRS2007

Summary of NASA Advanced Telescope and Observatory Capability Roadmap

The NASA Advanced Telescope and Observatory (ATO) Capability Roadmap addresses technologies necessary for NASA to enable future space telescopes and observatories operating in all electromagnetic bands, from x-rays to millimeter waves, and including gravity-waves. It lists capability priorities derived from current and developing Space Missions Directorate (SMD) strategic roadmaps. Technology topics include optics; wavefront sensing and control and interferometry; distributed and advanced spacecraft systems; cryogenic and thermal control systems; large precision structure for observatories; and the infrastructure essential to future space telescopes and observatories.

Stahl, H. Philip↗
NASA NTRS2010

Habitat Size Optimization of the O'Neill - Glaser Economic Model for Space Solar Satellite Production

Creating large space habitats by launching all materials from Earth is prohibitively expensive. Using space resources and space based labor to build space solar power satellites can yield extraordinary profits after a few decades. The economic viability of this program depends on the use of space resources and space labor. To maximize the return on the investment, the early use of high density bolo habitats is required. Other shapes do not allow for the small initial scale required for a quick population increase in space. This study found that 5 Man Year, or 384 person bolo high density habitats will be the most economically feasible for a program started at year 2010 and will cause a profit by year 24 of the program, put over 45,000 people into space, and create a large system of space infrastructure for the further exploration and development of space.

Curreri, Peter A.↗
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↗
NASA NTRS2011

Directed Incremental Symbolic Execution

The last few years have seen a resurgence of interest in the use of symbolic execution -- a program analysis technique developed more than three decades ago to analyze program execution paths. Scaling symbolic execution and other path-sensitive analysis techniques to large systems remains challenging despite recent algorithmic and technological advances. An alternative to solving the problem of scalability is to reduce the scope of the analysis. One approach that is widely studied in the context of regression analysis is to analyze the differences between two related program versions. While such an approach is intuitive in theory, finding efficient and precise ways to identify program differences, and characterize their effects on how the program executes has proved challenging in practice. In this paper, we present Directed Incremental Symbolic Execution (DiSE), a novel technique for detecting and characterizing the effects of program changes. The novelty of DiSE is to combine the efficiencies of static analysis techniques to compute program difference information with the precision of symbolic execution to explore program execution paths and generate path conditions affected by the differences. DiSE is a complementary technique to other reduction or bounding techniques developed to improve symbolic execution. Furthermore, DiSE does not require analysis results to be carried forward as the software evolves -- only the source code for two related program versions is required. A case-study of our implementation of DiSE illustrates its effectiveness at detecting and characterizing the effects of program changes.

Person, Suzette↗
NASA NTRS2011

A Procedure for Accurately Measuring the Shaker Overturning Moment During Random Vibration Tests

Motivation: For large system level random vibration tests, there may be some concerns about the shaker's capability for the overturning moment. It is the test conductor's responsibility to predict and monitor the overturning moment during random vibration tests. If the predicted moment is close to the shaker's capability, test conductor must measure the instantaneous moment at low levels and extrapolate to higher levels. That data will be used to decide whether it is safe to proceed to the next test level. Challenge: Kistler analog formulation for computing the real-time moment is only applicable to very limited cases in which we have 3 or 4 load cells installed at shaker interface with hardware. Approach: To overcome that limitation, a simple procedure was developed for computing the overturning moment time histories using the measured time histories of the individual load cells.

predict overturning↗
NASA NTRS2013

High-Order Space-Time Methods for Conservation Laws

Current high-order methods such as discontinuous Galerkin and/or flux reconstruction can provide effective discretization for the spatial derivatives. Together with a time discretization, such methods result in either too small a time step size in the case of an explicit scheme or a very large system in the case of an implicit one. To tackle these problems, two new high-order space-time schemes for conservation laws are introduced: the first is explicit and the second, implicit. The explicit method here, also called the moment scheme, achieves a Courant-Friedrichs-Lewy (CFL) condition of 1 for the case of one-spatial dimension regardless of the degree of the polynomial approximation. (For standard explicit methods, if the spatial approximation is of degree p, then the time step sizes are typically proportional to 1/p(exp 2)). Fourier analyses for the one and two-dimensional cases are carried out. The property of super accuracy (or super convergence) is discussed. The implicit method is a simplified but optimal version of the discontinuous Galerkin scheme applied to time. It reduces to a collocation implicit Runge-Kutta (RK) method for ordinary differential equations (ODE) called Radau IIA. The explicit and implicit schemes are closely related since they employ the same intermediate time levels, and the former can serve as a key building block in an iterative procedure for the latter. A limiting technique for the piecewise linear scheme is also discussed. The technique can suppress oscillations near a discontinuity while preserving accuracy near extrema. Preliminary numerical results are shown

Huynh, H. T.↗
NASA NTRS2013

Implementation of Kane's Method for a Spacecraft Composed of Multiple Rigid Bodies

Equations of motion are derived for a general spacecraft composed of rigid bodies connected via rotary (spherical or gimballed) joints in a tree topology. Several supporting concepts are developed in depth. Basis dyads aid in the transition from basis-free vector equations to component-wise equations. Joint partials allow abstraction of 1-DOF, 2-DOF, 3-DOF gimballed and spherical rotational joints to a common notation. The basic building block consisting of an "inner" body and an "outer" body connected by a joint enables efficient organization of arbitrary tree structures. Kane's equation is recast in a form which facilitates systematic assembly of large systems of equations, and exposes a relationship of Kane's equation to Newton and Euler's equations which is obscured by the usual presentation. The resulting system of dynamic equations is of minimum dimension, and is suitable for numerical solution by computer. Implementation is ·discussed, and illustrative simulation results are presented.

Stoneking, Eric T.↗
NASA NTRS2016

An Integrated Circuit for Radio Astronomy Correlators Supporting Large Arrays of Antennas

Radio telescopes that employ arrays of many antennas are in operation, and ever larger ones are being designed and proposed. Signals from the antennas are combined by cross-correlation. While the cost of most components of the telescope is proportional to the number of antennas N, the cost and power consumption of cross-correlationare proportional to N2 and dominate at sufficiently large N. Here we report the design of an integrated circuit (IC) that performs digital cross-correlations for arbitrarily many antennas in a power-efficient way. It uses an intrinsically low-power architecture in which the movement of data between devices is minimized. In a large system, each IC performs correlations for all pairs of antennas but for a portion of the telescope's bandwidth (the so-called "FX" structure). In our design, the correlations are performed in an array of 4096 complex multiply-accumulate (CMAC) units. This is sufficient to perform all correlations in parallel for 64 signals (N=32 antennas with 2 opposite-polarization signals per antenna). When N is larger, the input data are buffered in an on-chipmemory and the CMACs are re-used as many times as needed to compute all correlations. The design has been synthesized and simulated so as to obtain accurate estimates of the IC's size and power consumption. It isintended for fabrication in a 32 nm silicon-on-insulator process, where it will require less than 12mm2 of silicon area and achieve an energy efficiency of 1.76 to 3.3 pJ per CMAC operation, depending on the number of antennas. Operation has been analyzed in detail up to N = 4096. The system-level energy efficiency, including board-levelI/O, power supplies, and controls, is expected to be 5 to 7 pJ per CMAC operation. Existing correlators for the JVLA (N = 32) and ALMA (N = 64) telescopes achieve about 5000 pJ and 1000 pJ respectively usingapplication-specific ICs in older technologies. To our knowledge, the largest-N existing correlator is LEDA atN = 256; it uses GPUs built in 28 nm technology and achieves about 1000 pJ. Correlators being designed for the SKA telescopes (N = 128 and N = 512) using FPGAs in 16nm technology are predicted to achieve about 100 pJ.

ASIC↗
NASA NTRS2017

Field Programmable Gate Array Reliability Analysis Guidelines for Launch Vehicle Reliability Block Diagrams

Field Programmable Gate Arrays (FPGAs) integrated circuits (IC) are one of the key electronic components in today's sophisticated launch and space vehicle complex avionic systems, largely due to their superb reprogrammable and reconfigurable capabilities combined with relatively low non-recurring engineering costs (NRE) and short design cycle. Consequently, FPGAs are prevalent ICs in communication protocols and control signal commands. This paper will identify reliability concerns and high level guidelines to estimate FPGA total failure rates in a launch vehicle application. The paper will discuss hardware, hardware description language, and radiation induced failures. The hardware contribution of the approach accounts for physical failures of the IC. The hardware description language portion will discuss the high level FPGA programming languages and software/code reliability growth. The radiation portion will discuss FPGA susceptibility to space environment radiation.

Al Hassan, Mohammad↗
NASA NTRS2017

Quantifying TOLNet Ozone Lidar Accuracy During the 2014 DISCOVER-AQ and FRAPPE Campaigns

The Tropospheric Ozone Lidar Network (TOLNet) is a unique network of lidar systems that measure high-resolution atmospheric profiles of ozone. The accurate characterization of these lidars is necessary to determine the uniformity of the network calibration. From July to August 2014, three lidars, the TROPospheric OZone (TROPOZ) lidar, the Tunable Optical Profiler for Aerosol and oZone (TOPAZ) lidar, and the Langley Mobile Ozone Lidar (LMOL), of TOLNet participated in the Deriving Information on Surface conditions from Column and Vertically Resolved Observations Relevant to Air Quality (DISCOVER-AQ) mission and the Front Range Air Pollution and Photochemistry Experiment (FRAPPA) to measure ozone variations from the boundary layer to the top of the troposphere. This study presents the analysis of the intercomparison between the TROPOZ, TOPAZ, and LMOL lidars, along with comparisons between the lidars and other in situ ozone instruments including ozonesondes and a P-3B airborne chemiluminescence sensor. The TOLNet lidars measured vertical ozone structures with an accuracy generally better than +/-15 % within the troposphere. Larger differences occur at some individual altitudes in both the near-field and far-field range of the lidar systems, largely as expected. In terms of column average, the TOLNet lidars measured ozone with an accuracy better than +/-5 % for both the intercomparison between the lidars and between the lidars and other instruments. These results indicate that these three TOLNet lidars are suitable for use in air quality, satellite validation, and ozone modeling efforts.

TOLNet↗
NASA NTRS2018

FPGA Reliability and Failure Rate Analysis for Launch and Space Vehicles Environments

Field Programmable Gate Arrays (FPGAs) integrated circuits (IC) are one of the key electronic components in today's sophisticated launch and space vehicle complex avionic systems, largely due to their superb reprogrammable and reconfigurable capabilities combined with relatively low non-recurring engineering costs (NRE) and short design cycle. Consequently, FPGAs are prevalent ICs in communication protocols and control signal commands. This paper will demonstrate guidelines to estimate FPGA failure rates for ascent and in space operations. The guidelines will account for hardware and radiation-induced failures, as well as Bayesian updates to failure rates. The hardware contribution of the approach accounts for physical failures of the FPGA IC. The radiation portion will expand on FPGA susceptibility to different space radiation environments.

Al Hassan, Mohammad↗
NASA NTRS2020

Soil Moisture as a Harbinger of Increased Forecast Reliability at Subseasonal Time Scales

The shape of the nonlinear relationship between evapotranspiration and soil moisture (the "ET-W relationship") helps control the evolution of soil moisture with time. Together, the shape of the relationship and the magnitude of the soil moisture anomaly at the beginning of a subseasonal forecast help determine whether a given anomaly will still be present at subseasonal leads, allowing it to contribute to skill in subseasonal temperature and precipitation prediction at those leads. In this study we examine subseasonal prediction in the context of soil moisture initialization using a suite of forecasts performed with the NASA GEOS seasonal forecast system. Large soil moisture anomalies are in fact found to be harbingers of increased skill in the subseasonal forecasts. Furthermore, accounting explicitly for the nonlinear shape of the ET-W relationship improves our ability to quantity the increase in forecast reliability associated with soil moisture initialization.

Koster, Randal↗
NASA NTRSDate not supplied

TPSAS-NF1676L-31522-DND

Currently, there are limitations in launch capability regarding requisite payload volume and mass for long duration extra-terrestrial missions. In-space additive manufacturing may provide a solution to this challenge and is applicable for articles ranging from large system and subsystem architectures to small consumables and replacement articles. For small articles, additive manufacturing is becoming more feasible through advances in instrumentation and novel manufacturing strategies capable of generating complex shapes. Many approaches, however, utilize feedstock materials that, once consumed, must be replenished before additional architectures can be generated. Thus, although promising, a major challenge with additive manufacturing is the required starting materials to support on-demand article generation. This presentation describes research toward reversibly assembling materials that can revert to the starting material state for subsequent fabrication. Polyimides were synthesized with thermally reversible Diels-Alder reaction functionalities, furan or maleimide moieties. These materials were characterized utilizing typical spectroscopic, thermal, and mechanical techniques. Amine hardener-enriched epoxy microparticles were synthesized for use as a mechanically robust substrate. Integration of these technologies into a single system and application toward generation of secondary structures on a launch vehicle as a means of in-situ resource utilization will be described.

Christopher J. Wohl↗
NASA NTRSDate not supplied

Machine-Learned Committor Functions for Reactive Molecular Dynamics

Reactive molecular dynamics (MD) is a powerful tool for atomistic-scale modeling of a diverse range of chemical processes. However, scaling these simulations to large systems and long times scales remains a challenge because of the complexity of the potential energy function required. The authors previously developed a heuristic approach, called REACTER, that incorporates reactivity in MD simulations in a less general but much more computationally efficient manner. REACTER uses standard, fixed valence force fields as the underlying potentialenergy surface for describing all interatomic interactions but adds a procedure for enforcing user-defined reactions that occur when certain geometric constraints on relative atomic positions are satisfied. Further, these bonding changes can be accepted or rejected with a probability related tothe local thermal energy. This work seeks to generalize this approach by replacing the set of user defined geometric constraints and energetic criteria with a committor function that specifies the probability of a reaction occurring on the basis of the local atomic configuration. The committor function is a useful mathematical tool for modeling rare events but, unfortunately, is very difficult to compute for realistic systems in a general way. This work describes a method for approximating the committor function using a machine learning approach, specifically a deep neural network trained with data from reactive MD and DFT-based dynamics simulations. This network is coupled to the existing REACTER protocol, as implemented in the LAMMPS MD package, and used to make on-the-fly predictions of reaction probabilities without the more extensive user input previously required. The new method is demonstrated using the polymerization of polystyrene as a case study. Although very dependent on the quality and quantity of training data, machine-learned committor functions show promise as a method for incorporating reaction probability from higher level calculations into highly scalable MD simulations.

polymer simulations↗
NASA NTRSDate not supplied

Operational Guidance

Procedures and checklists form the backbone of all operations. But a given procedure does not exist in a vacuum. It is part of a large system, and it must fit well within it. For all procedures to fit well, we must take a comprehensive approach to their design. We present such an approach and the results we got when we applied it.

procedures↗
NASA NTRSDate not supplied

Thinking About Procedures

Procedures and checklists form the backbone of all operations. But a given procedure does not exist in a vacuum. It is part of a large system, and it must fit well within it. For all procedures to fit well, we must take a comprehensive approach to their design. We present such an approach and the results we got when we applied it.

procedures↗
NASA NTRSDate not supplied

Comparison of Exploration Portable Life Support Subsystem (xPLSS) Thermal Modeling to Thermal Vacuum Testing

To support NASA’s goal to return to the Moon through the Artemis Mission, the development of an Exploration Portable Life Support Subsystem (xPLSS) has been conducted at Johnson Space Center (JSC). As part of this development process, a large system level thermal/fluid model of the xPLSS was developed using Thermal Desktop and an in-house human model (METMAN). The xPLSS model was used throughout the design process to predict the performance and temperature of nearly all components within the xPLSS. In the fall of 2023, the Design, Verification, and Testing (DVT) unit of the xPLSS was tested in a thermal vacuum (TVAC) chamber at JSC. This testing consisted of combining the xPLSS with an upper torso of the Exploration Pressure Garment System (xPGS) and simulating five Extravehicular Activities (EVAs) in extreme thermal conditions (two cold EVAs and three hot EVAs). The data generated in this test series provided system level data of the xPLSS operating in vacuum and at flight-like environmental temperatures for the first time. These data were compared to results output by the xPLSS system model to assess the accuracy of previous analyses and improve the fidelity and accuracy of the xPLSS system model. The comparison between model and test hardware provides valuable insight that will help improve the design and fidelity of next generation space suits. In general, comparison between test data and model data generally showed slightly un-conservative values (model predicting colder temperatures than test in hot environments, and hotter temperatures than test in cold environments). Model assumptions and test assumptions were assessed to understand potential causes of some of these sources in error. Recommendations to improve the fidelity of the xPLSS model were also made based on the results presented in this paper.

xPLSS↗