Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “VIOLATIONS”

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 1,315 records · Page 73

Testing T2K’s Bayesian constraints with priors in alternate parameterisations

Bayesian analysis results require a choice of prior distribution. In long-baseline neutrino oscillation physics, the usual parameterisation of the mixing matrix induces a prior that privileges certain neutrino mass and flavour state symmetries. Here we study the effect of privileging alternate symmetries on the results of the T2K experiment. We find that constraints on the level of CP violation (as given by the Jarlskog invariant) are robust under the choices of prior considered in the analysis. On the other hand, the degree of octant preference for the atmospheric angle depends on which symmetry has been privileged.

Bayesian Inference↗

Search for heavy neutral leptons in decays of W bosons produced in 13 TeV pp collisions using prompt signatures in the ATLAS detector

The existence of right-handed neutrinos with Majorana masses below the electroweak scale could help address the origins of neutrino masses, the matter–antimatter asymmetry, and dark matter. In this paper, leptonic decays of W bosons from 140 fb-1$$^{-1}$$ of 13 TeV proton–proton collisions at the LHC, reconstructed in the ATLAS experiment, are used to search for heavy neutral leptons produced through their mixing with muon or electron neutrinos in a scenario with lepton number violation. The search is conducted using prompt leptonic decay signatures. The considered final states require two same-charge leptons or three leptons, while vetoing three-lepton same-flavour topologies. No significant excess over the expected Standard Model backgrounds is found, leading to constraints on the heavy neutral lepton’s mixing with muon and electron neutrinos for heavy-neutral-lepton masses. The analysis excludes |Ue|2$$|U_{e}|^2$$ values above 8×10-5$$8\times 10^{-5}$$ and |Uμ|2$$|U_{\mu }|^2$$ values above 5.0×10-5$$5.0 \times 10^{-5}$$ in the full mass range of 8–65 GeV. The strongest constraints are placed on heavy-neutral-lepton masses in the range 15–30 GeV of |Ue|2<1.1×10-5$$|U_{e}|^2 < 1.1 \times 10^{-5}$$ and |Uμ|2<5×10-6$$|U_{\mu }|^2 < 5 \times 10^{-6}$$.

Aad, G↗

Lessons from black hole quasinormal modes in modified gravity

Quasinormal modes (QNMs) of perturbed black holes have recently gained much interest because of their tight relations with the gravitational wave signals emitted during the post-merger phase of a binary black hole coalescence. One of the intriguing features of these modes is that they respect the no-hair theorem, and hence, they can be used to test black hole spacetimes and the underlying gravitational theory. In this paper, we exhibit three different aspects of how black hole QNMs could be altered in theories beyond Einstein’s general relativity (GR). These aspects are (i) the direct alterations of QNM spectra as compared with those in GR, (ii) the violation of the geometric correspondence between the high-frequency QNMs and the photon geodesics around the black hole, and (iii) the breaking of the isospectrality between the axial and polar gravitational perturbations. Several examples will be provided in each individual case. The prospects and possible challenges associated with future observations will be also discussed.

79 ASTRONOMY AND ASTROPHYSICS↗

New results in the CTEQ-TEA global analysis of parton distributions in the nucleon

This report summarizes the latest developments in the CTEQ-TEA global analysis of parton distribution functions (PDFs) in the nucleon. The focus is on recent NNLO fits to high-precision LHC data at 8 and 13 TeV, including Drell–Yan, jet, and top-quark pair production, pursued on the way toward the release of the new generation of CTEQ-TEA general-purpose PDFs. The report also discusses advancements in statistical and numerical methods for PDF determination and uncertainty quantification, highlighting the importance of robust and replicable uncertainties for high-stakes observables. Additionally, it covers phenomenological studies related to PDF determination, such as the interplay of experimental constraints, exploration of correlations between high-x nucleon sea and low-energy parity-violating measurements, fitted charm in the nucleon, the photon PDF in the neutron, and simultaneous SMEFT-PDF analyses.

73 NUCLEAR PHYSICS AND RADIATION PHYSICS↗

