Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “CaSe”

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

The Business Case for Automated Software Engineering

Adoption of advanced automated SE (ASE) tools would be more favored if a business case could be made that these tools are more valuable than alternate methods. In theory, software prediction models can be used to make that case. In practice, this is complicated by the 'local tuning' problem. Normally. predictors for software effort and defects and threat use local data to tune their predictions. Such local tuning data is often unavailable. This paper shows that assessing the relative merits of different SE methods need not require precise local tunings. STAR 1 is a simulated annealer plus a Bayesian post-processor that explores the space of possible local tunings within software prediction models. STAR 1 ranks project decisions by their effects on effort and defects and threats. In experiments with NASA systems. STARI found one project where ASE were essential for minimizing effort/ defect/ threats; and another project were ASE tools were merely optional.

model evaluation↗
NASA NTRS2011

Formal methods for test case generation

The invention relates to the use of model checkers to generate efficient test sets for hardware and software systems. The method provides for extending existing tests to reach new coverage targets; searching *to* some or all of the uncovered targets in parallel; searching in parallel *from* some or all of the states reached in previous tests; and slicing the model relative to the current set of coverage targets. The invention provides efficient test case generation and test set formation. Deep regions of the state space can be reached within allotted time and memory. The approach has been applied to use of the model checkers of SRI's SAL system and to model-based designs developed in Stateflow. Stateflow models achieving complete state and transition coverage in a single test case are reported.

Rushby, John↗
NASA NTRS2011

Toward Optimum Configuration of Circumferential Groove Casing Treatment in Transonic Compressor Rotors

The current paper first reviews experimental and numerical investigations to understand flow physics and to develop optimum configurations of circumferential grooves in compressor rotors. Circumferential grooves are used mainly to increase stall margin in axial compressors with small decrease in aerodynamic efficiency. Although circumferential groove casing treatment has been used widely, flow mechanisms of the circumferential grooves at near stall conditions are not well understood yet. Detailed time-dependent flow measurement inside tip gap in a high speed compressor is still a big challenge even though significant advance has been made in non-intrusive flow measurement technique. Therefore numerical approaches have been used to study relevant flow physics. However, optimum design of circumferential grooves to a given compressor with the computational tools is not practical yet. In the present paper, various investigations to study flow physics of circumferential groove casing treatment in axial compressor are reviewed first. Possible missing flow physics are identified and future research efforts for the optimum design are discussed.

Hah, Chunill↗
NASA NTRS2005

Future Interagency Range and Spaceport Technologies (FIRST) Formulation Products: 1. Transformational Spaceport and Range Concept of Operations. 2. F.I.R.S.T. Business Case Analysis

The Baseline Report captures range and spaceport capabilities at five sites: KSC, CCAFS, VAFB, Wallops, and Kodiak. The Baseline depicts a future state that relies on existing technology, planned upgrades, and straight-line recapitalization at these sites projected through 2030. The report presents an inventory of current spaceport and range capabilities at these five sites. The baseline is the first part of analyzing a business case for a set of capabilities designed to transform U.S. ground and space launch operations toward a single, integrated national "system" of space transportation systems. The second part of the business case compares current capabilities with technologies needed to support the integrated national "system". The final part, a return on investment analysis, identifies the technologies that best lead to the integrated national system and reduce recurring costs..Numerous data sources were used to define and describe the baseline spaceport and range by identifying major systems and elements and describing capabilities, limitations, and capabilities

Source record↗
NASA NTRS2012

Effects of Cloud Horizontal Inhomogeneity and Drizzle on Remote Sensing of Cloud Droplet Effective Radius: Case Studies Based on Large-eddy Simulations

