SEARCH · Search NASA
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.
Digital computer, Control Computer Subsystem (CCS), possess high degree of fault tolerance. CCS embodies concepts of self-test and repair. It is capable of monitoring its own performance and of identifying and replacing with standby spare any of its units that fail.
The physical and biological oceanography of the Southern California Bight (SCB), a highly productive subregion of the California Current System (CCS) that extends from Point Conception, California, south to Ensenada, Mexico, continues to be extensively studied. For example, the California Cooperative Oceanic Fisheries Investigations (CalCOFI) program has sampled this region for over 50 years, providing an unparalleled time series of physical and biological data. However, our understanding of what physical processes control the large-scale and mesoscale variations in these properties is incomplete. In particular, the non-synoptic and relatively coarse spatial sampling (70km) of the hydrographic grid does not completely resolve the mesoscale eddy field (Figure 1a). Moreover, these unresolved physical variations exert a dominant influence on the evolution of the ecosystem. In recent years, additional datasets that partially sample the SCB have become available. Acoustic Doppler Current Profiler (ADCP) measurements, which now sample upper-ocean velocity between stations, and sea level observations along TOPEX tracks give a more complete picture of the mesoscale variability. However, both TOPEX and ADCP are well-sampled only along the cruise or orbit tracks and coarsely sampled in time and between tracks. Surface Lagrangian drifters also sample the region, although irregularly in time and space. SeaWiFS provides estimates of upper-ocean chlorophyll-a (chl-alpha), usually giving nearly complete coverage for week-long intervals, depending on cloud coverage. Historical ocean color data from the Coastal Zone Color Scanner (CZCS) has been used extensively to determine phytoplankton patterns and variability, characterize the primary production across the SCB coastal fronts, and describe the seasonal and interannual variability in pigment concentrations. As in CalCOFI, these studies described much of the observed structures and their variability over relatively large space and time scales.
The Earth Science Afternoon Constellation consists of Aqua, Aura, PARASOL, CALIPSO, Cloudsat, and the Orbiting Carbon Observatory (OCO). The coordination of flight dynamics activities between these missions is critical to the safety and success of the Afternoon Constellation. This coordination is based on two main concepts, the control box and the zone-of-exclusion. This paper describes how these two concepts are implemented in the Constellation Coordination System (CCS). The CCS is a collection of tools that enables the collection and distribution of flight dynamics products among the missions, allows cross-mission analyses to be performed through a web-based interface, performs automated analyses to monitor the overall constellation, and notifies the missions of changes in the status of the other missions.
The Day-l algorithm for computing combined precipitation estimates in GPM is the Integrated Multi-satellitE Retrievals for GPM (IMERG). We plan for the period of record to encompass both the TRMM and GPM eras, and the coverage to extend to fully global as experience is gained in the difficult high-latitude environment. IMERG is being developed as a unified U.S. algorithm that takes advantage of strengths in the three groups that are contributing expertise: 1) the TRMM Multi-satellite Precipitation Analysis (TMPA), which addresses inter-satellite calibration of precipitation estimates and monthly scale combination of satellite and gauge analyses; 2) the CPC Morphing algorithm with Kalman Filtering (KF-CMORPH), which provides quality-weighted time interpolation of precipitation patterns following cloud motion; and 3) the Precipitation Estimation from Remotely Sensed Information using Artificial Neural Networks using a Cloud Classification System (PERSIANN-CCS), which provides a neural-network-based scheme for generating microwave-calibrated precipitation estimates from geosynchronous infrared brightness temperatures. In this talk we summarize the major building blocks and important design issues driven by user needs and practical data issues. One concept being pioneered by the IMERG team is that the code system should produce estimates for the same time period but at different latencies to support the requirements of different groups of users. Another user requirement is that all these runs must be reprocessed as new IMERG versions are introduced. IMERG's status at meeting time will be summarized, and the processing scenario in the transition from TRMM to GPM will be laid out. Initially, IMERG will be run with TRMM-based calibration, and then a conversion to a GPM-based calibration will be employed after the GPM sensor products are validated. A complete reprocessing will be computed, which will complete the transition from TMPA.
Multi-agent systems have become important recently in computer science, especially in artificial intelligence (AI). We allow a broad sense of agent, but require at least that an agent has some measure of autonomy and interacts with other agents via some kind of agent communication language. We are concerned in this paper with formal modeling of multi-agent systems, with emphasis on communication. We propose for this purpose to use the pi-calculus, an extension of the process algebra CCS. Although the literature on the pi-calculus refers to agents, the term is used there in the sense of a process in general. It is our contention, however, that viewing agents in the AI sense as agents in the pi-calculus sense affords significant formal insight. One formalism that has been applied to agents in the AI sense is epistemic logic, the logic of knowledge. The success of epistemic logic in computer science in general has come in large part from its ability to handle concepts of knowledge that apply to groups. We maintain that the pi-calculus affords a natural yet rigorous means by which groups that are significant to epistemic logic may be identified, encapsulated, structured into hierarchies, and restructured in a principled way. This paper is organized as follows: Section 2 introduces the pi-calculus; Section 3 takes a scenario from the classical paper on agent-oriented programming [Sh93] and translates it into a very simple subset of the n-calculus; Section 4 then shows how more sophisticated features of the pi-calculus may bc brought into play; Section 5 discusses how the pi-calculus may be used to define groups for epistemic logic; and Section 6 is the conclusion.
Distributed Spacecraft missions are an integral part of current and future plans for NASA and other space agencies. Many of these multi-vehicle missions involve utilizing the array of spacecraft as a single, instrument requiring communication via crosslinks to achieve mission goals. NASA s Goddard Space Flight Center (GSFC) is developing the Formation Flying Test Bed (FFTB) to provide a hardware-in-the-loop simulation environment to support mission concept development and system trades with a primary focus on Guidance, Navigation, and Control (GN&C) challenges associated with spacecraft flying. The goal of the FFTB is to reduce mission risk by assisting in mission planning and analysis, provide a technology development platform that allows algorithms to be developed for mission functions such as precision formation navigation and control and time synchronization. The FFTB will provide a medium in which the various crosslink transponders being used in multi-vehicle missions can be integrated for development and test; an integral part of the FFTB is the Crosslink Channel Simulator (CCS). The CCS is placed into the communications channel between the crosslinks under test, and is used to simulate on-mission effects to the communications channel such as vehicle maneuvers, relative vehicle motion, or antenna misalignment. The CCS is based on the Starlight software programmable platform developed at General Dynamics Decision Systems and provides the CCS with the ability to be modified on the fly to adapt to new crosslink formats or mission parameters. This paper briefly describes the Formation Flying Test Bed and its potential uses. It then provides details on the current and future development of the Crosslink Channel Simulator and its capabilities.