Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “Performance Trace”

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 739 records · Page 41
All sourcesNASA NTRSDOE OSTI
NASA NTRSDate not supplied

On Computationally Efficient Radiative Transfer Calculations for Three-dimensional Entry Problems

The current work presents an efficient simulation framework for rigorously modeling radiative fields emanating from non-equilibrium planetary entry flows in complex three-dimensional domains. Key to this endeavor is adoption of finite-volume discretization in lieu of brute-force ray tracing. This change in conjunction with mesh sweeping and Lebedev-type quadrature for angular integration allows spatial-angular resolution of radiative transfer to be performed in a computationally tractable manner. Additionally, a new methodology has been established to build standalone reduced-order spectral databases for non-equilibrium radiative properties that can be applied to a broad range of hypersonic planetary entry problems with minimal loss in accuracy. The efficacy of the new framework has been demonstrated on the atomic nitrogen radiative system. The resulting reduced-order model requires three orders-of-magnitude fewer spectral evaluations and results in a 95% decrease in memory footprint. A comparative study for representative forebody and afterbody lines-of-sight from Stardust, FIRE II, and meteor entries into the Earth atmosphere indicates that both total intensity variation and detailed spectra can be retrieved with as few as 625 reduced-order groups (contrasting with the 100,000 frequencies in the original full set model). Similarly, three-dimensional predictions of radiative heating experienced by the Orion forebody are in excellent agreement with legacy radiation solvers while requiring only a sliver (roughly 0.5%) of computing wall time.

3D radiation↗
NASA NTRSDate not supplied

On Computationally Efficient Radiative Transfer Calculations for Three-Dimensional Entry Problems

The current work presents an efficient simulation framework for rigorously modeling radiative fields emanating from non-equilibrium planetary entry flows in complex three-dimensional domains. Key to this endeavor is adoption of finite-volume discretization in lieu of brute-force ray tracing. This change in conjunction with mesh sweeping and Lebedev-type quadrature for angular integration allows spatial-angular resolution of radiative transfer to be performed in a computationally tractable manner. Additionally, a new methodology has been established to build standalone reduced-order spectral databases for non-equilibrium radiative properties that can be applied to a broad range of hypersonic planetary entry problems with minimal loss in accuracy. The efficacy of the new framework has been demonstrated on the atomic nitrogen radiative system. The resulting reduced-order model requires three orders-of-magnitude fewer spectral evaluations and results in a 95% decrease in memory footprint. A comparative study for representative forebody and afterbody lines-of-sight from Stardust, FIRE II, and meteor entries into the Earth atmosphere indicates that both total intensity variation and detailed spectra can be retrieved with as few as 625 reduced-order groups (contrasting with the 100,000 frequencies in the original full set model). Similarly, three-dimensional predictions of radiative heating experienced by the Orion forebody are in excellent agreement with legacy radiation solvers while requiring only a sliver (roughly 0.5%) of computing wall time.

3D radiation↗
NASA NTRSDate not supplied

Investigating Commercial Off-The-Shelf (COTS) Glovebox and Support Components Compared to Custom Curatorial Laboratories

There is a need envisioned to investigate the application of commercial off-the-shelf (COTS) systems as tools that could be used within commercial preliminary curation as the expected space economy is supported and begins to take flight. NASA is involved with supporting and developing the space economy [1] and therefore it’s feasible that at some point, a commercial space company would bring back materials and either store initially, or permanently, within COTS equipment as a stand-in for custom curation laboratories. While utilizing opportunities to explore this capability at NASA-Johnson Space Center (JSC) during the establishment of other laboratories [2] it was realized that cleanliness and/or other properties could be evaluated for these COTS systems during their installation in advanced research facilities that are not ISO-class rated clean rooms. Several aspects of a COTS-Curation system were explored including various gloves for curation manipulation within a negative pressure glovebox (Fig.1), Balazs organic and inorganic contaminant levels testing prior to glovebox ever being used, mode swapping comparison of recirculation vs. single pass, constant monitoring of oxygen (O2) and moisture (H2O) levels in various conditions, etc. To acquire inorganic and organic compound loads inside the glovebox, Balazs wafer testing and gas sampling were implemented. These are standardized analytical tests provided by Balazs™ NanoAnalysis, a division of Air Liquide USA. Deployment of 8-inch silicon wafer witness plates for 24-hours in an undisturbed environment capture the organic compound load and inorganic trace metal contents which can be obtained by Vapor Phase Decomposition Inductively Coupled Plasma Mass Spectrometry (VPD ICP-MS). Balazs gas sample analysis was also performed for better measurements of volatile organic compounds (VOC) in glovebox air analyzed by Thermal Desorption Gas Chromatography Mass Spectrometry (TD GC-MS). These analytical testings were carried out in a controlled ultra high pure (UHP) gaseous nitrogen (N2)-purged environment where oxygen and moisture contents were continuously monitored at certain temperature and pressure. The preliminary outcomes of these testings are promising. The COTS systems appear to maintain the steady-state controlled environment for days, if not weeks, with uninterrupted gaseous N2-supply which was operated from a standard medium pressure LN2 250L 230L dewar, exchanged as needed. The outgassing load can be maintained by selecting the glove materials that have the least outgassing and particle shedding performances. Further experiments will be considered to validate the preliminary findings. While this project is exploratory, it is not intended as an endorsement by NASA Curation for approved materials or usage for advanced curatorial activities. NASA does not endorse nor promote any one particular product or company. References: [1] McCubbin F. M. et al. (2019) Space Science Reviews 215:A48. [2] Lewis, E.K. et. al (2024) LPSC LV, Abstract #2457.

