Search NASA⌕ Search

SEARCH · Search NASA

Results for “Equivalence Method”

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 199 records · Page 11
All sourcesNASA NTRSDOE OSTI
NASA NTRS2005

Towards an Automated Development Methodology for Dependable Systems with Application to Sensor Networks

A general-purpose method to mechanically transform system requirements into a probably equivalent model has yet to appeal: Such a method represents a necessary step toward high-dependability system engineering for numerous possible application domains, including sensor networks and autonomous systems. Currently available tools and methods that start with a formal model of a system and mechanically produce a probably equivalent implementation are valuable but not su8cient. The "gap" unfilled by such tools and methods is that their. formal models cannot be proven to be equivalent to the system requirements as originated by the customel: For the classes of systems whose behavior can be described as a finite (but significant) set of scenarios, we offer a method for mechanically transforming requirements (expressed in restricted natural language, or in other appropriate graphical notations) into a probably equivalent formal model that can be used as the basis for code generation and other transformations.

Hinchey, Michael G.↗
NASA NTRS2004

Requirements to Design to Code: Towards a Fully Formal Approach to Automatic Code Generation

A general-purpose method to mechanically transform system requirements into a provably equivalent model has yet to appear. Such a method represents a necessary step toward high-dependability system engineering for numerous possible application domains, including sensor networks and autonomous systems. Currently available tools and methods that start with a formal model of a system and mechanically produce a provably equivalent implementation are valuable but not sufficient. The gap that current tools and methods leave unfilled is that their formal models cannot be proven to be equivalent to the system requirements as originated by the customer. For the classes of systems whose behavior can be described as a finite (but significant) set of scenarios, we offer a method for mechanically transforming requirements (expressed in restricted natural language, or in other appropriate graphical notations) into a provably equivalent formal model that can be used as the basis for code generation and other transformations.

Hinchey, Michael G.↗
NASA NTRS2005

Requirements to Design to Code: Towards a Fully Formal Approach to Automatic Code Generation

A general-purpose method to mechanically transform system requirements into a provably equivalent model has yet to appear. Such a method represents a necessary step toward high-dependability system engineering for numerous possible application domains, including distributed software systems, sensor networks, robot operation, complex scripts for spacecraft integration and testing, and autonomous systems. Currently available tools and methods that start with a formal model of a system and mechanically produce a provably equivalent implementation are valuable but not sufficient. The gap that current tools and methods leave unfilled is that their formal models cannot be proven to be equivalent to the system requirements as originated by the customer. For the classes of systems whose behavior can be described as a finite (but significant) set of scenarios, we offer a method for mechanically transforming requirements (expressed in restricted natural language, or in other appropriate graphical notations) into a provably equivalent formal model that can be used as the basis for code generation and other transformations.

Hinchey, Michael G.↗
NASA NTRS2005

Requirements to Design to Code: Towards a Fully Formal Approach to Automatic Code Generation

A general-purpose method to mechanically transform system requirements into a provably equivalent model has yet to appear. Such a method represents a necessary step toward high-dependability system engineering for numerous possible application domains, including distributed software systems, sensor networks, robot operation, complex scripts for spacecraft integration and testing, and autonomous systems. Currently available tools and methods that start with a formal model of a: system and mechanically produce a provably equivalent implementation are valuable but not sufficient. The "gap" that current tools and methods leave unfilled is that their formal models cannot be proven to be equivalent to the system requirements as originated by the customer. For the ciasses of systems whose behavior can be described as a finite (but significant) set of scenarios, we offer a method for mechanically transforming requirements (expressed in restricted natural language, or in other appropriate graphical notations) into a provably equivalent formal model that can be used as the basis for code generation and other transformations.

Hinchey, Michael G.↗
NASA NTRS2002

A comparison of quality factors and weighting factors for characterizing astronaut radiation exposures

