Search NASA⌕ Search

SEARCH · Search NASA

Results for “Complexity bounding”

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 109 records · Page 6

Model reduction by trimming for a class of semi-Markov reliability models and the corresponding error bound

Semi-Markov processes have proved to be an effective and convenient tool to construct models of systems that achieve reliability by redundancy and reconfiguration. These models are able to depict complex system architectures and to capture the dynamics of fault arrival and system recovery. A disadvantage of this approach is that the models can be extremely large, which poses both a model and a computational problem. Techniques are needed to reduce the model size. Because these systems are used in critical applications where failure can be expensive, there must be an analytically derived bound for the error produced by the model reduction technique. A model reduction technique called trimming is presented that can be applied to a popular class of systems. Automatic model generation programs were written to help the reliability analyst produce models of complex systems. This method, trimming, is easy to implement and the error bound easy to compute. Hence, the method lends itself to inclusion in an automatic model generator.

White, Allan L.↗

CO observations of the galactic star-forming region W58

Observations of (C-12)O and (C-13)O have been made in the direction of the strong galactic radio source W58, which contains the compact H II regions K3-50 and ON-3. An extended molecular cloud with dimensions of 55 x 40 pc is associated with the northern part of the H II region complex. The density of the molecular cloud increases from west to east; the molecular cloud is bounded on the east by a larger H I cloud. Present star-formation activity is taking place at the position of maximum molecular density, at what appears to be the interface of the H I cloud and the H II region complex. The velocity structure of the CO cloud and the compact H II regions are in agreement with the blister model. Radio continuum and H I line observations show indications of a shell structure in the southwest of W58. Present star formation in W58 may be caused by this expanding shell.

Israel, F. P.↗

NGC 5291: Implications for the Formation of Dwarf Galaxies

The possible formation and evolution of dwarf irregular galaxies from material derived from perturbed evolved galaxies is addressed via an H I study of a likely example, the peculiar system NGC 5291. This system, located in the western outskirts of the cluster Abell 3574, contains the lenticular galaxy NGC 5291 which is in close proximity to a disturbed companion and is flanked by an extensive complex of numerous knots extending roughly 4 min north and 4 min south of the galaxy. In an initial optical and radio study, Longmore et al. (1979, MNRAS, 188, 285) showed that these knots have the spectra of vigorous star-forming regions, and suggested that some may in fact be young dwarf irregular galaxies. High resolution 21-cm line observations taken with the VLA are presented here and reveal that the H I distribution associated with this system encompasses not only the entire N-S complex of optical knots, but also forms an incomplete ring or tail that extends approximately 3 min to the west. The H I associated with NGC 5291 itself shows a high velocity range; the Seashell is not detected. The formation mechanism for this unusual system is unclear and two models - a large, low-luminosity ram-swept disk, and a ram-swept interaction-are discussed. The H I in the system contains numerous concentrations, mostly along the N-S arc of the star-forming complexes, which generally coincide with one or more optical knots; the larger H I features contain several x 10(exp 9) solar mass of gas. Each of the knots is compared to a set of criteria designed to determine if these objects are bound against their own internal kinetic energy and are tidally stable relative to the host galaxy. An analysis of the properties of the H I concentrations surrounding the optical star-forming complexes indicates that at least the largest of these is a bound system; it also possesses a stellar component. It is suggested that this object is a genuinely young dwarf irregular galaxy that has evolved from the material associated with the system and that this entire complex contains several proto- or young dwarf irregular galaxies in various stages of development. We are therefore witnessing the early evolution of a number of genuinely young galaxies. Given the evident importance of the NGC 5291 system as a 'nursery' for young galaxies, careful modeling is required if we are to understand this remarkable galaxy.

Malphrus, Benjamin K.↗

Complex high affinity interactions occur between MHCI and superantigens

