SEARCH · Search NASA

Results for “Formal 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.

SourceResearch connectionFrom yearThrough year

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

At least 757 records · Page 42

All sources NASA NTRS DOE OSTI

NASA NTRS2018

Exoplanet Biosignatures: Future Directions

We introduce a Bayesian method for guiding future directions for detection of life on exoplanets. We describe empirical and theoretical work necessary to place constraints on the relevant likelihoods, including those emerging from better understanding stellar environment, planetary climate and geophysics, geochemical cycling, the universalities of physics and chemistry, the contingencies of evolutionary history, the properties of life as an emergent complex system, and the mechanisms driving the emergence of life. We provide examples for how the Bayesian formalism could guide future search strategies, including determining observations to prioritize or deciding between targeted searches or larger lower resolution surveys to generate ensemble statistics and address how a Bayesian methodology could constrain the prior probability of life with or without a positive detection.

Bayesian analysis↗

NASA NTRS1975

Nonlinear behavior of acoustic waves in combustion chambers

The nonlinear growth and limiting amplitude of acoustic waves in a combustion chamber are considered. A formal framework is provided within which practical problems can be treated with a minimum of effort and expense. The general conservation equations were expanded in two small parameters, one characterizing the mean flow field and one measuring the amplitude of oscillations, and then combined to yield a nonlinear inhomogeneous wave equation. The unsteady pressure and velocity fields were expressed as syntheses of the normal modes of the chamber, but with unknown time-varying amplitudes. This procedure yielded a representation of a general unsteady field as a system of coupled nonlinear oscillators. The system of nonlinear equations was treated by the method of averaging to produce a set of coupled nonlinear first order differential equations for the amplitudes and phases of the modes. The analysis is applicable to any combustion chamber. The most interesting applications are probably to solid rockets, liquid rockets, or thrust augmentors on jet engines.

Culick, F. E. C.↗

NASA NTRS2018

Range Flight Safety Requirements

The purpose of this NASA Technical Standard is to provide the technical requirements for the NPR 8715.5, Range Flight Safety Program, in regards to protection of the public, the NASA workforce, and property as it pertains to risk analysis, Flight Safety Systems (FSS), and range flight operations. This standard is approved for use by NASA Headquarters and NASA Centers, including Component Facilities and Technical and Service Support Centers, and may be cited in contract, program, and other Agency documents as a technical requirement. This standard may also apply to the Jet Propulsion Laboratory or to other contractors, grant recipients, or parties to agreements to the extent specified or referenced in their contracts, grants, or agreements, when these organizations conduct or participate in missions that involve range flight operations as defined by NPR 8715.5.1.2.2 In this standard, all mandatory actions (i.e., requirements) are denoted by statements containing the term “shall.”1.3 TailoringTailoring of this standard for application to a specific program or project shall be formally documented as part of program or project requirements and approved by the responsible Technical Authority in accordance with NPR 8715.3, NASA General Safety Program Requirements.

Flight↗

NASA NTRS1993

Criteria for assessing problem solving and decision making in complex environments

Training crews to cope with unanticipated problems in high-risk, high-stress environments requires models of effective problem solving and decision making. Existing decision theories use the criteria of logical consistency and mathematical optimality to evaluate decision quality. While these approaches are useful under some circumstances, the assumptions underlying these models frequently are not met in dynamic time-pressured operational environments. Also, applying formal decision models is both labor and time intensive, a luxury often lacking in operational environments. Alternate approaches and criteria are needed. Given that operational problem solving and decision making are embedded in ongoing tasks, evaluation criteria must address the relation between those activities and satisfaction of broader task goals. Effectiveness and efficiency become relevant for judging reasoning performance in operational environments. New questions must be addressed: What is the relation between the quality of decisions and overall performance by crews engaged in critical high risk tasks? Are different strategies most effective for different types of decisions? How can various decision types be characterized? A preliminary model of decision types found in air transport environments will be described along with a preliminary performance model based on an analysis of 30 flight crews. The performance analysis examined behaviors that distinguish more and less effective crews (based on performance errors). Implications for training and system design will be discussed.

Orasanu, Judith↗

