Search NASASearch

SEARCH · Search NASA

Results for “Dependency 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 91 records · Page 5

Spatial and Temporal Patterns of Tidal Dissipation in Synchronous Satellites

Tidal heating is an important energy source for several solar system bodies, and there is a wide-spread perception that the pattern of surface heat flow is diagnostic of internal structure. We wish to clarify that situation. Our analysis depends upon two important assumptions: First, that heat transport is dominated by conduction. Second, that the body can be modeled by a sequence of spherically symmetric layers, each with a linear visco-elastic rheology. Under these assumptions, surface heat flow patterns in tidally dominated satellites will reflect radially integrated dissipation patterns. For synchronously rotating satellites with zero obliquity, this pattern depends quite strongly on orbital eccentricity but relatively little on purely radial variations in internal structure. The total amount of heat generated within the body does depend sensitively on internal structure, but the spatial pattern is rather insensitive to structure, especially at low orbital eccentricities.

Bills, Bruce G.

Associative Flow Rule Used to Include Hydrostatic Stress Effects in Analysis of Strain-Rate-Dependent Deformation of Polymer Matrix Composites

designing reliable composite engine cases that are lighter than the metal cases in current use. The types of polymer matrix composites that are likely to be used in such an application have a deformation response that is nonlinear and that varies with strain rate. The nonlinearity and the strain-rate dependence of the composite response are due primarily to the matrix constituent. Therefore, in developing material models to be used in the design of impact-resistant composite engine cases, the deformation of the polymer matrix must be correctly analyzed. However, unlike in metals, the nonlinear response of polymers depends on the hydrostatic stresses, which must be accounted for within an analytical model. By applying micromechanics techniques along with given fiber properties, one can also determine the effects of the hydrostatic stresses in the polymer on the overall composite deformation response. First efforts to account for the hydrostatic stress effects in the composite deformation applied purely empirical methods that relied on composite-level data. In later efforts, to allow polymer properties to be characterized solely on the basis of polymer data, researchers at the NASA Glenn Research Center developed equations to model the polymers that were based on a non-associative flow rule, and efforts to use these equations to simulate the deformation of representative polymer materials were reasonably successful. However, these equations were found to have difficulty in correctly analyzing the multiaxial stress states found in the polymer matrix constituent of a composite material. To correct these difficulties, and to allow for the accurate simulation of the nonlinear strain-rate-dependent deformation analysis of polymer matrix composites, in the efforts reported here Glenn researchers reformulated the polymer constitutive equations from basic principles using the concept of an associative flow rule. These revised equations were characterized and validated in an experimental program carried out through a university grant with the Ohio State University, wherein tensile and shear deformation data were obtained for a representative polymer for strain rates ranging from quasi-static to high rates of several hundred per second. Tensile deformation data also were obtained over a variety of strain rates and fiber orientation angles for a representative polymer matrix composite composed using the polymer.

Goldberg, Robert K.

Detecting and Characterizing Semantic Inconsistencies in Ported Code

Adding similar features and bug fixes often requires porting program patches from reference implementations and adapting them to target implementations. Porting errors may result from faulty adaptations or inconsistent updates. This paper investigates (I) the types of porting errors found in practice, and (2) how to detect and characterize potential porting errors. Analyzing version histories, we define five categories of porting errors, including incorrect control- and data-flow, code redundancy, inconsistent identifier renamings, etc. Leveraging this categorization, we design a static control- and data-dependence analysis technique, SPA, to detect and characterize porting inconsistencies. Our evaluation on code from four open-source projects shows thai SPA can dell-oct porting inconsistencies with 65% to 73% precision and 90% recall, and identify inconsistency types with 58% to 63% precision and 92% to 100% recall. In a comparison with two existing error detection tools, SPA improves precision by 14 to 17 percentage points

Ray, Baishakhi

Detecting and Characterizing Semantic Inconsistencies in Ported Code

Adding similar features and bug fixes often requires porting program patches from reference implementations and adapting them to target implementations. Porting errors may result from faulty adaptations or inconsistent updates. This paper investigates (1) the types of porting errors found in practice, and (2) how to detect and characterize potential porting errors. Analyzing version histories, we define five categories of porting errors, including incorrect control- and data-flow, code redundancy, inconsistent identifier renamings, etc. Leveraging this categorization, we design a static control- and data-dependence analysis technique, SPA, to detect and characterize porting inconsistencies. Our evaluation on code from four open-source projects shows that SPA can detect porting inconsistencies with 65% to 73% precision and 90% recall, and identify inconsistency types with 58% to 63% precision and 92% to 100% recall. In a comparison with two existing error detection tools, SPA improves precision by 14 to 17 percentage points.

