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 559 records · Page 31

All sources NASA NTRS DOE OSTI

NASA NTRS2011

A Minimum (Delta)V Orbit Maintenance Strategy for Low-Altitude Missions Using Burn Parameter Optimization

Orbit maintenance is the series of burns performed during a mission to ensure the orbit satisfies mission constraints. Low-altitude missions often require non-trivial orbit maintenance (Delta)V due to sizable orbital perturbations and minimum altitude thresholds. A strategy is presented for minimizing this (Delta)V using impulsive burn parameter optimization. An initial estimate for the burn parameters is generated by considering a feasible solution to the orbit maintenance problem. An example demonstrates the dV savings from the feasible solution to the optimal solution.

Brown, Aaron J.↗

NASA NTRS2011

A Minimum Delta V Orbit Maintenance Strategy for Low-Altitude Missions Using Burn Parameter Optimization

Orbit maintenance is the series of burns performed during a mission to ensure the orbit satisfies mission constraints. Low-altitude missions often require non-trivial orbit maintenance Delta V due to sizable orbital perturbations and minimum altitude thresholds. A strategy is presented for minimizing this Delta V using impulsive burn parameter optimization. An initial estimate for the burn parameters is generated by considering a feasible solution to the orbit maintenance problem. An low-lunar orbit example demonstrates the Delta V savings from the feasible solution to the optimal solution. The strategy s extensibility to more complex missions is discussed, as well as the limitations of its use.

Brown, Aaron J.↗

NASA NTRS2020

Entropy Stable Nonconforming Discretizations with the Summation-By-Parts Property for Curvilinear Coordinates

The entropy conservative/stable algorithm of Friedrichet al.(2018) for hyperbolic conservation laws on nonconforming p-refined/coarsened Cartesian grids, is extended to curvilinear grids for the compressible Euler equations. The primary focus is on constructing appropriate coupling procedures across the curvilinear nonconforming interfaces. A simple and flexible approach is proposed that uses interpolation operators from one element to the other. On the element faces,the analytic metrics are used to construct coupling terms, while metric terms in the volume are approximated to satisfy a discretization of the geometric conservation laws. The resulting scheme is entropy conservative/stable, elementwise conservative, and freestream preserving. The accuracy and stability properties of the resulting numerical algorithm are shown to be comparable to those ofthe original conforming scheme (∼p+ 1 convergence) in the context of the isentropic Euler vortex and the inviscid Taylor–Green vortex problems on manufactured high order grids.

David Del Rey Fernandez↗

NASA NTRS2022

A Reinforcement Learning Hyper-Heuristic in Multi-Objective Optimization with Application to Structural Damage Identification

Multi-objective optimization allows satisfying multiple decision criteria concurrently, and generally yields multiple solutions. It has the potential to be applied to structural damage identification applications which are oftentimes under-determined. How to achieve high-quality solutions in terms of accuracy, diversity, and completeness is a challenging research subject. The solution techniques and parametric selections are believed to be problem specific. In this research, we formulate a reinforcement learning hyper-heuristic scheme to work coherently with the single-point search algorithm MOSA/R (Multi-Objective Simulated Annealing Algorithm based on Re-seed). The four low-level heuristics proposed can meet various optimization requirements adaptively and autonomously using the domination amount, crowding distance, and hypervolume calculations. The new approach exhibits improved and more robust performance than AMOSA, NSGA-II, and MOEA/D when applied to benchmark test cases. It is then applied to an active damage interrogation scheme for structural damage identification where solution diversity/completeness and accuracy are critically important. Results show that this approach can successfully include the true damage scenario in the solution set identified. The outcome of this research can potentially be extended to a variety of applications.

Pei Cao↗

NASA NTRSDate not supplied

Defining A Modelling Language to Support Functional Hazard Assessment

