Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “SPACE PROGRAM”

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 793 records · Page 44
All sourcesNASA NTRSDOE OSTI
DOE OSTI2012

Beam Dynamics Simulations for the Low-Energy Magnetic Bunch Compressor at ASTA

The Advanced Superconducting Test Accelerator (ASTA) at Fermilab incorporates a magnetic chicane bunch compressor to enhance the electron-bunch peak current. The bunch compression occurs at an energy of 40 MeV and is therefore subject to significant phase-space degradations which occur as a result of space-charge and coherent synchrotron radiation effects. In this report, we explore the performance of this low-energy bunch compressor using several simulation programs.

43 PARTICLE ACCELERATORS↗
DOE OSTI2019

Data Release Report Source Physics Experiments 5 and 6 (SPE-5 and SPE-6), Nevada National Security Site

The fifth Source Physics Experiment test (SPE-5) was conducted in Nevada on April 26, 2016, at 20:49:00 Coordinated Universal Time (UTC). The explosive source was 4,288.7 kilograms (kg) of polymer-bonded explosive (PBXN) –110, equivalent to 5,035 kg of trinitrotoluene (TNT) detonated at a depth of 76.5 meters (m). The sixth Source Physics Experiment test (SPE-6) was conducted in Nevada on October 12, 2016 at 18:36:00 UTC. The explosive source was 1,982.2 kg of PBXC-141, equivalent to 2,240.2 kg of TNT detonated at the depth of 31.4 m. Both tests were recorded by an extensive set of instrumentation that includes sensors both at near-field (less than 100 m) and far-field (100 m or greater) distances. The near-field instruments consisted of three-component accelerometers installed at various depths ranging from 4 to 99 m below ground surface in boreholes positioned around the shot, and a set of single-component vertical accelerometers on the surface. The far-field network was composed of a variety of seismic and acoustic sensors, including short-period geophones, broadband seismometers, and three-component accelerometers at distances of 100 m to 400 kilometers. In addition, both explosions were recorded in a temporary array of 996 geophones arranged in a densely spaced grid pattern (“large N”). This report coincides with the release of these data for analysts and organizations that are not participants in this program. This report describes the fifth and sixth Source Physics Experiment tests and the various types of near-field and far-field data that are available.

58 GEOSCIENCES↗
DOE OSTI2024

A Full-Stack Exploration of Language-Based Parallelism in Fortran 2023

This poster explores native parallel features in Fortran 2023 through the lens of supporting applications with libraries, compilers, and parallel runtimes. The language revision informally named Fortran 2008 introduced parallelism in the form of Single Program Multiple Data (SPMD) execution with two broad feature sets: (1) loop-level parallelism via do concurrent and (2) a Partitioned Global Address Space (PGAS) comprised of distributed “coarray” data structures. Fortran’s native parallelism has demonstrated high performance [1] and reduced the burden of inserting what sometimes amounts to more directives than code. Several compilers support both feature sets, typically by translating do concurrent into serial do loops annotated by parallel directives and by translating SPMD/PGAS features into direct calls to a communication library. Our research focuses primarily on two questions: (1) can the compiler’s parallel runtime library be developed in the language being compiled (Fortran) and (2) can we define an interface to the runtime that liberates compilers from being hardwired to one runtime and vice versa. We are answering these questions by developing the Parallel Runtime Interface for Fortran (PRIF) [2] and the Co-Array Fortran Framework of Efficient Interfaces to Network Environments (Caffeine) [3]. Caffeine is initially targeting adoption by LLVM Flang, a new open-source Fortran compiler developed by a broad community in industry, academia, and government labs. We are also exploring the use of these features in Inference-Engine, a deep learning library designed to facilitate neural network training and inference for high-performance computing applications written in modern Fortran.

Rasmussen, Katherine↗
DOE OSTI2016

SMART Scale An Innovative Program Accelerating the Energy Efficiency Market

