SEARCH · Engineering Papers

Results for “CHECK”

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.

SourceResearch connectionFrom yearThrough year

Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.

At least 1,027 records · Page 57

All sources NASA NTRS DOE OSTI

NASA NTRS2004

Security Management and Safeguards Office

The Security Management and Safeguards Office at NASA is here to keep the people working in a safe environment. They also are here to protect the buildings and documents from sabotage, espionage, and theft. During the summer of 2004, I worked with Richard Soppet in Physical Security. While I was working here I helped out with updating the map that we currently use at NASA Glenn Research Center, attended meetings for homeland security, worked with the security guards and the locksmith. The meetings that I attended for homeland security talked about how to protect ourselves before something happened, they told us to always be on the guard and look for anything suspicious, and the different ways that terrorist groups operate. When I was with the security guards I was taught how to check someone into the base, showed how to use a radar gun, observed a security guard make a traffic stop for training and was with them while they patrolled NASA Glenn Research Center to make sure things were running smooth and no one was in danger. When I was with the lock smith I was taught how to make keys and locks for the employees here at NASA. The lock smith also showed me that he had inventory cabinets of files that show how many keys were out to people and who currently has access to the rooms that they keys were made for. I also helped out the open house at NASA Glenn Research Center. I helped out by showing the Army Reserves, and Brook Park's SWAT team where all the main events were going to take place a week before the open house was going to begin. Then during the open house I helped out by making sure people had there IDS, checked through there bags, and handed out a map to them that showed where the different activities were going to take place. So the main job here at NASA Glenn Research Center for the Security Management and Safeguards Office is to make sure that nothing is stolen, sabotaged, and espionaged. Also most importantly make sure all the employees here at NASA are in a safe environment.

Bewley, Nathaniel M.↗

NASA NTRS2000

Facility Designed and Built to Investigate the Combined Effects of Contaminant and Atomic Oxygen on a Light-Transmitting Surface

A need exists to investigate changes in the transparency of a light-transmitting surface during simultaneous exposure to a contaminant and an atomic oxygen (AO) flux. This mechanism may be responsible for the degradation of the light-transmitting surfaces of both photovoltaic cells and photodiodes currently in use on many low-Earth-orbit spacecraft. To address this need, researchers from the Electro-Physics Branch of the NASA Glenn Research Center at Lewis Field built such a test system within their AO beam facility. This facility produces an effective AO flux of 1.4 10(exp 16) atoms/sq cm/sec and contains a three-axis positioning system that provides the motion capability necessary for test operations. During testing, a target surface is held directly within the AO beam and close to two contaminant effusion cells. The effusion cells are shielded from the AO beam, and the outgassing contaminant is constrained to move across the target surface when heat is applied to either of the reservoirs. A light source is periodically moved over the target surface, and the transmitted light intensity is checked with a photodiode located below the target. This light source is also periodically checked with a separate photodiode, which is protected from contamination and AO exposure, to allow adjustments necessary to maintain a consistent light intensity.

Sechkar, Edward A.↗

NASA NTRS2005

STS-114: Mission Status/Post MMT Briefing

Paul Hill, STS-114 Lead Shuttle Flight Director, and Wayne Hill, Deputy Manager for the Space Shuttle Program and Chair of the Mission Management Team, discusses with the News media the complete operational success of the STS-114 Flight. Paul Hill mentioned the undocking and flight around did occur right on time that day, and checking out Discovery's entry system in preparation for de-orbit on Monday morning. He summarized the long list of flight operations and activities demonstrated like various forms of inspections on RCC and tile, gap fillers and blanket, imagery and photography, three space walks and re-supply. Wayne Hill talked about flight control check out, pre-entry plans, opportunity landing in Cape Carneval, Florida and back-up landing operations in Edwards Air Force Base, California. He emphasized the concern for crew and public safety during landing. News media focused their questions on public expectations and feelings about the return of the Shuttle to Earth, analysis of mechanical and technical failures, safety of dark or daylight landings.

Source record↗

NASA NTRS2005

Temperature Scale of Central Stars Planetary Nebulae

