Search NASA⌕ Search

SEARCH · Search NASA

Results for “Realizability checking”

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 73 records · Page 4

Experimental Validation of Subsystem Models for a Novel Variable Displacement Hydraulic Motor

A novel, variable displacement, low-speed high-torque hydraulic motor is being developed that is expected to be highly efficient across a broad operating range. To ensure the final hardware achieves the expected performance, the models used in the development of the motor must be experimentally validated and revised, as necessary. The specific focus in this work is on mechanical energy loss models that were used to guide the design of a single-cylinder motor prototype and on experimental tests used for model validation. Ideally each model, whether friction loss in a piston/cylinder interface or energy loss due to leakage in a valve , would be individually validated by an independent test. This granular approach would remove any question of where the error lies and result in highly accurate models. However, many motor components have multiple forms of energy loss, creating difficulty in validating individual losses. Additionally, it is not physically realizable to divide many components into an individual model equivalent test. Testing the motor as a full assembly is possible, but pinpointing the source of discrepancies between the model and the hardware becomes difficult with dozens of models potentially being partially responsible. A compromise was found by separating the motor into functional component groups that are characterized by the type of loss and ability to test each subcomponent independently. By checking for correlation between test observations and model predictions, revisions could be implemented into the models. This allows future solutions to be more accurately predicted in the design phase to drive the design of better machines.

24 POWER TRANSMISSION AND DISTRIBUTION↗

A modal approach to the numerical calculation of primordial non-Gaussianities

We propose a new method to numerically calculate higher-order correlation functions of primordial fluctuations generated from any early-universe scenario. Our key-starting point is the realization that the tree-level In-In formalism is intrinsically separable. This enables us to use modal techniques to efficiently calculate and represent non-Gaussian shapes in a separable form well suited to data analysis. We prove the feasibility and the accuracy of our method by applying it to simple single-field inflationary models in which analytical results are available, and we perform non-trivial consistency checks like the verification of the single field consistency relation. We also point out that the iε prescription is automatically taken into account in our method, preventing the need for ad-hoc tricks to implement it numerically.

79 ASTRONOMY AND ASTROPHYSICS↗

Method for Reducing Pumping Damage to Blood

Methods are provided for minimizing damage to blood in a blood pump wherein the blood pump comprises a plurality of pump components that may affect blood damage such as clearance between pump blades and housing, number of impeller blades, rounded or flat blade edges, variations in entrance angles of blades, impeller length, and the like. The process comprises selecting a plurality of pump components believed to affect blood damage such as those listed herein before. Construction variations for each of the plurality of pump components are then selected. The pump components and variations are preferably listed in a matrix for easy visual comparison of test results. Blood is circulated through a pump configuration to test each variation of each pump component. After each test, total blood damage is determined for the blood pump. Preferably each pump component variation is tested at least three times to provide statistical results and check consistency of results. The least hemolytic variation for each pump component is preferably selected as an optimized component. If no statistical difference as to blood damage is produced for a variation of a pump component, then the variation that provides preferred hydrodynamic performance is selected. To compare the variation of pump components such as impeller and stator blade geometries, the preferred embodiment of the invention uses a stereolithography technique for realizing complex shapes within a short time period.

Bozeman, Richard J., Jr.↗

Standards for AI/ML and Emerging Technologies

Standards development activities require a keen and deep understanding of the problem being solved by the standard as well as the technologies being deployed in any reference implementation of the solution. It is important to understand the mechanisms and limits of the fundamental, underlying science of implementation and verification technologies used to realize and assure systems. We need to understand the limits of what current process and metrics can provide with respect to new technologies. US leadership is important in this endeavor, and it is vital that we have a measured approach that yields sound results. We wish to start with simple, well-defined, non-safety critical applications and then progress to functions which have (1) clearly defined requirements, (2) means of checking the answer/output, and (3) means of intervention and mitigation of incorrect answers/outputs.

Standards Development↗

Assurance Issues in Developing AI/ML Components (and their Standards) for Civil Aviation

Standards development activities require a keen and deep understanding of the problem being solved by the standard as well as the technologies being deployed in any reference implementation of the solution. It is important to understand the mechanisms and limits of the fundamental, underlying science of implementation and verification technologies used to realize and assure systems. We need to understand the limits of what current process and metrics can provide with respect to new technologies. US leadership is important in this endeavor, and it is vital that we have a measured approach that yields sound results. We wish to start with simple, well-defined, non-safety critical applications and then progress to functions which have (1) clearly defined requirements, (2) means of checking the answer/output, and (3) means of intervention and mitigation of incorrect answers/outputs.

