Engineering PapersSearch

SEARCH · Engineering Papers

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 73 records · Page 4

On the application of multifrequency polarimetric radar observations for sea-ice classification

The use of multifrequency polarimetric radar imagery to enhance the ability to separate different sea-ice types using single-frequency, single-polarization synthetic aperture radar (SAR) data is investigated. Backscatter characteristics of six radiometrically and polarimetrically distinct sea-ice types are selected in an unsupervised range-dependent analysis of multifrequency polarimetric SAR data using the maximum a posteriori (MAP) polarimetric classifier. Maximum ice discrimination is achieved with combined C- and L-band full polarimetry, and collocated passive microwave imagery suggests greater than 90 percent classification accuracy. C-band VV-pol alone achieves only 68 percent relative accuracy because it confuses multiyear and rough compressed first year ice. L-band, relative classification accuracy is 75 percent, 83 percent, and 85 percent, using HH-pol, HH- and VV-combined, or the full polarimetry, respectively. P-band is less accurate. Combinations of two frequencies at a single polarization show the greatest improvement over a single channel.

Rignot, Eric

Efficient Parallel Kernel Solvers for Computational Fluid Dynamics Applications

Distributed-memory parallel computers dominate today's parallel computing arena. These machines, such as Intel Paragon, IBM SP2, and Cray Origin2OO, have successfully delivered high performance computing power for solving some of the so-called "grand-challenge" problems. Despite initial success, parallel machines have not been widely accepted in production engineering environments due to the complexity of parallel programming. On a parallel computing system, a task has to be partitioned and distributed appropriately among processors to reduce communication cost and to attain load balance. More importantly, even with careful partitioning and mapping, the performance of an algorithm may still be unsatisfactory, since conventional sequential algorithms may be serial in nature and may not be implemented efficiently on parallel machines. In many cases, new algorithms have to be introduced to increase parallel performance. In order to achieve optimal performance, in addition to partitioning and mapping, a careful performance study should be conducted for a given application to find a good algorithm-machine combination. This process, however, is usually painful and elusive. The goal of this project is to design and develop efficient parallel algorithms for highly accurate Computational Fluid Dynamics (CFD) simulations and other engineering applications. The work plan is 1) developing highly accurate parallel numerical algorithms, 2) conduct preliminary testing to verify the effectiveness and potential of these algorithms, 3) incorporate newly developed algorithms into actual simulation packages. The work plan has well achieved. Two highly accurate, efficient Poisson solvers have been developed and tested based on two different approaches: (1) Adopting a mathematical geometry which has a better capacity to describe the fluid, (2) Using compact scheme to gain high order accuracy in numerical discretization. The previously developed Parallel Diagonal Dominant (PDD) algorithm and Reduced Parallel Diagonal Dominant (RPDD) algorithm have been carefully studied on different parallel platforms for different applications, and a NASA simulation code developed by Man M. Rai and his colleagues has been parallelized and implemented based on data dependency analysis. These achievements are addressed in detail in the paper.

Sun, Xian-He

By Hand or Not By-Hand: A Case Study of Alternative Approaches to Parallelize CFD Applications

While parallel processing promises to speed up applications by several orders of magnitude, the performance achieved still depends upon several factors, including the multiprocessor architecture, system software, data distribution and alignment, as well as the methods used for partitioning the application and mapping its components onto the architecture. The existence of the Gorden Bell Prize given out at Supercomputing every year suggests that while good performance can be attained for real applications on general purpose multiprocessors, the large investment in man-power and time still has to be repeated for each application-machine combination. As applications and machine architectures become more complex, the cost and time-delays for obtaining performance by hand will become prohibitive. Computer users today can turn to three possible avenues for help: parallel libraries, parallel languages and compilers, interactive parallelization tools. The success of these methodologies, in turn, depends on proper application of data dependency analysis, program structure recognition and transformation, performance prediction as well as exploitation of user supplied knowledge. NASA has been developing multidisciplinary applications on highly parallel architectures under the High Performance Computing and Communications Program. Over the past six years, the transition of underlying hardware and system software have forced the scientists to spend a large effort to migrate and recede their applications. Various attempts to exploit software tools to automate the parallelization process have not produced favorable results. In this paper, we report our most recent experience with CAPTOOL, a package developed at Greenwich University. We have chosen CAPTOOL for three reasons: 1. CAPTOOL accepts a FORTRAN 77 program as input. This suggests its potential applicability to a large collection of legacy codes currently in use. 2. CAPTOOL employs domain decomposition to obtain parallelism. Although the fact that not all kinds of parallelism are handled may seem unappealing, many NASA applications in computational aerosciences as well as earth and space sciences are amenable to domain decomposition. 3. CAPTOOL generates code for a large variety of environments employed across NASA centers: MPI/PVM on network of workstations to the IBS/SP2 and CRAY/T3D.

Yan, Jerry C.

The Design and Evaluation of "CAPTools"--A Computer Aided Parallelization Toolkit

Writing applications for high performance computers is a challenging task. Although writing code by hand still offers the best performance, it is extremely costly and often not very portable. The Computer Aided Parallelization Tools (CAPTools) are a toolkit designed to help automate the mapping of sequential FORTRAN scientific applications onto multiprocessors. CAPTools consists of the following major components: an inter-procedural dependence analysis module that incorporates user knowledge; a 'self-propagating' data partitioning module driven via user guidance; an execution control mask generation and optimization module for the user to fine tune parallel processing of individual partitions; a program transformation/restructuring facility for source code clean up and optimization; a set of browsers through which the user interacts with CAPTools at each stage of the parallelization process; and a code generator supporting multiple programming paradigms on various multiprocessors. Besides describing the rationale behind the architecture of CAPTools, the parallelization process is illustrated via case studies involving structured and unstructured meshes. The programming process and the performance of the generated parallel programs are compared against other programming alternatives based on the NAS Parallel Benchmarks, ARC3D and other scientific applications. Based on these results, a discussion on the feasibility of constructing architectural independent parallel applications is presented.

Yan, Jerry

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