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 703 records · Page 39

All sources NASA NTRS DOE OSTI

NASA NTRS2012

Acoustics Reflections of Full-Scale Rotor Noise Measurements in NFAC 40- by 80-Foot Wind Tunnel

The objective of current research is to identify the extent of acoustic time history distortions due to wind tunnel wall reflections. Acoustic measurements from the recent full-scale Boeing-SMART rotor test (Fig. 2) will be used to illustrate the quality of noise measurement in the NFAC 40- by 80-Foot Wind Tunnel test section. Results will be compared to PSU-WOPWOP predictions obtained with and without adjustments due to sound reflections off wind tunnel walls. Present research assumes a rectangular enclosure as shown in Fig. 3a. The Method of Mirror Images7 is used to account for reflection sources and their acoustic paths by introducing mirror images of the rotor (i.e. acoustic source), at each and every wall surface, to enforce a no-flow boundary condition at the position of the physical walls (Fig. 3b). While conventional approach evaluates the "combined" noise from both the source and image rotor at a single microphone position, an alternative approach is used to simplify implementation of PSU-WOPWOP for this reflection analysis. Here, an "equivalent" microphone position is defined with respect to the source rotor for each mirror image that effectively renders the reflection analysis to be a one rotor, multiple microphones problem. This alternative approach has the advantage of allowing each individual "equivalent" microphone, representing the reflection pulse from the associated wall surface, to be adjusted by the panel absorption coefficient illustrated in Fig. 1a. Note that the presence of parallel wall surfaces requires an infinite number of mirror images (Fig. 3c) to satisfy the no-flow boundary conditions. In the present analysis, up to four mirror images (per wall surface) are accounted to achieve convergence in the predicted time histories

Barbely, Natasha Lydia↗

DOE OSTI2024

Subsampling of Parametric Models with Bifidelity Boosting

Least squares regression is a ubiquitous tool for building emulators (a.k.a. surrogate models) of problems across science and engineering for purposes such as design space exploration and uncertainty quantification. When the regression data are generated using an experimental design process (e.g., a quadrature grid) involving computationally expensive models, or when the data size is large, sketching techniques have shown promise at reducing the cost of the construction of the regression model while ensuring accuracy comparable to that of the full data. However, random sketching strategies, such as those based on leverage scores, lead to regression errors that are random and may exhibit large variability. To mitigate this issue, we present a novel boosting approach that leverages cheaper, lower-fidelity data of the problem at hand to identify the best sketch among a set of candidate sketches. This in turn specifies the sketch of the intended high-fidelity model and the associated data. We provide theoretical analyses of this bifidelity boosting (BFB) approach and discuss the conditions the low- and high-fidelity data must satisfy for a successful boosting. In doing so, we derive a bound on the residual norm of the BFB sketched solution relating it to its ideal, but computationally expensive, high-fidelity boosted counterpart. Finally, empirical results on both manufactured and PDE data corroborate the theoretical analyses and illustrate the efficacy of the BFB solution in reducing the regression error, as compared to the nonboosted solution.

97 MATHEMATICS AND COMPUTING↗

NASA NTRS1972

Booster recovery following premature space shuttle stage separation

Abort criteria necessary to satisfy space shuttle program requirements to include intact vehicle abort capability are discussed. Intact abort implies the ability of the booster and orbiter to separate and both continue flight to a safe landing, with a full payload aboard the orbiter. Obviously, the requirement to separate early along the ascent trajectory presupposes critical operational problems that are probably booster problems and may preclude booster recovery. On the other hand, some critical problems while mated can become manageable when separated and should result in full booster recovery. All critical orbiter problems fall into this category; since stage separation without orbiter thrust is a capability of some separation system concepts, booster stage recovery following separation is a requirement.

Hurley, M. J.↗

NASA NTRS1977

Variational energy principle for compressible, baroclinic flow. 2: Free-energy form of Hamilton's principle