Staphylococcal enterotoxins A and C1 (SEA or SEC1) bound to major histocompatibility-I (MHCI) molecules with high affinity (binding constants ranging from 1.1 microM to 79 nM). SEA and SEC1 directly bound MHCI molecules that had been captured by monoclonal antibodies specific for H-2Kk, H-2Dk, or both. In addition, MHCI-specific antibodies inhibited the binding of SEC1 to LM929 cells and SEA competitively inhibited SEC1 binding; indicating that the superantigens bound to MHCI on the cell surface. The affinity and number of superantigen binding sites differed depending on whether MHCI was expressed in the membrane of LM929 cells or whether it was captured. These data support the hypothesis that MHCI molecules can serve as superantigen receptors.

NASA Discipline Cell Biology↗

FASTER 3: A generalized-geometry Monte Carlo computer program for the transport of neutrons and gamma rays. Volume 1: Summary report

The theory used in FASTER-III, a Monte Carlo computer program for the transport of neutrons and gamma rays in complex geometries, is outlined. The program includes the treatment of geometric regions bounded by quadratic and quadric surfaces with multiple radiation sources which have specified space, angle, and energy dependence. The program calculates, using importance sampling, the resulting number and energy fluxes at specified point, surface, and volume detectors. It can also calculate minimum weight shield configuration meeting a specified dose rate constraint. Results are presented for sample problems involving primary neutron, and primary and secondary photon, transport in a spherical reactor shield configuration.

Jordan, T. M.↗

On the resolvent condition in the Kreiss matrix theorem

The Kreiss Matrix Theorem asserts the uniform equivalence over all N x N matrices of power boundedness and a certain resolvent estimate. It is shown that the ratio of the constants in these two conditions grows linearly with N, and the optimal proportionality factor is obtained up to a factor of 2. Analogous results are also given for the related problem involving matrix exponentials. The proofs make use of a lemma that may be of independent interest, which bounds the arch length of the image of a circle in the complex plane under a rational function.

Leveque, R. J.↗

Fault-tolerant wait-free shared objects

A concurrent system consists of processes and shared objects. Previous research focused on the problem of tolerating process failure. We study the complementary problem of tolerating failures. We divide object failures into two broad classes: responsive and non-responsive. With responsive failures, a faulty object responds to every invocation, but responses may be incorrect. With non-responsive failures, a faulty object may also 'hang' without responding. For each class, we consider crash, and arbitrary types of failures. For each type of failure, we are seeking a universal implementation for fault-tolerant wait-free shared objects. We present (deterministic) implementations for all types of responsive failures, including arbitrary failures. In contrast, we show that even the most benign type of non-responsive failures requires the use of randomization. Of special interest is the problem of implementing fault-tolerant objects using only objects of the same type. We present such fault-tolerant self-implementations for many common object types. Graceful degradation is a desirable property of fault-tolerant implementations: the implemented object never fails more severely than the base objects it is derived from, even if all the base objects fail. For several failure models, we show whether this property can be achieved, and, if so, how. In addition to the above possibility/impossibility results, we also consider the resources complexity of fault-tolerant implementations. In many cases, we present lower bounds and give matching algorithms.

Jayanti, Prasad↗

Fatigue response of perforated titanium for application in laminar flow control

The room temperature tensile and fatigue response of non-perforated and perforated titanium for laminar flow control application was investigated both experimentally and analytically. Results showed that multiple perforations did not affect the tensile response, but did reduce the fatigue life. A two dimensional finite element stress analysis was used to determine that the stress fields from adjacent perforations did not influence one another. The stress fields around the holes did not overlap one another, allowing the materials to be modeled as a plate with a center hole. Fatigue life was predicted using an equivalent MW flow size approach to relate the experimental results to microstructural features of the titanium. Predictions using flaw sizes ranging from 1 to 15 microns correlated within a factor of 2 with the experimental results by using a flow stress of 260 MPa. By using two different flow stresses in the crack closure model and correcting for plasticity, the experimental results were bounded by the predictions for high applied stresses. Further analysis of the complex geometry of the perforations and the local material chemistry is needed to further understand the fatigue behavior of the perforated titanium.

Johnson, W. Steven↗

A Probabilistic Approach of Incorporating Safety and Reliability in System Designs for a Manned Mission to Mars