Curation↗
DOE OSTI2022

Automated identification of local contamination in remote atmospheric composition time series

Abstract. Atmospheric observations in remote locations offer a possibility of exploring trace gas and particle concentrations in pristine environments. However, data from remote areas are often contaminated by pollution from local sources. Detecting this contamination is thus a central and frequently encountered issue. Consequently, many different methods exist today to identify local contamination in atmospheric composition measurement time series, but no single method has been widely accepted. In this study, we present a new method to identify primary pollution in remote atmospheric datasets, e.g., from ship campaigns or stations with a low background signal compared to the contaminated signal. The pollution detection algorithm (PDA) identifies and flags periods of polluted data in five steps. The first and most important step identifies polluted periods based on the derivative (time derivative) of a concentration over time. If this derivative exceeds a given threshold, data are flagged as polluted. Further pollution identification steps are a simple concentration threshold filter, a neighboring points filter (optional), a median, and a sparse data filter (optional). The PDA only relies on the target dataset itself and is independent of ancillary datasets such as meteorological variables. All parameters of each step are adjustable so that the PDA can be “tuned” to be more or less stringent (e.g., flag more or fewer data points as contaminated). The PDA was developed and tested with a particle number concentration dataset collected during the Multidisciplinary drifting Observatory for the Study of Arctic Climate (MOSAiC) expedition in the central Arctic. Using strict settings, we identified 62 % of the data as influenced by local contamination. Using a second independent particle number concentration dataset also collected during MOSAiC, we evaluated the performance of the PDA against the same dataset cleaned by visual inspection. The two methods agreed in 94 % of the cases. Additionally, the PDA was successfully applied to a trace gas dataset (CO2), also collected during MOSAiC, and to another particle number concentration dataset, collected at the high-altitude background station Jungfraujoch, Switzerland. Thus, the PDA proves to be a useful and flexible tool to identify periods affected by local contamination in atmospheric composition datasets without the need for ancillary measurements. It is best applied to data representing primary pollution. The user-friendly and open-access code enables reproducible application to a wide suite of different datasets. It is available at https://doi.org/10.5281/zenodo.5761101 (Beck et al., 2021).

54 ENVIRONMENTAL SCIENCES↗
DOE OSTI2023

Impact of Pendent Ammonium Groups on Solubility and Cycling Charge Carrier Performance in Nonaqueous Redox Flow Batteries

The synthesis, characterization, electrochemical performance, and theoretical modeling of two base-metal charge carrier complexes incorporating a pendent quaternary ammonium group, [Ni(bppn-Me3)][BF4], 3′, and [Fe(PyTRENMe)][OTf]3, 4’, are described. Both complexes were produced in high yield and fully characterized using NMR, IR, and UV–vis spectroscopies as well as elemental analysis and single-crystal X-ray crystallography. The solubility of 3′ in acetonitrile showed a 283% improvement over its neutral precursor, whereas the solubility of complex 4’ was effectively unchanged. Cyclic voltammetry indicates an ∼0.1 V positive shift for all waves, with some changes in reversibility depending on the wave. Bulk electrochemical cycling demonstrates that both 3′ and 4’ can utilize the second more negative wave to a degree, whereas 4’ ceases to have a reversible positive wave. Flow cell testing of 3′ and 4’ with Fc as the posolyte reveals little improvement to the cycling performance of 3′ compared with its parent complex, whereas 4’ exhibits reductions in capacity decay when cycling either negative wave. Postcycling CVs indicate that crossover is the likely source of capacity loss in complexes 3, 3′, and 4’ because there is little change in the CV trace. Density functional theory calculations indicate that the ammonium group lowers the HOMO energy in 3′ and 4’, which may impart stability to cycling negative waves while making positive waves less accessible. The incorporation of a positively charged species can improve solubility, stored electron density, and capacity decay depending on the complex, features critical to high energy density redox flow battery performance.

