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.

SourceResearch connectionFrom yearThrough year

Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.

At least 379 records · Page 21

All sources NASA NTRS DOE OSTI

NASA NTRS1991

Assimilation of altimeter topography into oceanic models

The primary goals of the authors are to build an intuition for assimilation techniques and to investigate the impact of variable altimeter topography on simple or complex oceanic models. In particular, applying various techniques and sensitivity studies to model and data constraints plays a key role. We are starting to use quasi-geostrophic, semigeostrophic, and primitive-equation (PE) models and to test the schemes in regions of interest to the World Ocean Circulation Experiment (WOCE), as well as in the northeast Atlantic and the Mediterranean. The impact of scatterometer wind forcing on the results is also investigated. The use of Geosat, European Remote Sensing satellite (ERS-1), and TOPEX/POSEIDON altimetry data is crucial in fine tuning the models and schemes to the selected areas of interest.

Demey, Pierre↗

NASA NTRS1997

An Algorithm for Integrated Subsystem Embodiment and System Synthesis

Consider the statement,'A system has two coupled subsystems, one of which dominates the design process. Each subsystem consists of discrete and continuous variables, and is solved using sequential analysis and solution.' To address this type of statement in the design of complex systems, three steps are required, namely, the embodiment of the statement in terms of entities on a computer, the mathematical formulation of subsystem models, and the resulting solution and system synthesis. In complex system decomposition, the subsystems are not isolated, self-supporting entities. Information such as constraints, goals, and design variables may be shared between entities. But many times in engineering problems, full communication and cooperation does not exist, information is incomplete, or one subsystem may dominate the design. Additionally, these engineering problems give rise to mathematical models involving nonlinear functions of both discrete and continuous design variables. In this dissertation an algorithm is developed to handle these types of scenarios for the domain-independent integration of subsystem embodiment, coordination, and system synthesis using constructs from Decision-Based Design, Game Theory, and Multidisciplinary Design Optimization. Implementation of the concept in this dissertation involves testing of the hypotheses using example problems and a motivating case study involving the design of a subsonic passenger aircraft.

Lewis, Kemper↗

NASA NTRS1999

Optical Studies of Active Comets

This grant was to support optical studies of comets close enough to the sun to be outgassing. The main focus of the observations was drawn to the two extraordinarily bright comets Hyakutake and Hale-Bopp, but other active comets were also studied in detail during the period of funding. Major findings under this grant include: (1) Combined optical and submillimeter observations of the comet/Centaur P/Schwassmann-Wachmann 1 were used to study the nature of mass loss from this object. (2) We modelled the rotation of cometary nuclei using time-resolved images of dust jets as the primary constraint. The fortuitous apparition of comet Hale-Bopp allowed us to see the full complexity of this. (3) We obtained broad-band optical images of several comets for which we subsequently attempted submillimeter observations, in order to test and update the cometary ephemerides. This step is essential to the success of submillimeter observations, which are taken by instruments with narrow fields of view and without benefit of optical confirmation of the pointing. (4) Broad-band continuum images of a set of weakly active comets and, apparently, inactive asteroids were obtained in BVRI using the University of Hawaii 2.2-m telescope. These images were taken in support of a program to test the paradigm that many near-Earth asteroids might be dead or dormant comets. We measured coma vs. nucleus colors in active comets (finding that coma particle scattering is different from, and cannot be simply related to, nucleus color). (5) We obtained spectroscopic observations of weakly active comets and other small bodies limits to outgassing from these bodies, aided by the high (40,000) spectral resolution of HIRES.

Jewitt, David↗

NASA NTRS2002

Energetics of muscle contraction: the whole is less than the sum of its parts

