Search NASA⌕ Search

SEARCH · Search NASA

Results for “Case Reports”

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 271 records · Page 15
All sourcesNASA NTRSDOE OSTI
NASA NTRS2010

Obtaining Valid Safety Data for Software Safety Measurement and Process Improvement

We report on a preliminary case study to examine software safety risk in the early design phase of the NASA Constellation spaceflight program. Our goal is to provide NASA quality assurance managers with information regarding the ongoing state of software safety across the program. We examined 154 hazard reports created during the preliminary design phase of three major flight hardware systems within the Constellation program. Our purpose was two-fold: 1) to quantify the relative importance of software with respect to system safety; and 2) to identify potential risks due to incorrect application of the safety process, deficiencies in the safety process, or the lack of a defined process. One early outcome of this work was to show that there are structural deficiencies in collecting valid safety data that make software safety different from hardware safety. In our conclusions we present some of these deficiencies.

Basili, Victor r.↗
NASA NTRS2003

Practical Formal Verification of Diagnosability of Large Models via Symbolic Model Checking

This document reports on the activities carried out during a four-week visit of Roberto Cavada at the NASA Ames Research Center. The main goal was to test the practical applicability of the framework proposed, where a diagnosability problem is reduced to a Symbolic Model Checking problem. Section 2 contains a brief explanation of major techniques currently used in Symbolic Model Checking, and how these techniques can be tuned in order to obtain good performances when using Model Checking tools. Diagnosability is performed on large and structured models of real plants. Section 3 describes how these plants are modeled, and how models can be simplified to improve the performance of Symbolic Model Checkers. Section 4 reports scalability results. Three test cases are briefly presented, and several parameters and techniques have been applied on those test cases in order to produce comparison tables. Furthermore, comparison between several Model Checkers is reported. Section 5 summarizes the application of diagnosability verification to a real application. Several properties have been tested, and results have been highlighted. Finally, section 6 draws some conclusions, and outlines future lines of research.

Cavada, Roberto↗
NASA NTRS2007

Automated Detection of Events of Scientific Interest

A report presents a slightly different perspective of the subject matter of Fusing Symbolic and Numerical Diagnostic Computations (NPO-42512), which appears elsewhere in this issue of NASA Tech Briefs. Briefly, the subject matter is the X-2000 Anomaly Detection Language, which is a developmental computing language for fusing two diagnostic computer programs one implementing a numerical analysis method, the other implementing a symbolic analysis method into a unified event-based decision analysis software system for real-time detection of events. In the case of the cited companion NASA Tech Briefs article, the contemplated events that one seeks to detect would be primarily failures or other changes that could adversely affect the safety or success of a spacecraft mission. In the case of the instant report, the events to be detected could also include natural phenomena that could be of scientific interest. Hence, the use of X- 2000 Anomaly Detection Language could contribute to a capability for automated, coordinated use of multiple sensors and sensor-output-data-processing hardware and software to effect opportunistic collection and analysis of scientific data.

James, Mark↗
NASA NTRS1993

On-line upgrade of program modules using AdaPT

One purpose of our research is the investigation of the effectiveness and expressiveness of AdaPT, a set of language extensions to Ada 83, for distributed systems. As a part of that effort, we are now investigating the subject of replacing, e.g. upgrading, software modules while the software system remains in operation. The AdaPT language extensions provide a good basis for this investigation for several reasons: they include the concept of specific, self-contained program modules which can be manipulated; support for program configuration is included in the language; and although the discussion will be in terms of the AdaPT language, the AdaPT to Ada 83 conversion methodology being developed as another part of this project will provide a basis for the application of our findings to Ada 83 and Ada 9X systems. The purpose of this investigation is to explore the basic mechanisms of the replacement process. With this purpose in mind, we will avoid including issues whose presence would obscure these basic mechanisms by introducing additional, unrelated concerns. Thus, while replacement in the presence of real-time deadlines, heterogeneous systems, and unreliable networks is certainly a topic of interest, we will first gain an understanding of the basic processes in the absence of such concerns. The extension of the replacement process to more complex situations can be made later. A previous report established an overview of the module replacement problem, a taxonomy of the various aspects of the replacement process, and a solution to one case in the replacement taxonomy. This report provides solutions to additional cases in the replacement process taxonomy: replacement of partitions with state and replacement of nodes. The solutions presented here establish the basic principles for module replacement. Extension of these solutions to other more complicated cases in the replacement taxonomy is direct, though requiring substantial work beyond the available funding.

