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 307 records · Page 17
All sourcesNASA NTRSDOE OSTI
DOE OSTI2025

Analysis of the Trusted Inertial Terrain-Aided Navigation Measurement Function

The trusted inertial terrain-aided navigation (TITAN) algorithm leverages an airborne vertical synthetic aperture radar to measure the range to the closest ground points along several prescribed iso-Doppler contours. These TITAN minimum-range, prescribed-Doppler measurements are the result of a constrained nonlinear optimization problem whose optimization function and constraints both depend on the radar position and velocity. Owing to the complexity of this measurement definition, analysis of the TITAN algorithm is lacking in prior work. This publication offers such an analysis, making the following three contributions: (1) an analytical solution to the TITAN constrained optimization measurement problem, (2) a derivation of the TITAN measurement function Jacobian, and (3) a derivation of the Cramér-Rao lower bound on the estimated position and velocity error covariance. These three contributions are verified via Monte Carlo simulations over synthetic terrain, which further reveal two remarkable properties of the TITAN algorithm: (1) the along-track positioning errors tend to be smaller than the cross-track positioning errors, and (2) the cross-track positioning errors are independent of the terrain roughness.

TITAN↗
NASA NTRS1983

Assessment of constraints on space shuttle launch rates

The range of number of annual STS flights with 4- and 5-orbiter fleets was estimated and an overview of capabilities needed to support annual rates of 24 and up with a survey of known constraints and emphasis on External Tank (ET) production requirements was provided. Facility capability estimates are provided for ground turnaround, cargo handling, flight training and flight operations. Emphasizing the complexity of the STS systems and the R&D nature of present flight experience, it is concluded that the most prominent constraints in the early growth of the STS as an operational system may manifest themselves not as shortages of investment items such as the ET or SRB, but as inability to provide timely repairs or replacement of flight system components needed to sustain launch rates.

Source record↗
NASA NTRS1984

Spacecraft structural system identification by modal test

A structural parameter estimation procedure using the measured natural frequencies and kinetic energy distribution as observers is proposed. The theoretical derivation of the estimation procedure is described and its constraints and limitations are explained. This procedure is applied to a large complex spacecraft structural system to identify the inertia matrix using modal test results. The inertia matrix is chosen after the stiffness matrix has been updated by the static test results.

Chen, J.-C.↗
NASA NTRS1986

Multiple instrument coverage analysis

In the Space Station era comprehensive investigations of the physical processes of the earth will rely on observations from several types of space-based instruments. Preliminary studies indicate that, due to projected limitations on spacecraft and launch-vehicle capability, these complementary instrument sets may have to be distributed among several spacecraft. The task of analyzing the coincident coverage areas between instruments operating from multiple spacecraft will be complex. Such factors as the instruments' observing capabilities, orbital parameters, and viewing constraints will have to be considered. To aid in this analysis a computer model is being developed. This model has the capability, among others, to compute the coincident coverage areas between two independently orbiting instruments. This paper describes the model, its capabilities, and several sample applications.

Horvat, G. M.↗
NASA NTRS1990

Requirements for long-life mechanical cryocoolers for space applications

The growing demand for long wavelength infrared and submillimeter imaging instruments for space observational applications, together with the emergence of the multiyear life Oxford University Stirling cycle cooler, has led to a rapidly expanding near term commitment to mechanical cryocoolers throughout the subkelvin to 150 K temperature range for long-life space missions. To satisfy this growing commitment, emerging cryocoolers must successfully address not only the input power, cooling power, and mass constraints of the spacecraft and instruments, but also the broad array of complex interface requirements that critically affect successful integration to the sensitive instrument detectors. Generic requirements are presented for each of the cryocooler requirement areas, which are then contrasted with the projected capabilities of emerging space cryocoolers. The degree of match is used to highlight both the strengths of existing technologies and the areas in need of increased development.

Ross, R. G., Jr.↗
NASA NTRS1991

Space Shuttle processing - A case study in artificial intelligence

A scheduling system incorporating AI is described and applied to the automated processing of the Space Shuttle. The unique problem of addressing the temporal, resource, and orbiter-configuration requirements of shuttle processing is described with comparisons to traditional project management for manufacturing processes. The present scheduling system is developed to handle the late inputs and complex programs that characterize shuttle processing by incorporating fixed preemptive scheduling, constraint-based simulated annealing, and the characteristics of an 'anytime' algorithm. The Space-Shuttle processing environment is modeled with 500 activities broken down into 4000 subtasks and with 1600 temporal constraints, 8000 resource constraints, and 3900 state requirements. The algorithm is shown to scale to very large problems and maintain anytime characteristics suggesting that an automated scheduling process is achievable and potentially cost-effective.

Mollikarimi, Cindy↗
NASA NTRS2009

Peer-to-Peer Planning for Space Mission Control

