Search NASA⌕ Search

SEARCH · Search NASA

Results for “Software dependability”

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 955 records · Page 53

Assessment of in-flight anomalies of long life outer plant mission

Thee unmanned planetary spacecraft to the outer planets have been controlled and operated successfully in space for an accumulated total of 66 years. The Voyager 1 and 2 spacecraft each have been in space for more than 26 years. The Galileo spacecraft was in space for 14 years, including eight years in orbit about Jupiter. During the flight operations for these missions, anomalies for the ground data system and the flight systems have been tracked using the anomaly reporting tool at the Jet Propulsion Laboratory. A total of 3300 incidents, surprises, and anomaly reports have been recorded in the database. This paper describes methods and results for classifying and identifying trends relative to ground system vs. flight system, software vs. hardware, and corrective actions. There are several lessons learned from these assessments that significantly benefit the design and planning for long life missions of the future. These include the necessity for having redundancy for successful operation of the spacecraft, awareness that anomaly reporting is dependent on mission activity not the age of the spacecraft, and the need for having a program to maintain and transfer operation knowledge and tools to replacement flight team members.

anomalies↗

Demonstration of a modeling toolkit for the design of building electrical distribution systems

The deployment of building equipment (e.g., lighting, security) and miscellaneous electrical loads that fundamentally require DC power for operation is increasing. Powering these DC loads has traditionally required an AC/DC converter, but the installation of photovoltaic (PV) and battery energy storage systems that primarily produce DC power eliminates the need for AC/DC converters at each end-device. However, analyzing system energy efficiency and cost for different electrical distribution architectures can be challenging as software tools that support this are not readily available. This paper presents preliminary results from a laboratory verification of the Building Electrical Efficiency Analysis Model (BEEAM) toolkit that was developed to address this gap. Three different eight-luminaire lighting systems comprised of market-available products were designed and modeled: one that used traditional AC distribution, a second that used a hybrid AC -to- centralized DC electrical distribution architecture, and a third that used a hybrid AC -to- distributed DC architecture. Notably, AC/DC conversions are required in all three systems. BEEAM models for LED drivers as well as Power-over-Ethernet (PoE) switches were created using laboratory characterization data. The lighting systems were simulated in Modelica, and the results were compared with each other and physics-based expectations. Simulation results show that PoE system energy efficiency is highly dependent on both device specification (e.g., LED driver and PoE switch efficiency) and system architecture (e.g., PoE switch loading) choices, as expected. For the products and system architectures selected for this study, the two DC systems were found to be less efficient than the AC system over the course of typical operation. In future work, simulation results will be compared with laboratory measurements to validate the usefulness of this software for design, and lighting systems with integrated PV and battery energy storage will be simulated to quantify the energy performance improvements that result from the elimination of some AC/DC converters.

Waghale, Anay S.↗

Time Scale Effects on the Temperature Coefficient of Reactivity

For a nuclear reactor, the temperature coefficient of reactivity (TCR) is of significance for both power control and safety analysis, but it is not always a constant. For example, the TCR may be dependent upon temperature due to Doppler broadening, and may be also dependent upon time scale due to heat transfer and thermal expansion. A fast burst reactor is a favorable nuclear facility to simulate the time scale effects on the TCR. Fast burst reactors are generally unmoderated research reactors of enriched uranium metal or uranium alloys. The neutrons are fast and the Doppler broadening effects can be neglected, and the TCR is mainly contributed by fuel thermal expansion. Fast burst reactors can operate on both steady state power mode and burst power mode. In steady state power mode, the systems are assumed to be in thermal equilibrium. In burst mode, the full width at half maximum (FWHM) of the power is from tens of microseconds to a few milliseconds, and the heat transfer is generally neglected. If FWHM is short enough, thermal expansion will have a time delay due to inertial effect. This paper is aimed to study the exact time scale effects on the TCR due to thermal expansion. The TCR contributed by the Doppler broadening effects was neglected, because it is relatively small (The k{sub eff} as a function of temperature was also calculated using the Monte Carlo particle transport code JMCT by our group, and no definite difference due to the temperature change was obtained near room temperature), and there is no method to evaluate the time scale dependence of the Doppler broadening effects yet. In the time scale from 1 x 10{sup -6} s to 1 x 10{sup 5} s, the TCR of a Godiva-like spherical fast burst reactor was calculated with perturbation theory. A Godiva-like spherical fast burst reactor was studied, the calculation of the time scale effects on TCR involved thermal conduction, thermoelasticity and reactivity variation analysis. Both the thermal and the thermoelastic problems were solved using ANSYS software. ANSYS is software implementation of finite element simulations, which is widely used in engineering field. The reactivity variation due to thermal expansion was calculated with perturbation theory.

