Search NASA⌕ Search

SEARCH · Search NASA

Results for “protocol validation”

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 361 records · Page 20
All sourcesNASA NTRSDOE OSTI
NASA NTRS2007

NASA GRC and MSFC Space-Plasma Arc Testing Procedures

Tests of arcing and current collection in simulated space plasma conditions have been performed at the NASA Glenn Research Center (GRC) in Cleveland, Ohio, for over 30 years and at the Marshall Space Flight Center (MSFC) in Huntsville, Alabama, for almost as long. During this period, proper test conditions for accurate and meaningful space simulation have been worked out, comparisons with actual space performance in spaceflight tests and with real operational satellites have been made, and NASA has achieved our own internal standards for test protocols. It is the purpose of this paper to communicate the test conditions, test procedures, and types of analysis used at NASA GRC and MSFC to the space environmental testing community at large, to help with international space-plasma arcing-testing standardization. Discussed herein are neutral gas conditions, plasma densities and uniformity, vacuum chamber sizes, sample sizes and Debye lengths, biasing samples versus self-generated voltages, floating samples versus grounded samples, test electrical conditions, arc detection, preventing sustained discharges during testing, real samples versus idealized samples, validity of LEO tests for GEO samples, extracting arc threshold information from arc rate versus voltage tests, snapover, current collection, and glows at positive sample bias, Kapton pyrolysis, thresholds for trigger arcs, sustained arcs, dielectric breakdown and Paschen discharge, tether arcing and testing in very dense plasmas (i.e. thruster plumes), arc mitigation strategies, charging mitigation strategies, models, and analysis of test results. Finally, the necessity of testing will be emphasized, not to the exclusion of modeling, but as part of a complete strategy for determining when and if arcs will occur, and preventing them from occurring in space.

Ferguson, Dale C.↗
DOE OSTI2025

Monitoring and modeling hydrologic conditions in Ukraine for hydropower generation

Study region: The Dnieper and Dniester Rivers of Ukraine. Study focus: The ongoing conflict in Ukraine has caused disruptions to electricity generation, of which hydroelectric sources contribute approximately 9 % to the country’s needs. With the takeover of the Zaporizhzhia nuclear power plant by enemy forces, the loss of the Kakhovka hydroelectric dam, and the future impacts of the conflict on electricity generation unclear, it may be valuable for the Ukrainian government to better understand how it could leverage hydroelectric power sources in the near future. Unfortunately, measurements of river discharge throughout Ukraine ceased data collection in the late 1980’s to early 1990’s. To address this data gap, we developed a protocol that combined satellite-based time-series measurements of river width at seven locations throughout Ukraine from 2013 to 2023 with reanalysis data, climate-model predictions, and hydrologic models to both provide a means of monitoring a proxy for near-real-time discharge and also predict near-term (i.e., 2023–2030) hydrologic patterns for the region. New hydrological insights for the region: We ran new algorithms on 144 WorldView-2 and WorldView-3 satellite images to map rivers and extract width, one of which was validated against river gauge data located along the same river but in a neighboring country. Hydrologic models using two climate scenarios found minimal change in annual discharge at all sites, but magnitude and timing of peak discharge showed a moderate trend. The results suggest that hydropower is underutilized in Ukraine.

13 HYDRO ENERGY↗
NASA NTRS2006

BOUSSOLE: A Joint CNRS-INSU, ESA, CNES, and NASA Ocean Color Calibration and Validation Activity

This report presents the Bouee pour l'acquisition de Series Optiques a Long Terme (BOUSSOLE) project, the primary objectives of which are to provide a long-term time series of optical properties in support of a) calibration and validation activities associated with satellite ocean color missions, and b) bio-optical research in oceanic waters. The following are included in the report: 1) an introduction to the rationale for establishing the project; 2) a definition of vicarious calibration and the specific requirements attached to it; 3) the organization of the project and the characteristics of the measurement site--in the northwestern Mediterranean Sea; 4) a qualitative overview of the collected data; 5) details about the buoy that was specifically designed and built for this project; 6) data collection protocols and data processing techniques; 7) a quantitative summary of the collected data, and a discussion of some sample results, including match-up analyses for the currently operational ocean color sensors, namely MERIS, SeaWiFS, and MODIS; and 8) preliminary results of the vicarious radiometric calibration of MERIS, including a tentative uncertainty budget. The results of this match-up analysis allow performance comparisons of various ocean color sensors to be performed, demonstrating the ability of the BOUSSOLE activity, i.e., combining a dedicated platform and commercial-off-the-shelf instrumentation, to provide data qualified to monitor the quality of ocean color products on the long term.

