Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “Refining”

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 415 records · Page 23
All sourcesNASA NTRSDOE OSTI
NASA NTRS2018

Refining the Safety - Liveness Classification of Temporal Properties According to Monitorability

Runtime verification is the topic of analyzing execution traces using formal techniques. It includes monitoring the execution of a system against temporal properties, commonly to detect violations. Not every temporal property is fully monitorable however: in some cases, the correctness of the execution does not depend on any finite prefix. We study the connection between monitorability and Lamport’s classification of properties to safety and liveness and their dual classes.We refine the definition of monitorability and provide algorithms to check which verdicts can be expected, a priori and during runtime verification.

Peled, Doron↗
NASA NTRS2021

Refined Mass and Geometric Measurements of the High-mass PSR J0740+6620

We report results from continued timing observations of PSR J0740+6620, a high-mass, 2.8 ms radio pulsar in orbit with a likely ultracool white dwarf companion. Our data set consists of combined pulse arrival-time measurements made with the 100 m Green Bank Telescope and the Canadian Hydrogen Intensity Mapping Experiment telescope. We explore the significance of timing-based phenomena arising from general relativistic dynamics and variations in pulse dispersion. When using various statistical methods, we find that combining∼1.5 yr of additional, high-cadence timing data with previous measurements confirms and improves on previous estimates of relativistic effects within the PSR J0740+6620 system, with the pulsar mass=-+mM2.08p0.070.07 M (68.3% credibility) determined by the relativistic Shapiro time delay. For the first time, we measure secular variation in the orbital period and argue that this effect arises from apparent acceleration due to significant transverse motion. After incorporating contributions from Galactic differential rotation and off-plane acceleration in the Galactic potential, we obtain a model-dependent distance of=-+d1.140.150.17kpc (68.3% credibility). This improved distance confirms the ultracool nature of the white dwarf companion determined from recent optical observations. We discuss the prospects for future observations with next-generation facilities, which will likely improve the precision on mp for J0740+6620 by an order of magnitude within the next few years

Neutron stars↗
NASA NTRS2020

Oco-2 Calibration Refinement Across Versions And Plans For Oco-3

The third major reprocessing campaign for the Orbiting Carbon Observatory 2 mission is underway. With each release, several aspects of instrument calibration were improved. An onboard lamp tracks relative gain degradation, but ages too quickly to track absolute scaling. The most significant changes between builds were evolving assumptions about the stability of the solar calibrator. For the newest build, the trend in lunar measurements over a 4.5-year time series was applied. Another significant change was to expand a list of detector outliers via review of dark, lamp, and science measurements. More subtle adjustments to stray light and spectral dispersion were also performed. The techniques developed for OCO-2 are being applied to the Orbiting Carbon Observatory 3, which completed in-orbit checkout in August 2019. OCO-3 does not have a solar calibrator, and will need to constrain lamp aging via secondary lamps and comparison to other satellites.

Rosenberg, Rob↗
NASA NTRSDate not supplied

COSPAR Workshop Series on Refining Planetary Protection Requirements for Human Missions to Mars

COSPAR and its space agency partners are supporting a multi-year stepwise process devel-oping needed approaches to address planetary protection requirements for human missions beyond Earth orbit. The objective is to support incremental development from the current qualitative COSPAR planetary protection “Principles and Guidelines for Human Missions to Mars” to quantitative implementable planetary protection requirements for such future mis-sions. The workshops and meetings in this series have involved participants from NASA, ESA, JAXA and other national space agencies, as well as the scientific/technical community, and commercial/private enterprise stakeholders, based around three main topic areas: Microbial and Human Health Monitoring; Spacecraft Technology and Operations, and; Natural Trans-port of Contamination at Mars. This presentation provides a status update on the findings of the COSPAR Meetings on this topic to date. First, the identification and prioritization of knowledge gaps will be summarized. Next, where a knowledge gap is to be addressed by new measurements, example descriptions of measurements needed to close the knowledge gaps (and instruments necessary to make those measurements) will be discussed. Where the knowledge gaps closure is based on Agency policy decisions, the scope of the decision-making parameters and process will be described. Lastly, the presentation will consider how the findings of the study series can be integrated into current and future space agency and COSPAR activities.