This study investigates effects of drizzle and cloud horizontal inhomogeneity on cloud effective radius (re) retrievals from the Moderate Resolution Imaging Spectroradiometer (MODIS). In order to identify the relative importance of various factors, we developed a MODIS cloud property retrieval simulator based on the combination of large-eddy simulations (LES) and radiative transfer computations. The case studies based on synthetic LES cloud fields indicate that at high spatial resolution (100 m) 3-D radiative transfer effects, such as illumination and shadowing, can induce significant differences between retrievals ofre based on reflectance at 2.1 m (re,2.1) and 3.7 m (re,3.7). It is also found that 3-D effects tend to have stronger impact onre,2.1 than re,3.7, leading to positive difference between the two (re,3.72.1) from illumination and negative re,3.72.1from shadowing. The cancellation of opposing 3-D effects leads to overall reasonable agreement betweenre,2.1 and re,3.7 at high spatial resolution as far as domain averages are concerned. At resolutions similar to MODIS, however, re,2.1 is systematically larger than re,3.7when averaged over the LES domain, with the difference exhibiting a threshold-like dependence on bothre,2.1and an index of the sub-pixel variability in reflectance (H), consistent with MODIS observations. In the LES cases studied, drizzle does not strongly impact reretrievals at either wavelength. It is also found that opposing 3-D radiative transfer effects partly cancel each other when cloud reflectance is aggregated from high spatial resolution to MODIS resolution, resulting in a weaker net impact of 3-D radiative effects onre retrievals. The large difference at MODIS resolution between re,3.7 and re,2.1 for highly inhomogeneous pixels with H 0.4 can be largely attributed to what we refer to as the plane-parallelrebias, which is attributable to the impact of sub-pixel level horizontal variability of cloud optical thickness onre retrievals and is greater for re,2.1 than re,3.7. These results suggest that there are substantial uncertainties attributable to 3-D radiative effects and plane-parallelre bias in the MODIS re,2.1retrievals for pixels with strong sub-pixel scale variability, and theH index can be used to identify these uncertainties.

Zhang, Zhibo↗
NASA NTRS2014

Formal Methods Case Studies for DO-333

RTCA DO-333, Formal Methods Supplement to DO-178C and DO-278A provides guidance for software developers wishing to use formal methods in the certification of airborne systems and air traffic management systems. The supplement identifies the modifications and additions to DO-178C and DO-278A objectives, activities, and software life cycle data that should be addressed when formal methods are used as part of the software development process. This report presents three case studies describing the use of different classes of formal methods to satisfy certification objectives for a common avionics example - a dual-channel Flight Guidance System. The three case studies illustrate the use of theorem proving, model checking, and abstract interpretation. The material presented is not intended to represent a complete certification effort. Rather, the purpose is to illustrate how formal methods can be used in a realistic avionics software development project, with a focus on the evidence produced that could be used to satisfy the verification objectives found in Section 6 of DO-178C.

Cofer, Darren↗
NASA NTRS2014

Use of 2d-video Disdrometer to Derive Mean Density-size and Ze-SR Relations: Four Snow Cases from the Light Precipitation Validation Experiment

The application of the 2D-video disdrometer to measure fall speed and snow size distribution and to derive liquid equivalent snow rate, mean density-size and reflectivity-snow rate power law is described. Inversion of the methodology proposed by Böhm provides the pathway to use measured fall speed, area ratio and '3D' size measurement to estimate the mass of each particle. Four snow cases from the Light Precipitation Validation Experiment are analyzed with supporting data from other instruments such as Precipitation Occurrence Sensor System (POSS), Snow Video Imager (SVI), a network of seven snow gauges and three scanning C9 band radars. The radar-based snow accumulations using the 2DVD-derived Ze-SR relation are in good agreement with a network of seven snow gauges and outperform the accumulations derived from a climatological Ze-SR relation used by the Finnish Meteorological Institute (FMI). The normalized bias between radar-derived and gauge accumulation is reduced from 96% when using the fixed FMI relation to 28% when using the Ze-SR relations based on 2DVD data. The normalized standard error is also reduced significantly from 66% to 31%. For two of the days with widely different coefficients of the Ze-SR power law, the reflectivity structure showed significant differences in spatial variability. Liquid water path estimates from radiometric data also showed significant differences between the two cases. Examination of SVI particle images at the measurement site corroborated these differences in terms of unrimed versus rimed snow particles. The findings reported herein support the application of Böhm's methodology for deriving the mean density-size and Ze-SR power laws using data from 2D-video disdrometer.

