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 289 records · Page 16
All sourcesNASA NTRSDOE OSTI
DOE OSTI2021

Nanoparticle Superlattices through Template-Encoded DNA Dendrimers

The chemical interactions that lead to the emergence of hierarchical structures are often highly complex and difficult to program. In this paper, the synthesis of a series of superlattices based upon 30 different structurally reconfigurable DNA dendrimers is reported, each of which presents a well-defined number of single-stranded oligonucleotides (i.e., sticky ends) on its surface. Such building blocks assemble with complementary DNA-functionalized gold nanoparticles (AuNPs) to yield five distinct crystal structures, depending upon choice of dendrimer and defined by phase symmetry. These DNA dendrimers can associate to form micelle-dendrimers, whereby the extent of association can be modulated based upon surfactant concentration and dendrimer length to produce a low-symmetry Ti5Ga4-type phase that has yet to be reported in the field of colloidal crystal engineering. Taken together, colloidal crystals that feature three different types of particle bonding interactions.template-dendron, dendrimer-dendrimer, and DNA-modified AuNP-dendrimer.are reported, illustrating how sequence-defined recognition and dynamic association can be combined to yield complex hierarchical materials.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗
NASA NTRS1979

Navigation-aid power systems

Design synthesis and performance analysis (DSPA) program package is collection of subroutines used for computation of design and performance characteristics of viable solar-array-charged battery powered system for flashing-lamp buoys employed as maritime aids to navigation.

Goltz, G. L.↗
NASA NTRS1979

An improved analysis/synthesis capability based on dual methods - ACCESS 3

Approximation concepts and dual method algorithms are combined to create a new 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. 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 thin delta wing with fiber composite skins.

Schmit, L. A.↗
NASA NTRS1991

Computer-aided design of flight control systems

A computer program is presented for facilitating the development and assessment of flight control systems, and application to a control design is discussed. The program is a computer-aided control-system design program based on direct digital synthesis of a proportional-integral-filter controller with scheduled linear-quadratic-Gaussian gains and command generator tracking of pilot inputs. The FlightCAD system concentrates on aircraft dynamics, flight-control systems, stability and performance, and has practical engineering applications.

Stengel, Robert F.↗
NASA NTRS1991

Template-directed synthesis of oligonucleotides under eutectic conditions

One of the most important sets of model prebiotic experiments consists of reactions that synthesize complementary oligonucleotides from preformed templates under nonenzymatic conditions. Most of these experiments are conducted at 4 degrees C using 0.01-0.1 M concentrations of activated nucleotide monomer and template (monomer equivalent). In an attempt to extend the conditions under which this type of reaction can occur, we have concentrated the reactants by freezing at -18 degrees C, which is close to the NaCl-H2O eutectic at -21 degrees C. The results from this set of experiments suggest that successful syntheses can occur with poly(C) concentrations as low at 5 x 10(-4) M and 2MeImpG concentrations at 10(-3) M. It was also anticipated that this mechanism might allow the previously unsuccessful poly(A)-directed synthesis of oligo(U)s to occur. However, no template effect was seen with the poly(A) and ImpU system. The failure of these conditions to allow template-directed synthesis of oligo(U)s supports the previously proposed idea that pyrimidines may not have been part of the earliest genetic material. Because of the low concentrations of monomer and template that would be expected from prebiotic syntheses, this lower temperature could be considered a more plausible geologic setting for template-directed synthesis than the standard reaction conditions.

NASA Discipline Number 52-20↗
NASA NTRS1982

Further developments in the controlled growth approach for optimal structural synthesis

It is pointed out that the use of nonlinear programming methods in conjunction with finite element and other discrete analysis techniques have provided a powerful tool in the domain of optimal structural synthesis. The present investigation is concerned with new strategies which comprise an extension to the controlled growth method considered by Hajela and Sobieski-Sobieszczanski (1981). This method proposed an approach wherein the standard nonlinear programming (NLP) methodology of working with a very large number of design variables was replaced by a sequence of smaller optimization cycles, each involving a single 'dominant' variable. The current investigation outlines some new features. Attention is given to a modified cumulative constraint representation which is defined in both the feasible and infeasible domain of the design space. Other new features are related to the evaluation of the 'effectiveness measure' on which the choice of the dominant variable and the linking strategy is based.

Hajela, P.↗
DOE OSTI2020

Nickel Speciation and Methane Dry Reforming Performance of Ni/Ce x Zr 1-x O 2 Prepared by Different Synthesis Methods

