Search NASA⌕ Search

SEARCH · Search NASA

Results for “phase 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 145 records · Page 8

The anaerobic degradation of organic matter in Danish coastal sediments - Iron reduction, manganese reduction, and sulfate reduction

A combination of porewater and solid phase analysis as well as a series of sediment incubations are used to quantify organic carbon oxidation by dissimilatory Fe reduction, Mn reduction, and sulfate reduction, in sediments from the Skagerrak (located off the northeast coast of Jutland, Denmark). Solid phase data are integrated with incubation results to define the zones of the various oxidation processes. At S(9), surface Mn enrichments of up to 3.5 wt pct were found, and with such a ready source of Mn, dissimilatory Mn reduction was the only significant anaerobic process of carbon oxidation in the surface 10 cm of the sediment. At S(4) and S(6), active Mn reduction occurred; however, most of the Mn reduction may have resulted from the oxidation of acid volatile sulfides and Fe(2+) rather than by a dissimilatory sulfate. Dissolved Mn(2+) was found to completely adsorb onto sediment containing fully oxidized Mn oxides.

Canfield, Donald E.↗

Improved silicon nitride for advanced heat engines

The AiResearch Casting Company baseline silicon nitride (92 percent GTE SN-502 Si sub 3 N sub 4 plus 6 percent Y sub 2 O sub 3 plus 2 percent Al sub 2 O sub 3) was characterized with methods that included chemical analysis, oxygen content determination, electrophoresis, particle size distribution analysis, surface area determination, and analysis of the degree of agglomeration and maximum particle size of elutriated powder. Test bars were injection molded and processed through sintering at 0.68 MPa (100 psi) of nitrogen. The as-sintered test bars were evaluated by X-ray phase analysis, room and elevated temperature modulus of rupture strength, Weibull modulus, stress rupture, strength after oxidation, fracture origins, microstructure, and density from quantities of samples sufficiently large to generate statistically valid results. A series of small test matrices were conducted to study the effects and interactions of processing parameters which included raw materials, binder systems, binder removal cycles, injection molding temperatures, particle size distribution, sintering additives, and sintering cycle parameters.

Yeh, H. C.↗

Perchlorate and Volatiles of the Brine of Lake Vida (Antarctica): Implication for the in Situ Analysis of Mars Sediments

The cold (-13.4 C), cryoencapsulated, anoxic, interstitial brine of the 27 m-thick ice of Lake Vida (Victoria Valley, Antarctica) contains 49 microgram L-1 of perchlorate and 11 microgram L-1 of chlorate. Lake Vida brine (LVBr) may provide an analog for potential oxychlorine-rich subsurface brine on Mars. LVBr volatiles were analyzed by solid-phase microextraction (SPME) gas chromatography-mass spectrometry (GC-MS) with two different SPME fibers. With the exception of volatile organic sulfur compounds, most other volatiles observed were artifacts produced in the GC injector when the thermal decomposition products of oxychlorines reacted with reduced carbon derived from LVBr and the SPME fiber phases. Analysis of MilliQ water with perchlorate (40 microgram L-1) showed low level of organic artifacts, reflecting carbon limitation. In order to observe sample-derived organic compounds, both in analog samples and on Mars, the molar abundance of reduced carbon in a sample must exceed those of O2 and Cl2 produced during decomposition of oxychlorines. This suggests that the abundance of compounds observed by the Sample Analysis at Mars (SAM) instruments in Sheepbed samples (CB-3, CB5, and CB6) may be controlled by an increase in the reduced-carbon/oxychlorine ratio of these samples. To increase chances of in situ detection of Martian organics during pyrolysis-GC-MS, we propose that the derivatization agents stored on SAM may be used as an external source of reduced carbon, increasing artificially the reduced-carbon to perchlorate ratio during pyrolysis, allowing the expression of more abundant and perhaps more diverse Martian organic matter.

Mars analog experiment↗

Coupled-mode analysis of phase-locked injection laser arrays

A coupled-mode analysis has been developed to describe the output of phase-locked injection laser arrays. It is shown that an array of emitters with weak coupling can only operate in a set of discrete modes determined by the number of and the spacing of the emitters. The interaction between emitters leads to a splitting of the common frequency of operation that can be estimated from the coupling strength. The coupled-mode analysis is compared to calculations based on simple diffraction theory. A consequence of the analysis is an explanation for the commonly observed discrepancy between experimentally observed far-field lobe widths and those predicted by simple diffraction theory.