Antoine, David↗
NASA NTRS2019

Air Traffic Management Technology Demonstration-1 (ATD-1) Avionics Phase 2 Flight Test Training for Interval Management

Prior to the successful flight test validation of a new avionics prototype, participants from Boeing, Honeywell, and United Airlines underwent group training at NASA Langley Research Center. New prototype software for an algorithm which enables greater efficiency in high-density airspace, called Interval Management, was to be incorporated into Electronic Flight Bags and placed in the cockpit for pilot usage. The goals of the training were to teach the flight test pilots how to operate the new software, establish techniques to simultaneously position three aircraft prior to each test scenario, and ensure a common communication protocol among team members when coordinating the position of aircraft for the next scenario. The multi-tiered interactive training regimen consisted of a process that continually built upon previous foundational material. The primary learning elements were 1) a portable computer-based trainer that was provided to the pilots prior to classroom training sessions, 2) classroom learning, 3) full mock-up simulator training, and 4) refresher training just prior to the flight test. Each part of the regimen was designed to repeat and build upon the previous element. The purpose of this Technical Memorandum is to inform the aviation industry how flight training for Interval Management was conducted at Langley Research Center in order to reduce overall development costs of future Interval Management training programs. Secondly, the paper provides insight regarding the decision-making process when attempting to conduct a flight test.

Roper, Roy D.↗
DOE OSTI2025

Quick-and-Easy Validation of Protein–Ligand Binding Models Using Fragment-Based Semiempirical Quantum Chemistry

Electronic structure calculations in enzymes converge very slowly with respect to the size of the model region that is described using quantum mechanics (QM), requiring hundreds of atoms to obtain converged results and exhibiting substantial sensitivity (at least in smaller models) to which amino acids are included in the QM region. As such, there is considerable interest in developing automated procedures to construct a QM model region based on well-defined criteria. However, testing such procedures is burdensome due to the cost of large-scale electronic structure calculations. Here, we show that semiempirical methods can be used as alternatives to density functional theory (DFT) to assess convergence in sequences of models generated by various automated protocols. The cost of these convergence tests is reduced even further by means of a many-body expansion. We use this approach to examine convergence (with respect to model size) of protein–ligand binding energies. Fragment-based semiempirical calculations afford well-converged interaction energies in a tiny fraction of the cost required for DFT calculations. Two-body interactions between the ligand and single-residue amino acid fragments afford a low-cost way to construct a “QM-informed” enzyme model of reduced size, furnishing an automatable active-site model-building procedure. This provides a streamlined, user-friendly approach for constructing ligand binding-site models that needs neither a priori information nor manual adjustments. Extension to model-building for thermochemical calculations should be straightforward.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗
DOE OSTI2025

AlloSHP: deconvoluting single homeologous polymorphism for phylogenetic analysis of allopolyploids