Aviation Safety↗

Impacts of environmental exposure on thermal and mycological characteristics of insulation wools

Highlights: • Insulation materials (IM) suffer expositions to weather on energy efficient buildings. • Induced exposure to weather of IM reveals differences in ATR-FTIR spectra. • Mycological analysis shows a significant effect of exposure condition on IM. • Mold species detected may induce human health risk and degradation of IM. • Thermal conductivity of IM according humidity of air may impact energy performance. - Abstract: Fieldwork was conducted on 138 energy efficient buildings, to check if building site practices induced exposure to weather of thermal insulation. In nearly 80% of cases, insulation was exposed to weather due to insufficient protection. Therefore insulating wools were exposed, divided into three parts (control, exposure under shelter, exposure to weather). After the exposure period these samples were submitted to thermal conductivity measurements and infrared spectroscopy. A numerical study was carried out to evaluate the influence of weather conditions on thermal performance. Identifications of molds were realized by direct cultures of each sample. Mycological analyses provided the most significant results, showing a significant effect of exposure condition, with possible consequences in human health (toxinogenic, allergenic or pathogenic species) and material properties (cellulolytic species). Infrared spectrometry also showed some changes in sensitivity to water. These results show the interest to study in more detail the variations in the sensitivity, to moisture and mold, of insulation material throughout its ageing on site, and the interactions with the practices of the building process.

36 MATERIALS SCIENCE↗

The Virasoro minimal string

We introduce a critical string theory in two dimensions and demonstrate that this theory, viewed as two-dimensional quantum gravity on the worldsheet, is equivalent to a double-scaled matrix integral. The worldsheet theory consists of Liouville CFT with central charge c ≥ ≥ 25 coupled to timelike Liouville CFT with central charge 26-c. The double-scaled matrix integral has as its leading density of states the universal Cardy density of primaries in a two-dimensional CFT, thus motivating the name Virasoro minimal string. The duality holds for any value of the continuous parameter c c and reduces to the JT gravity/matrix integral duality in the large central charge limit. It thus provides a precise stringy realization of JT gravity. The main observables of the Virasoro minimal string are quantum analogues of the Weil-Petersson volumes, which are computed as absolutely convergent integrals of worldsheet CFT correlators over the moduli space of Riemann surfaces. By exploiting a relation of the Virasoro minimal string to three-dimensional gravity and intersection theory on the moduli space of Riemann surfaces, we are able to give a direct derivation of the duality. We provide many checks, such as explicit numerical - and in special cases, analytic - integration of string diagrams, the identification of the CFT boundary conditions with asymptotic boundaries of the two-dimensional spacetime, and the matching between the leading non-perturbative corrections of the worldsheet theory and the matrix integral. As a byproduct, we discover natural conformal boundary conditions for timelike Liouville CFT.

Physics↗

A Field Evaluation of a Prototype Global Identifier for UF6 Cylinders

The U.S. Department of Energy s National Nuclear Security Administration (DOE/NNSA), members of the U.S. national laboratories, UF6 industry stakeholders, and international inspectorates have been working on developing a global identifier (ID) for UF6 cylinders. This industry-driven project has identified efficiency gains for facility operations, state and/or regional regulation, and inspections by the International Atomic Energy Agency. The global ID features standardized alphanumeric characters, a large font, a barcode (for automated reading), and it is affixed to the cylinder. Four years of active engagement with all of the stakeholders has resulted in on the development of user requirements, implementation guidelines, and a preferred design for the ID. Although this project was conceived and has been largely managed from the DOE/NNSA side to address international non-proliferation concerns, it remains an industry-driven initiative. When designing the field evaluation, the NNSA team worked closely with a World Nuclear Transport Institute (WNTI) Working Group on UF6 Cylinder Identification to determine features that would provide the most benefit. The WNTI Working Group consists predominately of industry members associated with cylinder fabrication, UF6 conversion, enrichment, fuel fabrication, and cylinder transport. Despite its industry-laden focus, the DOE/NNSA team realized that a vote of confidence from the IAEA could serve as a catalyst for the overall project, and its eventual implementation. In April of 2016, a field evaluation was conducted to demonstrate how the key features of the identifier would work in an operational setting. A selected team travelled to Vienna to evaluate the benefits of a global identifier in performing a PIV in a cylinder storage area containing ~50-100 cylinders. The mock tag-checking exercise was conducted three separate times, with varying scenarios with three different teams. The first group performed the exercise according to current inspection methods. The second group focused on the addition of a new global identifier to the cylinders, and the third group used the new global identifier with an automated reader. This paper will discuss the preparation and execution of the field evaluation, its results, and the next steps for the Global Cylinder Identifier Project.

