Search NASA⌕ Search

SEARCH · Search NASA

Results for “MEASURE THEORY”

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 19 records

The validation by measurement theory of proposed object-oriented software metrics

Moving software development into the engineering arena requires controllability, and to control a process, it must be measurable. Measuring the process does no good if the product is not also measured, i.e., being the best at producing an inferior product does not define a quality process. Also, not every number extracted from software development is a valid measurement. A valid measurement only results when we are able to verify that the number is representative of the attribute that we wish to measure. Many proposed software metrics are used by practitioners without these metrics ever having been validated, leading to costly but often useless calculations. Several researchers have bemoaned the lack of scientific precision in much of the published software measurement work and have called for validation of software metrics by measurement theory. This dissertation applies measurement theory to validate fifty proposed object-oriented software metrics (Li and Henry, 1993; Chidamber and Kemerrer, 1994; Lorenz and Kidd, 1994).

Neal, Ralph D.↗

The Validation by Measurement Theory of Proposed Object-Oriented Software Metrics

Moving software development into the engineering arena requires controllability, and to control a process, it must be measurable. Measuring the process does no good if the product is not also measured, i.e., being the best at producing an inferior product does not define a quality process. Also, not every number extracted from software development is a valid measurement. A valid measurement only results when we are able to verify that the number is representative of the attribute that we wish to measure. Many proposed software metrics are used by practitioners without these metrics ever having been validated, leading to costly but often useless calculations. Several researchers have bemoaned the lack of scientific precision in much of the published software measurement work and have called for validation of software metrics by measurement theory. This dissertation applies measurement theory to validate fifty proposed object-oriented software metrics.

Neal, Ralph D.↗

The Validation by Measurement Theory of Proposed Object-Oriented Software Metrics

Moving software development into the engineering arena requires controllability, and to control a process, it must be measurable. Measuring the process does no good if the product is not also measured, i.e., being the best at producing an inferior product does not define a quality process. Also, not every number extracted from software development is a valid measurement. A valid measurement only results when we are able to verify that the number is representative of the attribute that we wish to measure. Many proposed software metrics are used by practitioners without these metrics ever having been validated, leading to costly but often useless calculations. Several researchers have bemoaned the lack of scientific precision in much of the published software measurement work and have called for validation of software metrics by measurement theory. This dissertation applies measurement theory to validate fifty proposed object-oriented software metrics.

Neal, Ralph D.↗

A Geometric Measure Theory Approach to Identify Complex Structural Features on Soft Matter Surfaces

The structural features that protrude above or below a soft matter interface are well-known to be related to interfacially mediated chemical reactivity and transport processes. It is a challenge to develop a robust algorithm for identifying these organized surface structures, as the morphology can be highly varied and they may exist on top of an interface containing significant interfacial roughness. A new algorithm that employs concepts from geometric measure theory, algebraic topology, and optimization is developed to identify candidate structures at a soft matter surface, and then, using a probabilistic approach, to rank their likelihood of being a complex structural feature. The algorithm is tested for a surfactant laden water/oil interface, where it is robust to identifying protrusions responsible for water transport against a set identified by visual inspection. To our knowledge, this is the first example of applying geometric measure theory to analyze the properties of a chemical/materials science system.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗

Measurement theory in local quantum physics

In this paper, we aim to establish foundations of measurement theory in local quantum physics. For this purpose, we discuss a representation theory of completely positive (CP) instruments on arbitrary von Neumann algebras. We introduce a condition called the normal extension property (NEP) and establish a one-to-one correspondence between CP instruments with the NEP and statistical equivalence classes of measuring processes. We show that every CP instrument on an atomic von Neumann algebra has the NEP, extending the well-known result for type I factors. Moreover, we show that every CP instrument on an injective von Neumann algebra is approximated by CP instruments with the NEP. The concept of posterior states is also discussed to show that the NEP is equivalent to the existence of a strongly measurable family of posterior states for every normal state. Two examples of CP instruments without the NEP are obtained from this result. It is thus concluded that in local quantum physics not every CP instrument represents a measuring process, but in most of physically relevant cases every CP instrument can be realized by a measuring process within arbitrary error limits, as every approximately finite dimensional von Neumann algebra on a separable Hilbert space is injective. To conclude the paper, the concept of local measurement in algebraic quantum field theory is examined in our framework. In the setting of the Doplicher-Haag-Roberts and Doplicher-Roberts theory describing local excitations, we show that an instrument on a local algebra can be extended to a local instrument on the global algebra if and only if it is a CP instrument with the NEP, provided that the split property holds for the net of local algebras.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗

Method for assessing coal-floor water-inrush risk based on the variable-weight model and unascertained measure theory

Water inrush from coal-seam floors greatly threatens mining safety in North China and is a complex process controlled by multiple factors. This study presents a mathematical assessment system for coal-floor water-inrush risk based on the variable-weight model (VWM) and unascertained measure theory (UMT). In contrast to the traditional constant-weight model (CWM), which assigns a fixed weight to each factor, the VWM varies with the factor-state value. The UMT employs the confidence principle, which is more effective in ordered partition problems than the maximum membership principle adopted in the former mathematical theory. The method is applied to the Datang Tashan Coal Mine in North China. First, eight main controlling factors are selected to construct the comprehensive evaluation index system. Subsequently, an incentive-penalty variable-weight model is built to calculate the variable weights of each factor. Then, the VWM-UMT model is established using the quantitative risk-grade divide of each factor according to the UMT. On this basis, the risk of coal-floor water inrush in Tashan Mine No. 8 is divided into five grades. For comparison, the CWM is also adopted for the risk assessment, and a differences distribution map is obtained between the two methods. Finally, the verification of water-inrush points indicates that the VWM-UMT model is powerful and more feasible and reasonable. The model has great potential and practical significance in future engineering applications.

