Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “programming”

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 685 records · Page 38

Analytical Modeling of Cache Behavior for Affine Programs

Modern optimizing compiler design integrates program transformation strategies aimed at reducing data movement to/from main memory by exploiting the data cache hierarchy. But in reality, the effect of these transformations on the actual cache miss count is ignored in compilers due to the lack of precise compile-time models of misses for hierarchical caches. The current state of practice for cache miss analysis is based on accurate simulation. However, simulation requires time proportional to the dataset/problem size as well as the number of distinct cache configurations of interest to be evaluated. This paper takes a fundamentally different approach, made possible by focusing on polyhedral programs with static control flow: instead of relying on costly simulation, this paper develops the first closed-form solution for exact modeling of misses in a set-associative cache hierarchy. It enabling simulation-less selection of program transformations at compile-time to optimize cache misses. A push-button tool implementing the approach is developed and used for extensive validation of the complete framework.

affine programs, cache modeling, set associativity↗

Parsl: Pervasive Parallel Programming in Python

High-level programming languages such as Python are increasingly used to provide intuitive interfaces to libraries written in lower-level languages and for assembling applications from various components. This migration towards orchestration rather than implementation, coupled with the growing need for parallel computing (e.g., due to big data and the end of Moore's law), necessitates rethinking how parallelism is expressed in programs. Here, we present Parsl, a parallel scripting library that augments Python with simple, scalable, and flexible constructs for encoding parallelism. These constructs allow Parsl to construct a dynamic dependency graph of components that it can then execute efficiently on one or many processors. Parsl is designed for scalability, with an extensible set of executors tailored to different use cases, such as low-latency, high-throughput, or extreme-scale execution. We show, via experiments on the Blue Waters supercomputer, that Parsl executors can allow Python scripts to execute components with as little as 5 ms of overhead, scale to more than 250000 workers across more than 8000 nodes, and process upward of 1200 tasks per second. Other Parsl features simplify the construction and execution of composite programs by supporting elastic provisioning and scaling of infrastructure, fault-tolerant execution, and integrated wide-area data management. We show that these capabilities satisfy the needs of many-task, interactive, online, and machine learning applications in fields such as biology, cosmology, and materials science.

parallel programming↗

Extracting SIMD Parallelism from Recursive Task-Parallel Programs

The pursuit of computational efficiency has led to the proliferation of throughput-oriented hardware, from GPUs to increasingly wide vector units on commodity processors and accelerators. This hardware is designed to efficiently execute data-parallel computations in a vectorized manner. However, many algorithms are more naturally expressed as divide-and-conquer, recursive, task-parallel computations. In the absence of data parallelism, it seems that such algorithms are not well suited to throughput-oriented architectures. This paper presents a set of novel code transformations that expose the data parallelism latent in recursive, task- parallel programs. These transformations facilitate straightforward vectorization of task-parallel programs on commodity hardware. We also present scheduling policies that maintain high utilization of vector resources while limiting space usage. Across several task-parallel benchmarks, we demonstrate both efficient vector resource utilization and substantial speedup on chips using Intel’s SSE4.2 vector units, as well as accelerators using Intel’s AVX512 units. We then show through rigorous sampling that, in practice, our vectorization techniques are effective for a much larger class of programs.

Recursive Programs, task parallelism, vectorizatio↗

Gene Expression Programming for Quantum Computing

Here, we introduce QuantumGEP, a scientific computer program that uses gene expression programming (GEP) to find a quantum circuit that either (1) maps a given set of input states to a given set of output states or (2) transforms a fixed initial state to minimize a given physical quantity of the output state. QuantumGEP is a driver program that uses evendim, a generic computational engine for GEP, both of which are free and open source. We apply QuantumGEP as a powerful solver for MaxCut in graphs and for condensed matter quantum many-body Hamiltonians.

97 MATHEMATICS AND COMPUTING↗

Orbital Conflict: Cutting Planes for Symmetric Integer Programs

Cutting planes have been an important factor in the impressive progress made by integer programming (IP) solvers in the past two decades. However, cutting planes have had little impact on improving performance for symmetric IPs. Rather, the main breakthroughs for solving symmetric IPs have been achieved by cleverly exploiting symmetry in the enumeration phase of branch and bound. In this work, we introduce a hierarchy of cutting planes that arise from a reinterpretation of symmetry-exploiting branching methods. There are too many inequalities in the hierarchy to be used efficiently in a direct manner. However, the lowest levels of this cutting-plane hierarchy can be implicitly exploited by enhancing the conflict graph of the integer programming instance and by generating inequalities such as clique cuts valid for the stable set relaxation of the instance. We provide computational evidence that the resulting symmetry-powered clique cuts can improve state-of-the-art symmetry-exploiting methods. Furthermore, the inequalities are then employed in a two-phase approach with high-throughput computations to solve heretofore unsolved symmetric integer programs arising from covering designs, establishing for the first time the covering radii of two binary-ternary codes.

97 MATHEMATICS AND COMPUTING↗

Improving Mathematical Exposition of an Industrial-Scale Linear Program

Industrial-scale models require considerable setup time; hence, once built, they are used in myriad ways to consider closely related cases. In practice, the code for these models frequently evolves without appropriate notational choices, largely as a result of the lengthy development time of, and the number of individuals contributing to, their formulation. This leads to inefficiencies and obfuscates model structures that might be leveraged to expedite solutions. In this paper, we advocate for an emerging literature on model formulation “best practices” and present the reformulation of a widely used industrial-scale linear program. The efficient mathematical expression of this linear program, used to plan capacity expansion in the energy sector, allows for greater transparency of model structures and enhanced ability to identify computational performance improvements, as well as a lucid interpretation of its solutions. This type of formulation is employed in several mathematical programming courses at our university as an example of the advantages of best practices; the model more broadly is used widely to inform policy in the U.S. energy sector.

97 MATHEMATICS AND COMPUTING↗

Fuel Programming in Pool-Type Research Reactors of Intermediate Power Level

Here, a fuel cycle program is presented for an intermediate power research reactor utilizing fully enriched MTR-type fuel elements. The fuel cycle program is considered at equilibrium after many cycles have past. The program consists of shifting elements from positions of high importance outward to positions of low importance through several paths. The paths are staggered so that only the elements in one path are shifted at the conclusion of a cycle, and only one element is replaced. The method of calculating the fuel remaining in each element is shown utilizing a fractional burn-up factor for each position. Sample calculations are shown for the LPTR with 23 standard elements in the core and a desired burn-up of 15%. A method is proposed to obtain such an equilibrium condition starting with an initial loading of fuel elements having nearly equal fuel loading.

22 GENERAL STUDIES OF NUCLEAR REACTORS↗

City of San Antonio, Texas Better Buildings Program

The San Antonio Better Buildings Program is a unified single-point-of-service energy efficiency delivery mechanism targeting residential, commercial, institutional, industrial and public buildings. This comprehensive and replicable energy efficiency program is designed to be an effective demand side management initiative to provide a seamless process for program participants to have turn-key access to expert analysis, support and incentives to improve the performance of their in-place energy using systems, while reducing electrical energy use and demand.

32 ENERGY CONSERVATION, CONSUMPTION, AND UTILIZATI↗

Los Alamos Programming Models

This is the PDF of a powerpoint presentation from a teleconference on Los Alamos programming models. It starts by listing their assumptions for the programming models and then details a hierarchical programming model at the System Level and Node Level. Then it details how to map this to their internal nomenclature. Finally, a list is given of what they are currently doing in this regard.

97 MATHEMATICS AND COMPUTING↗

Test Problems for Programmed Burn [Slides]

This document presents updated FLAG results for the Kenamond programmed burn test problems. Problem definition, exact solutions for constant detonation velocity, and FLAG results using a Huygens solution are provided in Kenamond’s “Lund High Explosive Programmed Burn Model in the FLAG Code” LA-UR-09-08297. FLAG results using Line-of-Sight (LOS) preconditioning of the Huygens solution are presented in Kenamond’s “Line-of-Sight (LOS) High Explosive Programmed Burn Model in the FLAG Code” LA-UR-09-08296. FLAG has an old, serial, uniform-grid “mapped” 2D DSD solver and a new, inline, parallel, conformal mesh 2D/3D DSD solver. These solvers will be exercised with flat Dn-Kappa relations to facilitate comparison with analytic solutions. The remaining slides document FLAG results with 1) Huygens, 2) Huygens with LOS, 3) old DSD, and 4) new DSD. By design, these geometries are coarsely meshed. Plotting error with respect to the analytic solutions reveals sensitivities to element type, element aspect ratio, boundary conditions, detonator timing, and discontinuous detonation velocity. In all plots of this document, color is absolute error relative to the exact solution. In all plots of this document, contours are burntime isochrones of the numerical solution.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗

Ecological Monitoring and Compliance Program 2017 Report

The Ecological Monitoring and Compliance Program (EMAC), funded through the U.S. Department of Energy, National Nuclear Security Administration Nevada Field Office (NNSA/NFO), monitors the ecosystem of the Nevada National Security Site (NNSS) and ensures compliance with laws and regulations pertaining to NNSS biota. This report summarizes the program’s activities conducted by National Security Technologies, LLC (NSTec) and Mission Support and Test Services, LLC (MSTS), during calendar year 2017. Program activities included (a) biological surveys at proposed activity sites, (b) desert tortoise compliance, (c) ecosystem monitoring, (d) sensitive plant species monitoring, (e) sensitive and protected/regulated animal monitoring, and (f) habitat restoration monitoring. During 2017, all applicable laws, regulations, and most permit requirements were met, enabling EMAC to achieve its intended goals and objectives.

60 APPLIED LIFE SCIENCES↗

An Atlas of Current Customer-Facing Utility Program Designs and Pricing

The National Renewable Energy Laboratory (NREL) and Kevala conducted a targeted literature review and leveraged extensive expertise, including team members with four decades of experience in the utility sector, to characterize utility programs and rate designs. This analysis delves into the motivations behind these programs and the various hurdles they face. Through this in-depth study, the team provides critical insights into the operational dynamics of utility programs, identifying key drivers and barriers that influence their effectiveness and implementation.

