Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “thought experiments”

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 379 records · Page 21

A Measurement of the Neutron Electromagnetic Form Factor Ratio from a Rosenbluth Technique with Simultaneous Detection of Neutrons and Protons

The internal structure of protons and neutrons provides insight into both the dynamical behavior of the constitute quarks and gluons, and emergent properties of the nucleons (such as mass, spin, and electromagnetic distributions). Elastic electron-nucleon scattering can probe the elastic electromagnetic form factors of the nucleon. The electric and magnetic form factors, respectively, encode information about the internal charge and magnetization distributions within the nucleon. Precision data for these form factors, over a broad range of the four-momentum transfer squared, Q^2, can benchmark theoretical models describing the strong interaction of nuclear physics. The Super BigBite Spectrometer (SBS) program in Hall A at Jefferson Lab, is a series of high-precision experiments which seek to significantly extend the Q^2 reach of previous data for the nucleon electromagnetic form factors. The first two experiments of this program are known as G_M^n and the neutron Two Photon Exchange (nTPE) and the data were collected from October 2021 to February 2022. Both experiments were conducted with the simultaneous measurement of D(e,e'n) and D(e,e'p) reactions for quasi-elastic electron-deuteron scattering. The scattered electrons were detected in the BigBite Spectrometer, which features multiple large-acceptance Gas Electron Multiplier (GEM) detectors. The Super BigBite Spectrometer provided simultaneous detection of scattered nucleons, and utilized a large acceptance dipole magnet and Hadron Calorimeter (HCal). The G_M^n experiment provides precision measurements of the neutron magnetic form factor, via the ratio method, over a Q^2 range of 3.0 to 13.5 (GeV/c)2. From this data analysis, preliminary values for G_M^n/µ_n G_D are extracted. For Q^2=4.48 (GeV/c)2 we find G_M^n/µ_n G_D=0.9546±0.0132 and for Q^2=4.476 (GeV/c)2 we find G_M^n/µ_n G_D=0.9563±0.0110. These preliminary G_M^n/µ_n G_D values are more precise than existing world data in this Q^2 regime and are consistent with the most recent parameterization of the G_M^n/µ_n G_D world data. The nTPE experiment provides a first measurement of the neutron Rosenbluth Slope and seeks to quantify the two-photon exchange(TPE) contribution to elastic electron-neutron scattering at a fixed Q^2=4.5 (GeV/c)2 with two different beam energies and scattering angle values. For data of the proton form factor ratio, µ_p G_E^p/G_M^p, significant discrepancies exist between values obtained from Rosenbluth Separation and polarization transfer measurement, particularly at large Q^2, and TPE contributions are thought to resolve this discrepancy. The impacts of TPE contributions have not yet been experimentally established for the neutron. From the data analysis presented in this dissertation, a preliminary result for the neutron Rosenbluth Slope is found as S^n=(G_E^n )^2/t_n (G_M^n )^2=0.0916±0.0476 for Q^2=4.48 (GeV/c)2. This value of the neutron Rosenbluth Slope is consistent with the world data extrapolation and the absence of large TPE corrections.

