Synthesis of dynamic systems
FORTRAN matrix analysis /FORMA/ program finds solutions of small and medium size structural dynamics problems of up to 150 deg of freedom.
Admire, J. R.↗
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.
Shorter function summaries for finite state machine-based high consequence systems using logic synthesis and tautologies (Final Report LDRD 24-1302)
Computer programs are often viewed as collections of functions – each function has parameters (inputs) and computes a return value, and each has potential side effects that modify program state (outputs). In this research, a Sandia symbolic execution tool designed to support “human-in-the-loop” analysis was modified to automatically create “function summaries,” and a new tool, “diaboolical,” was created to support enhancing readability of the summary using a novel approach to bit-vector simplification that leverages logic synthesis and tautologies. For this effort, students at Auburn University created several finite state machines (FSMs) to serve as exemplars for high-consequence systems. Function summaries for each of the machines were obtained, and then portions of the summaries were simplified using both diaboolical and the simplification procedure of a popular SMT solver. A comparison of the results shows that diaboolical can often produce smaller function summaries, with expression length improvements over the unsimplified function summaries ranging from 0% to 90% for diaboolical and 0% to 65% for the SMT solver, though diaboolical had a significantly greater cost in time. Diaboolical was evaluated against a collection of “arbitrary” C-code as well as FSM exemplars, and for both datasets it achieved an approximately 10% improvement in expression length compared to simplifications that could be obtained using existing techniques. Function summaries can assist assurance efforts that evaluate existing systems and their executable code. A smaller function summary is likely easier for humans to understand and could thus increase the ability and efficacy of assurance practices centered around the analysis of executable artifacts.
97 MATHEMATICS AND COMPUTING↗
Digital control of high-intensity acoustic testing
Three systems for the control of acoustic testing are compared: a hybrid digital/analog system, a digital vibration system, and the same digital vibration system modified by a software change. The hybrid system was constructed to control the 1/3-octaves from 50 to 1000 Hz. The vibration system was equipped with programs for sine and random vibration tests, shock analysis and synthesis, and signal analysis. For the modified vibration system, the random-vibration control program of the unmodified unit was changed so that acoustic tests could be performed. The performance of the three systems is compared by conducting probability-density and time-history analyses of the proposed test spectrum for the Mariner Jupiter/Saturn 1977 program. The results of the analyses show that the hybrid and modified vibration systems perform almost equally, but the modified vibration system is easier to use and produces better test documentation.
Slusser, R. A.↗
Feasibility study of a synthesis procedure for array feeds to improve radiation performance of large distorted reflector antennas
The following subject areas are covered: General Reflector Antenna Systems Program version 7(GRASP7); Multiple Reflector Analysis Program for Cylindrical Antennas (MRAPCA); Tri-Reflector 2D Synthesis Code (TRTDS); a geometrical optics and a physical optics synthesis techniques; beam scanning reflector, the type 2 and 6 reflectors, spherical reflector, and multiple reflector imaging systems; and radiometric array design.
Stutzman, W. L.↗
Linear systems analysis program, L224(QR). Volume 2: Supplemental system design and maintenance document
The computer program known as QR is described. Classical control systems analysis and synthesis (root locus, time response, and frequency response) can be performed using this program. Programming details of the QR program are presented.
Heidergott, K. W.↗
Robust Polymer Electrolytes For Flexible Energy Storage (CRADA Final Report)
As part of the Cyclotron Road program, Anthro Energy investigated the formulation, synthesis, and application of advanced supramolecular compounds for lithium-ion batteries. Anthro Energy developed and tested formulations and chemistries to create polymeric materials with improved mechanical strength, safety, and electrochemical performance. These materials were explored for use in next-generation batteries with a variety of form factors. Initially, Anthro Energy tested these materials to create flexible and deformable batteries, which are in high demand for the wearable/flexible electronics industry. In future work, Anthro Energy’s materials may be applied to create rigid structural batteries, or to enable novel chemistries such as silicon anodes or lithium metal anodes. In the process of testing the company’s unique lithium-ion cells, Anthro Energy explored the development and utilization of novel cell components, cell architectures, and testing protocols. These next-generation flexible and structural batteries may eventually enable new categories of electronic devices.
25 ENERGY STORAGE↗
System analysis in rotorcraft design: The past decade
Rapid advances in the technology of electronic digital computers and the need for an integrated synthesis approach in developing future rotorcraft programs has led to increased emphasis on system analysis techniques in rotorcraft design. The task in systems analysis is to deal with complex, interdependent, and conflicting requirements in a structured manner so rational and objective decisions can be made. Whether the results are wisdom or rubbish depends upon the validity and sometimes more importantly, the consistency of the inputs, the correctness of the analysis, and a sensible choice of measures of effectiveness to draw conclusions. In rotorcraft design this means combining design requirements, technology assessment, sensitivity analysis and reviews techniques currently in use by NASA and Army organizations in developing research programs and vehicle specifications for rotorcraft. These procedures span simple graphical approaches to comprehensive analysis on large mainframe computers. Examples of recent applications to military and civil missions are highlighted.
Galloway, Thomas L.↗
Remote voice training: A case study on space shuttle applications, appendix C
The Tile Automation System includes applications of automation and robotics technology to all aspects of the Shuttle tile processing and inspection system. An integrated set of rapid prototyping testbeds was developed which include speech recognition and synthesis, laser imaging systems, distributed Ada programming environments, distributed relational data base architectures, distributed computer network architectures, multi-media workbenches, and human factors considerations. Remote voice training in the Tile Automation System is discussed. The user is prompted over a headset by synthesized speech for the training sequences. The voice recognition units and the voice output units are remote from the user and are connected by Ethernet to the main computer system. A supervisory channel is used to monitor the training sequences. Discussions include the training approaches as well as the human factors problems and solutions for this system utilizing remote training techniques.
Mollakarimi, Cindy↗
Space Congress, 29th, Cocoa Beach, FL, Apr. 21-24, 1992, Proceedings
The present volume on the quest for new frontiers in space discusses weather impacts on space operations, planning for the performance of future space bases, a new guidance and control unit for the Titan IV vehicle, and nondestructive evaluation of Shuttle Columbia tiles. Attention is given to Space Shuttle payload accommodations and trends in customer demands, a generic propellants transfer unit, making space part of general education, space station on-orbit solar array loads during assembly, and dimensional stability of the attitude reference assembly on SSF. Topics addressed include National Launch System payload accommodations and launch operations, the integrated factory/launch site processing concept, Pioneer 10 interstellar studies, and the role of advanced nuclear propulsion systems in precursor interstellar missions. Also discussed are legal challenges in realizing interstellar initiatives, Mars transportation system synthesis, and NASA's commercial space program.
Source record↗
Automated Finite Element Modeling of Wing Structures for Shape Optimization
The displacement formulation of the finite element method is the most general and most widely used technique for structural analysis of airplane configurations. Modem structural synthesis techniques based on the finite element method have reached a certain maturity in recent years, and large airplane structures can now be optimized with respect to sizing type design variables for many load cases subject to a rich variety of constraints including stress, buckling, frequency, stiffness and aeroelastic constraints (Refs. 1-3). These structural synthesis capabilities use gradient based nonlinear programming techniques to search for improved designs. For these techniques to be practical a major improvement was required in computational cost of finite element analyses (needed repeatedly in the optimization process). Thus, associated with the progress in structural optimization, a new perspective of structural analysis has emerged, namely, structural analysis specialized for design optimization application, or.what is known as "design oriented structural analysis" (Ref. 4). This discipline includes approximation concepts and methods for obtaining behavior sensitivity information (Ref. 1), all needed to make the optimization of large structural systems (modeled by thousands of degrees of freedom and thousands of design variables) practical and cost effective.
Harvey, Michael Stephen↗
Turbopump Performance Improved by Evolutionary Algorithms
The development of design optimization technology for turbomachinery has been initiated using the multiobjective evolutionary algorithm under NASA's Intelligent Synthesis Environment and Revolutionary Aeropropulsion Concepts programs. As an alternative to the traditional gradient-based methods, evolutionary algorithms (EA's) are emergent design-optimization algorithms modeled after the mechanisms found in natural evolution. EA's search from multiple points, instead of moving from a single point. In addition, they require no derivatives or gradients of the objective function, leading to robustness and simplicity in coupling any evaluation codes. Parallel efficiency also becomes very high by using a simple master-slave concept for function evaluations, since such evaluations often consume the most CPU time, such as computational fluid dynamics. Application of EA's to multiobjective design problems is also straightforward because EA's maintain a population of design candidates in parallel. Because of these advantages, EA's are a unique and attractive approach to real-world design optimization problems.
Oyama, Akira↗
ACCESS 3. Approximation concepts code for efficient structural synthesis: User's guide
A user's guide is presented for ACCESS-3, a research oriented program which combines dual methods and a collection of approximation concepts to achieve excellent efficiency in structural synthesis. The finite element method is used for structural analysis and dual algorithms of mathematical programming are applied in the design optimization procedure. This program retains all of the ACCESS-2 capabilities and the data preparation formats are fully compatible. Four distinct optimizer options were added: interior point penalty function method (NEWSUMT); second order primal projection method (PRIMAL2); second order Newton-type dual method (DUAL2); and first order gradient projection-type dual method (DUAL1). A pure discrete and mixed continuous-discrete design variable capability, and zero order approximation of the stress constraints are also included.
Fleury, C.↗
Development of a figure-of-merit for space missions
The concept of a quantitative figure-of-merit (FOM) to evaluate different and competing options for space missions is further developed. Over six hundred individual factors are considered. These range from mission orbital mechanics to in-situ resource utilization (ISRU/ISMU) plants. The program utilizes a commercial software package for synthesis and visual display; the details are completely developed in-house. Historical FOM's are derived for successful space missions such as the Surveyor, Voyager, Apollo, etc. A cost FOM is also mentioned. The bulk of this work is devoted to one specific example of Mars Sample Return (MSR). The program is flexible enough to accommodate a variety of evolving technologies. Initial results show that the FOM for sample return is a function of the mass returned to LEO, and that missions utilizing ISRU/ISMU are far more cost effective than those that rely on all earth-transported resources.
Preiss, Bruce↗
Modal Analysis and Gain Estimation
Interactive program yields eigenvectors, eigenvalues, and gains for feedback-control systems. Interactive Modal Analysis and Gain Estimation System (IMAGES) provides eigensystem synthesis capability to control-system engineer. IMAGES modular and flexible. Capable of both modal and spectral synthesis of multi-input control systems. IMAGES user-oriented, interactive program that frees engineer to concentrate on eigensystem synthesis. Engineer provided with scratch-pad capability that speeds control-system design.
Jones, R. L.↗
Metamaterials as a Platform for the Development of Novel Materials for Energy Applications
To explore the fundamental properties of metamaterials (MMs) / metasurfaces and their potential for control of energy at the sub‐wavelength scale in support of the mission of the Department of Energy and the office of Basic Energy Sciences. Electromagnetic metamaterials provide a platform for the discovery and design of new materials with novel structures, functions, and properties. The PI proposes to advance the knowledge base of these materials through fundamental investigations of the experimental and theoretical properties of metamaterials for the discovery, prediction and design of new materials with novel structures, functions, and properties. The proposed research activities emphasize a complete basic research program including the conceptual / computational design, fabrication / synthesis of the materials, and the characterization and analysis of their electromagnetic properties. The proposed project explores the fundamental properties of metamaterials / metasurfaces and their potential for energy applications. There are three main topics which will be investigated: 1) Dispersion engineering with metamaterials and metasurfaces, 2) Epsilon near zero metamaterial absorbers and emitters, and 3) All dielectric metamaterials. The program implements a complete basic research program consisting of theory / design, modeling, characterization, and analysis, in order to fully characterize metamaterials and metasurfaces, while at the same time minimizing iterations necessary to achieve the proposal goals.
36 MATERIALS SCIENCE↗
A research program in active control/aeroelasticity
In this research period a synthesis methodology for multifunctional robust aeroservoelastic systems was developed. The development consisted of the following stages: (1) development of an universal diagram to determine phase and gain margins of a multi-input multi-output (MIMO) system using singular value based stability margin criteria; (2) determination of singular value gradients with respect to design parameters and their application to improve stability margins of multiloop system; and (3) application of constrained optimization techniques to synthesize a low order robust controller for a high order MIMO aeroservoelastic system while satisfying several design constraints on the dynamic loads and responses and stability margins at the plant input and output. Overall research activities are summarized.
Source record↗
Compile-time estimation of communication costs in multicomputers
An important problem facing numerous research projects on parallelizing compilers for distributed memory machines is that of automatically determining a suitable data partitioning scheme for a program. Any strategy for automatic data partitioning needs a mechanism for estimating the performance of a program under a given partitioning scheme, the most crucial part of which involves determining the communication costs incurred by the program. A methodology is described for estimating the communication costs at compile-time as functions of the numbers of processors over which various arrays are distributed. A strategy is described along with its theoretical basis, for making program transformations that expose opportunities for combining of messages, leading to considerable savings in the communication costs. For certain loops with regular dependences, the compiler can detect the possibility of pipelining, and thus estimate communication costs more accurately than it could otherwise. These results are of great significance to any parallelization system supporting numeric applications on multicomputers. In particular, they lay down a framework for effective synthesis of communication on multicomputers from sequential program references.
Gupta, Manish↗
Automation of Shuttle Tile Inspection - Engineering methodology for Space Station
The Space Systems Integration and Operations Research Applications (SIORA) Program was initiated in late 1986 as a cooperative applications research effort between Stanford University, NASA Kennedy Space Center, and Lockheed Space Operations Company. One of the major initial SIORA tasks was the application of automation and robotics technology to all aspects of the Shuttle tile processing and inspection system. This effort has adopted a systems engineering approach consisting of an integrated set of rapid prototyping testbeds in which a government/university/industry team of users, technologists, and engineers test and evaluate new concepts and technologies within the operational world of Shuttle. These integrated testbeds include speech recognition and synthesis, laser imaging inspection systems, distributed Ada programming environments, distributed relational database architectures, distributed computer network architectures, multimedia workbenches, and human factors considerations.
Wiskerchen, M. J.↗