J. Andy Spry↗
NASA NTRSDate not supplied

Root Cause Analysis of the Data Refinement Process – Medical Conditions Capability Resource Tables

The medical system for spaceflight thus far has been designed to support missions in low earth orbit (LEO). Crew capabilities are limited and heavily dependent on the team of medical support staff at Mission Control Center (MCC) to guide diagnosis and management. However, missions to the Moon and Mars will suffer from several constraints that will make this ground support focused approach to care ineffective. In order to update and modify medical system design, NASA has relied on Probabilistic Risk Assessment (PRA) modeling to mitigate medical risk through trade space analysis. Specifically, capability resource tables (CRT’s) were developed to create a dataset of resources required to manage a list of accepted medical conditions significant in exploration spaceflight. With 120 conditions, this dataset contained hundreds of capabilities and thousands of resources with tens of thousands of cells of data. Initially these tables were built in excel for high throughput during development, but ultimately had to be transferred, managed, and modified into the Evidence Library database for modeling purposes. The process of collating and reviewing the Evidence Library revealed numerous errors in the dataset that had to be corrected through iterative changes. Several error types emerged during this process and can be broken into specific classifications defined as “input”, “transcription”, “structural”, “branching”, and “information”. In reviewing these error types through the root cause analysis (RCA) approach, we were able to identify the contributors to these errors which included single data review points, changing product end goals, limited software selection, time constraints and several others. By reviewing and evaluating the underlying causes we can provide possible system improvements that can be implemented for current and future data management in PRA model inputs.

A. Anderson↗
NASA NTRS2023

Refinement of Transition-Edge Sensor Dimensions for the X-ray Integral Field Unit on ATHENA

At NASA Goddard Space Flight Center, we have previously demonstrated a kilo-pixel array of transition-edge sensor (TES) microcalorimeters capable of meeting the energy resolution requirements of the future X-ray Integral Field Unit (X-IFU) instrument that is being developed for the Advanced Telescope for High ENergy Astrophysics (ATHENA) observatory satellite. The TES design in this array was a square device with side length of 50 μm. Here, we describe studies of TES designs with small variations of the dimensions, exploring lengths, parallel to the current direction, ranging from 75μm to 50μm and widths, perpendicular to the current direction, ranging from 50μm to 15 μm. We describe how these changes impact transition properties, thermal conductance and magnetic field sensitivity. In particular, we show that using a TES with a length of 50μm and width of 30μm may be a promising route to reduce the maximum time-derivative of the TES current in an X-ray pulse and reduce the sensitivity of the TES to magnetic field.

N A Wakeham↗
NASA NTRSDate not supplied

Refinement of the Transition-edge Sensor Design for ATHENA X-IFU

The X-ray Integral Field Unit (X-IFU) instrument on the Advanced Telescope for High ENergy Astrophysics (ATHENA) is baselined to have 2376 transition-edge sensor (TES) microcalorimeter pixels in a single array. The required performance for X-IFU has been demonstrated on a kilo-pixel array of square TES’s with 50 m side length, and this is considered the baseline pixel design. However, over the last few years we have explored small modifications to this design in search of a globally optimized instrument performance. We have previously reported on investigations of extending the length of the TES’s and variations in the number of X-ray absorber support stems. Here we report on investigations of TES designs with a length of 50 m but narrower width. We will discuss the consequence of this on magnetic field sensitivity, resistive transition parameters, spectral performance, and ease of multiplexing. We will also discuss how the number and position of the absorber attachments influences the vibrational modes of the pixels, and the impact this may have on performance. Finally, we will present measurements of more substantial change options of our TES design, including more extreme TES geometries, the use of metal islands or etched holes in the silicon nitride membranes, and the position of wiring to minimize current-induced magnetic field effects. The exploration of all these changes to the design are not only useful for optimizing performance on X-IFU, but also guide our fundamental understanding of the key physics of TES microcalorimeters.

Nick Wakeham↗