Engineering PapersSearch

SEARCH · Engineering Papers

Results for “Branch and bound”

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 73 records · Page 4

Non-Hermitian quantum mechanics approach for extracting and emulating continuum physics based on bound-state-like calculations: Detailed description

Here, this work applies a reduced basis method to study the continuum physics of a finite quantum system—either few or many-body. Specifically, I develop reduced-order models, or emulators, for the underlying inhomogeneous Schrödinger equation and train the emulators against the equation's bound-state-like solutions at complex energies. The emulators rapidly and accurately interpolate and extrapolate the matrix elements of the Hamiltonian resolvent operator (Green's function) across a parameter space that includes both complex energy and other real-valued physical inputs in the Schrödinger equation. The spectra, discretized and compressed as the result of emulation, and the associated resolvent matrix elements (or amplitudes), have the defining characteristics of non-Hermitian quantum mechanics calculations, featuring complex eigenenergies with negative imaginary parts and branch cuts moved below the real axis in the complex energy plane. Therefore, one now has a method that extracts continuum physics from bound-state-like calculations and emulates those extractions in the input parameter space. Building on a prior Letter [Zhang, Phys. Rev. Lett. 135, 242501 (2025)], this article provides the full theoretical details, a comprehensive analysis of the method's performance, and a brief discussion of how it can be coupled with existing continuum approaches to perform emulations in their input parameter spaces.

ab initio calculations

Why the electron chooses one of two symmetry-related paths in the type II bacterial photosynthetic reaction centers

A series of electron and proton transfer reactions are carried out in photosynthetic reaction centers that convert the energy of light into high energy reduced products and add to the proton gradient. All photosynthetic reaction centers (photosystems I, II, and different bacterial reaction centers (bRCs)) have their charge separating cofactors arranged with two, c 2 -symmetric paths from a primary donor to a terminal acceptor. In Type II reaction centers (PSII and bRCs), electrons utilize only one active branch. In bRCs the electron transfer occurs in the A branch from the excited state of the bacteriochlorophyll (BChl) dimer P 860 through BChl A , bacteriopheophytin A (BPh A ), to ubiquinone Q A , and then to the B-branch Q B . B-branch BChl B and BPh B do not participate. A similar path is found in PSII. These proteins challenge our understanding of how proteins can turn on or turn off the activity of bound ligands. The shift of the electrochemical midpoint potential (E m ) of each cofactor by the protein environment is calculated using continuum electrostatics within the Multi-Conformation Continuum Electrostatic (MCCE) program. In bRCs from Rhodobacter sphaeroides, the electrostatic potentials favor reduction of the active branch cofactors. The residues that contribute to a more positive potential on the A branch are identified. These are often distant from the cofactors. The large difference of the potential at the competing BChls may direct the electron transfer to the A branch. Residues TyrM210 and PheL181 are at symmetrical positions on the A and B branches, near P 860 , between BChl A and BChl B . Mutated bRCs, that swap the Tyr and Phe (YF mutant), have been shown to support some electron transfer to the B-branch cofactors. Here, the calculated E m s with the YF swap show more positive B-branch potentials, which help explain why there is now electron transfer along the B branch.

Bacterial Reaction Center

Lipid Biomarkers for a Hypersaline Microbial Mat Community