Small business is a major component of the American economy. More than half of all private sector workers in this country are employed by small businesses and nearly two-thirds of the new jobs generated in the last ten years were created in this sector. Studies have shown that buildings of less than 50,000 square feet represent 94% of the commercial sector and half of all non-residential floor space in the United States. The future of the American economy relies on a vibrant, robust, and profitable small business community. Small and mid-sized businesses (SMB) can increase their profitability by reducing their operating costs through energy efficiency. The SMART Scale program delivers deep retrofits that maximize energy and cost savings for the SMB market and can be adapted throughout the country in markets of all sizes. For the past 14 years, Ecology Action has been perfecting a Direct Install (DI) program for the SMB market that offers this sector the type of sophisticated, comprehensive energy saving opportunities that were previously available only to large commercial and industrial customers. The DI 2.0 model that Ecology Action has administered for several public and investor-owned California utilities, and most recently for the Sacramento Municipal Utilities District (SMUD), provides the template for a successful retrofit program that can address the unique barriers faced by the SMB sector and achieve a greater impact than traditional DI programs. The impressive results produced by the DI 2.0 program prompted the US Department of Energy to award Ecology Action a $2 million grant in 2013 to create, demonstrate and roll out a replicable model for delivering deep retrofits to small commercial buildings. The grant enabled Ecology Action to build on the success of DI 2.0 by incorporating improvements into the model, market-testing it and designing a costeffective method of achieving significant energy savings for small businesses across the country.

32 ENERGY CONSERVATION, CONSUMPTION, AND UTILIZATI↗
DOE OSTI2015

THE FLARE-ONA OF EK DRACONIS

EK Draconis (HD 129333: G1.5 V) is a well-known young (50 Myr) solar analog. In 2012, Hubble Space Telescope returned to EK Dra to follow up a far-ultraviolet (FUV) SNAPshot visit by Cosmic Origins Spectrograph (COS) two years earlier. The brief SNAP pointing had found surprisingly redshifted, impulsively variable subcoronal “hot-line” emission of Si iv 1400 Å (T ∼ 8 × 10{sup 4} K). Serendipitously, the 2012 follow-on program witnessed one of the largest FUV flares ever recorded on a sunlike star, which again displayed strong redshifts (downflows) of 30–40 km s{sup −1}, even after compensating for small systematics in the COS velocity scales, uncovered through a cross-calibration by Space Telescope Imaging Spectrograph (STIS). The (now reduced, but still substantial) ∼10 km s{sup −1} hot-line redshifts outside the flaring interval did not vary with rotational phase, so cannot be caused by “Doppler imaging” (bright surface patches near a receding limb). Density diagnostic O iv] 1400 Å multiplet line ratios of EK Dra suggest n{sub e} ∼ 10{sup 11} cm{sup −3}, an order of magnitude larger than in low-activity solar twin α Centauri A, but typical of densities inferred in large stellar soft X-ray events. The self-similar FUV hot-line profiles between the flare decay and the subsequent more quiet periods, and the unchanging but high densities, reinforce a long-standing idea that the coronae of hyperactive dwarfs are flaring all the time, in a scale-free way; a flare-ona if you will. In this picture, the subsonic hot-line downflows probably are a byproduct of the post-flare cooling process, something like “coronal rain” on the Sun. All in all, the new STIS/COS program documents a complex, energetic, dynamic outer atmosphere of the young sunlike star.

79 ASTRONOMY AND ASTROPHYSICS↗
DOE OSTI2012

CANDELS: THE CONTRIBUTION OF THE OBSERVED GALAXY POPULATION TO COSMIC REIONIZATION

