Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “software 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 667 records · Page 37
All sourcesNASA NTRSDOE OSTI
NASA NTRS2014

Exact and Approximate Probabilistic Symbolic Execution

Probabilistic software analysis seeks to quantify the likelihood of reaching a target event under uncertain environments. Recent approaches compute probabilities of execution paths using symbolic execution, but do not support nondeterminism. Nondeterminism arises naturally when no suitable probabilistic model can capture a program behavior, e.g., for multithreading or distributed systems. In this work, we propose a technique, based on symbolic execution, to synthesize schedulers that resolve nondeterminism to maximize the probability of reaching a target event. To scale to large systems, we also introduce approximate algorithms to search for good schedulers, speeding up established random sampling and reinforcement learning results through the quantification of path probabilities based on symbolic execution. We implemented the techniques in Symbolic PathFinder and evaluated them on nondeterministic Java programs. We show that our algorithms significantly improve upon a state-of- the-art statistical model checking algorithm, originally developed for Markov Decision Processes.

Symbolic Execution↗
NASA NTRS2014

Clearance Analysis of CTC2 (on ELC4) to S-TRRJ HRS Radiator Rotation Envelope

In response to the planned retirement of the Space Shuttle Program, International Space Station (ISS) management began stockpiling spare parts on the ISS. Many of the larger orbital replacement units were stored on the Expedite the Processing of Experiments to Space Station (EXPRESS) Logistics Carriers (ELCs) mounted on the end of the S3 and P3 truss segments, immediately outboard of the Thermal Radiator Rotary Joints (TRRJs) and their attached radiators. In an August 2009 computer-aided design (CAD) assessment, it was determined that mounting the Cargo Transport Container (CTC) 2 on the inboard face of ELC4 as planned would create insufficient clearance between the CTC2 and the rotational envelope of the radiators when the TRRJs were rotated to a gamma angle of 35.0 degrees. The true clearance would depend on how the Unpressurized Cargo Carrier Attachment System (UCCAS) was mounted to the S3 truss and how the ELC4 was attached to it. If the plane of the UCCAS attachment points were tilted even slightly inboard, it would significantly change the clearance between CTC2 and the Starboard TRRJ (S-TRRJ) radiators. Additionally, since CTC2 would be covered in multilayer insulation (MLI), the true outer profile of CTC2 was not captured in the CAD models used for the clearance assessment. It was possible that, even if the S-TRRJ radiators cleared CTC2, they could snag the MLI covering. In the fall of 2010, the Image Science and Analysis Group (ISAG) was asked to perform an on-orbit clearance analysis to determine the location of CTC2 on ELC4 and the S-TRRJ radiators at the angle of closest approach so that a positive clearance could be assured. To provide the measurements as quickly as possible to aid in the assessment, it was decided that the clearance analysis would be broken into two phases. Phase I: The location and orientation of the UCCAS fittings, which support and hold the ELC4 in place, would be measured relative to the ISS Analytical Coordinate System (ISSACS) as defined by nine preexisting Space Vision System (SVS) targets affixed to the forward/zenith side of the S1 and S3 truss segments. The location of the outboard edge of the S-TRRJ radiator would also be measured when positioned at the angle of closest approach to CTC2 (gamma = 35.0 degrees). This data would allow the Digital Pre-Assembly Group to predict how the ELC4 would sit on the UCCAS and how that would translate into the clearance between CTC2 and the S-TRRJ radiators. Phase II: After the ELC4 was delivered and installed into the UCCAS, the position of the CTC2 mounting plate on the inboard face of ELC4, would be measured in the ISSACS coordinate system relative to the SVS control points used in Phase I. Although CTC2 would not yet be mounted on ELC4, the working envelope of CTC2 could be mathematically added to the measured position of ELC4 to produce a best estimate for CTC2's mounted location. Comparing CTC2's best estimated location to the S-TRRJ radiator (measured in Phase I); relative to the ISSACS coordinate system, would provide a direct measurement of the expected clearance. Due to the impending delivery of ELC4 (scheduled for January 2011), planning for the Phase I clearance analysis began immediately. Using the Dynamic Onboard Ubiquitous Graphics (DOUG) program, ISAG designed a way to acquire images of the SVS control points on truss segments S1 and S3, the aft facing edge of the S-TRRJ Heat Rejection Subsystem (HRS) radiator, and the three UCCAS latch mechanisms mounted on the zenith face of the S3 truss using the Space Station Remote Manipulator System (SSRMS). To minimize the number of SSRMS movements, the Special Purpose Dexterous Manipulator (SPDM) would be attached to the SSRMS. This would make it possible to park the SPDM in one position and acquire multiple images by changing the viewing orientation of the SPDM body cameras using the pan/tilt units on which they are mounted. Using this implementation concept, ISAG identified four SSRMS/SPDM positions from which the majority of the needed imagery could be acquired. Five additional images would be acquired using the CP-3 external ISS camera mounted on the S1 truss immediately inboard of ELC4. Based on a photogrammetric simulation, it was estimated that the measured location of the HRS radiator and UCCAS latch points would be accurate to about 0.3 in. in each of the three axes relative to ISSACS. Working with ROBO, ISAG collected 78 images of the ISS December 29, 2010. From this imagery, the best 40 were selected for use in the analysis process. The images were radiometrically enhanced to improve color and contrast and loaded into the FotoG analysis software along with the camera parameters and control data, which consisted of the coordinates for the nine SVS targets on the S1 and S3 trusses in the ISSACS coordinate system.

