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.

SourceResearch connectionFrom yearThrough year

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

At least 145 records · Page 8

All sources NASA NTRS DOE OSTI

NASA NTRS1986

Why P/OF should look for evidences of over-dense structures in solar flare hard X-ray sources

White-light and hard X-ray (HXR) observations of two white-light flares (WLFs) show that if the radiative losses in the optical continuum are powered by fast electrons directly heating the WLF source, then the column density constraints imposed by the finite range of the electrons requires that the WLF consist of an over-dense region in the chromosphere, with density exceeding 10 to the 14th power/cu cm. Thus, we recommend that P/OF search for evidences of over-dense structures in HXR images obtained simultaneously with optical observations of flares.

Neidig, D. F.↗

NASA NTRS1994

Correlative analysis of hard and soft x ray observations of solar flares

We have developed a promising new technique for jointly analyzing BATSE hard X-ray observations of solar flares with simultaneous soft X-ray observations. The technique is based upon a model in which electric currents and associated electric fields are responsible for the respective heating and particle acceleration that occur in solar flares. A useful by-product of this technique is the strength and evolution of the coronal electric field. The latter permits one to derive important flare parameters such as the current density, the number of current filaments composing the loop, and ultimately the hard X-ray spectrum produced by the runaway electrons. We are continuing to explore the technique by applying it to additional flares for which we have joint BATSE/Yohkoh observations. A central assumption of our analysis is the constant of proportionality alpha relating the hard X-ray flux above 50 keV and the rate of electron acceleration. For a thick-target model of hard X-ray production, it can be shown that cv is in fact related to the spectral index and low-energy cutoff of precipitating electrons. The next step in our analysis is to place observational constraints on the latter parameters using the joint BATSE/Yohkoh data.

Zarro, Dominic M.↗

NASA NTRS2006

Laboratory Astrophysics: Enabling Scientific Discovery and Understanding

NASA's Science Strategic Roadmap for Universe Exploration lays out a series of science objectives on a grand scale and discusses the various missions, over a wide range of wavelengths, which will enable discovery. Astronomical spectroscopy is arguably the most powerful tool we have for exploring the Universe. Experimental and theoretical studies in Laboratory Astrophysics convert "hard-won data into scientific understanding". However, the development of instruments with increasingly high spectroscopic resolution demands atomic and molecular data of unprecedented accuracy and completeness. How to meet these needs, in a time of severe budgetary constraints, poses a significant challenge both to NASA, the astronomical observers and model-builders, and the laboratory astrophysics community. I will discuss these issues, together with some recent examples of productive astronomy/lab astro collaborations.

Kirby, K.↗

NASA NTRS2016

What Can We Learn From Proton Recoils about Heavy-Ion SEE Sensitivity?

The fact that protons cause single-event effects (SEE) in most devices through production of light-ion recoils has led to attempts to bound heavy-ion SEE susceptibility through use of proton data. Although this may be a viable strategy for some devices and technologies, the data must be analyzed carefully and conservatively to avoid over-optimistic estimates of SEE performance. We examine the constraints that proton test data can impose on heavy-ion SEE susceptibility.

probabilistic risk assessment↗

NASA NTRS2001

Temporal Constraint Reasoning With Preferences

A number of reasoning problems involving the manipulation of temporal information can naturally be viewed as implicitly inducing an ordering of potential local decisions involving time (specifically, associated with durations or orderings of events) on the basis of preferences. For example. a pair of events might be constrained to occur in a certain order, and, in addition. it might be preferable that the delay between them be as large, or as small, as possible. This paper explores problems in which a set of temporal constraints is specified, where each constraint is associated with preference criteria for making local decisions about the events involved in the constraint, and a reasoner must infer a complete solution to the problem such that, to the extent possible, these local preferences are met in the best way. A constraint framework for reasoning about time is generalized to allow for preferences over event distances and durations, and we study the complexity of solving problems in the resulting formalism. It is shown that while in general such problems are NP-hard, some restrictions on the shape of the preference functions, and on the structure of the preference set, can be enforced to achieve tractability. In these cases, a simple generalization of a single-source shortest path algorithm can be used to compute a globally preferred solution in polynomial time.

Khatib, Lina↗

NASA NTRS1990

Seven ways to make a hypertext project fail

