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 307 records · Page 17
All sourcesNASA NTRSDOE OSTI
NASA NTRS1983

PIFCGT: A PIF autopilot design program for general aviation aircraft

This report documents the PIFCGT computer program. In FORTRAN, PIFCGT is a computer design aid for determing Proportional-Integral-Filter (PIF) control laws for aircraft autopilots implemented with a Command Generator Tracker (CGT). The program uses Linear-Quadratic-Regulator synthesis algorithms to determine feedback gains, and includes software to solve the feedforward matrix equation which is useful in determining the command generator tracker feedforward gains. The program accepts aerodynamic stability derivatives and computes the corresponding aerodynamic linear model. The nine autopilot modes that can be designed include four maneuver modes (ROLL SEL, PITCH SEL, HDG SEL, ALT SEL), four final approach models (APR GS, APR LOCI, APR LOCR, APR LOCP), and a BETA HOLD mode. The program has been compiled and executed on a CDC computer.

Broussard, J. R.↗
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↗
DOE OSTI2017

The panchromatic hubble andromeda treasury. XVII. Examining obscured star formation with synthetic ultraviolet flux maps in M31

We present synthetic far- and near-ultraviolet (FUV and NUV) maps of M31, both with and without dust reddening. These maps were constructed from spatially resolved star formation histories (SFHs) derived from optical Hubble Space Telescope imaging of resolved stars, taken as part of the Panchromatic Hubble Andromeda Treasury program. We use stellar population synthesis modeling to generate synthetic UV maps with a spatial resolution of ∼100 pc (∼24 arcsec), projected. When reddening is included, these maps reproduce all of the main morphological features in the GALEX imaging, including rings and large star-forming complexes. The predicted UV flux also agrees well with the observed flux, with median ratios between the modeled and observed flux of log{sub 10}(f{sub FUV}{sup syn}/f{sub FUV}{sup obs})=0.03±0.24 and log{sub 10}(f{sub NUV}{sup syn}/f{sub NUV}{sup obs})=−0.03±0.16 in the FUV and NUV, respectively. This agreement is particularly impressive given that we used only optical photometry to construct these UV maps. Having verified the synthetic reddened maps, we use the dust-free maps to examine properties of obscured flux and star formation. We compare our dust-free and reddened maps of FUV flux with the observed GALEX FUV flux and FUV + 24 μm flux to examine the fraction of obscured flux. We find that the maps of synthetic flux require that ∼90% of the FUV flux in M31 is obscured by dust, while the GALEX -based methods suggest that ∼70% of the FUV flux is absorbed by dust. This 30% increase in the estimate of the obscured flux is driven by significant differences between the dust-free synthetic FUV flux and that derived when correcting the observed FUV flux for dust absorption with 24 μm emission observations. The difference is further illustrated when we compare the SFRs derived from the FUV + 24 μm flux with the 100 Myr average SFR from the CMD-based SFHs. We find that the 24 μm corrected FUV flux underestimates the SFR by a factor of 2.3–2.5, depending on the chosen calibration. This discrepancy could be reduced by allowing for variability in the weight applied to the 24 μm data, as has been recently suggested in the literature.

79 ASTRONOMY AND ASTROPHYSICS↗
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.↗
DOE OSTI2019

Atomically Defined Edge-Doping of Graphene Nanoribbons for Mesoscale Electronics

