Search NASA⌕ Search

SEARCH · Search NASA

Results for “satisfiability problems”

Search indexed NASA NTRS and DOE OSTI research on propulsion, heat transfer, battery materials and energy systems. Follow report and document links to the original sources.

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

At least 649 records · Page 36
All sourcesNASA NTRSDOE OSTI
NASA NTRS1999

Optimization of Insertion Cost for Transfer Trajectories to Libration Point Orbits

The objective of this work is the development of efficient techniques to optimize the cost associated with transfer trajectories to libration point orbits in the Sun-Earth-Moon four body problem, that may include lunar gravity assists. Initially, dynamical systems theory is used to determine invariant manifolds associated with the desired libration point orbit. These manifolds are employed to produce an initial approximation to the transfer trajectory. Specific trajectory requirements such as, transfer injection constraints, inclusion of phasing loops, and targeting of a specified state on the manifold are then incorporated into the design of the transfer trajectory. A two level differential corrections process is used to produce a fully continuous trajectory that satisfies the design constraints, and includes appropriate lunar and solar gravitational models. Based on this methodology, and using the manifold structure from dynamical systems theory, a technique is presented to optimize the cost associated with insertion onto a specified libration point orbit.

Howell, K. C.↗
NASA NTRS2023

Finite Element Model Tuning using Analytical Sensitivity Values

This paper presents an efficient approach for tuning finite element models to match the measured ground vibrationtest and proof test data. Frequencies, mode shapes, total weight, location of the center of gravity, and staticdeformation computed from the finite element model are matched to the measured data. The model tuningprocedure used in this work is based on solving an optimization problem in which the errors for the consideredmetrics, between the finite element prediction and the measured data, are minimized. Analytical sensitivity values ofperformance indices are computed using the NASTRAN-generated sensitivity values together with the in-housecomputer programs, which allow for faster computational time and the use of gradient-based optimizers. The methodis applied to the Aerostructures Test Wing 4 model. The study shows that the military standard and the NASAstandard for comparing analytical and experimental modal data are all satisfied. The final finite element modelcorrelates well with the test data. The flutter speed decreases by 8.91% after model tuning compared with the original Aerostructures Test Wing 4 design.

Chan-gi Pak↗
NASA NTRS1987

Order reduction in linear state estimation under performance constraints

The design and analysis of minimal-order state estimators for possibly time-varying linear systems, under constraints on the maximal allowable mean-square error, are considered. A global lower bound on the optimal error is derived, along with a lower bound on the minimal estimator order, needed for meeting the performance constraint. The ideal reduced-order estimator which satisfies the lower bound is derived, along with conditions for its realizability. When the ideal estimator is not realizable, its structure forms a suboptimal estimator, which maintains, in some sense, a local optimality property and is called the pseudoideal estimator. The mean-square error of the pseudoideal estimator defines upper bounds on the optimal error and on the estimator order needed for meeting the performance constraint. The lower and the upper bounds on the order define a reduced search set for the design problem. When the distance between the ideal and the pseudoideal estimators is sufficiently small in a certain numerical sense, the pseudoideal estimator may be considered optimal for practical purposes.

Baram, Yoram↗
NASA NTRS2011

Observation Scheduling System

Software has been designed to schedule remote sensing with the Earth Observing One spacecraft. The software attempts to satisfy as many observation requests as possible considering each against spacecraft operation constraints such as data volume, thermal, pointing maneuvers, and others. More complex constraints such as temperature are approximated to enable efficient reasoning while keeping the spacecraft within safe limits. Other constraints are checked using an external software library. For example, an attitude control library is used to determine the feasibility of maneuvering between pairs of observations. This innovation can deal with a wide range of spacecraft constraints and solve large scale scheduling problems like hundreds of observations and thousands of combinations of observation sequences.

Chien, Steve A.↗
NASA NTRS2007

Synthesis from Design Requirements of a Hybrid System for Transport Aircraft Longitudinal Control

Volume I of this report presents a new method for synthesizing hybrid systems directly from design requirements, and applies the method to design of a hybrid system for longitudinal control of transport aircraft. The resulting system satisfies general requirement for safety and effectiveness specified a priori, enabling formal validation to be achieved. Volume II contains seven appendices intended to make the report accessible to readers with backgrounds in human factors, fli ght dynamics and control. and formal logic. Major design goals are (1) system desi g n integrity based on proof of correctness at the design level, (2), significant simplification and cost reduction in system development and certification, and (3) improved operational efficiency, with significant alleviation of human-factors problems encountered by pilots in current transport aircraft. This report provides for the first time a firm technical basis for criteria governing design and certification of avionic systems for transport aircraft. It should be of primary interest to designers of next-generation avionic systems.

Hynes, Charles S.↗
NASA NTRS2012

Systematic Sensor Selection Strategy (S4) User Guide