The goal of this project was to gain new insight into both the true temperatures of the central stars of planetary nebulae and their evolutionary histories. The temperature scale of the hottest central stars of planetary nebulae is poorly known. The temperature diagnostics available at visible wavelengths are not useful for these very hot stars, or suffer from as-yet unresolved systematic uncertainties. However, the combination of FUSE FUV spectra and HST NUV spectra allows precise temperature determinations by utilizing ionization balances of C III, C IV and O V, O VI lines. The sample comprises hot hydrogen-rich central stars covering the hottest phase of post-AGB evolution (T_eff greater than 70,000K). The spectra were analyzed with fully metal line blanketed NLTE model atmospheres in order to determine T_eff, surface gravity, and chemical composition. In addition to the temperature scale, the spectra help address the question of metal abundances at the surface of these stars. Depending on the particular star, the metal abundances are either dominated by ongoing diffusion processes or they originate from dredge-up phases during previous AGB evolution. The sample was selected so as to include objects that were expected to exhibit both processes, in order to assess their relative importance and to gain insight into the evolutionary history of the stars. The objects that show qualitatively a metal abundance pattern which points at dredge-up phases, can be used to quantitatively check against abundance predictions of stellar evolution theory. The other objects, where gravitational diffusion and radiative acceleration determine the photospheric metal abundances, will be used to check our NLTE models which for the first time include diffusion processes self-consistently.

Kruk, Jeffry↗

NASA NTRS2005

CORRELATED ERRORS IN EARTH POINTING MISSIONS

Two different Earth-pointing missions dealing with attitude control and dynamics changes illustrate concerns with correlated error sources and coupled effects that can occur. On the OrbView-2 (OV-2) spacecraft, the assumption of a nearly-inertially-fixed momentum axis was called into question when a residual dipole bias apparently changed magnitude. The possibility that alignment adjustments and/or sensor calibration errors may compensate for actual motions of the spacecraft is discussed, and uncertainties in the dynamics are considered. Particular consideration is given to basic orbit frequency and twice orbit frequency effects and their high correlation over the short science observation data span. On the Tropical Rainfall Measuring Mission (TRMM) spacecraft, the switch to a contingency Kalman filter control mode created changes in the pointing error patterns. Results from independent checks on the TRMM attitude using science instrument data are reported, and bias shifts and error correlations are discussed. Various orbit frequency effects are common with the flight geometry for Earth pointing instruments. In both dual-spin momentum stabilized spacecraft (like OV-2) and three axis stabilized spacecraft with gyros (like TRMM under Kalman filter control), changes in the initial attitude state propagate into orbit frequency variations in attitude and some sensor measurements. At the same time, orbit frequency measurement effects can arise from dynamics assumptions, environment variations, attitude sensor calibrations, or ephemeris errors. Also, constant environment torques for dual spin spacecraft have similar effects to gyro biases on three axis stabilized spacecraft, effectively shifting the one-revolution-per-orbit (1-RPO) body rotation axis. Highly correlated effects can create a risk for estimation errors particularly when a mission switches an operating mode or changes its normal flight environment. Some error effects will not be obvious from attitude sensor measurement residuals, so some independent checks using imaging sensors are essential and derived science instrument attitude measurements can prove quite valuable in assessing the attitude accuracy.

Steve Bilanow↗

NASA NTRS2005

Lessons Learned in the Livingstone 2 on Earth Observing One Flight Experiment

The Livingstone 2 (L2) model-based diagnosis software is a reusable diagnostic tool for monitoring complex systems. In 2004, L2 was integrated with the JPL Autonomous Sciencecraft Experiment (ASE) and deployed on-board Goddard's Earth Observing One (EO-1) remote sensing satellite, to monitor and diagnose the EO-1 space science instruments and imaging sequence. This paper reports on lessons learned from this flight experiment. The goals for this experiment, including validation of minimum success criteria and of a series of diagnostic scenarios, have all been successfully net. Long-term operations in space are on-going, as a test of the maturity of the system, with L2 performance remaining flawless. L2 has demonstrated the ability to track the state of the system during nominal operations, detect simulated abnormalities in operations and isolate failures to their root cause fault. Specific advances demonstrated include diagnosis of ambiguity groups rather than a single fault candidate; hypothesis revision given new sensor evidence about the state of the system; and the capability to check for faults in a dynamic system without having to wait until the system is quiescent. The major benefits of this advanced health management technology are to increase mission duration and reliability through intelligent fault protection, and robust autonomous operations with reduced dependency on supervisory operations from Earth. The work-load for operators will be reduced by telemetry of processed state-of-health information rather than raw data. The long-term vision is that of making diagnosis available to the onboard planner or executive, allowing autonomy software to re-plan in order to work around known component failures. For a system that is expected to evolve substantially over its lifetime, as for the International Space Station, the model-based approach has definite advantages over rule-based expert systems and limit-checking fault protection systems, as these do not scale well. The model-based approach facilitates reuse of the L2 diagnostic software; only the model of the system to be diagnosed and telemetry monitoring software has to be rebuilt for a new system or expanded for a growing system. The hierarchical L2 model supports modularity and expendability, and as such is suitable solution for integrated system health management as envisioned for systems-of-systems.