Charm physics

Abstract We review recent developments in charm physics, focusing on the physics of charmed mesons. We discuss recent progress in charm spectroscopy and the multitude of mesonic and baryonic exotic states containing charm quarks. We review searches for new physics with charmed mesons with rare decays. We also touch upon recent theoretical and experimental progress in searches for CP-violation in charm decays and the status of $$D^0-\overline{D}{}^0$$ D 0 - D ¯ 0 mixing.

Physics↗

Transverse moments of TMD parton densities and ultraviolet divergences

In this report I review some open questions relating to the large transverse momentum divergences in transverse moments of transverse momentum dependent (TMD) parton correlation functions. I also explain, in an abbreviated and summarized form, recent work that shows that the resulting violations of a commonly used integral relation are not perturbatively suppressed. I argue that this implies a need for more precise definitions for the correlation functions used to describe transverse moments.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗

Instability of super-entropic black holes in extended thermodynamics

The charged black hole of Bañados, Teitelbiom and Zanelli is studied in extended gravitational thermodynamics where there is a dynamical pressure and volume. It is a simple example of a super-entropic black hole, violating the reverse isoperimetric inequality. It is proven that this property implies that its specific heat at constant volume is negative, signaling a new kind of fundamental instability for black holes. It is conjectured that this instability is present for other super-entropic black holes, and this is demonstrated numerically for a large family of known solutions.

Astronomy & Astrophysics↗

FPDetect: Efficient Reasoning About Stencil Programs Using Selective Direct Evaluation

We present FPDetect, a low-overhead approach for detecting logical errors and soft errors affecting stencil computations without generating false positives. We develop an offline analysis that tightly estimates the number of floating-point bits preserved across stencil applications. This estimate rigorously bounds the values expected in the data space of the computation. Violations of this bound can be attributed with certainty to errors. FPDetect helps synthesize error detectors customized for user-specified levels of accuracy and coverage. FPDetect also enables overhead reduction techniques based on deploying these detectors coarsely in space and time. Experimental evaluations demonstrate the practicality of our approach.

97 MATHEMATICS AND COMPUTING↗

Deep reinforcement learning with online data augmentation to improve sample efficiency for intelligent HVAC control

Deep Reinforcement Learning (DRL) has started showing success in real-world applications such as building energy optimization. Much of the research in this space utilized simulated environments to train RL-agent in an offline mode. Very few research have used DRL-based control in real-world systems due to two main reasons: 1) sample efficiency challenge---DRL approaches need to perform a lot of interactions with the environment to collect sufficient experiences to learn from, which is difficult in real systems, and 2) comfort or safety related constraints---user's comfort must never or at least rarely be violated. In this work, we propose a novel deep Reinforcement Learning framework with online Data Augmentation (RLDA) to address the sample efficiency challenge of real-world RL. We used a time series Generative Adversarial Network (TimeGAN) architecture as a data generator. We further evaluated the proposed RLDA framework using a case study of an intelligent HVAC control. With a ≈28% improvement in the sample efficiency, RLDA framework lays the way towards increased adoption of DRL-based intelligent control in real-world building energy management systems.

Kurte, Kuldeep↗

FiberFlex: Real-time FPGA-based Intelligent and Distributed Fiber Sensor System for Pedestrian Recognition