This paper describes a User Guide for the Systematic Sensor Selection Strategy (S4). S4 was developed to optimally select a sensor suite from a larger pool of candidate sensors based on their performance in a diagnostic system. For aerospace systems, selecting the proper sensors is important for ensuring adequate measurement coverage to satisfy operational, maintenance, performance, and system diagnostic criteria. S4 optimizes the selection of sensors based on the system fault diagnostic approach while taking conflicting objectives such as cost, weight and reliability into consideration. S4 can be described as a general architecture structured to accommodate application-specific components and requirements. It performs combinational optimization with a user defined merit or cost function to identify optimum or near-optimum sensor suite solutions. The S4 User Guide describes the sensor selection procedure and presents an example problem using an open source turbofan engine simulation to demonstrate its application.

Sowers, T. Shane↗
NASA NTRS1993

AXAF-I ghost ray study: On orbit case

The problem of baffles for control of singly reflected (and nonreflected) ghost rays is considered. The theory of baffle design for Wolter Type I grazing incidence optics is reviewed, and a set of sample baffle parameters is obtained subject to the assumptions of nominal mirror figures and perfect manufacture and alignment of baffles. It is found that baffles forward of the optics (in the thermal precollimator) and between the mirror elements (at the CAP) are sufficient to allow the simultaneous ghost image and vignetting requirements to be satisfied for HRMA shells P1H1, P3H3, and P4H4. However, these baffles are not sufficient for the innermost shell P6H6; at best the requirements are slightly violated and there is no margin for tolerances. The addition of a baffle interior to the P6 space at an axial station about one third of the way forward from the aft end of the paraboloid will allow the ghost ray and vignetting requirements to be met. The minimum ghost ray angles and the vignetting angles are sensitive functions of the baffle positions and radii; tolerances of considerably better than 1 mm will be required. The sensitivities are coupled and correlated; further investigations should be undertaken in order to obtain baffle parameters which, combined with likely achievable tolerances, will minimize the risk of the vignetting/ghost ray requirements not being met. The lightweight carbon-epoxy composite used for thermal baffles has insufficient X-ray opacity to be a suitable material for construction of the controlling X-ray baffles; further study is needed to determine an appropriate material and to investigate its thermal and mechanical implications.

Gaetz, T. J.↗
NASA NTRS2011

Achievable Performance and Effective Interrogator Design for SAW RFID Sensor Tags

For many NASA missions, remote sensing is a critical application that supports activities such as environmental monitoring, planetary science, structural shape and health monitoring, non-destructive evaluation, etc. The utility of the remote sensing devices themselves is greatly increased if they are passive that is, they do not require any on-board power supply such as batteries and if they can be identified uniquely during the sensor interrogation process. Additional passive sensor characteristics that enable greater utilization in space applications are small size and weight, long read ranges with low interrogator power, ruggedness, and operability in extreme environments (vacuum, extreme high/low temperature, high radiation, etc.) In this paper, we consider one very promising passive sensor technology, called surface acoustic wave (SAW) radio-frequency identification (RFID), that satisfies all of these criteria. Although SAW RFID tags have great potential for use in numerous space-based remote sensing applications, the limited collision resolution capability of current generation tags limits the performance in a cluttered sensing environment. That is, as more SAW-based sensors are added to the environment, numerous tag responses are superimposed at the receiver and decoding all or even a subset of the telemetry becomes increasingly difficult. Background clutter generated by reflectors other than the sensors themselves is also a problem, as is multipath interference and signal distortion, but the limiting factor in many remote sensing applications can be expected to be tag mutual interference. This problem may be greatly mitigated by proper design of the SAW tag waveform, but that remains an open research problem, and in the meantime, several other related questions remain to be answered including: What are the fundamental relationships between tag parameters such as bit-rate, time-bandwidth-product, SNR, and achievable collision resolution? What are the differences in optimal or near-optimal interrogator designs between noise-limited environments and interference-limited environments? What are the performance characteristics of different interrogator designs in term of parameters such as transmitter power level, range, and number of interfering tags? In this paper, we present the results of a research effort aimed at providing at least partial answers to all of these questions.

Barton, Richard J.↗
NASA NTRS1973

An improved numerical process for solution of solid mechanics problems

This paper gives an overview of the development and status of an improved numerical process for the solution of solid mechanics problems. The proposed process uses a mixed formulation with the fundamental unknowns consisting of both stress and displacement parameters. The problem is formulated either by means of first-order partial differential equations or in a variational form by using a Hellinger-Reissner-type mixed variational principle. For presentation purposes, the components of a numerical process are characterized and the criteria for an ideal process are outlined. Commonly used finite-difference and finite-element procedures are examined in the light of these criteria and it is shown that they fall short in a number of ways. The proposed numerical process, on the other hand, satisfies most of the optimality criteria and appears to be particularly suited for use with the forthcoming generation computers.

