Search NASA⌕ Search

SEARCH · Search NASA

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 55 records · Page 3

On the error probability of general tree and trellis codes with applications to sequential decoding

An upper bound on the average error probability for maximum-likelihood decoding of the ensemble of random binary tree codes is derived and shown to be independent of the length of the tree. An upper bound on the average error probability for maximum-likelihood decoding of the ensemble of random L-branch binary trellis codes of rate R = 1/n is derived which separates the effects of the tail length T and the memory length M of the code. It is shown that the bound is independent of the length L of the information sequence. This implication is investigated by computer simulations of sequential decoding utilizing the stack algorithm. These simulations confirm the implication and further suggest an empirical formula for the true undetected decoding error probability with sequential decoding.

Johannesson, R.↗

Atmospheric parameters of field subdwarf B stars

High signal-to-noise ratio optical spectrophotometry of a sample of field subluminous B stars drawn largely from the Palomar Green ultraviolet-excess survey is analyzed with a new grid of model atmospheres and synthetic spectra. The stellar effective temperatures, surface gravities, and photospheric helium abundances are determined simultaneously from a detailed analysis of hydrogen and helium absorption line profiles. The derived temperatures and gravities place the subluminous B stars in the theoroetical Hertzsprung-Russell (H-R) diagram along and bounded below by theoretical sequences of the zero-age extended horizontal branch, lending strong support to the hypothesis that these stars are composed of helium-burning cores of approximately 0.5 solar mass overlain by very thin layers of hydrogen (approximately less than 0.02 solar mass). Various scenarios for their past evolutionary history are examined in the context of their probable future evolution into white dwarfs of lower than average mass.

Saffer, Rex A.↗

Deexcitation of muonic molecules by internal conversion

Deexcitation rates, lifetimes, and branching ratios are calculated for all the J = 0, J = 1, and J = 2 bound states of the muonic molecular ion td(mu) when it serves as the nucleus of a hydrogen atom. The J = 2 binding energy (E2 = 101.59 eV) is the first reported variational result for this state. It is found that the excited J = 0 state is populated several hundred times as often as the ground state.

Bhatia, A. K.↗

Recursive Branching Simulated Annealing Algorithm

This innovation is a variation of a simulated-annealing optimization algorithm that uses a recursive-branching structure to parallelize the search of a parameter space for the globally optimal solution to an objective. The algorithm has been demonstrated to be more effective at searching a parameter space than traditional simulated-annealing methods for a particular problem of interest, and it can readily be applied to a wide variety of optimization problems, including those with a parameter space having both discrete-value parameters (combinatorial) and continuous-variable parameters. It can take the place of a conventional simulated- annealing, Monte-Carlo, or random- walk algorithm. In a conventional simulated-annealing (SA) algorithm, a starting configuration is randomly selected within the parameter space. The algorithm randomly selects another configuration from the parameter space and evaluates the objective function for that configuration. If the objective function value is better than the previous value, the new configuration is adopted as the new point of interest in the parameter space. If the objective function value is worse than the previous value, the new configuration may be adopted, with a probability determined by a temperature parameter, used in analogy to annealing in metals. As the optimization continues, the region of the parameter space from which new configurations can be selected shrinks, and in conjunction with lowering the annealing temperature (and thus lowering the probability for adopting configurations in parameter space with worse objective functions), the algorithm can converge on the globally optimal configuration. The Recursive Branching Simulated Annealing (RBSA) algorithm shares some features with the SA algorithm, notably including the basic principles that a starting configuration is randomly selected from within the parameter space, the algorithm tests other configurations with the goal of finding the globally optimal solution, and the region from which new configurations can be selected shrinks as the search continues. The key difference between these algorithms is that in the SA algorithm, a single path, or trajectory, is taken in parameter space, from the starting point to the globally optimal solution, while in the RBSA algorithm, many trajectories are taken; by exploring multiple regions of the parameter space simultaneously, the algorithm has been shown to converge on the globally optimal solution about an order of magnitude faster than when using conventional algorithms. Novel features of the RBSA algorithm include: 1. More efficient searching of the parameter space due to the branching structure, in which multiple random configurations are generated and multiple promising regions of the parameter space are explored; 2. The implementation of a trust region for each parameter in the parameter space, which provides a natural way of enforcing upper- and lower-bound constraints on the parameters; and 3. The optional use of a constrained gradient- search optimization, performed on the continuous variables around each branch s configuration in parameter space to improve search efficiency by allowing for fast fine-tuning of the continuous variables within the trust region at that configuration point.

Bolcar, Matthew↗

PRECiSA: a static analysis tool for floating-point programs

This presentation introduces PRECiSA, a static analysis framework for analyzing floating-point programs. PRECiSA computes round-off error bounds for a class of floating-point programs, and produces a formal proof certificate of the correctness of these bounds. PRECiSA also has the capability of generating C code which is instrumented to detect unstable branching conditions from a real-number algorithm specification.

Floating-point↗

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↗

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↗

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.↗

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↗

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.↗

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.↗

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.↗