Waldrop, Raymond S.↗
NASA NTRS1998

Nanoscale Etching and Indentation of Silicon Surfaces with Carbon Nanotubes

The possibility of nanolithography of silicon and germanium surfaces with bare carbon nanotube tips of scanning probe microscopy devices is considered with large scale classical molecular dynamics (MD) simulations employing Tersoff's reactive many-body potential for heteroatomic C/Si/Ge system. Lithography plays a key role in semiconductor manufacturing, and it is expected that future molecular and quantum electronic devices will be fabricated with nanolithographic and nanodeposition techniques. Carbon nanotubes, rolled up sheets of graphene made of carbon, are excellent candidates for use in nanolithography because they are extremely strong along axial direction and yet extremely elastic along radial direction. In the simulations, the interaction of a carbon nanotube tip with silicon surfaces is explored in two regimes. In the first scenario, the nanotubes barely touch the surface, while in the second they are pushed into the surface to make "nano holes". The first - gentle scenario mimics the nanotube-surface chemical reaction induced by the vertical mechanical manipulation of the nanotube. The second -digging - scenario intends to study the indentation profiles. The following results are reported in the two cases. In the first regime, depending on the surface impact site, two major outcomes outcomes are the selective removal of either a single surface atom or a surface dimer off the silicon surface. In the second regime, the indentation of a silicon substrate by the nanotube is observed. Upon the nanotube withdrawal, several surface silicon atoms are adsorbed at the tip of the nanotube causing significant rearrangements of atoms comprising the surface layer of the silicon substrate. The results are explained in terms of relative strength of C-C, C-Si, and Si-Si bonds. The proposed method is very robust and does not require applied voltage between the nanotube tips and the surface. The implications of the reported controllable etching and hole-creating for nanolithography on silicon are discussed in detail.

Dzegilenko, Fedor N.↗
NASA NTRS2011

Simulation of Benchmark Cases with the Terminal Area Simulation System (TASS)

The hydrodynamic core of the Terminal Area Simulation System (TASS) is evaluated against different benchmark cases. In the absence of closed form solutions for the equations governing atmospheric flows, the models are usually evaluated against idealized test cases. Over the years, various authors have suggested a suite of these idealized cases which have become standards for testing and evaluating the dynamics and thermodynamics of atmospheric flow models. In this paper, simulations of three such cases are described. In addition, the TASS model is evaluated against a test case that uses an exact solution of the Navier-Stokes equations. The TASS results are compared against previously reported simulations of these benchmark cases in the literature. It is demonstrated that the TASS model is highly accurate, stable and robust.

Ahmad, Nashat N.↗
NASA NTRS2011

Simulation of Benchmark Cases with the Terminal Area Simulation System (TASS)

The hydrodynamic core of the Terminal Area Simulation System (TASS) is evaluated against different benchmark cases. In the absence of closed form solutions for the equations governing atmospheric flows, the models are usually evaluated against idealized test cases. Over the years, various authors have suggested a suite of these idealized cases which have become standards for testing and evaluating the dynamics and thermodynamics of atmospheric flow models. In this paper, simulations of three such cases are described. In addition, the TASS model is evaluated against a test case that uses an exact solution of the Navier-Stokes equations. The TASS results are compared against previously reported simulations of these banchmark cases in the literature. It is demonstrated that the TASS model is highly accurate, stable and robust.

Ahmad, Nash'at↗
NASA NTRS1974

Diurnal and seasonal trends in the incidence of Sudden Commencements (SC) and Sudden Impulses SI

