Engineering Papers⌕ Search

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 91 records · Page 5
All sourcesNASA NTRSDOE OSTI
NASA NTRS2014

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↗
DOE OSTI2024

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↗
DOE OSTI2025

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↗
NASA NTRS1991

Red-giant evolution, metallicity, and new bounds on hadronic axions

Stellar cooling by nuclear axion emission is explored, identifying those special isotopes that dominate this process for temperatures from 10 to the 7th to 10 to the 9th K. It is argued that such nuclear energy-loss mechanisms are distinctive because the effects track metallicity. Three observables associated with evolution of stars along the red-giant and horizontal branches are shown to impose new and restrictive constraints on axions in the hadronic window.

Haxton, W. C.↗
DOE OSTI2024

High-temperature 205 Tl decay clarifies 205 Pb dating in early Solar System

Radioactive nuclei with lifetimes on the order of millions of years can reveal the formation history of the Sun and active nucleosynthesis occurring at the time and place of its birth. Among such nuclei whose decay signatures are found in the oldest meteorites, 205 Pb is a powerful example, as it is produced exclusively by slow neutron captures (the s process), with most being synthesized in asymptotic giant branch (AGB) stars. However, making accurate abundance predictions for 205 Pb has so far been impossible because the weak decay rates of 205 Pb and 205 Tl are very uncertain at stellar temperatures. To constrain these decay rates, we measured for the first time the bound-state β - decay of fully ionized 205 Tl 81+ , an exotic decay mode that only occurs in highly charged ions. The measured half-life is 4.7 times longer than the previous theoretical estimate and our 10% experimental uncertainty has eliminated the main nuclear-physics limitation. With new, experimentally backed decay rates, we used AGB stellar models to calculate 205 Pb yields. Propagating those yields with basic galactic chemical evolution (GCE) and comparing with the 205 Pb/ 204 Pb ratio from meteorites, we determined the isolation time of solar material inside its parent molecular cloud. We find positive isolation times that are consistent with the other s-process short-lived radioactive nuclei found in the early Solar System. Our results reaffirm the site of the Sun’s birth as a long-lived, giant molecular cloud and support the use of the 205 Pb– 205 Tl decay system as a chronometer in the early Solar System.

79 ASTRONOMY AND ASTROPHYSICS↗
NASA NTRS1990

Gamma guidance of trajectories for coplanar, aeroassisted orbital transfer

The optimization and guidance of trajectories for coplaner, aeroassisted orbital transfer (AOT) from high Earth orbit (HEO) to low Earth orbit (LEO) are examined. In particular, HEO can be a geosynchronous Earth orbit (GEO). It is assumed that the initial and final orbits are circular, that the gravitational field is central and is governed by the inverse square law, and that at most three impulses are employed: one at HEO exit, one at atmospheric exit, and one at LEO entry. It is also assumed that, during the atmospheric pass, the trajectory is controlled via the lift coefficient. The presence of upper and lower bounds on the lift coefficient is considered. First, optimal trajectories are computed by minimizing the total velocity impulse (hence, the propellant consumption) required for AOT transfer. The sequential gradient-restoration algorithm (SGRA) is used for optimal control problems. The optimal trajectory is shown to include two branches: a relatively short descending flight branch (branch 1) and a long ascending flight branch (branch 2). Next, attention is focused on guidance trajectories capable of approximating the optimal trajectories in real time, while retaining the essential characteristics of simplicity, ease of implementation, and reliability. For the atmospheric pass, a feedback control scheme is employed and the lift coefficient is adjusted according to a two-stage gamma guidance law. Further improvements are possible via a modified gamma guidance which is more stable with respect to dispersion effects arising from navigation errors, variations of the atmospheric density, and uncertainties in the aerodynamic coefficients than gamma guidance trajectory. A byproduct of the studies on dispersion effects is the following design concept. For coplaner aeroassisted orbital transfer, the lift-range-to-weight ratio appears to play a more important role than the lift-to-drag ratio. This is because the lift-range-to-weight ratio controls mainly the minimum altitude (hence, the peak heating rate) of the guidance trajectory; on the other hand, the lift-to-drag ratio controls mainly the duration of the atmospheric pass of the guidance trajectory.

Miele, A.↗
DOE OSTI2026

Search for light pseudoscalar boson pairs produced from Higgs boson decays using the 4τ and 2μ2τ final states in proton-proton collisions at $\sqrt{s}=13$ TeV