Planning and scheduling for space operations entails the development of applications that embed intimate domain knowledge of distinct areas of mission control, while allowing for significant collaboration among them. The separation is useful because of differences in the planning problem, solution methods, and frequencies of replanning that arise in the different disciplines. For example, planning the activities of human spaceflight crews requires some reasoning about all spacecraft resources at timescales of minutes or seconds, and is subject to considerable volatility. Detailed power planning requires managing the complex interplay of power consumption and production, involves very different classes of constraints and preferences, but once plans are generated they are relatively stable.

Barreiro, Javier↗
NASA NTRS2012

Specification and Design of Electrical Flight System Architectures with SysML

Modern space flight systems are required to perform more complex functions than previous generations to support space missions. This demand is driving the trend to deploy more electronics to realize system functionality. The traditional approach for the specification, design, and deployment of electrical system architectures in space flight systems includes the use of informal definitions and descriptions that are often embedded within loosely coupled but highly interdependent design documents. Traditional methods become inefficient to cope with increasing system complexity, evolving requirements, and the ability to meet project budget and time constraints. Thus, there is a need for more rigorous methods to capture the relevant information about the electrical system architecture as the design evolves. In this work, we propose a model-centric approach to support the specification and design of electrical flight system architectures using the System Modeling Language (SysML). In our approach, we develop a domain specific language for specifying electrical system architectures, and we propose a design flow for the specification and design of electrical interfaces. Our approach is applied to a practical flight system.

specifications↗
NASA NTRS2014

Feedback-Driven Dynamic Invariant Discovery

Program invariants can help software developers identify program properties that must be preserved as the software evolves, however, formulating correct invariants can be challenging. In this work, we introduce iDiscovery, a technique which leverages symbolic execution to improve the quality of dynamically discovered invariants computed by Daikon. Candidate invariants generated by Daikon are synthesized into assertions and instrumented onto the program. The instrumented code is executed symbolically to generate new test cases that are fed back to Daikon to help further re ne the set of candidate invariants. This feedback loop is executed until a x-point is reached. To mitigate the cost of symbolic execution, we present optimizations to prune the symbolic state space and to reduce the complexity of the generated path conditions. We also leverage recent advances in constraint solution reuse techniques to avoid computing results for the same constraints across iterations. Experimental results show that iDiscovery converges to a set of higher quality invariants compared to the initial set of candidate invariants in a small number of iterations.

Daikon↗
NASA NTRS2014

Potential Multi-Component Structure of the Debris Disk Around HIP 17439 Revealed by Herschel DUNES

Context. The dust observed in debris disks is produced through collisions of larger bodies left over from the planet/planetesimal formation process. Spatially resolving these disks permits to constrain their architecture and thus that of the underlying planetary/planetesimal system. Aims. Our Herschel open time key program DUNES aims at detecting and characterizing debris disks around nearby, sun-like stars. In addition to the statistical analysis of the data, the detailed study of single objects through spatially resolving the disk and detailed modeling of the data is a main goal of the project. Methods. We obtained the first observations spatially resolving the debris disk around the sun-like star HIP 17439 (HD 23484) using the instruments PACS and SPIRE on board the Herschel Space Observatory. Simultaneous multi-wavelength modeling of these data together with ancillary data from the literature is presented. Results. A standard single component disk model fails to reproduce the major axis radial profiles at 70 μm, 100 μm, and 160 μm simultaneously. Moreover, the best-fit parameters derived from such a model suggest a very broad disk extending from few au up to few hundreds of au from the star with a nearly constant surface density which seems physically unlikely. However, the constraints from both the data and our limited theoretical investigation are not strong enough to completely rule out this model. An alternative, more plausible, and better fitting model of the system consists of two rings of dust at approx. 30 au and 90 au, respectively, while the constraints on the parameters of this model are weak due to its complexity and intrinsic degeneracies. Conclusions. The disk is probably composed of at least two components with different spatial locations (but not necessarily detached), while a single, broad disk is possible, but less likely. The two spatially well-separated rings of dust in our best-fit model suggest the presence of at least one high mass planet or several low-mass planets clearing the region between the two rings from planetesimals and dust.

sun-like stars↗
NASA NTRS2020

Design and Implementation of a Scenario Development Process for a 2040 Trajectory-Based Operations Simulation

The National Aeronautics and Space Administration (NASA) is supporting research to transition from a legacy, air traffic management (ATM) system to Trajectory-Based Operations (TBO) environment targeting the 2035-2045 timeframe by creating simulation scenarios for current and future studies. TBO in the National Airspace System (NAS) focuses on modernizing the current operating paradigm to increase efficiency, predictability, resilience, and flexibility while migrating toward greater operational autonomy across the airspace. These simulation scenarios offer a wide dissemination and use of system-level constraints and aircraft state/intent data, routine use of data communications to request complex trajectory modifications and to receive clearances, and aircraft that are flying on 4-D trajectories with flexibility when desired, but structure where required. This report describes the end-to-end development of scenarios for the NASA Langley Research Center simulation environment to represent a 2040 Trajectory-Based Operations airspace for air transport operations research.