NASA NTRS2006

Hard and Soft Constraints in Reliability-Based Design Optimization

This paper proposes a framework for the analysis and design optimization of models subject to parametric uncertainty where design requirements in the form of inequality constraints are present. Emphasis is given to uncertainty models prescribed by norm bounded perturbations from a nominal parameter value and by sets of componentwise bounded uncertain variables. These models, which often arise in engineering problems, allow for a sharp mathematical manipulation. Constraints can be implemented in the hard sense, i.e., constraints must be satisfied for all parameter realizations in the uncertainty model, and in the soft sense, i.e., constraints can be violated by some realizations of the uncertain parameter. In regard to hard constraints, this methodology allows (i) to determine if a hard constraint can be satisfied for a given uncertainty model and constraint structure, (ii) to generate conclusive, formally verifiable reliability assessments that allow for unprejudiced comparisons of competing design alternatives and (iii) to identify the critical combination of uncertain parameters leading to constraint violations. In regard to soft constraints, the methodology allows the designer (i) to use probabilistic uncertainty models, (ii) to calculate upper bounds to the probability of constraint violation, and (iii) to efficiently estimate failure probabilities via a hybrid method. This method integrates the upper bounds, for which closed form expressions are derived, along with conditional sampling. In addition, an l(sub infinity) formulation for the efficient manipulation of hyper-rectangular sets is also proposed.

Crespo, L.uis G.↗

NASA NTRS2004

Interannual Variations In the Low-Degree Components of the Geopotential derived from SLR and the Connections With Geophysical/Climatic Processes

Recent Satellite Laser Ranging derived long wavelength gravity time series analysis has focused to a large extent on the effects of the recent large changes in the Earth s 52, and the potential causes. However, it is difficult to determine whether there are corresponding signals in the shorter wavelength zonals from the existing SLR-derived time variable gravity results, although it appears that geophysical fluid transport is being observed. For example, the recovered J3 time series shows remarkable agreement with NCEP-derived estimates of atmospheric gravity variations. Likewise, some of the non-zonal spherical harmonic coefficient series have significant interannual signal that appears to be related to mass transport. The non-zonal degree 2 terms show reasonable correlation with atmospheric signals, as well as climatic effects such as El Nino Southern Oscillation. While the formal uncertainty of these terms is significantly higher than that for J2, it is also clear that there is useful signal to be extracted. Consequently, the SLR time series is being reprocessed to improve the time variable gravity field recovery. We will present recent updates on the J2 evolution, as well as a look at other components of the interannual variations of the gravity field, complete through degree 4, and possible geophysical and climatic causes.

Chao, Benjamin F.↗

NASA NTRS1998

Flight Guidance System Validation Using SPIN

To verify the requirements for the mode control logic of a Flight Guidance System (FGS) we applied SPIN, a widely used software package that supports the formal verification of distributed systems. These requirements, collectively called the FGS specification, were developed at Rockwell Avionics & Communications and expressed in terms of the Consortium Requirements Engineering (CoRE) method. The properties to be verified are the invariants formulated in the FGS specification, along with the standard properties of consistency and completeness. The project had two stages. First, the FGS specification and the properties to be verified were reformulated in PROMELA, the input language of SPIN. This involved a semantics issue, as some constructs of the FGS specification do not have well-defined semantics in CoRE. Then we attempted to verify the requirements' properties using the automatic model checking facilities of SPIN. Due to the large size of the state space of the FGS specification an exhaustive state space analysis with SPIN turned out to be impossible. So we used the supertrace model checking procedure of SPIN that provides for a partial analysis of the state space. During this process, we found some subtle errors in the FGS specification.

Naydich, Dimitri↗

NASA NTRS2021

A Critical Look at Coulomb Counting Approach for State of Charge Estimation in Batteries