21 SPECIFIC NUCLEAR REACTORS AND ASSOCIATED PLANTS↗

Machine learning and TDDFT software for stopping power computation

(SF-24-012) Stopping power describes the rate that a material slows radiation particles passing through it and is useful in designing many technologies. Few organizations can perform new measurements, which require significant resources and rare equipment, and all others rely on coarse approximations rendered from pre-existing data. Methods for computing stopping power in new materials, such as time-dependent density functional theory (TD-DFT), have only recently (circa-2015) become available but are too computationally costly to use frequently enough to have a pronounced impact. We have created a method that opens a pathway to computing stopping power without any need for experimental data by combining electronic structure computations and machine learning.

Ward, Logan↗

ADAM: A web platform for graph-based modeling and optimization of supply chains

Modeling and optimization are essential tasks that arise in the analysis and design of supply chains (SCs). SC models are essential for understanding emergent behavior such as transactions between participants, inherent value of products exchanged, as well as impact of externalities (e.g., policy and climate) and of constraints. Unfortunately, most users of SC models have limited expertise in mathematical optimization, and this hinders the adoption of advanced decision-making tools. Here, in this work, we present ADAM, a web platform that enables the modeling and optimization of SCs. ADAM facilitates modeling by leveraging intuitive and compact graph-based abstractions that allow the user to express dependencies between locations, products, and participants. ADAM model objects serve as repositories of experimental, technology, and socio-economic data; moreover, the graph abstractions facilitate the organization and exchange of models and provides a natural framework for education and outreach. Here, we discuss the graph abstractions and software design principles behind ADAM, its key functional features and workflows, and application examples.

97 MATHEMATICS AND COMPUTING↗

Domain-specific compilers for dynamic simulations of quantum materials on quantum computers

Abstract Simulation of the dynamics of quantum materials is emerging as a promising scientific application for noisy intermediate-scale quantum (NISQ) computers. Due to their high gate-error rates and short decoherence times, however, NISQ computers can only produce high-fidelity results for those quantum circuits smaller than some given circuit size. Dynamic simulations, therefore, pose a challenge as current algorithms produce circuits that grow in size with each subsequent time-step of the simulation. This underscores the crucial role of quantum circuit compilers to produce executable quantum circuits of minimal size, thereby maximizing the range of physical phenomena that can be studied within the NISQ fidelity budget. Here, we present two domain-specific (DS) quantum circuit compilers for the Rigetti and IBM quantum computers, specifically designed to compile circuits simulating dynamics under a special class of time-dependent Hamiltonians. The compilers outperform state-of-the-art general-purpose compilers in terms of circuit size reduction by around 25%–30% as well as wall-clock compilation time by around 40% (dependent on system size and simulation time-step). Drawing on heuristic techniques commonly used in artificial intelligence, both compilers scale well with simulation time-step and system size. Code for both compilers is open-source and packaged into a full-stack quantum simulation software with tutorials included for ease of use for future researchers wishing to perform dynamic simulations of quantum materials on quantum computers. As our DS compilers provide significant improvements in both compilation time and simulation fidelity, they provide a building block for accelerating progress toward physical quantum supremacy.

Physics↗

Estradiol associations with brain functional connectivity in postmenopausal women

Abstract Objective Previous studies have found that estrogens play a role in functional connectivity in the brain; however, little research has been done regarding how estradiol is associated with functional connectivity in postmenopausal women. The purpose of this study was to examine the relationship between estradiol and functional connectivity in postmenopausal women. Methods Structural and blood oxygenation level–dependent resting-state magnetic resonance imaging scans of 88 cognitively healthy postmenopausal individuals were obtained along with blood samples collected the same day as the magnetic resonance imaging to assess hormone levels. We generated connectivity values in CONN toolbox version 20.b, an SPM-based software. Results A regression analysis was run using estradiol level and regions of interest (ROI), including the hippocampus, parahippocampus, dorsolateral prefrontal cortex, and precuneus. Estradiol level was found to enhance parahippocampal gyrus anterior division left functional connectivity during ROI-to-ROI regression analysis. Estradiol enhanced functional connectivity between the parahippocampal gyrus anterior division left and the precuneus as well as the parahippocampal gyrus anterior division left and parahippocampal gyrus posterior division right. An exploratory analysis showed that years since the final menstrual period was related to enhanced connectivity between regions within the frontoparietal network. Conclusions These results illustrated the relationship between estradiol level and functional connectivity in postmenopausal women. They have implications for understanding how the functioning of the brain changes for individuals after menopause that may eventually lead to changes in cognition and behavior in older ages.

