Search NASA⌕ Search

SEARCH · Search NASA

Results for “protocols”

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 73 records · Page 4
All sourcesNASA NTRSDOE OSTI
NASA NTRS1992

SeaWiFS technical report series. Volume 5: Ocean optics protocols for SeaWiFS validation

Protocols are presented for measuring optical properties, and other environmental variables, to validate the radiometric performance of the Sea-viewing Wide Field-of-view Sensor (SeaWiFS), and to develop and validate bio-optical algorithms for use with SeaWiFS data. The protocols are intended to establish foundations for a measurement strategy to verify the challenging SeaWiFS accuracy goals of 5 percent in water-leaving radiances and 35 percent in chlorophyll alpha concentration. The protocols first specify the variables which must be measured, and briefly review rationale. Subsequent chapters cover detailed protocols for instrument performance specifications, characterizing and calibration instruments, methods of making measurements in the field, and methods of data analysis. These protocols were developed at a workshop sponsored by the SeaWiFS Project Office (SPO) and held at the Naval Postgraduate School in Monterey, California (9-12 April, 1991). This report is the proceedings of that workshop, as interpreted and expanded by the authors and reviewed by workshop participants and other members of the bio-optical research community. The protocols are a first prescription to approach unprecedented measurement accuracies implied by the SeaWiFS goals, and research and development are needed to improve the state-of-the-art in specific areas. The protocols should be periodically revised to reflect technical advances during the SeaWiFS Project cycle.

Mueller, James L.↗
NASA NTRS2004

A New On-Line Diagnosis Protocol for the SPIDER Family of Byzantine Fault Tolerant Architectures

This paper presents the formal verification of a new protocol for online distributed diagnosis for the SPIDER family of architectures. An instance of the Scalable Processor-Independent Design for Electromagnetic Resilience (SPIDER) architecture consists of a collection of processing elements communicating over a Reliable Optical Bus (ROBUS). The ROBUS is a specialized fault-tolerant device that guarantees Interactive Consistency, Distributed Diagnosis (Group Membership), and Synchronization in the presence of a bounded number of physical faults. Formal verification of the original SPIDER diagnosis protocol provided a detailed understanding that led to the discovery of a significantly more efficient protocol. The original protocol was adapted from the formally verified protocol used in the MAFT architecture. It required O(N) message exchanges per defendant to correctly diagnose failures in a system with N nodes. The new protocol achieves the same diagnostic fidelity, but only requires O(1) exchanges per defendant. This paper presents this new diagnosis protocol and a formal proof of its correctness using PVS.

Geser, Alfons↗
NASA NTRS2009

Use of the Delay-Tolerant Networking Bundle Protocol from Space

The Disaster Monitoring Constellation (DMC), constructed by Survey Satellite Technology Ltd (SSTL), is a multisatellite Earth-imaging low-Earth-orbit sensor network where captured image swaths are stored onboard each satellite and later downloaded from the satellite payloads to a ground station. Store-and-forward of images with capture and later download gives each satellite the characteristics of a node in a Delay/Disruption Tolerant Network (DTN). Originally developed for the Interplanetary Internet, DTNs are now under investigation in an Internet Research Task Force (IRTF) DTN research group (RG), which has developed a bundle architecture and protocol. The DMC is currently unique in its adoption of the Internet Protocol (IP) for its imaging payloads and for satellite command and control, based around reuse of commercial networking and link protocols. These satellites use of IP has enabled earlier experiments with the Cisco router in Low Earth Orbit (CLEO) onboard the constellation's UK-DMC satellite. Earth images are downloaded from the satellites using a custom IPbased high-speed transfer protocol developed by SSTL, Saratoga, which tolerates unusual link environments. Saratoga has been documented in the Internet Engineering Task Force (IETF) for wider adoption. We experiment with use of DTNRG bundle concepts onboard the UKDMC satellite, by examining how Saratoga can be used as a DTN convergence layer to carry the DTNRG Bundle Protocol, so that sensor images can be delivered to ground stations and beyond as bundles. This is the first successful use of the DTNRG Bundle Protocol in a space environment. We use our practical experience to examine the strengths and weaknesses of the Bundle Protocol for DTN use, paying attention to fragmentation, custody transfer, and reliability issues.

