Search NASA⌕ Search

SEARCH · Search NASA

Results for “Programming Practices”

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 1,027 records · Page 57
All sourcesNASA NTRSDOE OSTI
DOE OSTI2016

SU-F-T-226: QA Management for a Large Institution with Multiple Campuses for FMEA

Purpose: To redesign our radiation therapy QA program with the goal to improve quality, efficiency, and consistency among a growing number of campuses at a large institution. Methods: A QA committee was established with at least one physicist representing each of our six campuses (22 linacs). Weekly meetings were scheduled to advise on and update current procedures, to review end-to-end and other test results, and to prepare composite reports for internal and external audits. QA procedures for treatment and imaging equipment were derived from TG Reports 142 and 66, practice guidelines, and feedback from ACR evaluations. The committee focused on reaching a consensus on a single QA program among all campuses using the same type of equipment and reference data. Since the recommendations for tolerances referenced to baseline data were subject to interpretation in some instances, the committee reviewed the characteristics of all machines and quantified any variations before choosing between treatment planning system (i.e. treatment planning system commissioning data that is representative for all machines) or machine-specific values (i.e. commissioning data of the individual machines) as baseline data. Results: The configured QA program will be followed strictly by all campuses. Inventory of available equipment has been compiled, and additional equipment acquisitions for the QA program are made as needed. Dosimetric characteristics are evaluated for all machines using the same methods to ensure consistency of beam data where possible. In most cases, baseline data refer to treatment planning system commissioning data but machine-specific values are used as reference where it is deemed appropriate. Conclusion: With a uniform QA scheme, variations in QA procedures are kept to a minimum. With a centralized database, data collection and analysis are simplified. This program will facilitate uniformity in patient treatments and analysis of large amounts of QA data campus-wide, which will ultimately facilitate FMEA.

43 PARTICLE ACCELERATORS↗
DOE OSTI2020

Carving out OPE space and precise O(2) model critical exponents

We develop new tools for isolating CFTs using the numerical bootstrap. A “cutting surface” algorithm for scanning OPE coefficients makes it possible to find islands in high-dimensional spaces. Together with recent progress in large-scale semidefinite programming, this enables bootstrap studies of much larger systems of correlation functions than was previously practical. We apply these methods to correlation functions of charge-0, 1, and 2 scalars in the 3d O(2) model, computing new precise values for scaling dimensions and OPE coefficients in this theory. Our new determinations of scaling dimensions are consistent with and improve upon existing Monte Carlo simulations, sharpening the existing decades-old 8σ discrepancy between theory and experiment.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗
DOE OSTI2025

Analysis of US Industrial Assessment Centers (IACs) implementation

Industrial energy assessments are a fundamental action toward developing a decarbonization strategy at any level. They provide an understanding of where energy efficiency opportunities exist and help to make informed business decisions about the costs and benefits of implementing sustainable policies and practices. This paper examines the effectiveness of the Department of Energy's Industrial Assessment Centers Program at providing useful energy-efficiency audits as well as the barriers faced by the program and plans for future growth and improvement. This paper presents an analysis of the program between 1981 and 2022, covering 20,290 industrial assessments and 151,198 recommendations, with $2.6 billion of recommended savings. The analysis includes a breakdown of the IAC recommendations and implemented projects based on both the industrial subsectors according to the Standard Industrial Classification code, energy type, and systems evaluated. The results include a 47 % implementation rate, a gap analysis to understand the missed opportunities, and a discussion about reasons for recommendation rejection. A comparison of the IAC Program with other country-level energy auditing or assessment programs was conducted, and suggestions for improving implementation rates were mentioned.

32 ENERGY CONSERVATION, CONSUMPTION, AND UTILIZATI↗
DOE OSTI2025

Programmable simulations of molecules and materials with reconfigurable quantum processors

Simulations of quantum chemistry and quantum materials are believed to be among the most important applications of quantum information processors. However, realizing practical quantum advantage for such problems is challenging because of the prohibitive computational cost of programming typical problems into quantum hardware. Here we introduce a simulation framework for strongly correlated quantum systems represented by model spin Hamiltonians that uses reconfigurable qubit architectures to simulate real-time dynamics in a programmable way. Our approach also introduces an algorithm for extracting chemically relevant spectral properties via classical co-processing of quantum measurement results. We develop a digital–analogue simulation toolbox for efficient Hamiltonian time evolution using digital Floquet engineering and hardware-optimized multi-qubit operations to accurately realize complex spin–spin interactions. As an example, we propose an implementation based on Rydberg atom arrays. In addition, we show how detailed spectral information can be extracted from the dynamics through snapshot measurements and single-ancilla control, enabling the evaluation of excitation energies and finite-temperature susceptibilities from a single dataset. To illustrate the approach, we show how to use the method to compute key properties of a polynuclear transition-metal catalyst and two-dimensional magnetic materials.