25 ENERGY STORAGE↗
DOE OSTI2023

Mixed-Anion Contact Ion-Pair Formation Enabling Improved Performance of Halide-Free Mg-Ion Electrolytes

In this article, discovery of stable and efficient electrolytes that are compatible with magnesium metal anodes and high-voltage cathodes is crucial to enabling energy storage technologies that can move beyond existing Li-ion systems. Many promising electrolytes for magnesium anodes have been proposed with chloride-based systems at the forefront; however, Cl-containing electrolytes lack the oxidative stability required by high-voltage cathodes. In this work, we report magnesium trifluoromethanesulfonate (triflate) as a viable coanion for Cl-free, mixed-anion magnesium electrolytes. The addition of triflate to electrolytes containing bis(trifluoromethane sulfonyl) imide (TFSI – ) anions yields significantly improved Coulombic efficiency, up to a 100 mV decrease in the plating/stripping overpotential, improved tolerance to trace H 2 O, and improved oxidative stability (0.35 V improvement compared to that of hybrid TFSI-Cl electrolytes). Based on 19 F nuclear magnetic resonance and Raman spectroscopy measurements, we propose that these improvements in performance are driven by the formation of mixed-anion contact ion pairs, where both triflate and TFSI – are coordinated to Mg 2+ in the electrolyte bulk. The formation of this mixed-anion magnesium complex is further predicted by the density functional theory to be thermodynamically driven. Collectively, this work outlines the guiding principles for the improved design of next-generation electrolytes for magnesium batteries.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗
DOE OSTI2022

Trace Compound Analysis in TATB by Liquid Chromatography coupled with Spectroscopic and Spectrometric Detection

Accurate quantitation of 1,3,5-triamino-2,4,6-trinitrobenzene (TATB) is important because of its strategic use as an energetic material. A purity determination is also needed for the proper assessment of performance. A fast and sensitive method has been developed to measure the purity of TATB in polymer-bonded materials. The target material is extracted with DMSO, and the extract is separated on a reversed-phase chromatography column. The column effluent is monitored by diode array detection (DAD) at 354 nm. The characteristic UV-Vis response and retention time identify the individual components when compared to pure compound standards. The chemical structures of compounds with no pure standards available have been determined by high-resolution mass spectrometry (MS) and MS/MS. The major component, TATB, along with 1-chloro-3,5-dinitro-2,4,6-triaminobenzene (T4A) and mono-benzofuroxan (FX1) were quantitated directly from pure compound standards. Several trace concentration components, mono-benzofurazan (F1), 1-bromo-3,5-dinitro-2,4,6-triaminobenzene (Br-T4A), 2,4,6-triamino-1-nitroso-3,5-dinitrobenzene (MN-TATB), 2,4,6-triamino-1-hydroxyl-3,5-dinitrobenzene (HO-TATB), and 2,4,6-triamino-1-nitrile-3,5-dinitrobenzene (Nitrile-TATB) were also detected and structures verified via MS/MS. Approximate concentrations were determined using calibrations from standards of similar structures. Additional trace components were also detected by MS. Contained herein are the results of analyses of TATB-based materials characterized for polymer-bonded formulations compared to different preparations of TATB. The accuracy, details, and process of developing this method are reported here.

36 MATERIALS SCIENCE↗
NASA NTRS1995

Optimization of Time-Dependent Particle Tracing Using Tetrahedral Decomposition

An efficient algorithm is presented for computing particle paths, streak lines and time lines in time-dependent flows with moving curvilinear grids. The integration, velocity interpolation and step-size control are all performed in physical space which avoids the need to transform the velocity field into computational space. This leads to higher accuracy because there are no Jacobian matrix approximations or expensive matrix inversions. Integration accuracy is maintained using an adaptive step-size control scheme which is regulated by the path line curvature. The problem of cell-searching, point location and interpolation in physical space is simplified by decomposing hexahedral cells into tetrahedral cells. This enables the point location to be done analytically and substantially faster than with a Newton-Raphson iterative method. Results presented show this algorithm is up to six times faster than particle tracers which operate on hexahedral cells yet produces almost identical particle trajectories.