The use of lipid biomarkers and their carbon isotopic compositions are valuable tools for establishing links to ancient microbial ecosystems. Various lipids associated with specific microbial groups can serve as biomarkers for establishing organism source and function in contemporary microbial ecosystems (membrane lipids), and by analogy, potential relevance to ancient organic-rich sedimentary rocks (geolipids). As witnessed by the stromatolite record, benthic microbial mats grew in shallow water lagoonal environments. Our recent work has focused on lipid biomarker analysis of a potential analogue for such ancient mats growing in a set of hypersaline evaporation ponds at Guerrero Negro, Baja California Sur, Mexico. The aerobic, surface layer of this mat (0 to 1 mm) contained a variety of ester-bound fatty acids (FA) representing a diverse bacterial population including cyanobacteria, sulphate reducers (SRB) and heterotrophs. Biomarkers for microeukaryotes detected in this layer included sterols, C-20 polyunsaturated FA and a highly branched isoprenoid, diagnostic for diatoms. Cyanobacteria were also indicated by the presence of a diagnostic set of mid-chain methylalkanes. C-28, to C-34 wax esters (WXE) present in relatively small amounts in the upper 3 mm of the mat are considered biomarkers for green non-sulphur bacteria. Ether-bound isoprenoids were also identified although in considerably lower abundance than ester-bound FA (approx. 1:l0). These complex ether lipids included archatol, hydroxyarchaeol and a C-40 tetraether, all in small amounts. After ether cleavage with boron tribromide, the major recovered isoprenyl was a C-30:1. This C(sub 30;1) yelded squalane after hydrogenation, a known geobiomarker for hypersaline environments in ancient oils and sediments. In this mat, it represents the dominant Archaeal population. The carbon isotopic composition of biomarker lipids were generally depleted relative to the bulk organic material (delta C-13 TOC -10%). Most depleted were the cyanobacterial methylalkanes at -27% with FA such as the SRB biomarker, 10- methyl C-I6, somewhat heavier at -16%, and WXE at -17%. The C-30:1 isoprenyl was most enriched with delta C-13 in the -7 to -11% range, much too heavy to represent the methanogen population responsible for mat methane values measured at -60%.

Jahnke, Linda

Oral branched-chain amino acids decrease whole-body proteolysis

BACKGROUND: This study reports the effects of ingesting branched-chain amino acids (leucine, valine, and isoleucine) on protein metabolism in four men. METHODS: To calculate leg protein synthesis and breakdown, we used a new model that utilized the infusion of L-[ring-13C6]phenylalanine and the sampling of the leg arterial-venous difference and muscle biopsies. In addition, protein-bound enrichments provided for the direct calculation of muscle fractional synthetic rate. Four control subjects ingested an equivalent amount of essential amino acids (threonine, methionine, and histidine) to discern the effects of branched-chain amino acid nitrogen vs the effects of essential amino acid nitrogen. Each drink also included 50 g of carbohydrate. RESULTS: Consumption of the branched-chain and the essential amino acid solutions produced significant threefold and fourfold elevations in their respective arterial concentrations. Protein synthesis and breakdown were unaffected by branched-chain amino acids, but they increased by 43% (p < .05) and 36% (p < .03), respectively, in the group consuming the essential amino acids. However, net leg balance of phenylalanine was unchanged by either drink. Direct measurement of protein synthesis by tracer incorporation into muscle protein (fractional synthetic rate) revealed no changes within or between drinks. Whole-body phenylalanine flux was significantly suppressed by each solution but to a greater extent by the branched-chain amino acids (15% and 20%, respectively) (p < .001). CONCLUSIONS: These results suggest that branched-chain amino acid ingestion suppresses whole-body proteolysis in tissues other than skeletal muscle in normal men.

NASA Discipline Number 18-10

Search for the lepton-flavor-violating τ − → e ∓ ℓ ± ℓ − decays at Belle II

We present the result of a search for the charged-lepton-flavor violating decays τ − → e ∓ ℓ ± ℓ − , where ℓ is a muon or an electron, using a data sample with an integrated luminosity of 428 fb −1 recorded by the Belle II experiment at the SuperKEKB e + e − collider. The selection of e + e − → τ + τ − events containing a signal candidate is based on an inclusive-tagging reconstruction and on a boosted decision tree to suppress background. Upper limits on the branching fractions between 1.3 and 2.5 × 10 −8 are set at the 90% confidence level. These results are the most stringent bounds to date for four of the modes.

flavour physics

Investigation of finite element: ABC methods for electromagnetic field simulation