74 ATOMIC AND MOLECULAR PHYSICS↗
DOE OSTI2026

PowerMappeR: Power-Optimized Mapping of SNNs onto ReRAM Crossbars coupled via Packet-Switched NoCs

Many recent efforts in developing hardware-accelerated spiking neural networks (SNNs) are characterized by deep co-design between algorithms, architectures, and devices. Architectural advances overcome device constraints by coupling together many small resistive-RAM (ReRAM) crossbars via a network-on-chip (NoC) for neuromorphic component operation. Concurrently, improved SNN training methods increase accuracy and structural sparsity in networks despite growing problem sizes. Finally, compilers leverage these attributes to minimize area and inter-crossbar communication while mapping large SNNs to sophisticated architectures. However, for compiler-driven co-design to realize increasingly complex and profitable optimizations, a compile-time view of power consumption is critical. We present PowerMappeR to express and optimize over mapping-, architecture-, and device-specific power consumption information. By modeling the dynamic power of well-established components, we develop an integer linear programming (ILP)-based, encoding-agnostic, parametric power estimation model. Using this model, we demonstrate practical improvements in area and inter-crossbar communication by 0%–9.5% and 1.4%–5.1%, respectively. We also limit hotspot formation during optimization, achieving comparable or better results in targeted metrics with up to 96.4%–97.1% restriction of hotspot magnitude. Finally, we introduce profile-guided formulations to reduce worst-case and expected-case hotspot magnitude by 40.7%–69.5% and 40.6%–56.3%, respectively. Optimizing worst-case hotspot magnitude incidentally improves expected-case magnitude by 10.85%–33.45%. Reciprocally, optimizing expected-case magnitude incidentally improves worst-case magnitude by 4.33%–39.87%. Validation against hardware simulators confirms that PowerMappeR can decrease dynamic power consumption by 12.6%–27.3%.

Pohl, Devin [ORNL] (ORCID:0009000040149027)↗
DOE OSTI2014

TH-B-12A-01: TG124 “A Guide for Establishing a Credentialing and Privileging Program for Users of Fluoroscopic Equipment in Healthcare Organizations”

Fluoroscopy credentialing and privileging programs are being instituted because of recorded patient injuries and the widespread growth in fluoroscopy use by operators whose medical education did not include formal fluoroscopy training. This lack of training is recognized as a patient safety deficiency, and medical physicists and health physicists are finding themselves responsible for helping to establish fluoroscopy credentialing programs. While physicians are very knowledgeable about clinical credentials review and the privileging process, medical physicists and health physicists are not as familiar with the process and associated requirements. To assist the qualified medical physicist (QMP) and the radiation safety officer (RSO) with these new responsibilities, TG 124 provides an overview of the credentialing process, guidance for policy development and incorporating trained fluoroscopy users into a facility's established process, as well as recommendations for developing and maintaining a risk-based fluoroscopy safety training program. This lecture will review the major topics addressed in TG124 and relate them to practical situations. Learning Objectives: Understand the difference between credentialing and privileging. Understand the responsibilities, interaction and coordination among key individuals and committees. Understand options for integrating the QMP and/or RSO and Radiation Safety Committee into the credentialing and privileging process. Understand issues related to implementing the fluoroscopy safety training recommendations and with verifying and documenting successful completion.

22 GENERAL STUDIES OF NUCLEAR REACTORS↗
DOE OSTI2013

Development and Testing of Advanced Accelerator Structures and Technologies at 11.424 GHz (Final Report)

