Search NASA⌕ Search

SEARCH · Search NASA

Results for “satisfiability problems”

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 811 records · Page 45
All sourcesNASA NTRSDOE OSTI
NASA NTRS1985

Storm severity detection (RF)

Atmospheric electrical emissions occurring in association with Hurricane Alicia were observed by two crossed baseline phase linear interferometers. The sensors were located in San Antonio, Texas, and at Marshall Space Flight Center (MSFC), Huntsville, Alabama. An analysis of the data has indicated that the direction finding (DF) performance of the San Antonio site was extremely good while the DF performance at the MSFC site evidenced erratic behavior. A check of the data acquisition hardware revealed an intermitted problem in one of the radio receiver channels. Since the system has experienced several lightning strikes during the early spring of 1984, it was necessary to ship the entire rack of equipment back to SwRI for refurbishment. Analysis of the DF data from the interferometer site at San Antonio is being done. A limited subset of the MSFC data acquired during Hurricane Alicia has been found to be valid. These were data which satisfied the phase linearity criteria. Approximately 2,000 location estimates have been produced on the valid data. The results of the DF analysis and the location data are being correlated with the McIDAS data base at Marshall Space Flight Center, and with the radar summary data provided by the Hurricane Research Division using the National weather Service radar Facility at Galveston, Texas.

Johnson, R. L.↗
NASA NTRS1993

Numerical simulation using vorticity-vector potential formulation

An accurate and efficient computational method is needed for three-dimensional incompressible viscous flows in engineering applications. On solving the turbulent shear flows directly or using the subgrid scale model, it is indispensable to resolve the small scale fluid motions as well as the large scale motions. From this point of view, the pseudo-spectral method is used so far as the computational method. However, the finite difference or the finite element methods are widely applied for computing the flow with practical importance since these methods are easily applied to the flows with complex geometric configurations. However, there exist several problems in applying the finite difference method to direct and large eddy simulations. Accuracy is one of most important problems. This point was already addressed by the present author on the direct simulations on the instability of the plane Poiseuille flow and also on the transition to turbulence. In order to obtain high efficiency, the multi-grid Poisson solver is combined with the higher-order, accurate finite difference method. The formulation method is also one of the most important problems in applying the finite difference method to the incompressible turbulent flows. The three-dimensional Navier-Stokes equations have been solved so far in the primitive variables formulation. One of the major difficulties of this method is the rigorous satisfaction of the equation of continuity. In general, the staggered grid is used for the satisfaction of the solenoidal condition for the velocity field at the wall boundary. However, the velocity field satisfies the equation of continuity automatically in the vorticity-vector potential formulation. From this point of view, the vorticity-vector potential method was extended to the generalized coordinate system. In the present article, we adopt the vorticity-vector potential formulation, the generalized coordinate system, and the 4th-order accurate difference method as the computational method. We present the computational method and apply the present method to computations of flows in a square cavity at large Reynolds number in order to investigate its effectiveness.

Tokunaga, Hiroshi↗
NASA NTRS2008

Using Electronic Noses to Detect Tumors During Neurosurgery

It has been proposed to develop special-purpose electronic noses and algorithms for processing the digitized outputs of the electronic noses for determining whether tissue exposed during neurosurgery is cancerous. At present, visual inspection by a surgeon is the only available intraoperative technique for detecting cancerous tissue. Implementation of the proposal would help to satisfy a desire, expressed by some neurosurgeons, for an intraoperative technique for determining whether all of a brain tumor has been removed. The electronic-nose technique could complement multimodal imaging techniques, which have also been proposed as means of detecting cancerous tissue. There are also other potential applications of the electronic-nose technique in general diagnosis of abnormal tissue. In preliminary experiments performed to assess the viability of the proposal, the problem of distinguishing between different types of cultured cells was substituted for the problem of distinguishing between normal and abnormal specimens of the same type of tissue. The figure presents data from one experiment, illustrating differences between patterns that could be used to distinguish between two types of cultured cancer cells. Further development can be expected to include studies directed toward answering questions concerning not only the possibility of distinguishing among various types of normal and abnormal tissue but also distinguishing between tissues of interest and other odorous substances that may be present in medical settings.

Homer, Margie L.↗
NASA NTRS1990

A simple nonlinear model for the return to isotropy in turbulence