The first and second variations are calculated for the irreducible form of Hamilton's Principle that involves the minimum number of dependent variables necessary to describe the kinetmatics and thermodynamics of inviscid, compressible, baroclinic flow in a specified gravitational field. The form of the second variation shows that, in the neighborhood of a stationary point that corresponds to physically stable flow, the action integral is a complex saddle surface in parameter space. There exists a form of Hamilton's Principle for which a direct solution of a flow problem is possible. This second form is related to the first by a Friedrichs transformation of the thermodynamic variables. This introduces an extra dependent variable, but the first and second variations are shown to have direct physical significance, namely they are equal to the free energy of fluctuations about the equilibrium flow that satisfies the equations of motion. If this equilibrium flow is physically stable, and if a very weak second order integral constraint on the correlation between the fluctuations of otherwise independent variables is satisfied, then the second variation of the action integral for this free energy form of Hamilton's Principle is positive-definite, so the action integral is a minimum, and can serve as the basis for a direct trail and error solution. The second order integral constraint states that the unavailable energy must be maximum at equilibrium, i.e. the fluctuations must be so correlated as to produce a second order decrease in the total unavailable energy.

Schmid, L. A.↗

NASA NTRS1985

Sensor/Actuator Selection for the Constrained Variance Control Problem

The problem of designing a linear controller for systems subject to inequality variance constraints is considered. A quadratic penalty function approach is used to yield a linear controller. Both the weights in the quadratic penalty function and the locations of sensors and actuators are selected by successive approximations to obtain an optimal design which satisfies the input/output variance constraints. The method is applied to NASA's 64 meter Hoop-Column Space Antenna for satellite communications. In addition the solution for the control law, the main feature of these results is the systematic determination of actuator design requirements which allow the given input/output performance constraints to be satisfied.

Delorenzo, M. L.↗

NASA NTRS1985

Flow visualization in the Space Shuttle's main engine

The analysis and design of the Space Shuttle's main engine (SSME) power head involved extended finite difference computations conducted on a supercomputer. Certain problems arise, however, in connection with such a computer, and it is pointed out that the massive output from such analyses can actually inhibit insight into physical behavior. It is, therefore, also important to develop effective techniques for computer-user data transfer which match the computer's computational speed. In order to satisfy such requirements, powerful engineering workstations and three-dimensional color computer graphics codes were employed in the computational fluid dynamics (CFD) analyses of the Shuttle's engine. Consequently, the complex physical characteristics of the SSME's hot-gas manifold could be quickly visualized, interpreted, and compared with alternative designs.

Belie, G.↗

NASA NTRS1989

Aging behavior and life prediction of graphite composites

This paper presents experimental data from two independent tests, designed to determine the long-term reliability of composite materials. The technique of accelerated aging at elevated temperatures is employed. In the first set, graphite fiber, epoxy composites in five ply layups are manufactured and tested in the standard short-beam shear mode. In the second set, Nomex honeycomb, graphite fiber/epoxy composite face and rear sheet sandwich coupons are tested. After satisfying simple consistency checks, data interpretation is attempted within the framework of an Arrhenius degradation model. The elevated temperature is assumed to influence the degradation according to this temperature-dependent rate law. From these tests on five-ply composites and honeycomb sandwiches, it is concluded that aging is not a serious problem.

Ramohalli, Kumar↗

NASA NTRS1990

Guidance concepts for time-based flight operations

Airport congestion and the associated delays are severe in today's airspace system and are expected to increase. NASA and the FAA is investigating various methods of alleviating this problem through new technology and operational procedures. One concept for improving airspace productivity is time-based control of aircraft. Research to date has focused primarily on the development of time-based flight management systems and Air Traffic Control operational procedures. Flight operations may, however, require special onboard guidance in order to satisfy the Air Traffic Control imposed time constraints. The results are presented of a simulation study aimed at evaluating several time-based guidance concepts in terms of tracking performance, pilot workload, and subjective preference. The guidance concepts tested varied in complexity from simple digital time-error feedback to an advanced time-referenced-energy guidance scheme.