The areas of activity are grouped by Task. Task 1 involved a study of the key physics issues associated with the use of high gradient dielectric-loaded accelerating (DLA) structures in rf linear accelerators, and was carried out in collaboration with Argonne National Laboratory (ANL) and Euclid Techlabs LLC; Task 2 involved a study of high-gain active microwave pulse compressors, and was carried out in collaboration with Omega-P, Inc. and the Institute of Applied Physics of the Russian Academy of Sciences. The experiments were carried out in the X-band Magnicon Laboratory at the Naval Research Laboratory (NRL). The studies under Task 1 were focused on multipactor and breakdown in externally driven DLA structures at the 200-ns timescale. Suppression of multipactor and breakdown are essential to the practical application of dielectric structures in rf linear accelerators. During the first year of this program, we carried out a study of a doubly tapered clamped quartz traveling-wave (TW) structure that operated at up to 15 MV/m without breakdown by eliminating dielectric joints, thus avoiding the joint breakdown that had characterized many earlier experiments. However, strong multipactor loading was observed in the structure. In the second year, we carried out a successful test of a TW DLA structure with a sputtered copper exterior coating that eliminated the need for a clamped metal enclosure to form the outer metallic boundary, thus simplifying the fabrication of the structure. In the second year, we also carried out the first test of a dielectric-loaded standing-wave (SW) accelerating structure. Multipactor loading limited the achievable accelerating gradient in the structure to 9 MV/m, but the SW structure proved to be a useful configuration for studying multipactor physics. To continue this study, a new standing-wave structure is in preparation that will permit direct measurements of the energy stored in the structure for new studies of multipactor physics. Finally, in the third year of the program, we focused on the suppression of multipactor loading using an applied axial magnetic field, as proposed by Chang et al. [C. Chang et al., J. Appl. Phys. 110, 063304 (2011).]. Chang used an analytic model and PIC simulations to show that an axial magnetic field can reduce the period of the secondary electron trajectories on the dielectric surface, and thus spoil the multipactor resonance condition. The optimum effect occurs when the ratio of the gyrofrequency to the rf frequency is in the range of ~ 0.7 to 1. For an X-band structure, this is equivalent to a solenoidal field of 2.8–4 kG. This approach to multipactor suppression is attractive because it maintains the advantages of a DLA structure and is independent of other accelerator parameters.

43 PARTICLE ACCELERATORS↗
DOE OSTI2014

2014 Annual Site Environmental Report: Southwestern Power Administration

Southwestern Power Administration’s Annual Site Environmental Report (ASER) serves as the chief reporting mechanism for site environmental performance information within the Department of Energy and as a valuable resource for shared and collaborative environmental protection and performance information to Agency stakeholders and members of the public living near Southwestern Power Administration’s (Southwestern) facilities and transmission line rights-of-ways. This ASER meets the requirements of Department of Energy (DOE) Order 231.B. Southwestern’s key environmental involvement includes an emphasis on the protection of ecological resources which is effectively accomplished through environmental program elements such as protecting water resources, generation of clean hydropower energy, oil spill prevention practices, elimination of green-house gas emissions, and comprehensive project reviews to ensure the protection of living organisms, migratory birds, Federally threatened or endangered species, and historic or cultural resources. Southwestern continues to actively minimize effects to natural resources and strive for continual improvement in the area of environmental compliance and sustainability while achieving the agency mission to market and deliver Federal hydroelectric power.

54 ENVIRONMENTAL SCIENCES↗
NASA NTRS1973

Free vibration analysis of spinning structural systems.

This article presents an efficient digital computer procedure, along with the complete listing of the associated computer program, which may be conveniently utilized for the accurate solution of a wide range of practical eigenvalue problems. Important applications of the present work are envisaged in the natural frequency analysis of spinning structures discretized by the finite element technique, and in the determination of transfer functions associated with the dynamic blocks of control systems of spacecraft utilizing gas jets or reaction wheels for attitude control, as well as of spin-stabilized and dual-spin-stabilized satellites. The validity of the Sturm sequence property is first established for the related matrix formulation involving Hermitian and real symmetric, positive-definite matrices, both being usually of highly banded configuration. A numerically stable algorithm based on the Sturm sequence method is then developed which fully exploits the banded form of the associated matrices.

Gupta, K. K.↗
NASA NTRS1985

The definition of the Shuttle Tethered Aerothermodynamic Research Facility

Studies have been conducted to define the feasibility and practical limitations of the Shuttle Orbiter Tethered 'wind-tunnel' concept. This concept, referred to as the Shuttle Tethered Aerothermodynamic Research Facility (STARFAC), is proposed to provide researchers access to altitudes above 90 km to accomplish aerothermodynamic research in the rarefied upper atmosphere. Determining the feasibility and limitations of the concept has required the enhancement and/or development of mission simulation analytical techniques and control laws; the accomplishment of candidate mission simulations; the definition of instrumentation requirements, both for science and engineering; and the establishment of tether and satellite design requirements to meet STARFAC objectives. The results of the study, to date, indicate that such a concept is both feasible and practical. Representative results are presented, as are recommendations for continued studies which would result in program implementation.