Conceptual stages in mission design often lack the input of quantitative safety and reliability assessments, simply because failure rates or other data are not yet available for systems that have not yet been designed. Absence of such data should not, however, prevent the development of a quantitative risk models with placeholders for missing data. Functions (that is, actions the systems must perform) in mission design will eventually require system probabilities of success, and there could be much learned from surrogate data, adequately bounded in uncertainty, used in a large event tree model of a complex mission.

Railsback, Jan W.↗

Convective Weather Forecast Quality Metrics for Air Traffic Management Decision-Making

Since numerical weather prediction models are unable to accurately forecast the severity and the location of the storm cells several hours into the future when compared with observation data, there has been a growing interest in probabilistic description of convective weather. The classical approach for generating uncertainty bounds consists of integrating the state equations and covariance propagation equations forward in time. This step is readily recognized as the process update step of the Kalman Filter algorithm. The second well known method, known as the Monte Carlo method, consists of generating output samples by driving the forecast algorithm with input samples selected from distributions. The statistical properties of the distributions of the output samples are then used for defining the uncertainty bounds of the output variables. This method is computationally expensive for a complex model compared to the covariance propagation method. The main advantage of the Monte Carlo method is that a complex non-linear model can be easily handled. Recently, a few different methods for probabilistic forecasting have appeared in the literature. A method for computing probability of convection in a region using forecast data is described in Ref. 5. Probability at a grid location is computed as the fraction of grid points, within a box of specified dimensions around the grid location, with forecast convection precipitation exceeding a specified threshold. The main limitation of this method is that the results are dependent on the chosen dimensions of the box. The examples presented Ref. 5 show that this process is equivalent to low-pass filtering of the forecast data with a finite support spatial filter. References 6 and 7 describe the technique for computing percentage coverage within a 92 x 92 square-kilometer box and assigning the value to the center 4 x 4 square-kilometer box. This technique is same as that described in Ref. 5. Characterizing the forecast, following the process described in Refs. 5 through 7, in terms of percentage coverage or confidence level is notionally sound compared to characterizing in terms of probabilities because the probability of the forecast being correct can only be determined using actual observations. References 5 through 7 only use the forecast data and not the observations. The method for computing the probability of detection, false alarm ratio and several forecast quality metrics (Skill Scores) using both the forecast and observation data are given in Ref. 2. This paper extends the statistical verification method in Ref. 2 to determine co-occurrence probabilities. The method consists of computing the probability that a severe weather cell (grid location) is detected in the observation data in the neighborhood of the severe weather cell in the forecast data. Probabilities of occurrence at the grid location and in its neighborhood with higher severity, and with lower severity in the observation data compared to that in the forecast data are examined. The method proposed in Refs. 5 through 7 is used for computing the probability that a certain number of cells in the neighborhood of severe weather cells in the forecast data are seen as severe weather cells in the observation data. Finally, the probability of existence of gaps in the observation data in the neighborhood of severe weather cells in forecast data is computed. Gaps are defined as openings between severe weather cells through which an aircraft can safely fly to its intended destination. The rest of the paper is organized as follows. Section II summarizes the statistical verification method described in Ref. 2. The extension of this method for computing the co-occurrence probabilities in discussed in Section HI. Numerical examples using NCWF forecast data and NCWD observation data are presented in Section III to elucidate the characteristics of the co-occurrence probabilities. This section also discusses the procedure for computing throbabilities that the severity of convection in the observation data will be higher or lower in the neighborhood of grid locations compared to that indicated at the grid locations in the forecast data. The probability of coverage of neighborhood grid cells is also described via examples in this section. Section IV discusses the gap detection algorithm and presents a numerical example to illustrate the method. The locations of the detected gaps in the observation data are used along with the locations of convective weather cells in the forecast data to determine the probability of existence of gaps in the neighborhood of these cells. Finally, the paper is concluded in Section V.

Chatterji, Gano B.↗

A Framework for Orbital Performance Evaluation in Distributed Space Missions for Earth Observation

