SEARCH · Engineering Papers

Results for “unification”

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.

SourceResearch connectionFrom yearThrough year

Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.

At least 343 records · Page 19

All sources NASA NTRS DOE OSTI

NASA NTRS2023

Testing theories of Gravitation with the Interstellar Probe Radio Experiment

General Relativity (GR) will soon celebrate its 110th birthday, holding up against all experimental enquiry. Nonetheless, unification theories attempting to quantize gravity, such as string theory, are gaining footing. These hypothesize additional scalar, vector, and tensor long-range fields that couple to matter (Will, 2014), introducing violations to GR. Although such violations have never been detected, it is likely that GR will not be the ultimate theory of gravity. What is certain is that gravity tests are alive and well, pushing the validity of GR to new scales and accuracies, or -potentially- suggesting alternative routes for new physics. Building upon the legacy of Voyager and Pioneer missions, which demonstrated the capability to survive in the outer reaches of the solar system, the Interstellar Probe mission concept (McNutt et al., 2022) aims to characterise our heliosphere through state-of-the-art instrumentation, opening new frontiers also for GR testing. In this work, we investigate the possibility of constraining the Nordtvedt parameter η and the mass of the graviton via the Compton wavelength λc, by simulating the processing of 10 years of radiometric data from the Interstellar Probe. Station calibration and clock synchronisation, as well as limiting spacecraft precession manoeuvres are highlighted as key strategies for obtaining high-quality estimates. In the most favourable scenario, η can be constrained to less than 1.5 · 10 -5 , reducing the uncertainty obtained via Lunar Laser Ranging (Hofmann and Müller, 2018), and a lower bound of 1.4 ‧ 10 14 km is set for λc, improving the estimates obtained from planetary ephemerides (Bernus et al., 2020) and gravitational wave detection (Abbott et al., Jun 2021). Extending ranging measurement acquisition to 20 years improves the results tenfold. This experiment interrogates fundamental physics from a unique dynamical setting, investigating possible violations of the Equivalence Principle (EP) underlying GR.

general relativity↗

NASA NTRS2024

Logic Programming with Extensible Types

Logic programming allows structuring code in terms of predicates or relations, rather than functions. Although logic programming languages present advantages in terms of declarativeness and conciseness, the introduction of static types has not become part of most popular logic programming languages, increasing the difficulty of testing and debugging of logic programming code. This paper demonstrates how to implement logic programming in Haskell, thus empowering logic programs with types, and functional programs with relations or predicates. We do so by combining three ideas. First, we use extensible types to generalize a type by a parameter type function. Second, we use a sum type as an argument to introduce optional variables in extensible types. Third, we implement a unification algorithm capable of working with any data structure, provided that certain operations are implemented for the given type. We demonstrate our proposal via a series of increasingly complex examples inspired by educational texts in logic programming, and leverage the host language's features to make new notation convenient for users, showing that the proposed approach is not just technically possible but also practical.

logic programming↗

NASA NTRSDate not supplied

ExMC Digital Engineering

Future missions beyond Artemis II will become increasingly complex as multiple vehicles (e.g., Gateway, Human Landing System (HLS), and Extravehicular Activity and Human Surface Mobility Program (EHP)), each having their own Program requirements and other associated documentation, which will need to be integrated into a single mission. Currently, the Human Health and Performance Directorate (HHPD)Program Support Teams mostly use documents to manage, perform, and archive their analyses. Identifying an opportunity for efficiency, ExMC demonstrated the ability to utilize MagicDraw, a Model-Based Systems Engineering (MBSE) tool, as a requirements database with traceability, dependencies, and relationships in one place. Rather than existing in documents, emails, and historical knowledge, ExMC pursued a Digital Engineering (DE) effort in coordination with HHPD by combining MBSE tools with other digital platforms to manage and develop user-defined databases and interfaces. This DE approach is aimed to simplify processes and reduce risk through the unification of requirements into a centralized digital network, improving collaboration, decision-making, and transparency compared to isolated documents and knowledge. However, manipulating data views and content in MagicDraw requires a steep learning curve not needed by all users and even the user-friendly web view comes with downsides due to the static views. To provide a more dynamic user interface, ExMC investigated the use of Microsoft Power Platform which does not require as steep of a learning curve to become proficient. This introduces analytics to the DE infrastructure, offering customizable and dynamic data dashboards. ExMC continues developing these dashboards and tailoring the DE infrastructure in alignment with HHPD workforce needs.