Liddle, Donn↗
NASA NTRS2015

Lessons Learned During the Refurbishment and Testing of an Observatory After Long-Term Storage

Thermal Fluids Analysis Workshop (TFAWS) 2015, Silver Spring, MD NCTS 21070-15. This paper addresses the lessons learned during the refurbishment and testing of the thermal control system for a spacecraft which was placed into long-term storage. The DSCOVR (Deep Space Climate Observatory) Observatory (formerly known as Triana) was originally scheduled to launch on the Space Shuttle in 2002. With the Triana spacecraft nearly complete, the mission was canceled and the satellite was abruptly put into storage in 2001. In 2008 the observatory was removed from storage to begin refurbishment and testing. Problems arose associated with hardware that was not currently manufactured, coatings degradation, and a significant lack of documentation. Also addressed is the conversion of the thermal and geometric math models for use with updated thermal analysis software tools.

Thermal Control System↗
NASA NTRS2015

Simulation and Measurement of Stray Light in the CLASP

We are planning an international rocket experiment Chromospheric Lyman-Alpha Spectro-Polarimeter (CLASP) is (2015 planned) that Lyman Alpha line polarization spectroscopic observations from the sun. The purpose of this experiment, detected with high accuracy of the linear polarization of the Ly􀉲 lines to 0.1% by using a Hanle effect is to measure the magnetic field of the chromosphere-transition layer directly. For total flux of the sun visible light overwhelmingly larger and about 200 000 times the Ly􀉲 line wavelength region, also hinder to 0.1% of the polarization photometric accuracy achieved in the stray light of slight visible light. Therefore we were first carried out using the illumination design analysis software called stray light simulation CLASP Light Tools. Feature of this simulation, using optical design file (ZEMAX format) and structural design file (STEP format), to reproduce realistic CLASP as possible to calculate machine is that it was stray study. And, at the stage in the actual equipment that made the provisional set of CLASP, actually put sunlight into CLASP using coelostat of National Astronomical Observatory of Japan, was subjected to measurement of stray light (San test). Pattern was not observed in the simulation is observed in the stray light measurement results need arise that measures. However, thanks to the stray light measurement and simulation was performed by adding, it was found this pattern is due to the diffracted light at the slit. Currently, the simulation results is where you have taken steps to reference. In this presentation, we report the stray light simulation and stray light measurement results that we have implemented

CLASP↗
NASA NTRS2015

NASA's Aeroacoustic Tools and Methods for Analysis of Aircraft Noise