Functional Hazard Assessment (FHA) is a key early-stage engineering process that supports the incorporation of safety in design by identifying the high-level functional hazards the system may encounter. While many FHA-like methodologies have been proposed in the design engineering literature, many of these methodologies have had difficulty becoming accepted industry practice. Industry standards, on the other hand, either provide little recommendation on how to represent the function of the system to perform FHA, or rely on readily-available models with little justification in design theory. This paper presents some of the problems with current modelling languages used for FHA which limit the scope, expressiveness, flexibility, and precision of the analysis, as well as desirable principles an FHA-supporting analysis language should embody. It further introduces the Functional Reasoning Design Language (FRDL), a formal modelling language for describing the functional behaviors of a system and their interactions which satisfies these principles. To demonstrate the use of this language, the modelling and hazard analysis of a disaster response drone is presented.

safety analysis↗

NASA NTRS1972

Interdisciplinary research on the application of ERTS-1 data to the regional land use planning process

The author has identified the following significant results. Although the degree to which ERTS-1 imagery can satisfy regional land use planning data needs is not yet known, it appears to offer means by which the data acquisition process can be immeasurably improved. The initial experiences of an interdisciplinary group attempting to formulate ways of analyzing the effectiveness of ERTS-1 imagery as a base for environmental monitoring and the resolution of regional land allocation problems are documented. Application of imagery to the regional planning process consists of utilizing representative geographical regions within the state of Wisconsin. Because of the need to describe and depict regional resource complexity in an interrelatable state, certain resources within the geographical regions have been inventoried and stored in a two-dimensional computer-based map form. Computer oriented processes were developed to provide for the economical storage, analysis, and spatial display of natural and cultural data for regional land use planning purposes. The authors are optimistic that the imagery will provide revelant data for land use decision making at regional levels.

Clapp, J. L.↗

NASA NTRS1975

EV space suit gloves (passive)

A pair of pressure and thermal insulating overgloves to be used with an Extravehicular (EV) suit assembly was designed, developed, fabricated, and tested. The design features extensive use of Nomex felt materials in lieu of the multiple layer insulation formerly used with the Apollo thermal glove. The glove theoretically satisfies all of the thermal requirements. The presence of the thermal glove does not degrade pressure glove tactility by more than the acceptable 10% value. On the other hand, the thermal glove generally degrades pressure glove mobility by more than the acceptable 10% value, primarily in the area of the fingers. Life cycling tests were completed with minimal problems. The thermal glove/pressure glove ensemble was also tested for comfort; the test subjects found no problems with the thermal glove although they did report difficulties with pressure points on the pressure glove which were independent of the thermal glove.

Fletcher, E. G.↗

NASA NTRS1978

Analytical study of STOL Aircraft in ground effect. Part 1: Nonplanar, nonlinear wing/jet lifting surface method

A nonlinear, nonplanar three dimensional jet flap analysis, applicable to the ground effect problem, is presented. Lifting surface methodology is developed for a wing with arbitrary planform operating in an inviscid and incompressible fluid. The classical, infintely thin jet flap model is employed to simulate power induced effects. An iterative solution procedure is applied within the analysis to successively approximate the jet shape until a converged solution is obtained which closely satisfies jet and wing boundary conditions. Solution characteristics of the method are discussed and example results are presented for unpowered, basic powered and complex powered configurations. Comparisons between predictions of the present method and experimental measurements indicate that the improvement of the jet with the ground plane is important in the analyses of powered lift systems operating in ground proximity. Further development of the method is suggested in the areas of improved solution convergence, more realistic modeling of jet impingement and calculation efficiency enhancements.

Shollenberger, C. A.↗

NASA NTRS2002

Synthesizing Certified Code

