Search NASA⌕ Search

SEARCH · Search NASA

Results for “Constraint programming”

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 325 records · Page 18

A Representative Shuttle Environmental Control System

The Representative Shuttle Environmental Control System (RSECS) provides a ground test bed to be used in the early accumulation of component and system operating data, the evaluation of potential system improvements, and possibly the analysis of Shuttle Orbiter test and flight anomalies. Selected components are being subjected to long term tests to determine endurance and corrosion resistance capability prior to Orbiter vehicle experience. Component and system level tests in several cases are being used to support flight certification of Orbiter hardware. These activities are conducted as a development program to allow for timeliness, flexibility, and cost effectiveness not possible in a program burdened by flight documentation and monitoring constraints.

Brose, H. F.↗

Fuel-Conservative Descents Using A Programable Calcultor

Airborne descent algorithm used with or without time constraints. Concepts provide fuel savings by matching airplane arrival flow to airport acceptance rate through time control computations and allowing pilot to descend at his descretion from cruise altitude to designated metering fix in idle-thrust clean (landing gear up, flaps, zero, and speed brakes retracted) configuration. Also used for planning fuel-conservative descents when time is not consideration.

Knox, C. E.↗

Wall Interference in Two-Dimensional Wind Tunnels

Viscosity and tunnel-wall constraints introduced via boundary conditions. TWINTN4 computer program developed to implement method of posttest assessment of wall interference in two-dimensional wind tunnels. Offers two methods for combining sidewall boundary-layer effects with upper and lower wall interference. In sequential procedure, Sewall method used to define flow free of sidewall effects, then assessed for upper and lower wall effects. In unified procedure, wind-tunnel flow equations altered to incorporate effects from all four walls at once. Program written in FORTRAN IV for batch execution.

Kemp, William B., Jr.↗

Mars Rover and Sample Return Mission design

The current reference Mars Rover and Sample Return mission is described. Technical issues are outlined, including high-resolution image acquisition and reconstruction, approach navigation, ground and flight systems operational complexity, rover autonomy, autonomous rendezvous and docking in Mars orbit, aerocapture and aeromaneuver, estimating the probability of mission success, and end-to-end information system design. Focus is placed on lander hazard identification and avoidance, pinpoint landing guidance and control, Mars ascent vehicle guidance and control, planetary protection and quarantine, sample acquisition and preservation, project management and control, systems requirements and interface control, and costing. In addition, program issues such as international participation, fiscal constraints, and launch-vehicle availability are considered.

Kwok, Johnny H.↗

The EUVE proposal database and scheduling system

The proposal database and scheduling system for the Extreme Ultraviolet Explorer will be described. The proposal database has been implemented to take input for approved observations selected by the EUVE Peer Review Panel and output target information suitable for the scheduling system to digest. The scheduling system is a hybrid of the SPIKE program and EUVE software which checks spacecraft constraints, produces a proposed schedule and selects spacecraft orientations with optimal configurations for acquiring star trackers, etc. This system has been used to schedule the In Orbit Calibration activities that took place this summer, following the EUVE launch in early June 1992. The implemented strategy has implications for the selection of approved targets, which have impacted the Peer Review process. In addition, it will be discussed how the proposal database, founded on Sybase, controls the processing of EUVE Guest Observer data.

Christian, C.↗

Modeling using optimization routines

Modeling using mathematical optimization dynamics is a design tool used in magnetic suspension system development. MATLAB (software) is used to calculate minimum cost and other desired constraints. The parameters to be measured are programmed into mathematical equations. MATLAB will calculate answers for each set of inputs; inputs cover the boundary limits of the design. A Magnetic Suspension System using Electromagnets Mounted in a Plannar Array is a design system that makes use of optimization modeling.

Thomas, Theodore↗

Polymers in Space: Applications in the NASA Life Support and Habitation Program

Outline of Content to be Presented: Session 1: Background on Human Space Flight, NASA Human Space Flight Programs: Apollo, Shuttle, ISS, U.S. Vision for Space Exploration, Goals of Human Spaceflight. Session. 2: Use of Polymers in NASA Technology Development, Life Support & Habitation Program, Spacecraft and Space Suit Requirements and Constraints Applications - Past, Current, Future Technologies in Development. Session 3: NASA Materials Database, Classes of Useful Polymers and Composites, Unique Requirements on Polymers in Space Applications of Synthetic and Biological Polymers. Session 4: Design of Polymer Parts for a Lunar Space Suit, Sample Activities for Teachers to Use in High School Classrooms.

Campbell, Paul D.↗

NASA Tech Briefs, December 2009

