Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “coding productivity”

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 577 records · Page 32
All sourcesNASA NTRSDOE OSTI
DOE OSTI2020

Domesticating a food spoilage yeast into an organic acid–tolerant metabolic engineering host: Lactic acid production by engineered Zygosaccharomyces bailii

Lactic acid represents an important class of commodity chemicals, which can be produced by microbial cell factories. However, due to the toxicity of lactic acid at lower pH, microbial production requires the usage of neutralizing agents to maintain neutral pH. Zygosaccharomyces bailii, a food spoilage yeast, can grow under the presence of organic acids used as food preservatives. This unique trait of the yeast might be useful for producing lactic acid. With the goal of domesticating the organic acid!tolerant yeast as a metabolic engineering host, seven Z. bailii strains were screened in a minimal medium with 10 g/L of acetic, or 60 g/L of lactic acid at pH 3. The Z. bailii NRRL Y7239 strain was selected as the most robust strain to be en- gineered for lactic acid production. By applying a PAN!ARS!based CRISPR!Cas9 system consisting of a transfer RNA promoter and NAT selection, we demonstrated the targeted deletion of ADE2 and site!specific integration of Rhizopus oryzae ldhA coding for lactate dehydrogenase into the PDC1 locus. The resulting pdc1::ldhA strain produced 35 g/L of lactic acid without ethanol production. Here, this study de- monstrates the feasibility of the CRISPR!Cas9 system in Z. bailii, which can be applied for a fundamental study of the species.

59 BASIC BIOLOGICAL SCIENCES↗
NASA NTRS2000

Subsetting and Formatting Landsat-7 LOR ETM+ and Data Products

The Landsat-7 Processing System (LPS) processes Landsat-7 Enhanced Thematic Mapper (ETM+) instrument data into large, contiguous segments called "subintervals" and stores them in Level OR (LOR) data files. The LPS processed subinterval products must be subsetted and reformatted before the Level I processing systems can ingest them. The initial full subintervals produced by the LPS are stored mainly in HDF Earth Observing System (HDF-EOS) format which is an extension to the Hierarchical Data Format (HDF). The final LOR products are stored in native HDF format. Primarily the EOS Core System (ECS) and alternately the DAAC Emergency System (DES) subset the subinterval data for the operational Landsat-7 data processing systems. The HDF and HDF-EOS application programming interfaces (APIs) can be used for extensive data subsetting and data reorganization. A stand-alone subsetter tool has been developed which is based on some of the DES code. This tool makes use of the HDF and HDFEOS APIs to perform Landsat-7 LOR product subsetting and demonstrates how HDF and HDFEOS can be used for creating various configurations of full LOR products. How these APIs can be used to efficiently subset, format, and organize Landsat-7 LOR data as demonstrated by the subsetter tool and the DES is discussed.

Reid, Michael R.↗
DOE OSTI2021

Effects of surface diffusion in electrocatalytic CO 2 reduction on Cu revealed by kinetic Monte Carlo simulations

We report Kinetic Monte Carlo (KMC) methods are frequently used for mechanistic studies of thermally driven heterogeneous catalysis systems but are underused for electrocatalysis. Here, we develop a lattice KMC approach for electrocatalytic CO 2 reduction. The work is motivated by a prior experimental report that performed electroreduction of a mixed feed of 12 CO 2 and 13 CO on Cu; differences in the 13 C content of C2 products ethylene and ethanol (Δ 13 C) were interpreted as evidence of site selectivity. The lattice KMC model considers the effect of surface diffusion on this system. In the limit of infinitely fast diffusion (mean-field approximation), the key intermediates 12 CO* and 13 CO* would be well mixed on the surface and no evidence of site selectivity could have been observed. Using a simple two-site model and adapting a previously reported microkinetic model, we assess the effects of diffusion on the relative isotope fractions in the products using the estimated surface diffusion rate of CO* from literature reports. We find that the size of the active sites and the total surface adsorbate coverage can have a large influence on the values of Δ 13 C that can be observed. Δ 13 C is less sensitive to the CO* diffusion rate as long as it is within the estimated range. We further offer possible methods to estimate surface distribution of intermediates and to predict intrinsic selectivity of active sites based on experimental observations. This work illustrates the importance of considering surface diffusion in the study of electrochemical CO 2 reduction to multi-carbon products. Our approach is entirely based on a freely available open-source code, so will be readily adaptable to other electrocatalytic systems.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗
DOE OSTI2024