A quadratic nonlinear generalization of the linear Rotta model for the slow pressure-strain correlation of turbulence is developed. The model is shown to satisfy realizability and to give rise to no stable nontrivial equilibrium solutions for the anisotropy tensor in the case of vanishing mean velocity gradients. The absence of stable nontrivial equilibrium solutions is a necessary condition to ensure that the model predicts a return to isotropy for all relaxational turbulent flows. Both the phase space dynamics and the temporal behavior of the model are examined and compared against experimental data for the return to isotropy problem. It is demonstrated that the quadratic model successfully captures the experimental trends which clearly exhibit nonlinear behavior. Direct comparisons are also made with the predictions of the Rotta model and the Lumley model.

Sarkar, Sutanu↗
NASA NTRS2011

One-carbon (bio ?) Geochemistry in Subsurface Waters of the Serpentinizing Coast Range Ophiolite

Serpentinization - the aqueous alteration of ultramafic rocks - typically imparts a highly reducing and alkaline character to the reacting fluids. In turn, these can influence the speciation and potential for metabolism of one-carbon compounds in the system. We examined the aqueous geochemistry and assessed the biological potential of one-carbon compounds in the subsurface of the McLaughlin Natural Reserve (Coast Range Ophiolite, California, USA). Fluids from wells sunk at depths of 25-90 meters have pH values ranging from 9.7 to 11.5 and dissolved inorganic carbon (DIC concentrations) generally below 60 micromolar. Methane is present at concentrations up to 1.3 millimolar (approximately one-atmosphere saturation), and hydrogen concentrations are below 15 nanomolar, suggesting active consumption of H2 and production of CH4. However, methane production from CO2 is thermodynamically unfavorable under these conditions. Additionally, the speciation of DIC predominantly into carbonate at these high pH values creates a problem of carbon availability for any organisms that require CO2 (or bicarbonate) for catabolism or anabolism. A potential alternative is carbon monoxide, which is present in these waters at concentrations 2000-fold higher than equilibrium with atmospheric CO. CO is utilized in a variety of metabolisms, including methanogenesis, and bioavailability is not adversely affected by pH-dependent speciation (as for DIC). Methanogenesis from CO under in situ conditions is thermodynamically favorable and would satisfy biological energy requirements with respect to both Gibbs Energy yield and power.

McLaughlin Natural Reserve↗
DOE OSTI2024

Optimal operations of a nuclear-based integrated energy system: A mixed integer program approach

A nuclear-based integrated energy system (IES), consisting of multiple carbon-free energy generation and conversion technologies to meet heterogeneous end-use demands, offers a promising approach to decarbonizing the U.S. economy. Operating such an IES is challenging due to its complexity and the diverse end-use demands, such as heating and electricity. This paper aims to address the optimal operation of an IES composed of a small modular reactor (SMR), a steam manifold, a balance of plant (BOP), a high-temperature steam electrolysis (HTSE) system, a district heating (DH) network, and electrical grids. We formulate the system’s operation as a mixed integer linear programming (MILP) problem to maximize net revenues from sales of electricity and hydrogen. To evaluate the efficacy of the proposed model, we conduct a 24-hour simulation considering day-ahead (DA) electricity prices from CAISO and a varying DH demand profile with hourly resolution. The simulation results show that our model effectively optimizes the operation by selling electricity during on-peak periods and purchasing electricity for hydrogen production during off-peak periods, while satisfying operating constraints within the IES.

08 HYDROGEN↗
NASA NTRS1995

A test of a vortex method for the computation of flap side edge noise