We present measurements of the specific ultraviolet luminosity density from a sample of 483 galaxies at 6 {approx}< z {approx}< 8. These galaxies were selected from new deep near-infrared Hubble Space Telescope imaging from the Cosmic Assembly Near-infrared Deep Extragalactic Legacy Survey, Hubble UltraDeep Field 2009, and Wide Field Camera 3 Early Release Science programs. We investigate the contribution to reionization from galaxies that we observe directly, thus sidestepping the uncertainties inherent in complementary studies that have invoked assumptions regarding the intrinsic shape or the faint-end cutoff of the galaxy ultraviolet (UV) luminosity function. Due to our larger survey volume, wider wavelength coverage, and updated assumptions about the clumping of gas in the intergalactic medium (IGM), we find that the observable population of galaxies can sustain a fully reionized IGM at z = 6, if the average ionizing photon escape fraction (f {sub esc}) is {approx}30%. Our result contrasts with a number of previous studies that have measured UV luminosity densities at these redshifts that vary by a factor of five, with many concluding that galaxies could not complete reionization by z = 6 unless a large population of galaxies fainter than the detection limit were invoked, or extremely high values of f {sub esc} were present. The specific UV luminosity density from our observed galaxy samples at z = 7 and 8 is not sufficient to maintain a fully reionized IGM unless f {sub esc} > 50%. We examine the contribution from galaxies in different luminosity ranges and find that the sub-L* galaxies we detect are stronger contributors to the ionizing photon budget than the L > L* population, unless f {sub esc} is luminosity dependent. Combining our observations with constraints on the emission rate of ionizing photons from Ly{alpha} forest observations at z = 6, we find that we can constrain f {sub esc} < 34% (2{sigma}) if the observed galaxies are the only contributors to reionization, or <13% (2{sigma}) if the luminosity function extends to a limiting magnitude of M {sub UV} = -13. These escape fractions are sufficient to sustain an ionized IGM by z = 6. Current constraints on the high-redshift galaxy population imply that the volume ionized fraction of the IGM, while consistent with unity at z {<=} 6, appears to drop at redshifts not much higher than 7, consistent with a number of complementary reionization probes. If faint galaxies dominated the ionizing photon budget at z = 6-7, future extremely deep observations with the James Webb Space Telescope will probe deep enough to directly observe them, providing an indirect constraint on the global ionizing photon escape fraction.

79 ASTRONOMY AND ASTROPHYSICS↗
DOE OSTI2017

Regulated Forms of Cell Death in Fungi

Cell death occurs in all domains of life. While some cells die in an uncontrolled way due to exposure to external cues, other cells die in a regulated manner as part of a genetically encoded developmental program. Like other eukaryotic species, fungi undergo programmed cell death (PCD) in response to various triggers. For example, exposure to external stress conditions can activate PCD pathways in fungi. Calcium redistribution between the extracellular space, the cytoplasm and intracellular storage organelles appears to be pivotal for this kind of cell death. PCD is also part of the fungal life cycle, in which it occurs during sexual and asexual reproduction, aging, and as part of development associated with infection in phytopathogenic fungi. Additionally, a fungal non-self-recognition mechanism termed heterokaryon incompatibility (HI) also involves PCD. Some of the molecular players mediating PCD during HI show remarkable similarities to major constituents involved in innate immunity in metazoans and plants. In this review we discuss recent research on fungal PCD mechanisms in comparison to more characterized mechanisms in metazoans. We highlight the role of PCD in fungi in response to exogenic compounds, fungal development and non-self-recognition processes and discuss identified intracellular signaling pathways and molecules that regulate fungal PCD.

BCL-2 family↗
DOE OSTI2016

TOWARD A NETWORK OF FAINT DA WHITE DWARFS AS HIGH-PRECISION SPECTROPHOTOMETRIC STANDARDS

We present the initial results from a program aimed at establishing a network of hot DA white dwarfs to serve as spectrophotometric standards for present and future wide-field surveys. These stars span the equatorial zone and are faint enough to be conveniently observed throughout the year with large-aperture telescopes. The spectra of these white dwarfs are analyzed in order to generate a non-local-thermodynamic-equilibrium model atmosphere normalized to Hubble Space Telescope colors, including adjustments for wavelength-dependent interstellar extinction. Once established, this standard star network will serve ground-based observatories in both hemispheres as well as space-based instrumentation from the UV to the near IR. We demonstrate the effectiveness of this concept and show how two different approaches to the problem using somewhat different assumptions produce equivalent results. We discuss the lessons learned and the resulting corrective actions applied to our program.

79 ASTRONOMY AND ASTROPHYSICS↗
DOE OSTI2016

Atmospheric System Research Treatment of Convection in Next-Generation Climate Models: Challenges and Opportunities Workshop Report

A workshop sponsored by the U.S. Department of Energy (DOE) Atmospheric System Research (ASR) Program was held at the Pacific Northwest National Laboratory (PNNL) on 3-5 February 2016. This workshop was a response to the rapid approach of climate models with cloud-permitting (1- to 10-km grid spacing) resolutions. The expansion of computational resources and advances in numerical methods are making such models a reality. The workshop participants considered specifically the new set of challenges for representing convective cloud processes in this generation of models. The challenges arise from the fact that some aspects of convection are partly resolved. Short- and long-term strategies that would lead to accurately representing convection in these models were discussed, and opportunities for the ASR program to effectively leverage DOE’s unique capabilities, high-performance computing resources, and Atmospheric Radiation Measurement (ARM) Climate Research Facility observational facilities to this end were identified. The workshop was organized around the premise that a strategy to accurately treat convection in the next generation of climate models comprises addressing challenges on three core themes and their integration.