Butler, J. K.↗

From Informal Safety-Critical Requirements to Property-Driven Formal Validation

Most of the efforts in formal methods have historically been devoted to comparing a design against a set of requirements. The validation of the requirements themselves, however, has often been disregarded, and it can be considered a largely open problem, which poses several challenges. The first challenge is given by the fact that requirements are often written in natural language, and may thus contain a high degree of ambiguity. Despite the progresses in Natural Language Processing techniques, the task of understanding a set of requirements cannot be automatized, and must be carried out by domain experts, who are typically not familiar with formal languages. Furthermore, in order to retain a direct connection with the informal requirements, the formalization cannot follow standard model-based approaches. The second challenge lies in the formal validation of requirements. On one hand, it is not even clear which are the correctness criteria or the high-level properties that the requirements must fulfill. On the other hand, the expressivity of the language used in the formalization may go beyond the theoretical and/or practical capacity of state-of-the-art formal verification. In order to solve these issues, we propose a new methodology that comprises of a chain of steps, each supported by a specific tool. The main steps are the following. First, the informal requirements are split into basic fragments, which are classified into categories, and dependency and generalization relationships among them are identified. Second, the fragments are modeled using a visual language such as UML. The UML diagrams are both syntactically restricted (in order to guarantee a formal semantics), and enriched with a highly controlled natural language (to allow for modeling static and temporal constraints). Third, an automatic formal analysis phase iterates over the modeled requirements, by combining several, complementary techniques: checking consistency; verifying whether the requirements entail some desirable properties; verify whether the requirements are consistent with selected scenarios; diagnosing inconsistencies by identifying inconsistent cores; identifying vacuous requirements; constructing multiple explanations by enabling the fault-tree analysis related to particular fault models; verifying whether the specification is realizable.

Cimatti, Alessandro↗

The CCD/Transit Instrument (CTI) data-analysis system

The automated software system for archiving, analyzing, and interrogating data from the CCD/Transit Instrument (CTI) is described. The CTI collects up to 450 Mbytes of image-data each clear night in the form of a narrow strip of sky observed in two colors. The large data-volumes and the scientific aims of the project make it imperative that the data are analyzed within the 24-hour period following the observations. To this end a fully automatic and self evaluating software system has been developed. The data are collected from the telescope in real-time and then transported to Tucson for analysis. Verification is performed by visual inspection of random subsets of the data and obvious cosmic rays are detected and removed before permanent archival is made to the optical disc. The analysis phase is performed by a pair of linked algorithms, one operating on the absolute pixel-values and the other on the spatial derivative of the data. In this way both isolated and merged images are reliably detected in a single pass. In order to isolate the latter algorithm from the effects of noise spikes a 3x3 Hanning filter is applied to the raw data before the analysis is run. The algorithms reduce the input pixel-data to a database of measured parameters for each image which has been found. A contrast filter is applied in order to assign a detection-probability to each image and then x-y calibration and intensity calibration are performed using known reference stars in the strip. These are added to as necessary by secondary standards boot-strapped from the CTI data itself. The final stages involve merging the new data into the CTI Master-list and History-list and the automatic comparison of each new detection with a set of pre-defined templates in parameter-space to find interesting objects such as supernovae, quasars and variable stars. Each stage of the processing from verification to interesting image selection is performed under a data-logging system which both controls the pipe-lining of data through the system and records key performance monitor parameters which are built into the software. Furthermore, the data from each stage are stored in databases to facilitate evaluation, and all stages offer the facility to enter keyword-indexed free-format text into the data-logging system. In this way a large measure of certification is built into the system to provide the necessary confidence in the end results.

Cawson, M. G. M.↗

Reverberation Chamber Uniformity Validation and Radiated Susceptibility Test Procedures for the NASA High Intensity Radiated Fields Laboratory

