Engineering PapersSearch

SEARCH · Engineering Papers

Results for “buffer analysis”

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

Dynamic Modeling of ALS Systems

The purpose of dynamic modeling and simulation of Advanced Life Support (ALS) systems is to help design them. Static steady state systems analysis provides basic information and is necessary to guide dynamic modeling, but static analysis is not sufficient to design and compare systems. ALS systems must respond to external input variations and internal off-nominal behavior. Buffer sizing, resupply scheduling, failure response, and control system design are aspects of dynamic system design. We develop two dynamic mass flow models and use them in simulations to evaluate systems issues, optimize designs, and make system design trades. One model is of nitrogen leakage in the space station, the other is of a waste processor failure in a regenerative life support system. Most systems analyses are concerned with optimizing the cost/benefit of a system at its nominal steady-state operating point. ALS analysis must go beyond the static steady state to include dynamic system design. All life support systems exhibit behavior that varies over time. ALS systems must respond to equipment operating cycles, repair schedules, and occasional off-nominal behavior or malfunctions. Biological components, such as bioreactors, composters, and food plant growth chambers, usually have operating cycles or other complex time behavior. Buffer sizes, material stocks, and resupply rates determine dynamic system behavior and directly affect system mass and cost. Dynamic simulation is needed to avoid the extremes of costly over-design of buffers and material reserves or system failure due to insufficient buffers and lack of stored material.

Jones, Harry

IKOS: Sound Static Program Analysis

IKOS (Inference Kernel for Open Static Analyzers) is a static analyzer for C/C++ based on the theory of Abstract Interpretation. It can detect or prove the absence of runtime errors (e.g, buffer overflows, integer overflows, null pointer dereferences, etc.) in the source code. IKOS uses Abstract Interpretation techniques to compute an over-approximation of all the reachable states of the program, thus it cannot miss a bug. In this talk, I will give an overview of the tool, then show how to apply it to a large software. I will present ikos-view, a web interface to examine the analysis results. I will discuss about methods to improve the analysis, such as adding code annotations, modeling library functions, and avoiding specific code patterns.

Arthaud, Maxime

Human Migration and Agricultural Expansion: An Impending Threat to the Maya Biosphere Reserve

Evidence is presented of the current threats to the Maya Biosphere Reserve in northern Guatemala as derived through time-series Landsat Thematic Mapper observations and analysis. Estimates of deforestation rates and trends are examined for different management units within the reserve and buffer zones. The satellite imagery was used to quantify and monitor rates, patterns, and trends of forest clearing during a time period corresponding to new road construction and significant human migration into the newly accessible forest region. Satellite imagery is appropriate technology in a vast and remote tropical region where aerial photography and extensive field-based methods are not cost-effective and current, timely data is essential for establishing conservation priorities.

Sader, Steven

Improving Explicit Congestion Notification with the Mark-Front Strategy

Delivering congestion signals is essential to the performance of networks. Current TCP/IP networks use packet losses to signal congestion. Packet losses not only reduces TCP performance, but also adds large delay. Explicit Congestion Notification (ECN) delivers a faster indication of congestion and has better performance. However, current ECN implementations mark the packet from the tail of the queue. In this paper, we propose the mark-front strategy to send an even faster congestion signal. We show that mark-front strategy reduces buffer size requirement, improves link efficiency and provides better fairness among users. Simulation results that verify our analysis are also presented.

Liu, Chunlei

[3H]Indole-3-acetyl-myo-inositol hydrolysis by extracts of Zea mays L. vegetative tissue

[3H]Indole-3-acetyl-myo-inositol was hydrolyzed by buffered extracts of acetone powders prepared from 4 day shoots of dark grown Zea mays L. seedlings. The hydrolytic activity was proportional to the amount of extract added and was linear for up to 6 hours at 37 degrees C. Boiled or alcohol denatured extracts were inactive. Analysis of reaction mixtures by high performance liquid chromatography demonstrated that not all isomers of indole-3-acetyl-myo-inositol were hydrolyzed at the same rate. Buffered extracts of acetone powders were prepared from coleoptiles and mesocotyls. The rates of hydrolysis observed with coleoptile extracts were greater than those observed with mesocotyl extracts. Active extracts also catalyzed the hydrolysis of esterase substrates such as alpha-naphthyl acetate and the methyl esters of indoleacetic acid and naphthyleneacetic acid. Attempts to purify the indole-3-acetyl-myo-inositol hydrolyzing activity by chromatographic procedures resulted in only slight purification with large losses of activity. Chromatography over hydroxylapatite allowed separation of two enzymically active fractions, one of which catalyzed the hydrolysis of both indole-3-acetyl-myo-inositol and esterase substrates. With the other enzymic hydrolysis of esterase substrates was readily demonstrated, but no hydrolysis of indole-3-acetyl-myo-inositol was ever detected.

NASA Program Space Biology

Simulation and analysis of support hardware for multiple instruction rollback