Hypertext is an exciting concept, but designing and developing hypertext applications of practical scale is hard. To make a project feasible and successful 'hypertext engineers' must overcome the following problems: (1) developing realistic expectations in the face of hypertext hype; (2) assembling a multidisciplinary project team; (3) establishing and following design guidelines; (4) dealing with installed base constraints; (5) obtaining usable source files; (6) finding appropriate software technology and methods; and (7) overcoming legal uncertainties about intellectual property concerns.

Glushko, Robert J.↗

NASA NTRS1992

Generating effective project scheduling heuristics by abstraction and reconstitution

A project scheduling problem consists of a finite set of jobs, each with fixed integer duration, requiring one or more resources such as personnel or equipment, and each subject to a set of precedence relations, which specify allowable job orderings, and a set of mutual exclusion relations, which specify jobs that cannot overlap. No job can be interrupted once started. The objective is to minimize project duration. This objective arises in nearly every large construction project--from software to hardware to buildings. Because such project scheduling problems are NP-hard, they are typically solved by branch-and-bound algorithms. In these algorithms, lower-bound duration estimates (admissible heuristics) are used to improve efficiency. One way to obtain an admissible heuristic is to remove (abstract) all resources and mutual exclusion constraints and then obtain the minimal project duration for the abstracted problem; this minimal duration is the admissible heuristic. Although such abstracted problems can be solved efficiently, they yield inaccurate admissible heuristics precisely because those constraints that are central to solving the original problem are abstracted. This paper describes a method to reconstitute the abstracted constraints back into the solution to the abstracted problem while maintaining efficiency, thereby generating better admissible heuristics. Our results suggest that reconstitution can make good admissible heuristics even better.

Janakiraman, Bhaskar↗

NASA NTRS1999

Low Density Parity Check Codes Based on Finite Geometries: A Rediscovery and More

Low density parity check (LDPC) codes with iterative decoding based on belief propagation achieve astonishing error performance close to Shannon limit. No algebraic or geometric method for constructing these codes has been reported and they are largely generated by computer search. As a result, encoding of long LDPC codes is in general very complex. This paper presents two classes of high rate LDPC codes whose constructions are based on finite Euclidean and projective geometries, respectively. These classes of codes a.re cyclic and have good constraint parameters and minimum distances. Cyclic structure adows the use of linear feedback shift registers for encoding. These finite geometry LDPC codes achieve very good error performance with either soft-decision iterative decoding based on belief propagation or Gallager's hard-decision bit flipping algorithm. These codes can be punctured or extended to obtain other good LDPC codes. A generalization of these codes is also presented.

Kou, Yu↗

NASA NTRS2001

Seismoball: A Small Europa Orbiter Drop-Off Probe for Early Exploration of the Europan Surface

Recent magnetometry data received from Galileo indicate that the most likely explanation for the magnetic signature there is indeed a global conducting layer below the surface. This conducting layer is well matched by a salty, mineral rich strata beneath the Europan ice crust or a salt water ocean. Galileo imaging results show a variety of terrain types thought to contain young material; for example, lineaments, chaotic terrain, and eruption features. Additionally, Galileo images have shown indications of areas of up-welling where subsurface material periodically gets pushed to the surface due to the forces of fracturing, butting, and refreezing of the ice sheet. While Europa Orbiter will provide close-flyby high resolution images, as well as magnetometry, spectroscopy and other remote sensing data of the surface, it will not be able to provide essential engineering data like surface hardness and surface ice structure needed to support eventual landed missions. Additionally, ice chemical composition at microscopic scales can only be studied in detail through in situ instrumentation. Seismoball is a small probe designed to be injected into a surface intersect orbit around Europa. Using small reverse thrusters, the probe will be capable of nulling the high horizontal injection velocity as it approaches the 2 km surface injection altitude, thus allowing it to fall to the surface at an impact velocity of < 100m/sec (much less than the DS-2 impact velocities). The external breakaway thruster structure and crushable exterior shell absorb the impact energy while allowing the science instrument suite to remain intact. JPL has already started analyzing the entry dynamics and designing/building a small, low mass probe which will withstand the impact g-forces and fit as a 'carry-on' on board the Europa Orbiter. The probe will carry a suite of 5-6 micro-instruments for imaging the surface (both microscopic and far-field), surface and shallow subsurface ice temperatures, surface hardness, crustal dynamics and periodicity, and compositional chemistry. If selected, this flight development activity will provide a unique science opportunity and adjunct to the primary Orbiter science mission. The final flight system will be designed to accommodate orbiter mass, volume, and power interface constraints, as well as entry dynamics, g-load mitigation, and arbitrary landing orientation.