A search for a pair of light pseudoscalar bosons (a 1 ) produced in the decay of the 125 GeV Higgs boson is presented. The analysis examines decay modes where one a 1 decays into a pair of tau leptons and the other decays into either another pair of tau leptons or a pair of muons. The a1 boson mass probed in this study ranges from 4 to 15 GeV. The data sample was recorded by the CMS experiment in proton-proton collisions at a center-of-mass energy of 13 TeV and corresponds to an integrated luminosity of 138 fb −1 . No excess above standard model (SM) expectations is observed. The study combines the 4τ and 2μ2τ channels to set upper limits at 95% confidence level (CL) on the product of the Higgs boson production cross section and the branching fraction to the 4τ final state, relative to the Higgs boson production cross section predicted by the SM. In this interpretation, the a 1 boson is assumed to have Yukawa-like couplings to fermions, with coupling strengths proportional to the respective fermion masses. The observed (expected) upper limits range between 0.007 (0.011) and 0.079 (0.066) across the mass range considered. The results are also interpreted in the context of models with two Higgs doublets and an additional complex singlet field (2HD+S). The tightest constraints are obtained for the Type III 2HD+S model. In this case, assuming the Higgs boson production cross section equals the SM prediction, values of the branching ratio for the Higgs boson decay into a pair of a1 bosons exceeding 16% are excluded at 95% CL for a1 boson masses between 5 and 15 GeV and tan β > 2, with the exception of scenarios in which the a1 boson mixes with charm or bottom quark-antiquark bound states.

Higgs physics↗
NASA NTRS2000

Over-Expression, Purification and Crystallization of Human Dihydrolipoamide Dehydrogenase

Dehydrolipoamide dehydrogenase (E3; dihydrolipoan-tide:NAD+ oxidoreductase, EC 1.8.1.4) is a common catalytic component found in pyruvate dehydrogenase complex, alpha-ketoglutarate dehydrogenase complex, and branched-chain cc-keto acid dehydrogenase complex. E3 is also a component (referred to as L protein) of the glycine cleavage system in bacterial metabolism (2). Active E3 forms a homodimer with four distinctive subdomain structures (FAD binding, NAD+ binding, central and interface domains) with non-covalently but tightly bound FAD in the holoenzyme. Deduced amino acids from cloned full-length human E3 gene showed a total of 509 amino acids with a leader sequence (N-terminal 35 amino acids) that is excised (mature form) during transportation of expressed E3 into mitochondria membrane. So far, three-dimensional structure of human E3 has not been reported. Our effort to achieve the elucidation of the X-ray crystal structure of human E3 will be presented. Recombinant pPROEX-1 expression vector (from GIBCO BRL Life Technologies) having the human E3 gene without leader sequence was constructed by Polymerase Chain Reaction (PCR) and subsequent ligation, and cloned in E.coli XL1-Blue by transformation. Since pPROEX-1 vector has an internal His-tag (six histidine peptide) located at the upstream region of a multicloning site, one-step affinity purification of E3 using nickelnitriloacetic acid (Ni-NTA) agarose resin, which has a strong affinity to His-tag, was feasible. Also a seven-amino-acid spacer peptide and a recombinant tobacco etch virus protease recognition site (seven amino acids peptide) found between His-tag and first amino acid of expressed E3 facilitated the cleavage of His-tag from E3 after the affinity purification. By IPTG induction, ca. 15 mg of human E3 (mature form) was obtained from 1L LB culture with overnight incubation at 25C. Over 98% of purity of E3 from one-step Ni-NTA agarose affinity purification was confirmed by SDS-PAGE analysis. For crystallization, E3 samples were prepared with and without His-tag. To minimize the aggregation of E3, apo- and holo- forms of E3s were tested, as well as a mutated E3. Dynamic light scattering measurements revealed that the E3 preparations without His-tag and substrate are highly monodispersive with regard to homodimers. Consequent crystallization trials of this E3 preparation led to single crystals of E3 grown by the vapor diffusion method. Crystals were obtained within a few days from solution containing poly (ethylene glycol) monomethyl ether 5000 as a precipitant. Autoindexing and integration of the X-ray diffraction data showed that E3 crystals belong to an orthorhombic system with unit cell parameters a-- 123. 1, b= 165.3 and c=214.3A. Further optimization of protein preparation and crystallization experiments for the structural determination will be discussed.