Based on world data for the period 1 January 1955 to 31 December 1968, reports of 894 SC cases and 2152 SI cases were collected. A study was made of the diurnal and seasonal trends in the incidence of their appearances. It is shown that the diurnal trend is pronounced for all events with a maximum at (06-8)h universal time. The diurnal trend for SC in the resultant period is more pronounced. The seasonal trend in incidence of appearances of SC and SI is absent. Thus, geomagnetic disturbances of both SC and SI are monitored by world time. These results lead to the conclusion that the presence or absence of SC and SI during geomagnetic storms is determined not only by the nature of the corpuscular flux, the presence of shock waves and tangential discontinuities, but also by purely terrestrial conditions.

Nesmyanovich, E. I.↗
NASA NTRS1976

Denitrogenation interruptions with air

A 3-h denitrogenation period at ground-level pressure with 95% O2-5% N2, with an air interruption of 5 min or more and matched with additional denitrogenation time equal to the interruption, will later result occasionally in altitude decompression sickness ('bends') during a 2-h decompression exposure at 3.8 psia (10,058 m equivalent) with 92% O2- 8% N2. Thus the equal time or 'mirror-image' make-up time for loss of denitrogenation did not prevent bends 7 times in 17 subjects during 71 exposures with air interruptions; on the other hand, no case of bends was reported after uninterrupted denitrogenation periods. Nitrogen-loading during the interruptive period is believed to resupply the bends sites with additional nitrogen, which re-establishes conditions favoring a return to a high incidence of bends.

Cooke, J. P.↗
NASA NTRS1979

VLA observations of stellar planetary nebulae

Coordinates, dimensions, 4885-MHz flux densities, and brightness temperatures of K3-2, NGC 6833, Ps 1, II 5117, Me 2-2, Hb 12, Vy 1-1, and M1-5 are reported. In two other cases, H3-29 and H3-75, confused extended structure was detected in which the nebula could not be identified with certainty. He 2-467, M1-2, and Peterson's H-alpha object in M15 were also included in the observations but not detected with an upper limit of less than 10 mJy. The observations are compared with some of the previous optical and radio data, such as log S(H-beta). Distances are computed from the present data with standard assumptions. Corresponding linear radii range below 0.1 pc, among the smallest in previous distributions of radius.

Johnson, H. M.↗
NASA NTRS1979

Mars gravity field model from Mariner 9, Viking 1 and 2 data

Earth artificial satellite methods are extended by means of two way Doppler data, to the computation of very accurate orbiter trajectories around another planet, and to the determination of its gravity field. It is reported that in the case of Mars, all observations collected by 10 Deep Space Network stations located at three different sites during the Mariner 9 and Viking 1 and 2 missions have been processed and used to compute a full twelfth degree and order spherical harmonic model of the gravitational potential. It is concluded that the aeroid derived from the model shows very large correlations with the Martian topography, raising questions as to the deep structure of the planet which cannot be interpreted on the basis of topographic and isostatic considerations alone.

Balmino, G.↗
NASA NTRS1986

Optimum Cyclic Redundancy Codes for Noisy Channels