Semantic Errors

Trends in Small Satellite Presentations from 2017-2019

As the small satellite community expands and new technologies emerge, it is important to understand and interpret these changes over time. In doing so, we observe progress and aid future development within the field. During the summer of 2020 we compiled for assessment purposes, archived presentation data for years 2017-2019 from three primary sources: the CubeSat Developers Workshop, Interplanetary Small Satellite Conference, and the Small Satellite Conference. A few examples of the information we recorded and compiled were presenter names and affiliations, presentation topic, and mission progress status. Ultimately, we reviewed roughly 600 presentations between the three conferences and the data obtained therein form the basis of our trend assessment. The paper focuses on trends interpreted through the assessment of key elements available in the content of each presentation to include: SmallSat mission developers, subsystem developments and the expanded scope for small satellite destinations. Data was generalized using various forms of analysis depending on the type of information being assessed. In the end, we achieved our goal of reducing the content to its key points and major takeaways from the conference proceedings. In this presentation, the observed trends in data and our findings will be discussed. First, we will cover changes in presentation topics by categorizing them as either: science, technology, science/technology, or other. Our next topic will be about the agencies and organizations at the forefront of small satellite research and development. The following section will explain trends in subsystem developments for telecommunications, propulsion, power, and thermal management. Further discussion will highlight how the scope of interplanetary spaceflight has expanded since 2017 as new small spacecraft missions venture beyond low-Earth orbit into deep space exploration. And finally, we will observe what information was lacking in archived presentations which included but not limited to: mission’s funding source, presentation focus area, and software used.

Small Satellite

Trends in Small Satellite Presentations from 2017 - 2019

As the small satellite community expands and new technologies emerge, it is important to understand and interpret these changes over time. In doing so, we observe progress and aid future development within the field. During the summer of 2020 we compiled for assessment purposes, archived presentation data for years 2017-2019 from three primary sources: the CubeSat Developers Workshop, Interplanetary Small Satellite Conference, and the Small Satellite Conference. A few examples of the information we recorded and compiled were presenter names and affiliations, presentation topic, and mission progress status. Ultimately, we reviewed roughly 600 presentations between the three conferences and the data obtained therein form the basis of our trend assessment. The paper focuses on trends interpreted through the assessment of key elements available in the content of each presentation to include: SmallSat mission developers, subsystem developments and the expanded scope for small satellite destinations. Data was generalized using various forms of analysis depending on the type of information being assessed. In the end, we achieved our goal of reducing the content to its key points and major takeaways from the conference proceedings. In this presentation, the observed trends in data and our findings will be discussed. First, we will cover changes in presentation topics by categorizing them as either: science, technology, science/technology, or other. Our next topic will be about the agencies and organizations at the forefront of small satellite research and development. The following section will explain trends in subsystem developments for telecommunications, propulsion, power, and thermal management. Further discussion will highlight how the scope of interplanetary spaceflight has expanded since 2017 as new small spacecraft missions venture beyond low-Earth orbit into deep space exploration. And finally, we will observe what information was lacking in archived presentations which included but not limited to: mission’s funding source, presentation focus area, and software used.

Small Satellites

Dependability and performability analysis

Several practical issues regarding specifications and solution of dependability and performability models are discussed. Model types with and without rewards are compared. Continuous-time Markov chains (CTMC's) are compared with (continuous-time) Markov reward models (MRM's) and generalized stochastic Petri nets (GSPN's) are compared with stochastic reward nets (SRN's). It is shown that reward-based models could lead to more concise model specifications and solution of a variety of new measures. With respect to the solution of dependability and performability models, three practical issues were identified: largeness, stiffness, and non-exponentiality, and a variety of approaches are discussed to deal with them, including some of the latest research efforts.

Trivedi, Kishor S.

M dependence in the analysis of NH3-He microwave double resonance experiments

New close-coupled calculations of laboratory-frame, m-dependent cross sections for rotational excitation in NH3-He collisions are used to examined the validity of using degeneracy averaged values in the analysis of four-level double resonance experiments. It is found that the proper use of m-dependent cross sections and absorption probabilities produces only minor changes in the calculated Delta I/I (the fractional change in the signal absorption intensity when pumping radiation is applied) and does not, therefore, resolve the discrepancies between theoretical and experimental values that were noted in previous studies.

Davis, S. L.

Attitude-dependent launch window analysis for the Hubble Space Telescope Mission