Obstetrics & Gynecology↗

Performance Portability of HPC Discovery Science Software: Fusion Energy Turbulence Simulations at Extreme Scale

As HPC R&D moves forward on a variety of “path to exascale” architectures today, an associated objective is to demonstrate performance portability of discovery-science-capable software. Important application domains, such as Magnetic Fusion Energy (MFE), have improved modelling of increasingly complex physical systems -- especially with respect to reducing “time-to-solution” as well as “energy to solution.” The emergence of new insights on confinement scaling in MFE systems has been aided significantly by efficient software capable of harnessing powerful supercomputers to carry out simulations with unprecedented resolution and temporal duration to address increasing problem sizes. Specifically, highly scalable particle-in-cell (PIC) programing methodology is used in this paper to demonstrate how modern scientific applications can achieve efficient architecture-dependent optimizations of performance scaling and code portability for path-to-exascale platforms.

97 MATHEMATICS AND COMPUTING↗

Retrieval techniques: LVLH and inertially stabilized payloads

Procedures and techniques are discussed for retrieving payloads that are inertially or local vertical/local horizontal (LVLH) stabilized. Selection of the retrieval profile to be used depends on several factors: (1) control authority of the payload, (2) payload sensitivity to primary reaction control system (PRCS) plumes, (3) whether the payload is inertially or LVLH stabilized, (4) location of the grapple fixture, and (5) orbiter propellant consumption. The general retrieval profiles recommended are a V-bar approach for payloads that are LVLH or gravity-gradient stabilized, and the V-bar approach with one or two phase flyaround for inertially stabilized payloads. Once the general type of profile has been selected, the detailed retrieval profile and timeline should consider the various guidelines, groundrules, and constraints associated with a particular payload or flight. Reaction control system (RCS) propellant requirements for the recommended profiles range from 200 to 1500 pounds, depending on such factors as braking techniques, flyaround maneuvers (if necessary), and stationkeeping operations. The time required to perform a retrieval (starting from 1000 feet) varies from 20 to 130 minutes, depending on the complexity of the profile. The goals of this project are to develop a profile which ensures mission success; to make the retrieval profiles simple; and to keep the pilot workload to a minimum by making use of the automatic features of the orbiter flight software whenever possible.

Yglesias, J. A.↗

A device-independent interface for interactive image display

NASA's Goddard Space Flight Center (GSFC) has developed a Transportable Applications Executive (TAE) for use in implementing portable applications software that can be shared by different research projects. Since many of the supported disciplines require the interactive display and manipulation of remotely sensed images, a device independent Display Management Subsystem (DMS) was written as a TAE extension. The DMS attempts to abstract and standardize the device dependent functions that are used in the display and manipulation of image data on image analysis terminals. This paper explores the concept of DMS and the interface routines that are available to the applications programmer for use in developing a set of portable image display utility programs.

Perkins, D. C.↗

Orbital flight simulation utility software unit specifications, revision 1

The HP PASCAL source code defines the specifications for a Utility Software Unit (USU) designed to support orbital flight simulators such as MANHANDLE and GREAS (General Research and Engineering Analysis Simulator). Besides providing basic input/output, mathematical, matrix, quaternion, and statistical routines for such simulators, one of the primary functions of the USU is to isolate all system-dependent codes in one well-defined compartment, thereby facilitating transportation of the simulations from one computer to another. Directives are given for the PASCAL compilers of the HP-9000 Series 200 Pascal 3.0 and the HP-9000 Series 500 HP-UX 5.0 operating systems that produce a single file of relocatable code from four separate files of source code. Three of the source code files are common to both operating systems. The fourth source code file (utilspif.I) contains all of the system-dependent PASCAL code for the USU. A fifth file of source code written in C is required to interface utilspif.I with the HP-UX I/O package. The Pascal 3.0 compiler directives and the driver source code for a unit rest program and counterparts for the HP-UX 5.0 operating system are given. The major portion of the unit test program source code is common to both operating systems. Unit test results from the Pascal 3.0 operating system and results from the HP-UX operating system are given.