The NASA Langley Research Center's High Intensity Radiated Fields Laboratory has developed a capability based on the RTCA/DO-160F Section 20 guidelines for radiated electromagnetic susceptibility testing in reverberation chambers. Phase 1 of the test procedure utilizes mode-tuned stirrer techniques and E-field probe measurements to validate chamber uniformity, determines chamber loading effects, and defines a radiated susceptibility test process. The test procedure is segmented into numbered operations that are largely software controlled. This document is intended as a laboratory test reference and includes diagrams of test setups, equipment lists, as well as test results and analysis. Phase 2 of development is discussed.

Koppen, Sandra V.↗

SMAnalytics Automated Shape Memory Test Analysis Software User's Manual: UCFTC, UPER, and DSC Test Methods, Version 1.0.2

Over the course of 60 years of shape memory alloy research and development, the properties of these alloys have been measured using various testing methods, which are often customized by the organization performing the test. However, commercial adoption of shape memory alloys in aeronautic actuator applications requires reducing property uncertainty through standardizing test methods. Historically, differential scanning calorimetry (DSC) has been used to measure transformation temperatures under stress-free conditions. This testing method is well established, and tests are run under the applicable standard, ASTM F2004-17: Standard Test Method for Transformation Temperature of Nickel-Titanium Alloys by Thermal Analysis. Two other test methods for measuring strains and transformation temperatures under constant load or free recovery after prestraining have only recently been standardized—ASTM E3097: Standard Test Method for Mechanical Uniaxial Constant Force Thermal Cycling of SMAs (UCFTC) and ASTM E3098: Standard Test Method for Mechanical Uniaxial Pre-Strain and Thermal Free Recovery of SMAs (UPFR). These standards represent a critical step forward in producing reliable material property data for the use of these alloys in aeronautics and other commercial areas. However, no standard programs or software packages were previously available for postprocessing UCFTC- and UPFR-type test data to extract property data. Each organization that performed the testing analyzed data using its own custom manual methods, such as using a plot and a straight edge, spreadsheet plotting methods, or custom code routines, to extract the required values for strains, stresses, and transformation temperatures. SMAnalytics represents the first publicly available uniform software package for processing data generated using the DSC, UCFTC, and UPFR test methods, as well as many modifications of these methods, including loading in martensite versus austenite and performing multiple thermal cycles at stress. In doing so, it provides a tool for reducing potential error or variability in the measured values due to the precision of the technique used and person-to-person variability. It is also expected that this automated data-parsing tool can accelerate the data analysis phase of the test campaign, especially for large data files. This User’s Manual describes how the SMAnalytics software works and the method for its use.

Shape Memory Alloy↗

Mechanisms for Diurnal Variability of Global Tropical Rainfall Observed from TRMM

The behavior and various controls of diurnal variability in tropical-subtropical rainfall are investigated using Tropical Rainfall Measuring Mission (TRMM) precipitation measurements retrieved from the three level-2 TRMM standard profile algorithms for the 1998 annual cycle. Results show that diurnal variability characteristics of precipitation are consistent for all three algorithms, providing assurance that TRMM retrievals are producing consistent estimates of rainfall variability. As anticipated, most ocean areas exhibit more rainfall at night, while over most land areas, rainfall peaks during daytime; however, important exceptions are noted. The dominant feature of the oceanic diurnal cycle is a rainfall maximum in late-evening-early-morning (LE-EM) hours, while over land the dominant maximum occurs in the mid- to late afternoon (MLA). In conjunction with these maxima are pronounced seasonal variations of the diurnal amplitudes. Amplitude analysis shows that the diurnal pattern and its seasonal evolution are closely related to the rainfall accumulation pattern and its seasonal evolution. In addition, the horizontal distribution of diurnal variability indicates that for oceanic rainfall, there is a secondary MLA maximum coexisting with the LE-EM maximum at latitudes dominated by large-scale convergence and deep convection. Analogously, there is a preponderancy for an LE EM maximum over land coexisting with the stronger MLA maximum, although it is not evident that this secondary continental feature is closely associated with the large-scale circulation. Neither of the secondary maxima exhibit phase behavior that can be considered semidiurnal in nature. Diurnal rainfall variability over the ocean associated with large-scale convection is clearly an integral component of the general circulation. Phase analysis reveals differences in regional and seasonal features of the diurnal cycle, indicating that underlying forcing mechanisms differ from place to place. This is underscored by the appearance of secondary ocean maxima in the presence of large-scale convection, along with other important features. Among these, there are clear-cut differences between the diurnal variability of seasonal rainfall over the mid-Pacific and Indian Ocean Basins. The mid-Pacific exhibits double maxima in spring and winter but only LE-EM maxima in summer and autumn, while the Indian Ocean exhibits double maxima in spring and summer and only an LE-EM maximum in autumn and winter. There are also evident daytime maxima within the major large-scale marine stratocumulus regions off the west coasts of continents. The study concludes with a discussion concerning how the observational evidence either supports or repudiates possible forcing mechanisms that have been suggested to explain diurnal rainfall variability.