Background The genomic and evolutionary study of allopolyploid organisms involves multiple copies of homeologous chromosomes, making their assembly, annotation, and phylogenetic analysis challenging. Bioinformatics tools and protocols have been developed to study polyploid genomes, but sometimes require the assembly of their genomes, or at least the genes, limiting their use. Results We have developed AlloSHP, a command-line tool for detecting and extracting single homeologous polymorphisms (SHPs) from the subgenomes of allopolyploid species. This tool integrates three main algorithms, WGA, VCF2ALIGNMENT and VCF2SYNTENY, and allows the detection of SHPs for the study of diploid-polyploid complexes with available diploid progenitor genomes, without assembling and annotating the genomes of the allopolyploids under study. AlloSHP has been validated on three diploid-polyploid plant complexes, Brachypodium, Brassica, and Triticum-Aegilops, and a set of synthetic hybrid yeasts and their progenitors of the genus Saccharomyces. The results and congruent phylogenies obtained from the four datasets demonstrate the potential of AlloSHP for the evolutionary analysis of allopolyploids with a wide range of ploidy and genome sizes. Conclusions AlloSHP combines the strategies of simultaneous mapping against multiple reference genomes and syntenic alignment of these genomes to call SHPs, using as input data a single VCF file and the reference genomes of the known or closest extant diploid progenitor species. This novel approach provides a valuable tool for the evolutionary study of allopolyploid species, both at the interspecific and intraspecific levels, allowing the simultaneous analysis of a large number of accessions and avoiding the complex process of assembling polyploid genomes.

Allopolyploids↗
NASA NTRS2021

Extending the Licklider Transmission Protocol to Multi-Band Links

Most deep space missions return data to Earth using links operating at a single frequency band. Indeed, their data requirements are low enough that bandwidth regulations do not constrain the system. In contrast, spacecraft such as Kepler or Europa Clipper are transitioning to a new operational paradigm where engineering and science data are transmitted through simultaneous links operating at different frequency bands (henceforth termed multi-band links). This ensures, for instance, that critical data is correctly received using a well characterized X-band link, while science data at a much larger data rate can be returned efficiently (both in terms of bandwidth and energy) through a Ka-band link.Having a spacecraft establish two simultaneous links with a ground station opens a large span of potential improvements for space communications and mission operations. In this paper, we consider the problem of running a Licklider Transmission Protocol (LTP) session over a multi-band link. LTP is an implementation of a selective Automatic Repeat reQuest (ARQ) protocol, i.e. it ensures correct delivery of data over an error prone link with potentially long propagation delays. To maximize its efficiency in deep space environments, LTP operates in deferred-ACK mode and is typically included as one of the core protocols in the Delay Tolerant Networking (DTN) suite.The contributions of this paper are as follows: First, we propose an extension to LTP for multi-band links (denoted MBLTP) and sketch how it can be implemented without modifying the current definition of LTP data units. Next, we develop bounds on the performance of MBLTP when transmitting a single data file over a multi-band link. Three metrics are considered, file expected delivery time, total energy spent and bundle jitter. The results of the analytic model are first benchmarked against simulations to ensure validity, and then compared against the performance of both traditional LTP and Parallel LTP (PLTP).We demonstrate that MBLTP can significantly reduce the latency and jitter with which data products are delivered to destination over a deep space link compared to LTP at moderate energy cost. Similarly, we also demonstrate that MBLTP outperforms PLTP in all considered metrics.

Sanchez Net, Marc↗
NASA NTRS2010

Proceedings of the Second NASA Formal Methods Symposium

This publication contains the proceedings of the Second NASA Formal Methods Symposium sponsored by the National Aeronautics and Space Administration and held in Washington D.C. April 13-15, 2010. Topics covered include: Decision Engines for Software Analysis using Satisfiability Modulo Theories Solvers; Verification and Validation of Flight-Critical Systems; Formal Methods at Intel -- An Overview; Automatic Review of Abstract State Machines by Meta Property Verification; Hardware-independent Proofs of Numerical Programs; Slice-based Formal Specification Measures -- Mapping Coupling and Cohesion Measures to Formal Z; How Formal Methods Impels Discovery: A Short History of an Air Traffic Management Project; A Machine-Checked Proof of A State-Space Construction Algorithm; Automated Assume-Guarantee Reasoning for Omega-Regular Systems and Specifications; Modeling Regular Replacement for String Constraint Solving; Using Integer Clocks to Verify the Timing-Sync Sensor Network Protocol; Can Regulatory Bodies Expect Efficient Help from Formal Methods?; Synthesis of Greedy Algorithms Using Dominance Relations; A New Method for Incremental Testing of Finite State Machines; Verification of Faulty Message Passing Systems with Continuous State Space in PVS; Phase Two Feasibility Study for Software Safety Requirements Analysis Using Model Checking; A Prototype Embedding of Bluespec System Verilog in the PVS Theorem Prover; SimCheck: An Expressive Type System for Simulink; Coverage Metrics for Requirements-Based Testing: Evaluation of Effectiveness; Software Model Checking of ARINC-653 Flight Code with MCP; Evaluation of a Guideline by Formal Modelling of Cruise Control System in Event-B; Formal Verification of Large Software Systems; Symbolic Computation of Strongly Connected Components Using Saturation; Towards the Formal Verification of a Distributed Real-Time Automotive System; Slicing AADL Specifications for Model Checking; Model Checking with Edge-valued Decision Diagrams; and Data-flow based Model Analysis.

