SEARCH · Search NASA

Results for “Domain Reduction”

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.

SourceResearch connectionFrom yearThrough year

Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.

At least 235 records · Page 13

All sources NASA NTRS DOE OSTI

NASA NTRSDate not supplied

Verifying PLC Programs via Monitors: Extending the Integration of FRET and PLCverif

Verification of Programmable Logic Controller (PLC) programs requires reasoning about propositions qualified in terms of time. CERN’s PLCverif, an open-source tool for the analysis of safety-critical PLC systems, uses Linear Temporal Logic (LTL) for the specification of properties. Until now, PLCverif depended on third-party tools that accept LTL specifications to perform verification. However, our experience with industrial PLC programs shows that, to overcome analysis limitations, a wide range of techniques are needed to successfully verify complex properties. In this paper, we extend PLCverif to enable PLC program verification of pure-past LTL (PLTL) safety properties with assertion-based verification tools. To this end, we take an algorithm from the runtime-monitoring domain, apply it to bounded model checking of PLC programs, and implement it in PLCverif. We extend the integration of NASA’s Formal Requirements Elicitation Tool (FRET) into PLCverif to use PLTL properties generated with FRET. In addition, we leverage the program structure induced by the PLC scan-cycle for a state-space reduction. Finally, we expose the algorithm to a real-world case study of critical systems at CERN.

Formal verification↗

NASA NTRS1989

Laser transit anemometer software development program

Algorithms were developed for the extraction of two components of mean velocity, standard deviation, and the associated correlation coefficient from laser transit anemometry (LTA) data ensembles. The solution method is based on an assumed two-dimensional Gaussian probability density function (PDF) model of the flow field under investigation. The procedure consists of transforming the data ensembles from the data acquisition domain (consisting of time and angle information) to the velocity space domain (consisting of velocity component information). The mean velocity results are obtained from the data ensemble centroid. Through a least squares fitting of the transformed data to an ellipse representing the intersection of a plane with the PDF, the standard deviations and correlation coefficient are obtained. A data set simulation method is presented to test the data reduction process. Results of using the simulation system with a limited test matrix of input values is also given.

Abbiss, John B.↗

DOE OSTI2025

Brillouin Sensing with PCA, and PCA-Based Neural Networks for Efficient Temperature Monitoring

This work explores peak estimation techniques in Brillouin Optical Time Domain Analysis (BOTDA), emphasizing both accuracy and efficiency. Euclidean distance measurement method is applied to principal components derived from Brillouin Gain Spectrum data. It offers a major speed advantage being 180 170 times faster than traditional curve fitting methods such as Lorentzian curve fitting, while maintaining similar accuracy. Additionally, a PCA- based neural network model shows significant reduction of peak estimation time compared to Lorentzian fitting. Results show Brillouin frequency shift errors lie under 0.75 MHz in both Euclidean distance-based and neural network-based methods, both of which utilize PCA components. For large data sets and long length fibers, PCA- assisted neural network for peak estimation would be an efficient solution.

Distributed optical fiber sensing↗

DOE OSTI2025

Using Eye Tracking to Elucidate the Mechanisms Underlying Stimulation-Enhanced Visual Target Detection

Transcranial direct current stimulation (tDCS) is a noninvasive form of brain stimulation that involves passing a weak electrical current between electrodes on the scalp to modulate underlying neural tissue. TDCS has been shown to modulate cognition in a variety of domains, including memory, attention, and visual processing. Prior work from our laboratory has shown positive effects of tDCS on learning to detect target objects hidden in complex naturalistic visual scenes and learn rules for categorizing images, though the mechanism for these benefits remains unknown. One possibility is that tDCS optimizes visual search by modulating visual attention or via the reduction in search errors. One method of quantifying visual attention is to use eye tracking to record search patterns to determine if and how visual search is adjusted under verum stimulation conditions. Eye tracking data allows classification of errors into error types, including sampling errors (failing to look in the relevant region), recognition errors (looking at the critical portion of a scene, but failing to recognize it as such as evidenced by visual fixation), and decision-making errors (fixating on the relevant portion of a scene, but making the wrong determination). Our results indicate that the benefit tDCS confers on visual search for targets stems from the reduction in decision-making errors when targets are present (Cohen’s d = 0.86). Also reported is a replication of previous findings showing a tDCS-dependent improvement in learning this task, learning score (Cohen’s d = 0.88); d’ (Cohen’s d = 1.00). This provides support for moving tDCS into the application space by pairing it with analysts who are concerned with the type of search error that is corrected via stimulation.

