Search NASA⌕ Search

SEARCH · Search NASA

Results for “Complex Constraints”

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 181 records · Page 10
All sourcesNASA NTRSDOE OSTI
NASA NTRS1997

Integrity Constraint Monitoring in Software Development: Proposed Architectures

In the development of complex software systems, designers are required to obtain from many sources and manage vast amounts of knowledge of the system being built and communicate this information to personnel with a variety of backgrounds. Knowledge concerning the properties of the system, including the structure of, relationships between and limitations of the data objects in the system, becomes increasingly more vital as the complexity of the system and the number of knowledge sources increases. Ensuring that violations of these properties do not occur becomes steadily more challenging. One approach toward managing the enforcement or system properties, called context monitoring, uses a centralized repository of integrity constraints and a constraint satisfiability mechanism for dynamic verification of property enforcement during program execution. The focus of this paper is to describe possible software architectures that define a mechanism for dynamically checking the satisfiability of a set of constraints on a program. The next section describes the context monitoring approach in general. Section 3 gives an overview of the work currently being done toward the addition of an integrity constraint satisfiability mechanism to a high-level program language, SequenceL, and demonstrates how this model is being examined to develop a general software architecture. Section 4 describes possible architectures for a general constraint satisfiability mechanism, as well as an alternative approach that, uses embedded database queries in lieu of an external monitor. The paper concludes with a brief summary outlining the, current state of the research and future work.

Fernandez, Francisco G.↗
NASA NTRS1994

Navier-Stokes, flight, and wind tunnel flow analysis for the F/A-18 aircraft

Computational analysis of flow over the F/A-18 aircraft is presented along with complementary data from both flight and wind tunnel experiments. The computational results are based on the three-dimensional thin-layer Navier-Stokes formulation and are obtained from an accurate surface representation of the fuselage, leading-edge extension (LEX), and the wing geometry. However, the constraints imposed by either the flow solver and/or the complexity associated with the flow-field grid generation required certain geometrical approximations to be implemented in the present numerical model. In particular, such constraints inspired the removal of the empennage and the blocking (fairing) of the inlet face. The results are computed for three different free-stream flow conditions and compared with flight test data of surface pressure coefficients, surface tuft flow, and off-surface vortical flow characteristics that included breakdown phenomena. Excellent surface pressure coefficient correlations, both in terms of magnitude and overall trend, are obtained on the forebody throughout the range of flow conditions. Reasonable pressure agreement was obtained over the LEX; the general correlation tends to improve at higher angles of attack. The surface tuft flow and the off-surface vortex flow structures compared qualitatively well with the flight test results. To evaluate the computational results, a wind tunnel investigation was conducted to determine the effects of existing configurational differences between the flight vehicle and the numerical model on aerodynamic characteristics. In most cases, the geometrical approximations made to the numerical model had very little effect on overall aerodynamic characteristics.

Ghaffari, Farhad↗
NASA NTRS1999

Project Final Report

The initial focus of this GSRP project was to model and develop systems for optimized use of the Microwave lamp for use in bioregenerative life support systems (BLSS). The microwave lamp, which has been developed for use in BLSS as part of a NASA small business innovation research (SBIR) grant, exhibits a number of characteristics that make it an excellent candidate for use in BLSS. However, we decided to shift the focus of the project, after discussions with scientists at KSC, to a broader question. Specifically, we decided to investigate the possibility of developing a decision tool for characterizing overall fighting system effectiveness in a plant growth system. It seemed pointless to optimize a microwave lamp for BLSS when there was no good way to decide what exactly an optimized system would look like. The problem is a complex one, involving multiple, conflicting objectives with irreconcilable units, significant constraints, and a wide range of relative importance among the objectives. The project would involve not only characterizing this complex decision process, but also would require some investigations into the physical properties of the lighting systems being considered. Thus, we turned to the field of Decision Modeling as a means of meeting this objective. After a thorough investigation of the literature, a technique was chosen and carefully developed. Implementation and analysis of the system are still in progress, and should be completed during the summer of 1999. Ancillary studies, which were conducted in the course of the project, have also been conducted, and are summarized below.