Distributed Space Missions (DSMs) are gaining momentum in their application to earth science missions owing to their unique ability to increase observation sampling in spatial, spectral and temporal dimensions simultaneously. DSM architectures have a large number of design variables and since they are expected to increase mission flexibility, scalability, evolvability and robustness, their design is a complex problem with many variables and objectives affecting performance. There are very few open-access tools available to explore the tradespace of variables which allow performance assessment and are easy to plug into science goals, and therefore select the most optimal design. This paper presents a software tool developed on the MATLAB engine interfacing with STK, for DSM orbit design and selection. It is capable of generating thousands of homogeneous constellation or formation flight architectures based on pre-defined design variable ranges and sizing those architectures in terms of predefined performance metrics. The metrics can be input into observing system simulation experiments, as available from the science teams, allowing dynamic coupling of science and engineering designs. Design variables include but are not restricted to constellation type, formation flight type, FOV of instrument, altitude and inclination of chief orbits, differential orbital elements, leader satellites, latitudes or regions of interest, planes and satellite numbers. Intermediate performance metrics include angular coverage, number of accesses, revisit coverage, access deterioration over time at every point of the Earth's grid. The orbit design process can be streamlined and variables more bounded along the way, owing to the availability of low fidelity and low complexity models such as corrected HCW equations up to high precision STK models with J2 and drag. The tool can thus help any scientist or program manager select pre-Phase A, Pareto optimal DSM designs for a variety of science goals without having to delve into the details of the engineering design process.

Earth Science↗

Localization of the chaperone binding site

The hypothesis derived from models of the multi-oligomeric chaperone complex suggests that partially denatured proteins bind in a central cavity in the aggregate. To test this hypothesis, the molecular chaperone, alpha crystallin, was bound to partially denatured forms of gamma crystallin, and the binding site was visualized by immunogold localization. In an alternative approach, gold particles were directly complexed with gamma crystallin, followed by binding to the alpha crystallin aggregate. In both cases, binding was localized to the central region of the aggregate, confirming for the first time that partially denatured proteins do indeed bind to a central region of the molecular chaperone aggregate.

Non-NASA Center↗

Good trellises for IC implementation of viterbi decoders for linear block codes

This paper investigates trellis structures of linear block codes for the IC (integrated circuit) implementation of Viterbi decoders capable of achieving high decoding speed while satisfying a constraint on the structural complexity of the trellis in terms of the maximum number of states at any particular depth. Only uniform sectionalizations of the code trellis diagram are considered. An upper bound on the number of parallel and structurally identical (or isomorphic) subtrellises in a proper trellis for a code without exceeding the maximum state complexity of the minimal trellis of the code is first derived. Parallel structures of trellises with various section lengths for binary BCH and Reed-Muller (RM) codes of lengths 32 and 64 are analyzed. Next, the complexity of IC implementation of a Viterbi decoder based on an L-section trellis diagram for a code is investigated. A structural property of a Viterbi decoder called ACS-connectivity which is related to state connectivity is introduced. This parameter affects the complexity of wire-routing (interconnections within the IC). The effect of five parameters namely: (1) effective computational complexity; (2) complexity of the ACS-circuit; (3) traceback complexity; (4) ACS-connectivity; and (5) branch complexity of a trellis diagram on the VLSI complexity of a Viterbi decoder is investigated. It is shown that an IC implementation of a Viterbi decoder based on a non-minimal trellis requires less area and is capable of operation at higher speed than one based on the minimal trellis when the commonly used ACS-array architecture is considered.

Moorthy, H. T.↗

Good trellises for IC implementation of viterbi decoders for linear block codes