In this paper, we consider the problem of state-of-charge estimation for rechargeable batteries. Coulomb counting is a well-known method for estimating the state of charge, and it is regarded as accurate as long as the battery capacity and the beginning state of charge are known. The Coulomb counting approach, on the other hand, is prone to inaccuracies from a variety of sources, and the magnitude of these errors has not been explored in the literature. We formally construct and quantify the state-of-charge estimate error during Coulomb counting due to four types of error sources: (1) current measurement error; (2) current integration approximation error; (3) battery capacity uncertainty; and (4) timing oscillator error/drift. It is demonstrated that the state-of-charge error produced can be either time-cumulative or state-of-charge-proportional. Time-cumulative errors accumulate over time and have the potential to render the state-of-charge estimation utterly invalid in the long term. The proportional errors of the state of charge rise with the accumulated state of charge and reach their worst value within one charge/discharge cycle. The study presents methods for reducing time-cumulative and state-of-charge-proportional mistakes through simulation analysis.

Battery management system↗

NASA NTRS1996

Analysis of Apollo 8 Photography and Visual Observations

Apollo 8 was launched from Cape Kennedy, Fla., at 7 :50 a.m., e.s.t., on December 21, 1968. Two hours 50 minutes later, translunar injection was performed; and astronauts Col. Frank Borman, the commander; Capt. James A. Lovell, Jr., the command module pilot; and Maj. (now Lt. Col.) William A. Anders, the lunar module pilot, were on their way to the Moon. The spacecraft was placed in an elliptical lunar orbit at 69 hours 8 minutes after liftoff. After flying two elliptical orbits of 168.5 by 60 nautical miles with an inclination of 12° to the Equator, the spacecraft was placed in a nearly circular orbit of 59.7 by 60.7 nautical miles, in which it remained for eight orbits. At 89 hours 19 minutes, trans earth injection was performed from behind the Moon. A nearly flawless mission was completed on the morning of December 27 when splashdown occurred in the Pacific Ocean after a total elapsed time of 147 hours. Lt. Gen. Sam C. Phillips, the Director of the Apollo Program, announced that such a mission was being considered at a press conference on August 19, 1968. Formal announcement that NASA was preparing Apollo 8 for an orbital flight around the Moon was released to the press on November 12, 1968. The primary purpose of this mission was to further progress toward the goal of landing men on the Moon by gaining operational experience and testing the Apolio systems. However, a great effort was also made to accomplish worthwhile scientific tasks with photography and visual observations by the astronauts. In planning the scientific tasks to be attempted on this mission, it was obvious that one of the prime tasks should be photography of the lunar surface. Such photography would furnish valuable information on the following : 1. Approach topography and landmarks for the early Apollo landings 2. The scientific merit and the roughness of areas for possible follow-on Apollo landings 3. The broad structure and characteristics of the lunar surface During the orbital part of the mission, a major portion of the lunar far side would be in sunlight. Although almost all of the far side of the Moon has been photographed by the automated Lunar Orbiter spacecraft, the photography generally was made with the spacecraft relatively far from the Moon, limiting the Lunar Orbiter photographs to an average resolution of approximately 100 meters. Thus, Apollo photographs of the far side would have much better resolution than existing pictures. Finally, it was recognized that contamination, both as it relates to window fogging (which did occur) and to contamination clouds around t he spacecraft, should be studied for both scientific and operational interests.

Richard J. Allenby↗

NASA NTRS1995

Atmospheric gradients from very long baseline interferometry observations

Azimuthal asymmetries in the atmospheric refractive index can lead to errors in estimated vertical and horizontal station coordinates. Daily average gradient effects can be as large as 50 mm of delay at a 7 deg elevation. To model gradients, the constrained estimation of gradient paramters was added to the standard VLBI solution procedure. Here the analysis of two sets of data is summarized: the set of all geodetic VLBI experiments from 1990-1993 and a series of 12 state-of-the-art R&D experiments run on consecutive days in January 1994. In both cases, when the gradient parameters are estimated, the overall fit of the geodetic solution is improved at greater than the 99% confidence level. Repeatabilities of baseline lengths ranging up to 11,000 km are improved by 1 to 8 mm in a root-sum-square sense. This varies from about 20% to 40% of the total baseline length scatter without gradient modeling for the 1990-1993 series and 40% to 50% for the January series. Gradients estimated independently for each day as a piecewise linear function are mostly continuous from day to day within their formal uncertainties.

Macmillan, D. S.↗