Wertz, Ezekiel [Thomas Jefferson National Accelera↗

Sulfate reduction accelerates groundwater arsenic contamination even in aquifers with abundant iron oxides

Groundwater contamination by geogenic arsenic is a global problem affecting nearly 200 million people. In South and Southeast Asia, a cost-effective mitigation strategy is to use oxidized low-arsenic aquifers rather than reduced high-arsenic aquifers. Aquifers with abundant oxidized iron minerals are presumably safeguarded against immediate arsenic contamination, due to strong sorption of arsenic onto iron minerals. However, preferential pumping of low-arsenic aquifers can destabilize the boundaries between these aquifers, pulling high-arsenic water into low-arsenic aquifers. We investigate this scenario in a hybrid field-column experiment in Bangladesh where naturally high-arsenic groundwater is pumped through sediment cores from a low-arsenic aquifer, and detailed aqueous and solid-phase measurements are used to constrain reactive transport modelling. Here we show that elevated groundwater arsenic concentrations are induced by sulfate reduction and the predicted formation of highly mobile, poorly sorbing thioarsenic species. Furthermore, this process suggests that contamination of currently pristine aquifers with arsenic can occur up to over 1.5 times faster than previously thought, leading to a deterioration of urgently needed water resources.

54 ENVIRONMENTAL SCIENCES↗

Nuclear Astrophysics through simulations of neutron star mergers using Monte‐Carlo neutrino radiation transport (DE-SC0020435 Final Technical Report)

Neutron star mergers are an important source of information for nuclear physics. Except for black holes, neutron stars are the densest macroscopic objects known to exist in the Universe. They provide us with a remarkable laboratory to study the poorly understood high-density states of matter, complementing the study of heavy nuclei performed by nuclear physics experiments on Earth. Collisions of neutron stars are of particular interest. They are among the most energetic events observable in the Universe, powering a broad range of signals across the electromagnetic spectrum as well as gravitational wave signals. These signals contain important information about the properties of extremely dense matter. Colliding neutron stars additionally eject large amounts of neutron-rich material into the surrounding interstellar medium -- material that then undergoes rapid neutron-capture (r-process) nucleosynthesis, the mechanism thought to be responsible for the production of about half of the heavy nuclei. In order to understand current and future observations of neutron star mergers, we need reliable models for the signals that they power. An important component in the construction of such models are numerical simulations of colliding neutron stars. These simulations are costly, running for multiple months on supercomputers, and require the inclusion of complex physics (general relativity, magnetohydrodynamics, neutrino physics, nuclear reactions). In this document, we describe the development of new methods for the treatment of neutrinos in merger simulations, as well as the first simulations capable of evolving the equations of neutrino radiation transport directly and their impact on our understanding of neutron star mergers and more broadly in nuclear astrophysics. We also discuss additional work performed in the study of nucleosynthesis and neutrino physics in neutron star mergers as part of Early Career Award DE-SC0020435.

73 NUCLEAR PHYSICS AND RADIATION PHYSICS↗

Time and Frequency-Domain Cross-Verification of SLS 6DOF Trajectory Simulations

The SLS GNC team and its partners have developed several time- and frequency-based simulations for development and analysis of the proposed SLS launch vehicle. The simulations differ in fidelity and some have unique functionality that allows them to perform specific analyses. Some examples of the purposes of the various models are: trajectory simulation, multi-body separation, Monte Carlo, hardware in the loop, loads, and frequency domain stability analyses. While no two simulations are identical, many of the models are essentially six degree-of-freedom (6DOF) representations of the SLS plant dynamics, hardware implementation, and flight software. Thus at a high level all of those models should be in agreement. Comparison of outputs from several SLS trajectory and stability analysis tools are ongoing as part of the program's current verification effort. The purpose of these comparisons is to highlight modeling and analysis differences, verify simulation data sources, identify inconsistencies and minor errors, and ultimately to verify output data as being a good representation of the vehicle and subsystem dynamics. This paper will show selected verification work in both the time and frequency domain from the current design analysis cycle of the SLS for several of the design and analysis simulations. In the time domain, the tools that will be compared are MAVERIC, CLVTOPS, SAVANT, STARS, ARTEMIS, and POST 2. For the frequency domain analysis, the tools to be compared are FRACTAL, SAVANT, and STARS. The paper will include discussion of these tools including their capabilities, configurations, and the uses to which they are put in the SLS program. Determination of the criteria by which the simulations are compared (matching criteria) requires thoughtful consideration, and there are several pitfalls that may occur that can severely punish a simulation if not considered carefully. The paper will discuss these considerations and will present a framework for responding to these issues when they arise. For example, small event timing differences can lead to large differences in mass properties if the criteria are to measure those properties at the same time, or large differences in altitude if the criteria are to measure those properties when the simulation experiences a staging event. Similarly, a tiny difference in phase can lead to large gain margin differences for frequency-domain comparisons of gain margins.

VanZwieten, Tannen↗

Time and Frequency-Domain Cross-Verification of SLS 6DOF Trajectory Simulations

The Space Launch System (SLS) Guidance, Navigation, and Control (GNC) team and its partners have developed several time- and frequency-based simulations for development and analysis of the proposed SLS launch vehicle. The simulations differ in fidelity and some have unique functionality that allows them to perform specific analyses. Some examples of the purposes of the various models are: trajectory simulation, multi-body separation, Monte Carlo, hardware in the loop, loads, and frequency domain stability analyses. While no two simulations are identical, many of the models are essentially six degree-of-freedom (6DOF) representations of the SLS plant dynamics, hardware implementation, and flight software. Thus at a high level all of those models should be in agreement. Comparison of outputs from several SLS trajectory and stability analysis tools are ongoing as part of the program's current verification effort. The purpose of these comparisons is to highlight modeling and analysis differences, verify simulation data sources, identify inconsistencies and minor errors, and ultimately to verify output data as being a good representation of the vehicle and subsystem dynamics. This paper will show selected verification work in both the time and frequency domain from the current design analysis cycle of the SLS for several of the design and analysis simulations. In the time domain, the tools that will be compared are MAVERIC, CLVTOPS, SAVANT, STARS, ARTEMIS, and POST 2. For the frequency domain analysis, the tools to be compared are FRACTAL, SAVANT, and STARS. The paper will include discussion of these tools including their capabilities, configurations, and the uses to which they are put in the SLS program. Determination of the criteria by which the simulations are compared (matching criteria) requires thoughtful consideration, and there are several pitfalls that may occur that can severely punish a simulation if not considered carefully. The paper will discuss these considerations and will present a framework for responding to these issues when they arise. For example, small event timing differences can lead to large differences in mass properties if the criteria are to measure those properties at the same time, or large differences in altitude if the criteria are to measure those properties when the simulation experiences a staging event. Similarly, a tiny difference in phase can lead to large gain margin differences for frequency-domain comparisons of gain margins.

Johnson, Matthew↗

Long-read metagenomics of soil communities reveals phylum-specific secondary metabolite dynamics

Abstract Microbial biosynthetic gene clusters (BGCs) encoding secondary metabolites are thought to impact a plethora of biologically mediated environmental processes, yet their discovery and functional characterization in natural microbiomes remains challenging. Here we describe deep long-read sequencing and assembly of metagenomes from biological soil crusts, a group of soil communities that are rich in BGCs. Taking advantage of the unusually long assemblies produced by this approach, we recovered nearly 3,000 BGCs for analysis, including 712 full-length BGCs. Functional exploration through metatranscriptome analysis of a 3-day wetting experiment uncovered phylum-specific BGC expression upon activation from dormancy, elucidating distinct roles and complex phylogenetic and temporal dynamics in wetting processes. For example, a pronounced increase in BGC transcription occurs at night primarily in cyanobacteria, implicating BGCs in nutrient scavenging roles and niche competition. Taken together, our results demonstrate that long-read metagenomic sequencing combined with metatranscriptomic analysis provides a direct view into the functional dynamics of BGCs in environmental processes and suggests a central role of secondary metabolites in maintaining phylogenetically conserved niches within biocrusts.

59 BASIC BIOLOGICAL SCIENCES↗

Performance Assessment of OVERFLOW on Distributed Computing Environment

The aerodynamic computer code, OVERFLOW, with a multi-zone overset grid feature, has been parallelized to enhance its performance on distributed and shared memory paradigms. Practical application benchmarks have been set to assess the efficiency of code's parallelism on high-performance architectures. The code's performance has also been experimented with in the context of the distributed computing paradigm on distant computer resources using the Information Power Grid (IPG) toolkit, Globus. Two parallel versions of the code, namely OVERFLOW-MPI and -MLP, have developed around the natural coarse grained parallelism inherent in a multi-zonal domain decomposition paradigm. The algorithm invokes a strategy that forms a number of groups, each consisting of a zone, a cluster of zones and/or a partition of a large zone. Each group can be thought of as a process with one or multithreads assigned to it and that all groups run in parallel. The -MPI version of the code uses explicit message-passing based on the standard MPI library for sending and receiving interzonal boundary data across processors. The -MLP version employs no message-passing paradigm; the boundary data is transferred through the shared memory. The -MPI code is suited for both distributed and shared memory architectures, while the -MLP code can only be used on shared memory platforms. The IPG applications are implemented by the -MPI code using the Globus toolkit. While a computational task is distributed across multiple computer resources, the parallelism can be explored on each resource alone. Performance studies are achieved with some practical aerodynamic problems with complex geometries, consisting of 2.5 up to 33 million grid points and a large number of zonal blocks. The computations were executed primarily on SGI Origin 2000 multiprocessors and on the Cray T3E. OVERFLOW's IPG applications are carried out on NASA homogeneous metacomputing machines located at three sites, Ames, Langley and Glenn. Plans for the future will exploit the distributed parallel computing capability on various homogeneous and heterogeneous resources and large scale benchmarks. Alternative IPG toolkits will be used along with sophisticated zonal grouping strategies to minimize the communication time across the computer resources.

Djomehri, M. Jahed↗

COTS/CRS: KSC Evolving Host Initiatives with Commercial Space Partners

NASA's Commercial Crew and Cargo Program Office (C3PO) leads the agency's commercial efforts to stimulate United States private companies as the shuttle program comes to a close. Through the Commercial Orbital Transportation Services (COTS) program, two companies, SpaceX and Orbital, were selected to demonstrate their ability to perform flights to the International Space Station. The Commercial Resupply Services (CRS) Project leverages off the COTS experience, and awarded these two private companies contracts to resupply the International Space Station after shuttle fly out. As a 2010 summer intern, I supported the COTS/CRS team in their team meetings, attended and contributed to project discussions and planning, and assisted in developing visual representations for the variety of processes and organizational endeavors required for the program to run smoothly. One aspect of the COTS/CRS program gives the involved private companies the opportunity to request available services from Kennedy Space Center (KSC); one of my projects included assisting in the development of a related Task Order Request (TOR) process. In addition, an integral part of the project was to maintain and enhance the team database for processing the variety of TORS. My experience in the project gave me great insight into the growing field of commercial space activities. The development of the TOR process involved coordinating representatives from a variety of backgrounds at KSC. A clear and concise visual representation of the TOR process in the form of a flow chart was necessary to successfully implement a task order request from one of NASA's commercial partners. The goals of the process charts were to communicate the team's ideas and foster a common thought process while at the same time allow the process to grow and evolve. It was critical that the requests from the private companies were addressed quickly and thoroughly as the process developed this summer is expected to have extensive future use.

Yohpe, Megan↗

Chlorophyllase from Arabidopsis thaliana Reveals an Emerging Model for Controlling Chlorophyll Hydrolysis

Chlorophyll (Chl) is one of Nature’s most complex pigments to biosynthesize and derivatize. This pigment is vital for survival and also paradoxically toxic if overproduced or released from a protective protein scaffold. Therefore, along with the mass production of Chl, organisms also invest in mechanisms to control its degradation and recycling. One important enzyme that is involved in these latter processes is chlorophyllase. This enzyme is employed by numerous photosynthetic organisms to hydrolyze the phytol tail of Chl. Although traditionally thought to catalyze the first step of Chl degradation, recent work suggests that chlorophyllase is instead employed during times of abiotic stress or conditions that produce reactive oxygen species. However, the molecular details regarding how chlorophyllases are regulated to function under such conditions remain enigmatic. Here, we investigate the Arabidopsis thaliana chlorophyllase isoform AtCLH2 using site-directed mutagenesis, mass spectrometry, dynamic light scattering, size-exclusion multiangle light scattering, and both steady-state enzyme kinetic and thermal stability measurements. Through these experiments, we show that AtCLH2 exists as a monomer in solution and contains two disulfide bonds. One disulfide bond putatively maps to the active site, whereas the other links two N-terminal Cys residues together. These disulfide bonds are cleaved by chemical or chemical and protein-based reductants, respectively, and are integral to maintaining the activity, stability, and substrate scope of the enzyme. This work suggests that Cys residue oxidation in chlorophyllases is an emerging regulatory strategy for controlling the hydrolysis of Chl pigments.

59 BASIC BIOLOGICAL SCIENCES↗

Nucleosynthesis and observation of the heaviest elements

Abstract The rapid neutron capture or ‘ r process’ of nucleosynthesis is believed to be responsible for the production of approximately half the natural abundance of heavy elements found on the periodic table above iron (with proton number $$Z=26$$ Z = 26 ) and all of the heavy elements above bismuth ( $$Z=83$$ Z = 83 ). In the course of creating the actinides and potentially superheavies, the r process must necessarily synthesize superheavy nuclei (those with extreme proton numbers, neutron numbers or both) far from isotopes accessible in the laboratory. Many questions about this process remain unanswered, such as ‘where in nature may this process occur?’ and ‘what are the heaviest species created by this process?’ In this review, we survey at a high level the nuclear properties relevant for the heaviest elements thought to be created in the r process. We provide a synopsis of the production and destruction mechanisms of these heavy species, in particular the actinides and superheavies, and discuss these heavy elements in relation to the astrophysical r process. We review the observational evidence of actinides found in the Solar system and in metal-poor stars and comment on the prospective of observing heavy-element production in explosive astrophysical events. Finally, we discuss the possibility that future observations and laboratory experiments will provide new information in understanding the production of the heaviest elements.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗

Calorimetric studies of the ammonia-water system with application to the outer solar system

A series of heating experiments was performed on the condensed ammonia-water system using a differential scanning calorimeter (DSC). The water-rich samples were cooled quickly to below 130 K, then heated at a variety of rates. Rather than a single peritectic melt at 176 K, expected for the equilibrium system of water ice and ammonia dihydrate, four enthalpic transitions were repeatedly seen in the temperature range 150-176 K. These transitions are generally consistent with the earlier calorimetric results of Van Kasteren (1973), who interpreted the lowest temperature exotherm as crystallization of an amorphous ammonia-water compound formed during cooling. We propose that both sets of experiments are seeing the crystallization of ammonia monohydrate, which is metastable relative to the dihydrate, followed by partial remelting and crystallization of dihydrate upon further heating. The apparent stability of the monohydrate in the dihydrate equilibrium field implies a potentially complex behavior of ammonia-water ices in satellites. Possible self-heating of the mixture by several tens of degrees up to the 170 K eutectic could make mobilization of ammonia-water liquids in icy satellite interiors energetically easier than previously thought.

Yarger, Jeffery↗

Evaluating Possible Heating Mechanisms Using the Transition Region Line Profiles of Late-Type Stars

Our analysis of high-resolution Goddard High-Resolution Spectrograph (GHRS) spectra of late-type stars shows that the Si IV and C IV lines formed near 10(exp 5) K can be decomposed into the sum of two Gaussians, a broad component and a narrow component. We find that the flux contribution of the broad components is correlated with both the C IV and X-ray surface fluxes. For main-sequence stars, the widths of the narrow components suggest subsonic nonthermal velocities, and there appears to be a tight correlation between these nonthermal velocities and stellar surface gravity [xi(sub nc) varies as g(sup (-.68 +/-.07))]. For evolved stars with lower surface gravities, the nonthermal velocities suggested by the narrow components are at or just above the sound speed. Nonthermal velocities computed from the widths of the broad components are always highly supersonic. We propose that the broad components are diagnostics for microflare heating. Turbulent dissipation and Alfven waves are both viable candidates for the narrow component heating mechanism. A solar analog for the broad components might be the 'explosive events' detected by the High-Resolution Telescope and Spectrograph (HRTS) experiment. The broad component we observe for the Si IV lambda 1394 line of alpha Cen A, a star that is nearly identical to the Sun, has a FWHM of 109 +/- 10 km/s and is blueshifted by 9 +/- 3 km/s relative to the narrow component. Both of these properties are consistent with the properties of the solar explosive events. However, the alpha Cen A broad component accounts for 25% +/- 4% of the total Si IV line flux, while solar explosive events are currently thought to account for no more than 5% of the Sun's total transition region emission. This discrepancy must be resolved before the connection between broad components and explosive events can be positively established. In addition to our analysis of the Si IV and C IV lines of many stars, we also provide a more thorough analysis of all of the available GHRS data for alpha Cen A (G2 V) and alpha Cen B (K1 V). We find that the transition region lines of both stars have redshifts almost identical to those observed on the Sun: showing an increase with line formation temperature up to about log T = 5.2 and then a rapid decrease. Using the O IV] lines as density diagnostics, we compute electron densities of log n(sub e) = 9.65 +/- 0.20 and log n(sub e) = 9.50 +/- 0.30 for alpha Cen A and alpha Cen B, respectively.

Wood, Brian E.↗

Cockpit System Situational Awareness Modeling Tool

This project explored the possibility of predicting pilot situational awareness (SA) using human performance modeling techniques for the purpose of evaluating developing cockpit systems. The Improved Performance Research Integration Tool (IMPRINT) was combined with the Adaptive Control of Thought-Rational (ACT-R) cognitive modeling architecture to produce a tool that can model both the discrete tasks of pilots and the cognitive processes associated with SA. The techniques for using this tool to predict SA were demonstrated using the newly developed Aviation Weather Information (AWIN) system. By providing an SA prediction tool to cockpit system designers, cockpit concepts can be assessed early in the design process while providing a cost-effective complement to the traditional pilot-in-the-loop experiments and data collection techniques.

Keller, John↗

A close-up look at Io from Galileo's near-infrared mapping spectrometer

Infrared spectral images of Jupiter's volcanic moon Io, acquired during the October and November 1999 and February 2000 flybys of the Galileo spacecraft, were used to study the thermal structure and sulfur dioxide distribution of active volcanoes. Loki Patera, the solar system's most powerful known volcano, exhibits large expanses of dark, cooling lava on its caldera floor. Prometheus, the site of long-lived plume activity, has two major areas of thermal emission, which support ideas of plume migration. Sulfur dioxide deposits were mapped at local scales and show a more complex relationship to surface colors than previously thought, indicating the presence of other sulfur compounds.

long duration↗

Comet Grains: Their IR Emission and Their Relation to ISM Grains

Comets and the chodritic, porous interplanetary dust particles (CP IDPs) that they shed in their comae are reservoirs of primitive solar nebula materials. The high porosity and fragility of cometary grains and CP IDPs, and anomalously high deuterium contents of highly fragile, pyroxene-rich Cluster IDPs imply these aggregate particles contain significant abundances of grains from the interstellar medium (ISM). IR spectra of comets (3 - 40 micron) reveal the presence of a warm (nearIR) featureless emission modeled by amorphous carbon grains. Broad and narrow resonances near 10 and 20 microns are modeled by warm chondritic (50% Fe and 50% Mg) amorphous silicates and cooler Mg-rich crystalline silicate minerals, respectively. Cometary amorphous silicates resonances are well matched by IR spectra of CP IDPs dominated by GEMS (0.1 micron silicate spherules) that are thought to be the interstellar Fe-bearing amorphous silicates produced in AGB stars. Acid-etched ultramicrotomed CP IDP samples, however, show that both the carbon phase (amorphous and aliphatic) and the Mg-rich amorphous silicate phase in GEMS are not optically absorbing. Rather, it is Fe and FeS nanoparticles embedded in the GEMS that makes the CP IDPs dark. Therefore, CP IDPs suggest significant processing has occurred in the ISM. ISM processing probably includes in He' ion bombardment in supernovae shocks. Laboratory experiments show He+ ion bombardment amorphizes crystalline silicates, increases porosity, and reduces Fe into nanoparticles. Cometary crystalline silicate resonances are well matched by IR spectra of laboratory submicron Mg-rich olivine crystals and pyroxene crystals. Discovery of a Mg-pure olivine crystal in a Cluster IDP with isotopically anomalous oxygen indicates that a small fraction of crystalline silicates may have survived their journey from AGB stars through the ISM to the early solar nebula. The ISM does not have enough crystalline silicates (<5%) , however, to account for the deduced abundance of crystalline silicates in comet dust. An insufficient source of ISM Mg-rich crystals leads to the inference that most Mg-rich crystals in comets are primitive grains processed in the early solar nebula prior to their incorporation into comets. Mg-rich crystals may condense in the hot (approx. 1450 K), inner zones of the early solar nebula and then travel large radial distances out to the comet-forming zone. On the other hand, Mg-rich silicate crystals may be ISM amorphous silicates annealed at approx. 1000 K and radially distributed out to the comet-forming zone or annealed in nebular shocks at approx. 5 - 10 AU. Determining the relative abundance of amorphous and crystalline silicates in comets probes the relative contributions of ISM grains and primitive grains to small, icy bodies in the solar system. The life cycle of dust from its stardust origins through the ISM to its incorporation into comets is discussed.

Wooden, Diane H.↗

Planning the Unplanned Experiment: Towards Assessing the Efficacy of Standards for Safety-Critical Software

Safe use of software in safety-critical applications requires well-founded means of determining whether software is fit for such use. While software in industries such as aviation has a good safety record, little is known about whether standards for software in safety-critical applications 'work' (or even what that means). It is often (implicitly) argued that software is fit for safety-critical use because it conforms to an appropriate standard. Without knowing whether a standard works, such reliance is an experiment; without carefully collecting assessment data, that experiment is unplanned. To help plan the experiment, we organized a workshop to develop practical ideas for assessing software safety standards. In this paper, we relate and elaborate on the workshop discussion, which revealed subtle but important study design considerations and practical barriers to collecting appropriate historical data and recruiting appropriate experimental subjects. We discuss assessing standards as written and as applied, several candidate definitions for what it means for a standard to 'work,' and key assessment strategies and study techniques and the pros and cons of each. Finally, we conclude with thoughts about the kinds of research that will be required and how academia, industry, and regulators might collaborate to overcome the noted barriers.

Graydon, Patrick J.↗

Tau tridents at accelerator neutrino facilities

We present the first detailed study of Standard Model neutrino tridents involving tau leptons at the near detectors of accelerator neutrino facilities. The rates of these processes were previously thought to be negligible, even at future facilities. Our full 2 → 4 calculation, including both coherent and incoherent scatterings, reveals that the DUNE near detector could observe a considerable number of tau tridents—an important background to new physics searches. We identify promising kinematic features that may allow distinction of tau tridents from the usual neutrino charged-current background at DUNE, and thus establish the observation of tau tridents for the first time. We also comment on the detection prospects at other accelerator and collider neutrino experiments.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗

Partial melting of ordinary chondrites: Lost City (H) and St. Severin (LL)

Eucrites and diogenites are examples of asteroidal basalts and orthopyroxenites, respectively. As they are found intermingled in howardites, which are inferred to be regolith breccias, eucrites and diogenites are thought to be genetically related. But the details of this relationship and of their individual origins remain controversial. Work by Jurewicz et al. showed that 1170-1180 C partial melts of the (anhydrous) Murchison (CM) chondrite have major element compositions extremely similar to primitive eucrites, such as Sioux County. However, the MnO contents of these melts were about half that of Sioux County, a problem for the simple partial melting model. In addition, partial melting of Murchison could not produce diogenites, because residual pyroxenes in the Murchison experiments were too Fe- and Ca-rich and were minor phases at all but the lowest temperatures. A parent magma for diogenites needs an expanded low-calcium pyroxene field. In their partial melting study of an L6 chondrite, Kushiro and Mysen found that ordinary chondrites did have an expanded low-Ca pyroxene field over that of CV chondrites (i.e., Allende), probably because ordinary chondrites have lower Mg/Si ratios. This study expands that of both Kushiro and Mysen and Jurewicz et al. to the Lost City (H) and St. Severin (LL) chondrites at temperatures ranging from 1170 to 1325 C, at an fO2 of one log unit below the iron-wuestite buffer (IW-1).

Jurewicz, Amy J. G.↗