Capabilities and limitations of cyclic redundancy codes (CRC's) for detecting transmission errors in data sent over relatively noisy channels (e.g., voice-grade telephone lines or very-high-density storage media) discussed in 16-page report. Due to prevalent use of bytes in multiples of 8 bits data transmission, report primarily concerned with cases in which both block length and number of redundant bits (check bits for use in error detection) included in each block are multiples of 8 bits.

Posner, E. C.↗
NASA NTRS1985

Surfaces of Asteroids and Cometary Nuclei

The types of landforms and processes that may exist on cometary nuclei and asteroidal surfaces are investigated. Acknowledging that some asteroids may be cometary nuclei in disguise, asteroids are treated in this report as a simpler case than comets, owing to their more limited response to the state environment. Larger bodies (D 100 km) will not be discussed, even though they are recognized to be extremely important. This limitation permits only processes depending on exogenic phenomena to be considered (excluding processes such as volcanism on Vesta, for example), thus focusing discussion on the more unique aspects of these bodies, namely, their size and number.

Malin, M. C.↗
NASA NTRS1985

Whistler-triggered VLF noise bursts observed on the DE-1 satellite and simultaneously at Antarctic ground stations

Simultaneous observations of whistler-triggered very low-frequency noise bursts on the ground at Anarctic stations, Halley and Siple, and on the high-altitude satellite DE-1 are reported. Results of a case study from June 25, 1982 in which the satellite data were recorded near 25 deg south magnetic latitude and the L = 4.7 magnetic shell, are presented. Analysis indicates that the chorus bursts that are triggered in whistler ducts travel downwards in the ducts to low altitudes in the ionosphere, and that propagation to DE-1 is by upward reflection into a nonducted mode. A means of estimating the propagation characteristics of the wave bursts is provided by comparisons of nonducted signals from the Siple transmitter and discrete periodic emissions. The ducted-nonducted mode conversion process is a mechanism for the large-scale spreading into the magnetosphere of coherent whistler-mode wave energy which is generated, amplified, or triggered in small localized ducts. The DE-1 data show that a strong interaction exists between whistler-triggered noise bursts and prevailing hiss levels.

Smith, A. J.↗
NASA NTRS1986

A numerical study of separation on a spheroid at incidence

The three-dimensional incompressible, steady and laminar flow field around a prolate spheroid at incidence is considered. The parabolized Navier-Stokes equations are solved numerically. The method can handle vortex types as well as bubble type flow separation because the pressure is one of the dependent variables. Here, the distribution of the skin friction is reported for two test cases. The first test case is a prolate spheroid of aspect ratio of 4:1 at 6 degrees incidence and Reynolds number of 1 million (based on half the major axis). The second case is a spheroid with a 6:1 aspect ratio at 10 degrees incidence and Reynolds number of 0.8 x 1 million. The properties of the flow field near the body are discussed on the basis of the pattern of the skin friction lines, and the shape of the separation lines. Favorable agreement with experimental results is obtained.

Rosenfeld, M.↗
NASA NTRS1986

Magellan spacecraft - Attitude determination, updates and gyro parameter calibration

A detailed mathematical algorithm for onboard autonomous attitude determination and parameter calibration in the Magellan Venus-orbiting spacecraft has been developed, and its performance has been estimated. This algorithm uses a contamination reduction attitude profile and retractive star scan maneuvers to minimize the interparameter error contamination and to maximize the parameter observability. The details of the underlying theory and strategy are described, and an extensive performance analysis with worst-case parameter errors is reported which indicates that the in-flight attitude determination unit/parameter calibration (ADU/PC) algorithm will be able to meet all the different mission phase requirements with comfortable margins. The problem of nonexact mapping retrace due to uncertain performance of control authority is addressed, and its lack of impact on the system performance is demonstrated.

Huang, W. H.↗
NASA NTRS1988

A numerical study of ENO and TVD schemes for shock capturing

The numerical performance of a second-order upwind-based total variation diminishing (TVD) scheme and that of a uniform second-order essentially non-oscillatory (ENO) scheme for shock capturing are compared. The TVD scheme used is a modified version of Liou, using the flux-difference splitting (FDS) of Roe and his superbee function as the limiter. The construction of the basic ENO scheme is based on Harten, Engquist, Osher, and Chakravarthy, and the 2-D extensions are obtained by using a Strang-type of fractional-step time-splitting method. Numerical results presented include both steady and unsteady, 1-D and 2-D calculations. All the chosen test problems have exact solutions so that numerical performance can be measured by comparing the computer results to them. For 1-D calculations, the standard shock-tube problems of Sod and Lax are chosen. A very strong shock-tube problem, with the initial density ratio of 400 to 1 and pressure ratio of 500 to 1, is also used to study the behavior of the two schemes. For 2-D calculations, the shock wave reflection problems are adopted for testing. The cases presented in this report include flows with Mach numbers of 2.9, 5.0, and 10.0.

Chang, Shih-Hung↗