Hong, Y. S.↗
NASA NTRS1990

New bound on neutrino dipole moments from globular-cluster stars

Neutrino dipole moments mu(nu) would increase the core mass of red giants at the helium flash by delta(Mc) = 0.015 solar mass x mu(nu)/10 to the -12th muB (where muB is the Bohr magneton) because of enhanced neutrino losses. Existing measurements of the bolometric magnitudes of the brightest red giants in 26 globular clusters, number counts of horizontal-branch stars and red giants in 15 globular clusters, and statistical parallax determinations of field RR Lyr luminosities yield delta(Mc) = 0.009 + or - 0.012 solar mass, so that conservatively mu(nu) is less than 3 x 10 to the -12th muB.

Raffelt, Georg G.↗
NASA NTRS1981

Implementation of context independent code on a new array processor: The Super-65

The feasibility of rewriting standard uniprocessor programs into code which contains no context-dependent branches is explored. Context independent code (CIC) would contain no branches that might require different processing elements to branch different ways. In order to investigate the possibilities and restrictions of CIC, several programs were recoded into CIC and a four-element array processor was built. This processor (the Super-65) consisted of three 6502 microprocessors and the Apple II microcomputer. The results obtained were somewhat dependent upon the specific architecture of the Super-65 but within bounds, the throughput of the array processor was found to increase linearly with the number of processing elements (PEs). The slope of throughput versus PEs is highly dependent on the program and varied from 0.33 to 1.00 for the sample programs.

Colbert, R. O.↗
NASA NTRS1992

Variational derivation of equation for generalized pair correlation function

The wavefunction of a system is explicitly written down in a fully anti-symmetric way between a fermion pair and a medium, and the equations for each one of them are derived from the variation of total energy for bound systems and by forming appropriate scalar products for continuum states. High-energy particles, such as protons, electrons, and nuclei impinging upon spacecraft, produce secondary radiations. In order to protect the internal environment of spacecraft from these radiations, their intensities are determined in many instances theoretically, and an appropriate program has been developed in the High Energy Science Branch. The purpose of this research is to investigate the problem of indistinguishability of an incident projectile with one of the same in a target.

Malik, F. Bary↗
DOE OSTI2025

Bridging the gap: Deploying AI-based Models in Real-Time Fusion Plasma Control Systems

Achieving reliable real-time control in fusion plasma experiments requires strict timing guarantees across entire control algorithms. In earlier work by Abbate et al. (2023), we demonstrated the feasibility of neural-network-based control algorithms on the DIII-D tokamak using the internally developed open-source Keras2C library for model conversion into C (Conlin et al. (2021)). However, the initial implementations relied on data buffering and branching logic outside the neural network code, causing variability in execution times. Subsequent deployments on DIII-D and KSTAR—including the RTCAKENN algorithm for kinetic profile reconstruction—proved that minimizing branching and buffering throughout the pipeline yields consistent millisecond-level cycle times under real experimental conditions (Shousha et al. (2023)). However, keeping pace with rapidly evolving AI frameworks (e.g. PyTorch) is challenging. Finally, we, therefore, propose a community-driven open-source effort to expand the tool, enabling real-time deployment across diverse systems that require strictly bounded execution times.

AI-based models↗
NASA NTRS1990

The performance of trellis-coded MDPSK with multiple symbol detection

The idea of using a multiple (more than two) symbol observation interval to improve error probability performance is applied to differential detection of trellis-coded multiple phase-shift keying (MPSK) over an additive white Gaussian noise (AWGN) channel. An equivalent Euclidean distance measure per trellis branch is determined for this detection scheme. This is used to define an augmented (larger multiplicity) trellis code whose distance measure is the conventional squared Euclidean distance typical of conventional trellis-coded modulation on the AWGN. Such an augmented multiple trellis code is a convenient mathematical tool for simplifying the analysis. Results are obtained by a combination of analysis (upper Chernoff bounds and asymptotic large-SNR approximations) and computer simulation. It is shown that only a slight increase (e.g., one symbol) in the length of the observation interval will provide a significant improvement in bit error probability performance.

Divsalar, Dariush↗
NASA NTRS1989

Quantization effects in Viterbi decoding rate 1/n convolutional codes