Munoz, Cesar↗
DOE OSTI2024

Reference Materials for Laser and Xenon Flash Thermal Diffusivity Systems

This report presents the status of current standard reference materials for thermal diffusivity testing. In most thermal properties testing systems, it is common to use standard reference materials to show the reproducibility of the tests and certify the instrument is producing results within expected uncertainty range. The definition of reference materials or standards vary depending on the quality control protocols of the project. For thermal diffusivity, although there were standards available by the National Bureau of Standards (NBS) 40 years ago, there has been no recent NIST standard reference material (SRM). There are only a few sources that produce and provide traceable reference standards for thermal diffusivity. The certificate typically expires in 5 years and only applies to the specific lot of materials. Other reference materials are provided by the testing systems manufacturers. They are mostly well-known reference materials or materials used by the equipment manufacturers with historic data. However, most these reference materials no longer carry valid certificates. Various reference materials will be discussed along with the industry practice when only secondary standards are available.

36 MATERIALS SCIENCE↗
NASA NTRS2003

A Framework for Intelligent Rocket Test Facilities with Smart Sensors

A long-term center goal at the John C. Stennis Space Center (SSC) is the formulation and implementation of a framework for an Intelligent Rocket Test Facility (IRTF), which incorporates distributed smart sensor elements. The IRTF is to provide reliable, high-confident measurements. Specific objectives include: 1. Definition of a framework and architecture that supports implementation of highly autonomous methodologies founded on basic physical principles and embedded knowledge. 2. Modeling of autonomous sensors and processes as self-sufficient, evolutionary elements. 3. Development of appropriate communications protocols to enable the complex interactions that must take place to allow timely and high-quality flow of of information among all the autonomous elements of the system. 4. Development of lab-scale prototypes of key system elements. Though our application is next-generation rocket test facilities, applications for the approach are much wider and include monitoring of shuttle launch operations, air and spacecraft operations and health monitoring, and other large-scale industrial system operations such as found in processing and manufacturing plans. Elements of prototype IRTF have been implemented in preparation for advanced development and validation using rocket test stand facilities as SSC. This work has identified issues that are important to further development of complex network and should be of interest to other working with sensor networks.

Figueroa, Fernando↗
NASA NTRS2003

The Aura Mission and Its Application to Climate and Air Quality

NASA's Aura satellite is scheduled to launch in the second quarter of 2004 into a polar orbit. The Aura mission is designed to collect data to address three high priority environmental science questions: (1) Is the ozone layer recovering as expected? (2) What are the sources and processes that control tropospheric pollutants? And (3) what is the quantitative impact of constituents on climate change? Aura will answer these questions by globally measuring a comprehensive set of trace gases and aerosols in the troposphere and stratosphere. Aura data will also have applications for monitoring and predicting climate and air quality parameters. Aura s observations will continue the TOMS ozone trend record and provide an assessment as to whether the Montreal Protocol is achieving its objective. Aura will measure gases and aerosols in the upper troposphere and lower stratosphere that contribute to climate forcing. These data will be of sufficient coverage, vertical resolution, and accuracy to help constrain climate models. In addition, Aura observations of tropospheric ozone and its precursors will have regional as well as intercontinental coverage, which could improve emission inventories. Near real time data will tested for local air quality forecasts in collaboration with the US's Environmental Protection UV-B forecasts from Aura ozone and cloud cover data. An overview of Aura s instruments, data products, validation, and examples of data applications will be presented.

