SEARCH · Search NASA

Results for “VECTOR CURRENTS”

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 1,045 records · Page 58

All sources NASA NTRS DOE OSTI

NASA NTRS1993

Control system design for flexible structures using data models

The dynamics and control of flexible aerospace structures exercises many of the engineering disciplines. In recent years there has been considerable research in the developing and tailoring of control system design techniques for these structures. This problem involves designing a control system for a multi-input, multi-output (MIMO) system that satisfies various performance criteria, such as vibration suppression, disturbance and noise rejection, attitude control and slewing control. Considerable progress has been made and demonstrated in control system design techniques for these structures. The key to designing control systems for these structures that meet stringent performance requirements is an accurate model. It has become apparent that theoretically and finite-element generated models do not provide the needed accuracy; almost all successful demonstrations of control system design techniques have involved using test results for fine-tuning a model or for extracting a model using system ID techniques. This paper describes past and ongoing efforts at Ohio University and NASA MSFC to design controllers using 'data models.' The basic philosophy of this approach is to start with a stabilizing controller and frequency response data that describes the plant; then, iteratively vary the free parameters of the controller so that performance measures become closer to satisfying design specifications. The frequency response data can be either experimentally derived or analytically derived. One 'design-with-data' algorithm presented in this paper is called the Compensator Improvement Program (CIP). The current CIP designs controllers for MIMO systems so that classical gain, phase, and attenuation margins are achieved. The center-piece of the CIP algorithm is the constraint improvement technique which is used to calculate a parameter change vector that guarantees an improvement in all unsatisfied, feasible performance metrics from iteration to iteration. The paper also presents a recently demonstrated CIP-type algorithm, called the Model and Data Oriented Computer-Aided Design System (MADCADS), developed for achieving H(sub infinity) type design specifications using data models. Control system design for the NASA/MSFC Single Structure Control Facility are demonstrated for both CIP and MADCADS. Advantages of design-with-data algorithms over techniques that require analytical plant models are also presented.

Irwin, R. Dennis↗

NASA NTRS1992

Interactive Spectral Analysis and Computation (ISAAC)

Isaac is a task in the NSO external package for IRAF. A descendant of a FORTRAN program written to analyze data from a Fourier transform spectrometer, the current implementation has been generalized sufficiently to make it useful for general spectral analysis and other one dimensional data analysis tasks. The user interface for Isaac is implemented as an interpreted mini-language containing a powerful, programmable vector calculator. Built-in commands provide much of the functionality needed to produce accurate line lists from input spectra. These built-in functions include automated spectral line finding, least squares fitting of Voigt profiles to spectral lines including equality constraints, various filters including an optimal filter construction tool, continuum fitting, and various I/O functions.

Lytle, D. M.↗

NASA NTRSDate not supplied

Vapor Growth of ZnSe-based Compound Semiconductors in Low Gravity environment on International Space Station