01 COAL, LIGNITE, AND PEAT↗

The Contradiction Between the Measurement Theory of Quantum Mechanics and the Theory that the Velocity of Any Particle Can Not be Larger than the Velocity of Light

By the measurement theory of quantum mechanics and the method of Fourier transform,we proved that the wave function psi(x,y,z,t)= (8/((2(pi)(2L(exp (1/2)))(exp 3))(Phi(L,t,x)Phi(L,t,y)Phi(L,t,z)). According to the theory that the velocity of any particle can not be larger than the velocity of light and the Born interpretation, when absolute value of delta greater than (ct+ L),Phi(L,t,delta) = 0. But according to the calculation, we proved that for some delta, even if absolute value of delta is greater than (ct+L), Phi(L,t,delta) is not equal to 0.

Shen, Y.↗

Bias and spread in extreme value theory measurements of probability of error

Extreme value theory is examined to explain the cause of the bias and spread in performance of communications systems characterized by low bit rates and high data reliability requirements, for cases in which underlying noise is Gaussian or perturbed Gaussian. Experimental verification is presented and procedures that minimize these effects are suggested. Even under these conditions, however, extreme value theory test results are not particularly more significant than bit error rate tests.

Smith, J. G.↗

Parameter estimation and prediction for groundwater contamination based on measure theory

The problem of groundwater contamination in an aquifer is one with many uncertainties. Properly quantifying these uncertainties is es- sential in order to make reliable probabilistic based predictions and decisions regarding remediation strategies. In this work, a measure-theoretic frame- work is employed to quantify uncertainties in a simpli ed groundwater con- tamination transport model. Given uncertain data from observation wells, the stochastic inverse problem is solved numerically to obtain a probability measure on the space of unknown model parameters characterizing ground- water ow and contaminant transport in an aquifer, as well as unknown model boundary or source terms such as the contaminant source release into the environment. This probability measure is used to make predictions of future contaminant concentrations and to analyze possible remediation techniques. The ability to identify regions of small but nonzero probability using this method is illustrated.

54 ENVIRONMENTAL SCIENCES↗

The Retrieval of Ozone Profiles from Limb Scatter Measurements: Theory

An algorithm is presented for retrieving vertical profiles of O3 concentration using measurements of UV and visible light scattered from the limb of the atmosphere. The UV measurements provide information about the O3 profile in the upper and middle stratosphere, while only visible wavelengths are capable of probing the lower stratospheric O3 profile. Sensitivity to the underlying scene reflectance is greatly reduced by normalizing measurements at a tangent height high in the atmosphere (approximately 55 km), and relating measurements taken at lower altitudes to this normalization point. To decrease the effect of scattering by thin aerosols/clouds that may be present in the field of view, these normalized measurements are then combined by pairing wavelengths with strong and weak O3 absorption. We conclude that limb scatter can be used to measure O3 between 15 km and 50 km with 2-3 km vertical resolution and better than 10% accuracy.

Flittner, D. E.↗

Transverse emittance growth due to rf noise in crab cavities: Theory, measurements, cure, and high luminosity LHC estimates

The High-Luminosity LHC (HL-LHC) upgrade with planned operation from 2029 onward has a goal of achieving a tenfold increase in the integrated number of recorded collisions thanks to a doubling of the intensity per bunch ( 2.2 × 10 11 protons) and a reduction of β * (the β value in the two high luminosity detectors, namely ATLAS and CMS) to 15 cm. Such an increase in recorded collisions would significantly expedite new discoveries and exploration. Crab cavities are an important component of the HL-LHC upgrade and will contribute strongly to achieving an increase in the number of recorded collisions. However, noise injected through the crab cavity radio frequency (rf) system could cause significant transverse emittance growth and limit luminosity lifetime. We presented a theoretical formalism relating transverse emittance growth to rf noise in an earlier work. In this follow-up paper, we summarize measurements in the super-proton synchrotron (SPS) at CERN that validate the theory, we present estimates of the emittance growth rates using state-of-the-art rf and low-level rf (LLRF) technologies, and we set the rf noise specifications to achieve acceptable performance. A novel dedicated feedback system acting through the crab cavities to mitigate emittance growth will be required. In this work, we develop a theoretical formalism to evaluate the performance of such a feedback system in any collider, identify limiting components, present simulation results to validate these studies, and derive key design parameters for an HL-LHC implementation of such a feedback system. Published by the American Physical Society 2024

43 PARTICLE ACCELERATORS↗

Solar oscillations instrumentation and measurement theory

Solar-oscillation instruments are reviewed. Common characteristics include detecting solar radial velocities on Fraunhofer lines with a 2-point measuring technique, high spectral resolution and stability, etc. The choice of the spectral line for getting a high signal to solar noise ratio is addressed. Velocity imaging of solar oscillations modes is detailed, including spatial sampling and span, highest observable degree. Applications of these different analyses is applied to existing or future helioseismology instruments.

Appourchaux, T.↗

Theory, measurements, and models of the upper atmosphere and ionosphere of Saturn

The structure and composition of the thermosphere, exosphere, and ionosphere of saturn have been determined from observations at optical and radio wavelengths mainly by instruments aboard Voyager spacecraft. Techniques for determining the vertical profiles of temperature and density and the atmospheric vertical mixing in the upper Saturn atmosphere are discussed. Radio occultation measurements and theoretical models of Saturn's ionosphere are reviewed, and attempts to interpret the measurements using the models are discussed. Finally, mechanisms of thermospheric heating are examined.

Atreya, S. K.↗