Hayden, Sandra C.↗

NASA NTRS2006

Formal Verification of the Runway Safety Monitor

The Runway Safety Monitor (RSM) designed by Lockheed Martin is part of NASA's effort to reduce runway accidents. We developed a Petri net model of the RSM protocol and used the model checking functions of our tool SMART to investigate a number of safety properties in RSM. To mitigate the impact of state-space explosion, we built a highly discretized model of the system, obtained by partitioning the monitored runway zone into a grid of smaller volumes and by considering scenarios involving only two aircraft. The model also assumes that there are no communication failures, such as bad input from radar or lack of incoming data, thus it relies on a consistent view of reality by all participants. In spite of these simplifications, we were able to expose potential problems in the RSM conceptual design. Our findings were forwarded to the design engineers, who undertook corrective action. Additionally, the results stress the efficiency attained by the new model checking algorithms implemented in SMART, and demonstrate their applicability to real-world systems.

Siminiceanu, Radu↗

NASA NTRS2005

Assume-Guarantee Testing

Verification techniques for component-based systems should ideally be able to predict properties of the assembled system through analysis of individual components before assembly. This work introduces such a modular technique in the context of testing. Assume-guarantee testing relies on the (automated) decomposition of key system-level requirements into local component requirements at design time. Developers can verify the local requirements by checking components in isolation; failed checks may indicate violations of system requirements, while valid traces from different components compose via the assume-guarantee proof rule to potentially provide system coverage. These local requirements also form the foundation of a technique for efficient predictive testing of assembled systems: given a correct system run, this technique can predict violations by alternative system runs without constructing those runs. We discuss the application of our approach to testing a multi-threaded NASA application, where we treat threads as components.

Blundell, Colin↗

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 NTRS2006

STS-121/Discovery: Mission Status Briefing

Tony Ceccacci (Space Shuttle Flight Director) discussed the following activities: starboard survey, two space rendezvous, nose cap survey, timelines. Rick LaBrode (International Space Station Flight Director) discussed the following activities: preparation for Shuttle Docking, leak checks, pressurization checks, final configuration for cameras, setting up the internal wireless information system, accelerometers, etc. Then the floor was open to questions from the press.

Source record↗

NASA NTRS2002

Science opportunity analyzer - a multi-mission tool for planning

For many years the diverse scientific community that supports JPL's wide variety ofinterplanetary space missions has needed a tool in order to plan and develop their experiments. The tool needs to be easily adapted to various mission types and portable to the user community. The Science Opportunity Analyzer, SOA, now in its third year of development, is intended to meet this need. SOA is a java-based application that is designed to enable scientists to identify and analyze opportunities for science observations from spacecraft. It differs from other planning tools in that it does not require an in-depth knowledge of the spacecraft command system or operation modes to begin high level planning. Users can, however, develop increasingly detailed levels of design. SOA consists of six major functions: Opportunity Search, Visualization, Observation Design, Constraint Checking, Data Output and Communications. Opportunity Search is a GUI driven interface to existing search engines that can be used to identify times when a spacecraft is in a specific geometrical relationship with other bodies in the solar system. This function can be used for advanced mission planning as well as for making last minute adjustments to mission sequences in response to trajectory modifications. Visualization is a key aspect of SOA. The user can view observation opportunities in either a 3D representation or as a 2D map projection. The user is given extensive flexibility to customize what is displayed in the view. Observation Design allows the user to orient the spacecraft and visualize the projection of the instrument field of view for that orientation using the same views as Opportunity Search. Constraint Checking is provided to validate various geometrical and physical aspects of an observation design. The user has the ability to easily create custom rules or to use official project-generated flight rules. This capability may also allow scientists to easily impact the cost to science if flight rule changes occur. Data Output generates information based on the spacecraft's trajectory, opportunity search results or based on a created observation. The data can be viewed either in tabular format or as a graph. Finally, SOA is unique in that it is designed to be able to communicate with a variety of existing planning and sequencing tools. From the very beginning SOA was designed with the user in mind. Extensive surveys of the potential user community were conducted in order to develop the software requirements. Throughout the development period, close ties have been maintained with the science community to insure that the tool maintains its user focus. Although development is still in its early stages, SOA is already developing a user community on the Cassini project, which is depending on this tool for their science planning. There are other tools at JPL that do various pieces of what SOA can do; however, there is no other tool which combines all these functions and presents them to the user in such a convenient, cohesive, and easy to use fashion.

