Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “hard constraint”

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 55 records · Page 3

Constraint-based scheduling

The GERRY scheduling system developed by NASA Ames with assistance from the Lockheed Space Operations Company, and the Lockheed Artificial Intelligence Center, uses a method called constraint-based iterative repair. Using this technique, one encodes both hard rules and preference criteria into data structures called constraints. GERRY repeatedly attempts to improve schedules by seeking repairs for violated constraints. The system provides a general scheduling framework which is being tested on two NASA applications. The larger of the two is the Space Shuttle Ground Processing problem which entails the scheduling of all the inspection, repair, and maintenance tasks required to prepare the orbiter for flight. The other application involves power allocation for the NASA Ames wind tunnels. Here the system will be used to schedule wind tunnel tests with the goal of minimizing power costs. In this paper, we describe the GERRY system and its application to the Space Shuttle problem. We also speculate as to how the system would be used for manufacturing, transportation, and military problems.

Zweben, Monte↗

QSO evolution and the intergalactic medium

A model is developed of a cold, photoionized intergalactic medium in which only discrete, evolving sources (quasars) produce the observed extragalactic hard X-ray background. Constraints on the model are imposed by observed optical depth limits to various redshifts, far UV and visible flux measurements, X-ray background and source counts in the region 2-6 keV, and it makes use of results of the Palomar Bright Quasar Survey and the Braccesi Quasar survey to obtain expressions for the quasar evolution function, absolute luminosity, present number density and switch-on redshift. Results of computer modeling reveal an intergalactic medium with a density with respect to closure less than 0.35, temperature of 16,000 K and fractional ion abundances of approximately 0.000001 for H I and 0.001 for He II, under the assumption of a Hubble constant of 50 km/sec per Mpc. In addition, spectral indices of -0.4 and -1.3 are obtained for the regions of the emission spectrum above and below 4 x 10 to the 18th Hz.

Sherman, R. D.↗

Serious Gaming for Test & Evaluation of Clean-Slate (Ab Initio) National Airspace System (NAS) Designs

Incremental approaches to air transportation system development inherit current architectural constraints, which, in turn, place hard bounds on system capacity, efficiency of performance, and complexity. To enable airspace operations of the future, a clean-slate (ab initio) airspace design(s) must be considered. This ab initio National Airspace System (NAS) must be capable of accommodating increased traffic density, a broader diversity of aircraft, and on-demand mobility. System and subsystem designs should scale to accommodate the inevitable demand for airspace services that include large numbers of autonomous Unmanned Aerial Vehicles and a paradigm shift in general aviation (e.g., personal air vehicles) in addition to more traditional aerial vehicles such as commercial jetliners and weather balloons. The complex and adaptive nature of ab initio designs for the future NAS requires new approaches to validation, adding a significant physical experimentation component to analytical and simulation tools. In addition to software modeling and simulation, the ability to exercise system solutions in a flight environment will be an essential aspect of validation. The NASA Langley Research Center (LaRC) Autonomy Incubator seeks to develop a flight simulation infrastructure for ab initio modeling and simulation that assumes no specific NAS architecture and models vehicle-to-vehicle behavior to examine interactions and emergent behaviors among hundreds of intelligent aerial agents exhibiting collaborative, cooperative, coordinative, selfish, and malicious behaviors. The air transportation system of the future will be a complex adaptive system (CAS) characterized by complex and sometimes unpredictable (or unpredicted) behaviors that result from temporal and spatial interactions among large numbers of participants. A CAS not only evolves with a changing environment and adapts to it, it is closely coupled to all systems that constitute the environment. Thus, the ecosystem that contains the system and other systems evolves with the CAS as well. The effects of the emerging adaptation and co-evolution are difficult to capture with only combined mathematical and computational experimentation. Therefore, an ab initio flight simulation environment must accommodate individual vehicles, groups of self-organizing vehicles, and large-scale infrastructure behavior. Inspired by Massively Multiplayer Online Role Playing Games (MMORPG) and Serious Gaming, the proposed ab initio simulation environment is similar to online gaming environments in which player participants interact with each other, affect their environment, and expect the simulation to persist and change regardless of any individual player's active participation.

Allen, B. Danette↗

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↗

Derivation of hard deadlines for real-time control systems

The computation-time delay in the feedback controller of a real-time control system may cause failure to update the control input during one or more sampling periods. A dynamic failure is said to occur if this delay exceeds a certain limit called a hard deadline. The authors present a method for calculating the hard deadlines in linear time-invariant control systems. To derive necessary conditions for (asymptotic) system stability, the state difference equation is modified based on an assumed maximum delay and the probability distribution of delays whose magnitudes are less than, or equal to, the assumed maximum delay. Moreover, the allowed state-space-which is derived from given input and state constraints-is used to calculate the hard deadline as a function of time and the system state. The authors consider a one-shot delay model in which a single event causes a dynamic failure.

Shin, Kang G.↗

First Hard X-Ray Detection of the Non-Thermal Emission Around the Arches Cluster: Morphology and Spectral Studies With NuSTAR