The outstanding transformative potential of graphene, an infinite two-dimensional sheet of carbon atoms tightly packed into a honeycomb lattice, has been recognized mostly due to its exceptionally high electric conductivity, thermal conductivity, and tensile strength. These undeniably very desirable properties, however, represent only a very small facet of the true potential of all-sp2 carbon materials and its promise to revolutionize the field of molecular electronics. Graphene's most unusual characteristics emerge when the infinite macroscopic sheet is scaled down to nanometer dimensions. The exploration, realization, and implementation of these truly exotic magnetic and electronic properties rely on the development of innovative synthetic strategies that provide atomically precise control over the self-assembly of mesoscale objects. While traditional device architectures based on inorganic semiconductors have been fabricated using a top-down approach, we pursued a diametrically opposite strategy. Our design of a new generation of high-performance electronic materials relies on a modular bottom-up strategy. This highly multidisciplinary research program has been rooted in the synthesis of functional organic materials with precisely defined properties, their controlled assembly into hierarchical structures, and the evaluation of their performance at the molecular and the macroscopic scale. A part of this research program we have developed the chemical tools required to synthesize and to fine-tune the physical properties of graphene nanoribbons (GNR) with atomic precision. We further demonstrated that the innovative techniques and the expanded knowledge can be used to rationally tailor desired physical properties and function into nanometer-scale carbon-based electronic devices; e.g. transistors as logic gates in computing, data storage media based on electrically gated spin valves, or molecular amplifiers, all functionally integrated in atomically defined GNRs. We demonstrated the design and experimental realization of a rationally engineered graphene nanoribbon superlattice that hosts a 1D array of symmetry-protected topological states. We developed a hierarchical bottom-up fabrication strategy for graphene nanoribbons that preferentially exhibit a single heterojunction interface rather than a random statistical sequence of junctions along the ribbon. We reported the bottom-up synthesis of a series of atomically precise graphene nanoribbons featuring trigonal planar heteroatom dopants (nitrogen, oxygen, and sulfur) along the edges that induce a narrowing of the intrinsic band gap by ~0.2–0.3 eV per dopant atom. We reported the bottom-up synthesis of a graphene nanoribbon heterostructure featuring a highly tunable porphyrin quantum dot embedded at the center of a solution processable graphene nanoribbon. We reported a new technique for fabricating bottom-up graphene nanoribbon heterojunctions through a late-stage chemical transformation that results in atomically sharp heterojunction structures from a single precursor. We demonstrated the intrinsic performance enhancement of a composite material comprised of gold nanoparticles (AuNPs) embedded in a bottom-up synthesized graphene nanoribbon matrix for the electrocatalytic reduction of CO 2 . We developed a scalable, solution-based approach toward the synthesis of an exotic class of polycyclic aromatic hydrocarbons that exhibit unusual electronic and magnetic properties in the ground state. We reported the bottom-up synthesis and characterization of atomically-defined graphene nanoribbons featuring a regioregular pattern of group III dopant atoms (boron) along the backbone of the ribbon.

36 MATERIALS SCIENCE↗
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 OSTI2015

Synthesis, Characterization and Properties of Nanoparticles of Intermetallic Compounds

The research program from 2010 to the end of the grant focused on understanding the factors important to the synthesis of single phase intermetallic nano-particles (NPs), their size, crystalline order, surface properties and electrochemical activity. The synthetic method developed is a co-reduction of mixtures of single metal precursors by strong, soluble reducing agents in a non-protic solvent, tetrahydrofuran (THF). With some exceptions, the particles obtained by room temperature reduction are random alloys that need to be annealed at modest temperatures (200 to 600 °C) in order to develop an ordered structure. To avoid significant particle size growth and agglomeration, the particles must be protected by surface coatings. We developed a novel method of coating the metal nanoparticles with KCl, a by-product of the reduction reaction if the proper reducing agents are employed. In that case, a composite product containing individual metal nanoparticles in a KCl matrix is obtained. The composite can be heated to at least 600 °C without significant agglomeration or growth in particle size. Washing the annealed product in the presence of catalyst supports in ethylene glycol removes the KCl and deposits the particles on the support. Six publications present the method and its application to producing and studying new catalyst/support combinations for fuel cell applications. Three publications concern the use of related methods to explore new lithium-sulfur battery concepts.

77 NANOSCIENCE AND NANOTECHNOLOGY↗
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.↗
DOE OSTI2016

j5 v2.8.4