Six low-gravity experiments of crystal growth of ZnSe-based compound semiconductors by physical vapor transport (PVT) are scheduled to be processed inside Low Gradient Furnace (LGF) on Materials Science Research Rack (MSRR) in Material Science Laboratory (MSL) on International Space Station (ISS) starting from February 27th, 2023. The flight samples consist of three unseeded growths of ZnSe, Cr-doped ZnSe and ZnSeTe as well as growth of ZnSe on top of three single crystal ZnSe seeds with orientation of (100), (110) and (111). The main scientific objective of the flight experiments is to establish the effects of gravity-driven fluid flows on Earth to (i) the non-uniform incorporation of impurities and defects and (ii) the deviation from stoichiometry observed in the grown crystals caused by growth interface fluctuations and evolution as the results of buoyancy-driven convection and irregular fluid-flows. The investigation will also evaluate the effects of gravity on the PVT process by examining (i) the growth kinetics on various seed orientations, (ii) the dopant segregation and distribution in the Cr doped ZnSe, and (iii) the compositional segregation and distribution in the ternary ZnSeTe crystal grown by PVT. Additionally, from X-ray diffraction/topography and by measuring the density and distribution of various crystalline defects it will assess the self-induced strain effects developed during processing at elevated temperatures caused by the weight of the crystals. During the ground-based preparations, the following tasks have been accomplished: • Establish the thermodynamic properties of the ZnSe binary and related ternary systems by measuring the partial pressures of the vapor phase coexisting with the condensed phases and perform phase diagram calculations for comparison. • Evaluate the effects of gravity-driven convection in the growth process by performing experiments under various vapor transport orientations relative to gravity vector, i.e., horizontal, vertically stabilized and destabilized configurations. • Establish a quantitative correlation between growth parameters and the characteristics and properties of the grown crystals by characterizing the crystals using a variety of techniques. • Evaluate the fundamentals of the current theories on vapor transport and crystal growth kinetics by performing in-situ and real-time monitoring techniques during growth. • Develop a one-dimensional diffusion limited theory of mass transport and two- and three-dimensional numerical simulations of both mass transport and heat transfer and thus establish the microgravity requirements for the flight experiments and to predict the characteristics of the grown crystals such as the solid-vapor interface shapes… etc. and establish a fundamental understanding of the crystal growth process from the comparison with experimental results.

ZnSe↗

NASA NTRS2009

The Hurricane Imaging Radiometer (HIRAD): Instrument Status and Performance Predictions

The Hurricane Imaging Radiometer (HIRAD) is an innovative radiometer which offers new and unique remotely sensed observations of both extreme oceanic wind events and strong precipitation. It is based on the airborne Stepped Frequency Microwave Radiometer (SFMR) [Uhlhorn and Black, 2004]. The HIRAD instrument advances beyond the current nadir viewing SFMR to an equivalent wide-swath SFMR imager using passive microwave synthetic thinned aperture radiometer (STAR) technology [Ruf et al., 1988]. This sensor operates over 4-7 GHz, where the required tropical cyclone remote sensing physics has been validated by both SFMR and WindSat radiometer [Bettenhausen et al., 2006; Brown et al., 2006]. HIRAD incorporates a new and unique array antenna design along with several technologies successfully demonstrated by the Lightweight Rain Radiometer instrument [Ruf et al., 2002; Ruf and Principe, 2003]. HIRAD will be a compact, lightweight, low-power instrument with no moving parts that will produce wide-swath imagery of ocean winds and rain in hurricane conditions. Accurate observations of surface ocean vector winds (OVW) with high spatial and temporal resolution are required for understanding and predicting tropical cyclones. The Hurricane Imaging Radiometer (HIRAD) is an innovative architecture which offers new and unique remotely sensed observations of both extreme oceanic wind events and strong precipitation. It is based on the airborne Stepped Frequency Microwave Radiometer (SFMR), which is a proven remote sensing technique for observing tropical cyclone (TC) ocean surface wind speeds and rain rates. The proposed HIRAD instrument advances beyond the current nadir viewing SFMR to an equivalent wide-swath SFMR imager using passive microwave synthetic thinned aperture radiometer (STAR) technology combined with a a unique array antenna design. The overarching design concept of HIRAD is to combine the multi-frequency C-band observing strategy of the SFMR with STAR technology to produce a wide-swath imager. Single frequency STAR technology The Hurricane Imaging Radiometer (HIRAD) is an innovative radiometer which offers new and unique remotely sensed observations of both extreme oceanic wind events and strong precipitation. It is based on the airborne Stepped Frequency Microwave Radiometer (SFMR) [Uhlhorn and Black, 2004]. The HIRAD instrument advances beyond the current nadir viewing SFMR to an equivalent wide-swath SFMR imager using passive microwave synthetic thinned aperture radiometer (STAR) technology [Ruf et al., 1988]. This sensor operates over 4-7 GHz, where the required tropical cyclone remote sensing physics has been validated by both SFMR and WindSat radiometer [Bettenhausen et al., 2006; Brown et al., 2006]. HIRAD incorporates a new and unique array antenna design along with several technologies successfully demonstrated by the Lightweight Rain Radiometer instrument [Ruf et al., 2002; Ruf and Principe, 2003]. HIRAD will be a compact, lightweight, low-power instrument with no moving parts that will produce wide-swath imagery of ocean winds and rain in hurricane conditions. Accurate observations of surface ocean vector winds (OVW) with high spatial and temporal resolution are required for understanding and predicting tropical cyclones. The Hurricane Imaging Radiometer (HIRAD) is an innovative architecture which offers new and unique remotely sensed observations of both extreme oceanic wind events and strong precipitation. It is based on the airborne Stepped Frequency Microwave Radiometer (SFMR), which is a proven remote sensing technique for observing tropical cyclone (TC) ocean surface wind speeds and rain rates. The proposed HIRAD instrument advances beyond the current nadir viewing SFMR to an equivalent wide-swath SFMR imager using passive microwave synthetic thinned aperture radiometer (STAR) technology combined with a a unique array antenna design. The overarching design concept of HIRAD is to combine the multi-frequency C-banbserving strategy of the SFMR with STAR technology to produce a wide-swath imager. Single frequency STAR technology