attention↗

NASA NTRS1984

Navier-Stokes solutions for two-dimensional subsonic base flow

Methods for determining the effects of mass injection from the trailing edge of a bluff body at low speeds and in transonic flow were numerically studied along with an unmodified blunt-based body to gain insight into the effects of vortex shedding on the base drag. The methodology used to obtain finite-difference solutions to the Navier-Stokes equations for subsonic compressible two-dimensional near-wake flows is presented. The effectiveness of an introduced outflow boundary condition which minimizes reflections back into the computational domain was demonstrated with the solution of a model vortex problem. Calculations of the near-wake flow past a circular cylinder were in excellent agreement with experimental data. Laminar-flow solutions for a blunt-based model with and without a base cavity and with mass injection into the wake agreed qualitatively with experimental observations. The drag reduction capability provided by such base modifications was demonstrated.

Rudy, D. H.↗

NASA NTRS2001

Input Decimated Ensembles

Using an ensemble of classifiers instead of a single classifier has been shown to improve generalization performance in many pattern recognition problems. However, the extent of such improvement depends greatly on the amount of correlation among the errors of the base classifiers. Therefore, reducing those correlations while keeping the classifiers' performance levels high is an important area of research. In this article, we explore input decimation (ID), a method which selects feature subsets for their ability to discriminate among the classes and uses them to decouple the base classifiers. We provide a summary of the theoretical benefits of correlation reduction, along with results of our method on two underwater sonar data sets, three benchmarks from the Probenl/UCI repositories, and two synthetic data sets. The results indicate that input decimated ensembles (IDEs) outperform ensembles whose base classifiers use all the input features; randomly selected subsets of features; and features created using principal components analysis, on a wide range of domains.

Tumer, Kagan↗

NASA NTRS2002

New Insights on Hydro-Climate Feedback Processes over the Tropical Ocean from TRMM

In this paper, we study hydro-climate feedback processes over the tropical oceans, by examining the relationships among large scale circulation and Tropical Rainfall Measuring Mission Microwave Imager-Sea Surface Temperature (TMI-SST), and a range of TRMM rain products including rain rate, cloud liquid water, precipitable water, cloud types and areal coverage, and precipitation efficiency. Results show that for a warm event (1998), the 28C threshold of convective precipitation is quite well defined over the tropical oceans. However, for a cold event (1999), the SST threshold is less well defined, especially over the central and eastern Pacific cold tongue, where stratiform rain occurs at much lower than 28 C. Precipitation rates and cloud liquid water are found to be more closely related to the large scale vertical motion than to the underlying SST. While total columnar water vapor is more strongly dependent on SST. For a large domain, over the eastern Pacific, we find that the areal extent of the cloudy region tends to shrink as the SST increases. Examination of the relationship between cloud liquid water and rain rate suggests that the residence time of cloud liquid water tends to be shorter, associated with higher precipitation efficiency in a warmer climate. It is hypothesized that the reduction in cloudy area may be influenced both by the shift in large scale cloud patterns in response to changes in large scale forcings, and possible increase in the cloud liquid water conversion to rain water in a warmer environment. Results of numerical experiments with the Goddard cloud resolving model to test the hypothesis will be discussed.

Lau, William K. M.↗

NASA NTRS2005

Three-Dimensional Aeroelastic and Aerothermoelastic Behavior in Hypersonic Flow

The aeroelastic and aerothermoelastic behavior of three-dimensional configurations in hypersonic flow regime are studied. The aeroelastic behavior of a low aspect ratio wing, representative of a fin or control surface on a generic hypersonic vehicle, is examined using third order piston theory, Euler and Navier-Stokes aerodynamics. The sensitivity of the aeroelastic behavior generated using Euler and Navier-Stokes aerodynamics to parameters governing temporal accuracy is also examined. Also, a refined aerothermoelastic model, which incorporates the heat transfer between the fluid and structure using CFD generated aerodynamic heating, is used to examine the aerothermoelastic behavior of the low aspect ratio wing in the hypersonic regime. Finally, the hypersonic aeroelastic behavior of a generic hypersonic vehicle with a lifting-body type fuselage and canted fins is studied using piston theory and Euler aerodynamics for the range of 2.5 less than or equal to M less than or equal to 28, at altitudes ranging from 10,000 feet to 80,000 feet. This analysis includes a study on optimal mesh selection for use with Euler aerodynamics. In addition to the aeroelastic and aerothermoelastic results presented, three time domain flutter identification techniques are compared, namely the moving block approach, the least squares curve fitting method, and a system identification technique using an Auto-Regressive model of the aeroelastic system. In general, the three methods agree well. The system identification technique, however, provided quick damping and frequency estimations with minimal response record length, and therefore o ers significant reductions in computational cost. In the present case, the computational cost was reduced by 75%. The aeroelastic and aerothermoelastic results presented illustrate the applicability of the CFL3D code for the hypersonic flight regime.