NASA NTRS1982

The inverse problem of constructing a gravimetric geoid

Computation of a single geoidal height from gravity acceleration data formally requires that the latter be known everywhere on the earth. A computational procedure based on linear inverse theory for estimating geoidal heights from incomplete sets of data is presented. The same scheme can be used to estimate gravity accelerations from altimetry-derived geoids. The systematic error owing to lack of data and the choice of a particular inverse operator is described by using resolution functions and their spherical harmonic expansions. An rms value of this error is also estimated by assuming a spectrum for the unknown geoid. The influence of the size of the data region, the spacing between data, the filtering applied to the data, and the model weighting function chosen are all quantified in a spherical geometry. The examples presented show that when low degree spherical harmonic coefficients are available - from satellite orbit analysis - a band-passed version of the geoid can be constructed from local gravity data, even with a relatively restricted data set.

Zlotnicki, V.↗

NASA NTRS2001

Monte Carlo predictions of DNA fragment-size distributions for large sizes after HZE particle irradiation

DSBs (double-strand breaks) produced by densely ionizing space radiation are not located randomly in the genome: recent data indicate DSB clustering along chromosomes. DSB clustering at large scales, from >100 Mbp down to approximately 2 kbp, is modeled using a Monte-Carlo algorithm. A random-walk model of chromatin is combined with a track model, that predicts the radial distribution of energy from an ion, and the RLC (randomly-located-clusters) formalism, in software called DNAbreak. This model generalizes the random-breakage model, whose broken-stick fragment-size distribution is applicable to low-LET radiation. DSB induction due to track interaction with the DNA volume depends on the radiation quality parameter Q. This dose-independent parameter depends only weakly on LET. Multi-track, high-dose effects depend on the cluster intensity parameter lambda, proportional to fluence as defined by the RLC formalism. After lambda is determined by a numerical experiment, the model reduces to one adjustable parameter Q. The best numerical fits to the experimental data, determining Q, are obtained. The knowledge of lambda and Q allows us to give biophysically based extrapolations of high-dose DNA fragment-size data to low doses or to high LETs.

NASA Center JSC↗

NASA NTRS2010

Refined Zigzag Theory for Homogeneous, Laminated Composite, and Sandwich Plates: A Homogeneous Limit Methodology for Zigzag Function Selection

The Refined Zigzag Theory (RZT) for homogeneous, laminated composite, and sandwich plates is presented from a multi-scale formalism starting with the inplane displacement field expressed as a superposition of coarse and fine contributions. The coarse kinematic field is that of first-order shear-deformation theory, whereas the fine kinematic field has a piecewise-linear zigzag distribution through the thickness. The condition of limiting homogeneity of transverse-shear properties is proposed and yields four distinct sets of zigzag functions. By examining elastostatic solutions for highly heterogeneous sandwich plates, the best-performing zigzag functions are identified. The RZT predictive capabilities to model homogeneous and highly heterogeneous sandwich plates are critically assessed, demonstrating its superior efficiency, accuracy ; and a wide range of applicability. The present theory, which is derived from the virtual work principle, is well-suited for developing computationally efficient CO-continuous finite elements, and is thus appropriate for the analysis and design of high-performance load-bearing aerospace structures.

Tessler, Alexander↗

NASA NTRS2010

A History of NASA Remote Sensing Contributions to Archaeology

During its long history of developing and deploying remote sensing instruments, NASA has provided a scientific data that have benefitted a variety of scientific applications among them archaeology. Multispectral and hyperspectral instrument mounted on orbiting and suborbital platforms have provided new and important information for the discovery, delineation and analysis of archaeological sites worldwide. Since the early 1970s, several of the ten NASA centers have collaborated with archaeologists to refine and validate the use of active and passive remote sensing for archeological use. The Stennis Space Center (SSC), located in Mississippi USA has been the NASA leader in archeological research. Together with colleagues from Goddard Space Flight Center (GSFC), Marshall Space Flight Center (MSFC), and the Jet Propulsion Laboratory (JPL), SSC scientists have provided the archaeological community with useful images and sophisticated processing that have pushed the technological frontiers of archaeological research and applications. Successful projects include identifying prehistoric roads in Chaco canyon, identifying sites from the Lewis and Clark Corps of Discovery exploration and assessing prehistoric settlement patterns in southeast Louisiana. The Scientific Data Purchase (SDP) stimulated commercial companies to collect archaeological data. At present, NASA formally solicits "space archaeology" proposals through its Earth Science Directorate and continues to assist archaeologists and cultural resource managers in doing their work more efficiently and effectively. This paper focuses on passive remote sensing and does not consider the significant contributions made by NASA active sensors. Hyperspectral data offers new opportunities for future archeological discoveries.