White-Horton, Jessica L↗

The NASA Aircraft VOrtex Spacing System (AVOSS): Concept Demonstration Results and Future Direction

Since the late 1990s the national airspace system has been recognized as approaching a capacity crisis. In the light of this condition, industry, government, user organizations, and educational institutions have been working on procedural and technological solutions to the problem. One aspect of system operations that holds potential for improvement is the separation criteria applied to aircraft for wake vortex avoidance. These criteria, applied when operations are conducted under instrument flight rules (IFR), were designed to represent safe spacing under weather conditions conducive to the longest wake hazards. It is well understood that wake behavior is dependent on meteorological conditions as well as the physical parameters of the generating aircraft. Under many ambient conditions, such as moderate crosswinds or turbulence, wake hazard durations are substantially reduced. To realize this reduction NASA has developed a proof-of-concept Aircraft VOrtex Spacing System (AVOSS). Successfully demonstrated in a realtime field demonstration during July 2000 at the Dallas Ft. Worth International Airport (DFW), AVOSS is a novel integration of weather sensors, wake sensors, and analytical wake prediction algorithms. AVOSS provides dynamic wake separation criteria that are a function of the ambient weather conditions for a particular airport, and the predicted wake behavior under those conditions. Wake sensing subsystems provide safety checks and validation for the predictions. The AVOSS was demonstrated in shadow mode; no actual spacing changes were applied to aircraft. This paper briefly reviews the system architecture and operation, reports the latest performance results from the DFW deployment, and describes the future direction of the project.

Rutishauser, David K.↗

An infinite set of Ward identities for adiabatic modes in cosmology

We show that the correlation functions of any single-field cosmological model with constant growing-modes are constrained by an infinite number of novel consistency relations, which relate N+1-point correlation functions with a soft-momentum scalar or tensor mode to a symmetry transformation on N-point correlation functions of hard-momentum modes. We derive these consistency relations from Ward identities for an infinite tower of non-linearly realized global symmetries governing scalar and tensor perturbations. These symmetries can be labeled by an integer n. At each order n, the consistency relations constrain — completely for n = 0,1, and partially for n ≥ 2 — the q{sup n} behavior of the soft limits. The identities at n = 0 recover Maldacena's original consistency relations for a soft scalar and tensor mode, n = 1 gives the recently-discovered conformal consistency relations, and the identities for n ≥ 2 are new. As a check, we verify directly that the n = 2 identity is satisfied by known correlation functions in slow-roll inflation.

79 ASTRONOMY AND ASTROPHYSICS↗

Improved semiclassical model for real-time evaporation of matrix black holes

In this paper, we study real-time classical matrix mechanics of a simplified 2 × 2 matrix model inspired by the black hole evaporation problem. This is a step towards making a quantitative model of real-time evaporation of a black hole, which is realized as a bound state of D0-branes in string theory. The model we study is the reduction of Yang–Mills in 2 + 1 dimension to 0 + 1 dimensions, which has been corrected with an additional potential that can be interpreted as a zero-point energy for fermions. Our goal is to understand the lifetime of such a classical bound state object in the classical regime. To do so, we pay particular attention to when D-particles separate to check that the “off-diagonal modes” of the matrices become adiabatic and use that information to improve on existing models of evaporation. It turns out that the naive expectation value of the lifetime with the fermionic correction is infinite. This is a logarithmic divergence that arises from very large excursions in the separation between the branes near the threshold for classical evaporation. The adiabatic behavior lets us get some analytic control of the dynamics in this regime to get this estimate. This divergence is cutoff in the quantum theory due to quantization of the adiabatic parameter, resulting in a long lifetime of the bound state, with a parametric dependence of order log(1/ℏ).

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗

Berry phase in quantum field theory: Diabolical points and boundary phenomena

