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.

SourceResearch connectionFrom yearThrough year

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

At least 73 records · Page 4

All sources NASA NTRS DOE OSTI

NASA NTRS2009

Improved Blackbody Temperature Sensors for a Vacuum Furnace

Some improvements have been made in the design and fabrication of blackbody sensors (BBSs) used to measure the temperature of a heater core in a vacuum furnace. Each BBS consists of a ring of thermally conductive, high-melting-temperature material with two tantalum-sheathed thermocouples attached at diametrically opposite points. The name "blackbody sensor" reflects the basic principle of operation. Heat is transferred between the ring and the furnace heater core primarily by blackbody radiation, heat is conducted through the ring to the thermocouples, and the temperature of the ring (and, hence, the temperature of the heater core) is measured by use of the thermocouples. Two main requirements have guided the development of these BBSs: (1) The rings should have as high an emissivity as possible in order to maximize the heat-transfer rate and thereby maximize temperature-monitoring performance and (2) the thermocouples must be joined to the rings in such a way as to ensure long-term, reliable intimate thermal contact. The problem of fabricating a BBS to satisfy these requirements is complicated by an application-specific prohibition against overheating and thereby damaging nearby instrumentation leads through the use of conventional furnace brazing or any other technique that involves heating the entire BBS and its surroundings. The problem is further complicated by another application-specific prohibition against damaging the thin tantalum thermocouple sheaths through the use of conventional welding to join the thermocouples to the ring. The first BBS rings were made of graphite. The tantalum-sheathed thermocouples were attached to the graphite rings by use of high-temperature graphite cements. The ring/thermocouple bonds thus formed were found to be weak and unreliable, and so graphite rings and graphite cements were abandoned. Now, each BBS ring is made from one of two materials: either tantalum or a molybdenum/titanium/zirconium alloy. The tantalum-sheathed thermocouples are bonded to the ring by laser brazing. The primary advantage of laser brazing over furnace brazing is that in laser brazing, it is possible to form a brazed connection locally, without heating nearby parts to the flow temperature of the brazing material. Hence, it is possible to comply with the prohibition against overheating nearby instrumentation leads. Also, in laser brazing, unlike in furnace brazing, it is possible to exert control over the thermal energy to such a high degree that it becomes possible to braze the thermocouples to the ring without burning through the thin tantalum sheaths on the thermocouples. The brazing material used in the laser brazing process is a titanium-boron paste. This brazing material can withstand use at temperatures up to about 1,400 C. In thermal-cycling tests performed thus far, no debonding between the rings and thermocouples has been observed. Emissivity coatings about 0.001 in. (.0.025 mm) thick applied to the interior surfaces of the rings have been found to improve the performance of the BBS sensors by raising the apparent emissivities of the rings. In thermal-cycling tests, the coatings were found to adhere well to the rings.

Farmer, Jeff↗

NASA NTRS1977

A spectral domain method for remotely probing stratified media

The problem of remotely probing a stratified, lossless, dielectric medium is formulated using the spectral domain method of probing. The response of the medium to a spectrum of plane waves incident at various angles is used to invert the unknown profile. For TE polarization, the electric field satisfies a Helmholtz equation. The inverse problem is solved by means of a new representation for the wave function. The principal step in this inversion is solving a second kind Fredholm equation which is very amenable to numerical computations. Several examples are presented including some which indicate that the method can be used with experimentally obtained data. When the fields exhibit a surface wave behavior, a unique inversion can be obtained only if information about the magnetic field is also available. In this case, the inversion is accomplished by a two-step procedure which employs a formula of Jost and Kohn. Some examples are presented, and an approach which greatly shortens the computations without greatly deteriorating the results is discussed.

Schaubert, D. H.↗

NASA NTRS2013

Automated Long - Term Scheduling for the SOFIA Airborne Observatory