Ciolkosz, Daniel↗
NASA NTRS2009

Trajectory-Oriented Approach to Managing Traffic Complexity: Trajectory Flexibility Metrics and Algorithms and Preliminary Complexity Impact Assessment

This document describes exploratory research on a distributed, trajectory oriented approach for traffic complexity management. The approach is to manage traffic complexity based on preserving trajectory flexibility and minimizing constraints. In particular, the document presents metrics for trajectory flexibility; a method for estimating these metrics based on discrete time and degree of freedom assumptions; a planning algorithm using these metrics to preserve flexibility; and preliminary experiments testing the impact of preserving trajectory flexibility on traffic complexity. The document also describes an early demonstration capability of the trajectory flexibility preservation function in the NASA Autonomous Operations Planner (AOP) platform.

Idris, Husni↗
NASA NTRSDate not supplied

Variability in Modelled Airborne Dust Mineralogy Derived from Global Soil Composition Uncertainties

Dust aerosols consist on a variety of minerals with different physic and chemical properties. As such, they interact with short and long wave radiation, potentially form clouds, act as nutrients modulating biogeochemical cycles, or influence atmospheric chemistry, differently. Most current state-of-the-art Earth System Models (ESMs) neglect the complexity in dust composition, mainly due to computational constraints, but also to the existing uncertainties in the size resolved composition of parent soils, the resulting distribution of minerals in airborne dust, and the scarcity of observations to constrain them. Within this work, we assess the variability of global dust composition due to uncertainties in the characterization of the parent soil mineralogy. To that end, we consider two available global soil mineralogy atlases, developed by Claquin et al. (1999) –C1999- and Journet et al. (2014) –J2014-, which represent respectively 8 and 12 relevant minerals for climate (namely: illite, smectite/montmorillonite, kaolinite, calcite, gypsum, hematite, quartz, and feldspars in C1999, and those plus chlorite, vermiculite, goethite, and mica in J2014). Thanks to a recently developed feature of the MONARCH atmospheric-chemistry model, we are able to explicitly resolve the minerals’ atmospheric cycle. Therefore, we define two global experiments to assess changes on airborne dust composition attributed to the soil mineralogy assumptions and provide a measure of their variability. We also perform a preliminary evaluation of the global mineralogy results against available observations of mineral fractions in surface dust concentration. Our results will inform the climate modelling community about the potential variability in dust composition, an aspect that will gain relevance as ESMs continue growing in complexity and new processes to better characterize aerosols’ forcing or biogeochemical cycles are added. Further observational constraints, such as those that will derive from the EMIT NASA mission on soil composition or the FRAGMENT experimental campaigns on airborne dust characterization, will be key in the near future to improve our understanding of the impact of dust mineralogy on fundamental climate features.

Dust aerosols↗
NASA NTRS1997

Constrained Multipoint Aerodynamic Shape Optimization Using an Adjoint Formulation and Parallel Computers

An aerodynamic shape optimization method that treats the design of complex aircraft configurations subject to high fidelity computational fluid dynamics (CFD), geometric constraints and multiple design points is described. The design process will be greatly accelerated through the use of both control theory and distributed memory computer architectures. Control theory is employed to derive the adjoint differential equations whose solution allows for the evaluation of design gradient information at a fraction of the computational cost required by previous design methods. The resulting problem is implemented on parallel distributed memory architectures using a domain decomposition approach, an optimized communication schedule, and the MPI (Message Passing Interface) standard for portability and efficiency. The final result achieves very rapid aerodynamic design based on a higher order CFD method. In order to facilitate the integration of these high fidelity CFD approaches into future multi-disciplinary optimization (NW) applications, new methods must be developed which are capable of simultaneously addressing complex geometries, multiple objective functions, and geometric design constraints. In our earlier studies, we coupled the adjoint based design formulations with unconstrained optimization algorithms and showed that the approach was effective for the aerodynamic design of airfoils, wings, wing-bodies, and complex aircraft configurations. In many of the results presented in these earlier works, geometric constraints were satisfied either by a projection into feasible space or by posing the design space parameterization such that it automatically satisfied constraints. Furthermore, with the exception of reference 9 where the second author initially explored the use of multipoint design in conjunction with adjoint formulations, our earlier works have focused on single point design efforts. Here we demonstrate that the same methodology may be extended to treat complete configuration designs subject to multiple design points and geometric constraints. Examples are presented for both transonic and supersonic configurations ranging from wing alone designs to complex configuration designs involving wing, fuselage, nacelles and pylons.