Siemers, P. M., III↗
NASA NTRS1987

SAGA: A project to automate the management of software production systems

The Software Automation, Generation and Administration (SAGA) project is investigating the design and construction of practical software engineering environments for developing and maintaining aerospace systems and applications software. The research includes the practical organization of the software lifecycle, configuration management, software requirements specifications, executable specifications, design methodologies, programming, verification, validation and testing, version control, maintenance, the reuse of software, software libraries, documentation, and automated management.

Campbell, Roy H.↗
NASA NTRS1991

Finite element methods for integrated aerodynamic heating analysis

This report gives a description of the work which has been undertaken during the second year of a three year research program. The objectives of the program are to produce finite element based procedures for the solution of the large scale practical problems which are of interest to the Aerothermal Loads Branch (ALB) at NASA Langley Research Establishment. The problems of interest range from Euler simulations of full three dimensional vehicle configurations to local analyses of three dimensional viscous laminar flow. Adaptive meshes produced for both steady state and transient problems are to be considered. An important feature of the work is the provision of specialized techniques which can be used at ALB for the development of an integrated fluid/thermal/structural modeling capability.

Morgan, K.↗
NASA NTRS1993

Instantaneous velocity field imaging instrument for supersonic reacting flows

The technical tasks conducted to develop and demonstrate a new gas velocity measurement technique for high enthalpy reacting flows is described. The technique is based on Doppler-shifted Planar Laser-induced Fluorescence (PLIF) imaging of the OH radical. The imaging approach permits, in principle, single-shot measurements of the 2-D distribution of a single velocity component in the measurement plane, and is thus a technique of choice for applications in high enthalpy transient flow facilities. In contrast to previous work in this area, the present program demonstrated an approach which modified the diagnostic technique to function under the constraints of practical flow conditions of engineering interest, rather than vice-versa. In order to accomplish the experimental demonstrations, the state-of-the-art in PLIF diagnostic techniques was advanced in several ways. Each of these tasks is described in detail and is intended to serve as a reference in supporting the transition of this new capability to the fielded PLIF instruments now installed at several national test facilities. Among the new results of general interest in LlF-based flow diagnostics, a detailed set of the first measurements of the collisional broadening and shifting behavior of OH (1,0) band transitions in H7-air combustion environments is included. Such measurements are critical in the design of a successful strategy for PLIF velocity imaging; they also relate to accurate concentration and temperature measurements, particularly in compressible flow regimes. Furthermore, the results shed new light on the fundamental relationship between broadening and energy transfer collisions in OH A(sup 2)Sigma(+)v(sup ') = 1. The first single-pulse, spectrally-resolved measurements of the output of common pulsed dye lasers were also produced during the course of this effort. As with the OH broadening measurements, these data are a significant aspect of a successful velocity imaging strategy, and also have potential implications for many other LIF measurement techniques. Our results indicated the need to modify the commercially available laser cavity in order to accommodate the constraints imposed by typical SCRAMJET combustion characteristics as well as to increase the instrument's velocity dynamic range to span an intra-image range in excess of 2 km/s. The various technical efforts were brought together in a series of experiments demonstrating the applicability of the technique in a high pressure, high temperature H2-air combustion system. The resultant images were compared with 2-D flow simulations in order to determine the accuracy of the instrument. Mean velocity imaging in flows with an axis of symmetry was demonstrated with an accuracy of +/- 50 m/s out of an intra-image dynamic range of 1600 m/s, including reversed flow. A more complex configuration amenable to single-shot imaging in flows without an axis of symmetry was also demonstrated. Limitations imposed by available equipment resulted in an accuracy of about +/- 200 m/s out of 1750 m/s in these demonstrations. Minor modifications to the present configuration were suggested to improve this performance. Each technical task is described in detail, along with significance of the results for the overall imaging velocimeter configuration. This report should allow the user community to integrate this new measurement capability in their existing instrumentation platforms.

Allen, M. G.↗
NASA NTRS1994

Closing the loop on improvement: Packaging experience in the Software Engineering Laboratory

As part of its award-winning software process improvement program, the Software Engineering Laboratory (SEL) has developed an effective method for packaging organizational best practices based on real project experience into useful handbooks and training courses. This paper shares the SEL's experience over the past 12 years creating and updating software process handbooks and training courses. It provides cost models and guidelines for successful experience packaging derived from SEL experience.

Waligora, Sharon R.↗
NASA NTRS2004

Toward Synthesis, Analysis, and Certification of Security Protocols

Implemented security protocols are basically pieces of software which are used to (a) authenticate the other communication partners, (b) establish a secure communication channel between them (using insecure communication media), and (c) transfer data between the communication partners in such a way that these data only available to the desired receiver, but not to anyone else. Such an implementation usually consists of the following components: the protocol-engine, which controls in which sequence the messages of the protocol are sent over the network, and which controls the assembly/disassembly and processing (e.g., decryption) of the data. the cryptographic routines to actually encrypt or decrypt the data (using given keys), and t,he interface to the operating system and to the application. For a correct working of such a security protocol, all of these components must work flawlessly. Many formal-methods based techniques for the analysis of a security protocols have been developed. They range from using specific logics (e.g.: BAN-logic [4], or higher order logics [12] to model checking [2] approaches. In each approach, the analysis tries to prove that no (or at least not a modeled intruder) can get access to secret data. Otherwise, a scenario illustrating the &tack may be produced. Despite the seeming simplicity of security protocols ("only" a few messages are sent between the protocol partners in order to ensure a secure communication), many flaws have been detected. Unfortunately, even a perfect protocol engine does not guarantee flawless working of a security protocol, as incidents show. Many break-ins and security vulnerabilities are caused by exploiting errors in the implementation of the protocol engine or the underlying operating system. Attacks using buffer-overflows are a very common class of such attacks. Errors in the implementation of exception or error handling can open up additional vulnerabilities. For example, on a website with a log-in screen: multiple tries with invalid passwords caused the expected error message (too many retries). but let the user nevertheless pass. Finally, security can be compromised by silly implementation bugs or design decisions. In a commercial VPN software, all calls to the encryption routines were incidentally replaced by stubs, probably during factory testing. The product worked nicely. and the error (an open VPN) would have gone undetected, if a team member had not inspected the low-level traffic out of curiosity. Also, the use secret proprietary encryption routines can backfire, because such algorithms often exhibit weaknesses which can be exploited easily (see e.g., DVD encoding). Summarizing, there is large number of possibilities to make errors which can compromise the security of a protocol. In today s world with short time-to-market and the use of security protocols in open and hostile networks for safety-critical applications (e.g., power or air-traffic control), such slips could lead to catastrophic situations. Thus, formal methods and automatic reasoning techniques should not be used just for the formal proof of absence of an attack, but they ought to be used to provide an end-to-end tool-supported framework for security software. With such an approach all required artifacts (code, documentation, test cases) , formal analyses, and reliable certification will be generated automatically, given a single, high level specification. By a combination of program synthesis, formal protocol analysis, certification; and proof-carrying code, this goal is within practical reach, since all the important technologies for such an approach actually exist and only need to be assembled in the right way.

Schumann, Johann↗
NASA NTRS1995

NASA Langley Research and Technology-Transfer Program in Formal Methods

This paper presents an overview of NASA Langley research program in formal methods. The major goals of this work are to make formal methods practical for use on life critical systems, and to orchestrate the transfer of this technology to U.S. industry through use of carefully designed demonstration projects. Several direct technology transfer efforts have been initiated that apply formal methods to critical subsystems of real aerospace computer systems. The research team consists of five NASA civil servants and contractors from Odyssey Research Associates, SRI International, and VIGYAN Inc.

Butler, Ricky W.↗
NASA NTRS2009

A Methodology for Training International Space Station Crews to Respond to On-Orbit Emergencies

Most spaceflight crewmembers agree that emergency training is among the most important training they receive. If an emergency event occurs on-orbit crewmembers want to be able to rely on a thorough and proficient knowledge of emergency operations and procedures. The inherent complexity of ISS and the international nature of the onboard operations have resulted in emergency procedures that are complex by any measure; as a result, a very robust apparatus has been developed to give crewmembers initial training on emergency procedures and ensure proficiency up to (and even after) launch. One of the most important aspects of complex onboard operations in general, and emergency operations specifically, is learning how to coordinate roles and responsibilities with fellow crewmembers. A primary goal of NASA s emergency training program is to allow the crewmembers who will actually be together on-orbit to practice executing the emergency responses together before they fly. As with any operation that includes the use of software and hardware, the fidelity of the simulation environment is a critical element to successful training. The NASA training division has spent considerable time and effort to develop a simulator that addresses the most important aspects of emergency response, working within very difficult space and budgetary constraints.

Balmain, Clinton↗