Tamppari, L.↗

NASA NTRS2004

High Resolution Digital Elevation Models of Pristine Explosion Craters

In order to effectively capture a realistic terrain applicable to studies of cratering processes and landing hazards on Mars, we have obtained high resolution digital elevation models of several pristine explosion craters at the Nevada Test Site. We used the Airborne Terrain Mapper (ATM), operated by NASA's Wallops Flight Facility to obtain DEMs with 1 m spacing and 10 cm vertical errors of 4 main craters and many other craters and collapse pits. The main craters that were mapped are Sedan, Scooter, Schooner, and Danny Boy. The 370 m diameter Sedan crater, located on Yucca Flat, is the largest and freshest explosion crater on Earth that was formed under conditions similar to hypervelocity impact cratering. As such, it is effectively pristine, having been formed in 1962 as a result of a controlled detonation of a 100 kiloton thermonuclear device, buried at the appropriate equivalent depth of burst required to make a simple crater. Sedan was formed in alluvium of mixed lithology and subsequently studied using a variety of field-based methods. Nearby secondary craters were also formed at the time and were also mapped by ATM. Adjacent to Sedan and also in alluvium is Scooter, about 90 m in diameter and formed by a high-explosive event. Schooner (240 m) and Danny Boy (80 m) craters were also important targets for ATM as they were excavated in hard basalt and therefore have much rougher ejecta. This will allow study of ejecta patterns in hard rock as well as engineering tests of crater and rock avoidance and rover trafficability. In addition to the high resolution DEMs, crater geometric characteristics, RMS roughness maps, and other higher-order derived data products will be generated using these data. These will provide constraints for models of landing hazards on Mars and for rover trafficability. Other planned studies will include ejecta size-frequency distribution at the resolution of the DEM and at finer resolution through air photography and field measurements, correlation of ejecta size and composition with radar and visible-thermal IR remote sensing signatures, and comparison of these results with similar measurements of Mars. The final DEMs, ancillary data sets, and derived data products will be made available to the community.

T G Farr↗

NASA NTRS2012

Constraining Viewing Geometries of Pulsars with Single-Peaked Gamma-ray Profiles Using a Multiwavelength Approach

Since the launch of the Large Area Telescope (LAT) on board the Fermi spacecraft in June 2008, the number of observed gamma-ray pulsars has increased dramatically. A large number of these are also observed at radio frequencies. Constraints on the viewing geometries of 5 of 6 gamma-ray pulsars exhibiting single-peaked gamma-ray profiles were derived using high-quality radio polarization data [1]. We obtain independent constraints on the viewing geometries of 6 by using a geometric emission code to model the Fermi LAT and radio light curves (LCs). We find fits for the magnetic inclination and observer angles by searching the solution space by eye. Our results are generally consistent with those previously obtained [1], although we do find small differences in some cases. We will indicate how the gamma-ray and radio pulse shapes as well as their relative phase lags lead to constraints in the solution space. Values for the flux correction factor (f(omega)) corresponding to the fits are also derived (with errors).

Seyffert, A. S.↗

NASA NTRS2008

The Solid Rocket Motor Slag Population: Results of a Radar-Based Regressive Statistical Evaluation