The mechanics of wave propagation in the presence of obstacles is of great interest in many branches of engineering and applied mathematics like electromagnetics, fluid dynamics, geophysics, seismology, etc. Such problems can be broadly classified into two categories: the bounded domain or the closed problem and the unbounded domain or the open problem. Analytical techniques have been derived for the simpler problems; however, the need to model complicated geometrical features, complex material coatings and fillings, and to adapt the model to changing design parameters have inevitably tilted the balance in favor of numerical techniques. The modeling of closed problems presents difficulties primarily in proper meshing of the interior region. However, problems in unbounded domains pose a unique challenge to computation, since the exterior region is inappropriate for direct implementation of numerical techniques. A large number of solutions have been proposed but only a few have stood the test of time and experiment. The goal of this thesis is to develop an efficient and reliable partial differential equation technique to model large three dimensional scattering problems in electromagnetics.

Chatterjee, A.

Core mass at the helium flash from observations and a new bound on neutrino electromagnetic properties

Existing measurements of the bolometric magnitudes of the brightest red giants in 26 globular clusters are used to determine the brightness difference between the tip of the red giant branch (on average found to be 0.1 mag brighter than the brightest red giant) and RR Lyrae stars. The metallicity variation of the result agrees perfectly with theoretical predictions. In conjunction with previous determinations of the number ratio of horizontal-branch versus red giant stars, with statistical parallax determinations of RR Lyrae absolute luminosities, and with theoretical predictions based on the Sweigart and Gross evolutionary sequences, this result yields an allowed range for a hypothetical core mass variation relative to the standard results of (0.009 + or - 0.012) solar mass. If neutrinos had anomalous electromagnetic dipole moments, the increased energy loss near the helium flash would lead to an increased core mass. Constraints on neutrino electromagnetic properties are determined from the color-magnitude diagrams of the globular clusters.

Raffelt, Georg G.

Mission Life Thermal Analysis and Environment Correlation for the Lunar Reconnaissance Orbiter

Standard thermal analysis practices include stacking worst-case conditions including environmental heat loads, thermo-optical properties and orbital beta angles. This results in the design being driven by a few bounding thermal cases, although those cases may only represent a very small portion of the actual mission life. The NASA Goddard Space Flight Center Thermal Branch developed a procedure to predict the flight temperatures over the entire mission life, assuming a known beta angle progression, variation in the thermal environment, and a degradation rate in the coatings. This was applied to the Global Precipitation Measurement core spacecraft. In order to assess the validity of this process, this work applies the similar process to the Lunar Reconnaissance Orbiter. A flight-correlated thermal model was exercised to give predictions of the thermal performance over the mission life. These results were then compared against flight data from the first two years of the spacecraft s use. This is used to validate the process and to suggest possible improvements for future analyses.

Garrison, Matthew B.

On complexity of trellis structure of linear block codes

The trellis structure of linear block codes (LBCs) is discussed. The state and branch complexities of a trellis diagram (TD) for a LBC is investigated. The TD with the minimum number of states is said to be minimal. The branch complexity of a minimal TD for a LBC is expressed in terms of the dimensions of specific subcodes of the given code. Then upper and lower bounds are derived on the number of states of a minimal TD for a LBC, and it is shown that a cyclic (or shortened cyclic) code is the worst in terms of the state complexity among the LBCs of the same length and dimension. Furthermore, it is shown that the structural complexity of a minimal TD for a LBC depends on the order of its bit positions. This fact suggests that an appropriate permutation of the bit positions of a code may result in an equivalent code with a much simpler minimal TD. Boolean polynomial representation of codewords of a LBC is also considered. This representation helps in study of the trellis structure of the code. Boolean polynomial representation of a code is applied to construct its minimal TD. Particularly, the construction of minimal trellises for Reed-Muller codes and the extended and permuted binary primitive BCH codes which contain Reed-Muller as subcodes is emphasized. Finally, the structural complexity of minimal trellises for the extended and permuted, and double-error-correcting BCH codes is analyzed and presented. It is shown that these codes have relatively simple trellis structure and hence can be decoded with the Viterbi decoding algorithm.

Lin, Shu

Extending Symmetry-Preserving Attention Networks (SPANet) for Jet Assignment in Fully Hadronic \(t\bar{t}\) Events

