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 523 records · Page 29
All sourcesNASA NTRSDOE OSTI
NASA NTRS1990

An improved exploratory search technique for pure integer linear programming problems

The development is documented of a heuristic method for the solution of pure integer linear programming problems. The procedure draws its methodology from the ideas of Hooke and Jeeves type 1 and 2 exploratory searches, greedy procedures, and neighborhood searches. It uses an efficient rounding method to obtain its first feasible integer point from the optimal continuous solution obtained via the simplex method. Since this method is based entirely on simple addition or subtraction of one to each variable of a point in n-space and the subsequent comparison of candidate solutions to a given set of constraints, it facilitates significant complexity improvements over existing techniques. It also obtains the same optimal solution found by the branch-and-bound technique in 44 of 45 small to moderate size test problems. Two example problems are worked in detail to show the inner workings of the method. Furthermore, using an established weighted scheme for comparing computational effort involved in an algorithm, a comparison of this algorithm is made to the more established and rigorous branch-and-bound method. A computer implementation of the procedure, in PC compatible Pascal, is also presented and discussed.

Fogle, F. R.↗
NASA NTRS2005

A Note on the Relationship of Temperature and Water Vapor over Oceans, as well as the Sea Surface Temperature Impact

This note follows up on a recent study by Shie et al. (2005) and extends the investigation of the domain-averaged moisture-temperature (Q-T) relationship from the Tropics (i.e., the previous study) to the tropical Pacific, Atlantic and Indian Oceans. The Q and T data examined in this study are obtained from the GEOS-3 [Goddard Earth Observing System Version-3] global re-analysis monthly products. Similar to what was found earlier in the Tropics, Q is also found to increase with T over the entire oceanic region; however, Q increases faster with T over oceans than over the Tropics. The Q-T distribution for the Tropics is in a quasi-linear relationship, which is embedded in a global Q-T distribution that is, however, in a more complex curvilinear relationship. The Q-T distribution over the oceanic regions seems to fall within the lower bound (ie., the relatively colder and driver regime) of the tropical Q-T distribution. T over oceans is also found increasing with SST (sea surface temperature), which seemingly implies that an air mass might have gained heat more readily from a warmer ocean as compared to a colder ocean. Q is also found to increase with SST in a manner that quantitatively resembles an earlier finding by Stevens (1990). We also found that relative humidity exhibits similar behaviors for oceanic and tropical regions, respectively, i.e., it increases with both SST and T over oceans and increases with T in the Tropics (Shie et al. 2005). All these similar features found between oceanic and tropical regions seem to inform us that oceans occupy most of the Tropics and so play a key role in determining what have happened in the Tropics.

Shie, C.-L.↗
DOE OSTI2020

Dynamic clay microstructures emerge via ion complexation waves

Clays control carbon, water and nutrient transport in the lithosphere, promote cloud formation5 and lubricate fault slip through interactions among hydrated mineral interfaces. Clay mineral properties are difficult to model because their structures are disordered, curved and dynamic. Consequently, interactions at the clay mineral-aqueous interface have been approximated using electric double layer models based on single crystals of mica and atomistic simulations. We discover that waves of complexation dipoles at dynamically curving interfaces create an emergent long-range force that drives exfoliation and restacking over time- and length-scales that are not captured in existing models. Curvature delocalizes electrostatic interactions in ways that fundamentally differ from planar surfaces, altering the ratio of ions bound to the convex and concave sides of a layer. Multiple-scattering reconstruction of low-dose energy-filtered cryo electron tomography enabled direct imaging of ion complexes and electrolyte distributions at hydrated and curved mineral interfaces with {\aa}ngstrom resolution over micron length scales. Layers exfoliate and restack abruptly and repeatedly over timescales that depend strongly on the counterion identity, demonstrating that the strong coupling between elastic, electrostatic and hydration forces in clays promote collective reorganization previously thought to be a feature only of active matter.

Whittaker, Michael L↗
DOE OSTI2020