Ruf, Christopher↗

DOE OSTI2021

Hybrid Data-Driven Based HVdc Ancillary Control for Multiple Frequency Data Attacks

The high voltage direct current (HVdc) intertie has been applied to provide ancillary-services for ac grids, utilizing the real-time feedback from phasor measurement units (PMUs). However, PMU data communication is vulnerable to false data injection attacks (FDIA) due to protocol defects, thus the HVdc ancillary control and system stability will be threatened. To address this issue, this article proposes a novel HVdc control strategy based on a hybrid data-driven (HDD) methodology. In this work, the HDD methodology is first proposed to detect the types and duration time of multiple frequency attacks. Specifically, the Hilbert Huang transform (HHT) is used to decompose the frequency data, using variational mode decomposition instead of the traditional empirical mode decomposition, to extract data features. Second, a multikernel support vector machine is proposed to classify the attacked data based on the designed distinctive features from HHT. Meanwhile, the attacking duration time is decided using an unsupervised technique. Third, an HDD-based HVdc ancillary control strategy is established to eliminate the effect of FDIAs on the HVdc frequency response. Comprehensive experiments of HDD-based HVdc ancillary controls under different FDIAs suggest that the proposed HDD could fast and accurately classify the FDIAs, and the HDD-based HVdc ancillary control strategy could significantly suppress the impact of the FDIAs.

97 MATHEMATICS AND COMPUTING↗

NASA NTRS2008

NASA Langley's Formal Methods Research in Support of the Next Generation Air Transportation System

This talk will provide a brief introduction to the formal methods developed at NASA Langley and the National Institute for Aerospace (NIA) for air traffic management applications. NASA Langley's formal methods research supports the Interagency Joint Planning and Development Office (JPDO) effort to define and develop the 2025 Next Generation Air Transportation System (NGATS). The JPDO was created by the passage of the Vision 100 Century of Aviation Reauthorization Act in Dec 2003. The NGATS vision calls for a major transformation of the nation s air transportation system that will enable growth to 3 times the traffic of the current system. The transformation will require an unprecedented level of safety-critical automation used in complex procedural operations based on 4-dimensional (4D) trajectories that enable dynamic reconfiguration of airspace scalable to geographic and temporal demand. The goal of our formal methods research is to provide verification methods that can be used to insure the safety of the NGATS system. Our work has focused on the safety assessment of concepts of operation and fundamental algorithms for conflict detection and resolution (CD&R) and self- spacing in the terminal area. Formal analysis of a concept of operations is a novel area of application of formal methods. Here one must establish that a system concept involving aircraft, pilots, and ground resources is safe. The formal analysis of algorithms is a more traditional endeavor. However, the formal analysis of ATM algorithms involves reasoning about the interaction of algorithmic logic and aircraft trajectories defined over an airspace. These trajectories are described using 2D and 3D vectors and are often constrained by trigonometric relations. Thus, in many cases it has been necessary to unload the full power of an advanced theorem prover. The verification challenge is to establish that the safety-critical algorithms produce valid solutions that are guaranteed to maintain separation under all possible scenarios. Current research has assumed perfect knowledge of the location of other aircraft in the vicinity so absolute guarantees are possible, but increasingly we are relaxing the assumptions to allow incomplete, inaccurate, and/or faulty information from communication sources.