Recently, a compiler-assisted approach to multiple instruction retry was developed. In this scheme, a read buffer of size 2N, where N represents the maximum instruction rollback distance, is used to resolve one type of data hazard. This hardware support helps to reduce code growth, compilation time, and some of the performance impacts associated with hazard resolution. The 2N read buffer size requirement of the compiler-assisted approach is worst case, assuring data redundancy for all data required but also providing some unnecessary redundancy. By adding extra bits in the operand field for source 1 and source 2 it becomes possible to design the read buffer to save only those values required, thus reducing the read buffer size requirement. This study measures the effect on performance of a DECstation 3100 running 10 application programs using 6 read buffer configurations at varying read buffer sizes.

Alewine, Neil J.

A parametric study of single-wall carbon nanotube growth by laser ablation

Results of a parametric study of carbon nanotube production by the double-pulse laser oven process are presented. The effect of various operating parameters on the production of single-wall carbon nanotubes (SWCNTs) is estimated by characterizing the nanotube material using analytical techniques, including scanning electron microscopy, transmission electron microscopy, thermo gravimetric analysis and Raman spectroscopy. The study included changing the sequence of the laser pulses, laser energy, pulse separation, type of buffer gas used, operating pressure, flow rate, inner tube diameter, as well as its material, and oven temperature. It was found that the material quality and quantity improve with deviation from normal operation parameters such as laser energy density higher than 1.5 J/cm2, pressure lower than 67 kPa, and flow rates higher than 100 sccm. Use of helium produced mainly small diameter tubes and a lower yield. The diameter of SWCNTs decreases with decreasing oven temperature and lower flow rates.

Nanotubes, Carbon/chemistry

Quantification of urinary uric acid in the presence of thymol and thimerosal by high-performance liquid chromatography

A high-performance liquid chromatographic method was developed as an alternative to automated enzymatic analysis of uric acid in human urine preserved with thymol and/or thimerosal. Uric acid (tR = 10 min) and creatinine (tR = 5 min) were separated and quantified during isocratic elution (0.025 M acetate buffer, pH 4.5) from a mu Bondapak C18 column. The uric-acid peak was identified chemically by incubating urine samples with uricase. The thymol/thimerosal peak appeared at 31 min during the washing step and did not interfere with the analysis. We validated the high-performance liquid chromatographic method for linearity, precision and accuracy, and the results were found to be excellent.

NASA Discipline Regulatory Physiology

Scientific Programming Using Java: A Remote Sensing Example

This paper presents results of a project to port remote sensing code from the C programming language to Java. The advantages and disadvantages of using Java versus C as a scientific programming language in remote sensing applications are discussed. Remote sensing applications deal with voluminous data that require effective memory management, such as buffering operations, when processed. Some of these applications also implement complex computational algorithms, such as Fast Fourier Transformation analysis, that are very performance intensive. Factors considered include performance, precision, complexity, rapidity of development, ease of code reuse, ease of maintenance, memory management, and platform independence. Performance of radiometric calibration code written in Java for the graphical user interface and of using C for the domain model are also presented.

Prados, Don

Space-Based Communications Buffer Sizing

This paper considers the transmission interruption timing for space-based communications due to weather. The length of the weather interruption is one of the main influences determining the size of the storage needed to save the data to be sent at a later time. This analysis uses the Markov chain probabilities for weather to determine how many cloudy or rainy time steps in a row will not allow data transmission. The mean and standard deviation are computed, which along with the average data rate to be sent can be used to help size storage buffers in which to save data between periods of good weather.

Handler, Louis M.

Design and scheduling for periodic concurrent error detection and recovery in processor arrays

Periodic application of time-redundant error checking provides the trade-off between error detection latency and performance degradation. The goal is to achieve high error coverage while satisfying performance requirements. We derive the optimal scheduling of checking patterns in order to uniformly distribute the available checking capability and maximize the error coverage. Synchronous buffering designs using data forwarding and dynamic reconfiguration are described. Efficient single-cycle diagnosis is implemented by error pattern analysis and direct-mapped recovery cache. A rollback recovery scheme using start-up control for local recovery is also presented.

Wang, Yi-Min

Dynamic Model of the BIO-Plex Air Revitalization System

The BIO-Plex facility will need to support a variety of life support system designs and operation strategies. These systems will be tested and evaluated in the BIO-Plex facility. An important goal of the life support program is to identify designs that best meet all size and performance constraints for a variety of possible future missions. Integrated human testing is a necessary step in reaching this goal. System modeling and analysis will also play an important role in this endeavor. Currently, simulation studies are being used to estimate air revitalization buffer and storage requirements in order to develop the infrastructure requirements of the BIO-Plex facility. Simulation studies are also being used to verify that the envisioned operation strategy will be able to meet all performance criteria. In this paper, a simulation study is presented for a nominal BIO-Plex scenario with a high-level of crop growth. A general description of the dynamic mass flow model is provided, along with some simulation results. The paper also discusses sizing and operations issues and describes plans for future simulation studies.

Finn, Cory

The NASA/NSO spectromagnetograph