The NASA Stratospheric Observatory for Infrared Astronomy (SOFIA) is a joint US/German project to develop and operate a gyro-stabilized 2.5-meter telescope in a Boeing 747SP. SOFIA's first science observations were made in December 2010. During 2011, SOFIA accomplished 30 flights in the "Early Science" program as well as a deployment to Germany. The new observing period, known as Cycle 1, is scheduled to begin in 2012. It includes 46 science flights grouped in four multi-week observing campaigns spread through a 13-month span. Automation of the flight scheduling process offers a major challenge to the SOFIA mission operations. First because it is needed to mitigate its relatively high cost per unit observing time compared to space-borne missions. Second because automated scheduling techniques available for ground-based and space-based telescopes are inappropriate for an airborne observatory. Although serious attempts have been made in the past to solve part of the problem, until recently mission operations staff was still manually scheduling flights. We present in this paper a new automated solution for generating SOFIA long-term schedules that will be used in operations from the Cycle 1 observing period. We describe the constraints that should be satisfied to solve the SOFIA scheduling problem in the context of real operations. We establish key formulas required to efficiently calculate the aircraft course over ground when evaluating flight schedules. We describe the foundations of the SOFIA long-term scheduler, the constraint representation, and the random search based algorithm that generates observation and instrument schedules. Finally, we report on how the new long-term scheduler has been used in operations to date.

Civeit, Thomas↗

NASA NTRS1985

Experience with Free Bodies

Some of the problems that confront an analyst in free body modeling, to satisfy rigid body conditions are discussed and with some remedies for these problems are presented. The problems of detecting these culprits at various levels within the analysis are examined. A new method within NASTRAN for checking the model for defects very early in the analysis without requiring the analyst to bear the expense of an eigenvalue analysis before discovering these defects is outlined.

Butler, T. G.↗

NASA NTRS1979

Improvements in surface singularity analysis and design methods

The coupling of the combined source vortex distribution of Green's potential flow function with contemporary numerical techniques is shown to provide accurate, efficient, and stable solutions to subsonic inviscid analysis and design problems for multi-element airfoils. The analysis problem is solved by direct calculation of the surface singularity distribution required to satisfy the flow tangency boundary condition. The design or inverse problem is solved by an iteration process. In this process, the geometry and the associated pressure distribution are iterated until the pressure distribution most nearly corresponding to the prescribed design distribution is obtained. Typically, five iteration cycles are required for convergence. A description of the analysis and design method is presented, along with supporting examples.

Bristow, D. R.↗

NASA NTRS1987

Physical mechanisms of heat, momentum and turbulence fluxes

In a qualitative way, the physical mechanisms which generate fluxes of heat, momentum, and turbulence in the atmosphere are discussed. This material is presented to acquaint people with the Earth science aspects of turbulence as important processes in the atmosphere. To attempt to describe turbulent fluxes of heat, momentum, and moisture in precise mathematical detail becomes an intractable problem. It is burdened by an eighth order set of equations involving more variables than equations. It is a closure problem which requires complicated assumptions that are not necessarily always satisfied, variable boundary conditions, and sparse observational data. Therefore, we must approach the problem in a simplified manner to obtain any kind of solution involving the variables of shear, stress, and heat, moisture, and momentum fluxes. There are other problems, of course, in which the inclusion of the planetary boundary layer is extremely important. Air pollution studies, air-sea exchanges, mesoscale models, and so on, must account for the planetary layer in very specific terms. Some of the physical mechanisms that are involved in generating fluxes are described.

Theon, John S.↗

NASA NTRS1995

Combining Comparison Functions and Finite Element Approximations in CFD

In a variety of potential flow applications, the modal element method has been shown to significantly reduce the numerical grid, employ a more precise grid termination boundary condition, and give theoretical insight to the flow physics. The method employs eigenfunctions to replace the numerical grid over significant portions of the flow field. Generally, a numerical grid is employed around obstacles with complex geometry while eigenfunctions are applied to regions in the flow field where the boundary conditions can easily be satisfied. To handle a wider class of computational fluid dynamics (CFD) problems, the present paper extends the modal element to include function approximations which do not satisfy the governing differential equation. To accomplish this task, a double modal series approximation and weighted residual constraints are developed to force the comparison functions to satisfy the governing differential equation and to interface properly with the finite element solution. As an example, the method is applied to the problem of potential flow in a channel with two-dimensional cylindrical like obstacles. The calculated flow fields are in excellent agreement with exact analytical solutions.

Baumeister, Kenneth J.↗

NASA NTRS1983

Two-dimensional internal compressible viscous flows using semi-elliptic analysis

Subsonic viscous flows through planar cascades are examined by means of a semielliptic form of the Navier-Stokes equations, which is obtained by neglecting the streamwise diffusion of momentum and energy in their respective equations and providing upstream interaction through the pressure field. The influence of downstream conditions is propagated upstream in the subsonic flow, via a streamwise implicit determination of the pressure field, in order to permit departure-free solutions for the overall flow problem. The continuity equation is thereby satisfied directly. Governing equations are written in strong conservation law form, in terms of general, nonorthogonal transformed coordinates and Cartesian velocity components.

