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 19 records
All sourcesNASA NTRSDOE OSTI
NASA NTRS2013

Control of Future Air Traffic Systems via Complexity Bound Management

The complexity of the present system for managing air traffic has led to "discreteness" in approaches to creating new concepts: new concepts are created as point designs, based on experience, expertise, and creativity of the proposer. Discrete point designs may be highly successful but they are difficult to substantiate in the face of equally strong substantiation of competing concepts, as well as the state of the art in concept evaluation via simulations. Hybrid concepts may present a compromise - the golden middle. Yet a hybrid of sometimes in principle incompatible concepts forms another point design that faces the challenge of substantiation and validation. We are faced with the need to re-design the air transportation system ab initio. This is a daunting task, especially considering the problem of transitioning from the present system to any fundamentally new system. However, design from scratch is also an opportunity to reconsider approaches to new concept development. In this position paper we propose an approach, Optimized Parametric Functional Design, for systematic development of concepts for management and control of airspace systems, based on optimization formulations in terms of required system functions and states. This reasoning framework, realizable in the context of ab initio system design, offers an approach to deriving substantiated airspace management and control concepts. With growing computational power, we hope that the approach will also yield a methodology for actual dynamic control of airspace

Alexandrov, Natalia↗
NASA NTRS1994

Modeling of Wall-Bounded Complex Flows and Free Shear Flows

Various wall-bounded flows with complex geometries and free shear flows have been studied with a newly developed realizable Reynolds stress algebraic equation model. The model development is based on the invariant theory in continuum mechanics. This theory enables us to formulate a general constitutive relation for the Reynolds stresses. Pope was the first to introduce this kind of constitutive relation to turbulence modeling. In our study, realizability is imposed on the truncated constitutive relation to determine the coefficients so that, unlike the standard k-E eddy viscosity model, the present model will not produce negative normal stresses in any situations of rapid distortion. The calculations based on the present model have shown an encouraging success in modeling complex turbulent flows.

Shih, Tsan-Hsing↗
NASA NTRS1995

Trellis complexity bounds for decoding linear block codes

We consider the problem of finding a trellis for a linear block code that minimizes one or more measures of trellis complexity. The domain of optimization may be different permutations of the same code or different codes with the same parameters. Constraints on trellises, including relationships between the minimal trellis of a code and that of the dual code, are used to derive bounds on complexity. We define a partial ordering on trellises: If a trellis is optimum with respect to this partial ordering, if has the desirable property that it simultaneously minimizes all of the complexity measures examined. We examine properties of such optimal trellises and give examples of optimal permutations of codes, most notably the (48,24,12) quadratic residue code.

Kiely, A. B.↗
NASA NTRS1989

Pressure and temperature dependence of reactions proceeding via a bound complex. II - Application to 2CH3 yielding C2H5 + H

The pressure and temperature dependence of a reaction between two methyl radicals proceeding via ethane intermediate was modeled. Single-channel RRKM calculations were performed, based upon a hindered Gorin model for the transition state; the hindrance parameters were chosen to reproduce the high-pressure limiting rate constant from 300-1400 K. It is shown that the reaction between two methyl radicals may be characterized over wide ranges of temperature and pressure, using three analytical expressions of the type introduced by Troe (1979) for single-channel unimolecular processes.

Stewart, P. H.↗
NASA NTRS1997

The Role of Conical Intersections in Electronic Quenching of a State OH by H2 and N2

