Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “Program synthesis”

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 271 records · Page 15

Reports From EXPORTS Modeling and Data-Mining Activities

EXPORTS -EXport Processes in the Ocean from RemoTe Sensing is NASA’s large field campaign focusing on development of a predictive understanding of the export, fate and carbon cycle impacts of the global net primary production. This co-funded program (NSF, private funding1, and international participation) was conceived in 2013, with EXPORTS Science plan published in 2016 (Siegel et al 2016, EXPORTS Writing Team 2015) and its implementation plan finalized in 2016 (EXPORTS Science Definition Team 2016). More details are presented in Siegel et al (2021). EXPORTS campaign is structured as a multiyear effort (Figure 1). It started with “Pre-EXPORTS” modeling and data-mining activity followed by a first phase with two major field programs and a second synthesis and modeling phase. The “Pre-EXPORTS” projects, total of 6 of them (Table 1), funded under A.3 Ocean Biology and Biogeochemistry 2015 call, helped to plan the field campaign (Resplandy et al 2019, Rousseaux & Gregg 2017), and supporting further global synthesis with datasets mined from the literature (e.g. Bisson et al (2020), Bisson et al (2018), Kramer and Siegel (2019)), directly responding to objectives outlined in Science Plan (see section 6 in Team (2015)) and Implementation team (see Figure 1 in Team (2016)). This document presents a compilation of the final reports of the Pre-EXPORTS funded projects, in hope of synthesizing the outcomes, and insuring the legacy of this program. Each of these reports contains a list of published papers, and reader should refer to them to see results in details.

Brandi J. McCarty↗

Enhanced Attitude Control Experiment for SSTI Lewis Spacecraft

The enhanced attitude control system experiment is a technology demonstration experiment on the NASA's small spacecraft technology initiative program's Lewis spacecraft to evaluate advanced attitude control strategies. The purpose of the enhanced attitude control system experiment is to evaluate the feasibility of designing and implementing robust multi-input/multi-output attitude control strategies for enhanced pointing performance of spacecraft to improve the quality of the measurements of the science instruments. Different control design strategies based on modern and robust control theories are being considered for the enhanced attitude control system experiment. This paper describes the experiment as well as the design and synthesis of a mixed H(sub 2)/H(sub infinity) controller for attitude control. The control synthesis uses a nonlinear programming technique to tune the controller parameters and impose robustness and performance constraints. Simulations are carried out to demonstrate the feasibility of the proposed attitude control design strategy. Introduction

Maghami, Peoman G.↗

User's manual for tooth contact analysis of face-milled spiral bevel gears with given machine-tool settings

Research was performed to develop a computer program that will: (1) simulate the meshing and bearing contact for face milled spiral beval gears with given machine tool settings; and (2) to obtain the output, some of the data is required for hydrodynamic analysis. It is assumed that the machine tool settings and the blank data will be taken from the Gleason summaries. The theoretical aspects of the program are based on 'Local Synthesis and Tooth Contact Analysis of Face Mill Milled Spiral Bevel Gears'. The difference between the computer programs developed herein and the other one is as follows: (1) the mean contact point of tooth surfaces for gears with given machine tool settings must be determined iteratively, while parameters (H and V) are changed (H represents displacement along the pinion axis, V represents the gear displacement that is perpendicular to the plane drawn through the axes of the pinion and the gear of their initial positions), this means that when V differs from zero, the axis of the pionion and the gear are crossed but not intersected; (2) in addition to the regular output data (transmission errors and bearing contact), the new computer program provides information about the contacting force for each contact point and the sliding and the so-called rolling velocity. The following topics are covered: (1) instructions for the users as to how to insert the input data; (2) explanations regarding the output data; (3) numerical example; and (4) listing of the program.

Litvin, Faydor L.↗

Automatic Generation of Algorithms for the Statistical Analysis of Planetary Nebulae Images

