Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “Arbiter”

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 37 records · Page 2
All sourcesNASA NTRSDOE OSTI
NASA NTRS1990

Development Status: Automation Advanced Development Space Station Freedom Electric Power System

Electric power system automation for Space Station Freedom is intended to operate in a loop. Data from the power system is used for diagnosis and security analysis to generate Operations Management System (OMS) requests, which are sent to an arbiter, which sends a plan to a commander generator connected to the electric power system. This viewgraph presentation profiles automation software for diagnosis, scheduling, and constraint interfaces, and simulation to support automation development. The automation development process is diagrammed, and the process of creating Ada and ART versions of the automation software is described.

Dolce, James L.↗
NASA NTRS2006

Towards a Compositional SPIN

This paper discusses our initial experience with introducing automated assume-guarantee verification based on learning in the SPIN tool. We believe that compositional verification techniques such as assume-guarantee reasoning could complement the state-reduction techniques that SPIN already supports, thus increasing the size of systems that SPIN can handle. We present a "light-weight" approach to evaluating the benefits of learning-based assume-guarantee reasoning in the context of SPIN: we turn our previous implementation of learning for the LTSA tool into a main program that externally invokes SPIN to provide the model checking-related answers. Despite its performance overheads (which mandate a future implementation within SPIN itself), this approach provides accurate information about the savings in memory. We have experimented with several versions of learning-based assume guarantee reasoning, including a novel heuristic introduced here for generating component assumptions when their environment is unavailable. We illustrate the benefits of learning-based assume-guarantee reasoning in SPIN through the example of a resource arbiter for a spacecraft. Keywords: assume-guarantee reasoning, model checking, learning.

Pasareanu, Corina S.↗
NASA NTRS1998

Spacecraft Reed-Solomon downlink module

Apparatus and method for providing downlink frames to be transmitted from a spacecraft to a ground station. Each downlink frame includes a synchronization pattern and a transfer frame. The apparatus may comprise a monolithic Reed-Solomon downlink (RSDL) encoding chip coupled to data buffers for storing transfer frames. The RSKL chip includes a timing device, a bus interface, a timing and control unit, a synchronization pattern unit, and a Reed-Solomon encoding unit, and a bus arbiter.

Luong, Huy H.↗
NASA NTRS2010

Development of an Uncertainty Model for the National Transonic Facility

This paper introduces an uncertainty model being developed for the National Transonic Facility (NTF). The model uses a Monte Carlo technique to propagate standard uncertainties of measured values through the NTF data reduction equations to calculate the combined uncertainties of the key aerodynamic force and moment coefficients and freestream properties. The uncertainty propagation approach to assessing data variability is compared with ongoing data quality assessment activities at the NTF, notably check standard testing using statistical process control (SPC) techniques. It is shown that the two approaches are complementary and both are necessary tools for data quality assessment and improvement activities. The SPC approach is the final arbiter of variability in a facility. Its result encompasses variation due to people, processes, test equipment, and test article. The uncertainty propagation approach is limited mainly to the data reduction process. However, it is useful because it helps to assess the causes of variability seen in the data and consequently provides a basis for improvement. For example, it is shown that Mach number random uncertainty is dominated by static pressure variation over most of the dynamic pressure range tested. However, the random uncertainty in the drag coefficient is generally dominated by axial and normal force uncertainty with much less contribution from freestream conditions.

Walter, Joel A.↗
NASA NTRS2021

ICESat-2 Precision Orbit Determination

The ICESat-2 Precision Orbit Determination (POD) system computes the precise position of the laser altimeter instrument in inertial space, a measurement necessary for accurate geolocation of individual photon surface returns. ICESat-2 POD solutions are generated by the reduction of Global Positioning System (GPS) double-difference carrier phase observable residuals with NASA Goddard Space Flight Center's GEODYN software. Independent satellite laser ranging (SLR) measurements are withheld from the POD solutions and used as an independent arbiter of POD performance. Measurement model updates in the form of estimated GPS antenna phase center and satellite laser ranging retro-reflector tracking point offset vectors as well as a GPS antenna phase center variation map have led to significant improvement in POD performance. GPS residual analysis and orbit precision analysis show no significant anomalous temporal or geographic POD performance issues. The independent SLR residual analysis indicates that POD solutions have achieved a radial orbit accuracy just below 1.5 cm, thus exceeding the mission radial orbit accuracy requirement of 3.0 cm by more than a factor of 2. Future POD processing updates have been identified and will lead to even further improvements in POD performance.

T. C. Thomas↗
NASA NTRSDate not supplied

Can We Model Forest Demography Globally? Benchmarking of State-of-the-Art Demographic DGVMs