Code certification is a lightweight approach to demonstrate software quality on a formal level. Its basic idea is to require producers to provide formal proofs that their code satisfies certain quality properties. These proofs serve as certificates which can be checked independently. Since code certification uses the same underlying technology as program verification, it also requires many detailed annotations (e.g., loop invariants) to make the proofs possible. However, manually adding theses annotations to the code is time-consuming and error-prone. We address this problem by combining code certification with automatic program synthesis. We propose an approach to generate simultaneously, from a high-level specification, code and all annotations required to certify generated code. Here, we describe a certification extension of AUTOBAYES, a synthesis tool which automatically generates complex data analysis programs from compact specifications. AUTOBAYES contains sufficient high-level domain knowledge to generate detailed annotations. This allows us to use a general-purpose verification condition generator to produce a set of proof obligations in first-order logic. The obligations are then discharged using the automated theorem E-SETHEO. We demonstrate our approach by certifying operator safety for a generated iterative data classification program without manual annotation of the code.

Whalen, Michael↗

NASA NTRS2017

A Hybrid Traveling Salesman Problem - Squeaky Wheel Optimization Planner for Earth Observational Scheduling

We outline a hybrid planner for scheduling Observa- tion Requests on an Earth observing satellite, subject to a variety of constraints for the ASPEN (Chien et al. 2000) Eagle Eye adaptation (Knight, Donnellan, and Green 2013) that combines Squeaky Wheel Optimiza- tion (Joslin and Clements 1999) with sliding observa- tion planning (Aldinger et al. 2013). The Earth Ob- serving Satellite (EOS) planning problem (Globus et al. 2004) is reformulated as time-varying travel time TSP with interval constraints (Ichoua, Gendreau, and Potvin 2003). The replanning/ ll stage of the hybrid scheduler marginally improves schedule quality for all bus agilities examined, but has more impact on lower agility observers. The squeaky wheel stage primarily a ects overall schedule quality by satisfying high pri- ority requests, while the replanner reduces starvation of lower value requests.

Trowbridge, Michael↗

NASA NTRSDate not supplied

Shock-Layer Radiation Insights Available Through Flowfield Property Binning

This paper introduces a method for assessing similarity between available shock-layer radiation measurements and the radiative heating to a vehicle of interest. This method will be referred to as the flowfield property binning (FPB) approach. The challenge in developing this approach is that radiometer measurements from a surface normal line of sight, observed radiation measurements of the entire shock-layer from a distance, or measured shock-tube nonequilibrium profiles are notably different geometrically than the radiative flux to a vehicle surface. Therefore, the relative contributions of various regions of the shock-layer to the measurement, and how these relative contributions compare with the radiative heating to a vehicle of interest, are unclear. By tracking the radiation contribution from each flowfield location, and then grouping this contribution based on two local flowfield properties, these geometric differences are removed. This provide a two dimensional group, or bin, distribution that represents the radiation environment in the same format for various types of radiation simulations, such as observed radiation or radiative flux to a vehicle surface. In the limits of optically-thin radiation transport and thermochemical equilibrium flow, the choice of pressure and temperature as the binning flowfield properties is shown to provide a bin distribution that uniquely defines the radiation simulation. This concept is found to be sufficient for establishing similarity between two cases even when the optically-thin radiation transport and thermochemical equilibrium assumptions are not satisfied. A simple metric of comparison between bin distributions from different cases is provided by the histogram intersection algorithm. This algorithm results in a histogram intersection factor (H) between 0 and 1, which represents the fraction of the radiation that is similar between the two cases. Therefore, if H evaluated between bin distributions for two completely different radiation problems is near 1, then they represent essentially the same radiation problem. This means that they depend on the same weighting of various radiation modeling parameters evaluated at the same pressure and temperature. If one of these cases agrees well with a radiation measurement, then the matching bin distributions provide justification for applying this experimental validation to the other case. Even for H values as low as 0.2, the measurement case could be considered relevant if there are no other useful measurements. This approach allows observed radiation measurements to directly inform radiative heating simulations, which allows NASA’s past and future investments in observed radiation measurements to directly inform the radiative heating uncertainty or margins for future vehicle design. This FPB approach is also used to determine shock-tube conditions for informing backshell radiative heating simulations, where the normal shock velocity and Lagrangian time from the shock is used for the binning variables instead of pressure and temperature.

Shock Layer Radiation↗

NASA NTRS1976

