Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “reasonable confidence”

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 55 records · Page 3

Three-color resonance ionization spectroscopy of Zr in Si

As our society becomes technologically more complex, computers are being used in greater and greater numbers of high consequence systems. Giving a machine control over the lives of humans can be disturbing, especially if the software that is run on such a machine has bugs. Formal reasoning is one of the most powerful techniques available to demonstrate the correctness of a piece of software. When reasoning about software and its development, one frequently encounters expressions that contain partial functions. As might be expected, the presence of partial functions introduces an additional dimension of difficulty to the reasoning framework. This difficulty produces an especially strong impact in the case of high consequence systems. An ability to use formal methods for constructing software is essential if we want to obtain greater confidence in such systems through formal reasoning. This is only reasonable under automation of software development and verification. However, the ubiquitous presence of partial functions prevents a uniform application to software of any tools not specifically accounting for partial functions. In this paper we will describe a framework for reasoning about software, based on the nonstrict explicit domain approach, that is applicable to a large class of software/hardware systems. In this framework the Hoare triples containing partial functions can be reasoned about automatically in a well-defined and uniform manner.

Hansen, C. S.↗

System Identification for Integrated Aircraft Development and Flight Testing [l'Identification Des Systemes Pour le Developpement Integre des Aeronefs et les Essais en Vol]

Over the last decades flight vehicles such as aircraft and helicopters entering service and requiring increased operational effectiveness have with few exceptions experienced prolonged flight test development to achieve full certification. In many cases the original requirements had later to be reduced to enable release to service. The impact on the customer, and manufacturer has been considerable leading to increased costs and or reduced operational capabilities. These costly experiences are largely a result of the flight vehicle not behaving as modelled and designed. The evaluation of flight test data can be used as a tool for validating windtunnel results and mathematical models describing the flight dynamical behaviour. In this sense the uncertainty of important aerodynamic stability and control parameters can be reduced and the confidence of aircraft mathematical models improved. An additional important factor comes from the implementation of active control systems offering the promise of significantly increased flight vehicle performance and operational capability. This approach extends the traditional trade-offs between aerodynamics, structures and propulsion systems to include full- time, full-authority fly-by-wire/light systems. It is imperative that the aerodynamic stability and control parameters of such integrated flight and propulsion control systems have to turn out inflight as predicted, since inherent stability margins will be lower and the flight control system must correct these deficiencies to provide flight critical redundancy and safety. With the methodology of system identification from flight tests it is possible to sense the control inputs and the flight vehicle reactions Such as accelerations, rates and attitudes. The mathematical model, e.g. the model structure and parameters, has to be determined from the relationship of the measured control inputs and the system's responses. The aim of this symposium was to review the present state of the art of flight vehicle system and parameter identification techniques, and to provide a critical appraisal of current methods developed and applied to flight test data in a number of NATO nations. Particular emphasis was placed on practical aspects and lessons learned in order to generate information useful to the flight test community in industry and government agencies. The technical papers share invaluable experience and emphasize the advances of flight vehicle system identification over the last years to the point where confidence and robustness level is now reasonably high. The symposium covered overviews of identification methodologies, flight test techniques, recent aircraft and helicopter application programs, and a session of short papers covering up-to-the-minute flight test results. A final discussion included prepared comments from experts and concluded with key issues learned in the application of system identification and future research needs. The essential benefits to NATO nations can be condensed as follows: More accurate mathematical models for high bandwidth flight control systems, Improved assessment and evaluation of flying qualities, High fidelity mathematical models for flight vehicle development and mission training simulators, and generally, Reduced flight test time and costs.

Advisory Group for Aerospace Research and Developm↗

Probabilistic Analysis for Comparing Fatigue Data Based on Johnson-Weibull Parameters

Probabilistic failure analysis is essential when analysis of stress-life (S-N) curves is inconclusive in determining the relative ranking of two or more materials. In 1964, L. Johnson published a methodology for establishing the confidence that two populations of data are different. Simplified algebraic equations for confidence numbers were derived based on the original work of L. Johnson. Using the ratios of mean life, the resultant values of confidence numbers deviated less than one percent from those of Johnson. It is possible to rank the fatigue lives of different materials with a reasonable degree of statistical certainty based on combined confidence numbers. These equations were applied to rotating beam fatigue tests that were conducted on three aluminum alloys at three stress levels each. These alloys were AL 2024, AL 6061, and AL 7075. The results were analyzed and compared using ASTM Standard E739-91 and the Johnson-Weibull analysis. The ASTM method did not statistically distinguish between AL 6010 and AL 7075. Based on the Johnson-Weibull analysis confidence numbers greater than 99 percent, AL 2024 was found to have the longest fatigue life, followed by AL 7075, and then AL 6061. The ASTM Standard and the Johnson-Weibull analysis result in the same stress-life exponent p for each of the three aluminum alloys at the median or L(sub 50) lives.

Hendricks, Robert C.↗

Effect of aluminum phosphate additions on composition of three-component plasma-sprayed solid lubricant

Image analysis (IA) and electron microprobe X-ray analysis (EMXA) were used to characterize a plasma-sprayed, self-lubricating coating, NASA LUBE PS106, specified by weight percent as 35NiCr-35Ag-30CaF2. To minimize segregation of the powder mixture during the plasma-spraying procedure, monoaluminum phosphate was added to form agglomerate particles. Three concentrations of AlPO4 were added to the mixtures: 1.25, 2.5, and 6.25 percent by weight. Analysis showed that 1.25 wt% AlPO4 yielded a CaF2 deficiency, 2.5 wt% kept the coating closest to specification, and 6.25 wt% yielded excess CaF2 as well as more impurities and voids and a deficiency in silver. Photomicrographs and X-ray maps are presented. The methods of IA and EMXA complement each other, and the reasonable agreement in the results increases the confidence in determining the coating composition.

Jacobson, T. P.↗

Probabilistic Analysis for Comparing Fatigue Data Based on Johnson-Weibull Parameters

Leonard Johnson published a methodology for establishing the confidence that two populations of data are different. Johnson's methodology is dependent on limited combinations of test parameters (Weibull slope, mean life ratio, and degrees of freedom) and a set of complex mathematical equations. In this report, a simplified algebraic equation for confidence numbers is derived based on the original work of Johnson. The confidence numbers calculated with this equation are compared to those obtained graphically by Johnson. Using the ratios of mean life, the resultant values of confidence numbers at the 99 percent level deviate less than 1 percent from those of Johnson. At a 90 percent confidence level, the calculated values differ between +2 and 4 percent. The simplified equation is used to rank the experimental lives of three aluminum alloys (AL 2024, AL 6061, and AL 7075), each tested at three stress levels in rotating beam fatigue, analyzed using the Johnson- Weibull method, and compared to the ASTM Standard (E739 91) method of comparison. The ASTM Standard did not statistically distinguish between AL 6061 and AL 7075. However, it is possible to rank the fatigue lives of different materials with a reasonable degree of statistical certainty based on combined confidence numbers using the Johnson- Weibull analysis. AL 2024 was found to have the longest fatigue life, followed by AL 7075, and then AL 6061. The ASTM Standard and the Johnson-Weibull analysis result in the same stress-life exponent p for each of the three aluminum alloys at the median, or L(sub 50), lives

Vlcek, Brian L.↗

Investigation of several aspects of LANDSAT-4 data quality

Preliminary analysis of band-to-band registration in a TM scene of San Francisco, California by flickering different band pairs on the display showed no major problems. The power spectra of individual lines in each band on the A-tape of a Washington, D.C. scene, which represented data from individual detectors, was calculated. The power spectra for each detector were averaged and the peak-to-peak amplitudes were calculated as a function of frequency. Estimated system modulation transfer functions were calculated for bands 3 and 4 for a 128 x 128 pixel area of the San Francisco Bay containing the San Matteo Bridge. The shape and width of the modulation transfer functions appear reasonable, but further study is required to establish confidence in the results which yield an effective-instantaneous field of view of 33.6 meters and 40.8 meters in bands 3 and 4, respectively.

Wrigley, R. C.↗

A Probable Taurid Impact on the Moon

On November 7, 2005, at 23:41:52 UT, observers located at the Marshall Space Flight Center captured the flash produced by a kilogram-size meteoroid striking the lunar surface. Photometric analysis of the event video, combined with the plausible assumptions of a luminous efficiency of 2x10" and that the meteoroid was a member of the Taurid meteoroid stream, yield a striking power of approximately 640 lbs of TNT and a mass of approximately 3.8 kg. Even though no confirming independent observations are known to exist, there is high confidence in the impact origin of the flash; reasonable attempts have been made to eliminate other possibilities, such as cosmic ray hits on the CCD and glints from satellites that may have crossed the lunar disk near the impact time.

Cooke, William J.↗

Systems, methods and apparatus for generation and verification of policies in autonomic computing systems

Described herein is a method that produces fully (mathematically) tractable development of policies for autonomic systems from requirements through to code generation. This method is illustrated through an example showing how user formulated policies can be translated into a formal mode which can then be converted to code. The requirements-based programming method described provides faster, higher quality development and maintenance of autonomic systems based on user formulation of policies.Further, the systems, methods and apparatus described herein provide a way of analyzing policies for autonomic systems and facilities the generation of provably correct implementations automatically, which in turn provides reduced development time, reduced testing requirements, guarantees of correctness of the implementation with respect to the policies specified at the outset, and provides a higher degree of confidence that the policies are both complete and reasonable. The ability to specify the policy for the management of a system and then automatically generate an equivalent implementation greatly improves the quality of software, the survivability of future missions, in particular when the system will operate untended in very remote environments, and greatly reduces development lead times and costs.

Hinchey, Michael G.↗

I’ve Looked at Clouds from Both Sides, Now: Viewpoints from Surface and Spaceborne Lidar Systems

Clouds play a critical role in the Earth’s climate system because they are inextricably linked to the hydrological cycle and radiation budget. Information about cloud height, thickness, occurrence, and amount are critical inputs for a host of numerical applications involving climate research. Therefore, it is important to have highly accurate and quantitative data records of cloud properties that span several years and geographic regions. Verification of even the most basic modeling processes demands long term and continuous observations of global cloud occurrence, if there is to be any confidence in their fidelity. For a number of reasons, however, it is impossible to gauge the complexities of clouds from a single source. Fundamentally, an array of remote sensing methods is needed in order to provide a complete picture. Within the Micropulse Lidar Network (MPLNET), we have developed a new algorithm to improve the quality of our cloud products. The largest impact of the changes to the cloud detection algorithm is evident with high clouds (those with cloud base > 5 km). Furthermore, polarized measurements enable us to determine the cloud thermodynamic phase. Naturally, the next step is to investigate how these improvements compare with observations from spaceborne lidars (e.g. CALIOP) which have a better (unobstructed) view of high clouds. Recent advances in remote sensing have revealed that cirrus clouds are the most common cloud genus observed in the atmosphere. Furthermore, cirrus skew highly towards relatively low cloud optical depths, as observed from both surface and spaceborne viewpoints. The radiative impacts of these findings are quite significant, considering the cumulative effect cirrus exhibit when compared to low clouds.

Jasper R Lewis↗

Gamma-Ray Burst Intensity Distributions

We use the lag-luminosity relation to calculate self-consistently the redshifts, apparent peak bolometric luminosities L(sub B1), and isotropic energies E(sub iso) for a large sample of BATSE bursts. We consider two different forms of the lag-luminosity relation; for both forms the median redshift, for our burst database is 1.6. We model the resulting sample of burst energies with power law and Gaussian dis- tributions, both of which are reasonable models. The power law model has an index of a = 1.76 plus or minus 0.05 (95% confidence) as opposed to the index of a = 2 predicted by the simple universal jet profile model; however, reasonable refinements to this model permit much greater flexibility in reconciling predicted and observed energy distributions.

Band, David L.↗

METCAN verification status

The status of the verification (comparisons of predictions with experimental data) of the METCAN (METal-matrix Composite ANalyzer) code at high temperature is summarized. Verification includes select available room temperature of W/Cu composites for different fiber volume ratios. It also includes high temperature properties for thermal expansion, moduli, strength and stress/strain behavior for SiC/Ti composites. Furthermore it includes limited cases for thermal fatigue strength degradation. The verification results summarized herein indicate that METCAN simulates complex high temperature metal matrix composite bahavior with reasonable accuracy and that it can be used with confidence to identify in-situ nonlinear behavior that influences composite properties.

Chamis, Christos C.↗

Genetic Algorithm for Optimization: Preprocessing with n Dimensional Bisection and Error Estimation

A knowledge of the appropriate values of the parameters of a genetic algorithm (GA) such as the population size, the shrunk search space containing the solution, crossover and mutation probabilities is not available a priori for a general optimization problem. Recommended here is a polynomial-time preprocessing scheme that includes an n-dimensional bisection and that determines the foregoing parameters before deciding upon an appropriate GA for all problems of similar nature and type. Such a preprocessing is not only fast but also enables us to get the global optimal solution and its reasonably narrow error bounds with a high degree of confidence.

Sen, S. K.↗

Determination of confidence limits for experiments with low numbers of counts

Two different methods, classical and Bayesian, for determining confidence intervals involving Poisson-distributed data are compared. Particular consideration is given to cases where the number of counts observed is small and is comparable to the mean number of background counts. Reasons for preferring the Bayesian over the classical method are given. Tables of confidence limits calculated by the Bayesian method are provided for quick reference.

Kraft, Ralph P.↗

Improvement of Automated POST Case Success Rate Using Support Vector Machines

During early conceptual design of complex systems, concept down selection can have a large impact upon program life-cycle cost. Therefore, any concepts selected during early design will inherently commit program costs and affect the overall probability of program success. For this reason it is important to consider as large a design space as possible in order to better inform the down selection process. For conceptual design of launch vehicles, trajectory analysis and optimization often presents the largest obstacle to evaluating large trade spaces. This is due to the sensitivity of the trajectory discipline to changes in all other aspects of the vehicle design. Small deltas in the performance of other subsystems can result in relatively large fluctuations in the ascent trajectory because the solution space is non-linear and multi-modal [1]. In order to help capture large design spaces for new launch vehicles, the authors have performed previous work seeking to automate the execution of the industry standard tool, Program to Optimize Simulated Trajectories (POST). This work initially focused on implementation of analyst heuristics to enable closure of cases in an automated fashion, with the goal of applying the concepts of design of experiments (DOE) and surrogate modeling to enable near instantaneous throughput of vehicle cases [2]. Additional work was then completed to improve the DOE process by utilizing a graph theory based approach to connect similar design points [3]. The conclusion of the previous work illustrated the utility of the graph theory approach for completing a DOE through POST. However, this approach was still dependent upon the use of random repetitions to generate seed points for the graph. As noted in [3], only 8% of these random repetitions resulted in converged trajectories. This ultimately affects the ability of the random reps method to confidently approach the global optima for a given vehicle case in a reasonable amount of time. With only an 8% pass rate, tens or hundreds of thousands of reps may be needed to be confident that the best repetition is at least close to the global optima. However, typical design study time constraints require that fewer repetitions be attempted, sometimes resulting in seed points that have only a handful of successful completions. If a small number of successful repetitions are used to generate a seed point, the graph method may inherit some inaccuracies as it chains DOE cases from the non-global-optimal seed points. This creates inherent noise in the graph data, which can limit the accuracy of the resulting surrogate models. For this reason, the goal of this work is to improve the seed point generation method and ultimately the accuracy of the resulting POST surrogate model. The work focuses on increasing the case pass rate for seed point generation.

Zwack, Matthew R.↗

AdaNET prototype library administration manual

The functions of the AdaNET Prototype Library of Reusable Software Parts is described. Adopted from the Navy Research Laboratory's Reusability Guidebook (V.5.0), this is a working document, customized for use the the AdaNET Project. Within this document, the term part is used to denote the smallest unit controlled by a library and retrievable from it. A part may have several constituents, which may not be individually tracked. Presented are the types of parts which may be stored in the library and the relationships among those parts; a concept of trust indicators which provide measures of confidence that a user of a previously developed part may reasonably apply to a part for a new application; search and retrieval, configuration management, and communications among those who interact with the AdaNET Prototype Library; and the AdaNET Prototype, described from the perspective of its three major users: the part reuser and retriever, the part submitter, and the librarian and/or administrator.

Hanley, Lionel↗

Advanced transportation system studies, technical area 3. Alternate propulsion subsystem concepts: J-2S restart study

The objectives were to assess what design changes would be required to remit late production of the J-2S engine for use as a large high energy upper stage engine. The study assessed design changes required to perform per the J-2S model specification, manufacturing changes required due to obsolescence or improvements in state-of-the-practice, availability issues for supplier provided items, and provided cost and schedule estimates for this configuration. The confidence that J-2S production could be reinitiated within reasonable costs and schedules was provided. No significant technical issues were identified in either the producibility study or in the review of previous technical data. Areas of potential cost reduction were identified which could be quantified to a greater extent with further manufacturing planning. The proposed schedule can be met with no foreseeable impacts. The results of the study provided the necessary foundation for the detailed manufacturing and test plans and non-recurring and recurring cost estimates that are needed to complete the effort to reinitiate production of the J-2S engine system.

Vilja, John↗

Water vapor differential absorption lidar development and evaluation

A ground-based differential absorption lidar (DIAL) system is described which has been developed for vertical range-resolved measurements of water vapor. The laser transmitter consists of a ruby-pumped dye laser, which is operated on a water vapor absorption line at 724.372 nm. Part of the ruby laser output is transmitted simultaneously with the dye laser output to determine atmospheric scattering and attenuation characteristics. The dye and ruby laser backscattered light is collected by a 0.5-m diam telescope, optically separated in the receiver package, and independently detected using photomultiplier tubes. Measurements of vertical water vapor concentration profiles using the DIAL system at night are discussed, and comparisons are made between the water vapor DIAL measurements and data obtained from locally launched rawinsondes. Agreement between these measurements was found to be within the uncertainty of the rawinsonde data to an altitude of 3 km. Theoretical simulations of this measurement were found to give reasonably accurate predictions of the random error of the DIAL measurements. Confidence in these calculations will permit the design of aircraft and Shuttle DIAL systems and experiments using simulation results as the basis for defining lidar system performance requirements

Browell, E. V.↗

F-106 data summary and model results relative to threat criteria and protection design analysis

The NASA F-106 has acquired considerable data on the rates-of-change of electromagnetic parameters on the aircraft surface during 690 direct lightning strikes while penetrating thunderstorms at altitudes ranging from 15,000 to 40,000 feet. These in-situ measurements have provided the basis for the first statistical quantification of the lightning electromagnetic threat to aircrat appropriate for determining lightning indirect effects on aircraft. The data are presently being used in updating previous lightning criteria and standards developed over the years from ground-based measurements. The new lightning standards will, therefore, be the first which reflect actual aircraft responses measured at flight altitudes. The modeling technique developed to interpret and understand the direct strike electromagnetic data acquired on the F-106 provides a means to model the interaction of the lightning channel with the F-106. The reasonable results obtained with the model, compared to measured responses, yield confidence that the model may be credibly applied to other aircraft types and uses in the prediction of internal coupling effects in the design of lightning protection for new aircraft.

Pitts, F. L.↗