Butler, Ricky W.↗

DOE OSTI2015

Impacts of Vehicle (In)Security

Nuclear and radioactive material is routinely transported worldwide every day. Since 2010, the complexity of the transport vehicle to support such activities has grown exponentially. Many core functions of a vehicle are now handled by small embedded computer modules with more being added each year to enhance the owner’s experience and convenience. With a system as complex as today’s automobile, the potential for cyber security issues is certain. Hackers have begun exploring this new domain with public information increasingly disseminated. Because vehicles are allowed into and around secure nuclear facilities, the potential for using a vehicle as a new cyber entry point or vector into the facility is now plausible and must be mitigated. In addition, compromising such a vehicle could aide in illicit removal of nuclear material, putting sensitive cargo at risk. Because cyber attacks can now be introduced using vehicles, cyber security, needs to be integrated into an organization’s design basis threat document. Essentially, a vehicle now extends the perimeter for which security professionals are responsible.Electronic Control Units (ECU) responsible for handling all core and ancillary vehicle functions are interconnected using the controller area network (CAN) bus. A typical CAN network in a modern automobile contains 50 or more ECUs. The CAN protocol now supports a wide variety of areas, including automotive, road transportation, rail transportation, industrial automation, power generation, maritime, military vehicles, aviation, and medical devices. In many ways, the nuclear industry is employing the CAN bus protocol or other similar broadcast serial networks. This paper will provide an overview of the current state of automobile and CAN Bus security, as well as an overview of what has been publicly disclosed by many research organizations. It will then present several hypotheses of how vehicle security issues may impact nuclear activities. An initial discussion of how a vehicle can be used as a new threat vector to penetrate secure facilities will be presented. This includes how a modern automobile can be used as the exploitation mechanism for nearby devices such as laptops, cell phones, and wireless access points. Additional discussion will highlight how vehicle security might impact transportation of nuclear material through remote exploitation of a moving vehicle. The final discussion will include what possible implications might be relative to the physical protection systems at nuclear facilities. The audience will also be given details regarding the complexity of attack, thus implying the likelihood of successful exploitation, and information on how such attacks may be mitigated. Emerging security products for automobiles will be discussed and other mitigation methods will be detailed (e.g. disabling vehicle cellular modems). As a result, the audience will have a greater understanding of how to add vehicle security as a part of a comprehensive nuclear security policy.Finally, this paper will highlight the similarities between CAN Bus and other broadcast serial bus networks such as Profibus or DeviceNet, helping educate the reader on how susceptible this type of networking is to nefarious attacks and how it might affect components connected to many different nuclear systems, including control systems, safety systems, emergency systems, and support systems.

47 OTHER INSTRUMENTATION↗

DOE OSTI2015

Erratum to: Constraining couplings of top quarks to the Z boson in $ t\overline{t} $ + Z production at the LHC

We study top quark pair production in association with a Z boson at the Large Hadron Collider (LHC) and investigate the prospects of measuring the couplings of top quarks to the Z boson. To date these couplings have not been constrained in direct measurements. Such a determination will be possible for the first time at the LHC. Our calculation improves previous coupling studies through the inclusion of next-to-leading order (NLO) QCD corrections in production and decays of all unstable particles. We treat top quarks in the narrow-width approximation and retain all NLO spin correlations. To determine the sensitivity of a coupling measurement we perform a binned log-likelihood ratio test based on normalization and shape information of the angle between the leptons from the Z boson decay. The obtained limits account for statistical uncertainties as well as leading theoretical systematics from residual scale dependence and parton distribution functions. We use current CMS data to place the first direct constraints on the ttbZ couplings. We also consider the upcoming high-energy LHC run and find that with 300 inverse fb of data at an energy of 13 TeV the vector and axial ttbZ couplings can be constrained at the 95% confidence level to C_V=0.24^{+0.39}_{-0.85} and C_A=-0.60^{+0.14}_{-0.18}, where the central values are the Standard Model predictions. This is a reduction of uncertainties by 25% and 42%, respectively, compared to an analysis based on leading-order predictions. We also translate these results into limits on dimension-six operators contributing to the ttbZ interactions beyond the Standard Model.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗

DOE OSTI2012

TWIST, WRITHE, AND HELICITY IN THE INNER PENUMBRA OF A SUNSPOT

The aim of this work is the determination of the twist, writhe, and self-magnetic helicity of penumbral filaments located in an inner sunspot penumbra. For this purpose, we inverted data taken with the spectropolarimeter on board Hinode with the SIR (Stokes Inversion based on Response function) code. For the construction of a three-dimensional geometrical model we applied a genetic algorithm minimizing the divergence of B-vector and the net magnetohydrodynamic force, consequently a force-free solution would be reached if possible. We estimated two proxies to the magnetic helicity frequently used in literature: the force-free parameter {alpha}{sub z} and the current helicity term h{sub c{sub z}}. We show that both proxies are only qualitative indicators of the local twist as the magnetic field in the area under study significantly departs from a force-free configuration. The local twist shows significant values only at the borders of bright penumbral filaments with opposite signs on each side. These locations are precisely correlated to large electric currents. The average twist (and writhe) of penumbral structures is very small. The spines (dark filaments in the background) show a nearly zero writhe. The writhe per unit length of the intraspines diminishes with increasing length of the tube axes. Thus, the axes of tubes related to intraspines are less wrung when the tubes are more horizontal. As the writhe of the spines is very small, we can conclude that the writhe reaches only significant values when the tube includes the border of an intraspine.

79 ASTRONOMY AND ASTROPHYSICS↗

DOE OSTI2024

An Incremental Tensor Train Decomposition Algorithm

We present a new algorithm for incrementally updating the tensor train decomposition of a stream of tensor data. This new algorithm, called the tensor train incremental core expansion (TT-ICE) improves upon the current state-of-the-art algorithms for compressing in tensor train format by developing a new adaptive approach that incurs significantly slower rank growth and guarantees compression accuracy. This capability is achieved by limiting the number of new vectors appended to the TT-cores of an existing accumulation tensor after each data increment. These vectors represent directions orthogonal to the span of existing cores and are limited to those needed to represent a newly arrived tensor to a target accuracy. We provide two versions of the algorithm: TT-ICE and TT-ICE accelerated with heuristics (TT-ICE*). Here, we provide a proof of correctness for TT-ICE and empirically demonstrate the performance of the algorithms in compressing large-scale video and scientific simulation datasets. Compared to existing approaches that also use rank adaptation, TT-ICE* achieves 57× higher compression and up to 95% reduction in computational time.

97 MATHEMATICS AND COMPUTING↗

NASA NTRS1981

Thermal iron ions in high speed solar wind streams. II - Temperatures and bulk velocities

Mitchel and Roelof (1980) reported the detection of iron in high speed solar wind flows using the small, but finite sensitivity of solid state detectors to Fe ions in the low energy (50-200 keV protons) L1 channel of the NOAA/JHU energetic particle experiment (EPE). In the current investigation, the EPE response is modeled to a convected Maxwellian to obtain the thermal velocity, flow angle, and bulk velocity of the iron distribution. It is assumed that the iron bulk flow velocity can be represented as a vector sum of the hydrogen bulk velocity and an interplanetary magnetic field (IMF) aligned velocity increment. It is found that the velocity increment is smaller than the local Alfven speed in magnitude, and that the iron thermal velocity is comparable with or greater than the proton thermal velocity, with the 'thermal' velocity defined as the square root of 2kT/m.