Radiation exposures are typically characterized by two quantities. The first is the absorbed dose, or the energy deposited per unit mass for specific types of radiation passing through specified materials. The same amount of energy deposited in material by two different types of radiation, however, can result in two different levels of risk. Because of this, for the purpose of radiation protection operations, absorbed dose is modified by a second factor intended to normalize the risk associated with a given exposure. We present here an inter-comparison of methods for this modification. First is the radiation quality factor (Q), as defined by ICRP publication 60. This quantity is related functionally to the unrestricted linear energy transfer (LET) of a given radiation, and is multiplied by the absorbed dose to derive the dose equivalent (H). The second method for modifying absorbed dose is the radiation weighting factor, also given in ICRP-60, or as modified in NCRP report 115. To implement the weighting factor, the absorbed dose resulting from incidence of a particular radiation is multiplied by a factor assigned to that type of radiation, giving the equivalent dose. We compare calculations done based on identical fields of radiation representative of that encountered by the MIR space station, applying each of these two methods. c2002 COSPAR. Published by Elsevier Science Ltd. All rights reserved.

NASA Center JSC↗
NASA NTRS1985

Fillet Weld Stress Using Finite Element Methods

Average elastic Von Mises equivalent stresses were calculated along the throat of a single lap fillet weld. The average elastic stresses were compared to initial yield and to plastic instability conditions to modify conventional design formulas is presented. The factor is a linear function of the thicknesses of the parent plates attached by the fillet weld.

Lehnhoff, T. F.↗
NASA NTRS2013

Vibration Testing of Electrical Cables to Quantify Loads at Tie-Down Locations

The standard method for defining static equivalent structural load factors for components is based on Mile s equation. Unless test data is available, 5% critical damping is assumed for all components when calculating loads. Application of this method to electrical cable tie-down hardware often results in high loads, which often exceed the capability of typical tie-down options such as cable ties and P-clamps. Random vibration testing of electrical cables was used to better understand the factors that influence component loads: natural frequency, damping, and mass participation. An initial round of vibration testing successfully identified variables of interest, checked out the test fixture and instrumentation, and provided justification for removing some conservatism in the standard method. Additional testing is planned that will include a larger range of cable sizes for the most significant contributors to load as variables to further refine loads at cable tie-down points. Completed testing has provided justification to reduce loads at cable tie-downs by 45% with additional refinement based on measured cable natural frequencies.

Dutson, Joseph D.↗
NASA NTRS2005

A Formal Approach to Requirements-Based Programming

No significant general-purpose method is currently available to mechanically transform system requirements into a provably equivalent model. The widespread use of such a method represents a necessary step toward high-dependability system engineering for numerous application domains. Current tools and methods that start with a formal model of a system and mechanically produce a provably equivalent implementation are valuable but not sufficient. The "gap" unfilled by such tools and methods is that the formal models cannot be proven to be equivalent to the requirements. We offer a method for mechanically transforming requirements into a provably equivalent formal model that can be used as the basis for code generation and other transformations. This method is unique in offering full mathematical tractability while using notations and techniques that are well known and well trusted. Finally, we describe further application areas we are investigating for use of the approach.

Hinchey, Michael G.↗
NASA NTRS2014

Validation of Spherically Symmetric Inversion by Use of a Tomographically Reconstructed Three-Dimensional Electron Density of the Solar Corona

Determining the coronal electron density by the inversion of white-light polarized brightness (pB) measurements by coronagraphs is a classic problem in solar physics. An inversion technique based on the spherically symmetric geometry (spherically symmetric inversion, SSI) was developed in the 1950s and has been widely applied to interpret various observations. However, to date there is no study of the uncertainty estimation of this method. We here present the detailed assessment of this method using a three-dimensional (3D) electron density in the corona from 1.5 to 4 solar radius as a model, which is reconstructed by a tomography method from STEREO/COR1 observations during the solar minimum in February 2008 (Carrington Rotation, CR 2066).We first show in theory and observation that the spherically symmetric polynomial approximation (SSPA) method and the Van de Hulst inversion technique are equivalent. Then we assess the SSPA method using synthesized pB images from the 3D density model, and find that the SSPA density values are close to the model inputs for the streamer core near the plane of the sky (POS) with differences generally smaller than about a factor of two; the former has the lower peak but extends more in both longitudinal and latitudinal directions than the latter. We estimate that the SSPA method may resolve the coronal density structure near the POS with angular resolution in longitude of about 50 deg. Our results confirm the suggestion that the SSI method is applicable to the solar minimum streamer (belt), as stated in some previous studies. In addition, we demonstrate that the SSPA method can be used to reconstruct the 3D coronal density, roughly in agreement with the reconstruction by tomography for a period of low solar activity (CR 2066). We suggest that the SSI method is complementary to the 3D tomographic technique in some cases, given that the development of the latter is still an ongoing research effort.