A Viterbi decoder's performance loss due to quantizing data from the additive white Gaussian noise (AWGN) channel is studied. An optimal quantization scheme and branch metric calculation method are presented. The uniformly quantized channel capacity C(sub u)(q) is used to determine the smallest number of quantization bits q that does not cause a significant loss. The quantizer stepsize which maximizes C(sub u)(q) almost minimizes the decoder bit error rate (BER). However, a slightly larger stepsize is better, like the value that minimizes the Bhattacharyya bound. The range and renormalization of state metrics is analyzed, in particular for K = 15 decoders such as the Big Viterbi Decoder (BVD) for the Galileo mission. These results are required to design reduced hardware complexity Viterbi decoders with a negligible quantization loss.

Onyszchuk, I. M.↗
DOE OSTI2025

Search for light long-lived particles decaying to displaced jets in proton–proton collisions at $\sqrt{s} = 13.6$ TeV

A search for light long-lived particles (LLPs) decaying to displaced jets is presented, using a data sample of proton–proton collisions at a center-of-mass energy of 13.6 TeV, corresponding to an integrated luminosity of 34.7 fb −1 , collected with the CMS detector at the CERN LHC in 2022. Novel trigger, reconstruction, and machine-learning techniques were developed for and employed in this search. After all selections, the observations are consistent with the background predictions. Limits are presented on the branching fraction of the Higgs boson to LLPs that subsequently decay to quark pairs or tau lepton pairs. An improvement by up to a factor of 10 is achieved over previous limits for models with LLP masses smaller than 60 GeV and proper decay lengths smaller than 1 m. The first constraints are placed on the fraternal twin Higgs (FTH) and folded supersymmetry (FSUSY) models, where the lower bounds on the top quark partner mass reach up to 350 GeV for the FTH model and 250 GeV for the FSUSY model.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗
NASA NTRS1977

The influence of autoionization accompanied by excitation on dielectronic recombination and ionization equilibrium

In the process of dielectronic recombination, the doubly excited state formed by radiationless capture may autoionize preferentially into an excited state of the recombining ion. This additional autoionization process has not been discussed in previous treatments of dielectronic recombination. The dielectronic recombination rates for certain nonhydrogenic Fe ions, although still larger than the direct radiative recombination rates, are found to be substantially reduced by the inclusion of the additional autoionization rate in the branching ratio for the stabilizing radiative transition. Consequently, the temperatures of maximum equilibrium abundance are significantly lower than those predicted by recent calculations. Finally, the radiative energy loss rate coefficients are calculated for radiation processes involving electron Fe-ion collisions in high-temperature plasmas. Electron impact excitation of resonance line radiation is the dominant radiative cooling mechanism in steady-state plasmas at temperatures where ions with bound electrons are abundant. However, it is found that the radiation emitted during dielectronic recombination can be more important than direct recombination radiation and bremsstrahlung.

Jacobs, V. L.↗
NASA NTRS1978

An example of branching in a variational problem

In an experiment in space it was found that when a cubical frame was slowly withdrawn from a soap solution, the wire frame retained practically a full cube of liquid. Removed from the frame (by shaking), the faces of the cube became progressively more concave, until adjacent faces became tangential. In the present paper a mathematical model describing the shape a liquid takes due to its surface tension while suspended on a wire frame in zero-g is solved by use of Lagrange multipliers. It is shown how the configuration of soap films so bounded is dependent upon the volume of liquid trapped in the films. A special case of the solution is a soap film naturally formed on a cubical wire frame.

Darbro, W.↗
NASA NTRS1995

Giant branch mixing and the ultimate fate of primordial deuterium in the Galaxy

The observed cosmic abundances of light elements are most consistent with each other, and with the predictions of big bang nucleosynthesis, if, contrary to the usual assumption, galactic chemical evolution reduces (D = He-3)/H with time. Chemical evolution models which accomplish this require that low-mass stars destroy He-3 in the envelope gas that they return to the interstellar medium. A simple argument based on the rates of limiting nuclear reactions shows that the same giant branch mixing process which appears to be needed to explain the observed C-12/C-13 and C/N ratios in 1-2 solar mass stars would indeed also probably destroy He-3 by a large factor in the bulk of the envelope material. The conclusion is that Galactic He-3/H estimates should not be trusted for setting an upper limit on primordial (D = He-3)/H. This removes the strongest lower bound on the cosmic baryon density from big bang nucleosynthesis and the only argument for abundant baryonic dark matter.

Hogan, Craig J.↗