Topics include: A Deep Space Network Portable Radio Science Receiver; Detecting Phase Boundaries in Hard-Sphere Suspensions; Low-Complexity Lossless and Near-Lossless Data Compression Technique for Multispectral Imagery; Very-Long-Distance Remote Hearing and Vibrometry; Using GPS to Detect Imminent Tsunamis; Stream Flow Prediction by Remote Sensing and Genetic Programming; Pilotless Frame Synchronization Using LDPC Code Constraints; Radiometer on a Chip; Measuring Luminescence Lifetime With Help of a DSP; Modulation Based on Probability Density Functions; Ku Telemetry Modulator for Suborbital Vehicles; Photonic Links for High-Performance Arraying of Antennas; Reconfigurable, Bi-Directional Flexfet Level Shifter for Low-Power, Rad-Hard Integration; Hardware-Efficient Monitoring of I/O Signals; Video System for Viewing From a Remote or Windowless Cockpit; Spacesuit Data Display and Management System; IEEE 1394 Hub With Fault Containment; Compact, Miniature MMIC Receiver Modules for an MMIC Array Spectrograph; Waveguide Transition for Submillimeter-Wave MMICs; Magnetic-Field-Tunable Superconducting Rectifier; Bonded Invar Clip Removal Using Foil Heaters; Fabricating Radial Groove Gratings Using Projection Photolithography; Gratings Fabricated on Flat Surfaces and Reproduced on Non-Flat Substrates; Method for Measuring the Volume-Scattering Function of Water; Method of Heating a Foam-Based Catalyst Bed; Small Deflection Energy Analyzer for Energy and Angular Distributions; Polymeric Bladder for Storing Liquid Oxygen; Pyrotechnic Simulator/Stray-Voltage Detector; Inventions Utilizing Microfluidics and Colloidal Particles; RuO2 Thermometer for Ultra-Low Temperatures; Ultra-Compact, High-Resolution LADAR System for 3D Imaging; Dual-Channel Multi-Purpose Telescope; Objective Lens Optimized for Wavefront Delivery, Pupil Imaging, and Pupil Ghosting; CMOS Camera Array With Onboard Memory; Quickly Approximating the Distance Between Two Objects; Processing Images of Craters for Spacecraft Navigation; Adaptive Morphological Feature-Based Object Classifier for a Color Imaging System; Rover Slip Validation and Prediction Algorithm; Safety and Quality Training Simulator; Supply-Chain Optimization Template; Algorithm for Computing Particle/Surface Interactions; Cryogenic Pupil Alignment Test Architecture for Aberrated Pupil Images; and Thermal Transport Model for Heat Sink Design.

Source record↗

Constellation Lessons Learned Executive Summary

This slide presentation reviews the lessons learned from the Constellation Program (CxP) and identified several factors that contributed to the inability of the CxP to meet the cost and schedule commitments. The review includes a significant section on the context in which the CxP operated since new programs are likely to experience the same constraints.

Thomas, L. Dale↗

RACER: Effective Race Detection Using AspectJ

The limits of coding with joint constraints on detected and undetected error rates Programming errors occur frequently in large software systems, and even more so if these systems are concurrent. In the past, researchers have developed specialized programs to aid programmers detecting concurrent programming errors such as deadlocks, livelocks, starvation and data races. In this work we propose a language extension to the aspect-oriented programming language AspectJ, in the form of three new built-in pointcuts, lock(), unlock() and may be Shared(), which allow programmers to monitor program events where locks are granted or handed back, and where values are accessed that may be shared amongst multiple Java threads. We decide thread-locality using a static thread-local objects analysis developed by others. Using the three new primitive pointcuts, researchers can directly implement efficient monitoring algorithms to detect concurrent programming errors online. As an example, we expose a new algorithm which we call RACER, an adoption of the well-known ERASER algorithm to the memory model of Java. We implemented the new pointcuts as an extension to the Aspect Bench Compiler, implemented the RACER algorithm using this language extension and then applied the algorithm to the NASA K9 Rover Executive. Our experiments proved our implementation very effective. In the Rover Executive RACER finds 70 data races. Only one of these races was previously known.We further applied the algorithm to two other multi-threaded programs written by Computer Science researchers, in which we found races as well.

data analysis↗

Developing a Standard Test Program for CubeSats

Developers of CubeSats and other miniaturized satellites often lack the schedule and budget to devise and implement an extensive environmental test campaign. CubeSat projects have become increasingly common at Jet Propulsion Laboratory (JPL) over the past few years, revealing the need for a standard CubeSat test program to maximize the likelihood of mission success while meeting project cost and schedule constraints. In this paper, we describe our efforts to develop a general protoflight test program for CubeSats in low-Earth orbit (LEO) and compare this test program with a typical test program for non-CubeSat LEO satellites and instruments. We investigate the effectiveness of the CubeSat test program—both as a design and workmanship screen and as a standard needing minimal project-specific tailoring—and discuss potential areas for improvement.