corona↗
NASA NTRS1971

Estimation of total ozone from satellite measurements of backscattered ultraviolet earth radiance.

Total ozone is estimated from Nimbus IV satellite measurements of the attenuation of backscattered radiances at wavelengths between 3100 and 3400 A. A measurement of the backscattered radiance at 3800 A, outside the ozone absorption band, is used to determine an equivalent Lambert albedo for the cloud-ground-haze surface viewed by the instrument. The measured relative attenuation at two wavelengths is compared with such values precomputed for a series of standard ozone profiles and corrected for the equivalent Lambert albedo. Total ozone is obtained by interpolation. Two alternative methods are used to assign an equivalent Lambert albedo at the absorbing wavelengths. Total ozone values estimated by these methods are compared with the Dobson (ground-truth) data by linear regression. The available evidence suggests that the true standard error of the satellite data may be 0.015 atm-cm or less for solar zenith angles smaller than 60 deg.

Mateer, C. L.↗
NASA NTRS1988

An electrochemical study of corrosion protection by primer-topcoat systems on 4130 steel with ac impedance and dc methods

To investigate metal surface corrosion and the breakdown of metal protective coatings, the ac impedance method is applied to six systems of primer coated and primer topcoated 4130 steel. Two primers were used: a zinc-rich epoxy primer and a red lead oxide epoxy primer. The epoxy-polyamine topcoat was used in four of the systems. The EG and G-PARC Model 368 ac impedance measurement system, along with dc measurements with the same system using the polarization resistance method, were used to monitor changing properties of coated 4230 steel disks immersed in 3.5 percent NaCl solutions buffered at pH 5.4 over periods of 40 to 60 days. The corrosion system can be represented by an electronic analog called an equivalent circuit consisting of resistors and capacitors in specific arrangements. This equivalent circuit parallels the impedance behavior of the corrosion system during a frequency scan. Values for the resistors and capacitors, that can be assigned in the equivalent circuit following a least-squares analysis of the data, describe changes that occur on the corroding metal surface and in the protective coatings. Two equivalent circuits have been determined that predict the correct Bode phase and magnitude of the experimental sample at different immersion times. The dc corrosion current density data are related to equivalent circuit element parameters. Methods for determining corrosion rate with ac impedance parameters are verified by the dc method.

Mendrek, M. J.↗
NASA NTRS1985

New results on mean time-to-first-slip for a first-order loop

Approximate results are derived from a new expression for the mean time-to-first-slip for a first-order loop with arbitrary periodic equivalent phase detector characteristic in the presence of frequency detuning. They are accurate for loop signal-to-noise ratios greater than 3 dB or less than 0 dB. The approximations found serve to provide insight into the mean first slip time dependence on the shape of the equivalent phase detector characteristic and the frequency detuning, and dependence on loop parameters. The new expression itself is also of theoretical interest, since it allows one to explicitly express the stationary phase error probability density function and probability current in terms of the mean first slip time. This sheds further light on the interconnections between the conventional modulo-2 pi approach and the renewal theory approach to the Fokker-Planck method. Extensions to nonperiodic equivalent phase detector characteristics are also considered.

Chie, C. M.↗
NASA NTRS2010

Exhaustive Versus Randomized Searchers for Nonlinear Optimization in 21st Century Computing: Solar Application

