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 361 records · Page 20

To catch a child's imagination 2: Educational update on CAN-DO

At the G.A.S. Symposium last year, the Charleston County Public School CAN DO Project outlined an ambitious educational program revolving around the photography of Comet Halley from the Shuttle using a GAS canister. The target flight was STS 61-E scheduled for a March, 1986, launch. Such strict time constraints and highly specific mission requirements made the CAN DO program even more risky than normal. In spite of this, almost all of the planned educational goals were achieved, even after the postponement of all Shuttle activities in January of 1986. This follow-up paper summarizes the effects of events on the program as proposed and the attempts to carry out as many of the activities as possible. It is hoped that this paper will suggest constructive ways in which to cope with the delays and mishaps that are the invariable lot of pioneers who break new ground and attempt the new and untried.

Nicholson, James H.↗

A numerical procedure for the parametric optimization of three dimensional scramjet nozzles

A numerical procedure permitting the rapid determination of the internal performance of a class of scramjet nozzle configurations is presented. The approach developed is based on the construction of quasi two dimensional simple wave networks, where lateral expansion effects are incorporated by one dimensional approximations. A numerical procedure following this approach has has been developed and results obtained are highly comparable to those obtained employing a characteristic procedure. The numerical program developed permits the parametric variation of cowl length, turning angles on the cowl and vehicle undersurface and lateral expansion and is subject to fixed constraints such as the vehicle length and nozzle exit height. The program requires uniform initial conditions at the burner exit station and yields the location of all predominant wave zones, accounting for lateral expansion effects. In addition, the program yields the detailed pressure distribution on the cowl and vehicle undersurface and calculates the nozzle thrust, lift and pitching moment.

Dash, S.↗

An improved numerical procedure for the parametric optimization of three dimensional scramjet nozzles

A parametric numerical procedure permitting the rapid determination of the performance of a class of scramjet nozzle configurations is presented. The geometric complexity of these configurations ruled out attempts to employ conventional nozzle design procedures. The numerical program developed permitted the parametric variation of cowl length, turning angles on the cowl and vehicle undersurface and lateral expansion, and was subject to fixed constraints such as the vehicle length and nozzle exit height. The program required uniform initial conditions at the burner exit station and yielded the location of all predominant wave zones, accounting for lateral expansion effects. In addition, the program yielded the detailed pressure distribution on the cowl, vehicle undersurface and fences, if any, and calculated the nozzle thrust, lift and pitching moments.

Dash, S.↗

Partitioning problems in parallel, pipelined and distributed computing

The problem of optimally assigning the modules of a parallel program over the processors of a multiple computer system is addressed. A Sum-Bottleneck path algorithm is developed that permits the efficient solution of many variants of this problem under some constraints on the structure of the partitions. In particular, the following problems are solved optimally for a single-host, multiple satellite system: partitioning multiple chain structured parallel programs, multiple arbitrarily structured serial programs and single tree structured parallel programs. In addition, the problems of partitioning chain structured parallel programs across chain connected systems and across shared memory (or shared bus) systems are also solved under certain constraints. All solutions for parallel programs are equally applicable to pipelined programs. These results extend prior research in this area by explicitly taking concurrency into account and permit the efficient utilization of multiple computer architectures for a wide range of problems of practical interest.

Bokhari, S.↗

Grid-Aware Charging and Operational Optimization for Mixed-Fleet Public Transit

The rapid growth of urban populations and the increasing need for sustainable transportation solutions have prompted a shift towards electric buses in public transit systems. However, the effective management of mixed fleets consisting of both electric and diesel buses poses significant operational challenges. One major challenge is coping with dynamic electricity pricing, where charging costs vary throughout the day. Transit agencies must optimize charging assignments in response to such dynamism while accounting for secondary considerations such as seating constraints. This paper presents a comprehensive mixed-integer linear programming (MILP) model to address these challenges by jointly optimizing charging schedules and trip assignments for mixed (electric and diesel bus) fleets while considering factors such as dynamic electricity pricing, vehicle capacity, and route constraints. We address the potential computational intractability of the MILP formulation, which can arise even with relatively small fleets, by employing a hierarchical approach tailored to the fleet composition. By using real-world data from the city of Chattanooga, Tennessee, USA, we show that our approach can result in significant savings in the operating costs of the mixed transit fleets.

Sen, Rishav↗

Monitoring Properties of Programs

Development of complex systems requires interaction between a large group of people at various levels of software development, including the communication of properties of the system and the data to be manipulated. A natural idea is to maintain a centralized database of properties of the system to which all members of the development group have access, and to automate the process of checking for violations against this database. The focus of this paper is to discuss such an automated process, called integrity constraint checking. The paper defines the notion of an integrity constraint and discusses considerations for adding an automated checker to a programming language compiler or interpreter. Current work on the implementation of integrity constraint checking in a very high-level language called SequenceL is discussed, and future work in developing a similar checker in an imperative language is outlined.

Fernandez, Francisco G.↗

An advanced structural analysis/synthesis capability - ACCESS 2