Launch window analysis for Space Shuttle missions determines the launch times which will ensure that all payload and Shuttle requirements for the mission are met. Attitude and pointing analysis determines Shuttle Orbiter attitudes that meet various communication, viewing, and thermal requirements for the Orbiter and its payloads. Historically, launch window analysis and attitude and pointing analysis for Shuttle missions have been done separately, without directly influencing each other. However, methods have been developed to consider simultaneously dependencies between launch window and attitude and pointing requirements if they arise. These methods were developed from the launch window analysis for STS-31, the Hubble Space Telescope (HST) deployment mission. To release the HST, the Orbiter attitude had to remain inertially fixed while pointing the HST at the Sun. The Orbiter release attitude and the HST release time were determined from the position of the Sun and varied with launch time and launch date. The launch window analysis for STS-31 centered on how to determine the range of launch times for a given launch date that would allow the Shuttle to release the HST and simultaneously satisfy communication, attitude, and lighting requirements for the deployment operations. Discussed here are how the HST deployment requirements determined the launch window and how the Orbiter release attitude affected the launch window.

Lenio, James A.

A Damage-Dependent Finite Element Analysis for Fiber-Reinforced Composite Laminates

A progressive damage methodology has been developed to predict damage growth and residual strength of fiber-reinforced composite structure with through penetrations such as a slit. The methodology consists of a damage-dependent constitutive relationship based on continuum damage mechanics. Damage is modeled using volume averaged strain-like quantities known as internal state variables and is represented in the equilibrium equations as damage induced force vectors instead of the usual degradation and modification of the global stiffness matrix.

Coats, Timothy W.

Experimental analysis of computer system dependability

This paper reviews an area which has evolved over the past 15 years: experimental analysis of computer system dependability. Methodologies and advances are discussed for three basic approaches used in the area: simulated fault injection, physical fault injection, and measurement-based analysis. The three approaches are suited, respectively, to dependability evaluation in the three phases of a system's life: design phase, prototype phase, and operational phase. Before the discussion of these phases, several statistical techniques used in the area are introduced. For each phase, a classification of research methods or study topics is outlined, followed by discussion of these methods or topics as well as representative studies. The statistical techniques introduced include the estimation of parameters and confidence intervals, probability distribution characterization, and several multivariate analysis methods. Importance sampling, a statistical technique used to accelerate Monte Carlo simulation, is also introduced. The discussion of simulated fault injection covers electrical-level, logic-level, and function-level fault injection methods as well as representative simulation environments such as FOCUS and DEPEND. The discussion of physical fault injection covers hardware, software, and radiation fault injection methods as well as several software and hybrid tools including FIAT, FERARI, HYBRID, and FINE. The discussion of measurement-based analysis covers measurement and data processing techniques, basic error characterization, dependency analysis, Markov reward modeling, software-dependability, and fault diagnosis. The discussion involves several important issues studies in the area, including fault models, fast simulation techniques, workload/failure dependency, correlated failures, and software fault tolerance.

Iyer, Ravishankar, K.

Analysis of time dependent phenomena observed with the LPSP OSO-8 instrument

The dynamics of the solar photosphere and chromosphere are studied. Observations obtained by the Laboratorie de Physique Stellaire et Planetaire's (LPSP) ultraviolet spectrometer onboard the OSO-8 spacecraft are analyzed, and dynamic models of the chromosphere and the emitted resonance line spectrum are calculated. Some of the unpublished data analysis and theoretical modeling which are being prepared for publication are discussed. A discussion of the state of the theory of velocity fields in the solar atmosphere is also presented. An invited review presented at the OSO-8 Workshop on the topic of oscillatory motions in the quiet sun is included. The results of the OSO-8 data analysis prepared in close collaboration with LPSP scientists are presented. Material for two articles is also presented.

Leibacher, J. W.

Analysis of time dependent phenomena observed with the LPSP OSO-8 instrument

Data obtained by the Laboratoire de Physique Stellaire et Planetaire's ultraviolet spectrometer onboard the OSO-8 spacecraft were analyzed in an effort to dynamically model the solar chromosphere as an aid in enhancing knowledge of the dynamical processes themselves and of spectral line formation in the dynamic chromosphere. Repeated spectral scans of strong, optically thick resonance lines formed in the solar chromosphere were examined for indications of oscillatory velocities and intensities among other indications of velocity which were studied, the blue peak is reasonably well defined, and the position of a parabolic filter fitted by the least squares method was used to define it. Observed chromospheric oscillation periods are discussed as well as the variations in altitude of the emitting region which result primarily from the motion up and down during the oscillation.

Leibacher, J. W.

A statistical analysis of the dependency of closure assumptions in cumulus parameterization on the horizontal resolution