In recent years, security monitoring of public places and critical infrastructure has heavily relied on the widespread use of cameras, raising concerns about personal privacy violations. To balance the need for effective security monitoring with the protection of personal privacy, we explore the potential of optical fiber sensors for this application. This article proposes FiberFlex, an intelligent and distributed fiber sensor system. Ultizing Field Programmable Gate Arrays (FPGA) high-level synthesis (HLS) acceleration, FiberFlex offers real-time pedestrian detection by co-designing the entire pipeline of optical signal acquisition, processing, and recognition networks based on the principles of optical fiber sensing. As a promising alternative to traditional camera-based monitoring systems, FiberFlex achieves pedestrian detection by analyzing the vibration patterns caused by pedestrian footsteps, enabling security monitoring while preserving individual privacy. FiberFlex comprises three modules: First , fiber-optic sensing system: A fiber-optic distributed acoustic sensing (DAS) system is built and used to measure the ground vibration waves generated by people walking. Second , algorithms: We first collect the training data by measuring the ground vibration waves, label the data, and use the data to train the neural network models to perform pedestrian recognition. Third , hardware accelerators: We use HLS tools to design hardware modules on FPGA for data collection and pre-processing and integrate them with the downstream neural network accelerators to perform in-line real-time pedestrian detection. The final detection results are sent back from FPGA to the host CPU. We implement our system FiberFlex with the in-house built DAS system and AMD/Xilinx Kintex7 FPGA KC705 board and verify the whole system using the real-world collected data. We conduct recognition tests on five test subjects of varying ages, heights, and weights in a fixed sensing area. Each subject experienced 20 real-time recognition tests using their daily walking habits, and the subjects were given adequate rest between tests. After 100 tests on five test subjects, the overall real-time recognition accuracy exceeded \(88.0\%\) . The whole system uses 55 W of power, 33 W in the optical DAS system and 22 W in the FPGA. Relying on its end-to-end interdisciplinary design, FiberFlex seamlessly combines fiber-optic sensors with FPGA accelerators to enable low-power real-time security monitoring without compromising privacy, making it a valuable addition to the existing security monitoring network. According to FiberFlex, more valuable research can be conducted in the future, such as fall monitoring for the elderly, migration of identification networks between different application scenarios, and improvement of anti-interference performance in more complex environments. In future perception networks, where the “eyes” are not feasible, let’s use fiber optic touch instead.

Distributed↗

Shape-shifting Elephants: Multi-modal Transport for Integrated Research Infrastructure

Data Acquisition (DAQ) workloads form an important class of scientific network traffic that by its nature (1) flows across different research infrastructure, including remote instruments and supercomputer clusters, (2) has ever-increasing throughput demands, and (3) has ever-increasing integration demands---for example, observations at one instrument could trigger a reconfiguration of another instrument. Today's DAQ transfers rely on UDP and (heavily tuned) TCP, but this is driven by convenience rather than suitability. The mismatch between Internet transport protocols and scientific workloads becomes more stark with the steady increase in link capacities, data generation, and integration across research infrastructure.This position paper argues the importance of developing specialized transport protocols for DAQ workloads. It proposes a new transport feature for this kind of elephant flow: multi-modality involves the network actively configuring the transport protocol to change how DAQ flows are processed across different underlying networks that connect scientific research infrastructure. Multi-modality is a layering violation that is proposed as a pragmatic technique for DAQ transport protocol design. It takes advantage of programmable network hardware that is increasingly being deployed in scientific research infrastructure. The paper presents an initial evaluation through a pilot study that includes a Tofino2 switch and Alveo FPGA cards, and using data from a particle detector.

97 MATHEMATICS AND COMPUTING↗

Electrochemical Processes Breaking Strict Phase Electroneutrality in Microemulsions

Phase electroneutrality is a near-omnipresent assumption in electrochemical reactions. Even media such as biphasic oil-water interfaces and kinetically stable emulsions follow this “rule.” This implies all electron transfer reactions must be accompanied by ion transfer to maintain charge balance within a phase. However, due to the small domain size, electroneutrality is known to break down in the electric double layer adjacent to the electrode. Therefore, the appropriateness of the electroneutrality approximation for media with nanoscale domains, such as microemulsions, is questionable. Here, in this work, we show definitively, for the first time, that phase electroneutrality can be violated during an electron transfer reaction in microemulsions. Cyclic voltammograms show that electrochemical oxidation of rubrene is possible in microemulsions when sodium hydroxide is the only supporting electrolyte. Rubrene is a hydrophobic redox compound that is insoluble in water in neutral and radical cation forms, and hydroxide anions are too hydrophilic to transfer to the oil (toluene) phase. Contrary to observations made in emulsion systems, rubrene oxidation in microemulsions seemingly occurs by a mechanism where coupled ion transfer required for rigorous phase electroneutrality is negated. Our results demonstrate that electron transfer reactions within nanometer-sized domains are not subject to restrictions that govern systems with larger domains.