Hilsenrath, Ernest↗
NASA NTRS2007

Evaluating Trauma Sonography for Operational Use in the Microgravity Environment

Sonography is the only medical imaging modality aboard the ISS, and is likely to remain the leading imaging modality in future human space flight programs. While trauma sonography (TS) has been well recognized for terrestrial trauma settings, the technique had to be evaluated for suitability in space flight prior to adopting it as an operational capability. The authors found the following four-phased evaluative approach applicable to this task: 1) identifying standard or novel terrestrial techniques for potential use in space medicine; 2) developing and testing these techniques with suggested modifications on the ground (1g) either in clinical settings or in animal models, as appropriate; 3) evaluating and refining the techniques in parabolic flight (0g); and 4) validating and implementing for clinical use in space. In Phase I of the TS project, expert opinion and literature review suggested TS to be a potential screening tool for trauma in space. In Phase II, animal models were developed and tested in ground studies, and clinical studies were carried out in collaborating trauma centers. In Phase III, animal models were flight-tested in the NASA KC-135 Reduced Gravity Laboratory. Preliminary results of the first three phases demonstrated potential clinical utility of TS in microgravity. Phase IV studies have begun to address crew training issues, on-board imaging protocols, and data transfer procedures necessary to offer the modified TS technique for space use.

Kirkpatrick, Andrew W.↗
NASA NTRS2013

Application Agreement and Integration Services

Application agreement and integration services are required by distributed, fault-tolerant, safety critical systems to assure required performance. An analysis of distributed and hierarchical agreement strategies are developed against the backdrop of observed agreement failures in fielded systems. The documented work was performed under NASA Task Order NNL10AB32T, Validation And Verification of Safety-Critical Integrated Distributed Systems Area 2. This document is intended to satisfy the requirements for deliverable 5.2.11 under Task 4.2.2.3. This report discusses the challenges of maintaining application agreement and integration services. A literature search is presented that documents previous work in the area of replica determinism. Sources of non-deterministic behavior are identified and examples are presented where system level agreement failed to be achieved. We then explore how TTEthernet services can be extended to supply some interesting application agreement frameworks. This document assumes that the reader is familiar with the TTEthernet protocol. The reader is advised to read the TTEthernet protocol standard [1] before reading this document. This document does not re-iterate the content of the standard.

Driscoll, Kevin R.↗
NASA NTRS2012

Cloud Computing for Mission Design and Operations

The space mission design and operations community already recognizes the value of cloud computing and virtualization. However, natural and valid concerns, like security, privacy, up-time, and vendor lock-in, have prevented a more widespread and expedited adoption into official workflows. In the interest of alleviating these concerns, we propose a series of guidelines for internally deploying a resource-oriented hub of data and algorithms. These guidelines provide a roadmap for implementing an architecture inspired in the cloud computing model: associative, elastic, semantical, interconnected, and adaptive. The architecture can be summarized as exposing data and algorithms as resource-oriented Web services, coordinated via messaging, and running on virtual machines; it is simple, and based on widely adopted standards, protocols, and tools. The architecture may help reduce common sources of complexity intrinsic to data-driven, collaborative interactions and, most importantly, it may provide the means for teams and agencies to evaluate the cloud computing model in their specific context, with minimal infrastructure changes, and before committing to a specific cloud services provider.

cloud computing↗
NASA NTRS2003

Mars Exploration Rovers as Virtual Instruments for Determination of Terrain Roughness and Physical Properties