Kenwright, David↗
NASA NTRS1993

STS-55 pad abort: Engine 2011 oxidizer preburner augmented spark igniter check valve leak

The STS-55 initial launch attempt of Columbia (OV102) was terminated on KSC launch pad A March 22, 1993 at 9:51 AM E.S.T. due to violation of an ME-3 (Engine 2011) Launch Commit Criteria (LCC) limit exceedance. The event description and timeline are summarized. Propellant loading was initiated on 22 March, 1993 at 1:15 AM EST. All SSME chill parameters and launch commit criteria (LCC) were nominal. At engine start plus 1.44 seconds, a Failure Identification (FID) was posted against Engine 2011 for exceeding the 50 psia Oxidizer Preburner (OPB) purge pressure redline. The engine was shut down at 1.50 seconds followed by Engines 2034 and 2030. All shut down sequences were nominal and the mission was safely aborted. The OPB purge pressure redline violation and the abort profile/overlay for all three engines are depicted. SSME Avionics hardware and software performed nominally during the incident. A review of vehicle data table (VDT) data and controller software logic revealed no failure indications other than the single FID 013-414, OPB purge pressure redline exceeded. Software logic was executed according to requirements and there was no anomalous controller software operation. Immediately following the abort, a Rocketdyne/NASA failure investigation team was assembled. The team successfully isolated the failure cause to the oxidizer preburner augmented spark igniter purge check valve not being fully closed due to contamination. The source of the contaminant was traced to a cut segment from a rubber O-ring which was used in a fine clean tool during valve production prior to 1992. The valve was apparently contaminated during its fabrication in 1985. The valve had performed acceptably on four previous flights of the engine, and SSME flight history shows 780 combined check valve flights without failure. The failure of an Engine 3 (SSME No. 2011) check valve to close was sensed by onboard engine instruments even though all other engine operations were normal. This resulted in an engine shutdown and safe sequential shutdown of all three engines prior to ignition of the solid boosters.

Source record↗
NASA NTRS1987

A theoretical investigation of laser-sustained plasma thruster

A numerical code has been successfully developed for the investigation of thruster performance using a laser-sustained hydrogen plasma as the propellant. The plasma was sustained using a 10.6-micron CO2 laser beam focused at different positions within the thruster. The physical model assumed that plasma is in thermodynamical equilibrium (LTE), and geometric ray tracing was adopted to describe the laser beam. The steady-state, axisymmetric, Navier-Stokes equations coupled with the laser power absorption process have been solved numerically. A pressure based Navier-Stokes numerical solver using body-fitted coordinates was used to calculate the laser-supported rocket flow which includes both subsonic and supersonic flow regions. From the limited parametric study, which did not try to optimize the rocket performance, it was found that better performance was obtained when the laser beam was focused closer to the rocket throat.

Jeng, San-Mou↗
DOE OSTI2026

The pathfinder X-Ray axion telescope for the International Axion Observatory (IAXO) and axion searches at the CERN Axion Solar Telescope (CAST)

The axion, a hypothetical pseudo-scalar particle proposed by Peccei and Quinn to resolve the strong CP problem in quantum chromodynamics, remains one of the most compelling dark matter candidates. Axions and Axion-Like Particles (ALPs) are characterized by a broad and largely unconstrained parameter space in mass and coupling strength, motivating extensive experimental searches. The International Axion Observatory (IAXO) is a next-generation axion helioscope designed to achieve over an order of magnitude improvement in sensitivity to the axion-photon coupling constant gaγ relative to previous experiments such as the CERN Axion Solar Telescope (CAST). IAXO will employ large-scale superconducting magnets, precision x-ray optics, and ultra-low-background detectors to search for solar axions produced primarily via the Primakoff effect. This work presents the design and performance of the IAXO pathfinder x-ray optic, a technological demonstrator that validated the optical concepts for IAXO through axion searches at CAST. Comprehensive ray-tracing simulations and experimental measurements were conducted to assess the optic's effective area, detection efficiency, and background suppression capabilities. Deployed at CAST in conjunction with Micromegas and GridPix detectors, the Pathfinder demonstrated record-setting sensitivity to both gaγ and the axion-electron coupling gae, establishing the most stringent laboratory constraints on solar axions to date. These results confirm the viability of the IAXO optical design and detector concept, providing a critical technological benchmark that informs the ongoing development of the BabyIAXO and full-scale IAXO telescopes.