Wood, Lloyd↗
NASA NTRS2009

Compositional Verification of a Communication Protocol for a Remotely Operated Vehicle

This paper presents the specification and verification in the Prototype Verification System (PVS) of a protocol intended to facilitate communication in an experimental remotely operated vehicle used by NASA researchers. The protocol is defined as a stack-layered com- position of simpler protocols. It can be seen as the vertical composition of protocol layers, where each layer performs input and output message processing, and the horizontal composition of different processes concurrently inhabiting the same layer, where each process satisfies a distinct requirement. It is formally proven that the protocol components satisfy certain delivery guarantees. Compositional techniques are used to prove these guarantees also hold in the composed system. Although the protocol itself is not novel, the methodology employed in its verification extends existing techniques by automating the tedious and usually cumbersome part of the proof, thereby making the iterative design process of protocols feasible.

Goodloe, Alwyn E.↗
NASA NTRS2014

Space Link Extension Protocol Emulation for High-Throughput, High-Latency Network Connections

New space missions require higher data rates and new protocols to meet these requirements. These high data rate space communication links push the limitations of not only the space communication links, but of the ground communication networks and protocols which forward user data to remote ground stations (GS) for transmission. The Consultative Committee for Space Data Systems, (CCSDS) Space Link Extension (SLE) standard protocol is one protocol that has been proposed for use by the NASA Space Network (SN) Ground Segment Sustainment (SGSS) program. New protocol implementations must be carefully tested to ensure that they provide the required functionality, especially because of the remote nature of spacecraft. The SLE protocol standard has been tested in the NASA Glenn Research Center's SCENIC Emulation Lab in order to observe its operation under realistic network delay conditions. More specifically, the delay between then NASA Integrated Services Network (NISN) and spacecraft has been emulated. The round trip time (RTT) delay for the continental NISN network has been shown to be up to 120ms; as such the SLE protocol was tested with network delays ranging from 0ms to 200ms. Both a base network condition and an SLE connection were tested with these RTT delays, and the reaction of both network tests to the delay conditions were recorded. Throughput for both of these links was set at 1.2Gbps. The results will show that, in the presence of realistic network delay, the SLE link throughput is significantly reduced while the base network throughput however remained at the 1.2Gbps specification. The decrease in SLE throughput has been attributed to the implementation's use of blocking calls. The decrease in throughput is not acceptable for high data rate links, as the link requires constant data a flow in order for spacecraft and ground radios to stay synchronized, unless significant data is queued a the ground station. In cases where queuing the data is not an option, such as during real time transmissions, the SLE implementation cannot support high data rate communication.

Computer Networking↗
DOE OSTI2024

Towards Provable Security in Industrial Control Systems Via Dynamic Protocol Attestation

Industrial control systems (ICSs) increasingly rely on digital technologies vulnerable to cyber attacks. Cyber attackers can infiltrate ICSs and execute malicious actions. Individually, each action seems innocuous. But taken together, they cause the system to enter an unsafe state. These attacks have resulted in dramatic consequences such as physical damage, economic loss, and environmental catastrophes. This paper introduces a methodology that restricts actions using protocols. These protocols only allow safe actions to execute. Protocols are written in a domain specific language we have embedded in an interactive theorem prover (ITP). The ITP enables formal, machine-checked proofs to ensure protocols maintain safety properties. We use dynamic attestation to ensure ICSs conform to their protocol even if an adversary compromises a component. Since protocol conformance prevents unsafe actions, the previously mentioned cyber attacks become impossible. We demonstrate the effectiveness of our methodology using an example from the Fischertechnik Industry 4.0 platform. We measure dynamic attestation's impact on latency and throughput. Our approach is a starting point for studying how to combine formal methods and protocol design to thwart attacks intended to cripple ICSs.