McNamara, Jack J.↗

NASA NTRS1986

Coherent lidar signal fluctuation reduction by means of frequency diversity technique

The atmospheric return measured by a coherent lidar is typically characterized by rapid and deep fluctuations in signal strength. These fluctuations result from the interference of the fields backscattered to the lidar from randomly located aerosol particles which move relative to the lidar pulse. In many applications, it is necessary to determine the average value of the lidar signal intensity at some range. A new method utilizes frequency diversity initially suggested by Goldstein and subsequently studied in the microwave radar domain by others. It is expected that the application of the frequency diversity method in the coherent lidar domain will eventually provide greater efficiency and speed in the return signal averaging needed to obtain accurate intensity estimates. The frequency diversity method recognizes that the transmitted lidar pulse is very long compared to a wavelength and consequently a given phase, theta sub i, is repeated many times within the pulse. In order to test this concept, a fairly simple laboratory experiment was designed which simulates scattering of a lidar pulse from atmospheric aerosol. The testing of the frequency diversity method is discussed.

Schotland, R. M.↗

DOE OSTI2025

LuGo: An enhanced quantum phase estimation implementation

Quantum Phase Estimation (QPE) is a cardinal algorithm in quantum computing that plays a crucial role in various applications, including cryptography, molecular simulation, and solving systems of linear equations. However, the standard implementation of QPE faces challenges related to time complexity and circuit depth, which limit its practicality for large-scale computations. We introduce LuGo, a novel framework designed to enhance the performance of QPE by reducing circuit duplication, as well as using parallelization techniques to achieve faster generation of the QPE circuit and gate reduction. We validate the effectiveness of our framework by generating quantum linear solver circuits, which require both QPE and inverse QPE, to solve linear systems of equations. LuGo achieves significant improvements in both computational efficiency and hardware requirements without compromising on accuracy. Compared to a standard QPE implementation, LuGo reduces time consumption to generate a circuit that solves a 2 6 × 2 6 system matrix by a factor of 50.68 and over 31× reduction of quantum gates and circuit depth, with no fidelity loss on an ideal quantum simulator. Furthermore, we demonstrated the versatility and scalability of LuGo enabled HHL algorithm by simulating a canonical Hele-Shaw fluid problem using a quantum simulator. With these advantages, LuGo paves the way for more efficient implementations of QPE, enabling broader applications across several quantum computing domains.

Quantum algorithm↗

DOE OSTI2024

CI-MOR Final Report: Analysis and Validation of Critical Infrastructure Models using Model Order Reduction

This report summarizes the research and capabilities developed as part of the project “Analysis and Validation of Critical Infrastructure Models using Model Order Reduction” (CI-MOR) LDRD project. CI-MOR research enables the solution of large, complex optimization models that naturally arise in national security challenges involving critical infrastructures. Specifically, CI-MOR researchers developed methods to (1) rigorously approximate complex, nonlinear optimization formulations, (2) identify alternative near-optimal solutions, (3) accelerate optimization workflows used for complex applications, and (4) rigorously integrate domain knowledge in stochastic-process models. This report provides an overview of the research done in CI-MOR, and we describe application exemplars used to illustrate CI-MOR capabilities. Furthermore, we describe the software developed by CI-MOR that researchers can leverage to analyze new applications.

97 MATHEMATICS AND COMPUTING↗

NASA NTRS1976

Trends in modern system theory

The topics considered are related to linear control system design, adaptive control, failure detection, control under failure, system reliability, and large-scale systems and decentralized control. It is pointed out that the design of a linear feedback control system which regulates a process about a desirable set point or steady-state condition in the presence of disturbances is a very important problem. The linearized dynamics of the process are used for design purposes. The typical linear-quadratic design involving the solution of the optimal control problem of a linear time-invariant system with respect to a quadratic performance criterion is considered along with gain reduction theorems and the multivariable phase margin theorem. The stumbling block in many adaptive design methodologies is associated with the amount of real time computation which is necessary. Attention is also given to the desperate need to develop good theories for large-scale systems, the beginning of a microprocessor revolution, the translation of the Wiener-Hopf theory into the time domain, and advances made in dynamic team theory, dynamic stochastic games, and finite memory stochastic control.