Aircraft community noise is a significant concern due to continued growth in air traffic, increasingly stringent environmental goals, and operational limitations imposed by airport authorities. The ability to quantify aircraft noise at the source and ultimately at observers is required to develop low noise aircraft designs and flight procedures. Predicting noise at the source, accounting for scattering and propagation through the atmosphere to the observer, and assessing the perception and impact on a community requires physics-based aeroacoustics tools. Along with the analyses for aero-performance, weights and fuel burn, these tools can provide the acoustic component for aircraft MDAO (Multidisciplinary Design Analysis and Optimization). Over the last decade significant progress has been made in advancing the aeroacoustic tools such that acoustic analyses can now be performed during the design process. One major and enabling advance has been the development of the system noise framework known as Aircraft NOise Prediction Program2 (ANOPP2). ANOPP2 is NASA's aeroacoustic toolset and is designed to facilitate the combination of acoustic approaches of varying fidelity for the analysis of noise from conventional and unconventional aircraft. The toolset includes a framework that integrates noise prediction and propagation methods into a unified system for use within general aircraft analysis software. This includes acoustic analyses, signal processing and interfaces that allow for the assessment of perception of noise on a community. ANOPP2's capability to incorporate medium fidelity shielding predictions and wind tunnel experiments into a design environment is presented. An assessment of noise from a conventional and Hybrid Wing Body (HWB) aircraft using medium fidelity scattering methods combined with noise measurements from a model-scale HWB recently placed in NASA's 14x22 wind tunnel are presented. The results are in the form of community noise metrics and auralizations.

Rizzi, Stephen A.↗
NASA NTRS2016

Longitudinal Aerodynamic Modeling of the Adaptive Compliant Trailing Edge Flaps on a GIII Airplane and Comparisons to Flight Data

A pair of compliant trailing edge flaps was flown on a modified GIII airplane. Prior to flight test, multiple analysis tools of various levels of complexity were used to predict the aerodynamic effects of the flaps. Vortex lattice, full potential flow, and full Navier-Stokes aerodynamic analysis software programs were used for prediction, in addition to another program that used empirical data. After the flight-test series, lift and pitching moment coefficient increments due to the flaps were estimated from flight data and compared to the results of the predictive tools. The predicted lift increments matched flight data well for all predictive tools for small flap deflections. All tools over-predicted lift increments for large flap deflections. The potential flow and Navier-Stokes programs predicted pitching moment coefficient increments better than the other tools.

aerodynamics↗
NASA NTRS2016

Numerical Modeling of Pressurization of Cryogenic Propellant Tank for Integrated Vehicle Fluid System

This paper presents a numerical model of pressurization of a cryogenic propellant tank for the Integrated Vehicle Fluid (IVF) system using the Generalized Fluid System Simulation Program (GFSSP). The IVF propulsion system, being developed by United Launch Alliance, uses boiloff propellants to drive thrusters for the reaction control system as well as to run internal combustion engines to develop power and drive compressors to pressurize propellant tanks. NASA Marshall Space Flight Center (MSFC) has been running tests to verify the functioning of the IVF system using a flight tank. GFSSP, a finite volume based flow network analysis software developed at MSFC, has been used to develop an integrated model of the tank and the pressurization system. This paper presents an iterative algorithm for converging the interface boundary conditions between different component models of a large system model. The model results have been compared with test data.

Majumdar, Alok K.↗
NASA NTRS2016

Modeling the Rapid Boil-Off of a Cryogenic Liquid When Injected into a Low Pressure Cavity

Many launch vehicle cryogenic applications require the modeling of injecting a cryogenic liquid into a low pressure cavity. The difficulty of such analyses lies in accurately predicting the heat transfer coefficient between the cold liquid and a warm wall in a low pressure environment. The heat transfer coefficient and the behavior of the liquid is highly dependent on the mass flow rate into the cavity, the cavity wall temperature and the cavity volume. Testing was performed to correlate the modeling performed using Thermal Desktop and Sinda Fluint Thermal and Fluids Analysis Software. This presentation shall describe a methodology to model the cryogenic process using Sinda Fluint, a description of the cryogenic test set up, a description of the test procedure and how the model was correlated to match the test results.