M Krihak↗

DOE OSTI2016

Evolution of gluon TMDs from small to moderate x

Recently we obtained an evolution equation of gluon TMDs, which addresses a problem of unification of different kinematic regimes. It describes evolution in the whole range of Bjorken $x_B$ and the whole range of transverse momentum $k_\perp$. In this notes I study different limits of this evolution equation and show how it yields several well-known and some previously unknown results.

Tarasov, Andrey↗

DOE OSTI2018

Status Update of the MAJORANA DEMONSTRATOR Neutrinoless Double Beta Decay Experiment

Neutrinoless double beta decay searches play a major role in determining neutrino properties, in particular the Majorana or Dirac nature of the neutrino and the absolute scale of the neutrino mass. The consequences of these searches go beyond neutrino physics, with implications for Grand Unification and leptogenesis. The \textsc{Majorana} Collaboration is assembling a low-background array of high purity Germanium (HPGe) detectors to search for neutrinoless double-beta decay in $^{76}$Ge. The \textsc{Majorana Demonstrator}, which is currently being constructed and commissioned at the Sanford Underground Research Facility in Lead, South Dakota, will contain 44 kg (30 kg enriched in $^{76}$Ge) of HPGe detectors. Its primary goal is to demonstrate the scalability and background required for a tonne-scale Ge experiment. This is accomplished via a modular design and projected background of less than 3 cnts/tonne-yr in the region of interest. The experiment is currently taking data with the first of its enriched detectors.

Gruszko, J↗

DOE OSTI2025

Direct study of changes in catalyst structure-kinetic properties during redox transitions using a new time-resolved technique

Direct study of changes in catalyst structure-kinetic properties during redox transitions using a new time-resolved technique The Temporal Analysis of Products (TAP) pulse response methodology1 is a transient technique offering the time scale needed to deconvolve many reaction steps from the complex network typical to industrial catalytic processes. The traditional TAP measurement observes the gas phase dynamic response but, hereto now, has been devoid of any direct measurement of change in the catalyst itself. The development of an operando technique that couples gas phase transient kinetics to dynamic metal centers and surface species is presented. Significance Unification of the TAP methodology with time-resolved spectroscopic measurement can offer unprecedented insight into the complex kinetic phenomena regulated by the solid catalyst.

03 - NATURAL GAS↗

DOE OSTI2025

Direct Study of Changes in Catalyst Structure-Kinetic Properties During Redox Transitions

The Temporal Analysis of Products (TAP) pulse response methodology is a transient technique that provides the time resolution needed to deconvolve reaction steps from the complex networks typical in industrial catalytic processes. Traditionally, TAP measurements observe gas phase dynamics at the reactor exit but lack direct measurements of changes in the catalyst itself. Recently, a new operando technique was developed that couples gas phase transients to dynamic changes in metal centers with the precise TAP methodology for nanomole titration. Using an industrial CrOx/Al2O3 catalyst used for propane dehydrogenation, we demonstrate the capabilities of this unique device to reveal key catalytic processes: 1) total propane oxidation not associated with chromia centers, 2) reduction of Cr6+ to Cr3+ correlated with selective product formation, and 3) subsequent carbon accumulation. By utilizing incremental pulsing in a diffusion-only transport regime, the spectrokinetic device allows us to resolve detailed changes in catalyst structure, composition, and kinetic function that are otherwise indistinguishable in conventional operando devices. The unification of the TAP methodology with time-resolved spectroscopic measurements offers new and unique insights into the complex kinetic phenomena regulated by solid catalyst surfaces.

03 - NATURAL GAS↗

DOE OSTI2026

Mu2e Experiment