Lester and coworkers have experimentally characterized complexes of OH in the X and A states with H2 and N2. Recently, we have carried out ab initio calculations of relevant portions of the ground state and excited state potential energy surfaces for these systems, including the conical intersection regions, which are responsible for electronic quenching of the A state of OH by H2 and N2. Both of these systems have weakly bound complexes in the X state and strongly bound complexes in the A state. The OH-H2 complex is T-shaped, while the OH-N2 complex is collinear. In both cases the H end of OH is oriented toward the H2 or N2 molecule, respectively. Rotation of the OH about its center of mass involves only a small barrier and rotation by 1800 so that the 0 end of OH is oriented toward the H2 or N2 molecule leads to conical intersections with the ground state surface. Since there is about 95 kcal/mol of available energy after crossing to the ground state surface, chemical reactions on the ground state surface are possible, in addition to electronic quenching. In the case of OH-H2, the conical intersection is much lower in energy than the OH (A state) + H2 asymptotic energy and the A state complex can be characterized as a hanging well on the upper cone of the conical intersection. Passage through the conical intersection places the system on the ground state potential energy surface with the possibility of going to OH (X state) + H2 (i.e. electronic quenching) or to H2O + H (reaction). For OH-N2, the A state complex is also a hanging well on the upper cone of the conical intersection, but the conical intersection is only slightly below the OH (A state) + H2 asymptotic energy. Passage through the conical intersection can lead to OH (X state) + N2 (i.e. electronic quenching), but so far reactive pathways have not been found.

Walch, Stephen P.↗
NASA NTRS1993

Aluminum acceptor four particle bound exciton complex in 4H, 6H, and 3C SiC

Evidence is presented for a four particle acceptor complex in 3C, 6H, and 4H SiC, obtained in low-temperature photoluminescence and cathodoluminescence experiments. The new lines were observed in p-type films lightly doped with aluminum, of 6H, 4H, and 3C SiC grown on the silicon (0001) face of 6H SiC under special conditions. The lines increase in intensity as more aluminum is added during growth. The multiplicity of observed lines is consistent with symmetry-based models similar to those which have been proposed to describe 4A centers in p-type zincblende semiconductors.

Clemen, L. L.↗
NASA NTRS1997

Bounds Estimation Via Regression with Asymmetric Cost Functions

This paper addresses a significant but mostly-neglected class of problems that we call bounds estimation. This includes learning empirical best-case and worst-case algorithmic complexity bounds and red-line bounds on sensor data.

regression-based learning algorithm bounds estimat↗
NASA NTRS1988

Spectra of van der Waals complexes (dimers) with applications to planetary atmospheres

Spectral features observed in the atmosphere of Titan by the Voyager IR experiment have been attributed to weakly bound complexes of N2 and H2, dominant and minor constituents, respectively. The abundance of H2-N2 dimers there was computed. Current calculations include quantitative spectral line positions and intensities for N2-Ar and CO2-CO2 relating to Titan and Earth, and to Mars and Venus, respectively. This work suggests applications to spectra of planetary atmospheres obtained in spacecraft missions.

Fox, Kenneth↗
NASA NTRS1997

A Near-Wall Reynolds-Stress Closure Without Wall Normals

Turbulent wall-bounded complex flows are commonly encountered in engineering practice and are of considerable interest in a variety of industrial applications. The presence of a wall significantly affects turbulence characteristics. In addition to the wall effects, turbulent wall-bounded flows become more complicated by the presence of additional body forces (e.g. centrifugal force and Coriolis force) and complex geometry. Most near-wall Reynolds stress models are developed from a high-Reynolds-number model which assumes turbulence is homogenous (or quasi-homogenous). Near-wall modifications are proposed to include wall effects in near-wall regions. In this process, wall normals are introduced. Good predictions could be obtained by Reynolds stress models with wall normals. However, ambiguity arises when the models are applied in flows with multiple walls. Many models have been proposed to model turbulent flows. Among them, Reynolds stress models, in which turbulent stresses are obtained by solving the Reynolds stress transport equations, have been proved to be the most successful ones. To apply the Reynolds stress models to wall-bounded flows, near-wall corrections accounting for the wall effects are needed, and the resulting models are called near-wall Reynolds stress models. In most of the existing near-wall models, the near-wall corrections invoke wall normals. These wall-dependent near-wall models are difficult to implement for turbulent flows with complex geometry and may give inaccurate predictions due to the ambiguity of wall normals at corners connecting multiple walls. The objective of this study is to develop a more general and flexible near-wall Reynolds stress model without using any wall-dependent variable for wall-bounded turbulent flows. With the aid of near-wall asymptotic analysis and results of direct numerical simulation, a new near-wall Reynolds stress model (NNWRS) is formulated based on Speziale et al.'s high-Reynolds-stress model with wall-independent near-wall corrections. Moreover, only one damping function is used for flows with a wide range of Reynolds numbers to ensure that the near-wall modifications diminish away from the walls.