We study aspects of Berry phase in gapped many-body quantum systems by means of effective field theory. Once the parameters are promoted to spacetime-dependent background fields, such adiabatic phases are described by Wess-Zumino-Witten (WZW) and similar terms. In the presence of symmetries, there are also quantized invariants capturing generalized Thouless pumps. Consideration of these terms provides constraints on the phase diagram of many-body systems, implying the existence of gapless points in the phase diagram which are stable for topological reasons. We describe such diabolical points, realized by free fermions and gauge theories in various dimensions, which act as sources of "higher Berry curvature" and are protected by the quantization of the corresponding WZW terms or Thouless pump terms. Here, these are analogous to Weyl nodes in a semimetal band structure. We argue that in the presence of a boundary, there are boundary diabolical points---parameter values where the boundary gap closes---which occupy arcs ending at the bulk diabolical points. Consideration of the topological effective action for the parameters also provides some new checks on conjectured infrared dualities and deconfined quantum criticality in 2+1d.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗

Effective-medium model of wire metamaterials in the problems of radiative heat transfer

In the present work, we check the applicability of the effective medium model (EMM) to the problems of radiative heat transfer (RHT) through so-called wire metamaterials (WMMs)—composites comprising parallel arrays of metal nanowires. It is explained why this problem is so important for the development of prospective thermophotovoltaic (TPV) systems. Previous studies of the applicability of EMM for WMMs were targeted by the imaging applications of WMMs. The analogous study referring to the transfer of radiative heat is a separate problem that deserves extended investigations. We show that WMMs with practically realizable design parameters transmit the radiative heat as effectively homogeneous media. Existing EMM is an adequate tool for qualitative prediction of the magnitude of transferred radiative heat and of its effective frequency band.

75 CONDENSED MATTER PHYSICS, SUPERCONDUCTIVITY AND↗

SU-F-T-63: Dosimetric Relevance of the Valencia and Leipzig HDR Applicators Plastic Cap

Purpose: Utilization of HDR brachytherapy treatment of skin lesions using collimated applicators, such as the Valencia or Leipzig is increasing. These applicators are made of cup-shaped tungsten material in order to focalize the radiation into the lesion and to protect nearby tissues. These applicators have an attachable plastic cap that removes secondary electrons generated in the applicator and flattens the treatment surface. The purpose of this study is to examine the dosimetric impact of this cap, and the effect if the cap is not placed during the HDR fraction delivery. Methods: Monte Carlo simulations have been done using the code Geant4 for the Valencia and Leipzig applicators. Dose rate distributions have been obtained for the applicators with and without the plastic cap. An experimental study using EBT3 radiochromic film has been realized in order to verify the Monte Carlo results. Results: The Monte Carlo simulations show that absorbed dose in the first millimeter of skin can increase up to 180% for the Valencia applicator if the plastic cap is absent and up to 1500% for the Leipzig applicators. At deeper distances the increase of dose is smaller being about 10–15%. Conclusion: Important differences have been found if the plastic cap of the applicators is absent in the treatment producing an overdosage in the skin. The user should have a checklist to remind him check always before HDR fraction delivery to insure the plastic cap is placed on the applicator. This work was supported in part by Generalitat Valenciana under Project PROMETEOII/2013/010, by the Spanish Government under Project No. FIS2013-42156, and by a research agreement with Elekta Brachytherapy, Veenendaal, The Netherlands.

07 ISOTOPE AND RADIATION SOURCES↗

Determination of Thermoelectric Module Efficiency A Survey

The development of thermoelectrics (TE) for energy conversion is in the transition phase from laboratory research to device development. There is an increasing demand to accurately determine the module efficiency, especially for the power generation mode. For many thermoelectrics, the figure of merit, ZT, of the material sometimes cannot be fully realized at the device level. Reliable efficiency testing of thermoelectric modules is important to assess the device ZT and provide the end-users with realistic values on how much power can be generated under specific conditions. We conducted a general survey of efficiency testing devices and their performance. The results indicated the lack of industry standards and test procedures. This study included a commercial test system and several laboratory systems. Most systems are based on the heat flow meter method and some are based on the Harman method. They are usually reproducible in evaluating thermoelectric modules. However, cross-checking among different systems often showed large errors that are likely caused by unaccounted heat loss and thermal resistance. Efficiency testing is an important area for the thermoelectric community to focus on. A follow-up international standardization effort is planned.

efficiency↗

A Model-Based Framework for NASA Science Mission Formulation