Ghia, K. N.↗

NASA NTRS1986

Thermal-capillary analysis of Czochralski and liquid encapsulated Czochralski crystal growth. II - Processing strategies

The pseudosteady-state heat transfer model developed in a previous paper is augmented with constraints for constant crystal radius and melt/solid interface deflection. Combinations of growth rate, and crucible and bottom-heater temperatures are tested as processing parameters for satisfying the constrained thermal-capillary problem over a range of melt volumes corresponding to the sequence occuring during the batchwise Czochralski growth of a small-diameter silicon crystal. The applicability of each processing strategy is judged by the range of existence of the solution, in terms of melt volume and the values of the axial and radial temperature gradients in the crystal.

Derby, J. J.↗

NASA NTRS1991

Autonomous precision landing using terrain-following navigation

Terrain-following navigation studies that have been done over the past two years in the navigation system section at JPL are described. A descent to Mars scenario based on Mars Rover and Sample Return mission profiles is described, and navigation and image processing issues pertaining to descent phases where landmark picture can be obtained are examined. A covariance analysis is performed to verify that landmark measurements from a terrain-following navigation system can satisfy precision landing requirements. Image processing problems involving known landmarks in actual pictures are considered. Mission design alternatives that can alleviate some of these problems are suggested.

Vaughan, R. M.↗

NASA NTRS1993

Developmental testing resulting in a simplified liquid oxygen check valve for the Space Shuttle Main Propulsion System

The coil spring in a Space Shuttle liquid oxygen check valve failed due to cyclic fatigue in September, 1991. The dual-flapper, swing check valve is used to prevent reverse flow to the Space Shuttle Main Engines. Upon inspection of the failed component, the spring tangs were found to be missing and heavy wear was observed on the inner diameter of the spring coils. The fracture surfaces revealed that the metal had been steadily worn away until a simple overload caused the final fracture. A series of flow tests using water and a water/gas mixture was conducted to identify the flow phenomenon which produced the cyclic wear. A Plexiglas outlet housing was utilized to view the flapper behavior under different flow conditions and to aid in high speed photography. The tests revealed that flow instabilities induced two oscillatory flapper responses: a rocking mode and a chattering mode. Initially, attempts were made to reduce the spring-flapper oscillations. However, the final solution to the problem was a springless configuration which satisfied the valve's design requirements and eliminated the oscillations. The springless design relied on the inherent ability of the reverse flow momentum to close the flappers.

Aber, Gregory S.↗

NASA NTRS2002

Analytical Modal Analysis for Thin-Film Flat Lenses

Due to strong potential applications and more demanding requirements imposed upon thin-film structures for space deployable, there has been increasing research and development activities during recent years in the field of vibration analysis of these types of structures. Moreover, interests in employing these structural components have received renewed emphasis in recent years within NASA and the Air Force. This is due to their inherent lightweight, low packaging and launch volume, and relative simplicity of deployment. Among the potential mission concepts for which these structural elements are included, one can mention solar sails, space solar power generation systems, solar thermal propulsion vehicles, large space telescopes, and inflatable communication antennas. This paper presents analytical procedures to determine vibration and physical characteristics of thin film lenses with circular and elliptical shapes membranes considered in design of a solar concentrator. In general, three methods are used to obtain approximate solutions of Helmholtz boundary value problems. One method requires that solution satisfy the differential equation exactly and the boundary condition approximately. Another method demands a solution that satisfies the boundary conditions exactly and the governing equations approximately. The third method sees a solution that satisfies both the governing equation and boundary conditions approximately. Extensive reviews of vibrations of membrane and plates are provided by Leissa and Mazumdar.

Hamid R. Hamidzadeh↗

NASA NTRS1986

A geometric approach to the synthesis of failure detection filters

A geometric formulation of Beard's failure detection filter problem is stated using the concepts of (C, A)-invariant and unobservability subspaces. The notions of output separable and mutually detectable families of subspaces introduced by Beard are also clarified. It is shown that mutual detectability is a necessary and sufficient condition for the existence of a detection filter with arbitrarily assignable spectrum. Moreover, it is shown that the failure detection filter problem has a computationally simple solution when the failure events satisfy some mild restrictions. Finally, the complete duality between a generalization of Beard's detection filter problem and the restricted control decoupling problem is illustrated.