Yuan, S. P.↗
NASA NTRSDate not supplied

Seeing is Believing: Monitoring Future Time Temporal Logic

Runtime monitors for future-time unbounded temporal logics like RVLTL, LTL 3 and FLTL, have double-exponential (2^2^n) worst-case space complexity bounds in size of the input formula. The semantics of these logics require monitors to perform general satisfiability solving for LTL expressions, a well-studied problem whose computational complexity is NP-hard and PSPACE-complete. This paper introduces an unbounded future-time linear temporal logic defined over a lattice. We call our logic an incremental temporal logic as it can be viewed as incrementally constructing proofs about the trace. On this account, we view online runtime monitoring as a decision procedure for proofs systems about incrementally growing traces. We demonstrate that our incremental temporal logic allows monitor construction to void satisfiability solving while still soundly detecting when the property is violated in an online fashion. This enables asymptotic improvements in space complexity. As proof, we provide a procedure to construct monitors that utilize linear space and time in the size of the input formula, while remaining constant in the size of the input stream and suitable for online monitoring. We further demonstrate, through several examples, that our incremental temporal logic is straightforward to adopt and practical for runtime verification.

temporal logic↗
NASA NTRS1995

Direct binding of F actin to the cytoplasmic domain of the alpha 2 integrin chain in vitro

The transmembrane integrins have been shown to interact with the cytoskeleton via noncovalent binding between cytoplasmic domains (CDs) of integrin beta chains and various actin binding proteins within the focal adhesion complex. Direct or indirect integrin alpha chain CD binding to the actin cytoskeleton has not been reported. We show here that actin, as an abundant constituent of focal adhesion complex proteins isolated from fibroblasts, binds strongly and specifically to alpha 2 CD, but not to alpha 1 CD peptide. Similar specific binding to alpha 2 CD peptide was seen for highly purified F actin, free of putative actin-binding proteins. The bound complex of actin and peptide was visualized directly by coprecipitation, and actin binding was abrogated by removal of a five amino acid sequence from the alpha 2 CD peptide. Our findings may explain the earlier observation that, while integrins alpha 2 beta 1 and alpha 1 beta 1 both bind to collagen, only alpha 2 beta 1 can mediate contraction of extracellular collagen matrices.

Non-NASA Center↗
NASA NTRS1990

Optical signatures of molecular particles via mass-selected cluster spectroscopy

A new molecular beam apparatus was developed to study optical absorption in cold (less than 100 K) atomic clusters and complexes produced by their condensation with simple molecular gases. In this instrument, ionized clusters produced in a laser vaporization nozzle source are mass selected and studied with photodissociation spectroscopy at visible and ultraviolet wavelengths. This new approach can be applied to synthesize and characterize numerous particulates and weakly bound complexes expected in planetary atmospheres and in comets.

Duncan, Michael A.↗
NASA NTRS1981

Cloud fluid compression and softening in spiral arms and the formation of giant molecular cloud complexes

With regard to the galactodynamics of the cloudy interstellar medium, the paper considers the response of such a gas to a forcing potential in the tight-winding density wave theory. The cloud fluid is treated in the hydrodynamic limit with an equation of state which softens at high densities. It is shown that in the inner regions of the galaxy, cooling of the cloud fluid in the arms can result in gravitational instability and the formation of large bound complexes of clouds which are identified with the giant molecular clouds (GMCs). Masses, dimensions, distributions, and scale heights of the GMCs are predicted by the theory. It is suggested that the interstellar gas density in the disk is regulated by the gravitational instability mechanism in the arms which siphons material into star formation. Implications for the evolution of individual GMCs and for galactic morphology are discussed.