Simulated data from the UCLA cumulus ensemble model are used to investigate the quasi-universal validity of closure assumptions used in existing cumulus parameterizations. A closure assumption is quasi-universally valid if it is sensitive neither to convective cloud regimes nor to horizontal resolutions of large-scale/mesoscale models. The dependency of three types of closure assumptions, as classified by Arakawa and Chen, on the horizontal resolution is addressed in this study. Type I is the constraint on the coupling of the time tendencies of large-scale temperature and water vapor mixing ratio. Type II is the constraint on the coupling of cumulus heating and cumulus drying. Type III is a direct constraint on the intensity of a cumulus ensemble. The macroscopic behavior of simulated cumulus convection is first compared with the observed behavior in view of Type I and Type II closure assumptions using 'quick-look' and canonical correlation analyses. It is found that they are statistically similar to each other. The three types of closure assumptions are further examined with simulated data averaged over selected subdomain sizes ranging from 64 to 512 km. It is found that the dependency of Type I and Type II closure assumptions on the horizontal resolution is very weak and that Type III closure assumption is somewhat dependent upon the horizontal resolution. The influences of convective and mesoscale processes on the closure assumptions are also addressed by comparing the structures of canonical components with the corresponding vertical profiles in the convective and stratiform regions of cumulus ensembles analyzed directly from simulated data. The implication of these results for cumulus parameterization is discussed.

Xu, Kuan-Man

Improved dynamic analysis method using load-dependent Ritz vectors

The dynamic analysis of large space structures is important in order to predict their behavior under operating conditions. Computer models of large space structures are characterized by having a large number of degrees of freedom, and the computational effort required to carry out the analysis is very large. Conventional methods of solution utilize a subset of the eigenvectors of the system, but for systems with many degrees of freedom, the solution of the eigenproblem is in many cases the most costly phase of the analysis. For this reason, alternate solution methods need to be considered. It is important that the method chosen for the analysis be efficient and that accurate results be obtainable. It is important that the method chosen for the analysis be efficient and that accurate results be obtainable. The load dependent Ritz vector method is presented as an alternative to the classical normal mode methods for obtaining dynamic responses of large space structures. A simplified model of a space station is used to compare results. Results show that the load dependent Ritz vector method predicts the dynamic response better than the classical normal mode method. Even though this alternate method is very promising, further studies are necessary to fully understand its attributes and limitations.

Escobedo-Torres, J.

Pulse Detonation Engine Air Induction System Analysis

A preliminary mixed-compression inlet design concept for potential pulse-detonation engine (PDE) powered supersonic aircraft was defined and analyzed. The objectives of this research were to conceptually design and integrate an inlet/PDE propulsion system into a supersonic aircraft, perform time-dependent CFD analysis of the inlet flowfield, and to estimate the installed PDE cycle performance. The study was baselined to a NASA Mach 5 Waverider study vehicle in which the baseline over/under turboramjet engines were replaced with a single flowpath PDE propulsion system. As much commonality as possible was maintained with the baseline configuration, including the engine location and forebody lines. Modifications were made to the inlet system's external ramp angles and a rotating cowl lip was incorporated to improve off-design inlet operability and performance. Engines were sized to match the baseline vehicle study's ascent trajectory thrust requirement at Mach 1.2. The majority of this study was focused on a flight Mach number of 3.0. The time-dependent Navier Stokes CFD analyses of a two-dimensional approximation of the inlet was conducted for the Mach 3.0 condition. The Lockheed Martin Tactical Aircraft Systems-developed FALCON CFD code with a two equation 'k-1' turbulence model was used. The downstream PDE was simulated by an array of four sonic nozzles in which the flow areas were rapidly varied in various opening/closing combinations. Results of the CFD study indicated that the inlet design concept operated successfully at the Mach 3.0 condition, satisfying mass capture, total pressure recovery, and operability requirements. Time-dependent analysis indicated that pressure and expansion waves from the simulated valve perturbations did not effect the inlet's operability or performance.

Pegg, R. J.

Rate Dependent Deformation and Strength Analysis of Polymer Matrix Composites

A research program is being undertaken to develop rate dependent deformation and failure models for the analysis of polymer matrix composite materials. In previous work in this program, strain-rate dependent inelastic constitutive equations used to analyze polymers have been implemented into a mechanics of materials based composite micromechanics method. In the current work, modifications to the micromechanics model have been implemented to improve the calculation of the effective inelastic strain. Additionally, modifications to the polymer constitutive model are discussed in which pressure dependence is incorporated into the equations in order to improve the calculation of constituent and composite shear stresses. The Hashin failure criterion is implemented into the analysis method to allow for the calculation of ply level failure stresses. The deformation response and failure stresses for two representative uniaxial polymer matrix composites, IM7/977-2 and AS4-PEEK, are predicted for varying strain rates and fiber orientations. The predicted results compare favorably to experimentally obtained values.

Goldberg, Robert K.