SOA science planning mission operations sequence s↗

NASA NTRS2001

Reducing software security risk through an integrated approach

The fourth quarter delivery, FY'01 for this RTOP is a Property-Based Testing (PBT), 'Tester's Assistant' (TA). The TA tool is to be used to check compiled and pre-compiled code for potential security weaknesses that could be exploited by hackers. The TA Instrumenter, implemented mostly in C++ (with a small part in Java), parsels two types of files: Java and TASPEC. Security properties to be checked are written in TASPEC. The Instrumenter is used in conjunction with the Tester's Assistant Specification (TASpec)execution monitor to verify the security properties of a given program.

software security↗

NASA NTRS1978

Bank Terminals

In the photo, employees of the UAB Bank, Knoxville, Tennessee, are using Teller Transaction Terminals manufactured by SCI Systems, Inc., Huntsville, Alabama, an electronics firm which has worked on a number of space projects under contract with NASA. The terminals are part of an advanced, computerized financial transaction system that offers high efficiency in bank operations. The key to the system's efficiency is a "multiplexing" technique developed for NASA's Space Shuttle. Multiplexing is simultaneous transmission of large amounts of data over a single transmission link at very high rates of speed. In the banking application, a small multiplex "data bus" interconnects all the terminals and a central computer which stores information on clients' accounts. The data bus replaces the maze-of wiring that would be needed to connect each terminal separately and it affords greater speed in recording transactions. The SCI system offers banks real-time data management through constant updating of the central computer. For example, a check is immediately cancelled at the teller's terminal and the computer is simultaneously advised of the transaction; under other methods, the check would be cancelled and the transaction recorded at the close of business. Teller checkout at the end of the day, conventionally a time-consuming matter of processing paper, can be accomplished in minutes by calling up a summary of the day's transactions. SCI manufactures other types of terminals for use in the system, such as an administrative terminal that provides an immediate printout of a client's account, and another for printing and recording savings account deposits and withdrawals. SCI systems have been installed in several banks in Tennessee, Arizona, and Oregon and additional installations are scheduled this year.

Source record↗

NASA NTRS1979

Blood Pressure Checker

An estimated 30 million people in the United States have high blood pressure, or hypertension. But a great many of them are unaware of it because hypertension, in its initial stages, displays no symptoms. Thus, the simply-operated blood pressure checking devices now widely located in public places are useful health aids. The one pictured above, called -Medimax 30, is a direct spinoff from NASA technology developed to monitor astronauts in space. For manned space flights, NASA wanted a compact, highly-reliable, extremely accurate method of checking astronauts' blood pressure without the need for a physician's interpretive skill. NASA's Johnson Space Center and Technology, Inc., a contractor, developed an electronic sound processor that automatically analyzes blood flow sounds to get both systolic (contracting arteries) and diastolic (expanding arteries) blood pressure measurements. NASA granted a patent license for this technology to Advanced Life Sciences, Inc., New York City, manufacturers of Medimax 30.

Source record↗

NASA NTRS2007

Mini-Survey of SDSS OIII AGN with Swift

There is a common wisdom that every massive galaxy has a massive block hole. However, most of these objects either are not radiating or until recently have been very difficult to detect. The Sloan Digital Sky Survey (SDSS) data, based on the [OIII] line indicate that perhaps up to 20% of all galaxies may be classified as AGN a surprising result that must be checked with independent data. X-ray surveys have revealed that hard X-ray selected AGN show a strong luminosity dependent evolution and their luminosity function (LF) shows a dramatic break towards low Lx (at all z). This is seen for all types of AGN, but is stronger for the broad-line objects. In sharp contrast, the local LF of (optically-selected samples) shows no such break and no differences between narrow and broad-line objects. Assuming both hard X-ray and [OIII] emission are fair indicators of AGN activity, it is important to understand this discrepancy. We present here the results of a mini-survey done with Swift on a selected sample of SDSS selected AGN. The objects have been sampled at different L([OIII]) to check the relation with the Lx observed with Swift.