The Arches cluster is a young, densely packed massive star cluster in our Galaxy that shows a high level of star formation activity. The nature of the extended non-thermal X-ray emission around the cluster remains unclear. The observed bright Fe K(alpha) line emission at 6.4 keV from material that is neutral or in a low ionization state can be produced either by X-ray photoionization or by cosmic-ray particle bombardment or both. In this paper, we report on the first detection of the extended emission around the Arches cluster above 10 keV with the NuSTAR mission, and present results on its morphology and spectrum. The spatial distribution of the hard X-ray emission is found to be consistent with the broad region around the cluster where the 6.4 keV line is observed. The interpretation of the hard X-ray emission within the context of the X-ray reflection model puts a strong constraint on the luminosity of the possible illuminating hard X-ray source. The properties of the observed emission are also in broad agreement with the low-energy cosmic-ray proton excitation scenario. Key words: cosmic rays - Galaxy: center - ISM: general - X-rays: individual (Arches cluster)

Arches cluster↗

Derivation and application of hard deadlines for real-time control systems

The computation-time delay in the feedback controller of a real-time control system may cause failure to update the control input during one or more sampling periods. If this delay exceeds a certain limit called a hard deadline, either the necessary conditions for system stability are violated or the system leaves the allowed state-space. In such a case a dynamic failure is said to occur to the system. A method for calculating the hard deadlines in linear time-invariant control systems by considering system stability and the allowed state-space is presented. To derive necessary conditions for (asymptotic) system stability, the state difference equation is modified based on an assumed maximum delay and the probability distribution of delays whose magnitudes are less than, or equal to, the assumed maximum delay. Moreover, the allowed state-space - which is derived from given input and state constraints - is used to calculate the hard deadline as a function of time and the system state. A one-shot delay model in which a single event causes a dynamic failure is also considered. The knowledge of hard deadline is then applied to the design of error recovery in a triple modular redundant (TMR) controller computer.

Shin, Kang G.↗

The mechanisms of temporal inference

The properties of a temporal language are determined by its constituent elements: the temporal objects which it can represent, the attributes of those objects, the relationships between them, the axioms which define the default relationships, and the rules which define the statements that can be formulated. The methods of inference which can be applied to a temporal language are derived in part from a small number of axioms which define the meaning of equality and order and how those relationships can be propagated. More complex inferences involve detailed analysis of the stated relationships. Perhaps the most challenging area of temporal inference is reasoning over disjunctive temporal constraints. Simple forms of disjunction do not sufficiently increase the expressive power of a language while unrestricted use of disjunction makes the analysis NP-hard. In many cases a set of disjunctive constraints can be converted to disjunctive normal form and familiar methods of inference can be applied to the conjunctive sub-expressions. This process itself is NP-hard but it is made more tractable by careful expansion of a tree-structured search space.

Fox, B. R.↗

Constraints on electron acceleration in the Crab nebula

Using the radio through hard X-ray images of the Crab nebula to derive the spatial dependence of the electron spectrum and the magnetic field distribution from MHD flow models, we have rederived the high-energy spectrum of inverse Compton scattered gamma rays. We find agreement with the observed spectrum at TeV energies, but it is clear that the inverse Compton flux does not contribute significantly to the unpulsed nebular emission observed by COS-B from 50 to 500 MeV, which is consistent with a smooth continuation of the spectrum in hard X-rays. The emission at these energies must therefore be due to synchrotron radiation by electrons of at least PeV energies. It appears that the emission in the high-energy gamma-ray range, sensitive to the highest energy electrons in the nebula, can put interesting constraints on the acceleration mechanism.

Harding, A. K.↗

Real time data acquisition for expert systems in Unix workstations at Space Shuttle Mission Control

A distributed system of proprietary engineering-class workstations is incorporated into NASA's Space Shuttle Mission-Control Center to increase the automation of mission control. The Real-Time Data System (RTDS) allows the operator to utilize expert knowledge in the display program for system modeling and evaluation. RTDS applications are reviewed including: (1) telemetry-animated communications schematics; (2) workstation displays of systems such as the Space Shuttle remote manipulator; and (3) a workstation emulation of shuttle flight instrumentation. The hard and soft real-time constraints are described including computer data acquisition, and the support techniques for the real-time expert systems include major frame buffers for logging and distribution as well as noise filtering. The incorporation of the workstations allows smaller programming teams to implement real-time telemetry systems that can improve operations and flight testing.

Muratore, John F.↗

Galaxies in the X-Ray Band

This talk will provide a brief review of progress an X-ray emission from normal (non-AGN) galaxy populations, including important constraints on the evolution of accreting binary populations over important cosmological timescales. We will also look to the future, anticipating constraints from near-term imaging hard X-ray missions such as NuSTAR, Simbol-X and NeXT and then the longer-term prospects for studying galaxies with the Generation-X mission,

Hornschemeier, Ann↗

Galaxies in the X-ray Band