Athans, M.↗

NASA NTRS1981

Spherical earth gravity and magnetic anomaly analysis by equivalent point source inversion

To facilitate geologic interpretation of satellite elevation potential field data, analysis techniques are developed and verified in the spherical domain that are commensurate with conventional flat earth methods of potential field interpretation. A powerful approach to the spherical earth problem relates potential field anomalies to a distribution of equivalent point sources by least squares matrix inversion. Linear transformations of the equivalent source field lead to corresponding geoidal anomalies, pseudo-anomalies, vector anomaly components, spatial derivatives, continuations, and differential magnetic pole reductions. A number of examples using 1 deg-averaged surface free-air gravity anomalies of POGO satellite magnetometer data for the United States, Mexico, and Central America illustrate the capabilities of the method.

Von Frese, R. R. B.↗

NASA NTRS1986

A single chip VLSI Reed-Solomon decoder

A new VLSI design of a pipeline Reed-Solomon decoder is presented. The transform decoding technique used in a previous design is replaced by a time domain algorithm. A new architecture that implements such an algorithm permits efficient pipeline processing with minimum circuitry. A systolic array is also developed to perform erasure corrections in the new design. A modified form of Euclid's algorithm is implemented by a new architecture that maintains the throughput rate with less circuitry. Such improvements result in both enhanced capability and a significant reduction in silicon area, therefore making it possible to build a pipeline (31,15)RS decoder on a single VLSI chip.

Shao, H. M.↗

NASA NTRS1983

Efficient solution of the Euler and Navier-Stokes equations with a vectorized multiple-grid algorithm

A multiple-grid algorithm for use in efficiently obtaining steady solutions to the Euler and Navier-Stokes equations is presented. The convergence of the explicit MacCormack algorithm on a fine grid is accelerated by propagating transients from the domain using a sequence of successively coarser grids. Both the fine and coarse grid schemes are readily vectorizable. The combination of multiple-gridding and vectorization results in substantially reduced computational times for the numerical solution of a wide range of flow problems. Results are presented for subsonic, transonic, and supersonic inviscid flows and for subsonic attached and separated laminar viscous flows. Work reduction factors over a scalar, single-grid algorithm range as high as 76.8.

Navier Stokes simulation↗

NASA NTRS1983

Efficient solution of the Euler and Navier-Stokes equations with a vectorized multiple-grid algorithm

Chima, R. V.↗

NASA NTRS2003

Thermal Analysis of Acicular Shaped Magnetite

We are in the process of developing a database on the thermal properties of well-characterized Martian analog materials in support of future Mars surface missions. The database contains the thermal behaviors of these analog materials under reduced and Earth ambient pressures. Magnetite in planetary materials has received considerable attention in recent years since the identification of fine grain single-domain magnetite in Martian meteorite ALH84001 and their possible link to past life on Mars (i.e., possible biominerals of magnetotactic bacteria). Because of its possible importance to Mars science, we report here the thermal properties of magnetite particles with acicular morphology, i.e., needle-shaped magnetite. Acicular shaped magnetite can be commercially produced from goethite (FeOOH) as the starting material via a H2 reduction process. However, instead of using this process or procedure, we report here on the thermal characterization of acicular magnetite formed under reducing conditions from well-characterized needle-shaped goethite at low temperature in controlled CO-CO2 1-bar atmosphere gas mixing furnaces.

Lauer, H. V., Jr.↗

NASA NTRS1978

Instrumental variables algorithm for modal parameter identification in flutter testing

The paper is concerned with the task of estimating modal parameters from system response measurement in aircraft flutter testing. A frequency-domain derivation of an instrumental-variables algorithm is presented for a linear time-invariant dynamic system of order n. Basically, this algorithm fits a set of poles and zeros to the measured transfer function. An illustrative example is provided regarding the application of the algorithm to aeroelasticity testing. It is shown that the algorithm can be implemented for on-line data reduction with a microcomputer-based analysis system. By using instrumental variables the sensitivity of the modal parameter estimates to noise in the system-response measurements is reduced greatly. The algorithm is expected to be a powerful and valuable tool for on-line estimation of modal parameters in flutter testing and should be useful in control system and structural dynamics tests.

Johnson, W.↗