Understanding muscle energetics is a problem in optimizing supply of ATP to the demands of ATPases. The complexity of reactions and their fluxes to achieve this balance is greatly reduced by recognizing constraints imposed by the integration of common metabolites at fixed stoichiometry among modular units. ATPase is driven externally. Oxidative phosphorylation and glycogenolysis are the suppliers. We focus on their regulation which involves different controls, but reduces to two principles that enable facile experimental analysis of the supply and demand fluxes. The ratio of concentration of phosphocreatine (PCr) to ATP, not their individual values, sets the range of achievable concentrations of ADP in resting and active muscle (at fixed pH) in different cell types. This principle defines the fraction of available flux of oxidative phosphorylation utilized (at fixed enzyme activities). Then the kinetics of PCr recovery defines the kinetics of oxygen supply and substrate utilization. The second principle is the constancy of PCr and H(+) (lactate) production by glycogenolysis due to the coupling of ATPase and glycolysis. This principle enables glycogenolytic flux to be measured from intracellular proton loads. Further simplification occurs because the magnitude of the interacting fluxes and metabolite concentrations are specified within narrow limits when both the resting and active fluxes are quantified. Thus there is a small set of rules for assessing and understanding the thermodynamics and kinetics of muscle energetics.

NASA Program Biomedical Research and Countermeasur↗

NASA NTRS1993

Mars Relay Satellite: Key to Enabling Low-Cost Exploration Missions

Recently, there has been increasing evidence of a renewed focus on Mars exploration both by NASA and the international community. The thrust of this renewed interest appears to be manifesting itself in numerous low-cost missions employing small, light weight elements, which utilize advanced technologies including integrated microelectronics. A formidable problem facing these low-cost missions is communications with Earth. Providing adequate direct-link performance has very significant impacts on spacecraft power, pointing, mass and overall complexity. Additionally, for elements at or near the surface of Mars, there are serious connectivity constraints, especially at higher latitudes, which lose view of Earth for up to many months at a time. This paper will discuss the role a Mars relay satellite can play in enabling and enhancing low-cost missions to Mars...

Hastrup, R.↗

NASA NTRSDate not supplied

Crew Autonomy through Self-Scheduling: Scheduling Performance Pilot Study

Within the domain of human spaceflight, crew scheduling for International Space Station (ISS) remains a human-driven planning task. Large teams of flight controllers (called Ops Planners) spend weeks creating violation-free schedules for all crewmembers. As NASA considers long-duration exploration missions, the necessary shift of scheduling and planning management from Ops Planners to crew members requires significant research and investigation of crew performance to complete these scheduling tasks. This pilot study was conducted to evaluate non-expert human performance for the task of planning and scheduling, focusing on scheduling problems that increased in complexity based on the number of activities to be scheduled and the number of planning constraints. Nine non-expert planners were recruited to complete scheduling tasks using Playbook, a scheduling software. The results of this pilot study show that scheduling performance decreased as scheduling workload (i.e. number of activities and percent of activities with planning constraints) increased. This paper provides evidence towards developing a model for scheduling task difficulty and identifies potential implications for future automated aids for flight crew scheduling.

planning↗

NASA NTRSDate not supplied

Crew Autonomy Through Self-Scheduling: Scheduling Performance Pilot Study

planning↗

NASA NTRSDate not supplied

James Webb Space Telescope Navigation Optimization Challenges

This paper details the orbit determination, solar radiation pressure (SRP) modeling, and station-keeping maneuver planning for the NASA James Webb Space Telescope during the routine science phase of the mission. The complexities of SRP modeling driven by the vehicle’s large area, attitude profile, and attitude constraints for maneuver execution entail unique challenges for spaceflight navigation. The techniques utilized to combine predictive attitude and maneuver targeting modeling were refined using the experiences and data accumulated during and following the commissioning phase. The Navigation Team at NASA Goddard Space Flight Center’s Flight Dynamics Facility responded to these challenges and implemented methods for trajectory optimization and improving maneuver efficiency.

Flight Dynamics↗

NASA NTRSDate not supplied

James Webb Space Telescope Navigation Optimization Challenges

Flight Dynamics↗

DOE OSTI2025

Comparing Control Performance Between Simulation and Experiment using the Microreactor Automated Control System Testbed