radar↗
NASA NTRS2009

Assurance Cases for Proofs as Evidence

Proof-carrying code (PCC) provides a 'gold standard' for establishing formal and objective confidence in program behavior. However, in order to extend the benefits of PCC - and other formal certification techniques - to realistic systems, we must establish the correspondence of a mathematical proof of a program's semantics and its actual behavior. In this paper, we argue that assurance cases are an effective means of establishing such a correspondence. To this end, we present an assurance case pattern for arguing that a proof is free from various proof hazards. We also instantiate this pattern for a proof-based mechanism to provide evidence about a generic medical device software.

Chaki, Sagar↗
NASA NTRS2015

Explicate '78: Uncovering the Implicit Assurance Case in DO-178C

For about two decades, compliance with Software Considerations in Airborne Systems and Equipment Certification (DO-178B/ED-12B) has been the primary means for receiving regulatory approval for using software on commercial airplanes. A new edition of the standard, DO-178C/ED-12C, was published in December 2011, and recognized by regulatory bodies in 2013. The purpose remains unchanged: to provide guidance 'for the production of software for airborne systems and equipment that performs its intended function with a level of confidence in safety that complies with airworthiness requirements.' The text of the guidance does not directly explain how its collection of objectives contributes to achieving this purpose; thus, the assurance case for the document is implicit. This paper presents an explicit assurance case developed as part of research jointly sponsored by the Federal Aviation Administration and the National Aeronautics and Space Administration.

Holloway, C. Michael↗
NASA NTRS1959

Welded Titanium Case for Space-Probe Rocket Motor

The high strength-to-weight ratio of titanium alloys suggests their use for solid-propellant rocket-motor cases for high-performance orbiting or space-probe vehicles. The paper describes the fabrication of a 6-in.-diam., 0.025-in.-wall rocket-motor from the 6A1-4V titanium alloy. The rocket-motor case, used in the fourth stage of a successful JPL-NASA lunar-probe flight, was constructed using a design previously proven satisfactory for Type 410 stainless steel. The nature and scope of the problems peculiar to the use of the titanium alloy, which effected an average weight saving of 34%, are described.

Brothers, A. J.↗
NASA NTRS2016

Model-Invariant Hybrid Computations of Separated Flows for RCA Standard Test Cases

NASA's Revolutionary Computational Aerosciences (RCA) subproject has identified several smooth-body separated flows as standard test cases to emphasize the challenge these flows present for computational methods and their importance to the aerospace community. Results of computations of two of these test cases, the NASA hump and the FAITH experiment, are presented. The computations were performed with the model-invariant hybrid LES-RANS formulation, implemented in the NASA code VULCAN-CFD. The model- invariant formulation employs gradual LES-RANS transitions and compensation for model variation to provide more accurate and efficient hybrid computations. Comparisons revealed that the LES-RANS transitions employed in these computations were sufficiently gradual that the compensating terms were unnecessary. Agreement with experiment was achieved only after reducing the turbulent viscosity to mitigate the effect of numerical dissipation. The stream-wise evolution of peak Reynolds shear stress was employed as a measure of turbulence dynamics in separated flows useful for evaluating computations.

Woodruff, Stephen↗
NASA NTRS2016

Goal Structuring Notation in a Radiation Hardening Assurance Case for COTS-Based Spacecraft

A systematic approach is presented to constructing a radiation assurance case using Goal Structuring Notation (GSN) for spacecraft containing commercial-off-the-shelf (COTS) parts. The GSN paradigm is applied to an SRAM single-event upset experiment board designed to fly on a CubeSat November 2016. Construction of a radiation assurance case without use of hardened parts or extensive radiation testing is discussed.