Yang, Song↗

Commerce Laboratory: Mission analysis payload integration study

A mission model which will accommodate commercial users and provide a basic data base for further mission planning is reported. The data bases to be developed are: (1) user requirements; (2) apparatus capabilities and availabilities; and (3) carrier capabilities. These data bases are synthesized in a trades and analysis phase along with the STS flight apparatus, and optimum missions will be identified. The completed work is reported. The user requirements data base was expanded to identify within the six scientific disciplines the areas of investigation, investigation categories and status, potential commercial application, interested parties, process, and experiment requirements. The scope of the apparatus data base was expanded to indicate apparatus status as to whether it is ground or flight equipment and, within both categories, whether the apparatus is: (1) existing, (2) under development, (3) planned, or (4) needed. Applications for the apparatus are listed. The methodology is revised in the areas of trades and analysis and mission planning. The carrier capabilities data base was updated and completed.

Bannister, T. C.↗

EDOS operations concept and development approach

The Earth Observing System (EOS) Data and Operations System (EDOS) is being developed by the National Aeronautics and Space Administration (NASA) Goddard Space Flight Center (GSFC) for the capture, level zero processing, distribution, and backup archiving of high speed telemetry data received from EOS spacecraft. All data received will conform to the Consultative Committee for Space Data Standards (CCSDS) recommendations. The major EDOS goals are to: (1) minimize EOS program costs to implement and operate EDOS; (2) respond effectively to EOS growth requirements; and (3) maintain compatibility with existing and enhanced versions of NASA institutional systems required to support EOS spacecraft. In order to meet these goals, the following objectives have been defined for EDOS: (1) standardize EDOS interfaces to maximize utility for future requirements; (2) emphasize life-cycle cost (LCC) considerations (rather than procurement costs) in making design decisions and meeting reliability, maintainability, availability (RMA) and upgradability requirements; (3) implement data-driven operations to the maximum extent possible to minimize staffing requirements and to maximize system responsiveness; (4) provide a system capable of simultaneously supporting multiple spacecraft, each in different phases of their life-cycles; (5) provide for technology insertion features to accommodate growth and future LCC reductions during the operations phase; and (6) provide a system that is sufficiently robust to accommodate incremental performance upgrades while supporting operations. Operations concept working group meetings were facilitated to help develop the EDOS operations concept. This provided a cohesive concept that met with approval of responsible personnel from the start. This approach not only speeded up the development process by reducing review cycles, it also provided a medium for generating good ideas that were immediately molded into feasible concepts. The operations concept was then used as a basis for the EDOS specification. When it was felt that concept elements did not support detailed requirements, the facilitator process was used to resolve discrepancies or to add new concept elements to support the specification. This method provided an ongoing revisal of the operations concept and prevented large revisions at the end of the requirement analysis phase of system development.

Knoble, G.↗

Beat-to-Beat Blood Pressure Monitor