We present a simple multi-dimensional exhaustive search method to obtain, in a reasonable time, the optimal solution of a nonlinear programming problem. It is more relevant in the present day non-mainframe computing scenario where an estimated 95% computing resources remains unutilized and computing speed touches petaflops. While the processor speed is doubling every 18 months, the band width is doubling every 12 months, and the hard disk space is doubling every 9 months. A randomized search algorithm or, equivalently, an evolutionary search method is often used instead of an exhaustive search algorithm. The reason is that a randomized approach is usually polynomial-time, i.e., fast while an exhaustive search method is exponential-time i.e., slow. We discuss the increasing importance of exhaustive search in optimization with the steady increase of computing power for solving many real-world problems of reasonable size. We also discuss the computational error and complexity of the search algorithm focusing on the fact that no measuring device can usually measure a quantity with an accuracy greater than 0.005%. We stress the fact that the quality of solution of the exhaustive search - a deterministic method - is better than that of randomized search. In 21 st century computing environment, exhaustive search cannot be left aside as an untouchable and it is not always exponential. We also describe a possible application of these algorithms in improving the efficiency of solar cells - a real hot topic - in the current energy crisis. These algorithms could be excellent tools in the hands of experimentalists and could save not only large amount of time needed for experiments but also could validate the theory against experimental results fast.

Sen, Syamal K.↗
NASA NTRS1986

Evaluation of several modal methods for transient structural analysis

The convergence properties of three modal methods for solving structural transient response (STR) problems are examined by comparing the accuracy of the total number of modes used to represent the responses. The goal is to identify a method which involves as few degrees of freedom as possible. Two mode superposition methods, the mode displacement method (MDM) and the mode acceleration method (MAM), are fitted with equivalent expressions for damped response. An error norm is employed to compare the accuracies of the methods in calculating displacements, moments, and shear forces for a viscously-damped cantilevered beam experiencing several dynamic loading conditions and levels of damping. The MAM converges quicker and uses fewer dof, mainly because it has a pseudo-static response term which accounts for some of the flexibility of higher modes. A third method, which integrates the convolution integral iteratively over time, generates a higher order approximation to the STR with a reduced number of modes. It converges fastest among the three, but requires definition of an appropriate forcing function. Finally, the MAM and MDM models are applied to study the effects of the forcing frequency and the initial conditions.

Camarda, Charles J.↗
NASA NTRS1989

Effects of nonlinear aerodynamics and static aeroelasticity on mission performance calculations for a fighter aircraft

During conceptual design studies of advanced aircraft, the usual practice is to use linear theory to calculate the aerodynamic characteristics of candidate rigid (nonflexible) geometric external shapes. Recent developments and improvements in computational methods, especially computational fluid dynamics (CFD), provide significantly improved capability to generate detailed analysis data for the use of all disciplines involved in the evaluation of a proposed aircraft design. A multidisciplinary application of such analysis methods to calculate the effects of nonlinear aerodynamics and static aeroelasticity on the mission performance of a fighter aircraft concept is described. The aircraft configuration selected for study was defined in a previous study using linear aerodynamics and rigid geometry. The results from the previous study are used as a basis of comparison for the data generated herein. Aerodynamic characteristics are calculated using two different nonlinear theories, potential flow and rotational (Euler) flow. The aerodynamic calculations are performed in an iterative procedure with an equivalent plate structural analysis method to obtain lift and drag data for a flexible (nonrigid) aircraft. These static aeroelastic data are then used in calculating the combat and mission performance characteristics of the aircraft.

Giles, Gary L.↗
NASA NTRSDate not supplied

Reduction of Equivalent System Mass of a Trash Compaction Processing System with an Emphasis on Improved Thermal Efficiency

A device known as the Trash Compaction Processing System or TCPS has been under development at NASA as part of the Advanced Life Support and Logistics Reduction Program Waste Management element. The TCPS processes trash that includes a variety of components such as plastic pouches that contain wet food and drinks, used cloth towels and t-shirts, adhesive tapes, deodorant, and many other items. The TCPS uses heat and pressure to compact the waste composite into a sturdy and well-defined shape designed to fit in a storage area on a spacecraft. The TCPS removes water from the trash and renders it safe against microbial activity. The focus of this paper is on methods for reducing the Equivalent System Mass of a TCPS with an emphasis on increasing the thermal efficiency of the system.

Trash Compaction Processing System↗