Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “protocol”

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 505 records · Page 28
All sourcesNASA NTRSDOE OSTI
NASA NTRS2004

The GLOBE Contrail Protocol: Initial Analysis of Results

The GLOBE contrail protocol was launched in March 2003 to obtain surface observer reports of contrail occurrence to complement satellite and model studies underway at NASA Langley, among others. During the first year, more than 30,000 ground observations of contrails were submitted to GLOBE. An initial analysis comparing the GLOBE observations to weather prediction model results for relative humidity at flight altitudes is in progress. This paper reports on the findings to date from this effort.

Chambers, Lin↗
NASA NTRS1998

NCSTRL+: Adding Multi-Discipline and Multi-Genre Support to the Dienst Protocol Using Clusters and Buckets

We describe NCSTRL+, a unified, canonical digital library for scientific and technical information (STI). NCSTRL+ is based on the Networked Computer Science Technical Report Library (NCSTRL), a World Wide Web (WWW) accessible digital library (DL) that provides access to over 100 university departments and laboratories. NCSTRL+ implements two new technologies: cluster functionality and publishing buckets. We have extended Dienst, the protocol underlying NCSTRL, to provide the ability to cluster independent collections into a logically centralized digital library based upon subject category classification, type of organization, and genres of material. The bucket construct provides a mechanism for publishing and managing logically linked entities with multiple data forms as a single object. The NCSTRL+ prototype DL contains the holdings of NCSTRL and the NASA Technical Report Server (NTRS). The prototype demonstrates the feasibility of publishing into a multi-cluster DL, searching across clusters, and storing and presenting buckets of information.

Nelson, Michael L.↗
NASA NTRS1997

Building a Multi-Discipline Digital Library Through Extending the Dienst Protocol

The purpose of this project is to establish multi-discipline capability for a unified, canonical digital library service for scientific and technical information (STI). This is accomplished by extending the Dienst Protocol to be aware of subject classification of a servers holdings. We propose a hierarchical, general, and extendible subject classification that can encapsulate existing classification systems.

Nelson, Michael L.↗
NASA NTRS1994

Comparing the effects of two in-flight aerobic exercise protocols on standing heart rates and VO(2peak) before and after space flight

The effects of regular aerobic exercise on orthostatic tolerance have been the subject of a long-standing controversy that will influence the use of exercise during space flight. To examine these effects, astronauts performed continuous (CE) aerobic exercise (n = 8), interval (IE) aerobic exercise (n = 4), or no (NE) exercise (n = 5) during flights of 7 to 11 days. Heart rate (HR) responses to an orthostatic challenge (stand test) were measured 10 days before flight and on landing day. VO(2peak) (graded treadmill exercise) was measured 7 to 21 days before and 2 days after flight. No significant differences across the groups were observed in standing HRs before or after flight. However, the within-group mean HRs significantly increased in the NE (71-89 beats/min) and CE (60-85 beats/min) groups after space flight. The HRs for the IE group did not significantly increase (75-86 beats/min) after space flight. VO(2peak) decreased (P < .05) in the NE (-9.5%) group, but did not change in the CE (-2.4%) and IE (1%) groups. The relationship (r = 0.237) between the delta HR and delta VO(2peak) was not significant. These preliminary results indicate that: (1) continuous exercise does not affect the orthostatic HR response after space flight; (2) interval exercise may minimize an increase in the postflight orthostatic HR; and (3) both exercise protocols can maintain VO(2peak).

NASA Discipline Musculoskeletal↗
NASA NTRS1993

Exercise countermeasure protocol management expert system

Exercise will be used primarily to countermeasure against deconditioning on extended space flight. In this paper we describe the development and evaluation of an expert system for exercise countermeasure protocol management. Currently, the system includes two major subsystems: baseline prescription and prescription adjustment. The baseline prescription subsystem is designed to provide initial exercise prescriptions while prescription adjustment subsystem is designed to modify the initial prescription based on the exercised progress. The system runs under three different environments: PC, SUN workstation, and Symbolic machine. The inference engine, baseline prescription module, prescription adjustment module and explanation module are developed under the Symbolic environment by using the ART (Automated Reasoning Tool) software. The Sun environment handles database management features and interfaces with PC environment to obtain physical and physiological data from exercise units on-board during the flight. Eight subjects' data have been used to evaluate the system performance by comparing the prescription of nine experienced exercise physiologists and the one prescribed by the expert system. The results of the validation test indicated that the performance of the expert system was acceptable.