In the advanced reactor domain, a flexible and scalable software/hardware infrastructure is crucial for integrating and validating various control technologies. This study used the Microreactor Automated Control System (MACS) hardware platform as a testbed. MACS was originally designed to mirror Idaho National Laboratory (INL)'s Microreactor Applications Research Validation and Evaluation (MARVEL), a 85-kW thermal fission microreactor. It features control drums for simulated reactivity control; lights that function as a surrogate reactor core, with the brightness being proportional to the reactor power; and light sensors that emulate neutron detectors. To transform MACS into a physical twin of MARVEL for evaluating control methods, the Control and Optimization Modular Modeling Application for Nuclear Deployment (COMMAND) software was employed. This software integrated the hardware with two models of the MARVEL core, based on Reactor Excursion and Leak Analysis Program (RELAP5-3D) and Monte Carlo N-Particle (MCNP) models. The study aimed to demonstrate the gap between control theory and actual practice—a gap that often necessitates empirical adjustments such as control gain retuning, filters, time discretization, and integrator anti-windup measures. Controllers were developed based on increasingly complex simulations without hardware, starting from the base MARVEL model and then introducing actuator saturation constraints and sensor noise. The final control strategy was then tested using MACS, and a comparative performance analysis was conducted.

46 - INSTRUMENTATION RELATED TO NUCLEAR SCIENCE AN↗

DOE OSTI2024

Heuristic solutions to the single depot electric vehicle scheduling problem with next day operability constraints

This study focuses on the single depot electric vehicle scheduling problem (SDEVSP) within the broader context of the vehicle scheduling problem (VSP). By developing an effective scheduling model using mixed-integer linear programming, we generate bus blocks that accommodate electric vehicles (EVs), ensuring successful completion of each block while considering recharging requirements between blocks and during off-hours. Next day operability constraints are also incorporated, allowing for seamless repetition of blocks on subsequent days. The SDEVSP is known to be computationally complex, deriving optimal solutions unattainable for large-scale problems within reasonable timeframes. To address this, we propose a two-step solution approach: first solving the single depot VSP, and then addressing the block chaining problem (BCP) using the blocks generated in the first step. The BCP focuses on optimizing block combinations to facilitate recharging between consecutive blocks, considering operational constraints. Further, a case study conducted reveals that nearly 100% electrification for Chicago, IL and Austin, TX transit buses is viable yet requires 1.6 EVs at 150-mile range per diesel vehicle.

33 ADVANCED PROPULSION SYSTEMS↗

NASA NTRS1996

New Constraints on the Slate Islands Impact Structure, Ontario, Canada

The Slate Islands in northern Lake Superior represent the eroded remains of a complex impact crater, originally approximately 32 km in diameter. New field studies there reveal allogenic crater fill deposits along the eastern and northern portions of the islands indicating that this 500-800 Ma impact structure is not as heavily eroded as previously thought. Near the crater center, on the western side or Patterson Island, massive blocks of target rocks, enclosed within a matrix of fine-grained polymict breccia, record the extensive deformation associated with the central uplift. Shatter cones are a common structural feature on the islands and range from less than 3 cm to over 10 m in length. Although shatter cones are powerful tools for recognizing and analyzing eroded impact craters, their origin remains poorly constrained.

Sharpton, Virgil L.↗

NASA NTRS2008

Verification and Planning Based on Coinductive Logic Programming