Reuther, James↗
DOE OSTI2026

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

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

Higgs physics↗
DOE OSTI2025

The Atacama Cosmology Telescope: DR6 power spectrum foreground model and validation

We discuss the model of astrophysical emission at millimeter wavelengths used to characterize foregrounds in the multi-frequency power spectra of the Atacama Cosmology Telescope (ACT) Data Release 6 (DR6), expanding on Louis et al. (2025) (2503.14452). We detail several tests to validate the capability of the DR6 parametric foreground model to describe current observations and complex simulations, and show that cosmological parameter constraints are robust against model extensions and variations. We demonstrate consistency of the model with pre-DR6 ACT data and observations from Planck and the South Pole Telescope. We evaluate the implications of using different foreground templates and extending the model with new components and/or free parameters. In all scenarios, the DR6 ΛCDM and ΛCDM+N eff cosmological parameters shift by less than 0.5σ relative to the baseline constraints. Some foreground parameters shift more; we estimate their systematic uncertainties associated with modeling choices. From our constraint on the kinematic Sunyaev-Zel'dovich power, we obtain a conservative limit on the duration of reionization of Δz rei < 4.4, assuming a reionization midpoint consistent with optical depth measurements and a minimal low-redshift contribution, with varying assumptions for this component leading to tighter limits. Finally, we analyze realistic non-Gaussian, correlated microwave sky simulations containing Galactic and extragalactic foreground fields, built independently of the DR6 parametric foreground model. Processing these simulations through the DR6 power spectrum and likelihood pipeline, we recover the input cosmological parameters of the underlying cosmic microwave background field, a new demonstration for small-scale CMB analysis. These tests validate the robustness of the ACT DR6 foreground model and cosmological parameter constraints.

CMBR experiments↗
DOE OSTI2025

Operator origin of anomalous dimensions in de Sitter space

The late-time limit of the power spectrum for heavy (principal series) fields in de Sitter (dS) space yields a series of polynomial terms with complex scaling dimensions. Such scaling behavior is expected to result from an associated operator with a complex dimension. In a free theory, these complex dimensions are known to match the constraints imposed by unitarity on the space of states. Yet, perturbative corrections to the scaling behavior of operators are naively inconsistent with unitary evolution of the quantum fields in dS space. This paper demonstrates how to compute one-loop corrections to the scaling dimensions that appear in the two-point function from the field theory description in terms of local operators. We first show how to evaluate these anomalous dimensions using Mellin space, which has the feature that it naturally accommodates a scaleless regulator. We then explore the consequences for the soft de Sitter effective theory (SdSET) description that emerges in the long wavelength limit. Carefully matching between the UV and SdSET descriptions requires the introduction of novel nondynamical “operators” in the effective theory. This is not only necessary to reproduce results extracted from the Källén-Lehmann representation (that use the space of unitary states directly), but it is also required by general arguments that invoke positivity. Published by the American Physical Society 2025

Cohen, Timothy↗
DOE OSTI2026

Design Status and Experimental Strategy for Initial Molten Salt Irradiation Experiments in HFIR

