Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “analysis approach”

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 523 records · Page 29

Directed Incremental Symbolic Execution

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

Person, Suzette↗

An integrative approach to space-flight physiology using systems analysis and mathematical simulation

An approach was developed to aid in the integration of many of the biomedical findings of space flight, using systems analysis. The mathematical tools used in accomplishing this task include an automated data base, a biostatistical and data analysis system, and a wide variety of mathematical simulation models of physiological systems. A keystone of this effort was the evaluation of physiological hypotheses using the simulation models and the prediction of the consequences of these hypotheses on many physiological quantities, some of which were not amenable to direct measurement. This approach led to improvements in the model, refinements of the hypotheses, a tentative integrated hypothesis for adaptation to weightlessness, and specific recommendations for new flight experiments.

Leonard, J. I.↗

Temperature effects on the strainrange partitioning approach for creep-fatigue analysis

Examination is made of the influence of temperature on the strainrange partitioning approach to creep-fatigue. Results for Cr-Mo steel and Type 316 stainless steel show the four partitioned strainrange-life relationships to be temperature insensitive to within a factor of two on cyclic life. Monotonic creep and tensile ductilities were also found to be temperature insensitive to within a factor of two. The approach provides bounds on cyclic life that can be readily established for any type of inelastic strain cycle. Continuous strain cycling results obtained over a broad range of high temperatures and frequencies are in excellent agreement with bounds provided by the approach. The observed transition from one bound to the other is also in good agreement with the approach.

Halford, G. R.↗

Space Shuttle Stiffener Ring Foam Failure Analysis, a Non-Conventional Approach

The Space Shuttle Program made use of the excellent properties of rigid polyurethane foam for cryogenic tank insulation and as structural protection on the solid rocket boosters. When foam applications de-bond, classical methods of failure analysis did not provide root cause of the failure of the foam. Realizing that foam is the ideal media to document and preserve its own mode of failure, thin sectioning was seen as a logical approach for foam failure analysis to observe the three dimensional morphology of the foam cells. The cell foam morphology provided a much greater understanding of the failure modes than previously achieved.

cryogenic tank insulation↗

Space Shuttle Stiffener Ring Foam Failure Analysis, a Non-Conventional Approach.

The Space Shuttle Program made use of the excellent properties of rigid polyurethane foam for cryogenic tank insulation and as structural protection on the solid rocket boosters. When foam applications de-bond, classical methods of failure analysis did not provide root cause of the failure of the foam. Realizing that foam is the ideal media to document and preserve its own mode of failure, thin sectioning was seen as a logical approach for foam failure analysis to observe the three dimensional morphology of the foam cells. The cell foam morphology provided a much greater understanding of the failure modes than previously achieved.

Foam↗

Evaluation of a three-dimensional empirically derived wing at supersonic speeds

A novel wing design concept is introduced which takes advantage of the existence of conical flow at supersonic speeds. The present wing design concept is to create a near conical wing geometry by redistributing airfoils in a spanwise direction. In addition, a set of graphs which review the supersonic aerodynamics of delta wings have been employed to select a design wing sweep and Mach number. An iteration through the wing design logic resulted in the selection of a 65 deg swept delta wing and a design Mach number of 1.62. Theoretical analysis was performed with a nonlinear full-potential analysis method to assess the merits of the wing design approach. The analysis showed large reductions in drag due to lift compared to delta wings configured with traditional thickness and airfoil distributions.

Wood, Richard M.↗

A Multidisciplinary Approach to Mixer-Ejector Analysis and Design

The design of an engine for a civil supersonic aircraft presents a difficult multidisciplinary problem to propulsion system engineers. There are numerous competing requirements for the engine, such as to be efficient during cruise while yet quiet enough at takeoff to meet airport noise regulations. The use of mixer-ejector nozzles presents one possible solution to this challenge. However, designing a mixer-ejector which will successfully address both of these concerns is a difficult proposition. Presented in this paper is an integrated multidisciplinary approach to the analysis and design of these systems. A process that uses several low-fidelity tools to evaluate both the performance and acoustics of mixer-ejectors nozzles is described. This process is further expanded to include system-level modeling of engines and aircraft to determine the effects on mission performance and noise near airports. The overall process is developed in the OpenMDAO framework currently being developed by NASA. From the developed process, sample results are given for a notional mixer-ejector design, thereby demonstrating the capabilities of the method.

