Cadd - On-line synthesis of logic circuits
CADD on-line programming system for logic circuit synthesis
ON-LINE PROGRAMMING↗
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.
Research in computer technology, spectrometry, control systems, vacuum instrumentation, plasma physics, superconductivity and related topics Progress report, Jun. - Aug. 1965
Research projects on surface and plasma physics, computer programming, information processing, superconductivity, ionospheric data, network synthesis and related fields
IONOSPHERE↗
On the theory of the synthesis of offset dual-shaped reflectors - Case examples
In an earlier paper by Galindo-Israel et al. (1987), the geometrical optics (GO) principles, constraints, and requirements of the dual- and single-offset-shaped reflector synthesis problem were collected and developed into a set of nonlinear first-order PDEs. An extension of the methods by which solutions to the PDEs can be obtained is presented, together with several case examples. These examples are independently analyzed by GO and physical optics diffraction methods. The starting point for the integration over each reflector can be taken on the outer rim, at the center, or at an intermediate point-the intermediate starting point being the more general case. The utility of the speed of this synthesis method is demonstrated. For example, the program utilized completes a synthesis in less than 45 s on a 386/20 personal computer and within a fraction of a second on a mainframe Cray. This makes practical the incorporation of the synthesis into a search algorithm that can optimize one or more parameters of the reflector system. As an example, the optimization of the mapping equations for low cross polarization is discussed.
Galindo-Israel, Victor↗
A Program of Research and Education in Aero-Space Vehicle Design, Synthesis, and Optimization
This paper presents a final report on a Research and Education Program in Aerospace Vehicle Design, Synthesis, and Optimization for the period October 1, 1997 through November 30, 1999.
Sandusky, Robert R.↗
Engineering calculations for solving the orbital allotment problem
Four approaches for calculating downlink interferences for shaped-beam antennas are described. An investigation of alternative mixed-integer programming models for satellite synthesis is summarized. Plans for coordinating the various programs developed under this grant are outlined. Two procedures for ordering satellites to initialize the k-permutation algorithm are proposed. Results are presented for the k-permutation algorithms. Feasible solutions are found for 5 of the 6 problems considered. Finally, it is demonstrated that the k-permutation algorithm can be used to solve arc allotment problems.
Reilly, C.↗
Expert system for multidisciplinary analysis and optimization using ASTROS
This paper discusses the framework of a Knowledge Based Expert System (KBES) environment to design aerospace structures under structural and aerodynamic constraints using ASTROS (Automated Structural Optimization program). ASTROS is a synthesis tool built around the NASTRAN finite element program. The knowledge base capabilities are discussed for synthesizing in statics, normal mode, steady and unsteady aerodynamic disciplines. A description of the two ASTROS advisor modules the Editor/Bulk Data generator and Post-processor is included. Experiences and issues involved in hierarchical representation of knowledge as menu options at different levels of abstraction are presented. A brief overview of Knowledge Based Systems and the shell CLIPS (C Language Integrated Production System) used to develop the ASTROS Advisor are discussed. Illustrative examples of the advisor in designing airframe structures are also included.
Sarma, Hari K.↗
QA4, a language for artificial intelligence.
Introduction of a language for problem solving and specifically robot planning, program verification, and synthesis and theorem proving. This language, called question-answerer 4 (QA4), embodies many features that have been found useful for constructing problem solvers but have to be programmed explicitly by the user of a conventional language. The most important features of QA4 are described, and examples are provided for most of the material introduced. Language features include backtracking, parallel processing, pattern matching, set manipulation, and pattern-triggered function activation. The language is most convenient for use in an interactive way and has extensive trace and edit facilities.
Derksen, J. A. C.↗
A Program of Research and Education to Advance the Design, Synthesis, and Optimization of Aero-Space System Concepts
Since its inception in December 1999, the program has provided support for a total of 11 Graduate Research Scholar Assistants, of these, 6 have completed their MS degree program. The program has generated 3 MS theses and a total of 4 publications/presentations.
Sandusky, Robert↗
A Software Architecture for Intelligent Synthesis Environments
The NASA's Intelligent Synthesis Environment (ISE) program is a grand attempt to develop a system to transform the way complex artifacts are engineered. This paper discusses a "middleware" architecture for enabling the development of ISE. Desirable elements of such an Intelligent Synthesis Architecture (ISA) include remote invocation; plug-and-play applications; scripting of applications; management of design artifacts, tools, and artifact and tool attributes; common system services; system management; and systematic enforcement of policies. This paper argues that the ISA extend conventional distributed object technology (DOT) such as CORBA and Product Data Managers with flexible repositories of product and tool annotations and "plug-and-play" mechanisms for inserting "ility" or orthogonal concerns into the system. I describe the Object Infrastructure Framework, an Aspect Oriented Programming (AOP) environment for developing distributed systems that provides utility insertion and enables consistent annotation maintenance. This technology can be used to enforce policies such as maintaining the annotations of artifacts, particularly the provenance and access control rules of artifacts-, performing automatic datatype transformations between representations; supplying alternative servers of the same service; reporting on the status of jobs and the system; conveying privileges throughout an application; supporting long-lived transactions; maintaining version consistency; and providing software redundancy and mobility.
Filman, Robert E.↗
A general-purpose optimization program for engineering design
A new general-purpose optimization program for engineering design is described. ADS (Automated Design Synthesis) is a FORTRAN program for nonlinear constrained (or unconstrained) function minimization. The optimization process is segmented into three levels: Strategy, Optimizer, and One-dimensional search. At each level, several options are available so that a total of nearly 100 possible combinations can be created. An example of available combinations is the Augmented Lagrange Multiplier method, using the BFGS variable metric unconstrained minimization together with polynomial interpolation for the one-dimensional search.
Vanderplaats, G. N.↗
Nuclear electric propulsion: An integral part of NASA's nuclear propulsion project
NASA has initiated a technology program to establish the readiness of nuclear propulsion technology for the Space Exploration Initiative (SEI). This program was initiated with a very modest effort identified with nuclear thermal propulsion (NTP); however, nuclear electric propulsion (NEP) is also an integral part of this program and builds upon NASA's Base Research and Technology Program in power and electric propulsion as well as the SP-100 space nuclear power program. Although the Synthesis Group On America's SEI has identified NEP only as an option for cargo missions, recent studies conducted by NASA-Lewis show that NEP offers the potential for early manned Mars missions as well. Lower power NEP is also of current interest for outer planetary robotic missions. Current plans are reviewed for the overall nuclear propulsion project, with emphasis on NEP and those elements of NTP program which have synergism with NEP.
Stone, James R.↗
Required developments in structural dynamics
The finite element method, modal component synthesis, and the use of fast Fourier transformation were key developments in structural dynamics in the past 15 to 20 years. Current areas requiring additional effort include: (1) the correct calculation of modal shape and natural frequencies for complex structures; (2) the correlation of math models with test data; (3) the establishment of a criteria for "goodness" of the correlation between analysis and test; (4) the selection of the correct displacement functions when using computer programs for modal synthesis; (5) accuracy of response calculations; and (6) the inverse problem of determining the force problem from the response data. Trends identified include the use of distributed computing, greater reliance on analysis, and the possible use of artificial intelligence techniques, or some way of feeding back information, to provide solution guidance to engineers.
Wada, B. K.↗
Development and characterization of lubricants for use near nuclear reactors in space vehicles
The synthesis and evaluation program was conducted to develop wide-temperature range lubricants suitable for use in space vehicles particularly in the vicinity of nuclear reactors. Synthetic approaches resulted in nonpolymeric, large molecular weight materials, all based on some combination of siloxane and aromatic groups. Evaluation of these materials indicated that certain tetramethyl and hexamethyl disiloxanes containing phenyl thiophenyl substituents are extremely promising with respect to radiation stability, wide temperature range, good lubricity, oxidation resistance and additive acceptance. The synthesis of fluids is discussed, and the equipment and methods used in evaluation are described, some of which were designed to evaluate micro-quantities of the synthesized lubricants.
Robinson, G. L.↗
The use of automatic programming techniques for fault tolerant computing systems
It is conjectured that the production of software for ultra-reliable computing systems such as required by Space Station, aircraft, nuclear power plants and the like will require a high degree of automation as well as fault tolerance. In this paper, the relationship between automatic programming techniques and fault tolerant computing systems is explored. Initial efforts in the automatic synthesis of code from assertions to be used for error detection as well as the automatic generation of assertions and test cases from abstract data type specifications is outlined. Speculation on the ability to generate truly diverse designs capable of recovery from errors by exploring alternate paths in the program synthesis tree is discussed. Some initial thoughts on the use of knowledge based systems for the global detection of abnormal behavior using expectations and the goal-directed reconfiguration of resources to meet critical mission objectives are given. One of the sources of information for these systems would be the knowledge captured during the automatic programming process.
Wild, C.↗
Computer program for design and performance analysis of navigation-aid power systems. Program documentation. Volume 1: Software requirements document
A computer program has been developed for designing and analyzing the performance of solar array/battery power systems for the U.S. Coast Guard Navigational Aids. This program is called the Design Synthesis/Performance Analysis (DSPA) Computer Program. The basic function of the Design Synthesis portion of the DSPA program is to evaluate functional and economic criteria to provide specifications for viable solar array/battery power systems. The basic function of the Performance Analysis portion of the DSPA program is to simulate the operation of solar array/battery power systems under specific loads and environmental conditions. This document establishes the software requirements for the DSPA computer program, discusses the processing that occurs within the program, and defines the necessary interfaces for operation.
Goltz, G.↗
Fabricating Single Crystal Quantum Dot Solids
The central goal of this research program was to establish fundamental synthesis and processing principles to enable the fabrication of single crystal quantum dot solids (QDS) with programmable structure (i.e., hexagonal and square) and composition. Our approach towards that goal leveraged access to and experience with unique in-situ, multi-probe characterization techniques to understand and ultimately control the fundamental relationship between processing conditions and nucleation and growth of QDS. The program integrated synthesis and fabrication (Hanrath) with in-situ TEM analysis (Kourkoutis) and computational modeling (Clancy) to gain atomic-level insights into the underlying physical phenomena governing assembly and attachment and to guide the development of optimized processing methods. We have established a foundational understanding of physicochemical interactions of self-assembly at a fluid interface, superlattice structure transformation pathways, the critical role of disorder during the initial dimerization of colloidal quantum dot monomers, and the residual strain distribution within the inter-dot epitaxial bridge which hampers the formation of novel electronics states of the quantum dot solids. Collectively, these insights have contributed towards advancing the mechanistic understanding of the complex choreography of assembly and attachment as well as understanding what currently limits further advances in high-fidelity quantum dot solids and tiles.
36 MATERIALS SCIENCE↗
L2 Earth atmosphere observatory : formation guidance, metrology, and control synthesis
This paper discusses the results of research sponsored by the NASA Revolutionary Aerospace Systems Concepts (RASC) program, and includes the synthesis and analysis of the guidance, metrology and control for a two-spacecraft formation in a unique continuously powered orbit near the Sun-Earth L2 Lagrange point observing the illuminated atmosphere of the Earth while it is continuously occulting the Sun.
observatory↗
Modular cell-free expression plasmids to accelerate biological design in cells
Industrial biotechnology aims to produce high-value products from renewable resources. This can be challenging because model microorganisms—organisms that are easy to use like Escherichia coli—often lack the machinery required to utilize desired feedstocks like lignocellulosic biomass or syngas. Non-model organisms, such as Clostridium, are industrially proven and have desirable metabolic features but have several hurdles to mainstream use. Namely, these species grow more slowly than conventional laboratory microbes, and genetic tools for engineering them are far less prevalent. To address these hurdles for accelerating cellular design, cell-free synthetic biology has matured as an approach for characterizing non-model organisms and rapidly testing metabolic pathways in vitro. Unfortunately, cell-free systems can require specialized DNA architectures with minimal regulation that are not compatible with cellular expression. In this work, we develop a modular vector system that allows for T7 expression of desired enzymes for cell-free expression and direct Golden Gate assembly into Clostridium expression vectors. Utilizing the Joint Genome Institute’s DNA Synthesis Community Science Program, we designed and synthesized these plasmids and genes required for our projects allowing us to shuttle DNA easily between our in vitro and in vivo experiments. We next validated that these vectors were sufficient for cell-free expression of functional enzymes, performing on par with the previous state-of-the-art. Lastly, we demonstrated automated six-part DNA assemblies for Clostridium autoethanogenum expression with efficiencies ranging from 68% to 90%. We anticipate this system of plasmids will enable a framework for facile testing of biosynthetic pathways in vitro and in vivo by shortening development cycles.
59 BASIC BIOLOGICAL SCIENCES↗