97 MATHEMATICS AND COMPUTING↗
DOE OSTI2019

Effect of formation protocol: Cells containing Si-Graphite composite electrodes

The effect of formation protocol was observed in tests using small pouch cells containing silicon-graphite/Li(Ni 0.5 Mn 0.3 Co 0.2 )O 2 chemistry. The time for the formation protocol was either 13.2 or 186 h for the tested cells. It is demonstrated that the “fast” formation protocol produces cells with similar performance characteristics to that of the “slow” protocol. Moreover, the solid-electrolyte interface layers from both formation protocols are stable and function analogously, albeit with different chemistry. The fast formation protocol may thus allow a more economical route to cell fabrication.

25 ENERGY STORAGE↗
DOE OSTI2022

Developing extreme fast charge battery protocols – A review spanning materials to systems

Extreme fast charging (XFC) has become a focal research point in the lithium-battery community over the last several years. As adoption of electric vehicles increases, fast charging has become a key driver in enhancing consumer recharge experience. Recently, the research community has made significant improvements in developing charge protocols to support XFC. New charge protocol designs derived using a combination of advanced, physically derived models, and electrochemical and secondary characterization methods, increase charge acceptance and decrease aging. By coordinating these methods and modifying protocols to account for different material constraints, including lithium plating and cathode particle degradation, novel charge protocols have increased the energy accepted during charging by over 25% in 10 min and increased the charge acceptance prior to a constant-voltage step by approximately 3x. Here, we review several charge-protocol advances, aging factors which are enhanced by XFC and advances which will enable adoption of XFC capable vehicles. These advances include implementing machine learning and other detection algorithms to reduce and classify lithium plating, which is known to significantly degrade cell performance and reduce cell life. The review concludes by discussing full-system fast charge requirements, including electric vehicle service equipment needs for implementing XFC protocols.

25 ENERGY STORAGE↗
DOE OSTI2020

Model-Instructed Design of Novel Charging Protocols for the Extreme Fast Charging of Lithium-Ion Batteries Without Lithium Plating

Relatively long recharge time of high-energy density lithium-ion batteries (LIBs) is one of the major obstacles to the widespread deployment of electric vehicles (EVs). Excessive fast charge of LIBs can cause severe safety issues, the most significant of which is lithium plating. In addition to the consumption of cyclable lithium, dendrite-like lithium plating can cause short-circuiting within the cell, which could lead to catastrophic failure. In addition to the developments of advanced electrolytes, active materials and electrodes, the fast charging capability of LIBs can be improved by using optimized charging protocol. In this paper, the Pseudo2D battery model is first used to screen some conventional charging protocols proposed for fast charging, including the constant-current constant-voltage charging (CCCV), constant-power constant-voltage charging (CPCV), multi-stage constant-current charging, and pulse current charging. A semi-optimal charging protocol is then developed by automatically modifying the charge current such that the cell is charged at close-to-maximum current without lithium plating. Based on the features of the semi-optimal protocol, two practical novel fast charging protocols are proposed which allow charging the cell at a higher rate without lithium plating. Through simulation, we show that the no-plating capacity after 10 min charge can be improved by up to ~10.7% compared to CCCV charging for a 2.5 mAh cm -2 cell and ~18.8% for a 4 mAh cm -2 cell, when the proposed charging protocols are used.

25 ENERGY STORAGE↗
DOE OSTI2025

Anion exchange membrane test protocol validation