Overview of fast particle experiments in the first MAST Upgrade experimental campaigns

Abstract MAST-U is equipped with on-axis and off-axis neutral beam injectors (NBI), and these external sources of super-Alfvénic deuterium fast-ions provide opportunities for studying a wide range of phenomena relevant to the physics of alpha-particles in burning plasmas. The MeV range D-D fusion product ions are also produced but are not confined. Simulations with the ASCOT code show that up to 20% of fast ions produced by NBI can be lost due to charge exchange (CX) with edge neutrals. Dedicated experiments employing low field side (LFS) gas fuelling show a significant drop in the measured neutron fluxes resulting from beam-plasma reactions, providing additional evidence of CX-induced fast-ion losses, similar to the ASCOT findings. Clear evidence of fast-ion redistribution and loss due to sawteeth (ST), fishbones (FB), long-lived modes (LLM), Toroidal Alfvén Eigenmodes (TAE), Edge Localised Modes (ELM) and neoclassical tearing modes (NTM) has been found in measurements with a Neutron Camera (NCU), a scintillator-based Fast-Ion Loss Detector (FILD), a Solid-State Neutral Particle Analyser (SSNPA) and a Fast-Ion Deuterium- α (FIDA) spectrometer. Unprecedented FILD measurements in the range of 1–2 MHz indicate that fast-ion losses can be also induced by the beam ion cyclotron resonance interaction with compressional or global Alfvén eigenmodes (CAEs or GAEs). These results show the wide variety of scenarios and the unique conditions in which fast ions can be studied in MAST-U, under conditions that are relevant for future devices like STEP or ITER.

Physics↗
DOE OSTI2022

Genome-wide transcriptional regulation in Saccharomyces cerevisiae in response to carbon dioxide

Sugar metabolism by Saccharomyces cerevisiae produces ample amounts of CO 2 under both aerobic and anaerobic conditions. High solubility of CO 2 in fermentation media, contributing to enjoyable sensory properties of sparkling wine and beers by S. cerevisiae, might affect yeast metabolism. To elucidate the overlooked effects of CO 2 on yeast metabolism, we examined glucose fermentation by S. cerevisiae under CO 2 as compared to N 2 and O 2 limited conditions. While both CO 2 and N 2 conditions are considered anaerobic, less glycerol and acetate but more ethanol were produced under CO 2 condition. Transcriptomic analysis revealed that significantly decreased mRNA levels of GPP1 coding for glycerol-3-phosphate phosphatase in glycerol synthesis explained the reduced glycerol production under CO 2 condition. Besides, transcriptional regulations in signal transduction, carbohydrate synthesis, heme synthesis, membrane and cell wall metabolism, and respiration were detected in response to CO 2 . Interestingly, signal transduction was uniquely regulated under CO 2 condition, where upregulated genes (STE3, MSB2, WSC3, STE12, and TEC1) in the signal sensors and transcriptional factors suggested that MAPK signaling pathway plays a critical role in CO 2 sensing and CO 2 -induced metabolisms in yeast. Furthermore, our study identifies CO 2 as an external stimulus for modulating metabolic activities in yeast and a transcriptional effector for diverse applications.

59 BASIC BIOLOGICAL SCIENCES↗
DOE OSTI2026

Clifford transformations for fermionic quantum systems: From Pauli and Majorana operators to Dirac fermions

Clifford gates and transformations, which map products of elementary Pauli or Majorana operators to other such products, are foundational in quantum computing, underpinning the stabilizer formalism, error-correcting codes, magic state distillation, quantum communication and cryptography, and qubit tapering. Moreover, circuits composed entirely of Clifford gates are classically simulatable, highlighting their computational significance. In this article we extend the concept of Clifford transformations to Dirac fermions. We demonstrate that discrete Clifford transformations are generated by half-body and pair operators while continuous Clifford transformations are generated by number operators, providing a systematic framework for their characterization. Additionally, we establish connections with fermionic mean-field theories and applications in qubit tapering, offering insights into their broader implications in quantum computing.