Witulski, Arthur↗
NASA NTRS2015

Phase-Angle Dependence of Determinations of Diameter, Albedo, and Taxonomy: A Case Study of NEO 3691 Bede

Parameters important for NEO risk assessment and mitigation include Near-Earth Object diameter and taxonomic classification, which translates to surface composition. Diameters of NEOs are derived from the thermal fluxes measured by WISE, NEOWISE, Spitzer Warm Mission and ground-based telescopes including the IRTF and UKIRT. Diameter and its coupled parameters Albedo and IR beaming parameter (a proxy for thermal inertia and/or surface roughness) are dependent upon the phase angle, which is the Sun-target-observer angle. Orbit geometries of NEOs, however, typically provide for observations at phase angles greater than 20 degrees. At higher phase angles, the observed thermal emission is sampling both the day and night sides of the NEO. We compare thermal models for NEOs that exclude (NEATM) and include (NESTM) night-side emission. We present a case study of NEO 3691 Bede, which is a higher albedo object, X (Ec) or Cgh taxonomy, to highlight the range of H magnitudes for this object (depending on the albedo and phase function slope parameter G), and to examine at different phase angles the taxonomy and thermal model fits for this NEO. Observations of 3691 Bede include our observations with IRTF+SpeX and with the 10 micrometer UKIRT+Michelle instrument, as well as WISE and Spitzer Warm mission data. By examining 3691 Bede as a case study, we highlight the interplay between the derivation of basic physical parameters and observing geometry, and we discuss the uncertainties in H magnitude, taxonomy assignment amongst the X-class (P, M, E), and diameter determinations. Systematic dependencies in the derivation of basic characterization parameters of H-magnitude, diameter, albedo and taxonomy with observing geometry are important to understand. These basic characterization parameters affect the statistical assessments of the NEO population, which in turn, affects the assignment of statistically-assessed basic parameters to discovered but yet-to-be-fully-characterized NEOs.

Albedo and taxonomy↗
NASA NTRS2017

Extrapolating the Trends of Test Drop Data with Opening Shock Factor Calculations: the Case of the Orion Main and Drogue Parachutes Inflating to 1st Reefed Stage

We describe a new calculation of the opening shock factor C (sub k) characterizing the inflation performance of NASA's Orion spacecraft main and drogue parachutes opening under a reefing constraint (1st stage reefing), as currently tested in the Capsule Parachute Assembly System (CPAS) program. This calculation is based on an application of the Momentum-Impulse Theorem at low mass ratio (R (sub m) is less than 10 (sup -1)) and on an earlier analysis of the opening performance of drogues decelerating point masses and inflating along horizontal trajectories. Herein we extend the reach of the Theorem to include the effects of payload drag and gravitational impulse during near-vertical motion - both important pre-requisites for CPAS parachute analysis. The result is a family of C (sub k) versus R (sub m) curves which can be used for extrapolating beyond the drop-tested envelope. The paper proves this claim in the case of the CPAS Mains and Drogues opening while trailing either a Parachute Compartment Drop Test Vehicle or a Parachute Test Vehicle (an Orion capsule boiler plate). It is seen that in all cases the values of the opening shock factor can be extrapolated over a range in mass ratio that is at least twice that of the test drop data.

Potvin, Jean↗
NASA NTRS2017

Development of High-Resolution Dynamic Dust Source Function - A Case Study with a Strong Dust Storm in a Regional Model

A high-resolution dynamic dust source has been developed in the NASA Unified-Weather Research and Forecasting (NU-WRF) model to improve the existing coarse static dust source. In the new dust source map, topographic depression is in 1-km resolution and surface bareness is derived using the Normalized Difference Vegetation Index (NDVI) data from Moderate Resolution Imaging Spectroradiometer (MODIS). The new dust source better resolves the complex topographic distribution over the Western United States where its magnitude is higher than the existing, coarser resolution static source. A case study is conducted with an extreme dust storm that occurred in Phoenix, Arizona in 0203 UTC July 6, 2011. The NU-WRF model with the new high-resolution dynamic dust source is able to successfully capture the dust storm, which was not achieved with the old source identification. However the case study also reveals several challenges in reproducing the time evolution of the short-lived, extreme dust storm events.