NASA Discipline Data Analysis↗
NASA NTRS2004

Formal Consistency Verification of Deliberative Agents with Respect to Communication Protocols

The aim of this paper is to show a method that is able to detect inconsistencies in the reasoning carried out by a deliberative agent. The agent is supposed to be provided with a hybrid Knowledge Base expressed in a language called CCR-2, based on production rules and hierarchies of frames, which permits the representation of non-monotonic reasoning, uncertain reasoning and arithmetic constraints in the rules. The method can give a specification of the scenarios in which the agent would deduce an inconsistency. We define a scenario to be a description of the initial agent s state (in the agent life cycle), a deductive tree of rule firings, and a partially ordered set of messages and/or stimuli that the agent must receive from other agents and/or the environment. Moreover, the method will make sure that the scenarios will be valid w.r.t. the communication protocols in which the agent is involved.

Ramirez, Jaime↗
NASA NTRS2005

Measurement Protocols for In situ Analysis of Organic Compounds at Mars and Comets

The determination of the abundance and chemical and isotopic composition of organic molecules in comets and those that might be found in protected environments at Mars is a first step toward understanding prebiotic chemistries on these solar system bodies. While future sample return missions from Mars and comets will enable detailed chemical and isotopic analysis with a wide range of analytical techniques, precursor insitu investigations can complement these missions and facilitate the identification of optimal sites for sample return. Robust automated experiments that make efficient use of limited spacecraft power, mass, and data volume resources are required for use by insitu missions. Within these constraints we continue to explore a range of instrument techniques and measurement protocols that can maximize the return from such insitu investigations.

Mahaffy, P. R.↗
NASA NTRS2005

Measurement Protocols for In Situ Analysis of Organic Compounds at Mars and Comets

The determination of the abundance and chemical and isotopic composition of organic molecules in comets and those that might be found in protected environments at Mars is a first step toward understanding prebiotic chemistries on these solar system bodies. While future sample return missions from Mars and comets will enable detailed chemical and isotopic analysis with a wide range of analytical techniques, precursor insitu investigations can complement these missions and facilitate the identification of optimal sites for sample return. Robust automated experiments that make efficient use of limited spacecraft power, mass, and data volume resources are required for use by insitu missions. Within these constraints we continue to explore a range of instrument techniques and measurement protocols that can maximize the return from such insitu investigations.

Mahaffy, P. R.↗
NASA NTRS2004

Internet-Protocol-Based Satellite Bus Architecture Designed

NASA is designing future complex satellite missions ranging from single satellites and constellations to space networks and sensor webs. These missions require more interoperability, autonomy, and coordination than previous missions; in addition, a desire exists to have scientists retrieve data directly from the satellite rather than a central distribution source. To meet these goals, NASA has been studying the possibility of extending the Transmission Control Protocol/Internet Protocol (TCP/IP) suite for spacebased applications.

Slywczak, Richard A.↗
NASA NTRS2005

Design of the Protocol Processor for the ROBUS-2 Communication System

The ROBUS-2 Protocol Processor (RPP) is a custom-designed hardware component implementing the functionality of the ROBUS-2 fault-tolerant communication system. The Reliable Optical Bus (ROBUS) is the core communication system of the Scalable Processor-Independent Design for Enhanced Reliability (SPIDER), a general-purpose fault tolerant integrated modular architecture currently under development at NASA Langley Research Center. ROBUS is a time-division multiple access (TDMA) broadcast communication system with medium access control by means of time-indexed communication schedule. ROBUS-2 is a developmental version of the ROBUS providing guaranteed fault-tolerant services to the attached processing elements (PEs), in the presence of a bounded number of faults. These services include message broadcast (Byzantine Agreement), dynamic communication schedule update, time reference (clock synchronization), and distributed diagnosis (group membership). ROBUS also features fault-tolerant startup and restart capabilities. ROBUS-2 tolerates internal as well as PE faults, and incorporates a dynamic self-reconfiguration capability driven by the internal diagnostic system. ROBUS consists of RPPs connected to each other by a lower-level physical communication network. The RPP has a pipelined architecture and the design is parameterized in the behavioral and structural domains. The design of the RPP enables the bus to achieve a PE-message throughput that approaches the available bandwidth at the physical layer.

