Extreme copositive quadratic forms.
Extreme points of copositive quadratic forms constituting closed convex cone in Euclidean space
SEARCH · Search NASA
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.
Extreme points of copositive quadratic forms constituting closed convex cone in Euclidean space
The fundamental mechanism arising during the bursting of a bubble at an air-liquid interface is described. A single bubble was followed from an arbitrary depth in the liquid, up to the creation and motion of the film and jet drops. Several phenomena were involved and their relative order of magnitude was compared in order to point out the dimensionless parameters which govern each step of the motion. High-speed cinematography is employed. The characteristic bubble radius which separates the creation of jet drops from cap bursting without jet drops is expressed mathematically. The corresponding numerical value for water is 3 mm and agrees with experimental observations.
The authors discuss recently developed mathematical fundamentals concerning the calculation of noncontacting gas lubricated face seals. They carried out extensive experiments using three different designs at pressures up to 10 MPa and sliding velocities up to 110 m/s. A comparison between the experimental results and the calculations indicates that a stable operation without wear can be ensured in all cases, provided that the materials and geometrical parameters of the seal have been properly chosen.
In many biological and physical systems, feedback mechanisms depend on a set of thresholds associated with the state variables. Each feedback has a characteristic time scale. It is suggested that delay-difference equations for Boolean-valued variables are an appropriate mathematical framework for such situations: the feedback thresholds result in the discrete, on-off character of the variables, and the interaction time scales of the feedbacks are expressed as delays. The initial-value problem for Boolean delay equations (B-Delta-Es) is formulated, and shown to have unique solutions for all times. Examples of periodic and aperiodic solutions are given. Aperiodic solutions have increasing complexity which depends on time t roughly as t to the l-1 power, l being the number of delays. Stability of solutions is defined, and some examples of stability analysis are given; additional stability questions are raised. The present formulation of (B-Delta-Es) is compared with related work and generalizations are suggested.
Sigma is a header-only C++ library for uncertainty propagation throughout mathematical operations on floating point values.
A numerical analysis of the pressure distribution of a lubricant in contact with a rough surface was conducted. The magnitude of the pressures was determined by their root mean square value for the contact of two dimensional cylinders. The pressure was found to vary in the following manner: (1) the location in the contact, (2) the spectrum or frequency content of the surface roughness, (3) the mean plateau film thickness, and (4) the root mean square value of the surface roughness. Mathematical models are developed to show the relationships of the parameters.
Report describes performance measurements on elements of low-concentrationratio solar arrays (LCRSA's) employing silicon and gallium arsenide photovoltaic cells. Measurements intended to verify predictions of performance based on mathematical models. Measured and predicted values found to agree closely for both normal and off-normal pointing of array toward Sun.
Aerodynamic bifurcation is defined as the replacement of an unstable equilibrium flow by a new stable equilibrium flow at a critical value of a parameter. A mathematical model of the aerodynamic contribution to the aircraft's equations of motion is amended to accommodate aerodynamic bifurcations. Important bifurcations such as, the onset of large-scale vortex-shedding are defined. The amended mathematical model is capable of incorporating various forms of aerodynamic responses, including those associated with dynamic stall of airfoils.
Aerodynamic bifurcation is defined as the replacement of an unstable equilibrium flow by a new stable equilibrium flow at a critical value of a parameter. A mathematical model of the aerodynamic contribution to the aircraft's equations of motion is amended to accommodate aerodynamic bifurcations. Important bifurcations such as, the onset of large-scale vortex shedding are defined. The amended mathematical model is capable of incorporating various forms of aerodynamic responses, including those associated with dynamic stall of airfoils.
Four-D Global Reference Atmosphere computer program (GRAM) developed from empirical mathematical model of atmosphere generating values for pressure, density, temperature, and winds from surface level to orbital altitudes. Generates altitude profiles of parameters of atmosphere along any simulated trajectory through atmosphere. Developed from design applications in Space Shuttle program. Other potential applications include studies of global circulation and diffusion and generation of profiles for comparison with results of other atmospheric-measurement techniques such as satellite-measured temperature profiles and wind profiles from infrasonic measurements. Written in STANDARD FORTRAN 77.
Modifications to the nucleation apparatus suggested by our first microgravity flight campaign are complete. These included a complete 'repackaging' of the equipment into three racks along with an improved vapor spout shutter mechanism and additional thermocouples for gas temperature measurements. The 'repackaged' apparatus was used in two KC-135 campaigns: one during the week of June 3, 1991 consisting of two flights with Mg and two with Zn, and another series consisting of three flights with Zn during the week of September 23, 1991. Our effort then was focused on the analysis of these data, including further development of the mathematical models to generate the values of temperature and supersaturation at the observed points of nucleation. The efforts to apply Hale's Scaled Nucleation Theory to our experimental data have met with only limited success, most likely due to still inadequate temperature field determination. Work on the development of a preliminary particle collector system designed to capture particles from the region of nucleation and condensation, as well as from other parts of the chamber, are discussed.
GRCop-84 (Cu-8 at.% Cr-4 at.% Nb) was developed at the NASA Glenn Research Center for use in regeneratively cooled rocket engines. This alloy possesses an excellent combination of conductivity, thermal expansion, strength, creep resistance, ductility, and low-cycle fatigue (LCF) life. In comparison to the currently used alloy, NARloy-Z (Cu-3 wt % Ag-0.5 wt % Zr), GRCop-84's significantly better properties give it the potential for significant gains in engine performance and reliability. For GRCop-84 to be safely used in a rocket engine, it is critical to develop a detailed data base of the important thermophysical and mechanical properties. Work has focused on five major properties: thermal conductivity, thermal expansion, tensile strength, creep resistance, and LCF life. The analysis went beyond simply measuring the data and reporting averages. A detailed statistical analysis was conducted that allowed regression of the data over the entire temperature range tested and establishment of design minimums. The design values were expressed as simple mathematical formulas that are highly amenable to use in computer codes such as in finite element analysis and related computer modeling work.
We recently described a protocol for computing the potential energy in heterotic M-theory for the dilaton, complex structure and Kähler moduli. This included the leading order non-perturbative contributions to the complex structure, gaugino condensation and worldsheet instantons assuming a hidden sector that contains an anomalous U(1) structure group embedded in E8. In this paper, we elucidate, in detail, the mathematical and computational methods required to utilize this protocol. These methods are then applied to a realistic heterotic M-theory model, the B – L MSSM, whose observable sector is consistent with all particle physics requirements. Within this context, it is shown that the dilaton and universal moduli can be completely stabilized at values compatible with every phenomenological and mathematical constraint — as well as with ΛCDM cosmology. We also show that the heterotic M-theory vacua are consistent with all well-supported Swampland conjectures based on considerations of string theory and quantum gravity, and we discuss the implications of dark energy theorems for compactified theories.
The concept of the active state model (ASM) is an architecture for the development of advanced integrated fault-detection-and-isolation (FDI) systems for robotic land vehicles, pilotless aircraft, exploratory spacecraft, or other complex engineering systems that will be capable of autonomous operation. An FDI system based on the ASM concept would not only provide traditional diagnostic capabilities, but also integrate the FDI system under a unified framework and provide mechanism for sharing of information between FDI subsystems to fully assess the overall health of the system. The ASM concept begins with definitions borrowed from psychology, wherein a system is regarded as active when it possesses self-image, self-awareness, and an ability to make decisions itself, such that it is able to perform purposeful motions and other transitions with some degree of autonomy from the environment. For an engineering system, self-image would manifest itself as the ability to determine nominal values of sensor data by use of a mathematical model of itself, and selfawareness would manifest itself as the ability to relate sensor data to their nominal values. The ASM for such a system may start with the closed-loop control dynamics that describe the evolution of state variables. As soon as this model was supplemented with nominal values of sensor data, it would possess self-image. The ability to process the current sensor data and compare them with the nominal values would represent self-awareness. On the basis of self-image and self-awareness, the ASM provides the capability for self-identification, detection of abnormalities, and self-diagnosis.
In nuclear power plants (NPPs), anomalies arising from sensors or human errors (HEs) can undermine the performance and reliability of plant operations. Anomaly detection models can be employed to detect sensor errors and HEs. Additionally, physics-informed machine learning models can utilize the known physics of the system, as described by mathematical equations, to ensure that sensor values are consistent with physical laws. Hence, we propose SPIDARman: System-level Physics-Informed Detection of Anomalies in Reactor Collected Data Considering Human Errors, a holistic physics-informed anomaly detection approach based on generative adversarial networks (GANs) to detect anomalies in both automatically collected sensor data and manually collected surveillance data. Here we test our approach on data collected from a flow loop testbed, showcasing its potential to detect anomalies. Results demonstrate that the proposed model performs better than the baseline GAN-based models in detecting sensor and surveillance anomalies, suggesting the potential of physics-informed anomaly detection GAN models in NPPs.
The numerical integration of expressions containing strong singularities or strong near-singularities has long been a challenging problem in the electromagnetics community. Much attention has been paid to this problem, as strong $1/R^{{2}}$ singularities routinely appear when implementing electromagnetic simulation techniques like the method of moments (MoM). To date, several techniques, from singularity extraction to singularity cancellation (SC), have been employed to deal with problems that require the evaluation of 2-D strongly singular integrals. However, no single technique has been proposed that can deal with both strong singularities and strong near-singularities in a fully numerical manner for arbitrary 2-D domains. Moreover, it has been claimed that the Helmholtz-type strongly singular integral found in the MoM is convergent in a principal value sense, but this convergence value has yet to be proven mathematically. In this work, we will conduct the convergence proof and introduce a “polar scaling” change of variables method that may be used to evaluate Helmholtz integrals with both strong and weak singularities/near-singularities. The technique is fully numerical and can in principle be applied to any planar or curved polygon and any nonsingular basis function. We will also provide numerical results showing useful convergence behavior for integrals involving both exact and near-singularities.
CONCLUSIONS: DVA may be useful for assessing the functional consequences of an impaired gaze stabilization mechanism or for testing the effectiveness of a rehabilitation paradigm. Because target distance influences the relative contributions of canal and otolith inputs, the ability to measure DVA at near and far viewing distances may also lead to tests that will independently assess canal and otolith function. OBJECTIVE: To present and test a methodology that uses dynamic visual acuity (DVA) to assess the efficacy of compensatory gaze mechanisms during a functionally relevant activity that differentially measures canal and otolith function. MATERIAL AND METHODS: The effect of treadmill walking at a velocity of 1.79 m/s on subjects' visual acuity was assessed at each of two viewing distances. A custom-written threshold determination program was used to display Landolt C optotypes on a laptop computer screen during a "far" (4 m) target condition and on a micro-display for a "near" (50 cm) target condition. The walking acuity scores for each target distance were normalized by subtracting a corresponding acuity measure obtained while standing still on the treadmill belt. RESULTS: As predicted by subjective reports of relative target motion, the decrease in visual acuity was significantly greater (p < 0.00001) for the near compared to the far condition.
Optical sensors aboard Earth orbiting satellites such as the next generation Visible/Infrared Imager/Radiometer Suite (VIIRS) assume that the sensors radiometric response in the Reflective Solar Bands (RSB) is described by a quadratic polynomial, in relating the aperture spectral radiance to the sensor Digital Number (DN) readout. For VIIRS Flight Unit 1, the coefficients are to be determined before launch by an attenuation method, although the linear coefficient will be further determined on-orbit through observing the Solar Diffuser. In determining the quadratic polynomial coefficients by the attenuation method, a Maximum Likelihood approach is applied in carrying out the least-squares procedure. Crucial to the Maximum Likelihood least-squares procedure is the computation of the weight. The weight not only has a contribution from the noise of the sensor s digital count, with an important contribution from digitization error, but also is affected heavily by the mathematical expression used to predict the value of the dependent variable, because both the independent and the dependent variables contain random noise. In addition, model errors have a major impact on the uncertainties of the coefficients. The Maximum Likelihood approach demonstrates the inadequacy of the attenuation method model with a quadratic polynomial for the retrieved spectral radiance. We show that using the inadequate model dramatically increases the uncertainties of the coefficients. We compute the coefficient values and their uncertainties, considering both measurement and model errors.