74 ATOMIC AND MOLECULAR PHYSICS↗
DOE OSTI2022

Performance Analysis of Speculative Parallel Adaptive Local Timestepping for Conservation Laws

Stable simulation of conservation laws, such as those used to model fluid dynamics and plasma physics applications, requires the satisfaction of the so-called Courant-Friedrichs-Lewy condition. By allowing regions of the mesh to advance with different timesteps that locally satisfy this stability constraint, significant work reduction can be attained when compared to a time integration scheme using a single timestep size. However, parallelizing this algorithm presents considerable difficulty. Since the stability condition depends on the state of the system, dependencies become dynamic and potentially non-local. In this article, we present an adaptive local timestepping algorithm using an optimistic (Timewarp-based) parallel discrete event simulation. We introduce waiting heuristics to limit misspeculation and a semi-static load balancing scheme to eliminate load imbalance as parts of the mesh require finer or coarser timesteps. Last, we outline an interface for separating the physics of the specific conservation law from the temporal integration allowing for productive adoption of our proposed algorithm. We present a misspeculation study for three conservation laws, demonstrating both the productivity of the local timestepping API, for which 74% of the lines of code are reused across different conservation laws, and the robustness of the waiting heuristics—at most 1.5% of element updates are rolled back. Our performance studies demonstrate up to a 2.8× speedup versus a baseline unoptimized local timestepping approach, a 4x improvement in per-node throughput compared to an MPI parallelization of synchronous timestepping, and scalability up to 3,072 cores on NERSC’s Cori Haswell partition.

97 MATHEMATICS AND COMPUTING↗
DOE OSTI2023

MatRIS: Multi-level Math Library Abstraction for Heterogeneity and Performance Portability using IRIS Runtime

Vendor libraries are tuned for a specific architecture and are not portable to others. Moreover, they lack support for heterogeneity and multi-device orchestration, which is required for efficient use of contemporary HPC and cloud resources. To address these challenges, we introduce MatRIS—a multilevel math library abstraction for scalable and performance-portable sparse/dense BLAS/LAPACK operations using IRIS runtime. The MatRIS-IRIS co-design introduces three levels of abstraction to make the implementation completely architecture agnostic and provide highly productive programming. We demonstrate that MatRIS is portable without any change in source code and can fully utilize multi-device heterogeneous systems by achieving high performance and scalability on Summit, Frontier, and a CADES cloud node equipped with four NVIDIA A100 GPUs and four AMD MI100 GPUs. A detailed performance study is presented in which MatRIS demonstrates multi-device scalability. When compared, MatRIS provides competitive and even better performance than libraries from vendors and other third parties.

Monil, M. A. H.↗
DOE OSTI2023

Ciel

Compiler optimizations can alter the numerical results of scientific computing applications. When numerical results differ significantly between compilers, optimization levels, and floating-point hardware, these numerical inconsistencies can impact programming productivity. Ciel is a framework that helps programmers identify locations in the source code that are affected by compiler optimizations in CPU and GPU code. Ciel uses a floating-point precision enhancement strategy, guided by a recursive bisection search algorithm with increasing search granularity, to identify the program expressions that induce numerical inconsistencies due to compiler optimizations.

Miao, Wenjun↗
DOE OSTI2020

The Rodinia Benchmark Suite in SYCL

As opposed to the Open Computing Language (OpenCL) programming model in which host and device codes are generally written in different programming languages, SYCL can combine host and device codes for an application in a type-safe way to improve development productivity and performance portability. Rodinia is a widely used benchmark suite for heterogeneous computing. Hence, we port the OpenCL implementations of the benchmark suite to SYCL manually. The SYCL benchmark suite is an opensource project for tracking the development of the mainstream SYCL compilers, and for developers and researchers interested in programming productivity, performance analysis, and portability across different computing platforms. We organize the remainder of the report as follows. Section II introduces the SYCL programming model, shows the major differences between an OpenCL program and a SYCL program, and gives a summary of the benchmark suite. In Section III, we describe our SYCL implementations in more details. We evaluate the SYCL benchmarks on the Intel® central processing units (CPUs) and graphics processing units (GPUs) in Section IV. Section V concludes the report.