The development and deployment of molten salt reactor (MSR) technologies require experimental capabilities that can evaluate molten fuel salt behavior and structural material performance under representative irradiation conditions. Although modeling and separate effects testing provide important insight, there remains a critical lack of in-pile data that capture the coupled effects of neutron irradiation, temperature, salt chemistry, and time. Informed by lessons learned from historical MSR programs and recent international irradiation efforts, this report presents a structured approach to addressing existing gaps in molten salt irradiation testing using the High Flux Isotope Reactor (HFIR). A phased irradiation strategy is presented that incrementally increases experimental complexity while managing cost, risk, and facility constraints. The framework progresses from passive, nonfueled static capsule experiments to fueled, instrumented, and ultimately circulating molten salt systems, providing a pathway for materials screening, mechanistic understanding, and qualification-relevant testing. The report defines a near-term Phase 1 passive capsule concept, associated irradiation conditions, and a conceptual post-irradiation examination strategy. Ongoing modeling, out-of-pile testing, and safety analysis activities are described to support continued capability maturation and to enable future phases of molten salt irradiation testing in support of MSR technology deployment.

22 GENERAL STUDIES OF NUCLEAR REACTORS↗
DOE OSTI2024

How the Galaxy–Halo Connection Depends on Large-scale Environment

We investigate the connection between galaxies, dark matter halos, and their large-scale environments at z = 0 with Illustris TNG300 hydrodynamic simulation data. We predict stellar masses from subhalo properties to test two types of machine learning (ML) models: explainable boosting machines (EBMs) with simple galaxy environment features and E(3)-invariant graph neural networks (GNNs). The best-performing EBM models leverage spherically averaged overdensity features on 3 Mpc scales. Interpretations via SHapley Additive exPlanations also suggest that in the context of the TNG300 galaxy–halo connection, simple spherical overdensity on ∼3 Mpc scales is more important than cosmic web distance features measured using the DisPerSE algorithm. Meanwhile, a GNN with connectivity defined by a fixed linking length, L, outperforms the EBM models by a significant margin. As we increase the linking length scale, GNNs learn important environmental contributions up to the largest scales we probe (L = 10 Mpc). We conclude that 3 Mpc distance scales are most critical for describing the TNG galaxy–halo connection using the spherical overdensity parameterization, but that information on larger scales, which is not captured by simple environmental parameters or cosmic web features, can further augment these models. Our study highlights the benefits of using interpretable ML algorithms to explain models of astrophysical phenomena, and the power of using GNNs to flexibly learn complex relationships directly from data while imposing constraints from physical symmetries.

79 ASTRONOMY AND ASTROPHYSICS↗
NASA NTRS1980

Data recording and processing for speckle image reconstruction

Image reconstruction from astronomical speckle data using the Knox-Thompson algorithm has now been extensively demonstrated as feasible through analysis and computer simulations. Experimental verification of the technique and its implementation for astronomy places stringent constraints on the recording system and requires complex processing algorithms to handle the many experimental details. In this paper we describe a video recording system specifically designed for the requirements of speckle imaging. This system has been built and tested, yielding high quality image reconstructions from a laboratory-atmospheric simulator for a wide range of input light levels and test objects.

Nisenson, P.↗
NASA NTRS1989

Some easily analyzable convolutional codes

Convolutional codes have played and will play a key role in the downlink telemetry systems on many NASA deep-space probes, including Voyager, Magellan, and Galileo. One of the chief difficulties associated with the use of convolutional codes, however, is the notorious difficulty of analyzing them. Given a convolutional code as specified, say, by its generator polynomials, it is no easy matter to say how well that code will perform on a given noisy channel. The usual first step in such an analysis is to computer the code's free distance; this can be done with an algorithm whose complexity is exponential in the code's constraint length. The second step is often to calculate the transfer function in one, two, or three variables, or at least a few terms in its power series expansion. This step is quite hard, and for many codes of relatively short constraint lengths, it can be intractable. However, a large class of convolutional codes were discovered for which the free distance can be computed by inspection, and for which there is a closed-form expression for the three-variable transfer function. Although for large constraint lengths, these codes have relatively low rates, they are nevertheless interesting and potentially useful. Furthermore, the ideas developed here to analyze these specialized codes may well extend to a much larger class.

Mceliece, R.↗
NASA NTRS1993

Explicit solution techniques for impact with contact constraints