An advanced automated design procedure for minimum weight design of structures (ACCESS 2) is reported. Design variable linking, constraint deletion, and explicit constraint approximation are used to effectively combine finite element and nonlinear mathematical programming techniques. The approximation concepts approach to structural synthesis is extended to problems involving fiber composite structure, thermal effects and natural frequency constraints in addition to the usual static stress and displacement limitations. Sample results illustrating these new features are given.

Schmit, L. A.↗

NAVSIM 2: A computer program for simulating aided-inertial navigation for aircraft

NAVSIM II, a computer program for analytical simulation of aided-inertial navigation for aircraft, is described. The description is supported by a discussion of the program's application to the design and analysis of aided-inertial navigation systems as well as instructions for utilizing the program and for modifying it to accommodate new models, constraints, algorithms and scenarios. NAVSIM II simulates an airborne inertial navigation system built around a strapped-down inertial measurement unit and aided in its function by GPS, Doppler radar, altimeter, airspeed, and position-fix measurements. The measurements are incorporated into the navigation estimate via a UD-form Kalman filter. The simulation was designed and implemented using structured programming techniques and with particular attention to user-friendly operation.

Bjorkman, William S.↗

Strategic plan, 1991: A strategy for leadership in space through excellence in space science and applications

In 1988, the Office of Space Science and Applications (OSSA) developed and published a Strategic Plan for the United States' space science and applications program during the next 5 to 10 years. The Plan presented the proposed OSSA program for the next fiscal year and defined a flexible process that provides the basis for near-term decisions on the allocation of resources and the planning of future efforts. Based on the strategies that have been developed by the advisory committees both of the National Academy of Sciences and of NASA, the Plan balances major, moderate, and small mission initiatives, the utilization of Space Station Freedom, and the requirements for a vital research base. The Plan can be adjusted to accommodate varying budget levels, both those levels that provide opportunities for an expanded science and applications program, and those that constrain growth. SSA's strategic planning is constructed around five actions: establish a set of programmatic themes; establish a set of decision rules; establish a set of priorities for missions and programs within each theme; demonstrate that the strategy can yield a viable program; and check the strategy for consistency with resource constraints. The outcome of this process is a clear, coherent strategy that meets both NASA's and OSSA's goals, that assures realism in long-range planning and advanced technology development, and that provides sufficient resiliency to respond and adapt to both known and unexpected internal and external realities. The OSSA Strategic Plan is revised annually to reflect the approval of new programs, improved understanding of requirements and issues, and any major changes in the circumstances, both within NASA and external to NASA, in which OSSA initiatives are considered.

Source record↗

Computer simulation for attitude disturbance torques for the Tiros-series.

Description of the Tiros-M Magnetic Attitude Prediction Program (TMMGAP), a simulation program designed to assist in the rotational motion control of the Tiros-series spacecraft. The subsystems of the program include input, attitude simulation, executive, attitude control and output components, simulating solar radiation pressure torque, gravity gradient torque, residual magnetic moment torque, and magnetic attitude control torques. The program provides data for prelaunch studies for launch window selection and mission planning, facilitates spacecraft spin axis reorientation after launch, provides spin axis control recommendations to meet mission constraints, and assists in the interpretation of cloud cover data. The program is characterized as effective in controlling spin axis and in processing picture data.

Sugai, I.↗

Preliminary Optimal Orbit Design for the Laser Interferometer Space Antenna (LISA)

In this paper we present a preliminary optimal orbit analysis for the Laser Interferometer Space Antenna (LISA). LISA is a NASA/ESA mission to study gravitational waves and test predictions of general relativity. The nominal formation consists of three spacecraft in heliocentric orbits at 1 AU and trailing the Earth by twenty degrees. This configuration was chosen as a trade off to reduce the noise sources that will affect the instrument and to reduce the fuel to achieve the final orbit. We present equations for the nominal orbit design and discuss several different measures of performance for the LISA formation. All of the measures directly relate the formation dynamics to science performance. Also, constraints on the formation dynamics due to spacecraft and instrument limitations are discussed. Using the nominal solution as an initial guess, the formation is optimized using Sequential Quadratic Programming to maximize the performance while satisfying a set of nonlinear constraints. Results are presented for each of the performance measures.

Hughes, Steven P.↗

Best-Fit Conic Approximation of Spacecraft Trajectory

A computer program calculates a best conic fit of a given spacecraft trajectory. Spacecraft trajectories are often propagated as conics onboard. The conic-section parameters as a result of the best-conic-fit are uplinked to computers aboard the spacecraft for use in updating predictions of the spacecraft trajectory for operational purposes. In the initial application for which this program was written, there is a requirement to fit a single conic section (necessitated by onboard memory constraints) accurate within 200 microradians to a sequence of positions measured over a 4.7-hour interval. The present program supplants a prior one that could not cover the interval with fewer than four successive conic sections. The present program is based on formulating the best-fit conic problem as a parameter-optimization problem and solving the problem numerically, on the ground, by use of a modified steepest-descent algorithm. For the purpose of this algorithm, optimization is defined as minimization of the maximum directional propagation error across the fit interval. In the specific initial application, the program generates a single 4.7-hour conic, the directional propagation of which is accurate to within 34 microradians easily exceeding the mission constraints by a wide margin.