47 OTHER INSTRUMENTATION↗
DOE OSTI2025

Diagnosis of PV Cell Antireflective Coating Degradation Resulting From Hot-Humid High-Voltage Potential Aging

Corrosion of the antireflective coating on a photovoltaic cell ("ARc corrosion") has previously been observed in studies using hot-humid test conditions with external high-voltage (HV) bias. This study primarily focuses on known vulnerable legacy aluminum back surface field cells in mini-modules (MiMos) put through comparative stepped stress tests. Each cell type had MiMos at +1500 V, -1500 V, or unbiased ("Voc") potential, which were sequentially subjected to test conditions of 60 degrees C/60% relative humidity (RH) for 96 h, as in International Electrotechnical Commission Technical Specification 62804-1; 70 degrees C/70% RH for 200 h; and 85 degrees C/85% RH for 200 h. Characterizations at each step included visual camera and electroluminescence (EL) imaging, colorimetry, and current-voltage curve tracing. Final characterizations included: Suns-Voc, spatial mapping of external quantum efficiency, high-resolution photoluminescence, EL, and dark lock-in thermography imaging. Forensics were performed on extracted cores, including scanning electron microscopy (SEM) with energy-dispersive X-ray spectroscopy (EDS), X-ray photoelectron spectroscopy, and scanning Auger microscopy (SAM). Forensics were also conducted on MiMos from previous studies that underwent stepped HV aging and separate outdoor aged full-sized modules. ARc corrosion was specifically seen for the glass/encapsulant/cell side of the +1500 V (HV+) stressed MiMos and modules. Appearance, color, and reflectance were the most distinguishing characteristics relative to glass corrosion, gridline corrosion and delamination, and other concurrent degradation modes. SEM/EDS and SAM identified the conversion of silicon nitride to hydrated silica, hydrous silica, or hydrated amorphous silica, which preferentially occurred at the edges and tips of the pyramidal textured cell surface.

14 SOLAR ENERGY↗
NASA NTRS1979

Spatial-frequency response of the Limb Infrared Monitor of the Stratosphere /LIMS/ radiometer

The Limb Infrared Monitor of the Stratosphere (LIMS), an experiment on the Nimbus-7 satellite, is designed to scan the earth's limb vertically and measure spectral emission profiles of trace atmospheric gases believed to be important in processes controlling the stratospheric ozone distribution. Experiment objectives are reviewed and several analyses and measurements are described which were performed to determine the adequacy of the system for satisfying these objectives. Adequate spatial-frequency response for all the spectral channels is required to provide, through inversion of the measured limb-radiance profiles, important information about the temperature, structure, and composition of the atmosphere. From the LIMS design-model data, the MTF was calculated for the optical system, the detector field mask, the electronics, and the overall system, for each channel. The signal output performance of the instrument was predicted from the system MTF data model input radiance data for each channel. MTF measurements made on the flight sensor confirmed the analytical results. The predictions indicate that the instrument can satisfy the basic measurement objectives of the experiment.

Wilson, R. G.↗
NASA NTRS1990

Thermal radiation characteristics of nonisothermal cylindrical enclosures using a numerical ray tracing technique

Analysis of energy emitted from simple or complex cavity designs can lead to intricate solutions due to nonuniform radiosity and irradiation within a cavity. A numerical ray tracing technique was applied to simulate radiation propagating within and from various cavity designs. To obtain the energy balance relationships between isothermal and nonisothermal cavity surfaces and space, the computer code NEVADA was utilized for its statistical technique applied to numerical ray tracing. The analysis method was validated by comparing results with known theoretical and limiting solutions, and the electrical resistance network method. In general, for nonisothermal cavities the performance (apparent emissivity) is a function of cylinder length-to-diameter ratio, surface emissivity, and cylinder surface temperatures. The extent of nonisothermal conditions in a cylindrical cavity significantly affects the overall cavity performance. Results are presented over a wide range of parametric variables for use as a possible design reference.

Baumeister, Joseph F.↗
NASA NTRS1990

RSRM-9 (360L009): Ballistics mass properties