Seal, Gabriella L.↗

Planning Satellite Swarm Measurements for Climate Models: Comparing Dynamic Constraint Processing and MILP Methods

We present D-SHIELD, a challenging climate science application to plan coordinated measurements (observations) for a constellation of satellites, each containing two different sensors, each with 61 pointing angle options. The L-band and P-band radar sensors collect data fed into a soil moisture model which tracks and predicts soil moisture across 1.67 million Ground Positions (GP). Soil moisture is an important predictor of wildfires, and then a predictor of floods, landslides and debris flow after a fire. Each measurement covers multiple GP due to the sensor footprint. Each GP has a "model error" which represents the uncertainty of the the soil moisture state prediction. Model error changes at different rates for each GP as the time since last observation increases and after significant events like rain. The planner's goal is to select measurements which maximize soil moisture model improvement (reduce model uncertainty). This problem is combinatorically explosive, involving many degrees of freedom for planner choices. Good domain heuristics can find solutions within a reasonable time for our application needs but cannot be proven optimal. In this paper we compare two different planning approaches to this problem: Dynamic Constraint Processing (DCP) and Mixed Integer Linear Programming (MILP). We match inputs and metrics for both DCP and MILP algorithms to enable a direct apples-to-apples comparison. We demonstrate and discuss the trades between DCP flexibility and performance vs. MILP's promise of provable optimality.

Rich Levinson↗

An innovative approach to compensator design

The design is considered of a computer-aided-compensator for a control system from a frequency domain point of view. The design technique developed is based on describing the open loop frequency response by n discrete frequency points which result in n functions of the compensator coefficients. Several of these functions are chosen so that the system specifications are properly portrayed; then mathematical programming is used to improve all of these functions which have values below minimum standards. To do this, several definitions in regard to measuring the performance of a system in the frequency domain are given, e.g., relative stability, relative attenuation, proper phasing, etc. Next, theorems which govern the number of compensator coefficients necessary to make improvements in a certain number of functions are proved. After this a mathematical programming tool for aiding in the solution of the problem is developed. This tool is called the constraint improvement algorithm. Then for applying the constraint improvement algorithm generalized, gradients for the constraints are derived. Finally, the necessary theory is incorporated in a Computer program called CIP (compensator Improvement Program). The practical usefulness of CIP is demonstrated by two large system examples.

Mitchell, J. R.↗

A new structural analysis/synthesis capability - ACCESS

The creation of an efficient automated capability for minimum weight design of structures is reported. The ACCESS 1 computer program combines finite element analysis techniques and mathematical programming algorithms using an innovative collection of approximation concepts. Design variable linking, constraint deletion techniques and approximate analysis methods are used to generate a sequence of small explicit mathematical programming problems which retain the essential features of the design problem. Organization of the finite element analysis is carefully matched to the design optimization task. The efficiency of the ACCESS 1 program is demonstrated by giving results for several example problems.

Schmit, L. A.↗

Development of a unified guidance system for geocentric transfer

A method is presented for open loop guidance of a solar electric propulsion spacecraft to geosynchronsus orbit. The method consists of determining the thrust vector profiles on the ground with an optimization computer program, and performing updates based on the difference between the actual trajectory and that predicted with a precision simulation computer program. The motivation for performing the guidance analysis during the mission planning phase is discussed, and a spacecraft design option that employs attitude orientation constraints is presented. The improvements required in both the optimization program and simulation program are set forth, together with the efforts to integrate the programs into the ground support software for the guidance system.

Cake, J. E.↗

Development of a unified guidance system for geocentric transfer

A method is presented for open loop guidance of a solar electric propulsion spacecraft to geosynchronous orbit. The method consists of determining the thrust vector profiles on the ground with an optimization computer program, and performing updates based on the difference between the actual trajectory and that predicted with a precision simulation computer program. The motivation for performing the guidance analysis during the mission planning phase is discussed, and a spacecraft design option that employs attitude orientation constraints is presented. The improvements required in both the optimization program and simulation program are set forth, together with the efforts to integrate the programs into the ground support software for the guidance system.

Cake, J. E.↗

Inclusion of explicit thermal requirements in optimum structural design

A finite-element based procedure is described for obtaining minimum mass designs of structures subjected to combined thermal and mechanical loading and both strength and thermal constraints. The procedure is based on a mathematical programming method using the Sequence of Unconstrained Minimizations Technique (SUMT) in which design requirements are incorporated by an exterior penalty function. The procedure is limited to steady-state temperatures which are controlled by structural sizing only. The optimization procedure is demonstrated by the design of a structural wing box with both mechanical loading and external heating, subject to design constraints on stress, minimum gage, and temperature. The final design for these conditions is compared with a corresponding design in which temperature constraints are omitted.

Adelman, H. M.↗