Modern military aircraft transparency systems, windshields and canopies, are complex systems which must meet a large and rapidly growing number of requirements. Many of these transparency system requirements are conflicting, presenting difficult balances which must be achieved. One example of a challenging requirements balance or trade is shaping for stealth versus aircrew vision. The large number of requirements involved may be grouped in a variety of areas including man-machine interface; structural integration with the airframe; combat hazards; environmental exposures; and supportability. Some individual requirements by themselves pose very difficult, severely nonlinear analysis problems. One such complex problem is that associated with the dynamic structural response resulting from high energy bird impact. An improved analytical capability for soft-body impact simulation was developed.

Mccarty, Robert E.↗
NASA NTRS1994

An opportunity analysis system for space surveillance experiments with the MSX

The Mid-Course Space Experiment consists of a set of payloads on a satellite being designed and built under the sponsorship of Ballistic Missile Defense Office. The MSX satellite will conduct a series of measurements of phenomenology of backgrounds, missile targets, plumes and resident space objects (RSO's); and will engage in functional demonstrations in support of detection, acquisition and tracking for ballistic missile defense and space-based space surveillance missions. A complex satellite like the MSX has several constraints imposed on its operation by the sensors, the supporting instrumentation, power resources, data recording capability, communications and the environment in which all these operate. This paper describes the implementation of an opportunity and feasibility analysis system, developed at Lincoln Laboratory, Massachusetts Institute of Technology, specifically to support the experiments of the Principal Investigator for space-based surveillance.

Sridharan, Ramaswamy↗
NASA NTRS1994

Design and implementation of an experiment scheduling system for the ACTS satellite

The Advanced Communication Technology Satellite (ACTS) was launched on the 12th of September 1993 aboard STS-51. All events since that time have proceeded as planned with user operations commencing on December 6th, 1993. ACTS is a geosynchronous satellite designed to extend the state of the art in communication satellite design and is available to experimenters on a 'time/bandwidth available' basis. The ACTS satellite requires the advance scheduling of experimental activities based upon a complex set of resource, state, and activity constraints in order to ensure smooth operations. This paper describes the software system developed to schedule experiments for ACTS.

Ringer, Mark J.↗
NASA NTRS2002

Constrained coding for the deep-spaced optical channel

In this paper, we demonstrate a class of low-complexity modulation codes satisfying the (d,k) constraint that offer throughput gains over M-PPM on the order of 10-15%, which translate into SNR gains of .4 - .6 dB.

constrained coding optical communications error-co↗
NASA NTRS2009

Progressive Classification Using Support Vector Machines

An algorithm for progressive classification of data, analogous to progressive rendering of images, makes it possible to compromise between speed and accuracy. This algorithm uses support vector machines (SVMs) to classify data. An SVM is a machine learning algorithm that builds a mathematical model of the desired classification concept by identifying the critical data points, called support vectors. Coarse approximations to the concept require only a few support vectors, while precise, highly accurate models require far more support vectors. Once the model has been constructed, the SVM can be applied to new observations. The cost of classifying a new observation is proportional to the number of support vectors in the model. When computational resources are limited, an SVM of the appropriate complexity can be produced. However, if the constraints are not known when the model is constructed, or if they can change over time, a method for adaptively responding to the current resource constraints is required. This capability is particularly relevant for spacecraft (or any other real-time systems) that perform onboard data analysis. The new algorithm enables the fast, interactive application of an SVM classifier to a new set of data. The classification process achieved by this algorithm is characterized as progressive because a coarse approximation to the true classification is generated rapidly and thereafter iteratively refined. The algorithm uses two SVMs: (1) a fast, approximate one and (2) slow, highly accurate one. New data are initially classified by the fast SVM, producing a baseline approximate classification. For each classified data point, the algorithm calculates a confidence index that indicates the likelihood that it was classified correctly in the first pass. Next, the data points are sorted by their confidence indices and progressively reclassified by the slower, more accurate SVM, starting with the items most likely to be incorrectly classified. The user can halt this reclassification process at any point, thereby obtaining the best possible result for a given amount of computation time. Alternatively, the results can be displayed as they are generated, providing the user with real-time feedback about the current accuracy of classification.

Wagstaff, Kiri↗