54 ENVIRONMENTAL SCIENCES↗
DOE OSTI2020

Genarris 2.0: A Random Structure Generator for Molecular Crystals

Genarris is an open source Python package for generating random molecular crystal structures with physical constraints for seeding crystal structure prediction algorithms and training machine learning models. Here we present a new version of the code, containing several major improvements. A MPI-based parallelization scheme has been implemented, which facilitates the seamless sequential execution of user-defined workflows. A new method for estimating the unit cell volume based on the single molecule structure has been developed using a machine-learned model trained on experimental structures. A new algorithm has been implemented for generating crystal structures with molecules occupying special Wyckoff positions. A new hierarchical structure check procedure has been developed to detect unphysical close contacts efficiently and accurately. New intermolecular distance settings have been implemented for strong hydrogen bonds. To demonstrate these new features, we study two specific cases: benzene and glycine. Genarris finds the experimental structures of the two polymorphs of benzene and the three polymorphs of glycine. Program summary Program Title: Genarris 2.0 Program Files doi: http://dx.doi.org/10.17632/grx6mz4pjn.1 Licensing provisions: BSD-3 Clause Programming language: Python, C External routines/libraries: Spglib, ASE, pymatgen, SciPy, mpi4py, scikit-learn, PyTorch, FHI-aims. Nature of problem: Molecular crystal structure prediction. Solution method: Genarris 2.0 generates molecular crystal structures over the 230 space groups, on general and special Wyckoff positions, using physical constraints. Down-sampling of the generated structures may be performed subsequently, based on molecular crystal packing descriptors and an unsupervised machine learning algorithm. Lastly, ab initio structure relaxation may be performed for the final pool. Depending on the user-defined workflow implemented, Genarris may be used to generate diverse molecular crystal datasets to seed evolutionary algorithms or to train machine learning algorithms or as a standalone crystal structure prediction method. Restrictions: For crystal structure generation, the molecule of interest must be semi-rigid with no bond rotational degrees of freedom. Unusual features: Genarris 2.0 is a highly distributed program, making use of MPI for Python parallelization. The user has the ability to design and implement workflows by executing a user-defined list of procedures. Genarris 2.0 offers new features including a machine learning model for estimating the molecular volume in the solid state from the single molecule structure, structure generation in special Wyckoff positions of space groups, hierarchical structure checks including rigorous treatment of non-orthogonal structures, and clustering and down-selection workflows combining first principles simulations with machine learning. (C) 2020 Elsevier B.V. All rights reserved.

Crystal structure prediction↗
DOE OSTI2022

First Report of the Nuclear Data Subcommittee of the Nuclear Science Advisory Committee

Accurate, reliable nuclear data is essential for the success of Federal missions such as nonproliferation, nuclear forensics, homeland security, national defense, space exploration, clean energy generation, and scientific research. Data access is also key to innovative commercial developments such as new medicines, automated industrial controls, energy exploration, energy security, nuclear reactor design, and isotope production. The United States Nuclear Data Program (USNDP) is the domestic custodian of nuclear data. In its April 2022 meeting, the DOE/NSF Nuclear Science Advisory Committee was charged with preparing two reports on nuclear data. In this first report, we review recent accomplishments of the USNDP and discuss complementary and collaborative international efforts. Detailed descriptions of nuclear data needs for basic science, nonproliferation, national security, nuclear energy together with medical and space applications are also presented. Lastly, a set of specific cross-cutting nuclear data needs with relevance for multiple applications areas are also identified for further discussion in a follow-on report planned for release at the end of January 2023.

73 NUCLEAR PHYSICS AND RADIATION PHYSICS↗
DOE OSTI2017

Benchmarking and Evaluating Unified Memory for OpenMP GPU Offloading