This talk will provide a brief review of progress on X-ray emission from normal (non-AGN) galaxy populations, including important constraints on the evolution of accreting binary populations over important cosmological timescales. We will also look to the future, anticipating constraints from near-term imaging hard X-ray missions such as NuSTAR, Simbol-X and NeXT and then the longer-term prospects for studying galaxies with the Generation-X mission.

Hornschemeier, Ann↗

Viscoelastic responses of a hard transition zone - Effects on postglacial uplifts and rotational signatures

A five-layer viscoelastic spherical model is used to calculate the transient displacements of postglacial rebound, the induced polar motions, and the temporal variations of the geopotential up to degree 8 of the zonal coefficients. Two models - one with two viscoelastic layers separated at 670 km, and the other with three layers in which a hard garnet layer lies between the upper and lower mantle - are compared. Forward modeling shows that it may be possible to discern the presence of a hard garnet layer with a viscosity of at least ten times greater than the upper mantle, on the basis of uplift data near the center of the former Laurentide ice-sheet and from polar wander and j2 data. Temporal variations of higher gravity harmonics, such as j6 and j8, can potentially place even tighter constraints on the rheological properties of the hard transition zone. A lower mantle viscosity between 2 and 4 x 10 to the 22nd Pa is generally preferred in models with a garnet layer which may be as large as 50 times more viscous than the upper mantle.

Spada, Giorgio↗

Convolutional encoding of self-dual codes

There exist almost complete convolutional encodings of self-dual codes, i.e., block codes of rate 1/2 with weights w, w = 0 mod 4. The codes are of length 8m with the convolutional portion of length 8m-2 and the nonsystematic information of length 4m-1. The last two bits are parity checks on the two (4m-1) length parity sequences. The final information bit complements one of the extended parity sequences of length 4m. Solomon and van Tilborg have developed algorithms to generate these for the Quadratic Residue (QR) Codes of lengths 48 and beyond. For these codes and reasonable constraint lengths, there are sequential decodings for both hard and soft decisions. There are also possible Viterbi-type decodings that may be simple, as in a convolutional encoding/decoding of the extended Golay Code. In addition, the previously found constraint length K = 9 for the QR (48, 24;12) Code is lowered here to K = 8.

Solomon, G.↗

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.↗

The association of solar millisecond radio spikes with hard X-ray emission

Conventional observational data regarding solar millisecond spikes are compared with data gathered simultaneously in the hard X-ray band by means of a statistical analysis. The analysis considers the association rate, correlation degree, and relative time delays between hard X-ray emissions (in the 25-438 keV range) and radio-spike events. About 95 percent of the radio-spike bursts occur during impulsive hard X-ray bursts, and approximately 43 percent of the compared events are characterized by hard X-ray time profiles that mimic the concentration of simultaneous radio spikes. The delay of the radio emission with respect to the hard X-ray bursts puts some constraints on the acceleration and propagation of particles. The time delays and the quantization into discrete radio events are theorized to be caused by the operation of the accelerator.

Guedel, M.↗

EC 19314 - 5915 - A bright, eclipsing cataclysmic variable from the Edinburgh-Cape Blue Object Survey

A deeply eclipsing cataclysmic variable, with an orbital period of 4.75 hr, has been discovered in the southern Edinburgh-Cape Blue Object Survey. The star, EC 19314 - 5915, lies close to the positional constraints of a previously unidentified HEAO-1 hard X-ray source, 1H1930 - 5989. Its optical spectrum is unusual in that it shows, apart from the emission lines characteristic of a novalike, or dwarf nova cataclysmic variable (Balmer, He I and He II), metallic absorption lines typical of a late-G star. The individual time-resolved spectra, with the tertiary absorption lines removed, show absorption reversals in the Balmer emission lines, increasing in strength for the higher series. The Balmer emission radial velocities are therefore severely distorted in comparison to the He II 4686-A emission and He I 4471-A absorption radial velocity curves. An independent distance estimate of about 600 pc is derived for EC19314 - 5915, from the spectroscopic parallax of the third star.

Buckley, D. A. H.↗

Comparison of theoretically predicted and observed Solar Maximum Mission X-ray spectra for the 1980 April 13 and May 9 flares

A method for predicting the hard X-ray spectrum in the 10-100 keV range for compact flares during their initial rise is developed on the basis of a thermal model. Observations of the flares of 1980 April 13, 4:05 U.T., and 1980 May 9, 7:12 U.T. are given and their combined spectra from the Hard X-ray Burst Spectrometer and Hard X-ray Imaging Spectrometer on the Solar Maximum Mission are deduced. Constraints on the cross sectional area of the supposed emitting arch are obtained from data from the Hard X-ray Imaging Spectrometer. A power-law spectrum is predicted for the rise of the flare of April 13 for initial arch densities less than 10 to the 10th per cu cm and also for the flare of May 9 for initial arch densities less than 5.4 x 10 to the 10th per cu cm. In both cases power-law spectra are observed. Limitations and implications of these results are discussed.

Smith, D. F.↗