The quarter-point quadratic isoparametric element as a singular element for crack problems

The quadratic isoparametric elements which embody the inverse square root singularity are used for calculating the stress intensity factors at tips of cracks. The strain singularity at a point or an edge is obtained in a simple manner by placing the mid-side nodes at quarter points in the vicinity of the crack tip or an edge. These elements are implemented in NASTRAN as dummy elements. The method eliminates the use of special crack tip elements and in addition, these elements satisfy the constant strain and rigid body modes required for convergence.

Hussain, M. A.↗

NASA NTRS2003

Thin-Film Air-Mass-Flow Sensor of Improved Design Developed

Researchers at the NASA Glenn Research Center have developed a new air-mass-flow sensor to solve the problems of existing mass flow sensor designs. NASA's design consists of thin-film resistors in a Wheatstone bridge arrangement. The resistors are fabricated on a thin, constant-thickness airfoil to minimize disturbance to the airflow being measured. The following photograph shows one of NASA s prototype sensors. In comparison to other air-mass-flow sensor designs, NASA s thin-film sensor is much more robust than hot wires, causes less airflow disturbance than pitot tubes, is more accurate than vane anemometers, and is much simpler to operate than thermocouple rakes. NASA s thin-film air-mass-flow sensor works by converting the temperature difference seen at each leg of the thin-film Wheatstone bridge into a mass-flow rate. The following figure shows a schematic of this sensor with air flowing around it. The sensor operates as follows: current is applied to the bridge, which increases its temperature. If there is no flow, all the arms are heated equally, the bridge remains in balance, and there is no signal. If there is flow, the air passing over the upstream legs of the bridge reduces the temperature of the upstream legs and that leads to reduced electrical resistance for those legs. After the air has picked up heat from the upstream legs, it continues and passes over the downstream legs of the bridge. The heated air raises the temperature of these legs, increasing their electrical resistance. The resistance difference between the upstream and downstream legs unbalances the bridge, causing a voltage difference that can be amplified and calibrated to the airflow rate. Separate sensors mounted on the airfoil measure the temperature of the airflow, which is used to complete the calculation for the mass of air passing by the sensor. A current application for air-mass-flow sensors is as part of the intake system for an internal combustion engine. A mass-flow sensor is used to provide accurate information about the amount of air entering the engine so that the amount of fuel can be adjusted to give the most efficient combustion. The ideal mass-flow sensor would be a rugged design that minimizes the disturbance to the flow stream and provides an accurate reading of both smooth and turbulent flows; NASA's design satisfies these requirements better than any existing design. Most of the mass-flow sensors used today are the hot wire variety. Hot wires can be fragile and cannot accurately measure a turbulent or reversing flow, which is often encountered in an intake manifold. Other types of mass-flow sensors include pitot tubes, vane anemometers, and thermocouple rakes-all of which suffer from some type of performance problem. Because it solves these performance problems while maintaining a simple design that lends itself to low-cost manufacturing techniques, NASA s thin-film resistance temperature detector air-mass-flow sensor should lead to more widespread use of mass-flow sensors.

Fralick, Gustave C.↗

NASA NTRS1981

Use of an engineering data management system in the analysis of Space Shuttle Orbiter tiles

This paper demonstrates the use of an engineering data management system to facilitate the extensive stress analyses of the Space Shuttle Orbiter thermal protection system. Descriptions are given of the approach and methods used (1) to gather, organize, and store the data, (2) to query data interactively, (3) to generate graphic displays of the data, and (4) to access, transform, and prepare the data for input to a stress analysis program. The relational information management system was found to be well suited to the tile analysis problem because information related to many separate tiles could be accessed individually from a data base having a natural organization from an engineering viewpoint. The flexible user features of the system facilitated changes in data content and organization which occurred during the development and refinement of the tile analysis procedure. Additionally, the query language supported retrieval of data to satisfy a variety of user-specified conditions.

Giles, G. L.↗

NASA NTRS1985

Explosive Welding of Tubular Configurated Joints for Critical Applications

