Availability of computer programs for circuit design.
Five classes of automated general purpose computer program for circuit design analysis
NETWORK SYNTHESIS↗
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.
Users manual for flight control design programs
Computer programs for the design of analog and digital flight control systems are documented. The program DIGADAPT uses linear-quadratic-gaussian synthesis algorithms in the design of command response controllers and state estimators, and it applies covariance propagation analysis to the selection of sampling intervals for digital systems. Program SCHED executes correlation and regression analyses for the development of gain and trim schedules to be used in open-loop explicit-adaptive control laws. A linear-time-varying simulation of aircraft motions is provided by the program TVHIS, which includes guidance and control logic, as well as models for control actuator dynamics. The programs are coded in FORTRAN and are compiled and executed on both IBM and CDC computers.
Nalbandian, J. Y.↗
Rotating Detonation Combustion for Gas Turbines – Modeling and System Synthesis to Exceed 65% Efficiency Goal
Overview of program to date under agreement DE-FE0023983.
03 NATURAL GAS↗
PPPL Laboratory Directed Research and Development (Project Final Reports, FY2018 - FY2020)
The U.S. Department of Energy’s (DOE) Princeton Plasma Physics Laboratory (PPPL) is a collaborative national center for fusion energy science, basic sciences, and advanced technology. The Laboratory has three major missions: (1) to develop the scientific knowledge and advanced engineering to enable fusion to power the U.S. and the world; (2) to advance the science of nanoscale fabrication for technologies of tomorrow; and (3) to further the development of the scientific understanding of the plasma universe from laboratory to astrophysical scales. PPPL’s Laboratory Directed Research and Development (LDRD) program supports and encourages creativity and innovation and contributes to its long-term viability. New scientific and technical research areas emerge and are nurtured through the program. Furthermore, new capabilities are developed to enable the Laboratory to meet its and DOE’s missions. The program is used to systematically diversify the Laboratory’s programs and mission. In the last few years, the program has started projects in nanomaterial synthesis, microelectronics, advanced x-ray spectroscopy, high-energy-density physics, superconducting magnet technology, machine learning and artificial intelligence, 3D magnetic fields to optimize fusion plasmas, integration of permanent magnets with simple high-field magnets to reduce the cost of producing complex 3D magnetic fields, advanced computational methods for predictive understanding and control of fusion plasma, development of quantum computing algorithms for plasma physics, liquid metal plasma-facing components for fusion reactors, virtual engineering, and plasma-based space propulsion. The program is also the vehicle to recruit and train talented scientists and engineers with the new skills needed to perform the Laboratory’s mission. Many of the new hires through the program go on to become world-class scientists and engineers in their fields. This report provides descriptions and accomplishments of those LDRD projects that were completed during fiscal years 2018 through 2020.
36 MATERIALS SCIENCE↗
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.↗
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.↗
Final report: Understanding influence of thermal history and glass chemistry on kinetics of phase separation and crystallization in borosilicate glass-ceramic waste forms for aqueous reprocessed high level waste
This report provides an overview of the research activities conducted over the three-year period, October 1, 2015 to September 30, 2018. The project consisted of the US DOE component and a parallel project funded by the UK’s EPSRC. The US project is reported here, with some overview of the UK project results. The project was designed to be highly collaborative, including work in the US by Washington State University and Rutgers University, and in the UK by the University of Sheffield and the University of Warwick. Pacific Northwest National Laboratory supported the US project with some synthesis and some characterization. The overall program had two aims: (Aim 1) Understand fundamental mechanisms of the phase transitions leading to the conversion of melt to multiphase glass-ceramic as a function of composition and cooling rate; (Aim 2) Understand influence of glass chemistry on kinetics of phase separation and crystallization. This report includes the summary of the project objectives, approaches, results and deliverables.
36 MATERIALS SCIENCE↗
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↗
Evidence-based evaluation of the cumulative effects of ecosystem restoration
Evaluating the cumulative effects of large-scale ecological restoration programs is necessary to inform adaptive ecosystem management and provide society with resilient and sustainable services. However, complex linkages between restorative actions and ecosystem responses make evaluations problematic. Despite long-term federal investments in restoring aquatic ecosystems, no standard evaluation method has been adopted and most programs focus on monitoring and analysis, not synthesis and evaluation. In this paper, we demonstrate a new transdisciplinary approach integrating techniques from evidence-based medicine, critical thinking, and cumulative effects assessment. Tiered hypotheses are identified using an ecosystem conceptual model. The systematic literature review at the core of evidence-based assessment becomes one of many lines of evidence assessed collectively, using critical thinking strategies and causal criteria from a cumulative effects perspective. As a demonstration, we analyzed data from 166 locations on the Columbia River and estuary representing 12 indicators of habitat and fish response to floodplain restoration actions intended to benefit threatened and endangered salmon. Synthesis of seven lines of evidence showed that hydrologic reconnection promoted macrodetritis export, prey availability, and fish access and feeding. The evidence was sufficient to infer cross-boundary, indirect, compounding and delayed cumulative effects, and suggestive of nonlinear, landscape-scale, and spatial density effects. On the basis of causal inferences regarding food web functions, we concluded that the restoration program has a cumulative beneficial effect on juvenile salmon. As a result, this evidence-based approach will enable the evaluation of restoration in complex coastal and riverine ecosystems where data have accumulated without sufficient synthesis.
54 ENVIRONMENTAL SCIENCES↗
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.↗