Noor, A. K.↗
NASA NTRS1988

An automated computerized vision technique for determination of three-dimensional object geometry

It is very important to determine three dimensional geometry of objects quickly in various military, space, construction, and industrial applications. An automatic scheme to obtain three dimensional geometry of objects by employing only one camera is presented. At present, this technique is applicable to a limited category of objects, satisfying the following constraints: they are flat-surfaces, and all the vertex points have to be recognized as corner points of the two dimensional image. The scheme consists of corner detection, data communication, camera calibration techniques and point searching and matching, edge cancelation, and creation procedures. An L shaped model is chosen as a test object. Experimental results demonstrated the reconstruction of this object geometry within 5 mm discrepancy. This scheme is quite convenient, efficient to use and can be applied to a wide range of problems in the real world.

Chiang, Pen-Tai↗
NASA NTRS1974

Feasibility and tradeoff study of an aeromaneuvering orbit-to-orbit shuttle (AMOOS)

This study establishes that configurations satisfying the aeromaneuvering orbit-to-orbit shuttle (AMOOS) requirements can be designed with performance capabilities in excess of the purely propulsive space tug. In view of this improved potential of the AMOOS vehicle over the propulsive space tug concept it is recommended that the AMOOS studies be advanced to a stage comparable to those performed for the space tug. This advancement is needed in particular in areas that are either peculiar to AMOOS or not addressed in sufficient detail in these studies to date. These areas include the thermodynamics problems, navigation and guidance, operations and economics analyses, subsystems and interfaces. The aeromaneuvering orbit-to-orbit shuttle (AMOOS) is evaluated as a candidate reusable third stage to the two-stage earth-to-orbit shuttle (EOS). AMOOS has the potential for increased payload capability over the purely propulsive space tug by trading a savings in consumables for an increase in structural and thermal protection system (TPS) mass.

White, J.↗
NASA NTRS1992

Nonlinear robust controller design for multi-robot systems with unknown payloads

This work is concerned with the control problem of a multi-robot system handling a payload with unknown mass properties. Force constraints at the grasp points are considered. Robust control schemes are proposed that cope with the model uncertainty and achieve asymptotic path tracking. To deal with the force constraints, a strategy for optimally sharing the task is suggested. This strategy basically consists of two steps. The first detects the robots that need help and the second arranges that help. It is shown that the overall system is not only robust to uncertain payload parameters, but also satisfies the force constraints.

Song, Y. D.↗
NASA NTRS1991

Optimal control study for the Space Station Solar Dynamic power module

The authors present the design of an optimal control system for the Space Station Freedom's Solar Dynamic Fine Pointing and Tracking (SDFPT) module. A very large state model of six rigid body modes and 272 flexible modes is used in conjunction with classical LQG optimal control to produce a full-order controller which satisfies the requirements. The results obtained are compared with those of a classically designed PID (proportional plus integral plus derivative) controller that was implemented for a six-rigid-body-mode forty-flexible-mode model. A major difficulty with designing LQG controllers for large models is solving the Riccati equation that arises from the optimal formulation. A Riccati solver based on a Pade approximation to the matrix sign function is used. A symmetric version of this algorithm is derived for the special class of Hamiltonion matrices, thereby yielding, for large problems, a nearly twofold speed increase over a previous algorithm.

Papadopoulos, P. M.↗
NASA NTRS2004

Design and Experimental Verification of Deployable/Inflatable Ultra-Lightweight Structures

Because launch cost of a space structural system is often proportional to the launch volume and mass and there is no significant gravity in space, NASA's space exploration programs and various science missions have stimulated extensive use of ultra-lightweight deployable/inflatable structures. These structures are named here as Highly Flexible Structures (HFSs) because they are designed to undergo large displacements, rotations, and/or buckling without plastic deformation under normal operation conditions. Except recent applications to space structural systems, HFSs have been used in many mechanical systems, civil structures, aerospace vehicles, home appliances, and medical devices to satisfy space limitations, provide special mechanisms, and/or reduce structural weight. The extensive use of HFSs in today's structural engineering reveals the need of a design and analysis software and a database system with design guidelines for practicing engineers to perform computer-aided design and rapid prototyping of HFSs. Also to prepare engineering students for future structural engineering requires a new and easy-to- understand method of presenting the complex mathematics of the modeling and analysis of HFSs. However, because of the high flexibility of HFSs, many unique challenging problems in the modeling, design and analysis of HFSs need to be studied. The current state of research on HFSs needs advances in the following areas: (1) modeling of large rotations using appropriate strain measures, (2) modeling of cross-section warpings of structures, (3) how to account for both large rotations and cross- section warpings in 2D (two-dimensional) and 1D structural theories, (4) modeling of thickness thinning of membranes due to inflation pressure, pretension, and temperature change, (5) prediction of inflated shapes and wrinkles of inflatable structures, (6) development of efficient numerical methods for nonlinear static and dynamic analyses, and (7) filling the gap between geometrically exact elastic analysis and elastoplastic analysis. The objectives of this research project were: (1) to study the modeling, design, and analysis of deployable/inflatable ultra-lightweight structures, (2) to perform numerical and experimental studies on the static and dynamic characteristics and deployability of HFSs, (3) to derive guidelines for designing HFSs, (4) to develop a MATLAB toolbox for the design, analysis, and dynamic animation of HFSs, and (5) to perform experiments and establish an adequate database of post-buckling characteristics of HFSs.