Giardino, Marco J.↗

NASA NTRS1996

Space Studies Board Annual Report 1995

During 1995, the Space Studies Board and its committees and task groups gathered for a total of 40 meetings. Highlights of these meetings are presented. Formal study reports and short reports developed and approved during the meetings and issued during 1995 are represented in this annual report either by their executive summaries (for full-length reports), or by reproduction in full (for short reports). Nine full-length reports were distributed or delivered, including a congressionally mandated report by the Committee on the Future of Space Science and a comprehensive survey of Earth observation programs by the Committee on Earth Studies. Major research guidance reports were completed and published by the Committee on Microgravity Research and by the federated Committee on Solar and Space Physics/Committee on Solar-Terrestrial Research. Several significant assessment reports were also published, including an assessment of small missions by the Committee on Planetary and Lunar Exploration, a scientific evaluation of Gravity Probe B by the Task Group on Gravity Probe B, and an analysis of technologies for a 4-meter active optics telescope by the Task Group on BMDO New Technology Orbital Observatory. In addition, the Committee on Astronomy and Astrophysics Panel on Ground-based Optical and Infrared Astronomy released its report, and the Task Group on Priorities in Space Research issued its second and final report. Five short reports were also prepared and released during 1995. They addressed such diverse topics as reflight of shuttle-borne synthetic aperture radars, the role of NASA centers and center scientists in scientific research, guidelines for establishment of NASA research institutes, and clarification of findings of the microgravity research opportunities report and of the Future of Space Science Committee's management study.

Source record↗

NASA NTRS2016

A Cognitive Systems Engineering Approach to Developing HMI Requirements for New Technologies

This document examines the challenges inherent in designing and regulating to support human-automation interaction for new technologies that will deployed into complex systems. A key question for new technologies, is how work will be accomplished by the human and machine agents. This question has traditionally been framed as how functions should be allocated between humans and machines. Such framing misses the coordination and synchronization that is needed for the different human and machine roles in the system to accomplish their goals. Coordination and synchronization demands are driven by the underlying human-automation architecture of the new technology, which are typically not specified explicitly by the designers. The human machine interface (HMI) which is intended to facilitate human-machine interaction and cooperation, however, typically is defined explicitly and therefore serves as a proxy for human-automation cooperation requirements with respect to technical standards for technologies. Unfortunately, mismatches between the HMI and the coordination and synchronization demands of the underlying human-automation architecture, can lead to system breakdowns. A methodology is needed that both designers and regulators can utilize to evaluate the expected performance of a new technology given potential human-automation architectures. Three experiments were conducted to inform the minimum HMI requirements a detect and avoid system for unmanned aircraft systems (UAS). The results of the experiments provided empirical input to specific minimum operational performance standards that UAS manufacturers will have to meet in order to operate UAS in the National Airspace System (NAS). These studies represent a success story for how to objectively and systematically evaluate prototype technologies as part of the process for developing regulatory requirements. They also provide an opportunity to reflect on the lessons learned from a recent research effort in order to improve the methodology for defining technology requirements for regulators in the future. The biggest shortcoming of the presented research program was the absence of the explicit definition, generation and analysis of potential human-automation architectures. Failure to execute this step in the research process resulted in less efficient evaluation of the candidate prototypes technologies in addition to the complete absence of different approaches to human-automation cooperation. For example, all of the prototype technologies that were evaluated in the research program assumed a human-automation architecture that relied on serial processing from the automation to the human. While this type of human-automation architecture is typical across many different technologies and in many different domains, it ignores different architectures where humans and automation work in parallel. Defining potential human-automation architectures a priori also allows regulators to develop scenarios that will stress the performance boundaries of the technology during the evaluation phase. The importance of adding this step of generating and evaluating candidate human-automation architectures prior to formal empirical evaluation is discussed.