Explosive welding can provide the answer to problems of permanently joining metals typically used in the aerospace industry. The explosive bonding process is a solid state bonding process enabling material incompatibility problems associated with fusion welding to be overcome. In addition, heat affected zones are eliminated thus, enhancing joint strength, properties and performance. The process requires the parts being joined to be impelled, by means of explosives, to collide with each other. Certain critical collision parameters must be met and controlled and these parameters are defined. Various component geometries which satisfy the collision parameters are described. Examples of transition joints used in the aerospace industry are described and illustrated.

Hardwick, R.↗

NASA NTRS1996

A System for Automatically Generating Scheduling Heuristics

The goal of this research is to improve the performance of automated schedulers by designing and implementing an algorithm by automatically generating heuristics by selecting a schedule. The particular application selected by applying this method solves the problem of scheduling telescope observations, and is called the Associate Principal Astronomer. The input to the APA scheduler is a set of observation requests submitted by one or more astronomers. Each observation request specifies an observation program as well as scheduling constraints and preferences associated with the program. The scheduler employs greedy heuristic search to synthesize a schedule that satisfies all hard constraints of the domain and achieves a good score with respect to soft constraints expressed as an objective function established by an astronomer-user.

Morris, Robert↗

NASA NTRS1998

Using Decision Procedures to Build Domain-Specific Deductive Synthesis Systems

This paper describes a class of decision procedures that we have found useful for efficient, domain-specific deductive synthesis. These procedures are called closure-based ground literal satisfiability procedures. We argue that this is a large and interesting class of procedures and show how to interface these procedures to a theorem prover for efficient deductive synthesis. Finally, we describe some results we have observed from our implementation. Amphion/NAIF is a domain-specific, high-assurance software synthesis system. It takes an abstract specification of a problem in solar system mechanics, such as 'when will a signal sent from the Cassini spacecraft to Earth be blocked by the planet Saturn?', and automatically synthesizes a FORTRAN program to solve it.

VanBaalen, Jeffrey↗

NASA NTRSDate not supplied

Lunar Transport Vehicle Ocupant Protection Requirements

INTRODUCTION The National Aeronautics and Space Administration (NASA) is preparing for future Artemis missions that will return humans to the lunar surface. A critical piece of these future missions is the Lunar Transport Vehicle (LTV), a transportation device to be used on the lunar surface. A vehicular method of transportation will allow for longer duration missions with increased capabilities to conduct research and transport soil, geological samples, or other materials of interest. The objective of this project is to provide occupant protection guidance for the design of the LTV. METHODS At the time of writing of occupant protection requirements, much of the LTV design is unknown. However, several general assumptions have been established. It is assumed that the LTV will be an unpressurized crewed rover with the occupant(s) wearing an EVA suit. Additionally, the occupant must be protected using established health limits as governing criteria to protect the occupant from hazardous levels of acceleration, jerk, and vibration. In addition to the health limits, it is expected that the LTV shall provide a comfortable transportation solution to Lunar operations. Several restraint configurations have been considered to allow for seated and standing operation of the vehicle. RESULTS Preliminary recommendations and metrics were put forward by a cross functional working group with members from Johnson Space Center and Ames Research Center. Exposure to acceleration, vibration, and jerk metrics above the proposed limits could create a risk of occupant injury. In addition to satisfying crew health needs, these limits permit the occupant to meet performance objectives including operating the vehicle and reading displays while traversing the Lunar surface. Initial guidance was refined during a Technical Interchange Meeting with external subject matter experts in industry, academia, and United States Air Force. CONCLUSION Operating a crewed vehicle in a lunar environment is a novel problem with few analogs to provide data. Based on terrestrial data from ISO & MIL Standards, occupant protection recommendations have been identified with several assumptions made about reduced gravity and deconditioned occupants. If the design of the vehicle attenuates energetics to levels below those put forward, there is high confidence the occupant will be able to repetitively operate the vehicle without physical harm or operational issues.

K Dolick↗