Solid rocket motor (SRM) slag has been identified as a potential source of man-made orbital debris. The possibility that SRMs (in addition to generating dust particles in the sub-millimeter range) may generate particles up to centimeters in size has caused concern regarding their contribution to the debris environment. Returned surfaces from space do not have sufficient area or exposure time to provide a clear picture of the SRM millimeter and centimeter debris population. Currently, radar observation is probably the only way to collect data showing the debris contribution from SRMs. Such observation is used to sample the debris environment, but it is difficult to obtain accurate orbital elements for the detected debris objects. NASA has developed several models to describe the different orbital debris populations, based on assumed debris production mechanisms to create clouds of debris objects that can be propagated in time. The NASA model, LEGEND (LEO-to-GEO Environment Debris), functions as a time-tested debris model for most debris sources. However, the current LEGEND model does not include contributions from the SRM population. An SRM model has recently been developed by NASA, based on purely theoretical details of SRM production and known SRM launches, but verification with hard data is needed. Because the detections of individual SRM objects cannot be deterministically separated from the total debris observed by radar, the validation of the SRM model can only be done by combining it with the LEGEND breakup model and comparing it with data. By applying observational constraints, the degree of SRM slag contribution to the environment may be estimated. This serves as an observationally sound method from which to calibrate a purely theoretical model into something more realistic. For this study, we use the populations observed by the Haystack radar from 1996 to present. For the SRM debris, we use a historical database of SRM launches, propellant masses, and estimated locations and times of tailoff to produce and propagate the SRM debris clouds. Comparisons with radar data from the ensuing years were made, and the SRM model was altered with respect to size and mass production of slag particles to reflect the populations estimated from the data. The result is a model SRM population that fits within the bounds of the observed environment and estimates of the production and contribution of SRM debris to the environment.

Horstman, Matthew F.↗

NASA NTRS2010

Synthesis of Greedy Algorithms Using Dominance Relations

Greedy algorithms exploit problem structure and constraints to achieve linear-time performance. Yet there is still no completely satisfactory way of constructing greedy algorithms. For example, the Greedy Algorithm of Edmonds depends upon translating a problem into an algebraic structure called a matroid, but the existence of such a translation can be as hard to determine as the existence of a greedy algorithm itself. An alternative characterization of greedy algorithms is in terms of dominance relations, a well-known algorithmic technique used to prune search spaces. We demonstrate a process by which dominance relations can be methodically derived for a number of greedy algorithms, including activity selection, and prefix-free codes. By incorporating our approach into an existing framework for algorithm synthesis, we demonstrate that it could be the basis for an effective engineering method for greedy algorithms. We also compare our approach with other characterizations of greedy algorithms.

Nedunuri, Srinivas↗

NASA NTRS2019

PSR J0030+0451 Mass and Radius from NICER Data and Implications for the Properties of Neutron Star Matter

Neutron stars are not only of astrophysical interest, but are also of great interest to nuclear physicists because their attributes can be used to determine the properties of the dense matter in their cores. One of the most informative approaches for determining the equation of state (EoS) of this dense matter is to measure both a star’s equatorial circumferential radius Re and its gravitational mass M. Here we report estimates of the mass and radius of the isolated 205.53 Hz millisecond pulsar PSRJ0030+0451 obtained using a Bayesian inference approach to analyze its energy-dependent thermal X-ray waveform, which was observed using the Neutron Star Interior Composition Explorer (NICER). This approach is thought to be less subject to systematic errors than other approaches for estimating neutron star radii. We explored a variety of emission patterns on the stellar surface. Our best-fit model has three oval, uniform-temperature emitting spots and provides an excellent description of the pulse waveform observed using NICER. The radius and mass estimates given by this model are Re = 13.02+1.24-1.06 km andM = 1.44+0.15-0.14 Mmoon (68%). The independent analysis reported in the companion paper by Riley et al. explores different emitting spot models, but finds spot shapes and locations and estimates of Re and M that are consistent with those found in this work. We show that our measurements of Re and M for PSRJ0030+0451 improve the astrophysical constraints on the EoS of cold, catalyzed matter above nuclear saturation density.

M C Miller↗

NASA NTRS2010

Portable Health Algorithms Test System

A document discusses the Portable Health Algorithms Test (PHALT) System, which has been designed as a means for evolving the maturity and credibility of algorithms developed to assess the health of aerospace systems. Comprising an integrated hardware-software environment, the PHALT system allows systems health management algorithms to be developed in a graphical programming environment, to be tested and refined using system simulation or test data playback, and to be evaluated in a real-time hardware-in-the-loop mode with a live test article. The integrated hardware and software development environment provides a seamless transition from algorithm development to real-time implementation. The portability of the hardware makes it quick and easy to transport between test facilities. This hard ware/software architecture is flexible enough to support a variety of diagnostic applications and test hardware, and the GUI-based rapid prototyping capability is sufficient to support development execution, and testing of custom diagnostic algorithms. The PHALT operating system supports execution of diagnostic algorithms under real-time constraints. PHALT can perform real-time capture and playback of test rig data with the ability to augment/ modify the data stream (e.g. inject simulated faults). It performs algorithm testing using a variety of data input sources, including real-time data acquisition, test data playback, and system simulations, and also provides system feedback to evaluate closed-loop diagnostic response and mitigation control.