human systems integration↗

NASA NTRS1994

Effects of Body Orientation and Retinal Image Pitch on the Perception of Gravity-Referenced Eye Level (GREL)

It has been asserted that the pitch orientation of a visual array and of an observer's body jointly determine the perception of GREL. The current study formally tests this assertion over an extended range with multiple combinations of visual and body pitch orientations. Ten subjects were individually secured in a Circolectric bed surrounded by a room (pitchroom) with walls that could be pitched at various angles with respect to gravity. The bed and the walls of the room were independently adjusted to each of five positions relative to gravitational vertical: -15, -7.5, 0, +7.5, and +15 degrees, yielding 25 combinations of body x room pitch angles, and retinal image pitch (RIP) conditions ranging from -30 to +30 degrees. Each subject set a target to apparent GREL while viewing it against a background of two electroluminescent strips on the outer edges of the far wall of the room. As determined by ANOVA, the orientation of the room, and its interaction with that of the observer, significantly altered GREL (p less than 0.01). Regression analysis showed that GREL was best described as a linear summation of the weighted independent contributions from a body-referenced mechanism (B) and a visual mechanism given by the orientation of the background array on the retina (RIP). The equation for this relationship is: GREL = .74 (B) +.64 (RIP) - 1.42; r-squared = .994.

Cohen, Malcolm M.↗

NASA NTRS2007

The Local Stellar Velocity Field via Vector Spherical Harmonics

We analyze the local field of stellar tangential velocities for a sample of 42,339 nonbinary Hipparcos stars with accurate parallaxes, using a vector spherical harmonic formalism. We derive simple relations between the parameters of the classical linear model (Ogorodnikov-Milne) of the local systemic field and low-degree terms of the general vector harmonic decomposition. Taking advantage of these relationships, we determine the solar velocity with respect to the local stars of (V(sub X), V(sub Y), V(sub Z)) (10.5, 18.5, 7.3) +/- 0.1 km s(exp -1) not corrected for the asymmetric drift with respect to the local standard of rest. If only stars more distant than 100 pc are considered, the peculiar solar motion is (V(sub X), V(sub Y), V(sub Z)) (9.9, 15.6, 6.9) +/- 0.2 km s(exp -1). The adverse effects of harmonic leakage, which occurs between the reflex solar motion represented by the three electric vector harmonics in the velocity space and higher degree harmonics in the proper-motion space, are eliminated in our analysis by direct subtraction of the reflex solar velocity in its tangential components for each star. The Oort parameters determined by a straightforward least-squares adjustment in vector spherical harmonics are A=14.0 +/- 1.4, B=13.1 +/- 1.2, K=1.1 +/- 1.8, and C=2.9 +/- 1.4 km s(exp -1) kpc(exp -1). The physical meaning and the implications of these parameters are discussed in the framework of a general linear model of the velocity field. We find a few statistically significant higher degree harmonic terms that do not correspond to any parameters in the classical linear model. One of them, a third-degree electric harmonic, is tentatively explained as the response to a negative linear gradient of rotation velocity with distance from the Galactic plane, which we estimate at approximately -20 km s(exp -1) kpc(exp -1). A similar vertical gradient of rotation velocity has been detected for more distant stars representing the thick disk (z greater than 1 kpc), but here we surmise its existence in the thin disk at z less than 200 pc. The most unexpected and unexplained term within the Ogorodnikov-Milne model is the first-degree magnetic harmonic, representing a rigid rotation of the stellar field about the axis -Y pointing opposite to the direction of rotation. This harmonic comes out with a statistically robust coefficient of 6.2 +/- 0.9 km s(exp -1) kpc(exp -1) and is also present in the velocity field of more distant stars. The ensuing upward vertical motion of stars in the general direction of the Galactic center and the downward motion in the anticenter direction are opposite to the vector field expected from the stationary Galactic warp model.

Galaxy↗