The goal of the Mu2e experiment is right in the name. Mu2e (pronounced “mew-to-ee”) is shorthand for “muon to electron.” Scientists are looking for the one-to-one conversion of a particle called the muon into its more familiar relative, the electron. New theories predict this never observed transformation, and Mu2e will be 10,000 times more sensitive than previous attempts to discover it. A successful sighting could hint at undiscovered particles and potentially illuminate a grand unification theory of nature’s four forces. The experiment complements research at the Large Hadron Collider in Europe, potentially clarifying the origins of new particles.

Fermilab, Fermilab↗

DOE OSTI2026

Deacetylation and Mechanical Refining Pathway for the Bioconversion of Sugarcane Bagasse

Advancing lignocellulose biorefining is imperative for the deployment of cellulosic (2G) biofuels. This work investigates the tailoring of the alkaline deacetylation and mechanical refining (DMR) pathway for the bioconversion of sugarcane bagasse. Experiments are conducted at laboratory and pilot scales, varying the pretreatment conditions (70–92 °C; 48–100 g NaOH /kg) and the mechanical refining technologies (PFI and disk refining). The pretreatments selectively solubilize acetyl groups (> 86%) and lignin (10–63%) while mostly preserving structural carbohydrates in the solid phase. Enzymatic hydrolysis generates hydrolysates of clean sugars (glucose and xylose), with sugar yields increasing up to 81% for glucose and 89% for xylose in response to delignification and mechanical refining. Biochemical methane potential assays reveal specific methane productions of up to 568 NmL CH₄ gVS⁻¹ for alkaline liquor monodigestion and 344 NmL CH₄ gVS⁻¹ for co-digestion with sugarcane vinasse from the conventional (1G) sugarcane ethanol, indicating a strong potential for bioenergy recovery from this process stream. Synergies are identified in integrating 1G ethanol, 2G DMR processing of bagasse, and anaerobic co-digestion of 1G vinasse and 2G DMR alkaline liquor. This technology enables sugarcane biorefineries to enhance the co-production of ethanol, methane, and concentrated streams of CO 2 .

09 BIOMASS FUELS↗

DOE OSTI2026

Scalar-induced neutrinoless double beta decay in SU(5)

We discuss the role of heavy scalar fields in mediating neutrinoless double beta decay (0νββ) within the SU(5) Grand Unified Theory framework, extended suitably to include neutrino mass. In such a minimal realistic SU(5) setup for fermion masses, the scalar contributions to 0νββ are extremely suppressed as a consequence of the proton decay bound. We circumvent this problem by imposing a discrete Z 3 symmetry. However, the scalar contributions to 0νββ remain suppressed in this SU(5) x Z 3 model due to the neutrino mass constraint. We find that the 0νββ contribution can be enhanced by extending the scalar sector with an additional 15-dimensional scalar representation with suitable Z 3 charge. Such an extension not only yields realistic fermion mass spectra but also leads to experimentally testable predictions in upcoming ton-scale 0νββ searches, which can be used as a sensitive probe of the new scalars across a broad range, from LHC-accessible scales up to ∼ 10 10 GeV.

Baryon/Lepton Number Violation↗

DOE OSTI2023

A Right-handed neutrino portal to the hidden sector: active neutrinos and their twins in an F-theory model

We analyze the neutrino phenomenology in an SU(5) F-theory model with both a visible sector and a twin hidden sector. At low energies, the strong and weak scales of the two sectors may differ but the spectrum of states is described by the MSSM (MSSM') in the visible (twin) sectors. What is special about the model is that there are right-handed neutrinos which couple to both sectors via Yukawa couplings. As a result, assuming 3 right-handed neutrinos with a large mass much greater than the weak scale, at tree-level the seesaw mechanism results in 3 massive Majorana neutrinos and 3 massless ones. The massless neutrinos acquire mass via radiative corrections. In our analysis, the massless neutrinos are predominantly active neutrinos, while the massive neutrinos are predominantly sterile neutrinos. We fit the active neutrino masses and mixing angles and discuss the phenomenology of the lightest sterile neutrino. Finally we consider some possible scenarios for cosmology.