Coinduction is a powerful technique for reasoning about unfounded sets, unbounded structures, infinite automata, and interactive computations [6]. Where induction corresponds to least fixed point's semantics, coinduction corresponds to greatest fixed point semantics. Recently coinduction has been incorporated into logic programming and an elegant operational semantics developed for it [11, 12]. This operational semantics is the greatest fix point counterpart of SLD resolution (SLD resolution imparts operational semantics to least fix point based computations) and is termed co- SLD resolution. In co-SLD resolution, a predicate goal p( t) succeeds if it unifies with one of its ancestor calls. In addition, rational infinite terms are allowed as arguments of predicates. Infinite terms are represented as solutions to unification equations and the occurs check is omitted during the unification process. Coinductive Logic Programming (Co-LP) and Co-SLD resolution can be used to elegantly perform model checking and planning. A combined SLD and Co-SLD resolution based LP system forms the common basis for planning, scheduling, verification, model checking, and constraint solving [9, 4]. This is achieved by amalgamating SLD resolution, co-SLD resolution, and constraint logic programming [13] in a single logic programming system. Given that parallelism in logic programs can be implicitly exploited [8], complex, compute-intensive applications (planning, scheduling, model checking, etc.) can be executed in parallel on multi-core machines. Parallel execution can result in speed-ups as well as in larger instances of the problems being solved. In the remainder we elaborate on (i) how planning can be elegantly and efficiently performed under real-time constraints, (ii) how real-time systems can be elegantly and efficiently model- checked, as well as (iii) how hybrid systems can be verified in a combined system with both co-SLD and SLD resolution. Implementations of co-SLD resolution as well as preliminary implementations of the planning and verification applications have been developed [4]. Co-LP and Model Checking: The vast majority of properties that are to be verified can be classified into safety properties and liveness properties. It is well known within model checking that safety properties can be verified by reachability analysis, i.e, if a counter-example to the property exists, it can be finitely determined by enumerating all the reachable states of the Kripke structure.

Bansal, Ajay↗

NASA NTRSDate not supplied

The Aguas Zarcas Breccia - Similarities to Surface Features of C-Complex Asteroids Ryugu and Bennu

Knowledge of the materials originally present in the proto-solar nebula is one of the most significant constraints for models concerning the formation of our solar system. The physicochemical properties of these original materials can be determined through two distinct and complementary approaches: astronomical observations of nascent stellar systems and the dense clouds from which they originated; and laboratory studies of available astromaterials such as meteorites, interplanetary dust particles, comets, as well as returned mission samples (e.g., from Hayabusa -1 -2;OSIRIS -Rex). Laboratory study of these extraterrestrial materials provides valuable information about the first solids portion of the early solar system and their evolution. Here, we present petrographic and mineralogical characteristics of the polymic beccias Aguas Zarcas based on the research results of [1].On April 23, 2019, at 21:07 local time, a meteorite fall occurred in Aguas Zarcas, San Carlos County, Alajuela province, Costa Rica. The rapid recovery of this brecciated carbonaceous chondrite after its fall provides an opportunity to study a freshly fallen, relatively uncontaminated, and highly brecciated meteorite to compare with samples returned by theHayabusa2 and OSIRIS-REx spacecraft from C-group asteroids. The study includes several pre-rain fragments [1].The X-ray Computed Tomography (XCT) results show many different lithologies. We describe the petrography and mineralogy of five different lithologies of the Aguas Zarcas meteorite. We also present data on bulk oxygen isotopes. We describe all fragments in detail and attempt to classify each lithology in order to understand the origin and formation history of the Aguas Zarcas parent body. Our results show that some lithologies of Aguas Zarcas are similar to those in CM chondrites, but others are unique. The different lithologies [1] also represent different degrees of hydration and heating, which are good analogues for the types of materials returned by the Bennu and Ryugu asteroids. Spectroscopic observations of the Ryugu and Bennu asteroids compared to laboratory measurements of meteorites suggest that the asteroids have some similarities to heated CM, heated CI, or CI chondrites[2-5]. Both asteroids are thought to be composed of materials altered by aqueous alteration (e.g., [5]) and formed by reaccretion after destruction by impacts and brecciation (e.g., [6-7]). Considering the different lithologies in Aguas Zarcas [2] and other CM chondrites [8-9], these types of carbonaceous chondrites can be considered good analogues for samples from the Ryugu and Bennu asteroids. The presence of unique and rare lithologies in the Aguas Zarcas, different from the typical CM chondrite lithologies, suggests complex mixing of different materials in a highly dynamic environment.