Torres-Pomales, Wilfredo↗
NASA NTRS2006

Development of Analytical Protocols For Organics and Isotopes Analysis on the 2009 MARS Science Laboratory.

The Mars Science Laboratory, under development for launch in 2009, is designed explore and quantitatively asses a local region on Mars as a potential habitat for present or past life. Its ambitious goals are to (1) assess the past or present biological potential of the target environment, (2) to characterize the geology and geochemistry at the MSL landing site, and (3) to investigate planetary processes that influence habitability. The planned capabilities of the rover payload will enable a comprehensive search for organic molecules, a determination of definitive mineralogy of sampled rocks and fines, chemical and isotopic analysis of both atmospheric and solid samples, and precision isotope measurements of several volatile elements. A range of contact and remote surface and subsurface survey tools will establish context for these measurements and will facilitate sample identification and selection. The Sample Analysis at Mars (SAM) suite of MSL addresses several of the mission's core measurement goals. It includes a gas chromatograph, a mass spectrometer, and a tunable laser spectrometer. These instruments will be designed to analyze either atmospheric samples or gases extracted from solid phase samples such as rocks and fines. We will describe the range of measurement protocols under development and study by the SAM engineering and science teams for use on the surface of Mars.

Mahaffy, P. R.↗
NASA NTRS2002

A simple protocol for coordinating planning agents

This paper introduces a simple decentralized protocol that enables seperate planners to coordinate shared tasks and resolve conflicts over shared and private resources.

multiple agents coordination planning scheduling M↗
NASA NTRS1998

Using Transmission Control Protocol in the Trans-Pacific High Definition Video Satellite Communication Experiment - the Next Test

Ths paper describes a future Transmission Control Protocol (TCP) test which was planned as a part of the Trans-Pacific High Definition Video Satellite Communications Experiment. The TCP test portion of the Trans-Pacific High Definition Video Satellite Communications Experiment intends to examine the correlation between the underlying assumptions of come TCP algorithms and the performance shortfalls observed when the algorithms are used in a stellite-based environment, and to make experimental changes to existing TCP variants to study the effects of the modifications.

global information infrastructure (GII) satellites↗
NASA NTRS2004

Using software security analysis to verify the secure socket layer (SSL) protocol

nal Aeronautics and Space Administration (NASA) have tens of thousands of networked computer systems and applications. Software Security vulnerabilities present risks such as lost or corrupted data, information the3, and unavailability of critical systems. These risks represent potentially enormous costs to NASA. The NASA Code Q research initiative 'Reducing Software Security Risk (RSSR) Trough an Integrated Approach '' offers, among its capabilities, formal verification of software security properties, through the use of model based verification (MBV) to address software security risks. [1,2,3,4,5,6] MBV is a formal approach to software assurance that combines analysis of software, via abstract models, with technology, such as model checkers, that provide automation of the mechanical portions of the analysis process. This paper will discuss: The need for formal analysis to assure software systems with respect to software and why testing alone cannot provide it. The means by which MBV with a Flexible Modeling Framework (FMF) accomplishes the necessary analysis task. An example of FMF style MBV in the verification of properties over the Secure Socket Layer (SSL) communication protocol as a demonstration.

software↗
NASA NTRS2003

Reducing software security risk through an integrated approach research initiative model based verification of the Secure Socket Layer (SSL) Protocol

This document discusses the verification of the Secure Socket Layer (SSL) communication protocol as a demonstration of the Model Based Verification (MBV) portion of the verification instrument set being developed under the Reducing Software Security Risk (RSSR) Trough an Integrated Approach research initiative. Code Q of the National Aeronautics and Space Administration (NASA) funds this project. The NASA Goddard Independent Verification and Validation (IV&V) facility manages this research program at the NASA agency level and the Assurance Technology Program Office (ATPO) manages the research locally at the Jet Propulsion Laboratory (California institute of Technology) where the research is being carried out.

software security↗