Dynamic dust source↗
NASA NTRS2016

The Impact of Crosstalk in the X-IFU Instrument on Athena Science Cases

In this paper we present a first assessment of the impact of various forms of instrumental crosstalk on the science performance of the X-ray Integral Field Unit (X-IFU) on the Athena X-ray mission. This assessment is made using the SIXTE end-to-end simulator in the context of one of the more technically challenging science cases for the XIFU instrument. Crosstalk considerations may influence or drive various aspects of the design of the array of high-count-rate Transition Edge Sensor (TES) detectors and its Frequency Domain Multiplexed (FDM) readout architecture. The Athena X-ray mission was selected as the second L-class mission in ESA's Cosmic Vision 2015–25 plan, with alaunch foreseen in 2028, to address the theme ''Hot and Energetic Universe"1. One of the two instruments on boardAthena is the X-ray Integral Field Unit2 (X-IFU) which is based on an array of ~3800 Transition Edge Sensors (TES's)operated at a temperature of ~90 mK. The science cases pose an interesting challenge for this instrument, as they requirea combination of high energy resolution (2.5 eV FWHM or better), high spatial resolution (5 arcsec or better) and highcount rate capability (several tens of counts per second per detector for point sources as bright as 10 mCrab).The performance at the single sensor level has been demonstrated3, but the operation of such detectors in an array, usingmultiplexed readout, brings additional challenges, both for the design of the array in which the sensors are placed and forthe readout of the sensors. The readout of the detector array will be based on Frequency Domain Multiplexing (FDM)4.In this system of detectors and readout, crosstalk can arise through various mechanisms: on the TES array, neighboringsensors can couple through thermal crosstalk. Detectors adjacent in carrier frequency may suffer from electrical crosstalkdue to the finite width of the bandpass filters, and shared sources of impedance in their signal lines. The signals from theindividual detectors are summed and then amplified by a pair of SQUID amplifiers before being sent to warm front-endelectronics. The transfer function of the SQUID amplifiers is non-linear, which will give rise to higher harmonics ofcarriers and intermodulation products when multiple signal pulses are simultaneously present in the SQUID. Under highcount rate conditions this is another source of crosstalk. The effect of all these crosstalk sources is that parasitic pulseswill appear in the record of a signal pulse which will create a stochastic offset of the measured energy and thus adegradation of the energy resolution.

SIXTE↗
NASA NTRS2017

NASA Computational Case Study: Spectral Energy Distribution Fitting

The need for faster, more efficient algorithms is an important aspect of scientific computing. Generally, scientists are only exposed to computational issues that arise in their field. Thus, collaboration between a numerical analyst and a scientist is becoming necessary for scientific computing. The purpose of this case study is to expose computer scientists to processes that an astronomer would use to obtain useful results from raw data. For example, astronomers are interested in determining the properties of galaxies and measuring changes in those properties as a function of time throughout cosmic history. To do so, they use certain models that are designed and refined over time via observations at different wavelengths of the light spectrum. The process of matching these models with observed data from studying celestial bodies is referred to as Spectral Energy Distribution (SED) fitting. In this case study, we learn how to perform the SED fit. This process requires knowledge of both the astronomical and computational issues involved when fitting flux, the total energy from a source as seen from Earth, to a set of physical templates. Once a fit is complete, one can classify the source and estimate a number of physical parameters. The goal is to demonstrate how the computer science skill set can be used in the scientific community and to possibly improve one or more of the computational aspects of this problem. The following provides some background on the astronomy issues, including information on the spectral energy distribution and related physical parameters, and the computational issues, including the fitting procedure..

modeling↗