Imene Kerraouch↗

NASA NTRS1989

Circumstellar material associated with solar-type pre-main-sequence stars - A possible constraint on the timescale for planet building

The observed frequency distribution of near-IR excesses for a sample of 83 stars in the Taurus-Auriga star-forming complex is used to provide an estimate of the number of solar-type premain-sequence (PMS) stars surrounded by circumstellar disks. The results suggest that if all such PMS stars are initially surrounded by disks, then disk lifetimes must range from much less than 3 x 10 to the 6th yr to about 10 to the 7th yr, providing a constraint on the time available for planet building. PMS stars with small near-IR excesses, but significant mid-IR and far-IR excesses, provide some evidence for changes in disk structure with time.

Strom, Karen M.↗

NASA NTRS2005

PlanWorks: A Debugging Environment for Constraint Based Planning Systems

Numerous planning and scheduling systems employ underlying constraint reasoning systems. Debugging such systems involves the search for errors in model rules, constraint reasoning algorithms, search heuristics, and the problem instance (initial state and goals). In order to effectively find such problems, users must see why each state or action is in a plan by tracking causal chains back to part of the initial problem instance. They must be able to visualize complex relationships among many different entities and distinguish between those entities easily. For example, a variable can be in the scope of several constraints, as well as part of a state or activity in a plan; the activity can arise as a consequence of another activity and a model rule. Finally, they must be able to track each logical inference made during planning. We have developed PlanWorks, a comprehensive system for debugging constraint-based planning and scheduling systems. PlanWorks assumes a strong transaction model of the entire planning process, including adding and removing parts of the constraint network, variable assignment, and constraint propagation. A planner logs all transactions to a relational database that is tailored to support queries for of specialized views to display different forms of data (e.g. constraints, activities, resources, and causal links). PlanWorks was specifically developed for the Extensible Universal Remote Operations Planning Architecture (EUROPA(sub 2)) developed at NASA, but the underlying principles behind PlanWorks make it useful for many constraint-based planning systems. The paper is organized as follows. We first describe some fundamentals of EUROPA(sub 2). We then describe PlanWorks' principal components. We then discuss each component in detail, and then describe inter-component navigation features. We close with a discussion of how PlanWorks is used to find model flaws.

Daley, Patrick↗

NASA NTRS2001

Planning and Scheduling for Fleets of Earth Observing Satellites

We address the problem of scheduling observations for a collection of earth observing satellites. This scheduling task is a difficult optimization problem, potentially involving many satellites, hundreds of requests, constraints on when and how to service each request, and resources such as instruments, recording devices, transmitters, and ground stations. High-fidelity models are required to ensure the validity of schedules; at the same time, the size and complexity of the problem makes it unlikely that systematic optimization search methods will be able to solve them in a reasonable time. This paper presents a constraint-based approach to solving the Earth Observing Satellites (EOS) scheduling problem, and proposes a stochastic heuristic search method for solving it.

Frank, Jeremy↗

DOE OSTI2024

Scalable semidefinite programming approach to variational embedding for quantum many-body problems

In quantum embedding theories, a quantum many-body system is divided into localized clusters of sites which are treated with an accurate ‘high-level’ theory and glued together self-consistently by a less accurate ‘low-level’ theory at the global scale. The recently introduced variational embedding approach for quantum many-body problems combines the insights of semidefinite relaxation and quantum embedding theory to provide a lower bound on the ground-state energy that improves as the cluster size is increased. The variational embedding method is formulated as a semidefinite program (SDP), which can suffer from poor computational scaling when treated with black-box solvers. Here, we exploit the interpretation of this SDP as an embedding method to develop an algorithm which alternates parallelizable local updates of the high-level quantities with updates that enforce the low-level global constraints. Moreover, we show how translation invariance in lattice systems can be exploited to reduce the complexity of projecting a key matrix to the positive semidefinite cone.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