This study presents the validation of protocols for measuring ion exchange capacity (IEC) and alkaline stability of anion exchange membranes (AEMs) for low-temperature water electrolysis. While protocols are often tested within individual laboratories, their results across multiple laboratories with varying equipment, environmental conditions, and personnel qualification remain unverified. The validation involved Los Alamos National Laboratory (LANL), National Renewable Energy Laboratory (NREL), and University of Oregon (UO) using the same commercially available AEM to assess reproducibility and reliability of the protocols under diverse conditions. For the IEC protocol, results across laboratories were consistent within ±10% of the NMR-determined reference value. The alkaline stability protocol could pose greater challenges due to factors such as variations in sample collection timing, preservation methods, and analytical techniques, but consistent test results for percentage IEC loss were demonstrated across institutions. These results highlight the reliability and applicability of the protocols, emphasizing the importance of validation to ensure consistency in diverse research environments.

08 HYDROGEN↗
DOE OSTI2019

How to achieve patient-centered testing: role of the protocol nurse

Introduction: Patient-centered cardiac testing is predicated on choosing the right test for the right patient. We studied the effects of changing from script-driven scheduling to nurse-driven protocoling of stress tests. Methods and Results: A protocol nurse reviewed records before scheduling and communicated with patients and ordering providers if needed. We found that instituting nurse protocolling of all non-imaging (ETT) and nuclear (MPI) stress tests (N = 3071) resulted in protocol changes in 37% of our patients, and reduced the proportion of tests that could not be performed as scheduled by 56% and cancelations by 71% (P < 0.001 for each). These changes were sustained over two successive 6-month periods following a baseline observation period of 6 months. For MPI, the most frequent nurse interventions were re-protocoling as stress-first MPI (12% of tests), changing test location for clinical reasons (13%), changing stress modality (7%), and care coordination (5%). Conclusions: Changing from script-driven scheduling to protocol nursing contributed measurably to patient-centered testing.

62 RADIOLOGY AND NUCLEAR MEDICINE↗
DOE OSTI2023

A novel protocol to recycle zirconium from zirconium alloy cladding from used nuclear fuel rods

A potential new zirconium recycling protocol has been demonstrated using unirradiated Zircaloy-based claddings and depleted uranium oxide for the chemical removal of zirconium alloy cladding in used nuclear fuel (UNF) rods from light water reactors. This protocol is based on the application of three new scientific findings. First, a new lower temperature chlorination reaction of zirconium with sulfur monochloride is described. Second, the high solubility of zirconium chloride in thionyl chloride is used to separate it from uranium oxide fuel and fission and activation contaminants. Finally, in the third step, the zirconium chloride is purified by simple recrystallization from thionyl chloride. Utilizing sulfur chloride solvents for a lower temperature liquid-based chemical digestion and purification of zirconium alloy claddings reduces technical complications experienced by current high temperature gas phase chlorination strategies, such as contamination of product streams. This novel protocol has been demonstrated on a 3–50 g scale of unirradiated zirconium alloy, with no significant change in the time required for complete chlorination (3–4 h). This zirconium chlorination protocol has also been performed in the presence of depleted uranium oxide pellets. The depleted fuel pellets do not affect zirconium chlorination, and the chlorination protocol does not chemically or physically alter the fuel pellets. Finally, a preliminary description of an industrial protocol to recycle nuclear grade zirconium from UNF rods is presented.

12 MANAGEMENT OF RADIOACTIVE AND NON-RADIOACTIVE W↗
DOE OSTI2026

Efficient Simulation of Logical Magic State Preparation Protocols

Developing space- and time-efficient logical magic state preparation (MSP) protocols will likely be an essential step toward building a large-scale fault-tolerant quantum computer. Motivated by this need, we introduce a scalable method for simulating logical MSP protocols under the standard circuit-level noise model. When applied to protocols based on code-switching, magic state cultivation, and magic state distillation, our method yields a complexity polynomial in (i) the number of qubits and (ii) the nonstabilizerness, e.g., stabilizer rank or Pauli rank, of the target encoded magic state. The efficiency of our simulation method is rooted in a curious fact: every circuit-level Pauli error in these protocols propagates to a Clifford error at the end. This property is satisfied by a large family of protocols, including those that repeatedly measure a transversal Clifford that squares to a Pauli. We provide a proof-of-principle numerical simulation that prepares a magic state using such logical Clifford measurements. Our work enables practical simulation of logical MSP protocols without resorting to approximations or resource-intensive state-vector simulations.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗
DOE OSTI2024