Mitchell, D. G.↗

NASA NTRS1983

Investigation of antarctic crust and upper mantle using MAGSAT and other geophysical data

Data selection and reduction procedures are described by which scalar and vector magnetic anomaly maps are constructed. The scalar and vertical magnetic anomalies are believed to be generated mainly in the Earth's crust. The horizontal anomalies are believed to be mainly due to short-period field-aligned currents. The correlation of scalar magnetic anomalies with known oceanic structure is remarkable -- magnetic highs are associated with oceanic ridges and magnetic lows with abyssal plains. The correlation between anomalies and continental geology is not so clear.

Bentley, C. R.↗

NASA NTRS1999

Space Shuttle Solid Rocket Nozzle Joint 2 Gas Path Study

Each Space Shuttle solid rocket nozzle contains five joints. By design, each nozzle joint utilizes room-temperature vulcanized (RTV) rubber as a thermal barrier to protect the nozzle metal parts and O-rings from heat degradation due to motor combustion gas. Typically, combustion gas does not penetrate through the RTV in nozzle Joints. However, Joint currently experiences gas penetration through the RTV over 90 percent of the time. The occurrence of Joint gas paths is a very complex phenomenon with several known contributors such as the unique geometry of the joint, motor pressure, nozzle vectoring, manufacturing induced RTV voids. RTV material capability, and joint skip (relative radial displacement of joint components). The occurrence of Joint gas paths appears to be a combination of these causes. To better understand the causes of gas paths in Joint, the circumferential locations of gas paths in the RTV were identified and correlated with nozzle vectoring, RTV closeour locations (where the RTV backfill is completed), and X-ray low-density. anomaly (LDA) indications. Results that no specific cause was determined.

Lui, R. C.↗

NASA NTRS2000

The Design of a Templated C++ Small Vector Class for Numerical Computing

We describe the design and implementation of a templated C++ class for vectors. The vector class is templated both for vector length and vector component type; the vector length is fixed at template instantiation time. The vector implementation is such that for a vector of N components of type T, the total number of bytes required by the vector is equal to N * size of (T), where size of is the built-in C operator. The property of having a size no bigger than that required by the components themselves is key in many numerical computing applications, where one may allocate very large arrays of small, fixed-length vectors. In addition to the design trade-offs motivating our fixed-length vector design choice, we review some of the C++ template features essential to an efficient, succinct implementation. In particular, we highlight some of the standard C++ features, such as partial template specialization, that are not supported by all compilers currently. This report provides an inventory listing the relevant support currently provided by some key compilers, as well as test code one can use to verify compiler capabilities.

Moran, Patrick J.↗

NASA NTRS2002

Forecasting Coronal Mass Ejections from Vector Magnetograms

Identification of active regions from which Earthward halo Coronal Mass Ejections (CMEs) are likely to originate is important both for understanding how CMEs are produced and for prediction of hazardous space weather. In previous work, from a set of 17 MSFC (Marshall Space Flight Center) vector magnetograms of 12 bipolar active regions situated within +/- 2 days of rotation from central meridian, we have evaluated four different measures of the global nonpotentiality of the magnetic field of each active region, and have found that the nonpotentiality of these active regions is strongly correlated with their CME productivity during the time interval of +/- 2 days centered on the day of the magnetogram: strongly nonpotential bipolar active regions are much more likely to produce a CME during this interval that are weakly nonpotential bipolar active regions. To further establish the use of active-region nonpotentiality for forecasting CMEs, we have expanded the sample to 19 additional bipolar active regions, with vector magnetograms taken with the upgraded MSFC vector magnetograph from September 2000 through June 2001 with support from our LWS grant (M. J. Hagyard, PI). The four global measures of nonpotentiality are the length of strong-shear, strong-field main neutral line, the net current, and two other measures of the overall twist in the magnetic field of the active-region bipole. We find: 1) The statistical significance of the correlation of the nonpotentiality of active regions with their CME productivity within +/- 2 days of the day of the magnetogram is greater than 99%. 2) 67% of the strongly nonpotential active regions produced CMEs within the +/- 2 day window, while only 17% of the weakly nonpotential ones did. 3) The statistical significance of the correlation of the nonpotentiality of active regions with their CME productivity during 0-2 days after the day of the magnetogram is about 97%. 4) 42% of the strongly nonpotential active regions produced CMEs within the 0-2 day window, while only 10% of the weakly nonpotential ones did. 5) The four different measures of an active region's nonpotentiality agree most of the time in their classification of the nonpotentiality as strong or weak (75%-90% depending on the pair of measurements). Additional information is included in the original extended abstract.