This paper details an effort to implement NASA systems engineering standards and practices using a Digital System Model (DSM), which we also refer to as the system architecture model (SAM). Creating a SAM at the beginning of a design effort helps systems engineer identify errors, inconsistencies, and miscommunications as early as possible. Such issues can then be resolved before it becomes costly and requires significant rework to do so. A pre-formulation SAM also enables advanced trade studies at the earliest stage of concept development. This results in “win-wins” where architecture changes can reduce cost without decreasing effectiveness, or increase effectiveness without increasing cost. SAMs also streamline the creation of project documentation and facilitate superior dialogue between science, engineering, and management stakeholders. Common artifacts such as Master Equipment Lists (MELs), Science Traceability Matrices (STMs), and Mission Traceability Matrices (MTMs), can be automatically maintained through requirements and structural models in the SAM. Key performance parameters (and changes to them) can be tied to simulations in the SAM, allowing far more rapid and extensive trade space exploration. As will be shown in this work, these advantages have been realized for the first time in an actual NASA Goddard Space Flight Center (GSFC) pre-phase A and phase A concept study. Modelbased design tools have been developed in a general, modular manner to maximize reuse on future programs. Focus is placed on structural and requirements architecture modeling. Data is ingested into the SAM from existing discipline model outputs (e.g. MS Excel spreadsheets) and used to update a SysML structural model. A mission requirements model is created within the SAM, containing mission specific as well as standard GSFC mission requirements. With the linked requirements model and structural model, automated compliance checking will be performed as mission parameters evolve without the need for discipline engineers to work directly with the SAM in SysML.

MBSE↗

Tools for Coordinated Planning Between Observatories

With the realization of NASA's era of great observatories, there are now more than three space-based telescopes operating in different wavebands. This situation provides astronomers with a unique opportunity to simultaneously observe with multiple observatories. Yet scheduling multiple observatories simultaneously is highly inefficient when compared to observations using only one single observatory. Thus, programs using multiple observatories are limited not due to scientific restrictions, but due to operational inefficiencies. At present, multi-observatory programs are conducted by submitting observing proposals separately to each concerned observatory. To assure that the proposed observations can be scheduled, each observatory's staff has to check that the observations are valid and meet all the constraints for their own observatory; in addition, they have to verify that the observations satisfy the constraints of the other observatories. Thus, coordinated observations require painstaking manual collaboration among the observatory staff at each observatory. Due to the lack of automated tools for coordinated observations, this process is time consuming, error-prone, and the outcome of the requests is not certain until the very end. To increase observatory operations efficiency, such manpower intensive processes need to undergo re-engineering. To overcome this critical deficiency, Goddard Space Flight Center's Advanced Architectures and Automation Branch is developing a prototype effort called the Visual Observation Layout Tool (VOLT). The main objective of the VOLT project is to provide visual tools to help automate the planning of coordinated observations by multiple astronomical observatories, as well as to increase the scheduling probability of all observations.

Jones, Jeremy↗

Value proposition of coatings or new alloys on hammer wear

The goal of this Case Study was to elucidate the value of improving of the life of parts that wear within a system in terms of the additional material cost that it takes to reach the level of improvement. We recognize that the failure limits and system performance are representative of a single system that may or may not exist in the real world, however, our goal of this project was not to provide an answer for a specific system or to provide a full understanding the economics of all potential systems. The analysis was performed using relative changes from the base alloy cost and considered relative improvements in part life in order to generalize the comparison without referencing specific alloys or coatings that might be employed. Ultimately, this work provides a first check of the potential for improving wear characteristics of grinder hammers to provide a meaningful and impactful benefit to biomass preprocessing and conversion systems. Key takeaways include: • Increasing the life of hammers by 3× provides a delivered feedstock cost benefit of approximately $\$2.25$/dry ton assuming that the relative cost of the hammer material of construction is not increased. • The feasible area of relative hammer cost increase ranges from 110% to 122% of the relative life increase, i.e., a 3× life increase can cost 3.66× the cost of the original hammers • Beyond a 3× increase in relative hammer life, little economic benefit is realized • Even when moisture impacts are included, the relationship between relative hammer cost and relative hammer life was reduced only slightly to a range of 108% to 116% • From the simulation we would expect delivered feedstock costs to be within ±$1.10/dry ton, based on the uncertainty analysis

09 BIOMASS FUELS↗