Solution Chemistry of Copper(II) Binding to Substituted 8-Hydroxyquinolines

8-Hydroxyquinolines (8HQs) are a family of lipophilic metal ion chelators that have been used in a range of analytical and pharmaceutical applications over the last 100 years. More recently, CQ (clioquinol; 5-chloro-7-iodo-8-hydroxyquinoline) and PBT2 (5,7-dichloro-2-[(dimethylamino)methyl]-8-hydroxyquinoline) have undergone clinical trials for the treatment of Alzheimer’s disease and Huntington’s disease. Because CQ and PBT2 appear to redistribute metals into cells, these compounds have been redefined as copper and zinc ionophores. Despite the attention surrounding the clinical trials and the clear link between 8HQs and metals, the fundamental solution chemistry of how these compounds bind divalent metals such as copper and zinc, as well as their mechanism(s) of action in mammalian systems, remains poorly understood. Here, we used a combination of X-ray absorption spectroscopy (XAS), high-energy resolution fluorescence detected (HERFD) XAS, electron paramagnetic resonance (EPR), and UV–visible absorption spectroscopies to investigate the aqueous solution chemistry of a range of 8HQ derivatives. To circumvent the known solubility issues with 8HQ compounds and their complexes with Cu(II), and to avoid the use of abiological organic solvents, we have devised a surfactant buffer system to investigate these Cu(II) complexes in aqueous solution. Our study comprises the first comprehensive investigation of the Cu(II) complexes formed with many 8HQs of interest in aqueous solution, and it provides the first structural information on some of these complexes. We find that halogen substitutions in 8HQ derivatives appear to have little effect on the Cu(II) coordination environment; 5,7-dihalogenated 8HQ conformers all have a pseudo square planar Cu(II) bound by two quinolin-8-olate anions, in agreement with previous studies. Conversely, substituents in the 2-position of the 8HQ moiety appear to cause significant distortions from the typical square-planar-like coordination of most Cu(II)-bis-8HQ complexes, such that the 8HQ moieties in the Cu(II)-bis-8HQ complex are rotated approximately 30–40° apart in a “propeller-like” arrangement.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗
DOE OSTI2024

Learning Only on Boundaries: A Physics-Informed Neural Operator for Solving Parametric Partial Differential Equations in Complex Geometries

Recently, deep learning surrogates and neural operators have shown promise in solving partial differential equations (PDEs). However, they often require a large amount of training data and are limited to bounded domains. In this work, we present a novel physics-informed neural operator method to solve parameterized boundary value problems without labeled data. By reformulating the PDEs into boundary integral equations (BIEs), we can train the operator network solely on the boundary of the domain. This approach reduces the number of required sample points from $O(N^d)$ to $O(N^{d-1}$), where $d$ is the domain’s dimension, leading to a significant acceleration of the training process. Additionally, our method can handle unbounded problems, which are unattainable for existing physics-informed neural networks (PINNs) and neural operators. Finally, our numerical experiments show the effectiveness of parameterized complex geometries and unbounded problems.

97 MATHEMATICS AND COMPUTING↗
NASA NTRS1998

A Geometry Based Infra-Structure for Computational Analysis and Design