Moore, R. L.↗

DOE OSTI2017

Sparse Bayesian Regression with Integrated Feature Selection for Nuclear Reactor Analysis

High-dimensional, nonlinear function estimation using large datasets is a current area of interest in the machine learning community, and applications may be found throughout the analytical sciences, where ever-growing datasets are making more information available to the analyst. In this paper, we leverage the existing relevance vector machine, a sparse Bayesian version of the well-studied support vector machine, and expand the method to include integrated feature selection and automatic function shaping. These innovations produce an algorithm that is able to distinguish variables that are useful for making predictions of a response from variables that are unrelated or confusing. We test the technology using synthetic data, conduct initial performance studies, and develop a model capable of making position-independent predictions of the coreaveraged burnup using a single specimen drawn randomly from a nuclear reactor core.

Dayman, Ken J↗

DOE OSTI2026

Agentic Diagrammatica: Towards Autonomous Symbolic Computation in High Energy Physics

We present Diagrammatica, a symbolic computation extension to the HEPTAPOD agentic framework, which enables LLM agents to plan and execute multi-step theoretical calculations. Symbolic computation poses a distinctive reliability challenge for LLM agents, as correctness is governed by implicit mathematical conventions that are not encoded in a form that can be easily checked in the computational backend. We identify two complementary remedies, tool-constrained computation and targeted knowledge grounding, and pursue the first as the primary architecture. Concretely, we concentrate the agent's action distribution onto tool calls with convention-fixing semantics, in which the agent specifies a compact, human-auditable diagram specification and a trusted backend performs the symbolic or numerical manipulations exactly. The toolkit provides two complementary calculation paths consuming a shared diagram specification: Naive Dimensional Analysis (NDA) for order-of-magnitude rate estimates and Exact Diagrammatic Analysis (EDA) for tree-level symbolic calculations via automatic FeynCalc code generation, both supplemented by automatic Feynman diagram enumeration and a navigable theory knowledge base. The architecture is validated on two benchmarks: (1) an exhaustive catalog of all tree-level, single-vertex $1\to 2$ partial decay widths across scalar, fermion, and vector parents, with complete massless and threshold limits and Standard Model validation; and (2) an NDA sensitivity study of the muon decay multiplicity $μ^+ \to ν_μ\barν_e + n(e^+e^-) + e^-$, determining the maximum observable $n$ at current and planned muon experiments.

Menzo, Tony [Alabama U.; Fermilab] (ORCID:00000002↗

DOE OSTI2019

Equations of the Local Gradient Electromagnetothermomechanics of Polarizable Nonferromagnetic Bodies with Regard for Electric Quadrupole Moments

We formulate a complete system of relations of the local gradient electromagnetothermomechanics of electrically conductive nonferromagnetic polarizable solid media. The nonlocal character of the constitutive relations of the proposed mathematical model is explained by the presence of electric quadrupole moments in the polarization current. As a result of taking into account these moments, the space of parameters of the thermodynamic state of the body is expanded by including a pair of additional conjugate parameters, namely, the quadrupole moment and the gradient of the vector of electric-field intensity. It is shown that the developed model takes into account the electromechanical interaction for materials with high level of symmetry (isotropic materials) and describes the flexoelectric and thermopolarization effects. We also present the key system of equations for a physically and geometrically linear medium.

97 MATHEMATICS AND COMPUTING↗