star pdf file

More documents

Recommendations

Info

as CIAO/SDP software developers, we have defined a generalized expansion of the existing CALDB interface and indexing structure. The purpose of this is to make the CALDB more generally applicable and useful in new and future missions that will be supported archivally by HEASARC. The generalized interface will identify additional configurational keywords and permit more extensive calibration parameter and boundary condition specifications for unique <strong>file</strong> selection. HEASARC scientists and developers from SAO and GSFC have become involved in this work, which is expected to produce a new interface for general use within the current year. (3) DS9: One of the decisions that came from last year’s HEADCC meeting was to make the ds9 image display program the primary vehicle for displaying line graphics (as well as images). The first step required to make this possible was to enhance the line graphics capabilities of ds9. SAO therefore spent considerable effort upgrading ds9 to use Tcl 8.4 so that the BLT line graphics package could be built and imported into ds9 from source code, rather than from a pre-built (and generally outdated) shared library. This task, which is nearly complete, allows us to extend BLT as needed for the HEAD community. Following HEADCC discussion concerning archiving and the display of archived data, we extended ds9 to support full access to many astronomical Web-based archives sites, including HEASARC, MAST, CHANDRA, SKYVIEW, ADS, NED, SIMBAD, IRAS, NVRO, SAO TDC, and FIRST. Using ds9’s new internal Web access capabilities, these archives can be accessed via their Web page. FITS images, plots, spectra, and journal abstracts can be referenced, down-loaded, and displayed directly and easily in ds9. For more information, see: http://hea-www.harvard.edu/ saord/ds9. Also after the HEADCC discussion concerning region filtering, we extended the Funtools sample implementation of region filtering as described in: http://hea-www.harvard.edu/saord/funtools/regions.html. In particular, we added several new composite regions for event and image filtering, including elliptical and box annuli. We also extended the panda (Pie AND Annulus) region support to include box pandas and elliptical pandas. These new composite regions are especially useful in programs that need to count photons in each separate region using only a single pass through the data. Support for these new regions was added to ds9. In the same vein, we developed new region support for filtering images using simple FITS image masks, i.e. 8-bit or 16-bit FITS images where the value of a pixel is the region id number for that pixel. Other important enhancements to DS9 this year, include supporor multiple world coordinate systems, three dimensional event <strong>file</strong> binning, image smoothing, region groups and tags, the ability to save images in a number of image formats (such as JPEG, TIFF, PNG, FITS), improvements in support for integrating external analysis tools, and support for the virtual observatory. In particular, a full-featured web browser has been implemented within DS9.This provides support for full access to HEASARC archive sites such as SKYVIEW and W3BROWSE, in addition to other astronomical archives sites such as MAST, CHANDRA, ADS, NED, SIMBAD, IRAS, NVRO, SA0 TDC, and FIRST. From within DS9, the archives can be searched, and FITS images, plots, spectra, and journal abstracts can be referenced, downloaded and displayed The web browser provides the basis for the built-in help facility. All DS9 documentation, including the reference manual, FAQ, Know Features, and contact information is now available to the user without the need for external display applications. New versions of DS9 maybe downloaded and installed using this facility. Two important features used in the analysis of high energy astronomical data have been implemented in the past year. The first is support for binning photon event data in three dimensions. By binning the third dimension in time or energy, users are easily able to detect variable x-ray sources and identify other physical properties of their data. Second, a number of fast smoothing algorithms have been implemented in DS9, which allow users to smooth their data in real time. Algorithms for boxcar, tophat, and gaussian smoothing are supported. Author Data Processing; Documents; Computer Programs; Memory (Computers); Boundary Conditions; Interoperability 20030022684 NASA Ames Research Center, Moffett Field, CA, USA Collectives for Multiple Resource Job Scheduling Across Heterogeneous Servers Tumer, K.; Lawson, J., Kluwer; January 2003; 20 pp.; In English; Copyright; Avail: CASI; A03, Hardcopy Efficient management of large-scale, distributed data storage and processing systems is a major challenge for many computational applications. Many of these systems are characterized by multi-resource tasks processed across a heterogeneous network. Conventional approaches, such as load balancing, work well for centralized, single resource problems, but breakdown in the more general case. In addition, most approaches are often based on heuristics which do not directly attempt to optimize the world utility. In this paper, we propose an agent based control system using the theory of collectives. We configure the servers of our network with agents who make local job scheduling decisions. These decisions are based on local goals which are constructed to be aligned with the objective of optimizing the overall efficiency of the system. We demonstrate that multi-agent systems in which all the agents attempt to optimize the same global utility function (team game) only marginally outperform conventional load balancing. On the other hand, agents configured using collectives outperform both 99
team games and load balancing (by up to four times for the latter), despite their distributed nature and their limited access to information. Author Programming (Scheduling); Computational Grids; Distributed Processing; Optimization; Computer Networks; Data Storage; Architecture (Computers) 20030022709 Kansas State Univ., Manhattan, KS, USA Foundations of the Bandera Abstraction Tools Hatcliff, John; Dwyer, Matthew B.; Pasareanu, Corina S.; Robby; [2003]; 32 pp.; In English Contract(s)/Grant(s): NAS2-00065; DAAD19-01-110564; F33615-00-C-3044; NSF CCR-97-03094; NSF CCR-97-08184; NSF CCR-98-96354; NSF CCR 99-01605; NCC1-399; NAG2-1209; No Copyright; Avail: CASI; A03, Hardcopy Current research is demonstrating that model-checking and other forms of automated finite-state verification can be effective for checking properties of software systems. Due to the exponential costs associated with model-checking, multiple forms of abstraction are often necessary to obtain system models that are tractable for automated checking. The Bandera Tool Set provides multiple forms of automated support for compiling concurrent Java software systems to models that can be supplied to several different model-checking tools. In this paper, we describe the foundations of Bandera’s data abstraction mechanism which is used to reduce the cardinality (and the program’s state-space) of data domains in software to be model-checked. From a technical standpoint, the form of data abstraction used in Bandera is simple, and it is based on classical presentations of abstract interpretation. We describe the mechanisms that Bandera provides for declaring abstractions, for attaching abstractions to programs, and for generating abstracted programs and properties. The contributions of this work are the design and implementation of various forms of tool support required for effective application of data abstraction to software components written in a programming language like Java which has a rich set of linguistic features. Author Computer Programs; Software Engineering; Program Verification (Computers); Domains 20030022734 NASA Ames Research Center, Moffett Field, CA, USA Chapman-1024 Processor Shared Memory Ciotii, Robert; February 03, 2003; 6 pp.; In English; No Copyright; Avail: CASI; A02, Hardcopy NASA has developed new technology that improves upon weakness in current mainstream supercomputer designs: those of ’scalability,‘ ’humadmachine interface,‘ and ’load balancing.‘ The system simplifies running large computer simulations of national and international importance like climate prediction and space vehicle design. Author Technology Assessment; Climate; Computerized Simulation 20030022751 Research Inst. for Advanced Computer Science, Moffett Field, CA, USA Kestrel Technology, LLC, Moffett Field, CA, USA The Effect of AOP on Software Engineering, with Particular Attention to OIF and Event Quantification Havelund, Klaus; Filman, Robert; Korsmeyer, David, Technical Monitor; January 31, 2003; 6 pp.; In English; Workshop on Software-engineering Properties of Languages for Aspect Technologies Contract(s)/Grant(s): NCC2-1006; No Copyright; Avail: CASI; A02, Hardcopy We consider the impact of Aspect-Oriented Programming on Software Engineering, and, in particular, analyze two AOP systems, one of which does component wrapping and the other, quantification over events, for their software engineering effects. Author Computer Programming; Software Engineering; Systems Analysis 20030025284 NASA Ames Research Center, Moffett Field, CA, USA Human Centered Design and Development for NASA’s MerBoard Trimble, Jay; January 10, 2003; 15 pp.; In English; No Copyright; Avail: CASI; A03, Hardcopy This viewgraph presentation provides an overview of the design and development process for NASA’s MerBoard. These devices are large interactive display screens which can be shown on the user’s computer, which will allow scientists in many locations to interpret and evaluate mission data in real-time. These tools are scheduled to be used during the 2003 Mars 100
Page 2 and 3:
NASA STI Program ... in Profile Sin
Page 4 and 5:
NASA STI Availability Information N
Page 6 and 7:
37 Mechanical Engineering .........
Page 8 and 9:
SCIENTIFIC AND TECHNICAL AEROSPACE
Page 10 and 11:
F/A-18E/F experience, to gain insig
Page 12 and 13:
20030025715 NASA Glenn Research Cen
Page 14 and 15:
20030032185 NASA Glenn Research Cen
Page 16 and 17:
09 RESEARCH AND SUPPORT FACILITIES
Page 18 and 19:
13 ASTRODYNAMICS Includes powered a
Page 20 and 21:
this corresponds to 31\% increase i
Page 22 and 23:
e modeled for the Leonardo constell
Page 24 and 25:
preliminary design tools, rather th
Page 26 and 27:
data smoother. A number of safeguar
Page 28 and 29:
20030025665 NASA Goddard Space Flig
Page 30 and 31:
a long period of time for two NASA
Page 32 and 33:
A viewgraph presentation on guidanc
Page 34 and 35:
20030025395 NASA Goddard Space Flig
Page 36 and 37:
The specific heater control require
Page 38 and 39:
to LEO to $lo00 per pound ($2200 pe
Page 40 and 41:
emulsion liquid membrane system to
Page 42 and 43:
Further studies are underway to var
Page 44 and 45:
describes the resistivity of the co
Page 46 and 47:
26 METALS AND METALLIC MATERIALS In
Page 48 and 49:
Precipitate formation with informat
Page 50 and 51:
oth stiffness and strength, and agi
Page 52 and 53:
education in the areas of mathemati
Page 54 and 55:
from original nonparabolicity. A se
Page 56 and 57: heaters providing the heat to be tr
Page 58 and 59: separation bubbles and non-reattach
Page 60 and 61: condensable DEPosits. Both the QCM
Page 62 and 63: This viewgraph presentation provide
Page 64 and 65: straining. This reduction was due p
Page 66 and 67: 20030020877 NASA Goddard Space Flig
Page 68 and 69: There is a significant interest in
Page 70 and 71: daily measurement campaign that was
Page 72 and 73: universe, evolution of the SFR at 0
Page 74 and 75: The influence of the uniform large-
Page 76 and 77: Northern Hemisphere (NH) ozone flux
Page 84 and 85: development of new radiative transf
Page 86 and 87: A new approach is proposed to asses
Page 88 and 89: dance in the Arabian Sea and Bay of
Page 90 and 91: Operational Vertical Sounder) Verti
Page 92 and 93: The Moderate Resolution Imaging Spe
Page 94 and 95: droughts of the 1930s and 1950s. Th
Page 98 and 99: Data from the Tropical Rainfall Mea
Page 100 and 101: Mid-latitude forest ecosystems have
Page 102 and 103: Understanding functional associatio
Page 104 and 105: cyanobacterial mats, oxygenic photo
Page 108 and 109: Exploration Rover (MER) expeditions
Page 110 and 111: 62 COMPUTER SYSTEMS Includes comput
Page 112 and 113: data in guard cells leads to the pr
Page 114 and 115: 71 ACOUSTICS Includes sound generat
Page 116 and 117: 20030025751 NASA Langley Research C
Page 118 and 119: analyzed using quantum kinetic theo
Page 120 and 121: Science Through ARts (STAR) is an e
Page 122 and 123: 85 TECHNOLOGY UTILIZATION AND SURFA
Page 124 and 125: 20030022798 California Inst. of Tec
Page 126 and 127: mostly at intermediate velocities.
Page 128 and 129: close to the spacecraft. We then us
Page 130 and 131: This source had been a bright persi
Page 132 and 133: the X-ray properties of the cluster
Page 134 and 135: We revise the physics of primary el
Page 136 and 137: size of the gullies in relation to
Page 138 and 139: 92 SOLAR PHYSICS Includes solar act
Page 140 and 141: society, GISS is part of the Earth
Page 142 and 143: Initial Operation and Checkout of S
Page 144 and 145: ATMOSPHERIC EFFECTS The Sun’s Imp
Page 146 and 147: Effect of a BN Interphase that Debo
Page 148 and 149: Scalability of a Low-Cost Multi-Ter
Page 150 and 151: DATA TRANSMISSION Reliable Transpor
Page 152 and 153: Atomic Data for the K-Vacancy State
Page 154 and 155: FORMATION FLYING A Nonlinear, Six-D
Page 156 and 157:
HIGH TEMPERATURE Alumina Volatility
Page 158 and 159:
Atomic Data for the K-Vacancy State
Page 160 and 161:
MATRICES (MATHEMATICS) A Time Integ
Page 162 and 163:
NASA’s Sentinels Monitoring Weath
Page 164 and 165:
PACIFIC OCEAN Tropospheric Ozone Ov
Page 166 and 167:
PROVING Experimental Verification o
Page 168 and 169:
SACCHAROMYCES Redundancies in Large
Page 170 and 171:
SOLAR CORONA Are CME ‘interaction
Page 172 and 173:
STANDARDS NASA GSFC Mechanical Engi
Page 174 and 175:
TENSILE STRESS Temperature Dependen
Page 176 and 177:
TYPE 3 BURSTS Energetic Particle Pr
Page 178 and 179:
Rayleigh-Taylor Gravity Waves and Q
Page 180 and 181:
Balagadde, Frederick The Electrical
Page 182 and 183:
Casey, Carolyn A. Systems Engineeri
Page 184 and 185:
Donnelly, Michael Performance of th
Page 186 and 187:
Gliebe, Philip Recent Progress in E
Page 188 and 189:
Hughes, S. P. Primer Vector Optimiz
Page 190 and 191:
Kirk, C. Laurence Effective Frequen
Page 192 and 193:
Luckring, J. M. Transonic Reynolds
Page 194 and 195:
Naasz, Bo J. Integrated Orbit and A
Page 196 and 197:
Raffaelle, Ryne Future Photovoltaic
Page 198 and 199:
Shirron, Peter J. A Cryogenic, Insu
Page 200 and 201:
Urban and Rural Ozone Collect over
Page 202:
Xu, Yun-Jun Coupled Attitude and Or
show all

star pdf file

Create successful ePaper yourself

Delete template?

Save as template?