Fluid Mechanics↗
NASA NTRS2017

Lessons from Astrobiological Planetary Analogue Exploration in Iceland: Biomarker Assay Performance and Downselection

Understanding the sensitivity of biomarker assays to the local physicochemical environment, and the underlying spatial distribution of the target biomarkers in 'homogeneous' environments, can increase mission science return. We have conducted four expeditions to Icelandic Mars analogue sites in which an increasingly refined battery of physicochemical measurements and biomarker assays were performed, staggered with scouting of further sites. Completed expeditions took place in 2012 (location scouting and field assay use testing), 2013 (sampling of two major sites with three assays and observational physicochemical measurements), 2015 (repeat sampling of prior sites and one new site, scouting of new sites, three assays and three instruments), and 2016 (preliminary sampling of new sites with analysis of returned samples). Target sites were geologically recent basaltic lava flows, and sample loci were arranged in hierarchically nested grids at 10 cm, 1 m, 10 m, 100 m, and >1 km order scales, subject to field constraints. Assays were intended to represent a diversity of potential biomarker types (cell counting via nucleic acid staining and fluorescence microscopy, ATP quantification via luciferase luminescence, and relative DNA quantification with simple domain-level primers) rather a specific mission science target, and were selected to reduce laboratory overhead, require limited consumables, and allow rapid turnaround. All analytical work was performed in situ or in a field laboratory within a day's travel of the field sites unless otherwise noted. We have demonstrated the feasibility of performing ATP quantification and qPCR analysis in a field-based laboratory with single-day turnaround. The ATP assay was generally robust and reliable and required minimal field equipment and training to produce a large amount of useful data. DNA was successfully extracted from all samples, but the serial-batch nature of qPCR significantly limited the number of primers (hence classifications) and replicates that could be run in a single day. Fluorescence microscopy did not prove feasible under the same constraints, primarily due to the large number of person-hours required to view, analyze, and record results from the images; however, this could be mitigated with higher-quality imaging instruments and appropriate image analysis software.

Planetary↗
NASA NTRS2016

Astro-H Data Analysis, Processing and Archive

Astro-H (Hitomi) is an X-ray Gamma-ray mission led by Japan with international participation, launched on February 17, 2016. The payload consists of four different instruments (SXS, SXI, HXI and SGD) that operate simultaneously to cover the energy range from 0.3 keV up to 600 keV. This paper presents the analysis software and the data processing pipeline created to calibrate and analyze the Hitomi science data along with the plan for the archive and user support.These activities have been a collaborative effort shared between scientists and software engineers working in several institutes in Japan and USA.

Archive↗
NASA NTRS2017

Numerical Modeling of an Integrated Vehicle Fluids System Loop for Pressurizing a Cryogenic Tank

This paper presents a numerical model of the pressurization loop of the Integrated Vehicle Fluids (IVF) system using the Generalized Fluid System Simulation Program (GFSSP). The IVF propulsion system, being developed by United Launch Alliance to reduce system weight and enhance reliability, uses boiloff propellants to drive thrusters for the reaction control system as well as to run internal combustion engines to develop power and drive compressors to pressurize propellant tanks. NASA Marshall Space Flight Center (MSFC) conducted tests to verify the functioning of the IVF system using a flight-like tank. GFSSP, a finite volume based flow network analysis software developed at MSFC, has been used to support the test program. This paper presents the simulation of three different test series, comparison of numerical prediction and test data and a novel method of presenting data in a dimensionless form. The paper also presents a methodology of implementing a compressor map in a system level code.

LeClair, A. C.↗
NASA NTRS2017

An EPIC Tale of the Quiescent Particle Background