The computational steps traditionally taken for most engineering analysis suites (computational fluid dynamics (CFD), structural analysis, heat transfer and etc.) are: (1) Surface Generation -- usually by employing a Computer Assisted Design (CAD) system; (2) Grid Generation -- preparing the volume for the simulation; (3) Flow Solver -- producing the results at the specified operational point; (4) Post-processing Visualization -- interactively attempting to understand the results. For structural analysis, integrated systems can be obtained from a number of commercial vendors. These vendors couple directly to a number of CAD systems and are executed from within the CAD Graphical User Interface (GUI). It should be noted that the structural analysis problem is more tractable than CFD; there are fewer mesh topologies used and the grids are not as fine (this problem space does not have the length scaling issues of fluids). For CFD, these steps have worked well in the past for simple steady-state simulations at the expense of much user interaction. The data was transmitted between phases via files. In most cases, the output from a CAD system could go to Initial Graphics Exchange Specification (IGES) or Standard Exchange Program (STEP) files. The output from Grid Generators and Solvers do not really have standards though there are a couple of file formats that can be used for a subset of the gridding (i.e. PLOT3D data formats). The user would have to patch up the data or translate from one format to another to move to the next step. Sometimes this could take days. Specifically the problems with this procedure are:(1) File based -- Information flows from one step to the next via data files with formats specified for that procedure. File standards, when they exist, are wholly inadequate. For example, geometry from CAD systems (transmitted via IGES files) is defined as disjoint surfaces and curves (as well as masses of other information of no interest for the Grid Generator). This is particularly onerous for modern CAD systems based on solid modeling. The part was a proper solid and in the translation to IGES has lost this important characteristic. STEP is another standard for CAD data that exists and supports the concept of a solid. The problem with STEP is that a solid modeling geometry kernel is required to query and manipulate the data within this type of file. (2) 'Good' Geometry. A bottleneck in getting results from a solver is the construction of proper geometry to be fed to the grid generator. With 'good' geometry a grid can be constructed in tens of minutes (even with a complex configuration) using unstructured techniques. Adroit multi-block methods are not far behind. This means that a million node steady-state solution can be computed on the order of hours (using current high performance computers) starting from this 'good' geometry. Unfortunately, the geometry usually transmitted from the CAD system is not 'good' in the grid generator sense. The grid generator needs smooth closed solid geometry. It can take a week (or more) of interaction with the CAD output (sometimes by hand) before the process can begin. One way Communication. (3) One-way Communication -- All information travels on from one phase to the next. This makes procedures like node adaptation difficult when attempting to add or move nodes that sit on bounding surfaces (when the actual surface data has been lost after the grid generation phase). Until this process can be automated, more complex problems such as multi-disciplinary analysis or using the above procedure for design becomes prohibitive. There is also no way to easily deal with this system in a modular manner. One can only replace the grid generator, for example, if the software reads and writes the same files. Instead of the serial approach to analysis as described above, CAPRI takes a geometry centric approach. This makes the actual geometry (not a discretized version) accessible to all phases of the analysis. The connection to the geometry is made through an Application Programming Interface (API) and NOT a file system. This API isolates the top-level applications (grid generators, solvers and visualization components) from the geometry engine. Also this allows the replacement of one geometry kernel with another, without effecting these top-level applications. For example, if UniGraphics is used as the CAD package then Parasolid (UG's own geometry engine) can be used for all geometric queries so that no solid geometry information is lost in a translation. This is much better than STEP because when the data is queried, the same software is executed as used in the CAD system. Therefore, one analyzes the exact part that is in the CAD system. CAPRI uses the same idea as the commercial structural analysis codes but does not specify control. Software components of the CAD system are used, but the analysis suite, not the CAD operator, specifies the control of the software session. This also means that the license issues (may be) minimized and individuals need not have to know how to operate a CAD system in order to run the suite.

Haimes, Robert↗
NASA NTRS2004

A Novel Biomedical Device Utilizing Light Emitting Nano-Structures

This paper will discuss the development of a novel biomedical detection device that will be used to detect microorganisms with the use of infrared fluorochrome polymers attached to antibodies in fluids such as water. The fluorochrome polymers emit light in the near inferred region (NIR), approximately 805 nm, when excited by an NIR laser at 778 nm. The device could remarkably change the way laboratory testing is done today. The testing process is usually performed on a time scale of days while our device will be able to detect microorganisms in minutes. This type of time efficient analysis is ideal for use aboard the International Space Station and the Space Shuttle (ISS/SS) and has many useful commercial applications, for instance at a water treatment plant and food processing plants. With more research and experimentation the testing might also one day be used to detect bacteria and viruses in complex fluids such as blood, which would revolutionize blood analysis as it is performed today. My contribution to the project has been to develop a process which will allow an antibody/fluorescent dye pair to be conjugated to a specific bacteria or virus and than to to be separated from a sample body of water for detection. The antibody being used in this experiment is anti beta galactosidase and its complement enzyme is beta galactosidase, a non harmful derivative of E. Coli. The anti beta galactosidase has been conjugated to the fluorochrome polymer, IRDye800, which emits at approximately 806 nm. The dye when excited by the NIR laser emits a signal which is detected by a spectrometer and then is read by state of the art computer software. The state-of-the-art process includes incubating the anti beta galactosidase and beta galactosidase in a phosphate buffer solution in a test tube, allowing the antibody to bind to specific sites on the enzyme. After the antibody is bound to the enzyme, it is centrifuged in specific filters that will allow free antibody to wash away and leave the antibody-enzyme complexes on top in solution for testing and analysis. This solution is pipetted into a cuvette, a special plastic test tube, which will then be excited by the laser. The signal read will tell US that an antibody is present and since it is bound to the enzyme, that the bacteria is also present.

Varaljay, Vanessa A.↗
DOE OSTI2021

Resonant two-photon photoelectron imaging and adiabatic detachment processes from bound vibrational levels of dipole-bound states

Anions cannot have Rydberg states, but anions with polar neutral cores can support highly diffuse dipole-bound states (DBSs) as a class of interesting electronically excited states below the electron detachment threshold. The binding energies of DBSs are extremely small, ranging from a few to few hundred wavenumbers and generally cannot support bound vibrational levels below the detachment threshold. Thus, vibrational excitations in the DBS are usually above the electron detachment threshold and they have been used to conduct resonant photoelectron spectroscopy, which is dominated by state-specific autodetachment. Here we report an investigation of a cryogenically-cooled complex anion, the enantiopure (R)-(–)-1-(9-anthryl)-2,2,2-trifluoroethanolate (R-TFAE–). The neutral R-TFAE radical is relatively complex and highly polar with a non-planar structure (C 1 symmetry). Photodetachment spectroscopy reveals a DBS 209 cm–1 below the detachment threshold of R-TFAE– and seven bound and eight above-threshold vibrational levels of the DBS. Resonant two-photon detachment (R2PD) via the bound vibrational levels of the DBS exhibits strictly adiabatic photodetachment behaviors by the second photon, in which the vibrational energies in the DBS are carried to the neutral final states, because of the parallel potential energy surfaces of the DBS and the corresponding neutral ground electronic state. Relaxation processes from the bound DBS levels to the ground and low-lying electronically excited states of R-TFAE– are also observed in the R2PD photoelectron spectra. Finally, the combination of photodetachment and resonant photoelectron spectroscopy yields frequencies for eight vibrational modes of the R-TFAE radical.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗
DOE OSTI2024

A Bayesian Learning Approach to Wireless Outdoor Heatmap Construction using Deep Gaussian Process

We present a novel Bayesian learning approach to outdoor radio heatmap construction utilizing deep Gaussian process (GP). The proposed approach employs a two-layer hierarchy which consists of two cascaded Gaussian processes that are capable of modeling more complex input-output relations than standard single-layer Gaussian processes. Since deriving the exact model likelihood is challenging, a lower bound is optimized instead so that gradient descent-based methods can be performed to find out the optimal model parameters. Typically, inducing points are used in GPs to facilitate low-rank approximation of covariance (kernel) matrices for computation speedup. However, the inaccuracy induced by inducing points can accumulate when stacking multiple layers of GP which may hinder the performance of deep GP. Moreover, since inducing points need to be learned, having them at all layers of deep GP also incurs computational burden. To overcome the above challenges, in contrast to the canonical deep GP model, we use a modified architecture where a full standard GP resides in the first layer and inducing points are only introduced for the second layer. This modified architecture strikes a balance between model accuracy and training complexity. In the proposed model, the noise parameter of the first GP layer is also eliminated to improve the training efficiency as the noise parameter at the output of the second layer suffices to model the uncertainty in the output. The proposed approach is evaluated on real-world datasets, in the form of location-Received Signal Strength (RSS) pairs, collected from the Platform for Open Wireless Data-driven Experimental Research (POWDER) located at the campus of the University of Utah. Experiment results show that the proposed approach can achieve smaller prediction errors on various training and testing data configurations than DNN-based and GP-based methods.

46 INSTRUMENTATION RELATED TO NUCLEAR SCIENCE AND ↗
DOE OSTI2020

Structural basis of the activation of a metabotropic GABA receptor

Metabotropic γ-aminobutyric acid receptors (GABA B ) are involved in the modulation of synaptic responses in the central nervous system and have been implicated in neuropsychological conditions that range from addiction to psychosis. GABA B belongs to class C of the G-protein-coupled receptors, and its functional entity comprises an obligate heterodimer that is composed of the GB1 and GB2 subunits. Each subunit possesses an extracellular Venus flytrap domain, which is connected to a canonical seven-transmembrane domain. In this paper we present four cryo-electron microscopy structures of the human full-length GB1–GB2 heterodimer: one structure of its inactive apo state, two intermediate agonist-bound forms and an active form in which the heterodimer is bound to an agonist and a positive allosteric modulator. The structures reveal substantial differences, which shed light on the complex motions that underlie the unique activation mechanism of GABA B . Our results show that agonist binding leads to the closure of the Venus flytrap domain of GB1, triggering a series of transitions, first rearranging and bringing the two transmembrane domains into close contact along transmembrane helix 6 and ultimately inducing conformational rearrangements in the GB2 transmembrane domain via a lever-like mechanism to initiate downstream signalling. This active state is stabilized by a positive allosteric modulator binding at the transmembrane dimerization interface.

60 APPLIED LIFE SCIENCES↗
DOE OSTI2026

RxnRover/amlro

AMLRO (Active Machine Learning Reaction Optimizer) is an open-source framework designed to accelerate chemical reaction optimization using active learning with classical machine learning regression models. AMLRO integrates space-filling sampling strategies (e.g., Sobol and Latin Hypercube sampling) with iterative model training, prediction, and experiment selection to efficiently navigate complex reaction spaces. The platform supports multiple regression models, flexible multi-objective definitions, and user-defined parameter bounds, enabling data-efficient optimization from small initial datasets. AMLRO is designed for ease of use by experimentalists and can operate as a standalone decision-support tool or be integrated into closed-loop automated experimentation workflows.

Kulathunga, Dulitha Prasanna [Iowa State Universit↗
DOE OSTI2021

Characterization of Extreme Hydroclimate Events in Earth System Models using ML/AI

Focal Area(s): (1) We put forward the concepts of data assimilation enabled by machine learning, AI, and advanced methods including experimental/network design/optimization and unsupervised learning applied to downscale information within Earth System Models (ESMs). (2) We discuss predictive modeling through the use of AI techniques and other tools to design a prediction system comprising of a hierarchy of models (e.g., AI-driven model/component/parameterization selection) to improve the characterization of extreme hydroclimate events in ESMs. The AI-based models will run five-six order of magnitude times faster, yet will provide similar accuracy, allowing us to provide range bounds on uncertainty faster and thus enabling faster extreme event identification. (3) Further, we consider the insight gleaned from complex data (observed/simulated) using AI, big data analytics, and other advanced methods, including explainable AI and physics- or knowledge-guided AI to improve the characterization of extreme hydroclimate events in ESMs.

54 ENVIRONMENTAL SCIENCES↗
NASA NTRS1973

Achieving ultrahigh accuracy with a body pointing CMG/RW control system.

The purpose of the Large Space Telescope (LST) program is to place a three-meter diffraction limited telescope in a 270-nautical mile orbit in order to perform astronomical observations that are not presently possible with earth bound telescopes due to atmospheric obscuration. In order to determine whether the stringent pointing requirements could be met, a complex simulation model was defined which consisted of detailed dynamic representations of control moment gyros (CMGs) and reaction wheels including their noise characteristics, dynamic sensor representations with sensor noise, shock mounts for the CMG actuators, and a detailed flexible body structural model with all significant vehicle and solar panel bending modes. On the basis of both stability and performance studies utilizing this model, it was determined that a body pointing system will meet LST requirements.

Rybak, S. C.↗
NASA NTRS1974

Single-tone parameter estimation from discrete-time observations

Estimation of the parameters of a single-frequency complex tone from a finite number of noisy discrete-time observations is discussed. The appropriate Cramer-Rao bounds and maximum-likelihood (ML) estimation algorithms are derived. Some properties of the ML estimators are proved. The relationship of ML estimation to the discrete Fourier transform is exploited to obtain practial algorithms. The threshold effect of one algorithm is analyzed and compared to simulation results. Other simulation results verify other aspects of the analysis.

Rife, D. C.↗
NASA NTRS1991

Improved algorithms for mapping pipelined and parallel computations

Recent work on the problem of mapping pipelined or parallel computations onto linear array, shared memory, and host-satellite systems is extended. It is shown how these problems can be solved even more efficiently when computation module execution times are bounded from below, intermodule communication times are bounded from above, and the processors satisfy certain homogeneity constraints. The improved algorithms have significantly lower time and space complexities than the more general algorithms: in one case, an O(nm3) time algorithm for mapping m modules onto n processors is replaced with an O(nm log m) time algorithm, and the space requirements are reduced from O(nm2) to O(m). Run-time complexity is reduced further with parallel mapping algorithms based on these improvements, which run on the architectures for which they create mappings.

Nicol, David M.↗
NASA NTRS1993

The value and potential of animal research in enabling astronaut health - Transition from Spacelab to Space Station Freedom

Maintaining astronaut health is a critical aspect of human space exploration. Three decades of space research have demonstrated that microgravity produces significant physiological changes in astronauts. For long-duration missions, the possibility exists that these changes may prevent the achievement of full health and safety and may therefore require countermeasures. Meeting this goal depends on a strong biomedical foundation. Although much research is conducted with humans, some of the most critical work involves a necessary in-depth look into complex problem areas requiring invasive procedures using animals. Much of this research cannot be performed in humans within the bounds of accepted medical practice. A large portion of knowledge and experience in flying animals and applying the data to astronaut health has been obtained through the Spacelab experience and can be applied to a space station situation (expanded to accommodate necessary standardization and flexibility). The objectives of this paper are to (a) discuss the value and potential of animal research in answering critical questions to enable astronaut health for advanced missions, (b) discuss how previous Spacelab operational experience in animal studies can be applied to facilitate transition into a space station era, and (c) review capabilities of biological facilities projected for Space Station Freedom.

Garshnek, V.↗
DOE OSTI2026

A Fast Algorithm for Computing Zigzag Representatives

Zigzag filtrations of simplicial complexes generalize the usual filtrations by allowing simplex deletions in addition to simplex insertions. The barcodes computed from zigzag filtrations encode the evolution of homological features. Although one can locate a particular feature at any index in the filtration using existing algorithms, the resulting representatives may not be compatible with the zigzag: a representative cycle at one index may not map into a representative cycle at its neighbor. For this, one needs to compute compatible representative cycles along each bar in the barcode. It is known that the barcode for a zigzag filtration with m insertions and deletions can be computed $O(m^ω)$ in time, where $ω < 2.373$ is the matrix multiplication exponent. However, it is not known how to compute the compatible representatives so efficiently. For a non-zigzag filtration, the classical matrix-based algorithm provides representatives in $O(m^3)$ time, which can be improved to $O(m^ω)$. However, no known algorithm for zigzag filtrations computes the representatives with the $O(m^3)$ time bound. We present an $O(m^3 n)$ time algorithm for this problem, where $n ≤ m$ is the size of the largest complex in the filtration.

Persistent homology↗