Upon approach to landing, a major source location of airframe noise occurs at the side edges of the part span, trailing edge flaps. In the vicinity of these flaps, a complex arrangement of spanwise flow with primary and secondary tip vortices may form. Each of these vortices is observed to become fully three-dimensional. In the present study, a numerical model is developed to investigate the noise radiated from the side edge of a flap. The inherent three-dimensionality of this flow forces us to carefully consider a numerical scheme which will be both accurate in its prediction of the flow acoustics and also computationally efficient. Vortex methods have offered a fast and efficient means of simulating many two and three-dimensional, vortex dominated flows. In vortex methods, the time development of the flow is tracked by following exclusively the vorticity containing regions. Through the Biot-Savart law, knowledge of the vorticity field enables one to obtain flow quantities at any desired location during the flow evolution. In the present study, a numerical procedure has been developed which incorporates the Lagrangian approach of vortex methods into a calculation for the noise radiated by a flow-surface interaction. In particular, the noise generated by a vortex in the presence of a flat half plane is considered. This problem serves as a basic model of flap edge flow. It also permits the direct comparison between our computed results and previous acoustic analyses performed for this problem. In our numerical simulations, the mean flow is represented by the complex potential W(z) = Aiz(exp l/2), which is obtained through conformal mapping techniques. The magnitude of the mean flow is controlled by the parameter A. This mean flow has been used in the acoustic analysis by Hardin and is considered a reasonable model of the flow field in the vicinity of the edge and away from the leading and trailing edges of the flap. To represent the primary vortex which occurs near the flap, a point vortex is introduced just below the flat half plane. Using a technique from panel methods, boundary conditions on the flap surface are satisfied by the introduction of a row of stationary point vortices along the extent of the flap. At each time step in the calculation, the strength of these vortices is chosen to eliminate the normal velocity at intermediary collocation points. The time development of the overall flow field is then tracked using standard techniques from vortex methods. Vortex trajectories obtained through this computation are in good agreement with those predicted by the analytical solution given by Hardin, thus verifying the viability of this procedure for more complex flow arrangements. For the flow acoustics, the Ffowcs Williams-Hawkings equation is numerically integrated. This equation supplies the far field acoustic pressure based upon pressures occurring along the flap surface. With our vortex method solution, surface pressures may be obtained with exceptional resolution. The Ffowcs Williams-Hawkings equation is integrated using a spatially fourth order accurate Simpson's rule. Rational function interpolation is used to obtain the surface pressures at the appropriate retarded times. Comparisons between our numerical results for the acoustic pressure and those predicted by the Hardin analysis have been made. Preliminary results indicate the need for an improved integration technique. In the future, the numerical procedure developed in this study will be applied to the case of a rectangular flap of finite thickness and ultimately modified for application to the fully three-dimensional problem.

Martin, James E.↗
DOE OSTI2020

A Machine Learning-based Approach to Predict the Aggregate Flexibility of HVAC Systems