The two 2003 Mars Exploration Rovers (MERs), in combination with the Athena Payload, will be used as virtual instrument systems to infer terrain properties during traverses, in addition to using the rover wheels to excavate trenches, exposing subsurface materials for remote and in-situ observations. The MERs are being modeled using finite element-based rover system transfer functions that utilize the distribution of masses associated with the vehicle, together with suspension and wheel dynamics, to infer surface roughness and mechanical properties from traverse time series data containing vehicle yaw, pitch, roll, encoder counts, and motor currents. These analyses will be supplemented with imaging and other Athena Payload measurements. The approach is being validated using Sojourner data, the FIDO rover, and experiments with MER testbed vehicles. In addition to conducting traverse science and associated analyses, trenches will be excavated by the MERs to depths of approximately 10-20 cm by locking all but one of the front wheels and rotating that wheel backwards so that the excavated material is piled up on the side of the trench away from the vehicle. Soil cohesion and angle of internal friction will be determined from the trench telemetry data. Emission spectroscopy and in-situ observations will be made using the Athena payload before and after imaging. Trenching and observational protocols have been developed using Sojourner results; data from the FIDO rover, including trenches dug into sand, mud cracks, and weakly indurated bedrock; and experiments with MER testbed rovers. Particular attention will be focused on Mini-TES measurements designed to determine the abundance and state of subsurface water (e.g. hydrated, in zeolites, residual pore ice?) predicted to be present from Odyssey GRS/NS/HEND data.

R E Arvidson↗
NASA NTRSDate not supplied

Developing and Validating Measurement Scales During Pandemic Conditions: A Case Study with the Scale for Habitat Usability

At NASA, habitat evaluations often employ subjective measures. Some measures are frequently used, well established tools, whereas others are homegrown measures tailored to specific projects. The variety of measures used makes evaluation comparisons across projects difficult. Additionally, some of these measures are burdensome, may be too specialized, or may require an expert to use and interpret, limiting their utility. Taken together, these drawbacks suggest the need for a new measurement tool. To that purpose, a team at NASA worked on developing a new scale for measuring habitat usability, the Scale for Habitat Usability (SHU). The SHU is intended to be a quick, multi-faceted measure for evaluating habitat usability across the development lifecycle. However, like many research projects, the development of the SHU faced setbacks due to the COVID-19 pandemic. Pandemic prevention protocols precluded in-person data collection, forcing the team to take some non-traditional approaches to scale development. This paper reports the steps the team took to complete the project.

Ian Robertson↗
DOE OSTI2024

Hardware-in-the-Loop Testing of Wide-Area Damping Controller for Field Implementation in Large-scale Power Grid

In our previous work, an adaptive measurement-driven wide-area damping controller (WADC) for suppressing inter-area oscillations has been proposed and a hardware prototype was developed and validated through hardware-in-the-loop tests. As a continuation of the work, this paper introduces a WADC software prototype to handle the realistic challenges for field implementation in the control room of the power grid. The WADC software is developed and operated as an openPDC adapter with a graphical user interface (GUI) to monitor the WADC inputs and output, the communication delays and other variables. The software prototype has been fully tested through an enhanced hardware-in-the-loop (HIL) test setup. Its performance is verified under various realistic communication uncertainties, such as random time delays and data losses, with different communication protocols. The experiment results have proven the WADC software can deliver sufficient damping to suppress the targeted oscillation mode in handling various communication uncertainties for future field deployment.

Jia, Xinlan↗
DOE OSTI2025

Quantum nonlocal modulation cancelation with distributed clocks

We demonstrate nonlocal modulation of entangled photons with truly distributed radio frequency (RF) clocks. Leveraging a custom radio-over-fiber (RFoF) system characterized via classical spectral interference, we validate its effectiveness for quantum networking by multiplexing the RFoF clock with one photon from a frequency-bin-entangled pair and distributing the coexisting quantum-classical signals over fiber. Phase modulation of the two photons reveals nonlocal correlations in excellent agreement with theory: in-phase modulation produces additional sidebands in the joint spectral intensity, while out-of-phase modulation is nonlocally canceled. Our simple, feedback-free design attains subpicosecond synchronization—namely, drift less than ~0.5 ps in a 5.5 km fiber over 30 min (fractionally only ~2×10 -8 of the total fiber delay)—and should facilitate frequency-encoded quantum networking protocols such as high-dimensional quantum key distribution and entanglement swapping, unlocking frequency-bin qubits for practical quantum communications in deployed metropolitan-scale networks.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