Cowie, L. L.↗
NASA NTRS1979

Gaseous NH4Cl revisited - A computational investigation of the potential surface and properties

An investigation of the potential surface and properties of the ground state of gaseous NH4Cl is presented. The calculations, which utilize a good basis set and include investigation of the valence correlation effects, result in a description of gaseous NH4Cl as a weakly bound complex with NH3 and HCl structures essentially equivalent to those of the isolated fragments. The charge distributions within the fragments are modifed in the complex, however, and there is a small amount of charge transfer. The results are in reasonable agreement with estimate of D sub 0, super 0 from high temperature mass spectroscopic investigations and vibrational frequencies from matrix experiments. The equilibrium constant for the reversible reaction NH4Cl yields NH3 + HCl indicates that the homogeneous formation of NH4Cl does not represent a significant chemical sink for HCl in the upper atmosphere

Raffenetti, R. C.↗
NASA NTRS1989

Computational solution of chemistry problems

AB initio quantum chemical techniques have been used to investigate weakly bound complexes of H2O and SO2. An energy gradient program was used to locate stable structures for the H2O, SO2 complexes, and SCF calculations were carried out to determine the binding energies of complexes with multiple water molecules. A 4-31G basis set was used for most potential energy searches. More accurate basis sets including a generally contracted basis set with d orbitals on the sulfur were used for geometry and binding energy verification. For single water complexes, five different stable geometries were located with binding energies between 4 and 11 Kcal mol(-1), suggesting a binding shell for H2O around SO2 and a mechanism for the formation of an SO2-containing water droplet. Calculations on one of the complexes utilizing a larger double zeta basis and d functions on the sulfur atom lead to adjusted binding energies in the range 3 to 8 Kcal mol(-1). Very little charge transfer between SO2 and H2O was present. Addition of more than one H2O was found to be energetically favorable although the addition of the fourth water in certain geometries did not increase the stability of the complex. An alternative mechanism for the tropospheric gas phase production of acid rain is suggested.

Ake, Robert L.↗
NASA NTRS1991

Tunable far infrared laser spectrometers

The state of the art in far infrared (FIR) spectroscopy is reviewed. The development of tunable, coherent FIR radiation sources is discussed. Applications of tunable FIR laser spectrometers for measurement of rotational spectra and dipole moments of molecular ions and free radicals, vibration-rotation-tunneling spectra of weakly bound complexes, and vibration-rotation spectra of linear carbon clusters are presented. A detailed description of the Berkeley tunable FIR laser spectrometers is presented.

Blake, G. A.↗
NASA NTRS1990

Newton modified barrier method in constrained optimization

In this paper, we develop and investigate the Newton method for solving constrained (non-smooth) optimization problems. This approach is based on the modified barrier functions (MBF) theory and on the global converging step-size version of the Newton method for smooth unconstrained optimization. Due to the excellent properties of the MBF near primal-dual solution, the Newton modified barrier method (NMBM) has a better rate of convergence, better complexity bound, and is much more stable in the final stage of the computational process than the methods which are based on the classical barrier functions (CBF).

Polyak, R.↗
NASA NTRS1992

The Extrapolation of Elementary Sequences

We study sequence extrapolation as a stream-learning problem. Input examples are a stream of data elements of the same type (integers, strings, etc.), and the problem is to construct a hypothesis that both explains the observed sequence of examples and extrapolates the rest of the stream. A primary objective -- and one that distinguishes this work from previous extrapolation algorithms -- is that the same algorithm be able to extrapolate sequences over a variety of different types, including integers, strings, and trees. We define a generous family of constructive data types, and define as our learning bias a stream language called elementary stream descriptions. We then give an algorithm that extrapolates elementary descriptions over constructive datatypes and prove that it learns correctly. For freely-generated types, we prove a polynomial time bound on descriptions of bounded complexity. An especially interesting feature of this work is the ability to provide quantitative measures of confidence in competing hypotheses, using a Bayesian model of prediction.

Laird, Philip↗