Singh, Gurkipal↗

Optimum structural design with plate bending elements - A survey

A survey is presented of recently published papers in the field of optimum structural design of plates, largely with respect to the minimum-weight design of plates subject to such constraints as fundamental frequency maximization. It is shown that, due to the availability of powerful computers, the trend in optimum plate design is away from methods tailored to specific geometry and loads and toward methods that can be easily programmed for any kind of plate, such as finite element methods. A corresponding shift is seen in optimization from variational techniques to numerical optimization algorithms. Among the topics covered are fully stressed design and optimality criteria, mathematical programming, smooth and ribbed designs, design against plastic collapse, buckling constraints, and vibration constraints.

Haftka, R. T.↗

Helicopter vibration reduction using structural optimization with aeroelastic/multidisciplinary constraints - A survey

This paper presents a survey of the state-of-the-art in the field of structural optimization when applied to vibration reduction of helicopters in forward flight with aeroelastic and multidisciplinary constraints. It emphasizes the application of the modern approach where the optimization is formulated as a mathematical programming problem, the objective function consists of the vibration levels at the hub, and behavior constraints are imposed on the blade frequencies and aeroelastic stability margins, as well as on a number of additional ingredients that can have a significant effect on the overall performance and flight mechanics of the helicopter. It is shown that the integrated multidisciplinary optimization of rotorcraft offers the potential for substantial improvements, which can be achieved by careful preliminary design and analysis without requiring additional hardware such as rotor vibration absorbers of isolation systems.

Friedmann, Peretz P.↗

Multi-parametric analysis for mixed integer linear programming: An application to transmission upgrade and congestion management

Upgrading the capacity of existing transmission lines is essential for meeting the growing energy demands, facilitating the integration of renewable energy, and ensuring the security of the transmission system. This study focuses on the selection of lines whose capacities and by how much should be expanded from the perspective of the Independent System Operators (ISOs) to minimize the total system cost. We employ advanced multi-parametric programming and an enhanced branch-and-bound algorithm to address complex mixed-integer linear programming (MILP) problems, considering multi-period time constraints and physical limitations of generators and transmission lines. To characterize the various decisions in transmission expansion, we model the increased capacity of existing lines as parameters within a specified range. This study first relaxes the binary variables to continuous variables and applies the Lagrange method and Karush-Kuhn-Tucker (KKT) conditions to obtain optimal solutions and identify critical regions associated with active and inactive constraints. Moreover, we extend the traditional branch-and-bound (B&B) method by determining the problem’s upper and lower bounds at each node of the B&B decision tree, helping to manage computational challenges in large-scale MILP problems. Here, we compare the difference between the upper and lower bounds to obtain an approximate optimal solution within the decision-makers’ tolerable error range. In addition, the first derivative of the objective function on the parameters of each line is used to inform the selection of lines for easing congestion and maximizing social welfare. Finally, the capacity upgrades are selected by weighing the reductions in system costs against the expense of upgrading line capacities. The findings are supported by numerical simulations and provide transmission-line planners with decision-making guidance.

24 POWER TRANSMISSION AND DISTRIBUTION↗

Star tracker constraint violations digital capability description and analysis results. Mission planning, mission analysis, and software formulation

Results of star tracker constraint violation analyses performed with the digital computer program Shuttle Attitude and Pointing Time Line Processor (SAPT) are presented. Results are typical of those utilized to provide the information required to update Baseline Reference Mission Attitude and Pointing Time Lines. Descriptions of SAPT modifications implemented to perform these analyses are also presented.

Poston, P. L.↗

Fiscal year 1976 progress report on a feasibility study evaluating the use of surface penetrators for planetary exploration

The feasibility of employing penetrators for exploring Mars was examined. Eight areas of interest for key scientific experiments were identified. These include: seismic activity, imaging, geochemistry, water measurement, heatflow, meteorology, magnetometry, and biochemistry. In seven of the eight potential experiment categories this year's progress included: conceptual design, instrument fabrication, instrument performance evaluation, and shock loading of important components. Most of the components survived deceleration testing with negligible performance changes. Components intended to be placed inside the penetrator forebody were tested up to 3,500 g and components intended to be placed on the afterbody were tested up to 21,000 g. A field test program was conducted using tentative Mars penetrator mission constraints. Drop tests were performed at two selected terrestrial analog sites to determine the range of penetration depths for anticipated common Martian materials. Minimum penetration occurred in basalt at Amboy, California. Three full-scale penetrators penetrated 0.4 to 0.9 m into the basalt after passing through 0.3 to 0.5 m of alluvial overburden. Maximum penetration occurred in unconsolidated sediments at McCook, Nebraska. Two full-scale penetrators penetrated 2.5 to 8.5 m of sediment. Impact occurred in two kinds of sediment: loess and layered clay. Deceleration g loads of nominally 2,000 for the forebody and 20,000 for the afterbody did not present serious design problems for potential experiments. Penetrators have successfully impacted into terrestrial analogs of the probable extremes of potential Martian sites.

Blanchard, M. B.↗