Extended Source Analysis Software Use Based Empirical Investigation: (1) Builds quiescent particle background (QPB) spectra and images for observations of extended sources that fill (or mostly fill) the FOV i.e., annular background subtraction won't work. (2) Uses a combination of Filter Wheel Closed (FWC) and corner data to capture the spectral, spatial, and temporal variation of the quiescent particle background. New Work: (1) Improved understanding of the QPB (aided by adding a whole lot of data since 2008). (2) Significantly improved statistics (did I mention a LOT more data?). (3) Better characterization and identification of anomalous states. (4) Builds backgrounds for some anomalous state. (5) New efficient method for non-anomalous states.

Snowden, S.L.↗
NASA NTRS2017

Behavioral Adaptations of Female Mice on the International Space Station

Adult female mice were sent to the International Space Station (ISS) as part of an early life science mission utilizing NASA's Rodent Habitat. Its primary purpose was to provide further insight into the influence of a microgravity environment on various aspects of mammalian physiology and well-being as part of an ongoing program of research aimed ultimately at understanding and ameliorating the deleterious influences of space on the human body. The present study took advantage of video collected from fixed, in-flight cameras within the habitat itself, to assess behavioral adaptations observed among in-flight mice aboard the ISS and differences in behavior with respect to a control group on the ground. Data collection consisted of several behavioral measures recorded by a trained observer with the assistance of interactive behavior analysis software. Specific behavioral measures included frequencies of conspecific interactionsociability, time spent feeding and conducting hygienic behavior, and relative durations of thigmotactic behavior, which is commonly used as an index of anxiety. Data were used to test tentative hypotheses that such behaviors differ significantly across mice under microgravity versus 1g conditions, and the assumption that the novel experience of microgravity itself may represent an initially anxiogenic stimulus which an animal will eventually acclimate to, perhaps through habituation.

Behavior in space↗
NASA NTRS2017

Physiological and Molecular Changes in Various Biological Organisms Cultured under Simulated Microgravity Conditions

Microgravity is one of the most import factors in space flight where its impact on living biological organisms is concerned. Many different ailments have been reported in astronauts such as spaceflight related osteopenia, cardiovascular concerns, and loss of eye sight. In order to understand why µg causes these issues we must understand what is happening at the most basic of biological structures, the cell. The work done in this report is a culmination of contributions made to a much larger project. The project seeks to understand how cellular physiology is changing in SMG conditions and use this knowledge to feed into a follow-up study on the genetic changes that are seen in SMG environments. Cells were imaged using confocal microscopy after 20hrs and 48hrs in a 3D clinostat called the Gravite. Lengths, widths, heights, and total cell areas were measured using an image analysis software package ImageJ. There were significant differences in lengths and widths of cell nuclei, and total area of cell coverage. The report then discusses some of the problems with the testing apparatus and how 3D printing technology may be used to create better sample holders for the 3D clinostat.

cell biology↗
NASA NTRS2017

Behavioral Adaptations of Female Mice on the International Space Station

Adult female mice were sent to the International Space Station (ISS) as part of an early life science mission utilizing NASA's Rodent Habitat. Its primary purpose was to provide further insight into the influence of a microgravity environment on various aspects of mammalian physiology and well-being as part of an ongoing program of research aimed ultimately at understanding and ameliorating the deleterious influences of space on the human body. The present study took advantage of video collected from fixed, in-flight cameras within the habitat itself, to assess behavioral adaptations observed among in-flight mice aboard the ISS and differences in behavior with respect to a control group on the ground. Data collection consisted of several behavioral measures recorded by a trained observer with the assistance of interactive behavior analysis software. Specific behavioral measures included frequencies of conspecific interactionsociability, time spent feeding and conducting hygienic behavior, and relative durations of thigmotactic behavior, which is commonly used as an index of anxiety. Data were used to test tentative hypotheses that such behaviors differ significantly across mice under microgravity versus 1g conditions, and the assumption that the novel experience of microgravity itself may represent an initially anxiogenic stimulus which an animal will eventually acclimate to, perhaps through habituation.

rodent behavior↗
NASA NTRS2018

Development and Application of a Tool for Optimizing Composite Matrix Viscoplastic Material Parameters