Vicroy, Dan D.↗

NASA NTRS1993

Interdisciplinary technology

The 'computational test-cell' will enable the incorporation of new methodologies, such as concurrent engineering and probabilistic methods, into the propulsion design process. This will provide the capability to conduct credible, interdisciplinary analyses of new propulsion concepts and designs. Probabilistic methods can be used as the basis for reliability-based design. Recently methods have been devised that provide the capability of simulating the performance of propulsion systems at several levels of resolution. These methods make it possible to quantify uncertainty and to establish confidence bounds for the calculated values. The introduction of reliability-based design methodology along with probabilistic analyses will provide a tool to reduce the design space for new systems and to reduce our dependence on hardware testing for proof-of-concept and system integration demonstrations. The resulting simulations will reduce the need for testing and identify potential operational problems early in the design process. This capability will make it possible to compute the expected performance, stability, reliability, and life of propulsion components, subsystems, and systems at design and off-design conditions, to bring life cycle cost trade-offs early into the design process and to determine optimum designs to satisfy specified mission requirements.

Nichols, Lester D.↗

NASA NTRS1993

Advanced microfabrication technologies for microspacecraft

Advanced microfabrication technologies offer the prospect of reducing the weight and size of spacecraft through the use of lighter and stronger materials in conjunction with new mechanical/structural design concepts and design optimization methods. At the same time, electronic components have been scaled down while increasing functional utility. A two-fold benefit is derived for space applications through the use of less expensive components and the lower launch costs associated with lighter components. GE-CRD is actively pursuing research in these key technologies for a wide range of applications including satellites. These key technologies will be reviewed and an update on GE progress will be given. The need to reduce weight and lower cost, while maintaining product quality and reliability are primary drivers in the design of satellites, in general, and microsatellites in particular. For the structural subsystem, these requirements pose a complex design problem unless new mechanical design concepts and computer-aided design optimization methods are employed. Several new concepts, such as battery packs doubling as panel reinforcements and fuel tanks as integral structural members, need to utilized. In addition, new viscoelastic material damping concepts for spacecraft components provide for lighter weight/lower cost designs, while satisfying the structural dynamics requirements. High density interconnect (HDI) technology permits the use of bare IC's on a ceramic substrate with 90 percent active area utilization. A copper/polyimide multilayer structure is the backbone of the technology, which has demonstrated a size/weight reduction of greater than 10x compared to printed circuit board with performance up to the GHz level. HDI modules have exceptional mechanical robustness as evidenced by survival of 180 kg rapid acceleration tests. Microelectromechanical systems (MEMS) are redefining sensors and actuators by miniaturization through micromachining techniques. Sharing many fabrication steps with HDI, we have developed a new technique for surface micromachining of copper/polyimide structures using computer-aided laser patterning.

Ghezzo, M.↗

NASA NTRS2001

Synthesizing Dynamic Programming Algorithms from Linear Temporal Logic Formulae

The problem of testing a linear temporal logic (LTL) formula on a finite execution trace of events, generated by an executing program, occurs naturally in runtime analysis of software. We present an algorithm which takes an LTL formula and generates an efficient dynamic programming algorithm. The generated algorithm tests whether the LTL formula is satisfied by a finite trace of events given as input. The generated algorithm runs in linear time, its constant depending on the size of the LTL formula. The memory needed is constant, also depending on the size of the formula.

Rosu, Grigore↗

NASA NTRS2008

Hard Constraints in Optimization Under Uncertainty