Here, the latest OpenMP standard offers automatic device offloading capabilities which facilitate GPU programming. Despite this, there remain many challenges. One of these is the unified memory feature introduced in recent GPUs. GPUs in current and future HPC systems have enhanced support for unified memory space. In such systems, CPU and GPU can access each other's memory transparently, that is, the data movement is managed automatically by the underlying system software and hardware. Memory over subscription is also possible in these systems. However, there is a significant lack of knowledge about how this mechanism will perform, and how programmers should use it. We have modified several benchmarks codes, in the Rodinia benchmark suite, to study the behavior of OpenMP accelerator extensions and have used them to explore the impact of unified memory in an OpenMP context. We moreover modified the open source LLVM compiler to allow OpenMP programs to exploit unified memory. The results of our evaluation reveal that, while the performance of unified memory is comparable with that of normal GPU offloading for benchmarks with little data reuse, it suffers from significant overhead when GPU memory is over subcribed for benchmarks with large amount of data reuse. Based on these results, we provide several guidelines for programmers to achieve better performance with unified memory.

97 MATHEMATICS AND COMPUTING↗
DOE OSTI2016

A Hartree-Fock Application Using UPC++ and the New DArray Library

The Hartree-Fock (HF) method is the fundamental first step for incorporating quantum mechanics into many-electron simulations of atoms and molecules, and it is an important component of computational chemistry toolkits like NWChem. The GTFock code is an HF implementation that, while it does not have all the features in NWChem, represents crucial algorithmic advances that reduce communication and improve load balance by doing an up-front static partitioning of tasks, followed by work stealing whenever necessary. To enable innovations in algorithms and exploit next generation exascale systems, it is crucial to support quantum chemistry codes using expressive and convenient programming models and runtime systems that are also efficient and scalable. Here, this paper presents an HF implementation similar to GTFock using UPC++, a partitioned global address space model that includes flexible communication, asynchronous remote computation, and a powerful multidimensional array library. UPC++ offers runtime features that are useful for HF such as active messages, a rich calculus for array operations, hardware-supported fetch-and-add, and functions for ensuring asynchronous runtime progress. We present a new distributed array abstraction, DArray, that is convenient for the kinds of random-access array updates and linear algebra operations on block-distributed arrays with irregular data ownership. Finally, we analyze the performance of atomic fetch-and-add operations (relevant for load balancing) and runtime attentiveness, then compare various techniques and optimizations for each. Our optimized implementation of HF using UPC++ and the DArrays library shows up to 20% improvement over GTFock with Global Arrays at scales up to 24,000 cores.

97 MATHEMATICS AND COMPUTING↗
DOE OSTI2011

International Linear Collider Reference Design Report Volume 2: Physics at the ILC