Fully hadronic \(t\bar{t}\) reconstruction requires assigning reconstructed jets to the two top-quark decay branches, \(t\bar{t}\to(Wb)(Wb)\to(qqb)(qqb)\). This is a combinatorially large, symmetry-rich, and frequently underconstrained set-assignment problem due to detector effects and partial reconstructability. SPANet provides a strong symmetry-preserving baseline for this task, but its standard inference eagerly commits to a single hypothesis and does not explicitly treat branch-level reconstructability decisions. We present a two-stage extension of the SPANet pipeline for fully hadronic \(t\bar{t}\) events: (i) SPANet is modified into a proposal model that generates a shortlist of candidate jet assignments; (ii) a custom dual-head set transformer is trained to re-rank these candidates and identify reconstructible branches. Our extension gives modest improvements in candidate-selection efficiency, with SPANet achieving \(69.9\%\) and our extension achieving \(71.1\%\). Finally, an oracle study of the generated shortlist shows a substantial upper bound of \(88.5\%\) on the evaluated fully reconstructable subset, suggesting that the shortlist contains significant residual information that is not fully exploited.

Lisondodi Tada, Mateo [Puerto Rico U., Mayaguez] (

Generating Voronoi Diagrams for Curved Shapes with Divide-and-Conquer

Voronoi diagrams have been used in many practical applications including solid modeling, Numerical Control machining, Finite Element mesh generation, etc. Investigating the properties of these diagrams is an active research topic with many fruitful results. Computational techniques for Voronoi diagrams, however, have been concentrated on low order elements, for points, lines, polygons, quadratic curves and surfaces. This paper presents a divide-and-conquer scheme computing the diagrams for planar shapes bounded by closed curves commonly encountered in Computer Aided Design. These curves include analytical curves and splines. The algorithm first divides the boundary curve into sections, delimited by curve points with the minimal curvatures. Bisector branches for these sections are then generated and merged recursively to obtain the final diagram. A detailed example in the paper shows the steps of the generation and merging of the bisectors. A simple analysis of the complexity of the algorithm is also presented.

Chou, Jin J.

AC/DC Power Systems with Applications for future Lunar/Mars base and Crew Exploration Vehicle

ABSTRACT The Power Systems branch at JSC faces a number of complex issues as it readies itself for the President's initiative on future space exploration beyond low earth orbit. Some of these preliminary issues - those dealing with electric power generation and distribution on board Mars-bound vehicle and that on Lunar and Martian surface may be summarized as follows: Type of prime mover - Because solar power may not be readily available on parts of the Lunar/Mars surface and also during the long duration flight to Mars, the primary source of power will most likely be nuclear power (Uranium fuel rods) with a secondary source of fuel cell (Hydrogen supply). The electric power generation source - With nuclear power being the main prime mover, the electric power generation source will most likely be an ac generator at a yet to be determined frequency. Thus, a critical issue is whether the generator should generate at constant or variable frequency. This will decide what type of generator to use - whether it is a synchronous machine, an asynchronous induction machine or a switched reluctance machine. The type of power distribution system - the distribution frequency, number of wires (3- wire, 4-wire or higher), and ac/dc hybridization. Building redundancy and fault tolerance in the generation and distribution sub-systems so that the system is safe; provides 100% availability to critical loads; continues to operate even with faulted sub-systems; and requires minimal maintenance. This report descril_es results of a summer faculty fellowship spent in the Power Systems Branch with the specific aim of investigating some of the lessons learned in electric power generation and usage from the terrestrial power systems industry, the aerospace industry as well as NASA's on-going missions so as to recommend novel surface and vehicle-based power systems architectures in support of future space exploration initiatives. A hybrid ac/dc architecture with source side and load side redundancies and including emergency generators on both ac and dc sides is proposed. The generation frequency is 400 Hz mostly because of the technology maturity at this frequency in the aerospace industry. Power will be distributed to several ac load distribution buses through solid state variable speed, constant frequency converters on the ac side. A segmented dc ring bus supplied from ac/dc converters and with the capability of connecting/disconnecting the segments will supply power to multiple de load distribution buses. The system will have the capability of reverse flow from dc to ac side in the case of an extreme emergency on the main ac generation side.

Chowdhury, Badrul H.

Advanced Method Optimization for Sampling and Analysis Instrumentation

This work presents a generalized approach for analytical method optimization that branches the gap between techniques historically employed and accurate modern optimization techniques suitable for various applications. The novelty of the described strategy is the utilization of multivariate, multiobjective optimization with Karush-Kuhn-Tucker conditions to bound the optimization space to solutions within the physical limitations of instrumentation. Briefly, the basic steps outlined in this paper are to (1) determine the objective(s) that should be maximized or minimized based on the goals of the analytical application, (2) conduct a screening experiment, (3) perform ANOVA to determine the parameters which have a statistically significant effect on the objective, (4) conduct an experiment (e.g., Box-Behnken design) to collect data for fitting the objective equation, and (5) determine the physical constraints of the parameters and solve the Lagrangian to determine the optimal method parameters. A broad approach to optimization target selection allows for robust method tuning to develop improved data sets amenable for chemometrics and machine learning algorithm development. Gas chromatography-mass spectrometry was selected as a use case due to its broad use across scientific fields and time-consuming method development involving numerous parameters. In conclusion, this strategy can reduce the cost of research, improve data quality, and enable the rapid development of new analytical technique.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH

W -boson exotic decay into three charged leptons at the LHC

We investigate the W boson’s exotic decay channel, W → ℓ ℓ ℓ ν , at the LHC. Although the four-body final states suppress the decay branching ratio, the large production of W bosons makes detecting and precisely measuring this decay probability entirely feasible. Our simulation study indicates that this tiny branching ratio can be measured with subpercent precision at the HL-LHC. This decay channel can also constrain Standard Model extensions. Using the L μ − L τ model as a benchmark, we find that the current bound on the gauge coupling for Z ′ mass in the range of [4, 75] GeV can significantly improve. Published by the American Physical Society 2024

Fei, Yifan (ORCID:0009000988504767)

The Ionized Gas and Nuclear Environment in NGC 3783: Variability and Modeling of the 900 ks CHANDRA Spectrum - IV

We present a detailed analysis of the 900 ks spectrum of NGC3783 obtained by Chandra in 2000-2001 (Kaspi et al. 2002). We split the data in various ways to look for time dependent and luminosity dependent spectral variations. This analysis, the measured equivalent widths of a large number of X-ray lines, and our photoionization calculations, lead us to the following conclusions: 1) NGC 3783 fluctuated in luminosity, by a factor N 1.5, during individual 170 ks observations. The fluctuations were not associated with significant spectral variations. 2) On a longer time scale, of 20-120 days, we discovered two very different spectral shapes that are noted the high state and the low state spectra. The observed changes between the two can be described as the appearance and disappearance of a soft continuum component. The spectral variations are not related, in a simple way, to the brightening or the fading of the short wavelength continuum, as observed in other objects. NGC3783 seems to be the first AGN to show this unusual behavior. 3) The appearance of the soft continuum component is consistent with beeing the only spectral variation and there is no need to invoke changes in the absorber s opacity. In particular, all absorption lines with reliable measurements show the same equivalent width, within the observational uncertainties, during high and low states. 4) Photoionization model calculations show that a combination of three ionization components, each split into two kinematic components, explain very well the intensity of almost all absorption lines and the bound-free absorption. The components span a large range of ionization and a total column of about 3 x 10(exp 22) per square centimeter Moreover, all components are thermally stable and are situated on the vertical branch of the stability curve.. This means that they are in pressure equilibrium and perhaps occupy the same volume of space. This is the first detection of such a multi-component equilibrium gas in AGN. 5) The only real discrepancy between the model and the observations is the wavelength of the iron M-shell UTA feature. This is most likely due to an underestimation of the dielectronic recombination O VI and discuss its possible origin. 6) The lower limit on the distance of the absorbing gas in NGC3783 is between 0.2 and 3.2 pc, depending of the specific ionization component. The constant pressure assumption imposes an upper limit of about 25 pc on the distance of the least ionized gas from the central sourec.

