Results for “Software dependability” — Page 48

NASA NTRS1991

Methodology for object-oriented real-time systems analysis and design: Software engineering

Successful application of software engineering methodologies requires an integrated analysis and design life-cycle in which the various phases flow smoothly 'seamlessly' from analysis through design to implementation. Furthermore, different analysis methodologies often lead to different structuring of the system so that the transition from analysis to design may be awkward depending on the design methodology to be used. This is especially important when object-oriented programming is to be used for implementation when the original specification and perhaps high-level design is non-object oriented. Two approaches to real-time systems analysis which can lead to an object-oriented design are contrasted: (1) modeling the system using structured analysis with real-time extensions which emphasizes data and control flows followed by the abstraction of objects where the operations or methods of the objects correspond to processes in the data flow diagrams and then design in terms of these objects; and (2) modeling the system from the beginning as a set of naturally occurring concurrent entities (objects) each having its own time-behavior defined by a set of states and state-transition rules and seamlessly transforming the analysis models into high-level design models. A new concept of a 'real-time systems-analysis object' is introduced and becomes the basic building block of a series of seamlessly-connected models which progress from the object-oriented real-time systems analysis and design system analysis logical models through the physical architectural models and the high-level design stages. The methodology is appropriate to the overall specification including hardware and software modules. In software modules, the systems analysis objects are transformed into software objects.

Schoeffler, James D.↗

NASA NTRS2002

Software for Preprocessing Data From Rocket-Engine Tests

Three computer programs have been written to preprocess digitized outputs of sensors during rocket-engine tests at Stennis Space Center (SSC). The programs apply exclusively to the SSC "E" test-stand complex and utilize the SSC file format. The programs are the following: 1) Engineering Units Generator (EUGEN) converts sensor-output-measurement data to engineering units. The inputs to EUGEN are raw binary test-data files, which include the voltage data, a list identifying the data channels, and time codes. EUGEN effects conversion by use of a file that contains calibration coefficients for each channel; 2) QUICKLOOK enables immediate viewing of a few selected channels of data, in contradistinction to viewing only after post test processing (which can take 30 minutes to several hours depending on the number of channels and other test parameters) of data from all channels. QUICKLOOK converts the selected data into a form in which they can be plotted in engineering units by use of Winplot (a free graphing program written by Rick Paris); and 3) EUPLOT provides a quick means for looking at data files generated by EUGEN without the necessity of relying on the PVWAVE based plotting software.

Cheng, Chiu-Fu↗

DOE OSTI2018

sppIDer: A Species Identification Tool to Investigate Hybrid Genomes with High-Throughput Sequencing