Pai, P. Frank↗
NASA NTRS1994

Design, development, and testing of a lightweight optical sensor cover system

This paper discusses aspects of the design, development, and testing of the sensor cover on the Clementine (DSPSE) spacecraft. Particular attention is given to defining the typically ambiguous issue of cleanliness. To characterize performance with respect to these requirements, a simple and effective method for testing prototype seals was developed. This testing was useful for comparing various types of seals as well as for providing information about achievable cleanliness levels. The results were invaluable input for defining a realistic final cleanliness requirement that satisfied everyone from mechanisms to sensor engineers. Balancing torque margins (reliability) versus cost and/or weight of the system can be significantly influenced by the choice of seal type. Several seal types are discussed in terms of both cleanliness and ease of implementation. These design issues influence the actuator selection and structural integrity of the door. The cover system designed and fabricated as described above was thoroughly tested both on a component level and on the Clementine system level. Testing included characterization, vibration, pyro-shock, life, and thermal/vacuum. The extensive testing identified problems early enough that they could be resolved prior to integration and launch.

Hurley, Mike↗
NASA NTRS1996

A New Higher-Order Composite Theory for Analysis and Design of High Speed Tilt-Rotor Blades

A higher-order theory is developed to model composite box beams with arbitrary wall thicknesses. The theory, based on a refined displacement field, represents a three-dimensional model which approximates the elasticity solution. Therefore, the cross-sectional properties are not reduced to one-dimensional beam parameters. Both inplane and out-of-plane warping are automatically included in the formulation. The model accurately captures the transverse shear stresses through the thickness of each wall while satisfying all stress-free boundary conditions. Several numerical results are presented to validate the present theory. The developed theory is then used to model the load carrying member of a tilt-rotor blade which has thick-walled sections. The composite structural analysis is coupled with an aerodynamic analysis to compute the aeroelastic stability of the blade. Finally, a multidisciplinary optimization procedure is developed to improve the aerodynamic, structural and aeroelastic performance of the tilt-rotor aircraft. The Kreisselmeier-Steinhauser function is used to formulate the multiobjective function problem and a hybrid approximate analysis is used to reduce the computational effort. The optimum results are compared with the baseline values and show significant improvements in the overall performance of the tilt-rotor blade.

McCarthy, Thomas Robert↗
NASA NTRS2020

Structural Model Tuning Tool: User's Reference Manual

This report presents an efficient approach for tuning finite element models to match the measured ground vibration test and static test data. Frequencies, mode shapes, total weight, location of the center of gravity, and static deformation computed from the finite element model are matched to the measured data. The model tuning procedure used in this work is based on solving an optimization problem in which the errors for the considered metrics, between the finite element prediction and the measured data, are minimized. Analytical sensitivity values of performance indices are computed using the NASTRAN-generated sensitivity values together with the in-house computer codes, which allow for faster computational time and the use of gradient-based optimizers. The method is applied to the Aerostructures Test Wing IV model. The study shows that the military standard and the National Aeronautics and Space Administration standard for comparing analytical and experimental modal data are all satisfied. The final finite element model correlates well with the test data. The flutter speed decreases by 8.91 percent after model tuning compared with the original Aerostructures Test Wing IV design.

Chan-gi Pak↗
NASA NTRS1974

Earth resources mission performance studies. Volume 2: Simulation results

Simulations were made at three month intervals to investigate the EOS mission performance over the four seasons of the year. The basic objectives of the study were: (1) to evaluate the ability of an EOS type system to meet a representative set of specific collection requirements, and (2) to understand the capabilities and limitations of the EOS that influence the system's ability to satisfy certain collection objectives. Although the results were obtained from a consideration of a two sensor EOS system, the analysis can be applied to any remote sensing system having similar optical and operational characteristics. While the category related results are applicable only to the specified requirement configuration, the results relating to general capability and limitations of the sensors can be applied in extrapolating to other U.S. based EOS collection requirements. The TRW general purpose mission simulator and analytic techniques discussed in this report can be applied to a wide range of collection and planning problems of earth orbiting imaging systems.

Source record↗