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 613 records · Page 34
All sourcesNASA NTRSDOE OSTI
NASA NTRS1974

Numerical modelling of instantaneous plate tectonics

Assuming lithospheric plates to be rigid, 68 spreading rates, 62 fracture zones trends, and 106 earthquake slip vectors are systematically inverted to obtain a self-consistent model of instantaneous relative motions for eleven major plates. The inverse problem is linearized and solved iteratively by a maximum-likelihood procedure. Because the uncertainties in the data are small, Gaussian statistics are shown to be adequate. The use of a linear theory permits (1) the calculation of the uncertainties in the various angular velocity vectors caused by uncertainties in the data, and (2) quantitative examination of the distribution of information within the data set. The existence of a self-consistent model satisfying all the data is strong justification of the rigid plate assumption. Slow movement between North and South America is shown to be resolvable.

Minster, J. B.↗
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↗
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.↗
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.↗
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.↗
NASA NTRS2004

Fleet Assignment Using Collective Intelligence

Airline fleet assignment involves the allocation of aircraft to a set of flights legs in order to meet passenger demand, while satisfying a variety of constraints. Over the course of the day, the routing of each aircraft is determined in order to minimize the number of required flights for a given fleet. The associated flow continuity and aircraft count constraints have led researchers to focus on obtaining quasi-optimal solutions, especially at larger scales. In this paper, the authors propose the application of an agent-based integer optimization algorithm to a "cold start" fleet assignment problem. Results show that the optimizer can successfully solve such highly- constrained problems (129 variables, 184 constraints).

Antoine, Nicolas E.↗
NASA NTRS1980

INFORM: An interactive data collection and display program with debugging capability

A computer program was developed to aid ASSEMBLY language programmers of mini and micro computers in solving the man machine communications problems that exist when scaled integers are involved. In addition to producing displays of quasi-steady state values, INFORM provides an interactive mode for debugging programs, making program patches, and modifying the displays. Auxiliary routines SAMPLE and DATAO add dynamic data acquisition and high speed dynamic display capability to the program. Programming information and flow charts to aid in implementing INFORM on various machines together with descriptions of all supportive software are provided. Program modifications to satisfy the individual user's needs are considered.

Cwynar, D. S.↗
NASA NTRS1991

Computation of incompressible viscous flows through artificial heart devices with moving boundaries

The extension of computational fluid dynamics techniques to artificial heart flow simulations is illustrated. Unsteady incompressible Navier-Stokes equations written in 3-D generalized curvilinear coordinates are solved iteratively at each physical time step until the incompressibility condition is satisfied. The solution method is based on the pseudo compressibility approach and uses an implicit upwind differencing scheme together with the Gauss-Seidel line relaxation method. The efficiency and robustness of the time accurate formulation of the algorithm are tested by computing the flow through model geometries. A channel flow with a moving indentation is computed and validated with experimental measurements and other numerical solutions. In order to handle the geometric complexity and the moving boundary problems, a zonal method and an overlapping grid embedding scheme are used, respectively. Steady state solutions for the flow through a tilting disk heart valve was compared against experimental measurements. Good agreement was obtained. The flow computation during the valve opening and closing is carried out to illustrate the moving boundary capability.

Kiris, Cetin↗
NASA NTRS1995

Numerical Study of Boundary Layer Interaction with Shocks: Method Improvement and Test Computation

The objective is the development of a high-order and high-resolution method for the direct numerical simulation of shock turbulent-boundary-layer interaction. Details concerning the spatial discretization of the convective terms can be found in Adams and Shariff (1995). The computer code based on this method as introduced in Adams (1994) was formulated in Cartesian coordinates and thus has been limited to simple rectangular domains. For more general two-dimensional geometries, as a compression corner, an extension to generalized coordinates is necessary. To keep the requirements or limitations for grid generation low, the extended formulation should allow for non-orthogonal grids. Still, for simplicity and cost efficiency, periodicity can be assumed in one cross-flow direction. For easy vectorization, the compact-ENO coupling algorithm as used in Adams (1994) treated whole planes normal to the derivative direction with the ENO scheme whenever at least one point of this plane satisfied the detection criterion. This is apparently too restrictive for more general geometries and more complex shock patterns. Here we introduce a localized compact-ENO coupling algorithm, which is efficient as long as the overall number of grid points treated by the ENO scheme is small compared to the total number of grid points. Validation and test computations with the final code are performed to assess the efficiency and suitability of the computer code for the problems of interest. We define a set of parameters where a direct numerical simulation of a turbulent boundary layer along a compression corner with reasonably fine resolution is affordable.

Adams, N. A.↗