Massoumnia, M.-A.↗

NASA NTRS1982

Application of a systematic finite-element model modification technique to dynamic analysis of structures

A systematic finite-element model modification technique has been applied to two small problems and a model of the main wing box of a research drone aircraft. The procedure determines the sensitivity of the eigenvalues and eigenvector components to specific structural changes, calculates the required changes and modifies the finite-element model. Good results were obtained where large stiffness modifications were required to satisfy large eigenvalue changes. Sensitivity matrix conditioning problems required the development of techniques to insure existence of a solution and accelerate its convergence. A method is proposed to assist the analyst in selecting stiffness parameters for modification.

Robinson, J. C.↗

NASA NTRS1975

Velocity and extraneous boundary conditions of viscous flow problems

A novel method for treating certain troublesome boundary conditions in the numerical solution of time-dependent incompressible viscous flow problems is presented. This new method is developed on the basis of an integral representation for the velocity vector which contains the entire kinematics of the problem, including the boundary conditions of concern. It is shown that for the exterior flow problem the free-stream condition is satisfied at infinity exactly and the need to treat a far-field condition is removed by the use of the integral representation. The distribution of a nonvelocity variable on the solid boundary - i.e., the 'extraneous' boundary condition needed for both the exterior and the interior flows - is shown to be governed by the kinematics of the problem.

Wu, J. C.↗

NASA NTRS1977

Finite element solutions of free surface flows

A procedure is presented for using NASTRAN to determine the flow field about arbitrarily shaped bodies in the presence of a free surface. The fundamental unknown of the problem is the velocity potential which must satisfy Laplace's equation in the fluid region. Boundary conditions on the free surface may involve second order derivatives in space and time. In cases involving infinite domains either a tractable radiation condition is applied at a truncated boundary or a series expansion is used and matched to the local finite elements. Solutions are presented for harmonic, transient, and steady state problems and compared to either exact solutions or other numerical solutions.

Zarda, P. R.↗

NASA NTRS1972

Representations of the language recognition problem for a theorem prover

Two representations of the language recognition problem for a theorem prover in first order logic are presented and contrasted. One of the representations is based on the familiar method of generating sentential forms of the language, and the other is based on the Cocke parsing algorithm. An augmented theorem prover is described which permits recognition of recursive languages. The state-transformation method developed by Cordell Green to construct problem solutions in resolution-based systems can be used to obtain the parse tree. In particular, the end-order traversal of the parse tree is derived in one of the representations. An inference system, termed the cycle inference system, is defined which makes it possible for the theorem prover to model the method on which the representation is based. The general applicability of the cycle inference system to state space problems is discussed. Given an unsatisfiable set S, where each clause has at most one positive literal, it is shown that there exists an input proof. The clauses for the two representations satisfy these conditions, as do many state space problems.

Minker, J.↗

NASA NTRS2000

Support to X-33/Reusable Launch Vehicle Technology Program

The Primary activities of Lee & Associates for the referenced Purchase Order has been in direct support of the X-33/Reusable Launch Vehicle Technology Program. An independent review to evaluate the X-33 liquid hydrogen fuel tank failure, which recently occurred after-test of the starboard tank has been provided. The purpose of the Investigation team was to assess the tank design modifications, provide an assessment of the testing approach used by MSFC (Marshall Space Flight Center) in determining the flight worthiness of the tank, assessing the structural integrity, and determining the cause of the failure of the tank. The approach taken to satisfy the objectives has been for Lee & Associates to provide the expertise of Mr. Frank Key and Mr. Wayne Burton who have relevant experience from past programs and a strong background of experience in the fields critical to the success of the program. Mr. Key and Mr. Burton participated in the NASA established Failure Investigation Review Team to review the development and process data and to identify any design, testing or manufacturing weaknesses and potential problem areas. This approach worked well in satisfying the objectives and providing the Review Team with valuable information including the development of a Fault Tree. The detailed inputs were made orally in real time in the Review Team daily meetings. The results of the investigation were presented to the MSFC Center Director by the team on February 15, 2000. Attached are four charts taken from that presentation which includes 1) An executive summary, 2) The most probable cause, 3) Technology assessment, and 4) Technology Recommendations for Cryogenic tanks.

Source record↗