97 MATHEMATICS AND COMPUTING↗
DOE OSTI2020

Novel Geometric Operations for Linear Programming

This report summarizes the work performed under the project "Linear Programming in Strongly Polynomial Time." Linear programming (LP) is a classic combinatorial optimization problem heavily used directly and as an enabling subroutine in integer programming (IP). Specifically IP is the same as LP except that some solution variables must take integer values (e.g. to represent yes/no decisions). Together LP and IP have many applications in resource allocation including general logistics, and infrastructure design and vulnerability analysis. The project was motivated by the PI's recent success developing methods to efficiently sample Voronoi vertices (essentially finding nearest neighbors in high-dimensional point sets) in arbitrary dimension. His method seems applicable to exploring the high-dimensional convex feasible space of an LP problem. Although the project did not provably find a strongly-polynomial algorithm, it explored multiple algorithm classes. The new medial simplex algorithms may still lead to solvers with improved provable complexity. We describe medial simplex algorithms and some relevant structural/complexity results. We also designed a novel parallel LP algorithm based on our geometric insights and implemented it in the Spoke-LP code. A major part of the computational step is many independent vector dot products. Our parallel algorithm distributes the problem constraints across processors. Current commercial and high-quality free LP solvers require all problem details to fit onto a single processor or multicore. Our new algorithm might enable the solution of problems too large for any current LP solvers. We describe our new algorithm, give preliminary proof-of-concept experiments, and describe a new generator for arbitrarily large LP instances.

97 MATHEMATICS AND COMPUTING↗
DOE OSTI2020

pLiner

Compiler optimizations can alter significantly the numerical results of scientific computing applications. When numerical results differ significantly between compilers, optimization levels, and floating-point hardware, these numerical inconsistencies can impact programming productivity. pLiner is a framework that helps programmers identify locations in the source code that are highly affected by compiler optimizations. pLiner uses a novel approach to identify such code locations by enhancing the floatingpoint precision of variables and expressions. Using a guided search to locate the most significant code regions, pLiner can report to users such locations at different granularities, file, function, and line of code.

Laguna Peralta, Ignacio↗
NASA NTRS1984

Development of a support software system for real-time HAL/S applications

Methodologies employed in defining and implementing a software support system for the HAL/S computer language for real-time operations on the Shuttle are detailed. Attention is also given to the management and validation techniques used during software development and software maintenance. Utilities developed to support the real-time operating conditions are described. With the support system being produced on Cyber computers and executable code then processed through Cyber or PDP machines, the support system has a production level status and can serve as a model for other software development projects.

Smith, R. S.↗
NASA NTRS1988

Direct simulations of chemically reacting turbulent mixing layers, part 2

The results of direct numerical simulations of chemically reacting turbulent mixing layers are presented. This is an extension of earlier work to a more detailed study of previous three dimensional simulations of cold reacting flows plus the development, validation, and use of codes to simulate chemically reacting shear layers with heat release. Additional analysis of earlier simulations showed good agreement with self similarity theory and laboratory data. Simulations with a two dimensional code including the effects of heat release showed that the rate of chemical product formation, the thickness of the mixing layer, and the amount of mass entrained into the layer all decrease with increasing rates of heat release. Subsequent three dimensional simulations showed similar behavior, in agreement with laboratory observations. Baroclinic torques and thermal expansion in the mixing layer were found to produce changes in the flame vortex structure that act to diffuse the pairing vortices, resulting in a net reduction in vorticity. Previously unexplained anomalies observed in the mean velocity profiles of reacting jets and mixing layers were shown to result from vorticity generation by baroclinic torques.

Metcalfe, Ralph W.↗
NASA NTRS1988

Computational methods for the problems of the tip vortex

