Sandia National Laboratories? Hydrogen and Fuel Cell Program Example Project Impacts.
Abstract not provided.
SEARCH · Engineering Papers
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.
Abstract not provided.
Research activities conducted under the program for Transfer Research and impact studies are reviewed. Programs include: Tech Brief - Technical Support Package (TSP) Program; transfer documentation; and technology transfer profiles. An analysis of user behavior patterns is made by studying questionnaires filled out by users of the Tech Brief - TSP program. The process of technology transfer is discussed in terms of improving its effectiveness.
Implementation costs are a major factor in manufacturers’ decisions to invest in energy-efficient technologies. Emerging technologies in lighting systems, however, typically require small investment costs and offer short, simple payback periods, due, in part, to federal, state, and utility incentive programs. Recently, however, certain state and federal mandates have reduced the support for and efficacy of electricity utility incentivizing programs. To determine the impact of such support programs, this study examined historical data regarding lighting retrofit savings, implementation costs, and utility rebates gathered from 13 years of industrial energy audits by a U.S. Department of Energy Industrial Assessment Center in a midwestern state. It uses a machine learning approach to evaluate the industrial energy and cost-saving opportunities that may have been lost due to decisions attributable to legislative mandates, utility policies, and manufacturers’ calculations and to evaluate the potential effect of lighting rebates on manufacturers’ decisions to implement industrial energy-efficient lighting retrofits. The results indicate that the decision not to implement lighting energy efficiency recommendations resulted in a loss of more than USD800,000 in potential rebates by industries during the study period and that the implementation of lighting energy assessment recommendations could have increased by about 50% if electric utility rebates had been available. These findings can help industries evaluate the benefits of implementing lighting efficiency improvements, and help utilities determine feasible lighting retrofit rebate values for incentivizing such changes by the industries they serve.
Impact of space exploration on astronomy and human culture
The paper describes the industry/university consortia programs established by the United States and Australia and examines these programs from the viewpoint of their impact on space education in their respective countries. Particular attention is given to the aim and the nature of the three programs involved: the Centers for the Commercial Development of Space (CCDSs) (funded by NASA), which are currently involving about 250 companies and 88 universities as participants; the Space Industry Development Centers (SIDCs) (funded by the Australian Space Office): and the Cooperative Research Centers (CRCs) (funded by the Federal Government), which are not limited to the space area but are open to activities ranging from medical research to waste-water treatment. It is emphasized that, while the main aim of the CCDS, SIDC, and CRC programs is to develop space expertise, space education is a very significant byproduct of the activity of these agencies.
The private-sector economic and employment impacts of the U.S. Space Program on the whole nation and on each state were investigated, considering 80 industries and 475 occupations. It is shown that the FY 1987 NASA procurement expenditures of $8.6 billion resulted in 209,000 jobs, $17.8 billion in total industry sales, $2.9 billion in corporate profits, and $5.6 billion in Federal, state, and local government tax revenues. Although the industry and job impacts are concentrated in states that are the largest direct recipients of NASA program funds (California, Texas, and Florida), every state in the nation benefits from the Space Program and the indirect economic benefits for many states are very high. Details are presented of the total sales and jobs created in each state.
A 3-D finite element program capable of simulating the dynamic behavior in the vicinity of the impact point, together with predicting the dynamic response in the remaining part of the structural component subjected to high velocity impact is discussed. The finite algorithm is formulated in a general moving coordinate system. In the vicinity of the impact point contained by a moving failure front, the relative velocity of the coordinate system will approach the material particle velocity. The dynamic behavior inside the region is described by Eulerian formulation based on a hydroelasto-viscoplastic model. The failure front which can be regarded as the boundary of the impact zone is described by a transition layer. The layer changes the representation from the Eulerian mode to the Lagrangian mode outside the failure front by varying the relative velocity of the coordinate system to zero. The dynamic response in the remaining part of the structure described by the Lagrangian formulation is treated using advanced structural analysis. An interfacing algorithm for coupling CELFE with NASTRAN is constructed to provide computational capabilities for large structures.
Research activities conducted under the Program for Transfer Research and Impact Studies (TRIS) during 1972 included: (1) preparation of 10,196 TSP requests for TRIS application analysis; (2) interviews with over 500 individuals concerning the technical, economic, and social impacts of NASA-generated technology; (3) preparation of 38 new technology transfer example files and 101 new transfer cases; and (4) maintenance of a technology transfer library containing more than 2,900 titles. Six different modes of technology utilization are used to illustrate the pervasiveness of the transfer and diffusion of aerospace innovations. These modes also provide a basis for distinguishing the unique characteristics of the NASA Technology Utilization Program. An examination is reported of the ways in which NASA-generated technology is contributing to beneficial social change in five major areas of human concern: health, environment, safety, transportation, and communication.
The 2021 NASA Small Spacecraft Technology program video is an overview of the history and future plans of the program. It shares the impacts the program has made to date, as well as technologies, missions, and an initiative that will promote significant NASA contributions toward the advancement of the small spacecraft platform capability.
The impact of future operational status on the planning and execution of the research and development activities for major space flight projects is assessed. These projects, within NASA, are part of the Applications Program involving communications and meteorology. The NASA management approach to these projects is determined by national policies governing the responsibilities and relationships among the various government agencies and private industries.
The DOMSAT II stochastic communication satellite business venture financial planning simulation model is described. The specification of business scenarios and the results of several analyses are presented. In particular, the impacts of NASA on-orbit propulsion and power technology programs are described. The effects of insurance rates and self-insurance and of the use of the Space Shuttle and Ariane transportation systems on a typical fixed satellite service business venture are discussed.
The impact of the current federal budget on the establishment of an operational LANDSAT system is examined with particular emphasis on NOAA responsibilities and efforts to transfer operation of the land satellite system to the private sector. In order to recover the cost of maintenance and operations, the price of system data and products must be raised. Cooperative efforts needed for NASA, EDC, and NOAA to implement the operational system are discussed.
Economic impact of technological spin-off from space program
Abstract Climate benefit assessments of bioenergy crops often focus on biogeochemical impacts, paying little if any attention to biogeophysical impacts. However, land conversions required for large-scale bioenergy crop production are substantial and may directly affect the climate by altering surface energy balance. In the US, such land conversions are likely to be met in part by converting Conservation Reserve Program (CRP) grassland to bioenergy crops. Here, we converted three 22 year old CRP smooth brome grass fields into no-till corn, switchgrass, or restored prairie bioenergy crops. We assessed the biogeophysical climate impact of the conversions using albedo changes relative to unconverted reference CRP grassland. The corn and perennial fields had higher annual albedo than the grassland they replaced—causing cooling of the local climate. The cooling of the corn field occurred solely during the non-growing season—especially when surfaces were snow-covered, whereas the cooling of the perennial fields was more prominent during the growing season. Compared to biogeochemical impacts with fossil fuel offsets for the same land conversions over eight years, the annual albedo-induced climate benefits add ∼35% and ∼78% to the annual biogeochemical benefits provided from the switchgrass and restored prairie fields, respectively, and offset ∼3.3% of the annual greenhouse gas (GHG) emissions from the corn field. We conclude that albedo-induced climate mitigation from conversion of CRP lands to perennial but not annual bioenergy crops can be substantial, and future climate impact assessments of bioenergy crops should include albedo changes in addition to GHG balances in order to better inform climate policies.
In the late 1960s the aircraft industry became interested in developing a fleet of supersonic transports (SSTs). Between 1972 and 1975, the Climatic Impact Assessment Program (CIAP) studied the possible environmental impact of SSTs. For environmental and economic reasons, the fleet of SSTs was not developed. The Upper Atmosphere Research Program (UARP) has recently undertaken the responsibility of directing scientific research needed to assess the atmospheric impact of supersonic transports. The UARP and the High-Speed Research Program asked Harold Johnston to review the current understanding of aircraft emissions and their effect on the stratosphere. Johnston and his colleagues have recently re-examined the SST problem using current models for stratospheric ozone chemistry. A unique view is given here of the current scientific issues and the lessons learned since the beginning of CIAP, and it links the current research program with the assessment process that began two years ago.
The Chesapeake Bay impact structure is the focus of an ongoing federal-state-local research program. Recent core drilling and geophysical surveys address the formative processes and hydrogeologic properties of this major "wet-target" impact. Additional information is contained in the original extended abstract.
Regression verification techniques are used to prove equivalence of syntactically similar programs. Checking equivalence of large programs, however, can be computationally expensive. Existing regression verification techniques rely on abstraction and decomposition techniques to reduce the computational effort of checking equivalence of the entire program. These techniques are sound but not complete. In this work, we propose a novel approach to improve scalability of regression verification by classifying the program behaviors generated during symbolic execution as either impacted or unimpacted. Our technique uses a combination of static analysis and symbolic execution to generate summaries of impacted program behaviors. The impact summaries are then checked for equivalence using an o-the-shelf decision procedure. We prove that our approach is both sound and complete for sequential programs, with respect to the depth bound of symbolic execution. Our evaluation on a set of sequential C artifacts shows that reducing the size of the summaries can help reduce the cost of software equivalence checking. Various reduction, abstraction, and compositional techniques have been developed to help scale software verification techniques to industrial-sized systems. Although such techniques have greatly increased the size and complexity of systems that can be checked, analysis of large software systems remains costly. Regression analysis techniques, e.g., regression testing [16], regression model checking [22], and regression verification [19], restrict the scope of the analysis by leveraging the differences between program versions. These techniques are based on the idea that if code is checked early in development, then subsequent versions can be checked against a prior (checked) version, leveraging the results of the previous analysis to reduce analysis cost of the current version. Regression verification addresses the problem of proving equivalence of closely related program versions [19]. These techniques compare two programs with a large degree of syntactic similarity to prove that portions of one program version are equivalent to the other. Regression verification can be used for guaranteeing backward compatibility, and for showing behavioral equivalence in programs with syntactic differences, e.g., when a program is refactored to improve its performance, maintainability, or readability. Existing regression verification techniques leverage similarities between program versions by using abstraction and decomposition techniques to improve scalability of the analysis [10, 12, 19]. The abstractions and decomposition in the these techniques, e.g., summaries of unchanged code [12] or semantically equivalent methods [19], compute an over-approximation of the program behaviors. The equivalence checking results of these techniques are sound but not complete-they may characterize programs as not functionally equivalent when, in fact, they are equivalent. In this work we describe a novel approach that leverages the impact of the differences between two programs for scaling regression verification. We partition program behaviors of each version into (a) behaviors impacted by the changes and (b) behaviors not impacted (unimpacted) by the changes. Only the impacted program behaviors are used during equivalence checking. We then prove that checking equivalence of the impacted program behaviors is equivalent to checking equivalence of all program behaviors for a given depth bound. In this work we use symbolic execution to generate the program behaviors and leverage control- and data-dependence information to facilitate the partitioning of program behaviors. The impacted program behaviors are termed as impact summaries. The dependence analyses that facilitate the generation of the impact summaries, we believe, could be used in conjunction with other abstraction and decomposition based approaches, [10, 12], as a complementary reduction technique. An evaluation of our regression verification technique shows that our approach is capable of leveraging similarities between program versions to reduce the size of the queries and the time required to check for logical equivalence. The main contributions of this work are: - A regression verification technique to generate impact summaries that can be checked for functional equivalence using an off-the-shelf decision procedure. - A proof that our approach is sound and complete with respect to the depth bound of symbolic execution. - An implementation of our technique using the LLVMcompiler infrastructure, the klee Symbolic Virtual Machine [4], and a variety of Satisfiability Modulo Theory (SMT) solvers, e.g., STP [7] and Z3 [6]. - An empirical evaluation on a set of C artifacts which shows that the use of impact summaries can reduce the cost of regression verification.
The Z Fundamental Science (ZFS) Program is intended to provide access to the Z machine and its diagnostics for high energy density (HED) experiments in collaboration with a broad community of academic, industrial, and national laboratory research interests. ZFS experiments on the Z Facility focus on conducting fundamental research in HED science and help provide research experience necessary to maintain and grow the HED community, especially through involvement of researchers from academia. This report serves as an executive summary of the ZFS Program and provides a succinct synopsis of the history of the ZFS Program, metrics and impacts of the Program, as well as a brief list of the most impactful publications that have resulted from the various ZFS Projects relevant to laboratory astrophysics, plasma physics, and planetary physics.