Wilson, S. W.↗

Implementation of a blade element UH-60 helicopter simulation on a parallel computer architecture in real-time

A high-performance platform for development of real-time helicopter flight simulations based on a simulation development and analysis platform combining a parallel simulation development and analysis environment with a scalable multiprocessor computer system is described. Simulation functional decomposition is covered, including the sequencing and data dependency of simulation modules and simulation functional mapping to multiple processors. The multiprocessor-based implementation of a blade-element simulation of the UH-60 helicopter is presented, and a prototype developed for a TC2000 computer is generalized in order to arrive at a portable multiprocessor software architecture. It is pointed out that the proposed approach coupled with a pilot's station creates a setting in which simulation engineers, computer scientists, and pilots can work together in the design and evaluation of advanced real-time helicopter simulations.

Moxon, Bruce C.↗

Precision Agriculture: Changing the Face of Farming

To a large extent our work has grown out of the remote sensing technology and conceptual framework developed by geologists. For example the drive to look at the physics of reflectance and atmospheric corrections is rooted in work done in the early 1980s by the United States Geological Survey and NASA. Our work on emissivity and thermal behavior of plants pulls on research done using the Thermal Infrared Multispectral Scanner, an instrument originally conceived for geologic applications. Even our ability to geometrically map the airborne imagery onto the globe was explicitly developed because of need to map sediment flow patterns in along the coast of Louisiana. Growing from this base we have learned much in the last few years and believe our integration of geologic remote sensing with the other fields of expertise was a wise investment. Clearly none of the specialties alone could develop, let alone test, the basic approach we are now finding so powerful. This is the path that will ultimately give the information needed by the farmer. We also recognize how small a portion of the total problem has been solved. Having developed the basic logic, built proto-type tools and performed initial tests everything else remains to be done. And problems, scientific and practical, are everywhere. We have not established sensitivities. We have not robustly segregated the contributions of crop residue, soil moisture, shadows, plant and soil to the energy leaving the surface. What we do is extremely expensive and difficult. It is experimental in methodology and uses research oriented tools. We are constantly alive to the practicality of moving our results into commercial applications. We know another airborne instrument will have to be available. Atmospheric parameters will have to be measured automatically. The software will have to be re-written for speed. At times the list of problems seems endless. But the potential is also enormous. Agriculture is a huge portion of our economy. Just a one percent increase in efficiency is a $2,000,000 change. We all depend on farmers, literally for the bread we eat. No other activity of man even has an impact on the land that farming has. If application of precision agriculture can nelp farmers manage their land better, we all may benefit.

Rickman, D.↗

Gesture-Controlled Interfaces for Self-Service Machines

Gesture-controlled interfaces are software- driven systems that facilitate device control by translating visual hand and body signals into commands. Such interfaces could be especially attractive for controlling self-service machines (SSMs) for example, public information kiosks, ticket dispensers, gasoline pumps, and automated teller machines (see figure). A gesture-controlled interface would include a vision subsystem comprising one or more charge-coupled-device video cameras (at least two would be needed to acquire three-dimensional images of gestures). The output of the vision system would be processed by a pure software gesture-recognition subsystem. Then a translator subsystem would convert a sequence of recognized gestures into commands for the SSM to be controlled; these could include, for example, a command to display requested information, change control settings, or actuate a ticket- or cash-dispensing mechanism. Depending on the design and operational requirements of the SSM to be controlled, the gesture-controlled interface could be designed to respond to specific static gestures, dynamic gestures, or both. Static and dynamic gestures can include stationary or moving hand signals, arm poses or motions, and/or whole-body postures or motions. Static gestures would be recognized on the basis of their shapes; dynamic gestures would be recognized on the basis of both their shapes and their motions. Because dynamic gestures include temporal as well as spatial content, this gesture- controlled interface can extract more information from dynamic than it can from static gestures.

Cohen, Charles J.↗

Modeling and Proof-of-Concept of a Blackbody-Based Calibration Method in the InfraBREAD Detector