This paper proposes a methodology for the analysis and design of systems subject to parametric uncertainty where design requirements are specified via hard inequality constraints. Hard constraints are those that must be satisfied for all parameter realizations within a given uncertainty model. Uncertainty models given by norm-bounded perturbations from a nominal parameter value, i.e., hyper-spheres, and by sets of independently bounded uncertain variables, i.e., hyper-rectangles, are the focus of this paper. These models, which are also quite practical, allow for a rigorous mathematical treatment within the proposed framework. Hard constraint feasibility is determined by sizing the largest uncertainty set for which the design requirements are satisfied. Analytically verifiable assessments of robustness are attained by comparing this set with the actual uncertainty model. Strategies that enable the comparison of the robustness characteristics of competing design alternatives, the description and approximation of the robust design space, and the systematic search for designs with improved robustness are also proposed. Since the problem formulation is generic and the tools derived only require standard optimization algorithms for their implementation, this methodology is applicable to a broad range of engineering problems.

Crespo, Luis G.↗

NASA NTRS2008

A Verification-Driven Approach to Control Analysis and Tuning

This paper proposes a methodology for the analysis and tuning of controllers using control verification metrics. These metrics, which are introduced in a companion paper, measure the size of the largest uncertainty set of a given class for which the closed-loop specifications are satisfied. This framework integrates deterministic and probabilistic uncertainty models into a setting that enables the deformation of sets in the parameter space, the control design space, and in the union of these two spaces. In regard to control analysis, we propose strategies that enable bounding regions of the design space where the specifications are satisfied by all the closed-loop systems associated with a prescribed uncertainty set. When this is unfeasible, we bound regions where the probability of satisfying the requirements exceeds a prescribed value. In regard to control tuning, we propose strategies for the improvement of the robust characteristics of a baseline controller. Some of these strategies use multi-point approximations to the control verification metrics in order to alleviate the numerical burden of solving a min-max problem. Since this methodology targets non-linear systems having an arbitrary, possibly implicit, functional dependency on the uncertain parameters and for which high-fidelity simulations are available, they are applicable to realistic engineering problems..

Crespo, Luis G.↗

NASA NTRS2017

Multi-Objective Flight Control for Drag Minimization and Load Alleviation of High-Aspect Ratio Flexible Wing Aircraft

As aircraft wings become much more flexible due to the use of light-weight composites material, adverse aerodynamics at off-design performance can result from changes in wing shapes due to aeroelastic deflections. Increased drag, hence increased fuel burn, is a potential consequence. Without means for aeroelastic compensation, the benefit of weight reduction from the use of light-weight material could be offset by less optimal aerodynamic performance at off-design flight conditions. Performance Adaptive Aeroelastic Wing (PAAW) technology can potentially address these technical challenges for future flexible wing transports. PAAW technology leverages multi-disciplinary solutions to maximize the aerodynamic performance payoff of future adaptive wing design, while addressing simultaneously operational constraints that can prevent the optimal aerodynamic performance from being realized. These operational constraints include reduced flutter margins, increased airframe responses to gust and maneuver loads, pilot handling qualities, and ride qualities. All of these constraints while seeking the optimal aerodynamic performance present themselves as a multi-objective flight control problem. The paper presents a multi-objective flight control approach based on a drag-cognizant optimal control method. A concept of virtual control, which was previously introduced, is implemented to address the pair-wise flap motion constraints imposed by the elastomer material. This method is shown to be able to satisfy the constraints. Real-time drag minimization control is considered to be an important consideration for PAAW technology. Drag minimization control has many technical challenges such as sensing and control. An initial outline of a real-time drag minimization control has already been developed and will be further investigated in the future. A simulation study of a multi-objective flight control for a flight path angle command with aeroelastic mode suppression and drag minimization demonstrates the effectiveness of the proposed solution. In-flight structural loads are also an important consideration. As wing flexibility increases, maneuver load and gust load responses can be significant and therefore can pose safety and flight control concerns. In this paper, we will extend the multi-objective flight control framework to include load alleviation control. The study will focus initially on maneuver load minimization control, and then subsequently will address gust load alleviation control in future work.