Herein, ceria–zirconia-supported Ni catalysts (Ni/Ce 0.83 Zr 0.17 O 2 or Ni/CZ) are prepared by dry impregnation, strong electrostatic adsorption, coprecipitation (CP), and combustion synthesis (CS). The nature and abundance of Ni species in these samples are characterized by X-ray adsorption spectroscopy, temperature-programmed reduction, and CO chemisorption. The bulk synthesis methods (i.e., CP and CS) produce Ni cations that are incorporated into the CZ lattice forming mixed-metal oxides with Ni 3+ species at low Ni content. The formation of mixed-metal oxides increases the reducibility of CZ and increases the abundance of active surface oxygen. All NiO/CZ catalysts are active for methane dry reforming and retain some of their activity at a steady state. The initial methane conversion correlates linearly with the fraction of accessible Ni after reduction. The predominant path of catalyst deactivation strongly depends on the structure of the catalyst and, thus, on the synthesis method used. All catalysts experience agglomeration of Ni particles under reaction conditions. Improving the Ni dispersion to isolated species embedded in a support does not improve resistance to Ni particle growth. Coke formation is inversely related to the concentration of active surface oxygen. The dominant deactivation mechanism for catalysts made by CS is the encapsulation of Ni particles by the support.

03 NATURAL GAS↗
NASA NTRS1978

ACCESS-2: Approximation Concepts Code for Efficient Structural Synthesis, user's guide

A user's guide is presented for the ACCESS-2 computer program. ACCESS-2 is a research oriented program which implements a collection of approximation concepts to achieve excellent efficiency in structural synthesis. The finite element method is used for structural analysis and general mathematical programming algorithms are applied in the design optimization procedure.

Miura, H.↗
NASA NTRS1975

Computer program to assess impact of fatigue and fracture criteria on weight and cost of transport aircraft

A preliminary design analysis tool for rapidly performing trade-off studies involving fatigue, fracture, static strength, weight, and cost is presented. Analysis subprograms were developed for fatigue life, crack growth life, and residual strength; and linked to a structural synthesis module which in turn was integrated into a computer program. The part definition module of a cost and weight analysis program was expanded to be compatible with the upgraded structural synthesis capability. The resultant vehicle design and evaluation program is named VDEP-2. It is an accurate and useful tool for estimating purposes at the preliminary design stage of airframe development. A sample case along with an explanation of program applications and input preparation is presented.

Tanner, C. J.↗
NASA NTRS2004

Synthesizing Safety Conditions for Code Certification Using Meta-Level Programming

In code certification the code consumer publishes a safety policy and the code producer generates a proof that the produced code is in compliance with the published safety policy. In this paper, a novel viewpoint approach towards an implementational re-use oriented framework for code certification is taken. It adopts ingredients from Necula's approach for proof-carrying code, but in this work safety properties can be analyzed on a higher code level than assembly language instructions. It consists of three parts: (1) The specification language is extended to include generic pre-conditions that shall ensure safety at all states that can be reached during program execution. Actual safety requirements can be expressed by providing domain-specific definitions for the generic predicates which act as interface to the environment. (2) The Floyd-Hoare inductive assertion method is refined to obtain proof rules that allow the derivation of the proof obligations in terms of the generic safety predicates. (3) A meta-interpreter is designed and experimentally implemented that enables automatic synthesis of proof obligations for submitted programs by applying the modified Floyd-Hoare rules. The proof obligations have two separate conjuncts, one for functional correctness and another for the generic safety obligations. Proof of the generic obligations, having provided the actual safety definitions as context, ensures domain-specific safety of program execution in a particular environment and is simpler than full program verification.

Eusterbrock, Jutta↗
NASA NTRS1981

Blade loss transient dynamics analysis, volume 2. Task 2: Theoretical and analytical development. Task 3: Experimental verification

The component element method was used to develop a transient dynamic analysis computer program which is essentially based on modal synthesis combined with a central, finite difference, numerical integration scheme. The methodology leads to a modular or building-block technique that is amenable to computer programming. To verify the analytical method, turbine engine transient response analysis (TETRA), was applied to two blade-out test vehicles that had been previously instrumented and tested. Comparison of the time dependent test data with those predicted by TETRA led to recommendations for refinement or extension of the analytical method to improve its accuracy and overcome its shortcomings. The development of working equations, their discretization, numerical solution scheme, the modular concept of engine modelling, the program logical structure and some illustrated results are discussed. The blade-loss test vehicles (rig full engine), the type of measured data, and the engine structural model are described.

Gallardo, V. C.↗
NASA NTRS1975

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.↗
DOE OSTI2021

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↗
NASA NTRS1971

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.↗
DOE OSTI2024

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↗
NASA NTRS1975

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.↗
NASA NTRS1991

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.↗