Hendricks, Eric, S.↗

Boundary formulations for sensitivities of three-dimensional stress invariants

The direct, singular, boundary element analysis (BEA) formulation has been shown to provide a basis for a computationally efficient and accurate shape structural design sensitivity analysis (DSA) approach for three-dimensional solid objects. Within the boundary element analysis context, the theoretical formulation for sensitivities of important stress-related quantities including principal and deviatoric stresses, von Mises, maximum shear, and other stress invariants are presented, both for the surface as well as the interior of a continuum structure. Numerical results are given to demonstrate the accuracy of this approach.

Guru Prasad, K.↗

Temperature effects on the strainrange partitioning approach for creep-fatigue analysis.

Examination is made of the influence of temperature on the strain-range partitioning approach to creep-fatigue. Results for 2.5Cr-1Mo steel and Type 316 stainless steel show the four partitioned strain range-life relationships to be temperature insensitive to within a factor of two on cyclic life. Monotonic creep and tensile ductilities were also found to be temperature insensitive to within a factor of two. The approach provides bounds on cyclic life that can be readily established for any type of inelastic strain cycle.

Halford, G. R.↗

Analysis of Strategic Conflict Management Approaches as Applied to Simulated UAM Operations

This report presents the results of a comparison analysis of candidate Strategic Conflict Management (SCM) strategies as applied to Urban Air Mobility (UAM) operations. The SCM strategies investigated included: no SCM, resource scheduling (RS), resource flow rates (FR), area-based flow rates (AR), and conflict detection and resolution (CR). The study evaluated each strategy against the same 3 levels of flight demand in a representative airspace construct for the Dallas/Fort Worth region. The study also accounted for different levels of uncertainty in operational planning and equivalent levels of trajectory following error. In the analysis, we compared the SCM strategies’ effectiveness in reducing the need for the tactical conflict management layer to act and looked at the metrics of unmitigated losses-of-separation (LOS), flight delays imposed by strategic planning, and throughput of the overall airspace. The study results indicated that the CR strategy was the most effective at reducing LOS and percentage of flights with LOS, even in the presence of trajectory error when uncertainty is accounted for in planning. Thus, if the objective is to reduce the number of actions that the tactical conflict management layer will have to take, in terms of conflicts that may need to be resolved, CR is the strategy to use. The FR strategy was found to be the worst at reducing LOS and percentage of flights with LOS. Thus, it is not very effective at reducing the actions required by a tactical conflict management layer. In the airspace tested, the demand was high enough to produce unacceptable levels of flight delay and reductions of throughput when the SCM strategies were implemented. This was especially evident at the higher levels of trajectory uncertainty and error. The need to account for expected levels of uncertainty becomes more and more important as the demand level increases and as the level of trajectory error increases. This is because the likelihood of flights with LOS increases as the density of operations increases and as the level of trajectory error increases. Accounting for uncertainty in the SCM strategies improves the strategy effectiveness with respect to LOS but increases delays and reduces throughput. Thus, there is a tradeoff between scalability and allowable levels of uncertainty. That is, we can implement an air traffic management construct that allows high levels of uncertainty, but we can expect that same system to have limits on scalability that may be evident even at small demand levels, such as those used in this study. Therefore, the results in this study indicate that an air traffic system should attempt to implement mechanisms appropriate for reducing uncertainty where possible in order to increase the chances for scalability. And this increased level of predictability of operations needs to be balanced with mechanisms for ensuring flexibility when operational conditions and plans need to change, even though those types of changes should be the exception rather than the rule under normal conditions. The study also introduced a trade space that could serve as a mechanism for selecting the appropriate SCM strategy in a trade-off between uncertainty and error, mean flight delay, and the LOS metrics (which this study equates to the potential for tactical conflict management actions). The optimal solution for a given airspace, demand level, and other factors, could likely be a combination of SCM strategies, although this study only compared the use of a single SCM strategy at a time. The CR strategy appeared to have the best opportunity for scalability by limiting the number of potential tactical actions to nearly zero.

Strategic Conflict Management↗

Application of a trigonometric finite difference procedure to numerical analysis of compressive and shear buckling of orthotropic panels