This device provides non-invasive beat-to-beat blood pressure measurements and can be worn over the upper arm for prolonged durations. Phase and waveform analyses are performed on filtered proximal and distal photoplethysmographic (PPG) waveforms obtained from the brachial artery. The phase analysis is used primarily for the computation of the mean arterial pressure, while the waveform analysis is used primarily to obtain the pulse pressure. Real-time compliance estimate is used to refine both the mean arterial and pulse pressures to provide the beat-to-beat blood pressure measurement. This wearable physiological monitor can be used to continuously observe the beat-to-beat blood pressure (B3P). It can be used to monitor the effect of prolonged exposures to reduced gravitational environments and the effectiveness of various countermeasures. A number of researchers have used pulse wave velocity (PWV) of blood in the arteries to infer the beat-to-beat blood pressure. There has been documentation of relative success, but a device that is able to provide the required accuracy and repeatability has not yet been developed. It has been demonstrated that an accurate and repeatable blood pressure measurement can be obtained by measuring the phase change (e.g., phase velocity), amplitude change, and distortion of the PPG waveforms along the brachial artery. The approach is based on comparing the full PPG waveform between two points along the artery rather than measuring the time-of-flight. Minimizing the measurement separation and confining the measurement area to a single, well-defined artery allows the waveform to retain the general shape between the two measurement points. This allows signal processing of waveforms to determine the phase and amplitude changes. Photoplethysmography, which measures changes in arterial blood volume, is commonly used to obtain heart rate and blood oxygen saturation. The digitized PPG signals are used as inputs into the beat-to-beat blood pressure measurement algorithm.

Lee, Yong Jin↗

Beat-to-Beat Blood Pressure Monitor

This device provides non-invasive beat-to-beat blood pressure measurements and can be worn over the upper arm for prolonged durations. Phase and waveform analyses are performed on filtered proximal and distal photoplethysmographic (PPG) waveforms obtained from the brachial artery. The phase analysis is used primarily for the computation of the mean arterial pressure, while the waveform analysis is used primarily to obtain the pulse pressure. Real-time compliance estimate is used to refine both the mean arterial and pulse pressures to provide the beat-to-beat blood pressure measurement. This wearable physiological monitor can be used to continuously observe the beat-to-beat blood pressure (B3P). It can be used to monitor the effect of prolonged exposures to reduced gravitational environments and the effectiveness of various countermeasures. A number of researchers have used pulse wave velocity (PWV) of blood in the arteries to infer the beat-to-beat blood pressure. There has been documentation of relative success, but a device that is able to provide the required accuracy and repeatability has not yet been developed. It has been demonstrated that an accurate and repeatable blood pressure measurement can be obtained by measuring the phase change (e.g., phase velocity), amplitude change, and distortion of the PPG waveforms along the brachial artery. The approach is based on comparing the full PPG waveform between two points along the artery rather than measuring the time-of-flight. Minimizing the measurement separation and confining the measurement area to a single, well-defined artery allows the waveform to retain the general shape between the two measurement points. This allows signal processing of waveforms to determine the phase and amplitude changes.

Lee, Yong Jin↗

Formal methods demonstration project for space applications

The Space Shuttle program is cooperating in a pilot project to apply formal methods to live requirements analysis activities. As one of the larger ongoing shuttle Change Requests (CR's), the Global Positioning System (GPS) CR involves a significant upgrade to the Shuttle's navigation capability. Shuttles are to be outfitted with GPS receivers and the primary avionics software will be enhanced to accept GPS-provided positions and integrate them into navigation calculations. Prior to implementing the CR, requirements analysts at Loral Space Information Systems, the Shuttle software contractor, must scrutinize the CR to identify and resolve any requirements issues. We describe an ongoing task of the Formal Methods Demonstration Project for Space Applications whose goal is to find an effective way to use formal methods in the GPS CR requirements analysis phase. This phase is currently under way and a small team from NASA Langley, ViGYAN Inc. and Loral is now engaged in this task. Background on the GPS CR is provided and an overview of the hardware/software architecture is presented. We outline the approach being taken to formalize the requirements, only a subset of which is being attempted. The approach features the use of the PVS specification language to model 'principal functions', which are major units of Shuttle software. Conventional state machine techniques form the basis of our approach. Given this background, we present interim results based on a snapshot of work in progress. Samples of requirements specifications rendered in PVS are offered to illustration. We walk through a specification sketch for the principal function known as GPS Receiver State processing. Results to date are summarized and feedback from Loral requirements analysts is highlighted. Preliminary data is shown comparing issues detected by the formal methods team versus those detected using existing requirements analysis methods. We conclude by discussing our plan to complete the remaining activities of this task.

Divito, Ben L.↗

Tolerance analysis program

Digital computer program determines tolerance values of end to end signal chain or flow path, given preselected probability value. Technique is useful in the synthesis and analysis phases of subsystem design processes.

Watson, H. K.↗