This paper investigates trellis structures of linear block codes for the IC (integrated circuit) implementation of Viterbi decoders capable of achieving high decoding speed while satisfying a constraint on the structural complexity of the trellis in terms of the maximum number of states at any particular depth. Only uniform sectionalizations of the code trellis diagram are considered. An upper bound on the number of parallel and structurally identical (or isomorphic) subtrellises in a proper trellis for a code without exceeding the maximum state complexity of the minimal trellis of the code is first derived. Parallel structures of trellises with various section lengths for binary BCH and Reed-Muller (RM) codes of lengths 32 and 64 are analyzed. Next, the complexity of IC implementation of a Viterbi decoder based on an L-section trellis diagram for a code is investigated. A structural property of a Viterbi decoder called ACS-connectivity which is related to state connectivity is introduced. This parameter affects the complexity of wire-routing (interconnections within the IC). The effect of five parameters namely: (1) effective computational complexity; (2) complexity of the ACS-circuit; (3) traceback complexity; (4) ACS-connectivity; and (5) branch complexity of a trellis diagram on the VLSI complexity of a Viterbi decoder is investigated. It is shown that an IC implementation of a Viterbi decoder based on a non-minimal trellis requires less area and is capable of operation at higher speed than one based on the minimal trellis when the commonly used ACS-array architecture is considered.

Lin, Shu↗

Synsedimentary deformation and thrusting on the eatern margin of the Barberton Greenstone belt, Swaziland

Mapping on the eastern margin of the 3.6 to 3.3 Ga Barberton Greenstone Belt NW Swaziland has revealed a tectonic complex which is more than 5 km thick. The area consists of fault bound units made up of three lithological associations. Some of these were affected by four phases of deformation. Fold structures, foliations, and lineations are associated with the deformation. Sedimentation, geological structures, and evolutionary history of the area are explained.

Lamb, S. H.↗

A microarray immunoassay for simultaneous detection of proteins and bacteria

We report the development and characterization of an antibody microarray biosensor for the rapid detection of both protein and bacterial analytes under flow conditions. Using a noncontact microarray printer, biotinylated capture antibodies were immobilized at discrete locations on the surface of an avidin-coated glass microscope slide. Preservation of capture antibody function during the deposition process was accomplished with the use of a low-salt buffer containing sucrose and bovine serum albumin. The slide was fitted with a six-channel flow module that conducted analyte-containing solutions over the array of capture antibody microspots. Detection of bound analyte was subsequently achieved using fluorescent tracer antibodies. The pattern of fluorescent complexes was interrogated using a scanning confocal microscope equipped with a 635-nm laser. This microarray system was employed to detect protein and bacterial analytes both individually and in samples containing mixtures of analytes. Assays were completed in 15 min, and detection of cholera toxin, staphylococcal enterotoxin B, ricin, and Bacillus globigii was demonstrated at levels as low as 8 ng/mL, 4 ng/mL, 10 ng/mL, and 6.2 x 10(4) cfu/mL, respectively. The assays presented here are very fast, as compared to previously published methods for measuring antibody-antigen interactions using microarrays (minutes versus hours).

Non-NASA Center↗

An improved approach to the analysis of drug-protein binding by distance geometry

The calculation of side chain centers of coordinates and the subsequent generation of side chain-side chain and side chain-backbone distance matrices is suggested as an improved method for viewing interactions inside proteins and for the comparison of protein structures. The use of side chain distance matrices is demonstrated with free PTI, and the use of difference distance matrices for side chains is shown for free and trypsin-bound PTI as well as for the X-ray structures of trypsin complexes with PTI and with benzamidine. It is found that conformational variations are reflected in the side chain distance matrices much more than in the standard C-C distance representations.

NASA Discipline Exobiology↗

Method bacterial endospore quantification using lanthanide dipicolinate luminescence

A lanthanide is combined with a medium to be tested for endospores. The dipicolinic acid released from the endospores binds the lanthanides, which have distinctive emission (i.e., luminescence) spectra, and are detected using photoluminescence. The concentration of spores is determined by preparing a calibration curve generated from photoluminescence spectra of lanthanide complex mixed with spores of a known concentration. A lanthanide complex is used as the analysis reagent, and is comprised of lanthanide ions bound to multidentate ligands that increase the dipicolinic acid binding constant through a cooperative binding effect with respect to lanthanide chloride. The resulting combined effect of increasing the binding constant and eliminating coordinated water and multiple equilibria increase the sensitivity of the endospore assay by an estimated three to four orders of magnitude over prior art of endospore detection based on lanthanide luminescence.

Ponce, Adrian↗