A protocol and analysis of year-long simulations of global storm-resolving models and beyond

We propose a protocol to evaluate and analyze year-long simulations of global storm-resolving models (GSRMs). The proposed protocol complements an earlier 40-day simulation protocol under the DYAMOND (DYnamics of the Atmospheric general circulation Modeled On Non-hydrostatic Domains) project to allow the analysis of the seasonal cycle and associated climatic relevant phenomena. This intercomparison aims to reveal how GSRMs, which can simulate mesoscale convective systems (MCSs) in the global domain, reproduce atmospheric large-scale structures related to convection beyond month-long simulations. The intercomparison for one-year simulations is conducted by either atmosphere-only models or atmosphere–ocean coupled models with atmospheric horizontal mesh sizes less than 5 km. We recommend the continuous four seasons from March 2020 to February 2021 as a target period for the intercomparison but with options for many groups to join more flexibly. The output variables are collected at 0.25° resolution, and archives of a small set of native grid variables are encouraged to analyze tropical cyclones and MCSs. Through the proposed global storm-resolving simulation, we will evaluate the climatological distributions of the atmospheric large-scale circulations, such as the Intertropical Convergence Zone (ITCZ), monsoon, midlatitude jets, their time evolution, and the upscale impacts on them. We present sample analyses from a one-year simulation using the 3.5 km mesh Nonhydrostatic Icosahedral Atmospheric Model (NICAM), revealing the realistic zonal contrast of tropical precipitation, no double ITCZ structure, the reasonable midlatitude jet position and intensity but a weak bias of storm track activities, and a warm bias over the Eurasia during boreal winter. We also clarify the cross-scale interaction, such as the effects of cold pools on mean precipitation over the Maritime Continent through the precipitation diurnal cycle and the effects of resolved gravity waves on midlatitude mean flows. The proposed one-year simulation protocol is referred to as the “Sendai Protocol.” This protocol is not unique or definite for evaluating GSRMs; we prospect a hierarchical set of experiments from short-term to multi-year simulations as GSRM intercomparisons.

54 ENVIRONMENTAL SCIENCES↗
DOE OSTI2021

Novel Protocol for Acute In Situ Ecotoxicity Test Using Native Crustaceans Applied to Groundwater Ecosystems

Current standardized laboratory test protocols use model species that have limitations to accurately assess native species responses to stressors. We developed and tested a novel acute in situ protocol for testing field-collected organisms. We used Asellus aquaticus and NaCl as a reference toxicant to test for the effects of location (laboratory vs. in situ), medium (synthetic vs. field water), substrate (presence vs. absence), and protocol replicability. We further tested the protocol using groundwater-adapted isopods: Proasellus assaforensis for the effect of location, P. cavaticus of medium and P.lusitanicus of substrate. Our results showed that A.aquaticus’ lethality obtained with the novel acute in situ protocol did not significantly differ from those from laboratory testing. However, laboratory tested P.assaforensis showed a higher sensitivity, suggesting that its acclimation to laboratory conditions might have pernicious effects. A. aquaticus and P. cavaticus showed a higher mortality using synthetic medium in situ and under laboratory conditions, which overestimated the stressor’s effect. Besides, substrate use had no significant effect. The novel acute in situ protocol allows the use of native species under realistic scenarios. It is particularly well adapted for assessing the risk of groundwater ecosystems but it can be applied to a wide range of ecosystems.

Castaño-Sánchez, Andrea↗
NASA NTRS1992

A simple, effective media access protocol system for integrated, high data rate networks