The tip vortex problem for helicopter rotors in transonic flow was studied. The first model was that of potential flow past a single blade in parallel transonic flow. The incidence on the wing of a vortex sheet trailing from a blade in front was studied by modeling the incident sheet by a single vortex filament. A 3-D potential flow code was written to incorporate the usual boundary conditions at infinity together with the model of such a vortex filament and to analyze the resulting flow over the wing. The code was used to study the effect of the vortex filament on the production of shocks at the tip of the wing. Another problem studied within the framework of potential flow theory was the rollup of the vortex sheet behind the wing. A comparison was made of flow models described by the potential equation, by the Euler equations for steady flow, and by the Navier-Stokes equations. The question was also studied as to whether there is an advantage in solving the Navier-Stokes equations rather than the Euler equations for steady flow.

Garabedian, Paul R.↗
NASA NTRS1989

High speed commercial transport fuels considerations and research needs

NASA is currently evaluating the potential of incorporating High Speed Civil Transport (HSCT) aircraft in the commercial fleet in the beginning of the 21st century. NASA sponsored HSCT enabling studies currently underway with airframers and engine manufacturers, are addressing a broad range of technical, environmental, economic, and related issues. Supersonic cruise speeds for these aircraft were originally focused in the Mach 2 to 5 range. At these flight speeds, both jet fuels and liquid methane were considered potential fuel candidates. For the year 2000 to 2010, cruise Mach numbers of 2 to 3+ are projected for aircraft fuel with thermally stable liquid jet fuels. For 2015 and beyond, liquid methane fueled aircraft cruising at Mach numbers of 4+ may be viable candidates. Operation at supersonic speeds will be much more severe than those encountered at subsonic flight. One of the most critical problems is the potential deterioration of the fuel due to the high temperature environment. HSCT fuels will not only be required to provide the energy necessary for flight, but will also be subject to aerodynamic heating and, will be required to serve as the primary heat sink for cooling the engine and airframe. To define fuel problems for high speed flight, a fuels workshop was conducted at NASA Lewis Research Center. The purpose of the workshop was to gather experts on aviation fuels, airframe fuel systems, airport infrastructure, and combustion systems to discuss high speed fuel alternatives, fuel supply scenarios, increased thermal stability approaches and measurements, safety considerations, and to provide directional guidance for future R and D efforts. Subsequent follow-up studies defined airport infrastructure impacts of high speed fuel candidates. The results of these activities are summarized. In addition, an initial case study using modified in-house refinery simulation model Gordian code (1) is briefly discussed. This code can be used to simulate different types of refineries, emphasizing jet fuel production and relative cost factors.

Lee, C. M.↗
NASA NTRS1989

Hardware impacts to software development strategies - The history of the development of the Mars Observer Payload Data Subsystem embedded real-time software

Ways in which parallel hardware development and high level requirements changes have influenced Mars Observer Payload Data Subsystem (PDS) flight software development are discussed. Particular attention is given to ways in which the evolving hardware product and changing requirements have led to repeated modification to software requirements, design, code, and test tools and a delay in the closure of corresponding phases of the software development life cycle. Design and implementation problems which were encountered during the PDS software development effort are described.

Elson, Anne B.↗
NASA NTRS1989

Advances in image compression and automatic target recognition; Proceedings of the Meeting, Orlando, FL, Mar. 30, 31, 1989

Various papers on image compression and automatic target recognition are presented. Individual topics addressed include: target cluster detection in cluttered SAR imagery, model-based target recognition using laser radar imagery, Smart Sensor front-end processor for feature extraction of images, object attitude estimation and tracking from a single video sensor, symmetry detection in human vision, analysis of high resolution aerial images for object detection, obscured object recognition for an ATR application, neural networks for adaptive shape tracking, statistical mechanics and pattern recognition, detection of cylinders in aerial range images, moving object tracking using local windows, new transform method for image data compression, quad-tree product vector quantization of images, predictive trellis encoding of imagery, reduced generalized chain code for contour description, compact architecture for a real-time vision system, use of human visibility functions in segmentation coding, color texture analysis and synthesis using Gibbs random fields.

Tescher, Andrew G.↗