Analyzing data sets collected in experiments or by observations is a Core scientific activity. Typically, experimentd and observational data are &aught with uncertainty, and the analysis is based on a statistical model of the conjectured underlying processes, The large data volumes collected by modern instruments make computer support indispensible for this. Consequently, scientists spend significant amounts of their time with the development and refinement of the data analysis programs. AutoBayes [GF+02, FS03] is a fully automatic synthesis system for generating statistical data analysis programs. Externally, it looks like a compiler: it takes an abstract problem specification and translates it into executable code. Its input is a concise description of a data analysis problem in the form of a statistical model as shown in Figure 1; its output is optimized and fully documented C/C++ code which can be linked dynamically into the Matlab and Octave environments. Internally, however, it is quite different: AutoBayes derives a customized algorithm implementing the given model using a schema-based process, and then further refines and optimizes the algorithm into code. A schema is a parameterized code template with associated semantic constraints which define and restrict the template s applicability. The schema parameters are instantiated in a problem-specific way during synthesis as AutoBayes checks the constraints against the original model or, recursively, against emerging sub-problems. AutoBayes schema library contains problem decomposition operators (which are justified by theorems in a formal logic in the domain of Bayesian networks) as well as machine learning algorithms (e.g., EM, k-Means) and nu- meric optimization methods (e.g., Nelder-Mead simplex, conjugate gradient). AutoBayes augments this schema-based approach by symbolic computation to derive closed-form solutions whenever possible. This is a major advantage over other statistical data analysis systems which use numerical approximations even in cases where closed-form solutions exist. AutoBayes is implemented in Prolog and comprises approximately 75.000 lines of code. In this paper, we take one typical scientific data analysis problem-analyzing planetary nebulae images taken by the Hubble Space Telescope-and show how AutoBayes can be used to automate the implementation of the necessary anal- ysis programs. We initially follow the analysis described by Knuth and Hajian [KHO2] and use AutoBayes to derive code for the published models. We show the details of the code derivation process, including the symbolic computations and automatic integration of library procedures, and compare the results of the automatically generated and manually implemented code. We then go beyond the original analysis and use AutoBayes to derive code for a simple image segmentation procedure based on a mixture model which can be used to automate a manual preproceesing step. Finally, we combine the original approach with the simple segmentation which yields a more detailed analysis. This also demonstrates that AutoBayes makes it easy to combine different aspects of data analysis.

Fischer, Bernd↗

Computer-aided communication satellite system analysis and optimization

The capabilities and limitations of the various published computer programs for fixed/broadcast communication satellite system synthesis and optimization are discussed. A satellite Telecommunication analysis and Modeling Program (STAMP) for costing and sensitivity analysis work in application of communication satellites to educational development is given. The modifications made to STAMP include: extension of the six beam capability to eight; addition of generation of multiple beams from a single reflector system with an array of feeds; an improved system costing to reflect the time value of money, growth in earth terminal population with time, and to account for various measures of system reliability; inclusion of a model for scintillation at microwave frequencies in the communication link loss model; and, an updated technological environment.

Stagl, T. W.↗

Simultaneous Process and Heat Exchanger Network Synthesis Using a Discrete Temperature Grid

We present mixed-integer linear programming models for utility targeting and heat exchanger network synthesis that account for variable stream temperatures and flow rates as well as unclassified streams and thus can be combined with process synthesis optimization models. By projecting temperature information onto a fixed discrete temperature grid, the model remains linear even under variable temperatures and flow rates, leading to a more tractable optimization model. The proposed model is well suited to address problems in the area of process intensification where the close interaction between different phenomena naturally leads to process synthesis problems with unclassified process streams. Several extensions are presented, including nonisothermal mixing as well as phase changes. Moreover, we show how a nonuniform grid can be adopted to reduce the complexity of the model for medium and large-size problems.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗

Dual methods and approximation concepts in structural synthesis

Approximation concepts and dual method algorithms are combined to create a method for minimum weight design of structural systems. Approximation concepts convert the basic mathematical programming statement of the structural synthesis problem into a sequence of explicit primal problems of separable form. These problems are solved by constructing explicit dual functions, which are maximized subject to nonnegativity constraints on the dual variables. It is shown that the joining together of approximation concepts and dual methods can be viewed as a generalized optimality criteria approach. The dual method is successfully extended to deal with pure discrete and mixed continuous-discrete design variable problems. The power of the method presented is illustrated with numerical results for example problems, including a metallic swept wing and a thin delta wing with fiber composite skins.

Fleury, C.↗

A satellite system synthesis model for orbital arc allotment optimization

A mixed-integer programming formulation is presented of a satellite system synthesis problem, or geostationary-orbital-planning synthesis problem, which is refered to as the arc allotment problem (AAP). Each satellite administration is to be allotted a weighted-length segment of the geostationary orbital arc within which its satellites may be positioned at any longitude. The objective function maximizes the length of the unweighted arc segment allotted to every administration, subject to single-entry cochannel interference restrictions and constraints imposed by the visible arc for each administration. Useful relationships between special cases of AAP and another satellite synthesis problem are established. Solutions to two example problems are presented.

Reilly, Charles H.↗

On orbital allotments for geostationary satellites

The following satellite synthesis problem is addressed: communication satellites are to be allotted positions on the geostationary arc so that interference does not exceed a given acceptable level by enforcing conservative pairwise satellite separation. A desired location is specified for each satellite, and the objective is to minimize the sum of the deviations between the satellites' prescribed and desired locations. Two mixed integer programming models for the satellite synthesis problem are presented. Four solution strategies, branch-and-bound, Benders' decomposition, linear programming with restricted basis entry, and a switching heuristic, are used to find solutions to example synthesis problems. Computational results indicate the switching algorithm yields solutions of good quality in reasonable execution times when compared to the other solution methods. It is demonstrated that the switching algorithm can be applied to synthesis problems with the objective of minimizing the largest deviation between a prescribed location and the corresponding desired location. Furthermore, it is shown that the switching heuristic can use no conservative, location-dependent satellite separations in order to satisfy interference criteria.

Gonsalvez, David J. A.↗