Aerolasticity↗

NASA NTRS1974

A simulation of synthetic aperture radar imaging of ocean waves

A simulation of radar imaging of ocean waves with synthetic aperture techniques is presented. The modelling is simplistic from the oceanographic and electromagnetic viewpoint in order to minimize the computational problems, yet reveal some of the physical problems associated with the imaging of moving ocean waves. The model assumes: (1) The radar illuminates a one-dimensional, one harmonic ocean wave. (2) The scattering is assumed to be governed by geometrical optics. (3) The radar is assumed to be down-looking, with Doppler processing (range processing is suppressed due to the one-dimensional nature of the problem). (4) The beamwidth of the antenna (or integration time) is assumed to be sufficiently narrow to restrict the specular points of the peaks and troughs of the wave. The results show that conventional processing of the image gives familiar results if the ocean waves are stationary. When the ocean wave dispersion relationship is satisfied, the image is smeared due to the motion of the specular points over the integration time. In effect, the image of the ocean is transferred to the near field of the synthetic aperture.

Swift, C. T.↗

NASA NTRS1981

International space policy and the interests of the United States and developing countries

The paper discusses principles which must be upheld in order to protect U.S. interests in space, the potential impact of the Moon Treaty on these principles, how to satisfy the legitimate needs of developing countries while protecting U.S. interests, and how to enhance the probability of success in future negotiations concerning space. It is suggested that, in order to preserve the rights of its citizens and industry to exploit space, the United States must make a strong effort to help solve the problems of the developing countries, maintain a strong space program, and develop and follow a space policy that reflects the interests of the American people.

Bon, B.↗

NASA NTRS2002

Synthesizing Monitors for Safety Properties

The problem of testing a linear temporal logic (LTL) formula on a finite execution trace of events, generated by an executing program, occurs naturally in time analysis of software. An algorithm which takes a past time LTL formula and generates an efficient dynamic programming algorithm is presented. The generated algorithm tests whether the formula is satisfied by a finite trace of events given as input and runs in linear time, its constant depending on the size of the LTL formula. The memory needed is constant, also depending on the size of the formula. Further optimizations of the algorithm are suggested. Past time operators suitable for writing succinct specifications axe introduced and shown definitionally equivalent to the standard operators. This work is part of the PathExplorer project, the objective of which it is to construct a flexible framework for monitoring and analyzing program executions.

Havelund, Klaus↗

DOE OSTI2023

Peridynamic elastic waves in two-dimensional unbounded domains: Construction of nonlocal Dirichlet-type absorbing boundary conditions

The focus of this paper is on application of peridynamics (PD) to propagation of elastic waves in unbounded domains. We construct absorbing boundary conditions (ABCs) derived from a semi-analytical solution of the PD governing equation at the exterior region. This solution is made up of a finite series of plane waves, as fundamental solutions (modes), which satisfy the PD dispersion relations. The modes are adjusted to transmit the energy from the interior region (near field) to the exterior region (far field). The corresponding unknown coefficients of the series are found in terms of the displacement field at a layer of points adjacent to the absorbing boundary. This is accomplished through a collocation procedure at subregions (clouds) around each absorbing point. The proposed ABCs offer appealing advantages, which facilitate their application to PD. They are of Dirichlet-type, hence their implementation is relatively simple as no derivatives of the field variables are required. They are constructed in the time and space domains and thus application of Fourier and Laplace transforms, cumbersome for nonlocal models, is not required. At the discrete level, the modes satisfy the same numerical dispersion relations of the near field, which makes the far-field solution compatible with that of the near field. We scrutinize the performance of the proposed ABCs through several examples. So our investigation shows that the proposed ABCs perform stably in time with an appropriate level of accuracy even in problems characterized by highly-dispersive propagating waves, including crack propagation in semi-unbounded brittle solids.

42 ENGINEERING↗