This document describes a recently developed analysis tool that enhances the resident capabilities of the Micromechanics Analysis Code with the Generalized Method of Cells (MAC/GMC) and its application. MAC/GMC is a composite material and laminate analysis software package developed at NASA Glenn Research Center. The primary focus of the current effort is to provide a graphical user interface (GUI) capability that helps users optimize highly nonlinear viscoplastic constitutive law parameters by fitting experimentally observed/measured stress-strain responses under various thermo-mechanical conditions for braided composites. The tool has been developed utilizing the MATrix LABoratory (MATLAB) (The Mathworks, Inc., Natick, MA) programming language. Illustrative examples shown are for a specific braided composite system wherein the matrix viscoplastic behavior is represented by a constitutive law described by seven parameters. The tool is general enough to fit any number of experimentally observed stress-strain responses of the material. The number of parameters to be optimized, as well as the importance given to each stress-strain response, are user choice. Three different optimization algorithms are included: (1) Optimization based on gradient method, (2) Genetic algorithm (GA) based optimization and (3) Particle Swarm Optimization (PSO). The user can mix and match the three algorithms. For example, one can start optimization with either 2 or 3 and then use the optimized solution to further fine tune with approach 1. The secondary focus of this paper is to demonstrate the application of this tool to optimize/calibrate parameters for a nonlinear viscoplastic matrix to predict stress-strain curves (for constituent and composite levels) at different rates, temperatures and/or loading conditions utilizing the Generalized Method of Cells. After preliminary validation of the tool through comparison with experimental results, a detailed virtual parametric study is presented wherein the combined effects of temperature and loading rate on the predicted response of a braided composite is investigated.

thermo-mechanical; MATLAB; GUI-Based Too↗
NASA NTRS2018

Astro-H/Hitomi Data Analysis, Processing, and Archive

Astro-H is the x-ray/gamma-ray mission led by Japan with international participation, launched on February 17, 2016. Soon after launch, Astro-H was renamed Hitomi. The payload consists of four different instruments (SXS, SXI, HXI, and SGD) that operate simultaneously to cover the energy range from 0.3 keV up to 600 keV. On March 27, 2016, JAXA lost contact with the satellite and, on April 28, they announced the cessation of the efforts to restore mission operations. Hitomi collected about one months worth of data with its instruments. This paper presents the analysis software and the data processing pipeline created to calibrate and analyze the Hitomi science data, along with the plan for the archive. These activities have been a collaborative effort shared between scientists and software engineers working in several institutes in Japan and United States.

Angelini, Lorella↗
NASA NTRS2018

New Results from Galileo's First Flyby of Ganymede: Reconnection-Driven Flows at the Low-Latitude Magnetopause Boundary, Crossing the Cusp, and Icy Ionospheric Escape

On 27 June 1996, the NASA Galileo spacecraft made humanity’s first flyby of Jupiter’s largest moon, Ganymede, discovering that it is the only moon known to possess an internally generated magnetic field. Resurrecting the original Galileo Plasma Subsystem (PLS) data analysis software, we processed the raw PLS data from G01 and for the first time present the properties of plasmas encountered. Entry into the magnetosphere of Ganymede occurred near the confluence of the magnetopause and plasma sheet. Reconnection-driven plasma flows were observed (consistent with an Earth-like Dungey cycle), which may be a result of reconnection in the plasma sheet, magnetopause, or might be Ganymede’s equivalent of a Low-Latitude Boundary Layer. Dropouts in plasma density combined with velocity perturbations afterward suggest that Galileo briefly crossed the cusps into closed magnetic field lines. Galileo then crossed the cusps, where field-aligned precipitating ions were observed flowing down into the surface, at a location consistent with observations by the Hubble Space Telescope. The density of plasma outflowing from Ganymede jumped an order of magnitude around closest approach over the north polar cap. The abrupt increase may be a result of crossing the cusp or may represent an altitude-dependent boundary such as an ionopause. More diffuse, warmer field-aligned outflows were observed in the lobes. Fluxes of particles near the moon on the nightside were significantly lower than on the dayside, possibly resulting from a diurnal cycle of the ionosphere and/or neutral atmosphere.

Collinson, Glyn↗