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 739 records · Page 41

All sources NASA NTRS DOE OSTI

DOE OSTI2024

Lyapunov-based nonlinear control of nonautonomous systems with individual input constraints

A control algorithm that can locally stabilize a specific class of multi-input multi-output nonautonomous nonlinear dynamical systems while satisfying individual input constraints is developed. The proposed Lyapunov-based state-feedback control law inherently accounts for the actuator amplitude saturation limits without the need for computationally expensive real-time optimization techniques. In addition to the control law, a formal definition for the local “controllable region” within which the controller can asymptotically drive the system states to the origin and satisfy the input saturation limits is also presented. The nonautonomous nature of the system dynamics implies that the “controllable region” continuously evolves with time. Therefore, a sufficient condition to maintain the system states within the “controllable region” is proposed in this work to make practical implementation feasible. The effectiveness of the controller is tested for a specific control problem arising in tokamaks, which are toroidal devices that use strong magnetic fields to confine a plasma (hot ionized gas). Here, the primary emphasis of tokamak research is to regulate the plasma properties around predetermined values to achieve stable plasma confinement. Nonlinear simulations show that the proposed controller can achieve the desired plasma control objectives in a DIII-D tokamak scenario.

70 PLASMA PHYSICS AND FUSION TECHNOLOGY↗

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.↗

DOE OSTI2021

Asynchronous quadratic control for constrained hidden markov jump linear systems with incomplete MTPM and MOCPM

Abstract This paper investigates the quadratic optimal control problem for constrained Markov jump linear systems with incomplete mode transition probability matrix (MTPM). Considering original system mode is not accessible, observed mode is utilized for asynchronous controller design where mode observation conditional probability matrix (MOCPM), which characterizes the emission between original modes and observed modes is assumed to be partially known. An LMI optimization problem is formulated for such constrained hidden Markov jump linear systems with incomplete MTPM and MOCPM. Based on this, a feasible state-feedback controller can be designed with the application of free-connection weighting matrix method. The desired controller, dependent on observed mode, is an asynchronous one which can minimize the upper bound of quadratic cost and satisfy restrictions on system states and control variables. Furthermore, clustering observation where observed modes recast into several clusters, is explored for simplifying the computational complexity. Numerical examples are provided to illustrate the validity.

Zhu, Jin↗

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↗

DOE OSTI2021

The coset construction for particles of arbitrary spin

When a Poincaré-invariant system spontaneously breaks continuous internal symmetries, Goldstones’ theorem demands the existence of massless, spin-zero excitations in a one-to-one correspondence with the broken symmetry generators. When a system spontaneously breaks Poincaré symmetry, however, the kinds of excitations that satisfy Goldstone’s theorem can be quite unusual. In particular, they may have any spin and need not be particles or even quasiparticles. The standard coset construction used to formulate effective actions of Goldstones, however, is rather restrictive and is incapable of generating the full spectrum of possibilities allowed by Goldstone’s theorem. We propose a (partial) remedy to this problem by postulating a novel coset construction for systems that spontaneously break Poincaré symmetry. This new construction is capable of generating effective actions with a wide range of Goldstone excitations — including fermionic degrees of freedom — even when all symmetries are bosonic. To demonstrate its utility, we focus on constructing effective actions for point particles of various spins. We recover the known result that a particle of spin s requires an \( \mathcal{N} \) = 2 s supersymmetric worldline reparameterization gauge symmetry, which we implement at the level of the coset construction. In the process, we discover that massless particles require a novel kind of inverse Higgs constraint that bears some resemblance to the dynamical inverse Higgs constraints that appear in certain fermi liquid effective field theories. We then consider particles that, in addition to quantum spin, have finite spatial extent and are free to rotate. We derive a novel action for such particles and find a ‘spin-orbital’ coupling between the intrinsic quantum spin and the physical-rotation degrees of freedom.

79 ASTRONOMY AND ASTROPHYSICS↗

DOE OSTI2021

Analytic solutions for Asay foil trajectories with implications for ejecta source models and mass measurements

We consider the trajectory of an Asay foil ejecta diagnostic for scenarios where ejecta are produced at a singly shocked planar surface and fly ballistically through a perfect vacuum to the sensor. We do so by building upon a previously established mathematical framework derived for the analytic study of stationary sensors. First, we derive the momentum conservation equation for the problem, in a form amenable to accelerating sensors, in terms of a generic ejecta source model. The result is an integrodifferential equation of motion for the foil trajectory. This equation yields an easily calculable closed-form implicit solution for the foil trajectory in instant-production scenarios. From there, we derive a boundary condition that particle velocity distributions must satisfy if their associated foil trajectories are to exhibit a smooth initial acceleration, as occurs in some experiments. This condition is identical to one derived previously from a consideration of piezoelectric voltage data obtained in similar experiments. We also compare techniques for inferring accumulated ejecta masses from foil trajectories, first by deriving the exact solution, and then by quantifying the error imposed by a frequently used approximate solution (both subject to the assumption of instantaneous ejecta production). Finally, we examine the common practice of presenting inferred cumulative ejecta masses as a function of implied ejecta velocity, establishing the conditions under which this methodology is most meaningful.

70 PLASMA PHYSICS AND FUSION TECHNOLOGY↗

DOE OSTI2021

EMOS (Energy Management Optimization System) [SWR-21-46]

EMOS software performs a real-time hierarchal optimal control for energy systems like multi-port electric vehicles charging site with distributed energy resources (DERs) and energy storage systems (ESSs). It gathers information in real-time from electric vehicles, power grid, and DERs, solves a multi-objective energy management optimization problem, and output setpoint for chargers, ESS converters, DERs converters, and grid converters. The software incorporates a novel integration of two control tasks: a) An Energy Management Optimization (EMO), which is the brain of EMOS controller that gathers information in real-time from EVs [e.g., battery size, state-of-charge (SOC), desired SOC, and charge acceptance curve], grid (e.g., electricity price, allowed feeder capacity, ramp rate limit, and reactive power), and DERs (e.g., prediction for solar generation for PV systems). It solves a control optimization problem in real-time to find optimal setpoint for ESSs power dispatch, EVs charging rate, and grid inverters. The objectives are to (1) minimize the charging cost considering grid energy, demand charges, and battery energy, (2) minimize charging time to meet fast charging criterion, (3) keep high energy level on ESSs at the end of an operating period, while satisfying constraints related to grid, EVs, and power converters. b) Real-Time Energy Management System (RT-EMS) is a rule-based algorithm that has faster response than EMO. It receives optimal setpoint from EMO and actual measurements from the system and modify the setpoint to compensate for any fast disturbance in the system, until a new optimum solution is received. Fast disturbances may include vehicle connect/disconnect, unpredicted variation in DERs profiles, variation in grid voltage, errors in PV generation prediction, and others. In addition, RT-EMS regulates voltage at point of common coupling (PCC) by managing reactive power of grid converters.

Mohamed, Ahmed↗