A numerical analysis developed for the buckling of rectangular orthotropic layered panels under combined shear and compression is described. This analysis uses a central finite difference procedure based on trigonometric functions instead of using the conventional finite differences which are based on polynomial functions. Inasmuch as the buckle mode shape is usually trigonometric in nature, the analysis using trigonometric finite differences can be made to exhibit a much faster convergence rate than that using conventional differences. Also, the trigonometric finite difference procedure leads to difference equations having the same form as conventional finite differences; thereby allowing available conventional finite difference formulations to be converted readily to trigonometric form. For two-dimensional problems, the procedure introduces two numerical parameters into the analysis. Engineering approaches for the selection of these parameters are presented and the analysis procedure is demonstrated by application to several isotropic and orthotropic panel buckling problems. Among these problems is the shear buckling of stiffened isotropic and filamentary composite panels in which the stiffener is broken. Results indicate that a break may degrade the effect of the stiffener to the extent that the panel will not carry much more load than if the stiffener were absent.

Stein, M.↗

Asymptotic modal analysis and statistical energy analysis of an acoustic cavity

A basic asymptotic theory for structural wall/acoustic cavity interaction is presented, and the analysis is illustrated with examples of the acoustic cavity response to a prescribed wall motion. Although, when spatially averaged, the classical modal analysis (CMA) response approaches the asymptotic modal analysis (AMA) response more rapidly as the number of modes increases, it is shown that information about local response intensification is lost in the averaging process. A larger bandwidth at a given center frequency is found to contain more excited modes than a smaller bandwidth; however, the AMA is slightly more accurate in the smaller bandwidth. All AMA asymptotes were shown to be approached from below by a CMA with fixed bandwidth and increasing center frequency.

Kubota, Y.↗

Optimization of composite box-beam structures including effects of subcomponent interactions

Minimum mass designs are obtained for a simple box beam structure subject to bending, torque and combined bending/torque load cases. These designs are obtained subject to point strain and linear buckling constraints. The present work differs from previous efforts in that special attention is payed to including the effects of subcomponent panel interaction in the optimal design process. Two different approaches are used to impose the buckling constraints. When the global approach is used, buckling constraints are imposed on the global structure via a linear eigenvalue analysis. This approach allows the subcomponent panels to interact in a realistic manner. The results obtained using this approach are compared to results obtained using a traditional, less expensive approach, called the local approach. When the local approach is used, in-plane loads are extracted from the global model and used to impose buckling constraints on each subcomponent panel individually. In the global cases, it is found that there can be significant interaction between skin, spar, and rib design variables. This coupling is weak or nonexistent in the local designs. It is determined that weight savings of up to 7% may be obtained by using the global approach instead of the local approach to design these structures. Several of the designs obtained using the linear buckling analysis are subjected to a geometrically nonlinear analysis. For the designs which were subjected to bending loads, the innermost rib panel begins to collapse at less than half the intended design load and in a mode different from that predicted by linear analysis. The discrepancy between the predicted linear and nonlinear responses is attributed to the effects of the nonlinear rib crushing load, and the parameter which controls this rib collapse failure mode is shown to be the rib thickness. The rib collapse failure mode may be avoided by increasing the rib thickness above the value obtained from the (linear analysis based) optimizer. It is concluded that it would be necessary to include geometric nonlinearities in the design optimization process if the true optimum in this case were to be found.

Ragon, Scott A.↗

Preliminary design package for prototype solar heating and cooling systems

A summary is given of the preliminary analysis and design activity on solar heating and cooling systems. The analysis was made without site specific data other than weather; therefore, the results indicate performance expected under these special conditions. Major items include a market analysis, design approaches, trade studies and other special data required to evaluate the preliminary analysis and design. The program calls for the development and delivery of eight prototype solar heating and cooling systems for installation and operational test. Two heating and six heating and cooling units will be delivered for Single Family Residences, Multiple-family Residences and commercial applications.

Source record↗

Passivity In Analysis Of Robustness Of A Control System

Robustness margin (measure of degree of passivity) defined. Paper presents new approach to analysis of stability of multivariable feedforward-and-feedback control system consisting of exponentially stable linear time-invariant (LTI) feedforward subsystem and nonlinear time-varying (NTV) or dynamic feedback subsystem. New method based on notion of passivity, quantified by robustness margin. Margin provides bound on magnitudes of perturbations, below which perturbations will not make system unstable.

Wen, John Ting-Yung↗