j5 automates and optimizes the design of the molecular biological process of cloning/constructing DNA. j5 enables users to benefit from (combinatorial) multi-part scar-less SLIC, Gibson, CPEC, Golden Gate assembly, or variants thereof, for which automation software does not currently exist, without the intense labor currently associated with the process. j5 inputs a list of the DNA sequences to be assembled, along with a Genbank, FASTA, jbei-seq, or SBOL v1.1 format sequence file for each DNA source. Given the list of DNA sequences to be assembled, j5 first determines the cost-minimizing assembly strategy for each part (direct synthesis, PCR/SOE, or oligo-embedding), designs DNA oligos with Primer3, adds flanking homology sequences (SLIC, Gibson, and CPEC; optimized with Primer3 for CPEC) or optimized overhang sequences (Golden Gate) to the oligos and direct synthesis pieces, and utilizes BLAST to check against oligo mis-priming and assembly piece incompatibility events. After identifying DNA oligos that are already contained within a local collection for reuse, the program estimates the total cost of direct synthesis and new oligos to be ordered. In the instance that j5 identifies putative assembly piece incompatibilities (multiple pieces with high flanking sequence homology), the program suggests hierarchical subassemblies where possible. The program outputs a comma-separated value (CSV) file, viewable via Excel or other spreadsheet software, that contains assembly design information (such as the PCR/SOE reactions to perform, their anticipated sizes and sequences, etc.) as well as a properly annotated genbank file containing the sequence resulting from the assembly, and appends the local oligo library with the oligos to be ordered j5 condenses multiple independent assembly projects into 96-well format for high-throughput liquid-handling robotics platforms, and generates configuration files for the PR-PR biology-friendly robot programming language. j5 thus provides a new way to design DNA assembly procedures much more productively and efficiently, not only in terms of time, but also in terms of cost. To a large extent, however, j5 does not allow people to do something that could not be done before by hand given enough time and effort. An exception to this is that, since the very act of using j5 to design the DNA assembly process standardizes the experimental details and workflow, j5 enables a single person to concurrently perform the independent DNA construction tasks of an entire group of researchers. Currently, this is not readily possible, since separate researchers employ disparate design strategies and workflows, and furthermore, their designs and workflows are very infrequently fully captured in an electronic format which is conducive to automation.

Hillson, Nathan↗
DOE OSTI2017

Evaluation of the FIR Example using Xilinx Vivado High-Level Synthesis Compiler

Compared to central processing units (CPUs) and graphics processing units (GPUs), field programmable gate arrays (FPGAs) have major advantages in reconfigurability and performance achieved per watt. This development flow has been augmented with high-level synthesis (HLS) flow that can convert programs written in a high-level programming language to Hardware Description Language (HDL). Using high-level programming languages such as C, C++, and OpenCL for FPGA-based development could allow software developers, who have little FPGA knowledge, to take advantage of the FPGA-based application acceleration. This improves developer productivity and makes the FPGA-based acceleration accessible to hardware and software developers. Xilinx Vivado HLS compiler is a high-level synthesis tool that enables C, C++ and System C specification to be directly targeted into Xilinx FPGAs without the need to create RTL manually. The white paper [1] published recently by Xilinx uses a finite impulse response (FIR) example to demonstrate the variable-precision features in the Vivado HLS compiler and the resource and power benefits of converting floating point to fixed point for a design. To get a better understanding of variable-precision features in terms of resource usage and performance, this report presents the experimental results of evaluating the FIR example using Vivado HLS 2017.1 and a Kintex Ultrascale FPGA. In addition, we evaluated the half-precision floating-point data type against the double-precision and single-precision data type and present the detailed results.

97 MATHEMATICS AND COMPUTING↗
DOE OSTI2019

Broker for Assimilation, Synthesis and Integration of eNvironmental Diverse, Distributed Datasets v1.1.0

BASIN-3D (Broker for Assimilation, Synthesis and Integration of eNvironmental Diverse, Distributed Datasets) uses a data brokering approach to synthesize diverse earth science data from a variety of remote sources in real-time without the need for additional storage. BASIN-3D is an extendable Django web framework application using a generalized data synthesis model that makes the synthesized data available via REpresentational State Transfer (REST) Application Programming Interface (API). We have currently implemented our data synthesis model to represent sensor-based time series earth science observations across a hierarchy of spatial locations. Supporting our data synthesis model is a plugin framework that allows developers to map data sources of interest to the BASIN-3D synthesis model

Varadharajan, Charuleka↗
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.↗