Netzer, Hagai

Improving Coverage of Test Cases Generated by Symbolic PathFinder for Programs with Loops

Symbolic execution is a program analysis technique that is used for many purposes, one of which is test-case generation. For loop-free programs, this generates a test-set that achieves path coverage. Program loops, however, imply exponential growth of the number of paths in the best case and non-termination in the worst case. In practice, the number of loop unwindings needs to be bounded for analysis. We consider symbolic execution in the context of the tool Symbolic Pathfinder. This tool extends the model-checker Java Pathfinder and relies on its bounded state-space exploration for termination. We present an implementation of k-bounded loop unwinding, which increases the amount of user-control over the symbolic execution of loops. Bounded unwinding can be viewed as a naive way to prune paths through loops. When using symbolic execution for test-case generation, naively pruning paths is likely at the cost of coverage. In order to improve coverage of branches within a loop body, we present a technique that semi-automatically concretizes variables used in a loop. The basic technique is limited and we therefore present annotations to manually steer symbolic execution towards certain branches, as well as ideas on how the technique can be extended to be more widely applicable.

Programs With Loops

Time-Resolved Probing of the Iodobenzene C-Band Using XUV-Induced Electron Transfer Dynamics

Time-resolved extreme ultraviolet spectroscopy was used to investigate photodissociation within the iodobenzene C-band. The carbon–iodine bond of iodobenzene was photolyzed at 200 nm, and the ensuing dynamics were probed at 10.3 nm (120 eV) over a 4 ps range. Two product channels were observed and subsequently isolated by using a global fitting method. Their onset times and energetics were assigned to distinct electron transfer dynamics initiated following site-selective ionization of the iodine photoproducts, enabling the electronic states of the phenyl fragments to be identified using a classical over-the-barrier model for electron transfer. In combination with previous theoretical work, this allowed the corresponding neutral photochemistry to be assigned to (1) dissociation via the 7B2, 8A2, and 8B1 states to give ground-state phenyl, Ph(X), and spin–orbit excited iodine and (2) dissociation through the 7A1 and 8B2 states to give excited-state phenyl, Ph(A), and ground-state iodine. The branching ratio was determined to be 87 ± 4% Ph(X) and 13 ± 4% Ph(A). Similarly, the corresponding amount of energy deposited into the internal phenyl modes in these channels was determined to be 44 ± 10 and 65 ± 21%, respectively, and upper bounds to the channel rise times were found to be 114 ± 6 and 310 ± 60 fs.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH

Resolving SPARC–HSA binding kinetics with an ultrasensitive photonic sensor based on bound states in the continuum

Secreted protein acidic and rich in cysteine (SPARC) is critical in cell-matrix interactions and tissue remodeling. It influences tumor progression through its affinity for human serum albumin (HSA) - the most abundant plasma protein, which also plays a crucial role in drug delivery. Strong molecular binding leads to a dissociation constant KD in the nanomolar range. Thus, determining KD requires detecting sub-nanomolar concentrations with ultrasensitive methods. This may be crucial for elucidating the nature of SPARC-HSA binding, as their interaction remains a subject of debate. Capturing these interactions accurately requires a platform capable of resolving rapid binding kinetics at extremely low analyte concentrations. In this work, we report on a microfluidics-integrated photonic nanostructure that supports bound states in the continuum (BICs) and is optimized for studying the fast kinetics of high-affinity protein-protein interactions. The unprecedented capability of detecting sub-nanomolar concentrations allows quantifying KD between SPARC and HSA beyond the state of the art. We leverage an all-dielectric photonic crystal slab (PhCS) sustaining two BIC branches arising from gapped Dirac cone dispersion. HSA is covalently immobilized on the PhCS bonded to a PDMS microfluidic chamber. SPARC dissociation is carried out using PBS buffer (pH 7.4), ensuring complete protein release through precise control of the flow rate and continuous spectral monitoring of the BICs. The measured KD=8.2±0.8 nM confirms the strong affinity of SPARC for HSA. This study highlights the potential of BIC-based sensing as a versatile tool for investigating protein interactions. These results also have implications for the optimization of drug delivery systems and cancer treatment strategies.

Albumin