CEERP SM3 Research, Monitoring, and Evaluation Workshop: Summary Report

The Columbia Estuary Ecosystem Restoration Program (CEERP) workshop, “CEERP Synthesis Memorandum (SM3): Research, Monitoring, and Evaluation,” was held in Portland, Oregon on June 24–25 2024. A diverse group of 26 domain experts with demonstrated knowledge and experience working in the Lower Columbia River Estuary (LCRE) participated. The workshop supported development of the forthcoming third Synthesis Memorandum for CEERP. The workshop furthered the collaborative understanding of the state of the science regarding the LCRE, helped to identify remaining knowledge gaps and uncertainties, and assisted in the prioritization of future restoration research and monitoring.

54 ENVIRONMENTAL SCIENCES↗

Development of a metal-clad advanced composite shear web design concept

An advanced composite web concept was developed for potential application to the Space Shuttle Orbiter main engine thrust structure. The program consisted of design synthesis, analysis, detail design, element testing, and large scale component testing. A concept was sought that offered significant weight saving by the use of Boron/Epoxy (B/E) reinforced titanium plate structure. The desired concept was one that was practical and that utilized metal to efficiently improve structural reliability. The resulting development of a unique titanium-clad B/E shear web design concept is described. Three large scale components were fabricated and tested to demonstrate the performance of the concept: a titanium-clad plus or minus 45 deg B/E web laminate stiffened with vertical B/E reinforced aluminum stiffeners.

Laakso, J. H.↗

Distributed computer system enhances productivity for SRB joint optimization

The Programming System for Structural Synthesis software package, which couples structural analysis and optimization, has been distributed over a network of work stations for use in Space Shuttle Solid Rocket Booster joint redesign optimization. Finite difference computing techniques were applied to the optimization gradients in parallel execution, allowing several work stations to simultaneously contribute to the problem's solution. An optimal joint shape was obtained which achieves minimum weight while keeping the gap between joints well closed and limiting structural stresses. The optimization cycle was reduced from two hours to one-half hour.

Rogers, James L., Jr.↗

Earth materials research: Report of a Workshop on Physics and Chemistry of Earth Materials

The report concludes that an enhanced effort of earth materials research is necessary to advance the understanding of the processes that shape the planet. In support of such an effort, there are new classes of experiments, new levels of analytical sensitivity and precision, and new levels of theory that are now applicable in understanding the physical and chemical properties of geological materials. The application of these capabilities involves the need to upgrade and make greater use of existing facilities as well as the development of new techniques. A concomitant need is for a sample program involving their collection, synthesis, distribution, and analysis.

Source record↗

Analytical and Computational Properties of Distributed Approaches to MDO

Historical evolution of engineering disciplines and the complexity of the MDO problem suggest that disciplinary autonomy is a desirable goal in formulating and solving MDO problems. We examine the notion of disciplinary autonomy and discuss the analytical properties of three approaches to formulating and solving MDO problems that achieve varying degrees of autonomy by distributing the problem along disciplinary lines. Two of the approaches-Optimization by Linear Decomposition and Collaborative Optimization-are based on bi-level optimization and reflect what we call a structural perspective. The third approach, Distributed Analysis Optimization, is a single-level approach that arises from what we call an algorithmic perspective. The main conclusion of the paper is that disciplinary autonomy may come at a price: in the bi-level approaches, the system-level constraints introduced to relax the interdisciplinary coupling and enable disciplinary autonomy can cause analytical and computational difficulties for optimization algorithms. The single-level alternative we discuss affords a more limited degree of autonomy than that of the bi-level approaches, but without the computational difficulties of the bi-level methods. Key Words: Autonomy, bi-level optimization, distributed optimization, multidisciplinary optimization, multilevel optimization, nonlinear programming, problem integration, system synthesis

Alexandrov, Natalia M.↗

Investigation of Methods for the Structural Weight Analysis of a Mach 2.4 Axisymmetric Inlet

Structural design and analysis tools appropriate for estimating the structural weight of an axisymmetric inlet designed for Mach 2.4 cruise were evaluated. Little information regarding the inlet mechanical design is available in the preliminary design phase, so it is necessary to first develop a reasonable structural design before estimating the inlet weight. The Internally Pressurized Structure Synthesis and Optimization (IPSSO) program, employing an analytical approach, was chosen for evaluation due to its combined design and analysis capabilities. The inlet design produced by IPSSO was then analyzed using the NASTRAN finite element program. The finite element analysis was performed to help identify the limitations of the analytically based code as well as to evaluate NASTRAN for this application. Comparison between the IPSSO inlet weight and that of a similar inlet developed by the Boeing Commercial Airplane Group was also made. Program evaluation concluded that the combined use of IPSSO to create an initial design and NASTRAN to perform a numerical analysis would provide the capability to evaluate a limited number of inlet design The development of a new tool for the minimum weight design and analysis of inlet structures would be required for greater flexibility in evaluating inlet conceptual designs.

Nadell, Shari-Beth↗