The Kitt Peak Vacuum Telescope's spectromagnetograph features real-time digital analysis of long-slit spectra formed on a 2D CCD detector, and is located at an exit port of a Littrow spectrograph. Commercial video processing boards are used to digitize the spectral images at video rates and to separate, accumulate, and buffer the spectra in the two polarization states. A processor removes fixed-pattern bias and gain from the spectra in cadence with spatial scanning of the image across the entrance slit; a data-control computer conducts position and width analysis of the line profiles and records line-of-sight magnetic field, Doppler shift, and other computed parameters, as demonstrated by the early observations presented.

Jones, Harrison P.

Investigation of the free flow electrophoretic process. Volume 2: Technical analysis

The effect of gravity on the free flow electrophoretic process was investigated. The demonstrated effects were then compared with predictions made by mathematical models. Results show that the carrier buffer flow was affected by gravity induced thermal convection and that the movement of the separating particle streams was affected by gravity induced buoyant forces. It was determined that if gravity induced buoyant forces were included in the mathematical models, then effective predictions of electrophoresis chamber separation performance were possible. The results of tests performed using various methods of electrophoresis using supportive media show that the mobility and the ability to separate were essentially independent of concentration, providing promise of being able to perform electrophoresis with higher inlet concentrations in space.

Weiss, R. A.

Modulation and synchronization technique for MF-TDMA system

This report addresses modulation and synchronization techniques for a multi-frequency time division multiple access (MF-TDMA) system with onboard baseband processing. The types of synchronization techniques analyzed are asynchronous (conventional) TDMA, preambleless asynchronous TDMA, bit synchronous timing with a preamble, and preambleless bit synchronous timing. Among these alternatives, preambleless bit synchronous timing simplifies onboard multicarrier demultiplexer/demodulator designs (about 2:1 reduction in mass and power), requires smaller onboard buffers (10:1 to approximately 3:1 reduction in size), and provides better frame efficiency as well as lower onboard processing delay. Analysis and computer simulation illustrate that this technique can support a bit rate of up to 10 Mbit/s (or higher) with proper selection of design parameters. High bit rate transmission may require Doppler compensation and multiple phase error measurements. The recommended modulation technique for bit synchronous timing is coherent QPSK with differential encoding for the uplink and coherent QPSK for the downlink.

Faris, Faris

Improving Quantitative Laboratory Analysis of Phycobiliproteins to Provide High Quality Validation Data for Ocean Color Remote Sensing Algorithm

Identification and characterization of phytoplankton communities and their physiology is a primary aim of NASA's PACE satellite mission. The concentration and composition of phytoplankton pigments modulate the spectral distribution of light emanating from the ocean, which is measured by ocean color satellites, and thus provide critical information on phytoplankton community composition and physiological parameters. One diagnostic class of pigments not routinely well-characterized is the phycobiliproteins (PBPs), and NASA has a requirement to collect and distribute high quality in situ data in support of data product validation activities for ocean color missions. Phycobiliproteins are light-harvesting proteins that are the predominant photosynthetic pigments in some classes of phytoplankton including cyanobacteria, such as Synechococcus, Trichodesmium, and Microcystis. With the advance of hyperspectral ocean color sensors such as on PACE (expected to launch in late 2022), it is essential that we implement routine analysis of PBPs that satisfies several considerations: reproducible, high extraction efficiency for a variety of environments, and Suitable for large scale analysis. Published techniques for PBP analysis vary in recommendations for: collection, extraction, disruption mode, and analysis; evidence suggests the variation in results may depend at least in part on the species and even strain(s) of interest. Experiments that tested variations in these parameters have drawn very different conclusions regarding extraction efficiency and reproducibility. Cyanobacteria are more difficult to extract than other PBP-containing algae such as cryptophytes, but can be important primary producers. We used a cryptophyte (Rhodomonas salina) and cyanobacterium (Synechococcus sp.) to compare extraction efficiencies of water samples concentrated via centrifugation to filtered samples using two different extraction buffers (phosphate and asolectin-CHAPS). Samples were analyzed on a fluorometer configured for PC and PE detection. The results have important implications for collection and storage of samples for routine analysis; some previous studies (although not all) have suggested that filtered samples have a much lower extraction efficiency than whole water samples.

Kenemer, Christopher

The implementation of a lossless data compression module in an advanced orbiting system: Analysis and development

Data compression has been proposed for several flight missions as a means of either reducing on board mass data storage, increasing science data return through a bandwidth constrained channel, reducing TDRSS access time, or easing ground archival mass storage requirement. Several issues arise with the implementation of this technology. These include the requirement of a clean channel, onboard smoothing buffer, onboard processing hardware and on the algorithm itself, the adaptability to scene changes and maybe even versatility to the various mission types. This paper gives an overview of an ongoing effort being performed at Goddard Space Flight Center for implementing a lossless data compression scheme for space flight. We will provide analysis results on several data systems issues, the performance of the selected lossless compression scheme, the status of the hardware processor and current development plan.

Yeh, Pen-Shu