The genomics era has expanded our knowledge about the diversity of the living world, yet harnessing high-throughput sequencing data to investigate alternative evolutionary trajectories, such as hybridization, is still challenging. Here we present sppIDer, a pipeline for the characterization of interspecies hybrids and pure species, that illuminates the complete composition of genomes. sppIDer maps short-read sequencing data to a combination genome built from reference genomes of several species of interest and assesses the genomic contribution and relative ploidy of each parental species, producing a series of colorful graphical outputs ready for publication. As a proof-of-concept, we use the genus Saccharomyces to detect and visualize both interspecies hybrids and pure strains, even with missing parental reference genomes. Through simulation, we show that sppIDer is robust to variable reference genome qualities and performs well with low-coverage data. We further demonstrate the power of this approach in plants, animals, and other fungi. sppIDer is robust to many different inputs and provides visually intuitive insight into genome composition that enables the rapid identification of species and their interspecies hybrids. sppIDer exists as a Docker image, which is a reusable, reproducible, transparent, and simple-to-run package that automates the pipeline and installation of the required dependencies (https://github.com/GLBRC/sppIDer; last accessed September 6, 2018).

59 BASIC BIOLOGICAL SCIENCES↗

NASA NTRS2024

3D Scanning System to Assess Gravity-Dependent Body Shape Changes

The human body shows unique physiological and morphological changes when exposed to different gravity conditions, including muscle atrophy, fluid shift, spinal elongation, and body posture adjustments. Such changes need to be incorporated for human-system integration in the vehicle habitat, garment, and spacesuit designs, as inaccurate body measurements can result in suboptimal crew protection that can potentially decrease injury tolerance. However, the traditional linear measurements, such as stature, segment lengths or circumferences measured using a caliper or tape measure, often show limited consistency and are unable to capture the nonlinear characteristics of the human body. While 3D body scanning can provide significant advantages over linear measurements, the technologies have not been fully developed or customized for in-flight scanning. For ground laboratory use, several different scanner types are commercially available. However, in-flight scanning requires additional technical considerations, such as minimal scan time, simplified calibration, and sufficient capture volume. This work aims to develop a prototype 3-D body scanning system that is customized for in-flight use to scan crewmembers, with the configuration and performance optimized for detecting known gravity-dependent body shape and posture changes. A hardware system will be custom built using a network of commercial off-the-shelf 3D sensors. The sensor parameters and settings will be optimized to detect the targeted body shape changes, specifically using body manikins of which the shape and size are iteratively permuted to simulate the known changes by fluid shift and spinal elongation. The capture volume will be also matched for a range of body sizes from a 1st percentile female to 99th percentile male. Unintentional body motions or floating in microgravity will be also simulated and incorporated. A data acquisition software will be developed for efficient in-flight operations with minimal overhead and easy-to-use user interface. A simplified calibration procedure will be designed for robust scanning against frequent vibration or unexpected sensor position shifts. The system will be tested in the ground laboratory for accuracy and reliability against a reference scanning system. New anthropometry measurements will be also identified to sensitively capture the gravity dependent body shape changes, in addition to the traditional anthropometry measurements. A novel landmark-based technique will be tested for consistent anthropometry measurements across posture variations. If successfully developed and deployed, the new system is expected to provide previously unavailable body shape and size data from different gravitational environments, including 0-g, 1/6-g, and 1-g. Such data can improve suit fit, habitat design, exercise efficacy quantification and sizing of orthostatic intolerance garments.

K H Kim↗

NASA NTRS2024

3D Scanning System to Assess Gravity-Dependent Body Shape Changes

The human body shows unique physiological and morphological changes when exposed to different gravity conditions, including muscle atrophy, fluid shift, spinal elongation, and body posture adjustments. Such changes need to be incorporated for human-system integration in the vehicle habitat, garment, and spacesuit designs, as inaccurate body measurements can result in suboptimal crew protection that can potentially decrease injury tolerance. However, the traditional linear measurements, such as stature, segment lengths or circumferences measured using a caliper or tape measure, often show limited consistency and are unable to capture the nonlinear characteristics of the human body. While 3D body scanning can provide significant advantages over linear measurements, the technologies have not been fully developed or customized for in-flight scanning. For ground laboratory use, several different scanner types are commercially available. However, in-flight scanning requires additional technical considerations, such as minimal scan time, simplified calibration, and sufficient capture volume. This work aims to develop a prototype 3-D body scanning system that is customized for in-flight use to scan crewmembers, with the configuration and performance optimized for detecting known gravity-dependent body shape and posture changes. A hardware system will be custom built using a network of commercial off-the-shelf 3D sensors. The sensor parameters and settings will be optimized to detect the targeted body shape changes, specifically using body manikins of which the shape and size are iteratively permuted to simulate the known changes by fluid shift and spinal elongation. The capture volume will be also matched for a range of body sizes from a 1st percentile female to 99th percentile male. Unintentional body motions or floating in microgravity will be also simulated and incorporated. A data acquisition software will be developed for efficient in-flight operations with minimal overhead and easy-to-use user interface. A simplified calibration procedure will be designed for robust scanning against frequent vibration or unexpected sensor position shifts. The system will be tested in the ground laboratory for accuracy and reliability against a reference scanning system. New anthropometry measurements will be also identified to sensitively capture the gravity dependent body shape changes, in addition to the traditional anthropometry measurements. A novel landmark-based technique will be tested for consistent anthropometry measurements across posture variations. If successfully developed and deployed, the new system is expected to provide previously unavailable body shape and size data from different gravitational environments, including 0-g, 1/6-g, and 1-g. Such data can improve suit fit, habitat design, exercise efficacy quantification and sizing of orthostatic intolerance garments.

K H Kim↗

DOE OSTI2023

Electron–phonon physics from first principles using the EPW code

EPW is an open-source software for ab initio calculations of electron–phonon interactions and related materials properties. The code combines density functional perturbation theory and maximally localized Wannier functions to efficiently compute electron–phonon coupling matrix elements, and to perform predictive calculations of temperature-dependent properties and phonon-assisted quantum processes in bulk solids and low-dimensional materials. Here, we report on significant developments in the code since 2016, namely: a transport module for the calculation of charge carrier mobility under electric and magnetic fields using the Boltzmann transport equation; a superconductivity module for calculations of phonon-mediated superconductors using the anisotropic multi-band Eliashberg theory; an optics module for calculations of phonon-assisted indirect transitions; a module for the calculation of small and large polarons without supercells; and a module for calculating band structure renormalization and temperature-dependent optical spectra using the special displacement method. For each capability, we outline the methodology and implementation and provide example calculations.

36 MATERIALS SCIENCE↗

DOE OSTI2025

Collection: TD-DFT and EOM-CCSD Calculations for the GDB-9-Ex Dataset

We present two datasets that contain quantum chemical electronic structure calculations for organic molecules from the GDB-9-Ex dataset. The “GDB-9-Ex_TD-DFT-PBE0” dataset contains calculations performed using the time-dependent density functional theory (TD-DFT) first principles method, and the “GDB-9-Ex_EOMCCSD” dataset contains calculations performed using the equation-of-motion coupled cluster (EOM-CCSD) method. Both types of calculations were performed using the ORCA software and provided ultraviolet-visible spectra with a high level of accuracy.

Mehta, Kshitij [Oak Ridge National Laboratory (ORN↗

DOE OSTI2016

LANL Summer 2016 Report

The Monte Carlo N-Particle (MCNP) transport code developed at Los Alamos National Laboratory (LANL) utilizes nuclear cross-section data in a compact ENDF (ACE) format. The accuracy of MCNP calculations depends on the accuracy of nuclear ACE data tables, which depends on the accuracy of the original ENDF files. There are some noticeable differences in ENDF files from one generation to the next, even among the more common fissile materials. As the next generation of ENDF files is being prepared, several software tools were developed to simulate a large number of benchmarks in MCNP (over 1000), collect data from these simulations, and visually represent the results.

73 NUCLEAR PHYSICS AND RADIATION PHYSICS↗

NASA NTRS1984

Reduction to Outside the Atmosphere and Statistical Tests Used in Geneva Photometry

Conditions for creating a precise photometric system are investigated. The analytical and discriminatory potentials of a photometry obviously result from the localization of the passbands in the spectrum; they do, however, also depend critically on the precision attained. This precision is the result of two different types of precautions. Two procedures which contribute in an efficient manner to achieving greater precision are examined. These two methods are known as hardware related precision and software related precision.

Rufener, F.↗

NASA NTRS1988

User's manual for EZPLOT version 5.5: A FORTRAN program for 2-dimensional graphic display of data

EZPLOT is a computer applications program that converts data resident on a file into a plot displayed on the screen of a graphics terminal. This program generates either time history or x-y plots in response to commands entered interactively from a terminal keyboard. Plot parameters consist of a single independent parameter and from one to eight dependent parameters. Various line patterns, symbol shapes, axis scales, text labels, and data modification techniques are available. This user's manual describes EZPLOT as it is implemented on the Ames Research Center, Dryden Research Facility ELXSI computer using DI-3000 graphics software tools.

Garbinski, Charles↗

NASA NTRS1994

An Integrated Fault Tolerant Robotic Controller System for High Reliability and Safety

This paper describes the concepts and features of a fault-tolerant intelligent robotic control system being developed for applications that require high dependability (reliability, availability, and safety). The system consists of two major elements: a fault-tolerant controller and an operator workstation. The fault-tolerant controller uses a strategy which allows for detection and recovery of hardware, operating system, and application software failures.The fault-tolerant controller can be used by itself in a wide variety of applications in industry, process control, and communications. The controller in combination with the operator workstation can be applied to robotic applications such as spaceborne extravehicular activities, hazardous materials handling, inspection and maintenance of high value items (e.g., space vehicles, reactor internals, or aircraft), medicine, and other tasks where a robot system failure poses a significant risk to life or property.

robotics fault-tolerant control systems↗

NASA NTRS2004

Intelligent resource discovery using ontology-based resource profiles

Successful resource discovery across heterogeneous repositories is strongly dependent on the semantic and syntactic homogeneity of the associated resource descriptions. Ideally, resource descriptions are easily extracted from pre-existing standardized sources, expressed using standard syntactic and semantic structures, and managed and accessed within a distributed, flexible, and scaleable software framework.

XML↗

NASA NTRSDate not supplied

Modelling Sonic Boom Propagation through Planetary Boundary Layer Turbulence near the Lateral Extent of the Carpet

Nonlinear acoustic propagation of sonic booms in the atmospheric boundary layer is considered in the context of a one-way solution to a third order wave equation. A split-step approach is utilized to compute different physical effects efficiently. Unlike previous approaches, the diffraction effects are computed exactly in the forward direction with no restriction on the angle of propagation. This results in more accurate modelling of sonic boom near the carpet edge. Heterogenous flow effects are incorporated with a wide-angle parabolic approximation. Nonlinear propagation is computed with a Burgers-Hayes method. Turbulence in the medium is constructed by the method of random Fourier modes. The turbulence spectra are constructed using an altitude dependent 3-dimensional von Karman spectrum. The turbulence field is considered frozen, as the eddy turnover time in the atmospheric boundary layer is generally much larger than the propagation time of the acoustic wave. Comparisons with benchmark predictions from the PCBoom software are conducted. The benchmark cases provide insight into the accuracy of the current prediction code for non-turbulent atmospheres. Future work is discussed regarding the prediction of shaped booms, boundary conditions, and predictions near the lateral extent of the boom carpet where previous approaches fail to capture the diffraction effects.

sonic boom↗

DOE OSTI2016

SU-F-T-301: Planar Dose Pass Rate Inflation Due to the MapCHECK Measurement Uncertainty Function

Purpose: To quantify the effect of the Measurement Uncertainty function on planar dosimetry pass rates, as analyzed with Sun Nuclear Corporation analytic software (“MapCHECK” or “SNC Patient”). This optional function is toggled on by default upon software installation, and automatically increases the user-defined dose percent difference (%Diff) tolerance for each planar dose comparison. Methods: Dose planes from 109 IMRT fields and 40 VMAT arcs were measured with the MapCHECK 2 diode array, and compared to calculated planes from a commercial treatment planning system. Pass rates were calculated within the SNC analytic software using varying calculation parameters, including Measurement Uncertainty on and off. By varying the %Diff criterion for each dose comparison performed with Measurement Uncertainty turned off, an effective %Diff criterion was defined for each field/arc corresponding to the pass rate achieved with MapCHECK Uncertainty turned on. Results: For 3%/3mm analysis, the Measurement Uncertainty function increases the user-defined %Diff by 0.8–1.1% average, depending on plan type and calculation technique, for an average pass rate increase of 1.0–3.5% (maximum +8.7%). For 2%, 2 mm analysis, the Measurement Uncertainty function increases the user-defined %Diff by 0.7–1.2% average, for an average pass rate increase of 3.5–8.1% (maximum +14.2%). The largest increases in pass rate are generally seen with poorly-matched planar dose comparisons; the MapCHECK Uncertainty effect is markedly smaller as pass rates approach 100%. Conclusion: The Measurement Uncertainty function may substantially inflate planar dose comparison pass rates for typical IMRT and VMAT planes. The types of uncertainties incorporated into the function (and their associated quantitative estimates) as described in the software user’s manual may not accurately estimate realistic measurement uncertainty for the user’s measurement conditions. Pass rates listed in published reports or otherwise compared to the results of other users or vendors should clearly indicate whether the Measurement Uncertainty function is used.

60 APPLIED LIFE SCIENCES↗

DOE OSTI2016

Temperature dependent simulation of diamond depleted Schottky PIN diodes

Diamond is considered as an ideal material for high field and high power devices due to its high breakdown field, high lightly doped carrier mobility, and high thermal conductivity. The modeling and simulation of diamond devices are therefore important to predict the performances of diamond based devices. In this context, we use Silvaco{sup ®} Atlas, a drift-diffusion based commercial software, to model diamond based power devices. The models used in Atlas were modified to account for both variable range and nearest neighbor hopping transport in the impurity bands associated with high activation energies for boron doped and phosphorus doped diamond. The models were fit to experimentally reported resistivity data over a wide range of doping concentrations and temperatures. We compare to recent data on depleted diamond Schottky PIN diodes demonstrating low turn-on voltages and high reverse breakdown voltages, which could be useful for high power rectifying applications due to the low turn-on voltage enabling high forward current densities. Three dimensional simulations of the depleted Schottky PIN diamond devices were performed and the results are verified with experimental data at different operating temperatures.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗

DOE OSTI2017

Measured and estimated performance of a fleet of shaded photovoltaic systems with string and module-level inverters

Shade obstructions can significantly impact the performance of photovoltaic (PV) systems. Although there are many models for partially shaded PV arrays, there is a lack of information available regarding their accuracy and uncertainty when compared with actual field performance. This work assesses the recorded performance of 46 residential PV systems, equipped with either string-level or module-level inverters, under a variety of shading conditions. We compare their energy production data to annual PV performance predictions, with a focus on the practical models developed here for National Renewable Energy Laboratory's system advisor model software. This includes assessment of shade extent on each PV system by using traditional onsite surveys and newer 3D obstruction modelling. The electrical impact of shade is modelled by either a nonlinear performance model or assumption of linear impact with shade extent, depending on the inverter type. When applied to the fleet of residential PV systems, performance is predicted with median annual bias errors of 2.5% or less, for systems with up to 20% estimated shading loss. The partial shade models are not found to add appreciable uncertainty to annual predictions of energy production for this fleet of systems but do introduce a monthly root-mean-square error of approximately 4%-9% due to seasonal effects. Here the use of a detailed 3D model results in similar or improved accuracy over site survey methods, indicating that, with proper description of shade obstructions, modelling of partially shaded PV arrays can be done completely remotely, potentially saving time and cost.

14 SOLAR ENERGY↗

DOE OSTI2023

Machine learning methods for fission product identification from Bragg curves

A fission time projection chamber (fission-TPC) was developed to provide precise neutron-induced fission measurements for several major actinides. As fission fragments lose energy in one of the gas volumes of the fission-TPC, energy loss information is captured and may be used to determine fission product yields as the stopping power of an ion is dependent on the atomic number. The work presented here demonstrates the ability to apply machine learning techniques for Bragg curve classification. A set of one million energy loss curves for 24 different fission-fragment elements was generated using common stopping power software. A ResNet architecture optimized for 1D data was used to train, test, and validate a model for light and heavy fission fragments using the simulated data. The resultant classification accuracy for the light and heavy fragments indicates that this could be a viable method for elemental classification of data from the fission-TPC.

73 NUCLEAR PHYSICS AND RADIATION PHYSICS↗

DOE OSTI2023

Impacts of Modern IT on LCLS-II Experiment Control Systems

Modern information technology (IT) is a broad term with vague and somewhat arbitrary boundaries which can depend on any given novice or subject matter expert’s notional understanding. For the purposes of this article, IT can be understood as standards in communication, computational power, and storage. Additionally, impacts of modern IT extend beyond its products of hardware and software to include associated work practices and engineering processes.

97 MATHEMATICS AND COMPUTING↗