Melcher, Kevin J.↗

NASA NTRS2004

Retrofitting the AutoBayes Program Synthesis System with Concrete Syntax

AutoBayes is a fully automatic, schema-based program synthesis system for statistical data analysis applications. Its core component is a schema library. i.e., a collection of generic code templates with associated applicability constraints which are instantiated in a problem-specific way during synthesis. Currently, AutoBayes is implemented in Prolog; the schemas thus use abstract syntax (i.e., Prolog terms) to formulate the templates. However, the conceptual distance between this abstract representation and the concrete syntax of the generated programs makes the schemas hard to create and maintain. In this paper we describe how AutoBayes is retrofitted with concrete syntax. We show how it is integrated into Prolog and describe how the seamless interaction of concrete syntax fragments with AutoBayes's remaining legacy meta-programming kernel based on abstract syntax is achieved. We apply the approach to gradually mitigate individual schemas without forcing a disruptive migration of the entire system to a different First experiences show that a smooth migration can be achieved. Moreover, it can result in a considerable reduction of the code size and improved readability of the code. In particular, abstracting out fresh-variable generation and second-order term construction allows the formulation of larger continuous fragments.

Fischer, Bernd↗

NASA NTRS1988

A general-purpose approach to computer-aided dynamic analysis of a flexible helicopter

A general purpose mathematical formulation is described for dynamic analysis of a helicopter consisting of flexible and/or rigid bodies that undergo large translations and rotations. Rigid body and elastic sets of generalized coordinates are used. The rigid body coordinates define the location and the orientation of a body coordinate frame (global frame) with respect to an inertial frame. The elastic coordinates are introduced using a finite element approach in order to model flexible components. The compatibility conditions between two adjacent elements in a flexible body are imposed using a Boolean matrix, whereas the compatibility conditions between two adjacent bodies are imposed using the Lagrange multiplier approach. Since the form of the constraint equations depends upon the type of kinematic joint and involves only the generalized coordinates of the two participating elements, then a library of constraint elements can be developed to impose the kinematic constraint in an automated fashion. For the body constraints, the Lagrange multipliers yield the reaction forces and torques of the bodies at the joints. The virtual work approach is used to derive the equations of motion, which are a system of differential and algebraic equations that are highly nonlinear. The formulation presented is general and is compared with hard-wired formulations commonly used in helicopter analysis.

Agrawal, Om P.↗

NASA NTRS1993

Optical, X-ray and gamma-ray observations of compact objects in globular clusters

In the past three years, a new era of study of globular clusters has begun with multiwavelength observations from the current generation of astronomical telescopes in space. We review the recent results obtained from our studies of compact binaries and x-ray sources in globulars with ROSAT and Hubble Space Telescope (HST) as well as our balloon-borne hard x-ray telescope EXITE (Energetic X-ray Imaging Telescope Experiment) and ground-based observations (CTIO). With ROSAT, we have obtained the most sensitive high resolution soft x-ray images of clusters which show multiple low luminosity sources in cluster cores that are likely indicative of the long-sought population of cataclysmic variables (CVs). We have obtained deep H-alpha images of two clusters with HST and found CV candiates for 3 of the ROSAT sources in the core of NGC 6397. New CTIO imaging and spectroscopy of two 'dim source' fields in omega-Cen are also described. With EXITE we carried out the first hard x-ray imaging observations of the cluster 47 Tuc; such studies can ultimately limit the populations of millisecond pulsars and pulsar emission mechanisms. A long ROSAT exposure on 47 Tuc also shows probable cluster diffuse emission, possibly due to hot gas from ablating millisecond pulsars. Multiwavelength studies of globular clusters may provide new constraints on problems as diverse as the origin of CVs and low mass X-ray binaries (LMXBs) and the origin of hot gas in globulars.

Grindlay, J. E.↗