The triumph of 20th century particle physics was the development of the Standard Model and the confirmation of many of its aspects. Experiments determined the particle constituents of ordinary matter, and identified four forces that hold matter together and transform it from one form to another. Particle interactions were found to obey precise laws of relativity and quantum theory. Remarkable features of quantum physics were observed, including the real effects of 'virtual' particles on the visible world. Building on this success, particle physicists are now able to address questions that are even more fundamental, and explore some of the deepest mysteries in science. The scope of these questions is illustrated by this summary from the report Quantum Universe: (1) Are there undiscovered principles of nature; (2) How can we solve the mystery of dark energy; (3) Are there extra dimensions of space; (4) Do all the forces become one; (5) Why are there so many particles; (6) What is dark matter? How can we make it in the laboratory; (7) What are neutrinos telling us; (8) How did the universe begin; and (9) What happened to the antimatter? A worldwide program of particle physics investigations, using multiple approaches, is already underway to explore this compelling scientific landscape. As emphasized in many scientific studies, the International Linear Collider is expected to play a central role in what is likely to be an era of revolutionary advances. Discoveries from the ILC could have breakthrough impact on many of these fundamental questions. Many of the scientific opportunities for the ILC involve the Higgs particle and related new phenomena at Terascale energies. The Standard Model boldly hypothesizes a new form of Terascale energy, called the Higgs field, that permeates the entire universe. Elementary particles acquire mass by interacting with this field. The Higgs field also breaks a fundamental electroweak force into two forces, the electromagnetic and weak forces, which are observed by experiments in very different forms. So far, there is no direct experimental evidence for a Higgs field or the Higgs particle that should accompany it. Furthermore, quantum effects of the type already observed in experiments should destabilize the Higgs boson of the Standard Model, preventing its operation at Terascale energies. The proposed antidotes for this quantum instability mostly involve dramatic phenomena at the Terascale: new forces, a new principle of nature called supersymmetry, or even extra dimensions of space. Thus for particle physicists the Higgs boson is at the center of a much broader program of discovery, taking off from a long list of questions. Is there really a Higgs boson? If not, what are the mechanisms that give mass to particles and break the electroweak force? If there is a Higgs boson, does it differ from the hypothetical Higgs of the Standard Model? Is there more than one Higgs particle? What are the new phenomena that stabilize the Higgs boson at the Terascale? What properties of Higgs boson inform us about these new phenomena? Another major opportunity for the ILC is to shed light on the dark side of the universe. Astrophysical data shows that dark matter dominates over visible matter, and that almost all of this dark matter cannot be composed of known particles. This data, combined with the concordance model of Big Bang cosmology, suggests that dark matter is comprised of new particles that interact weakly with ordinary matter and have Terascale masses. It is truely remarkable that astrophysics and cosmology, completely independently of the particle physics considerations reviewed above, point to new phenomena at the Terascale. If Terascale dark matter exists, experiments at the ILC should be able to produce such particles in the laboratory and study their properties. Another list of questions will then beckon. Do these new particles really have the correct properties to be the dark matter? Do they account for all of the dark matter, or only part of it? What do their properties tell us about the evolution of the universe? How is dark matter connected to new principles or forces of nature? A third cluster of scientific opportunities for the ILC focus on Einstein's vision of an ultimate unified theory. Particle physics data already suggests that three of the fundamental forces originated from a single 'grand' unified force in the first instant of the Big Bang. Experiments at the ILC could test this idea and look for evidence of a related unified origin of matter involving supersymmetry. A theoretical framework called string theory goes beyond grand unification to include gravity, extra spatial dimensions, and new fundamental entities called superstrings. Theoretical models to explain the properties of neutrinos, and account for the mysterious dominance of matter over antimatter, also posit unification at high energies.

43 PARTICLE ACCELERATORS↗
DOE OSTI2018

Manage OpenMP GPU Data Environment Under Unified Address Space

OpenMP has supported the offload of computations to accelerators such as GPUs since version 4.0. A crucial aspect in OpenMP offloading is to manage the accelerator data environment. Currently, this has to be explicitly programmed by users, which is non-trival and often results in suboptimal performance. The unified memory feature available in recent GPU architectures introduces another option, implicit management. However, our experiments show that it incurs several performance issues, especially under GPU memory oversubscription. In this paper, we propose a compiler and runtime collaborative approach to manage OpenMP GPU data under unified memory. In our framework, the compiler performs data reuse analysis to assist runtime data management. The runtime combines static and dynamic information to make optimized data management decisions.We have implement the proposed technology in the LLVM framework. The evaluation shows our method can achieve significant performance improvement for OpenMP GPU offloading.

97 MATHEMATICS AND COMPUTING↗
DOE OSTI2022

Refining perovskite structures to pair distribution function data using collective Glazer modes as a basis

Structural modelling of octahedral tilts in perovskites is typically carried out using the symmetry constraints of the resulting space group. In most cases, this introduces more degrees of freedom than those strictly necessary to describe only the octahedral tilts. It can therefore be a challenge to disentangle the octahedral tilts from other structural distortions such as cation displacements and octahedral distortions. This paper reports the development of constraints for modelling pure octahedral tilts and implementation of the constraints in diffpy-CMI, a powerful package to analyse pair distribution function (PDF) data. The model in the program allows features in the PDF that come from rigid tilts to be separated from non-rigid relaxations, providing an intuitive picture of the tilting. The model has many fewer refinable variables than the unconstrained space group fits and provides robust and stable refinements of the tilt components. It further demonstrates the use of the model on the canonical tilted perovskite CaTiO 3 which has the known Glazer tilt system α + β – β – . The Glazer model fits comparably to the corresponding space-group model Pnma below r = 14 Å and becomes progressively worse than the space-group model at higher r due to non-rigid distortions in the real material.

36 MATERIALS SCIENCE↗
DOE OSTI2012

Automated Behavior Computation for Software Analysis and Validation