Use of renewable energy resources can play a significant role in mitigation of climate change since they reduce the dependency on fossil fuels. However, high penetration of renewable energy resources into the power grid may cause some reliability problems. Ancillary services are key to realize the potential of renewable resources without disturbing the grid reliability. In recent years, many control approaches focused on exploiting the aggregate flexible heating, ventilation, and air-conditioning (HVAC) loads of buildings. However, there are still research gaps in assessing in advance the resulting indoor temperature responses for given total power and weather profiles before implementing the controls in the buildings. Such an assessment is critical to guarantee satisfying both the grid related objective (reliability) and the building related objective (occupants' comfort). Towards addressing this research gap, this paper presents a machine-learning approach for predicting the ratings of indoor temperature responses. In this approach, a prediction model was developed using a dataset generated by a set of model-free control simulations. The developed model achieved high prediction accuracy and showed the potential of the proposed approach.

Amasyali, Kadir↗
NASA NTRS1987

A study of carbon monoxide distribution determinations for a global transport model

A system of programs which model the chemistry and transport of carbon monoxide and methane in the Earth's atmosphere on a global scale was installed onto the NASA-Langley central scientific computer network. This system, the GLOBAL system, consists of a user-friendly set of procedural files which allow for simplified pre-processing, execution, and post-processing for all program elements. The package includes procedures for obtaining the NMC meteorological data, calculating the vertical winds to satisfy mass conservation, determining the boundary layer, and executing the transport/chemical model for carbon monoxide. In addition, plotting, saving to tape, and reading from tape routines were developed. Final modifications to the subprograms for processing the input data for the transport/chemistry model have improved these data to more accurately reflect true atmospheric conditions. The transfer of the transport/chemistry model from the NCAR CRAY system to the NASA-Langley VPS-32 system was completed. The problems encountered during this process and their resolutions are discussed.

Peters, Leonard K.↗
NASA NTRS1988

Portable inference engine: An extended CLIPS for real-time production systems

The present C-Language Integrated Production System (CLIPS) architecture has not been optimized to deal with the constraints of real-time production systems. Matching in CLIPS is based on the Rete Net algorithm, whose assumption of working memory stability might fail to be satisfied in a system subject to real-time dataflow. Further, the CLIPS forward-chaining control mechanism with a predefined conflict resultion strategy may not effectively focus the system's attention on situation-dependent current priorties, or appropriately address different kinds of knowledge which might appear in a given application. Portable Inference Engine (PIE) is a production system architecture based on CLIPS which attempts to create a more general tool while addressing the problems of real-time expert systems. Features of the PIE design include a modular knowledge base, a modified Rete Net algorithm, a bi-directional control strategy, and multiple user-defined conflict resolution strategies. Problems associated with real-time applications are analyzed and an explanation is given for how the PIE architecture addresses these problems.

Le, Thach↗
NASA NTRS1989

Estimation of the two-dimensional ocean current shear field with a synthetic aperture radar

A double inverse method to convert SAR data to estimates of current shear was developed theoretically. Problems of applying the technique to real SAR data were examined. The first step of the inversion process involved elimination of noise in the (x-vector, k-vector) wave spectra deduced from SAR images. The second step, estimation of current shear, required the existence of well defined swell and a favorable single of interaction between swell and ocean current. Application of the method in the Antarctic circumpolar current encountered sea conditions that both satisfied and violated these requirements. Where the wave-current geometry was favorable, realistic surface current velocity fields were obtained, suggesting the presence of a substantial mesoscale eddy. Another attempt to apply the method in the Gulf Stream produced wave spectral estimates that showed no clear peak and hence produced no current estimates.

Barnett, Tim P.↗
DOE OSTI2023

Bayesian optimization with active learning of design constraints using an entropy-based approach

Abstract The design of alloys for use in gas turbine engine blades is a complex task that involves balancing multiple objectives and constraints. Candidate alloys must be ductile at room temperature and retain their yield strength at high temperatures, as well as possess low density, high thermal conductivity, narrow solidification range, high solidus temperature, and a small linear thermal expansion coefficient. Traditional Integrated Computational Materials Engineering (ICME) methods are not sufficient for exploring combinatorially-vast alloy design spaces, optimizing for multiple objectives, nor ensuring that multiple constraints are met. In this work, we propose an approach for solving a constrained multi-objective materials design problem over a large composition space, specifically focusing on the Mo-Nb-Ti-V-W system as a representative Multi-Principal Element Alloy (MPEA) for potential use in next-generation gas turbine blades. Our approach is able to learn and adapt to unknown constraints in the design space, making decisions about the best course of action at each stage of the process. As a result, we identify 21 Pareto-optimal alloys that satisfy all constraints. Our proposed framework is significantly more efficient and faster than a brute force approach.

36 MATERIALS SCIENCE↗
DOE OSTI2024

Parametrization of Generalized Parton Distributions from 𝑡-Channel String Exchange in AdS Spaces

We introduce a string-based parametrization for nucleon quark and gluon generalized parton distributions (GPDs) that is valid for all skewness. Our approach leverages conformal moments, representing them as the sum of spin-𝑗 nucleon 𝐴-form factor and skewness-dependent spin-𝑗 nucleon 𝐷-form factor, derived from 𝑡-channel string exchange in AdS spaces consistent with Lorentz invariance and unitarity. This model-independent framework, satisfying the polynomiality condition due to Lorentz invariance, uses Mellin moments from empirical data to estimate these form factors. With just five Regge slope parameters, our method accurately produces various nucleon quark GPD types and symmetric nucleon gluon GPDs through pertinent Mellin-Barnes integrals. Our isovector nucleon quark GPD is in agreement with existing lattice data, promising to improve the empirical extraction and global analysis of nucleon GPDs in exclusive processes, by avoiding the deconvolution problem at any skewness, for the first time.

QCD phenomenology↗
DOE OSTI2022

A Phase-Field Model for In-Space Manufacturing of Binary Alloys

The integrity of the final printed components is mostly dictated by the adhesion between the particles and phases that form upon solidification, which is a major problem in printing metallic parts using available In-Space Manufacturing (ISM) technologies based on the Fused Deposition Modeling (FDM) methodology. Understanding the melting/solidification process helps increase particle adherence and allows to produce components with greater mechanical integrity. We developed a phase-field model of solidification for binary alloys. The phase-field approach is unique in capturing the microstructure with computationally tractable costs. The developed phase-field model of solidification of binary alloys satisfies the stability conditions at all temperatures. The suggested model is tuned for Ni-Cu alloy feedstocks. We derived the Ginzburg-Landau equations governing the phase transformation kinetics and solved them analytically for the dilute solution. We calculated the concentration profile as a function of interface velocity for a one-dimensional steady-state diffuse interface neglecting elasticity and obtained the partition coefficient, k, as a function of interface velocity. Numerical simulations for the diluted solution are used to study the interface velocity as a function of undercooling for the classic sharp interface model, partitionless solidification, and thin interface.

36 MATERIALS SCIENCE↗
NASA NTRS1973

Liquid rocket pressure regulators, relief valves, check valves, burst disks, and explosive valves

The development of and operational programs for effective use in design are presented for liquid rocket pressure regulators, relief valves, check valves, burst disks, and explosive valves. A review of the total design problem is presented, and design elements are identified which are involved in successful design. Current technology pertaining to these elements is also described. Design criteria are presented which state what rule or standard must be imposed on each essential design element to assure successful design. These criteria serve as a checklist of rules for a project manager to use in guiding a design or in assessing its adequacy. Recommended practices are included which state how to satisfy each of the criteria.

Source record↗
NASA NTRS1977

Orbital servicing and remotely manned systems

The potential of the concepts and techniques of remotely manned aerospace systems to fully exploit the utility and benefits of orbital servicing is discussed. Orbital servicing has been shown to benefit the Space Transportation System by helping to satisfy spacecraft program objectives of long operating times on-orbit while reducing program costs. The wide range of servicer mechanisms postulated in the literature is reduced to two concepts which are used to generate a set of control system requirements. Three control mode alternatives - automatic, supervisory control, and remotely manned control - are introduced, defined, evaluated and each found wanting in certain areas. A combination of supervisory and remotely manned control is shown to overcome most problems.

Smith, G. W.↗
NASA NTRS1992

A simulated annealing approach to schedule optimization for the SES facility

The Shuttle Engineering Simulator (SES) is a facility which houses the software and hardware for a variety of simulation systems. The simulators include the Autonomous Remote Manipulator, the Manned Maneuvering Unit, Orbiter/Space Station docking, and shuttle entry and landing. The SES simulators are used by various groups throughout NASA. For example, astronauts use the SES to practice maneuvers with the shuttle equipment; programmers use the SES to test flight software; and engineers use the SES for design and analysis studies. Due to its high demand, the SES is busy twenty-four hours a day and seven days a week. Scheduling the facility is a problem that is constantly growing and changing with the addition of new equipment. Currently a number of small independent programs have been developed to help solve the problem, but the long-term answer lies in finding a flexible, integrated system that provides the user with the ability to create, optimize, and edit the schedule. COMPASS is an interactive and highly flexible scheduling system. However, until recently COMPASS did not provide any optimization features. This paper describes the simulated annealing extension to COMPASS. It now allows the user to interweave schedule creation, revision, and optimization. This practical approach was necessary in order to satisfy the operational requirements of the SES.

Mcmahon, Mary Beth↗
NASA NTRS2003

Electromagnetic Scattering From a Polygonal Thin Metallic Plate Using Quadrilateral Meshing

The problem of electromagnetic (EM) scattering from irregularly shaped, thin, metallic flat plates in free space is solved using the electric field integral equation (EFIE) approach in conjunction with the method of moments (MoM) with quadrilateral meshing. An irregularly shaped thin plate is discretized into quadrilateral patches and the unknown electric surface current over the plate is expressed in terms of proper basis functions over these patches. The basis functions for the electric surface current density that satisfy the proper boundary conditions on these quadrilateral patches are derived. The unknown surface current density on these quadrilateral patches is determined by setting up and solving the electric field integral equation by the application of the MoM. From the knowledge of the surface current density, the EM scattering from various irregularly shaped plates is determined and compared with the earlier published results. The novelty in the present approach is the use of quadrilateral patches instead of well known and often used triangular patches. The numerical results obtained using the quadrilateral patches compare favorably with measured results.

Deshpande, Manohar D.↗