The Broadband Reflector Experiment for Axion Detection (BREAD) is an ongoing collaboration searching for the conversion of yet undiscovered axion-like dark matter particles to photons in the presence of a magnetic field. InfraBREAD, a pilot experiment realization of BREAD, uses a superconducting nanowire single photon detector (SNSPD), a high-efficiency and low-noise device, to specifically detect infrared-range photons produced by $\mathcal{O}$(eV) axion-like particles. The unique BREAD coaxial reflector setup allows for the focusing of converted signal photons to a 1mm $\times$ 1mm SNSPD. However, when the detector is cooled to cryogenic temperatures during operation, uneven thermal contraction of reflector components may lead to a small shift in the location of the focal spot. A novel calibration method using blackbody radiation is proposed to locate the true focal spot of the detector \textit{in situ}. Through ray tracing simulations done in FRED Optical Engineering Software, this method is demonstrated to locate the focus to within $\SI{50}{\micro\metre}$ in the axial dimension. Additionally, it is demonstrated that the blackbody photon source used in this calibration must be at a temperature of at least $\SI{15}{\kelvin}$ to $\SI{40}{\kelvin}$, depending on the sensitivity of the SNSPD.

46 INSTRUMENTATION RELATED TO NUCLEAR SCIENCE AND ↗

SU-F-T-490: Separating Effects Influencing Detector Response in Small MV Photon Fields

Purpose: Different detector properties influence their responses especially in field sizes below the lateral electron range. Due to the finite active volume, the detector density and electron perturbation at other structural parts, the response factor is in general field size dependent. We aimed to visualize and separate the main effects contributing to detector behavior for a variety of detector types. This was achieved in an experimental setup, shielding the field center. Thus, effects caused by scattered radiation could be examined separately. Methods: Signal ratios for field sizes down to 8 mm (SSD 90 cm, water depth 10 cm) of a 6MV beam from a Siemens Primus LINAC were recorded with several detectors: PTW microDiamond and PinPoint ionization chamber, shielded diodes (PTW P-60008, IBA PFD and SNC Edge) and unshielded diodes (PTW E-60012 and IBA SFD). Measurements were carried out in open fields and with an aluminum pole of 4 mm diameter as a central block. The geometric volume effect was calculated from profiles obtained with Gafchromic EBT3 film, evaluated using FilmQA Pro software (Ashland, USA). Results: Volume corrections were 1.7% at maximum. After correction, in small open fields, unshielded diodes showed a lower response than the diamond, i.e. diamond detector over-response seems to be higher than that for unshielded diodes. Beneath the block, this behavior was amplified by a factor of 2. For the shielded diodes, the overresponse for small open fields could be confirmed. However their lateral response behavior was strongly type dependent, e.g. the signal ratio dropped from 1.02 to 0.98 for the P-60008 diode. Conclusion: The lateral detector response was experimentally examined. Detector volume and density alone do not fully account for the field size dependence of detector response. Detector construction details play a major role, especially for shielded diodes.

61 RADIATION PROTECTION AND DOSIMETRY↗

Feature Detection From LiDAR Point Cloud and Aerial Imagery Using Distance Dependent Chinese Restaurant Process [Slides]

It is possible to integrate data captured by UAS from multiple data modalities spatially. We can detect features by combining information across images and LiDAR point clouds. Performance issues exist with the current algorithms in place & could be improved. We hope to test it for at least 500 iterations. Post processing of data takes enormous efforts in case of data generated by proprietary software tools…We intend to develop a better framework for seamless integration.

97 MATHEMATICS AND COMPUTING↗

Water Detection Based on Sky Reflections

This software has been designed to detect water bodies that are out in the open on cross-country terrain at mid- to far-range (approximately 20 100 meters), using imagery acquired from a stereo pair of color cameras mounted on a terrestrial, unmanned ground vehicle (UGV). Non-traversable water bodies, such as large puddles, ponds, and lakes, are indirectly detected by detecting reflections of the sky below the horizon in color imagery. The appearance of water bodies in color imagery largely depends on the ratio of light reflected off the water surface to the light coming out of the water body. When a water body is far away, the angle of incidence is large, and the light reflected off the water surface dominates. We have exploited this behavior to detect water bodies out in the open at mid- to far-range. When a water body is detected at far range, a UGV s path planner can begin to look for alternate routes to the goal position sooner, rather than later. As a result, detecting water hazards at far range generally reduces the time required to reach a goal position during autonomous navigation. This software implements a new water detector based on sky reflections that geometrically locates the exact pixel in the sky that is reflecting on a candidate water pixel on the ground, and predicts if the ground pixel is water based on color similarity and local terrain features

Rankin, Arturo L.↗