Angelina, Lorella↗

NASA NTRS2007

DTED Integrity Monitoring Using Differential GPS and Radar Altimeter

This paper discusses a real-time digital terrain elevation data (DTED) integrity monitor for Civil Aviation applications. Providing pilots with Synthetic Vision (SV) displays containing terrain information has the potential to improve flight safety by improving situational awareness and thereby reducing the likelihood of Controlled Flight Into Terrain (CFIT). Utilization of the DTED for flight-critical terrain-displays, however, requires a DTED integrity check and timely integrity alerts to the pilots in those cases where DTED may provide hazardous misleading information. The discussed integrity monitor checks the consistency between the sensed terrain profile as computed from DGPS and radar altimeter data and the terrain profile as given by the DTED. Probability of agreement between these two profiles is used to monitor the DTED integrity. A case study to verify the integrity monitor#s performance is presented based on data collected during flight testing performed by NASA at Asheville, NC.

Young, Steve↗

NASA NTRS2006

The Impact of the AIRS Spatial Response on Channel-to-Channel and Multi-Instrument Data Analyses

The Atmospheric Infrared Sounder (AIRS) measures the infrared spectrum in 2378 channels between 3.7 and 15.4 microns with a very high spectral resolution of approximately 1200. AIRS footprints are approximately 1.1 by 0.6 degrees. Because AIRS is a grating spectrometer, each channel has a unique spatial response. Image rotation due to the scan mirror causes these spatial responses to rotate. In effect, each channel has 90 spatial responses, one for each scene footprint in the scan line. Although the spatial response for most channels is symmetric and nearly uniform, some channels have significantly asymmetric response. This paper reviews and describes the prelaunch measurements that characterized the spatial response functions. Next, it describes the conversion of the ground-based results into footprint-specific response functions valid in flight. Then we describe the postlaunch validation of the measurements, including centroid location, axes orientations, and a check on the full two-dimensional response functions. This latter check involves comparison of AIRS data with that of the Moderate Resolution Imaging Spectrometer (MODIS), which flies on the same platform as AIRS. An important result is that AIRS/MODIS brightness temperature comparisons are significantly improved (scatter reduced) when the AIRS spatial response is explicitly taken into account. Finally, a status report is given on attempts to fully verify the prelaunch measurements by deriving the AIRS spatial response from flight data alone.

preflight calibaration↗

NASA NTRS2007

Spectral Retrieval of Latent Heating Profiles from TRMM PR data: Moistening Estimates over Tropical Ocean Regions - Part 3

The global hydrological cycle is central to the Earth's climate system, with rainfall and the physics of precipitation formation acting as the key links in the cycle. Two-thirds of global rainfall occurs in the tropics with the associated latent heating (LH) accounting for threefourths of the total heat energy available to the Earth's atmosphere. In the last decade, it has been established that standard products of LH from satellite measurements, particularly TRMM measurements, would be a valuable resource for scientific research and applications. Such products would enable new insights and investigations concerning the complexities of convection system life cycles, the diabatic heating controls and feedbacks related to rne-sosynoptic circulations and their forecasting, the relationship of tropical patterns of LH to the global circulation and climate, and strategies for improving cloud parameterizations In environmental prediction models. However, the LH and water vapor profile or budget (called the apparent moisture sink, or Q2) is closely related. This paper presented the development of an algorithm for retrieving Q2 using 'TRMM precipitation radar. Since there is no direct measurement of LH and Q2, the validation of algorithm usually applies a method called consistency check. Consistency checking involving Cloud Resolving Model (CRM)-generated LH and 42 profiles and algorithm-reconstructed is a useful step in evaluating the performance of a given algorithm. In this process, the CRM simulation of a time-dependent precipitation process (multiple-day time series) is used to obtain the required input parameters for a given algorithm. The algorithm is then used to "~econsti-LKt~h"e heating and moisture profiles that the CRM simulation originally produced, and finally both sets of conformal estimates (model and algorithm) are compared each other. The results indicate that discrepancies between the reconstructed and CM-simulated profiles for Q2, especially at low levels, are larger than those for latent heat. Larger discrepancies in Q2 at low levels are due to moistening for non-precipitating region that algorithm cannot reconstruct. Nevertheless, the algorithm-reconstructed total Q2 profiles are in good agreement with the CRM-simulated ones.

Shige, S.↗