Forests in Dynamic Global Vegetation Models (DGVMs) have historically been simulated as area-averaged plant functional types in each gridcell instead of representing communities of trees of different sizes and ages (demography). Just as the behaviour of a tree differs according to its ontogeny, so the behaviour of forests is known to differ depending on their demography. Accurately simulating demography is therefore key in order to address questions on afforestation and management strategies, as well as assessments of resilience of forests to disturbances such as drought and fire or diversity changes after a disturbance. Ultimately, demography determines the overall forest biomass in natural forests and is a key arbiter of growth and mortality rates. DGVMs are now able to simulate size and age structure of the trees in forests. However, these models have so far not been benchmarked alongside each other. We evaluate 6 DGVMs (BiomeE, CABLE-POP, FATES, LPJ-GUESS, JULES-RED, ORCHIDEE) against observations on regrowth dynamics as well as natural forests at boreal, temperate and tropical sites. We examine whether the models capture observed regrowth dynamics after disturbance, well-known stand size structure and well-established processes such as self-thinning. We outline the planned route forward towards a standardised international benchmarking framework for demographic DGVMs.

Dynamic Global Vegetation Models↗
DOE OSTI2019

System and method for protecting GPU memory instructions against faults

A system and method for protecting memory instructions against faults are described. The system and method include converting the slave instructions to dummy operations, modifying memory arbiter to issue up to N master and N slave global/shared memory instructions per cycle, sending master memory requests to memory system, using slave requests for error checking, entering master requests to the GM/LM FIFO, storing slave requests in a register, and comparing the entered master requests with the stored slave requests.

Kalamatianos, John↗
DOE OSTI2020

System and method for protecting GPU memory instructions against faults

A system and method for protecting memory instructions against faults are described. The system and method include converting the slave instructions to dummy operations, modifying memory arbiter to issue up to N master and N slave global/shared memory instructions per cycle, sending master memory requests to memory system, using slave requests for error checking, entering master requests to the GM/LM FIFO, storing slave requests in a register, and comparing the entered master requests with the stored slave requests.

Kalamatianos, John↗
DOE OSTI2022

PVAnalytics: A Python Package for Automated Processing of Solar Time Series Data

Multiple publicly available software packages exist that analyze solar time series data, including RdTools and Solar Data Tools, among others. Several of these packages contain their own unique quality assurance (QA) and feature recognition algorithms. The python PVAnalytics package was developed to offer an internally consistent source for these analysis tools, making it easier for the end user to deploy these routines on his or her solar data. The PVAnalytics package currently contains routines for outlier detection, inverter clipping detection, irradiance and temperature checks, orientation checks, and data shift detection, among other functions. These functions have been aggregated from various sources including Solar Forecast Arbiter, RdTools, and the QA process developed by NREL's PV Fleets Initiative. We are continuously adding new functionality to the package, including documentation, examples and algorithms. By bundling QA functionality into a single software package, we hope to make PVAnalytics a comprehensive software library to support analysis of solar metadata and time series data.

data cleaning↗
DOE OSTI2023

System and method for protecting GPU memory instructions against faults

A system and method for protecting memory instructions against faults are described. The system and method include converting the slave instructions to dummy operations, modifying memory arbiter to issue up to N master and N slave global/shared memory instructions per cycle, sending master memory requests to memory system, using slave requests for error checking, entering master requests to the GM/LM FIFO, storing slave requests in a register, and comparing the entered master requests with the stored slave requests.

Kalamatianos, John↗
NASA NTRS1985

An investigation at static conditions of nonaxisymmetric nozzle thrust reverser port geometry including effects of rounding and rotating the port corner

An investigation has been conducted in the static test facility of the Langley 16-Foot Transonic Tunnel to determine the effects of rounding and rotating the port corner of a nonaxisymmetric thrust reversing port. High pressure air was used to simulate jet exhaust at nozzle pressure ratios up to 6.0. The investigation indicates that using a rounded corner in the reverser port passage increases the discharge coefficient significantly compared to that of a sharp cornered thrust reversing port. Incorporating a rotating cylinder into the rounded corner reverser port passage provides no additional increase at cylinder revolutions per minute up to 10,000. (Revolutions per minute of 390,000 were necessary to achieve a surface velocity equal to the duct velocity.) Highest levels of discharge coefficient are obtained by providing a large, round, cylindrical surface in the port upstream wall. Locating the reverser port in a constant area duct results in higher discharge coefficients than locating the port in a convergent duct.

Arbiter, D. G.↗
NASA NTRS1986

Aerodynamic Characteristics of a Supersonic Fighter Aircraft Model at Mach 0.40 to 2.47

The aerodynamic characteristics of an advanced twin-engine fighter aircraft designed for supersonic cruise have been studied in the Langley 16-Foot Transonic Tunnel and the Lewis 10- by 10-Foot Supersonic Tunnel. The objective of this investigation was to establish an aerodynamic data base for the configuration with flow-through nacelles and representative inlets. The use of a canard for trim and the effects of fairing over the inlets were assessed. Comparisons between experimental and theoretical results were also made. The theoretical results were determined by using a potential vortex lift code for subsonic speeds and a linear aerodynamic code for supersonic speeds. This investigation was conducted at Mach numbers from 0.40 to 2.47, at angles of attack from 0 deg to about 20 deg, and at inlet capture ratios of about 0.5 to 1.4.

Capone, F. J.↗