Trajectory-Based Operations↗
NASA NTRS2022

Machine-Learning Reveals Climate Forcing From Aerosols is Dominated by Increased Cloud Cover

Aerosol-cloud interactions have a potentially large impact on climate, but are poorly quantified and thus contribute a significant and long-standing uncertainty in climate projections. The impacts derived from climate models are poorly constrained by observations, because retrieving robust large-scale signals of aerosol-cloud interactions are frequently hampered by the considerable noise associated with meteorological co-variability. The Iceland-Holuhraun effusive eruption in 2014 resulted in a massive aerosol plume in an otherwise near-pristine environment and thus provided an ideal natural experiment to quantify cloud responses to aerosol perturbations. Here we disentangle significant signals from the noise of meteorological co-variability using a satellite-based machine-learning approach. Our analysis shows that aerosols from the eruption increased cloud cover by approximately 10%, and this appears to be the leading cause of climate forcing, rather than cloud brightening as previously thought. We find that volcanic aerosols do brighten clouds by reducing droplet size, but this has a significantly smaller radiative impact than changes in cloud fraction. These results add substantial observational constraints on the cooling impact of aerosols. Such constraints are critical for improving climate models, which still inadequately represent the complex macro-physical and micro-physical impacts of aerosol-cloud interactions.

Aerosols↗
NASA NTRS2022

The Long-stable Hard State of XTE J1752-223 and the Disk Truncation Dilemma

The degree to which the thin accretion disks of black hole X-ray binaries are truncated during hard spectral states remains a contentious open question in black hole astrophysics. During its singular observed outburst in 2009–2010, the black hole X-ray binary XTE J1752−223 spent ∼1 month in a long-stable hard spectral state at a luminosity of ∼0.02–0.1 L Edd . It was observed with 56 RXTE pointings during this period, with simultaneous Swift-XRT daily coverage during the first 10 days of the RXTE observations. While reflection modeling has been extensively explored in the analysis of these data, there is disagreement surrounding the geometry of the accretion disk and corona implied by the reflection features. We reexamine the combined, high signal-to-noise, simultaneous Swift and RXTE observations, and perform extensive reflection modeling with the latest relxill suite of reflection models, including newer high disk density models. We show that reflection modeling requires that the disk be within ∼5 R ISCO during the hard spectral state, while weaker constraints from the thermal disk emission imply higher truncation (Rin = 6–80 R ISCO ). We also explore more complex coronal continuum models, allowing for two Comptonization components instead of one, and show that the reflection features still require only a mildly truncated disk. Finally we present a full comparison of our results to previous constraints found from analyses of the same data set.

Accretion↗
NASA NTRSDate not supplied

What is the Role of Usability and Trust in Autonomy?

Usability encompasses learnability, efficiency, memorability, effectiveness, and satisfaction. NASA’s standards for usability acceptance criteria focus on interfaces that help operators achieve their tasks efficiently, effectively, and with satisfaction. However, discussions on usability, especially regarding future highly automated and autonomous systems, rarely include trust. As NASA plans for long-duration exploration missions, it envisions astronauts operating more independently from Mission Control on Earth. This independence will drive the development of these highly automated and autonomous systems that astronauts will use daily. To prepare for this future, our team has developed a scheduling and execution software tool that facilitates self-scheduling, allowing astronauts to independently manage their own schedule without Mission Control’s involvement. Over many years, we have developed, matured, and evaluated our software tool in extreme environments, prioritizing user-centered design and high usability. These evaluations have included multiple campaigns in NASA analogs, including NEEMO, BASALT, and HERA, as well as technology demonstrations onboard the International Space Station. Our recent research on software interfaces for future astronaut autonomy revealed a strong correlation between usability and trust measures. In a controlled lab experiment, we asked novice users to perform a complex scheduling task, during which the software immediately validated the schedule’s constraints and checked for violations. We collected usability (User Experience Questionnaire, UEQ) and trust (Trust in Automated Systems scale, TAS) measures; significant, strong, and moderate correlations emerged between several of the UEQ metrics and TAS. These results support the argument for investing in usability early to enable and sustain trust in highly automated and autonomous systems.

usability↗
NASA NTRS2014

Enabling More than Moore: Accelerated Reliability Testing and Risk Analysis for Advanced Electronics Packaging