The operation and performance of a dual media access protocol for integrated, gigabit networks are described. Unlike other dual protocols, each protocol supports a different class of traffic. The Carrier Sensed Multiple Access-Ring Network (CSMA/RN) protocol and the Circulating Reservation Packet (CRP) protocol support asynchronous and synchronous traffic, respectively. The two protocols operate with minimal impact upon each other. Performance information demonstrates that they support a complete range of integrated traffic loads, do not require call setup/termination or a special node for synchronous traffic control, and provide effective pre-use and recovery. The CRP also provides guaranteed access and fairness control for the asynchronous system. The paper demonstrates that the CSMA-CRP system fulfills many of the requirements for gigabit LAN-MAN networks most effectively and simply. To accomplish this, CSMA-CRP features are compared against similar ring and bus systems, such as Cambridge Fast Ring, Metaring, Cyclic Reservation Multiple Access, and Distributed Dual Queue Data Bus (DQDB).

Foudriat, E. C.↗
NASA NTRS2000

Remote Sensing and the Kyoto Protocol: A Workshop Summary

The Kyoto Protocol to the United Nations Framework Convention on Climate Change contains quantified, legally binding commitments to limit or reduce greenhouse gas emissions to 1990 levels and allows carbon emissions to be balanced by carbon sinks represented by vegetation. The issue of using vegetation cover as an emission offset raises a debate about the adequacy of current remote sensing systems and data archives to both assess carbon stocks/sinks at 1990 levels, and monitor the current and future global status of those stocks. These concerns and the potential ratification of the Protocol among participating countries is stimulating policy debates and underscoring a need for the exchange of information between the international legal community and the remote sensing community. On October 20-22 1999, two working groups of the International Society for Photogrammetry and Remote Sensing (ISPRS) joined with the University of Michigan (Michigan, USA) to convene discussions on how remote sensing technology could contribute to the information requirements raised by implementation of, and compliance with, the Kyoto Protocol. The meeting originated as a joint effort between the Global Monitoring Working Group and the Radar Applications Working Group in Commission VII of the ISPRS, co-sponsored by the University of Michigan. Tile meeting was attended by representatives from national government agencies and international organizations and academic institutions. Some of the key themes addressed were: (1) legal aspects of transnational remote sensing in the context of the Kyoto Protocol; (2) a review of the current and future and remote sensing technologies that could be applied to the Kyoto Protocol; (3) identification of areas where additional research is needed in order to advance and align remote sensing technology with the requirements and expectations of the Protocol; and 94) the bureaucratic and research management approaches needed to align the remote sensing community with both the science and policy communities.

Rosenqvist, Ake↗
NASA NTRS2003

CCSDS File Delivery Protocol (CFDP): Why it's Useful and How it Works

Reliable delivery of data products is often required across space links. For example, a NASA mission will require reliable delivery of images produced by an on-board detector. Many missions have their own (unique) way of accomplishing this, requiring custom software. Many missions also require manual operations (e.g. the telemetry receiver software keeps track of what data is missing, and a person manually inputs the appropriate commands to request retransmissions). The Consultative Committee for Space Data Systems (CCSDS) developed the CCSDS File Delivery Protocol (CFDP) specifically for this situation. CFDP is an international standard communication protocol that provides reliable delivery of data products. It is designed for use across space links. It will work well if run over the widely used CCSDS Telemetry and Telecommand protocols. However, it can be run over any protocol, and will work well as long as the underlying protocol delivers a reasonable portion of the data. The CFDP receiver will autonomously determine what data is missing, and request retransmissions as needed. The CFDP sender will autonomously perform the requested transmissions. When the entire data product is delivered, the CFDP receiver will let the CFDP sender know that the transaction has completed successfully. The result is that custom software becomes standard, and manual operations become autonomous. This paper will consider various ways of achieving reliable file delivery, explain why CFDP is the optimal choice for use over space links, explain how the core protocol works, and give some guidance on how to best utilize CFDP within various mission scenarios. It will also touch on additional features of CFDP, as well as other uses for CFDP (e.g. the loading of on-board memory and tables).

Ray, Tim↗