Barth, Brian A. [Univ. of Tennessee, Knoxville, TN↗

Resilience Of Microgrids With Adaptive Capacity And Inertia

Resilience of Microgrids with Adaptive capacity and Inertia calculates the maximum size of a disturbance a microgrid could withstand before frequency limits are violated. The results are based on power generation assets in the microgrid and its inertia.

Phillips, TylerB↗

Grid Modeling and Hosting Capacity Analysis

An interface with the OpenDSS distribution grid simulator, facilitating users in calibrating and validating models. Additionally, three distinct tools have been developed: PV Hosting Capacity: This tool allows users to determine the additional amount of photovoltaic (PV) generation that can be integrated into the system without breaching operational constraints. EV Hosting Capacity: This tool focuses on identifying the capacity for incorporating extra electric vehicle (EV) load into the system without surpassing operational limitations. Project Impact Analysis Tool: This tool is designed to assess and report all potential grid violations associated with a specific project, providing valuable insights into its impact on the distribution grid.

Poudel, Shiva↗

Build Optimization Software Tools (BOOST) v2.0.0

Build Optimization Software Tools (BOOST) accelerate the design of DNA, RNA and protein sequences for their synthesis and assembly in an automated and scalable fashion. The BOOST Juggler automates the following two design tasks: - Reverse-Translation of protein sequences into DNA sequences - Codon Juggling of DNA sequences The BOOST Polisher provides the following design tasks: - The Verification of DNA sequences against DNA synthesis constraints - The Modification of DNA sequences in case they violate any DNA synthesis constraint In addition, the BOOST Polisher can be instructed to verify and modify DNA sequences against sequence patterns, such as restriction sites. The BOOST Partitioner supports both Gibson/chewback and Yeast assembly (also known as Transformation-Associated Recombination, or TAR) methods when performing the decomposition of large sequences that exceed the maximum length of DNA synthesis into synthesizable building blocks. The Partitioner can be instructed to find building blocks with appropriate overlap sequences, making their assembly into the complete construct more efficient. BOOST Workflows enable, in a customized fashion, the execution of the Juggler, Polisher, and Partitioner tools on a batch of sequences.

Sharkey, Michael↗

AR4IR (Automated Reasoning for Incident Response) [SWR-24-103]

A basic formal methods tool with the ability to aid and/or automate a utilities’ incidence response and instills confidence that the proposed action satisfies the system’s physical constraints, the organization’s cyber policies, and will not cause violations of technical standards.

Etigowni, Sriharsha [National Renewable Energy Lab↗

HilbertSeries/Group_Invariants_and_Covariants

A supplementary material file for the publication "Most general EFTs from spurion analysis Hilbert series and minimal lepton flavor violation", it supplies HilbCalc, a Mathematica notebook that provides functions for computing general Hilbert series of invariants and covariants of compact classical groups. It presents examples demonstrating the use of the code, including the Hilbert series for our MLFV scenarios.

Miro, Carlos (0000000303369025)↗

MCP-eGridGPT (MCP-Enabled Chatbot with Electrical Power System Analysis and Interactive Visualization Tool) [SWR-25-126]

This software is an advanced chatbot system that integrates the Model Context Protocol (MCP) to provide intelligent electrical power system analysis and automated visualization generation. The system enables users to interact with complex electrical engineering tools through natural language, automatically analyzes power system data for voltage violations and grid health assessment, and generates professional interactive HTML dashboards and reports. Key features include dynamic tool discovery from MCP servers, multi-LLM provider support, intelligent data interpretation using large language models, automated chart generation, and a web-based interface for real-time analysis. The software bridges sophisticated electrical engineering analysis with user-friendly interfaces, making power system diagnostics accessible through conversational AI.

Choi, Seong [National Laboratory of the Rockies (N↗