Software systems can exhibit massive numbers of possi-ble execution paths, and even the most comprehensive testing can exercise only a small fraction of these. It is no surprise that systems experience errors and vulnerabilities in field use when most executions are untested. While the problem seems intractable at the execution level, it may not be so at the functional semantics level. Structured programs are expressed in a finite hierarchy of control structures, each of which corresponds to a mathematical function or relation. A correctness theo-rem defines transformation of these structures from procedural logic into non-procedural, as-built specifications of behavior. These specifications enumerate behavior for all circumstances of use and cover the behav-ior space. Automation of these computations affords a new means for validating software functionality and security properties. This paper describes theory and implementation for loop behavior computation in pa-ticular, and illustrates use of an automated behavior computation system to validate a miniature program with and without embedded malware.

99 GENERAL AND MISCELLANEOUS↗
DOE OSTI1991

Nuclear Safety [Vol. 32, No. 4, October-December 1991]

Nuclear Safety is a review journal that covers significant developments in the field of nuclear safety. Its scope includes the analysis and control of hazards associated with nuclear energy, operations involving fissionable materials, and the products of nuclear fission and their effects on the environment. Primary emphasis is on safety in reactor design, construction, and operation; however, the safety aspects of the entire fuel cycle, including fuel fabrication, spent-fuel processing, nuclear waste disposal, handling of radioisotopes, and environmental effects of these operations, are also treated. Table of Contents for this issue follows. GENERAL SAFETY CONSIDERATIONS: 477 Report on the International Symposium on the Use of Probabilistic Safety Assessment for Operational Safety—PSA '91, S. Chakraborty and M. Khatib-Rahbar; 488 Good Relationships Are Pivotal in Nuclear Data Bases, A. S. Heger and B. V. Koen; 494 Technical Note: The Interagency Nuclear Safety Review Panel's Evaluation of the Ulysses Space Mission, J. A. Sholtis, Jr., D. A. Huff, L. B. Gray, N. P. Klug, and R. O. Winchester; ACCIDENT ANALYSIS: 502 The Severe Accident Analysis Program for the Savannah River Nuclear Production Reactors, M. L. Hyder; CONTROL AND INSTRUMENTATION: 511 A Framework for Selecting Suitable Control Technologies for Nuclear Power Plant Systems, R. A. Kisner; DESIGN FEATURES: 521 Containments for Gas-Cooled Power Reactors History and Status, P.W. Williams; ENVIRONMENTAL EFFECTS: 537 Indoor Radon: A Natural Risk, N. H. Harley and J.H. Harley; On the Importance of the Atmospheric Parameters in the Fission Products Distribution of a Severe Reactor Accident, M. C. Barla and A. R. Bayulken; Book Review: Health Effects of Exposure to Low Levels of Ionizing Radiation BEIR V, C. R. Richmond; WASTE AND SPENT FUEL MANAGEMENT: 555 Activities Related to Waste and Spent Fuel Management, M. D. Muhlheim and E. G. Silver OPERATING EXPERIENCES: 567 Effects of Component Aging on the Westhinghouse Control Rod Drive System, K. Sullivan and W. Gunther; 577 Reactor Shutdown Experience, Compiled by J. W. Cletcher, 580 Selected Safety-Related Events, Compiled by G. A. Murphy; 582 Operating U 8 Power Reactors, Compiled by M. D. Muhlheim and E. G. Silver, RECENT DEVELOPMENTS: 596 General Administrative Activities, Compiled by M. D. Muhlheim and E. G. Silver; 610 Reports, Standards, and Safety Guides, D. S. Queener; 614 Proposed Rule Changes as of June 30, 1991; ANNOUNCEMENTS: 520 Workshop on PC PRAISE: A Probabilistic Fracture Mechanics Personal Computer Code for Nuclear Power Plant Piping Reliability Assessment; 536 Fifth Workshop on Nuclear Power Plant Containment Integrity; 624 New OECD "International Information System on Occupational Exposure (ISOE)"; 625 Harvard School of Public Health Announces Short Courses; 625 Eighth Power Plant Dynamics, Control and Testing Symposium; 626 Second Training Course on Off-Site Emergency Planning and Response for Nuclear Accidents; 618 The Authors; 622 Reviewers of Nuclear Safety, Vol 32.

11 NUCLEAR FUEL CYCLE AND FUEL MATERIALS↗