32 ENERGY CONSERVATION, CONSUMPTION, AND UTILIZATI↗

Multi-Semester Mentoring and GPA Trajectories in SPINS: A Longitudinal Program Evaluation of STEM Scholars

This exploratory longitudinal program evaluation examined GPA trajectories among 14 STEM scholars participating in the Scholarly Partnership in Nuclear Security (SPINS) mentoring program at an HBCU. Using de-identified administrative data (37 scholar-semester observations), the study compared baseline and latest term GPAs anchored to each scholar’s first funded semester. A Wilcoxon signed-rank test was used to assess within-student change. Mean GPA increased modestly from 3.46 (SD = 0.30) at baseline to 3.61 (SD = 0.33) at the latest observed semester, with 12 of 14 scholars (85.7%) showing net improvement (median change = +0.12). The Wilcoxon signed-rank test indicated a statistically significant positive shift (W = 18, p = 0.030). However, scholars entered the program with a high baseline GPA, and ceiling effects were evident for several participants. Grounded in Social Cognitive Career Theory, findings suggest that multi-semester participation in SPINS is associated with GPA stability and modest improvement in an already high-performing cohort. Results should be interpreted cautiously given the small sample size and single-group design. The study highlights the value of sustained, culturally responsive mentoring at an HBCU while underscoring the need for larger evaluations with comparison cohorts and broader psychosocial outcomes. An evidence-informed mentoring framework is proposed to strengthen multi-semester support.

42 ENGINEERING↗

Program Direction FY 2017 Budget At-A-Glance

Program Direction enables EERE to maintain and support a world-class federal workforce to accomplish its mission of creating and sustaining American leadership in the sustainable transportation, renewable power, and energy efficiency sectors. The FY 2017 Program Direction budget request provides resources for program and project management, administrative support, contract administration, human capital management, headquarters and field site non-laboratory facilities and infrastructure, and contractor support.

Budget, Finance, FY 2017, Direction, Program↗

An OpenACC-Based Unified Programming Model for Multi-accelerator Systems

This paper proposes a novel SPMD programming model of OpenACC. Our model integrates the different granularities of parallelism from vector-level parallelism to node-level parallelism into a single, unified model based on OpenACC. It allows programmers to write programs for multiple accelerators using a uniform programming model whether they are in shared or distributed memory systems. We implement a prototype of our model and evaluate its performance with a GPU-based supercomputer using three benchmark applications.

Accelerators↗

US Accelerator R&D Program Toward Intensity Frontier Machines

The 2014 P5 report indicated the accelerator-based neutrino and rare decay physics research as a centerpiece of the US domestic HEP program. Operation, upgrade and development of the accelerators for the near-term and longer-term particle physics program at the Intensity Frontier face formidable challenges. Here we discuss key elements of the accelerator physics and technology R&D program toward future multi-MW proton accelerators.

43 PARTICLE ACCELERATORS↗

Making Commercial Whole Building Program Delivery Easier and Less Risky Greg Thomas, Performance Systems Development

Whole building commercial programs can be challenging to deliver due to their complexity and scope. A broad suite of Federal tools and reference standards can be leveraged to reduce program cost and risk, and improve scalability. The OpenEfficiency Initiative (OEI) is a DoE funded effort to expand the deployment of Federal tools and reference standards into whole building commercial efficiency programs. OEI is developing an open source data exchange platform which is being informed and motivated by pilots.

32 ENERGY CONSERVATION, CONSUMPTION, AND UTILIZATI↗