For five decades, the semiconductor industry has distinguished itself by the rapid pace of improvement in miniaturization of electronics products-Moore's Law. Now, scaling hits a brick wall, a paradigm shift. The industry roadmaps recognized the scaling limitation and project that packaging technologies will meet further miniaturization needs or ak.a "More than Moore". This paper presents packaging technology trends and accelerated reliability testing methods currently being practiced. Then, it presents industry status on key advanced electronic packages, factors affecting accelerated solder joint reliability of area array packages, and IPC/JEDEC/Mil specifications for characterizations of assemblies under accelerated thermal and mechanical loading. Finally, it presents an examples demonstrating how Accelerated Testing and Analysis have been effectively employed in the development of complex spacecraft thereby reducing risk. Quantitative assessments necessarily involve the mathematics of probability and statistics. In addition, accelerated tests need to be designed which consider the desired risk posture and schedule for particular project. Such assessments relieve risks without imposing additional costs. and constraints that are not value added for a particular mission. Furthermore, in the course of development of complex systems, variances and defects will inevitably present themselves and require a decision concerning their disposition, necessitating quantitative assessments. In summary, this paper presents a comprehensive view point, from technology to systems, including the benefits and impact of accelerated testing in offsetting risk.

Ghaffarian, Reza↗
NASA NTRS1989

Conceptual design for aerospace vehicles

The designers of aircraft and more recently, aerospace vehicles have always struggled with the problems of evolving their designs to produce a machine which would perform its assigned task(s) in some optimum fashion. Almost invariably this involved dealing with more variables and constraints than could be handled in any computationally feasible way. With the advent of the electronic digital computer, the possibilities for introducing more variable and constraints into the initial design process led to greater expectations for improvement in vehicle (system) efficiency. The creation of the large scale systems necessary to achieve optimum designs has, for many reason, proved to be difficult. From a technical standpoint, significant problems arise in the development of satisfactory algorithms for processing of data from the various technical disciplines in a way that would be compatible with the complex optimization function. Also, the creation of effective optimization routines for multi-variable and constraint situations which could lead to consistent results has lagged. The current capability for carrying out the conceptual design of an aircraft on an interdisciplinary bases was evaluated to determine the need for extending this capability, and if necessary, to recommend means by which this could be carried out. Based on a review of available documentation and individual consultations, it appears that there is extensive interest at Langley Research Center as well as in the aerospace community in providing a higher level of capability that meets the technical challenges. By implication, the current design capability is inadequate and it does not operate in a way that allows the various technical disciplines to participate and cooperately interact in the design process. Based on this assessment, it was concluded that substantial effort should be devoted to developing a computer-based conceptual design system that would provide the capability needed for the near-term as well as framework for development of more advanced methods to serve future needs.

Gratzer, Louis B.↗
NASA NTRS2008

Advanced Diagnostic and Prognostic Testbed (ADAPT) Testability Analysis Report

As system designs become more complex, determining the best locations to add sensors and test points for the purpose of testing and monitoring these designs becomes more difficult. Not only must the designer take into consideration all real and potential faults of the system, he or she must also find efficient ways of detecting and isolating those faults. Because sensors and cabling take up valuable space and weight on a system, and given constraints on bandwidth and power, it is even more difficult to add sensors into these complex designs after the design has been completed. As a result, a number of software tools have been developed to assist the system designer in proper placement of these sensors during the system design phase of a project. One of the key functions provided by many of these software programs is a testability analysis of the system essentially an evaluation of how observable the system behavior is using available tests. During the design phase, testability metrics can help guide the designer in improving the inherent testability of the design. This may include adding, removing, or modifying tests; breaking up feedback loops, or changing the system to reduce fault propagation. Given a set of test requirements, the analysis can also help to verify that the system will meet those requirements. Of course, a testability analysis requires that a software model of the physical system is available. For the analysis to be most effective in guiding system design, this model should ideally be constructed in parallel with these efforts. The purpose of this paper is to present the final testability results of the Advanced Diagnostic and Prognostic Testbed (ADAPT) after the system model was completed. The tool chosen to build the model and to perform the testability analysis with is the Testability Engineering and Maintenance System Designer (TEAMS-Designer). The TEAMS toolset is intended to be a solution to span all phases of the system, from design and development through health management and maintenance. TEAMS-Designer is the model-building and testability analysis software in that suite.

Ossenfort, John↗
NASA NTRS1996

(abstract) MCD3 - A Constraint Length 15 Viterbi Decoder

JPL is responsible for many space missions, as part of NASA's continuing unmanned exploration of the solar system. Signals from spacecraft at planetary distances arrive at Earth with poor S/N ratio. To reduce errors, the signals are encoded with an inner code of Viterbi encoding. One of the key parameters of Viterbi encoding is the constraint length. Previous space missions have used a constraint length of 7. Newer missions use 15, to give a considerably improved error correction ability. However, the complexity of the Viterbi decoder is increased so as to be 256 times more complex.

communications↗