The propulsion performance and reconstructed mass properties data from Thiokol's RSRM-9 motors which were assigned to the STS-36 launch are presented. The SRM propellant, TP-H1148, is a composite type solid propellant, formulated of polybutadiene acrylic acid acryonitrile terpolymer binder (PBAN), epoxy curing agent, ammonium perchlorate oxidizer and aluminum powder fuel. A small amount of burning rate catalyst (iron oxide) was added to achieve the desired propellant burn rate. The propellant evaluation and raw material information for the RSRM-9 are included. The propellant grain design consists of four segments. There is a forward segment with an eleven point star with a transition into a tapered circular perforated (CP) configuration. There are two center segments that result in a double tapered CP configuration and an aft segment with a triple taper CP configuration and a cutout for the partially submerged nozzle. The ballistic performance presented is based on the Operational Flight Instrumentation (OFI) 12.5 sample per second pressure data for the steady state and tail off portion of the pressure trace. No high sample rate pressure gauges, Development Flight Instrumentation (DFI), were used on this flight and therefore no ignition data is presented.

Drendel, Albert S.↗
NASA NTRS1991

RSRM-11 (36OW011) ballistics mass properties (STS-35)

The propulsion performance and reconstructed mass properties data from Thiolol's RSRM-11 motors which were assigned to the STS-35 launch are contained. The Thiokol manufacturing designations for the motors were 360W011A/360W011B, which are referred to as RSRM-11A and RSRM-B, respectively. The launch of STS-35 occurred on 2 December 1990 at the Eastern Test Range (ETR). The data contained herein was input to the STS-35 Flight Evaluation Report. The SRM propellant, TP-H1148, is a composite type solid propellants, formulated of polybutediene acrylic acid, acryonitrile terpolymer binder, epoxy curing agent, ammonium perchlorate oxidizer, and aluminum powder fuel. A small amount of burning rate catalyst (iron oxide) was added to achieve the desired propellant burn rate. The propellant evaluation and raw material information for the RSRM-11 are included. The ballistic performance presented was based on the Operational Flight Instrumentation (OFI) 12.5 sample per second pressure data for the steady state and tail off portion of the pressure trace. Recent studies have shown that the transducers are affected by the measuring system at KSC and temperature gradients created by the igniter heaters. Therefore, an adjustment to the data from each transducer is made to make the initial reading match the atmospheric pressure at the time of launch.

Hutchinson, B. J.↗
NASA NTRS1993

Magnetic bearings: Fifty years of progress

Magnetic bearings are just beginning to be flown in spacecraft systems, but their development spans more than 50 years. The promise of completely noncontacting, unlubricated rotating systems operating at speeds substantially beyond the range of conventional bearings, and with no wear and virtually no vibration, has provided the incentive to develop magnetic bearing technology for many diverse applications. Earnshaw theorized in 1842 that stable magnetic suspension is not possible in all three spatial directions unless the magnetic field is actively controlled. Since that time, researchers have attempted to successfully support spinning rotors in a stable manner. Development of magnetic suspension systems over the past fifty years has included progress on both passive (permanent magnet) and active (electromagnet) systems. The improvements in bearing load capacity, stiffness, and damping characteristics are traced. The trends in rotor size, rotational kinetic energy, and improvements in active control systems capabilities are also reviewed. Implications of superconductivity on suspension system design and performance are discussed.

Swann, Michael K.↗
NASA NTRS2020

First-Order Runtime Verification using BDDs

Runtime Verification (RV) expedites the analyses of execution traces for detecting system errors and for statistical and quality analysis. Having started modestly, with checking temporal properties that are based on propositional (yes/no) values, the current practice of RV often involves properties that are parametrized by the data observed in the input trace. The specifications are based on various formalisms, such as automata, temporal logics, rule systems, and stream processing. Checking execution traces that are data intensive against a specification that imposes strong dependencies between the data, poses a nontrivial challenges; in particular if runtime verification has to be performed online, while many events that carry data appear within small time proximities. Towards achieving this goal, it was recently suggested to represent relations over the observed data values, based on BDDs, where data elements are enumerated and then converted into bit vectors. This representation provided a very simple and natural extension of an RV algorithm from propositional to first-order LTL, but more importantly, was shown to contribute to the memory compactness and to the speed, as was demonstrated using a corresponding implementation. We extend here the capabilities of BDD-based RV with the ability to express timing constraints, where the monitored events include (integer) clock values. We show how to efficiently operate on BDDs that represent both relations on (enumerations of) values and time dependencies, as required by the addition of the time constraints. We demonstrate our algorithm with an efficient implementation and provide experimental results.

Peled, Doron↗