Search NASA⌕ Search

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.

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

At least 613 records · Page 34
All sourcesNASA NTRSDOE OSTI
NASA NTRS1972

Lagrangian methods in the analysis of nonlinear wave interactions in plasma

An averaged-Lagrangian method is developed for obtaining the equations which describe the nonlinear interactions of the wave (oscillatory) and background (nonoscillatory) components which comprise a continuous medium. The method applies to monochromatic waves in any continuous medium that can be described by a Lagrangian density, but is demonstrated in the context of plasma physics. The theory is presented in a more general and unified form by way of a new averaged-Lagrangian formalism which simplifies the perturbation ordering procedure. Earlier theory is extended to deal with a medium distributed in velocity space and to account for the interaction of the background with the waves. The analytic steps are systematized, so as to maximize calculational efficiency. An assessment of the applicability and limitations of the method shows that it has some definite advantages over other approaches in efficiency and versatility.

Galloway, J. J.↗
NASA NTRS2012

An Iterated Global Mascon Solution with Focus on Land Ice Mass Evolution

Land ice mass evolution is determined from a new GRACE global mascon solution. The solution is estimated directly from the reduction of the inter-satellite K-band range rate observations taking into account the full noise covariance, and formally iterating the solution. The new solution increases signal recovery while reducing the GRACE KBRR observation residuals. The mascons are estimated with 10-day and 1-arc-degree equal area sampling, applying anisotropic constraints for enhanced temporal and spatial resolution of the recovered land ice signal. The details of the solution are presented including error and resolution analysis. An Ensemble Empirical Mode Decomposition (EEMD) adaptive filter is applied to the mascon solution time series to compute timing of balance seasons and annual mass balances. The details and causes of the spatial and temporal variability of the land ice regions studied are discussed.

Luthcke, S. B.↗
NASA NTRS2014

An Independent and Coordinated Criterion for Kinematic Aircraft Maneuvers

This paper proposes a mathematical definition of an aircraft-separation criterion for kinematic-based horizontal maneuvers. It has been formally proved that kinematic maneu- vers that satisfy the new criterion are independent and coordinated for repulsiveness, i.e., the distance at closest point of approach increases whether one or both aircraft maneuver according to the criterion. The proposed criterion is currently used in NASA's Airborne Coordinated Resolution and Detection (ACCoRD) set of tools for the design and analysis of separation assurance systems.

Narkawicz, Anthony J.↗
NASA NTRSDate not supplied

Understanding the Impact of Unobservable Variables on the Performance of Predictive Models: The Need for Feature Space Partitioning and Fusion

When developing predictive models over a dataset, the model is globally optimized across the entire feature space to learn a decision boundary. However, when unobservable variables—which cannot be measured or estimated—interact with the observable variables, this can negatively impact the optimization applied to the decision boundary since the data samples introduced by unobservable variables may have little to no association with the applied global optimization. This, consequently, penalizes the entire decision boundary and model performance. This paper examines some of the detrimental effects of unobservable variables, particularly their role in creating new modes in the distribution of observable variables and reducing the separability of class distributions. Such challenges result in skewed or warped decision boundaries and decreased accuracy of model predictions, particularly for interpretable models like logistic regression and decision trees. Through two illustrative case examples, we highlight the need to address the challenges imposed by unobservable variables. We propose a strategy to mitigate these challenges by creating local regions within the feature space through partitioning. This enables the optimization of local models within the regions to overcome the impact of unobservability in different feature space localities. Research into a more sophisticated partitioning strategy and where the partition should be relative to the sample of interest is left as future work. Through the analysis of the impact of unobservability and the development of a partitioning method, we demonstrate the clear need for a partitioning strategy that integrates knowledge from multiple local models to estimate risk factors using information fusion. Thus, we establish the foundation and motivation for using partitioning and information fusion to overcome the effects of unobservability in predictive models. Formal fusion methods, such as Dempster-Shafer theory, can better leverage the information from local regions to improve the performance of interpretable predictive models in the presence of unobservable variables.

Time Series Data↗
NASA NTRS1996

The Implications of ACTS Technology on the Requirements of Rain Attenuation Modeling for Communication System Specification and Analysis at 30/20 GHz and Beyond

The advent of the use of the Ka-Band for space communications, coupled with the introduction of digital modulation techniques as well as multiple-beam methodology for satellites, has deemed it necessary to reassess the plethora of rain attenuation prediction models in use. The Advanced Communication Technology Satellite (ACTS) Project, undertaken by the National Aeronautics and Space Administration in 1983, offered such challenges to rain attenuation prediction modeling. Up to 1983, no such single modeling formalism existed that could fill such requirements. Not even the work done by the NASA Propagation Experimenters (NAPEX) Group had envisioned such requirements, so no dynamic Ka-Band data existed from which one could draw conclusions. In this paper, the basic rudiments of what has become to be known as the 'ACTS Rain Attenuation Prediction Model' will be presented. The concept of rain fade mitigation control availability will be introduced. A new evaluation is then presented for the performance of satellite communication systems, in particular, those to be operating within the Ka-Band and above, that will necessarily employ some type of dynamic rain fade mitigation procedure.

Manning, Robert M.↗
NASA NTRS1987

The implementation and use of Ada on distributed systems with high reliability requirements

A preliminary analysis of the Ada implementation of the Advanced Transport Operating System (ATOPS), an experimental computer control system developed at NASA Langley for a modified Boeing 737 aircraft, is presented. The criteria that was determined for the evaluation of this approach is described. A preliminary version of the requirements for the ATOPS is contained. This requirements specification is not a formal document, but rather a description of certain aspects of the ATOPS system at a level of detail that best suits the needs of the research. The survey of backward error recovery techniques is also presented.

Knight, J. C.↗
NASA NTRS1987

Theoretical spectroscopic parameters for the low-lying states of the second-row transition metal hydrides

A systematic analysis of the low-lying states of all of the second-row transition metal (TM) hydrides except CdH is reported. The calculations included the dominant relativistic contributions through the use of the relativistic effective core potentials of Hay and Wadt (1985). Electron correlation was incorporated, using single-plus-double configuration interaction, the coupled pair functional (CPF) formalism of Ahlrichs et al. (1985), and the Chong and Langhoff (1986) modified version of the CPF method. The spectroscopic parameters D(e), r(e), and mu(e) determined for the low-lying states are compared with the available experimental data and previous theoretical results. In contrast to the first-row TM hydrides studied earlier (Chong et al., 1986), the spectroscopic constants for the second-row TM hydrides were found to be much less sensitive to the level of correlation treatment.

Langhoff, Stephen R.↗
NASA NTRS1999

Precise Clock Solutions Using Carrier Phase from GPS Receivers in the International GPS Service

As one of its activities as an Analysis Center in the International GPS Service (IGS), the Jet Propulsion Laboratory (JPL) uses data from a globally distributed network of geodetic-quality GPS receivers to estimate precise clock solutions, relative to a chosen reference, for both the GPS satellites and GPS receiver internal clocks, every day. The GPS constellation and ground network provide geometrical strength resulting in formal errors of about 100 p sec for these estimates. Some of the receivers in the global IGS network contain high quality frequency references, such as hydrogen masers. The clock solutions for such receivers are smooth at the 20-p sec level on time scales of a few minutes. There are occasional (daily to weekly) shifts at the microsec level, symptomatic of receiver resets, and 200-p sec-level discontinuities at midnight due to 1-day processing boundaries. Relative clock solutions among 22 IGS sites proposed as "fiducial" in the IGS/BIPM pilot project have been examined over a recent 4-week period. This allows a quantitative measure of receiver reset frequency as a function of site. For days and-sites without resets, the Allan deviation of the relative clock solutions is also computed for subdaily values of tau..

Zumberge, J. F.↗
NASA NTRS2012

Bayesian Analysis for Risk Assessment of Selected Medical Events in Support of the Integrated Medical Model Effort

The Exploration Medical Capability project is creating a catalog of risk assessments using the Integrated Medical Model (IMM). The IMM is a software-based system intended to assist mission planners in preparing for spaceflight missions by helping them to make informed decisions about medical preparations and supplies needed for combating and treating various medical events using Probabilistic Risk Assessment. The objective is to use statistical analyses to inform the IMM decision tool with estimated probabilities of medical events occurring during an exploration mission. Because data regarding astronaut health are limited, Bayesian statistical analysis is used. Bayesian inference combines prior knowledge, such as data from the general U.S. population, the U.S. Submarine Force, or the analog astronaut population located at the NASA Johnson Space Center, with observed data for the medical condition of interest. The posterior results reflect the best evidence for specific medical events occurring in flight. Bayes theorem provides a formal mechanism for combining available observed data with data from similar studies to support the quantification process. The IMM team performed Bayesian updates on the following medical events: angina, appendicitis, atrial fibrillation, atrial flutter, dental abscess, dental caries, dental periodontal disease, gallstone disease, herpes zoster, renal stones, seizure, and stroke.

Gilkey, Kelly M.↗
NASA NTRS1992

The effects of radiation drag on radial, relativistic hydromagnetic winds

The effects of drag on an idealized relativistic MHD wind of radial geometry are studied. The astrophysical motivation is to understand the effects of radiation drag on the dynamics of a jet or wind passing through the intense radiation field of an accreting compact object. From a critical point analysis, it is found that a slow magnetosonic point can appear in a dragged flow even in the absence of gravitational force, as a result of a balance between the drag force and the combination of thermal pressure and centrifugal forces. As in the undragged case, the Alfven point does not impose any constraints on the flow. Although it is formally possible for a dragged flow to possess more than one fast magnetosonic point, it is shown that this is unlikely in practice. In the limit of a 'cold', centrifugally driven flow, it is shown that the fast magnetosonic point moves to infinite radius, just as in the drag-free case. For a given mass flux, the total energy output carried to infinity, and the final partition between the kinetic energy and the Poynting flux, are the same for the dragged and the drag-free flows. The main effects of radiation drag are to increase the amount of energy and angular momentum extracted from the source and to redistribute the regions where acceleration occurs in the flow. This is accomplished through the storage and release of magnetic energy, as a result of additional winding and compression of the field caused by the action of the drag. For a relativistic wind, the dissipated energy can exceed the final kinetic energy of the flow and may be comparable to the total flow energy (which is dominated by Poynting flux). The energy lost to radiation drag will appear as a Doppler-boosted beam of scattered radiation, which could dominate the background radiation if the flow is well-collimated.

Li, Zhi-Yun↗
NASA NTRS1992

Performance experiments with alternative advanced teleoperator control modes for a simulated solar maximum satellite repair

Experiments are described which were conducted at the JPL Advanced Teleoperator Lab to demonstrate and evaluate the effectiveness of various teleoperator control modes in the performance of a simulated Solar Max Satellite Repair (SMSR) task. THe SMSR was selected as a test because it is very rich in performance capability requirements and it actually has been performed by two EVA astronauts in the Space Shuttle Bay in 1984. The main subtasks are: thermal blanket removal; installation of a hinge attachment for electrical panel opening; opening of electrical panel; removal of electrical connectors; relining of cable bundles; replacement of electrical panel; securing parts and cables; re-mate electrical connectors; closing of electrical panel; and reinstating thermal blanket. The current performance experiments are limited to thermal blanket cutting, electrical panel unbolting and handling electrical bundles and connectors. In one formal experiment even different control modes were applied to the unbolting and reinsertion of electrical panel screws subtasks. The seven control modes are alternative combinations of manual position and rate control with force feedback and remote compliance referenced to force-torque sensor information. Force-torque sensor and end effector position data and task completion times were recorded for analysis and quantification of operator performance.

Das, H.↗
NASA NTRS2012

Quantified Event Automata: Towards Expressive and Efficient Runtime Monitors

Runtime verification is the process of checking a property on a trace of events produced by the execution of a computational system. Runtime verification techniques have recently focused on parametric specifications where events take data values as parameters. These techniques exist on a spectrum inhabited by both efficient and expressive techniques. These characteristics are usually shown to be conflicting - in state-of-the-art solutions, efficiency is obtained at the cost of loss of expressiveness and vice-versa. To seek a solution to this conflict we explore a new point on the spectrum by defining an alternative runtime verification approach.We introduce a new formalism for concisely capturing expressive specifications with parameters. Our technique is more expressive than the currently most efficient techniques while at the same time allowing for optimizations.

state machines↗
NASA NTRS1970

The integration of system specifications and program coding

Experience in maintaining up-to-date documentation for one module of the large-scale Medical Literature Analysis and Retrieval System 2 (MEDLARS 2) is described. Several innovative techniques were explored in the development of this system's data management environment, particularly those that use PL/I as an automatic documenter. The PL/I data description section can provide automatic documentation by means of a master description of data elements that has long and highly meaningful mnemonic names and a formalized technique for the production of descriptive commentary. The techniques discussed are practical methods that employ the computer during system development in a manner that assists system implementation, provides interim documentation for customer review, and satisfies some of the deliverable documentation requirements.

Luebke, W. R.↗
NASA NTRS1977

Analysis of flight equipment purchasing practices of representative air carriers

The process through which representative air carriers decide whether or not to purchase flight equipment was investigated as well as their practices and policies in retiring surplus aircraft. An analysis of the flight equipment investment decision process in ten airlines shows that for the airline industry as a whole, the flight equipment investment decision is in a state of transition from a wholly informal process in earliest years to a much more organized and structured process in the future. Individual air carriers are in different stages with respect to the formality and sophistication associated with the flight equipment investment decision.

Source record↗
NASA NTRS1979

The ratio of deuterium to hydrogen in interstellar space. IV - The lines of sight to Delta, Epsilon, and Iota Orionis

Deuterium absorption features in spectra of Delta, Epsilon, and Iota Ori obtained with Copernicus are analyzed. The Iota Ori line-of-sight analysis, which is quite detailed because of the high-velocity H I components superposed on the deuterium features, gives a D/H ratio (which is uncertain because of a complex profile) of 0.000014. A D/H ratio of the order of 7 millionths is determined for Delta and Epsilon Ori. For the complex line profiles involved, one may regard this as a formal lower limit. Several attempts were made to increase the ratio N(D I)/N(H I) in the context of reasonable models for the line of sight, but with no success; the derived values are therefore regarded as actual values, not lower limits. Since the derived value is an average on the line of sight, the possibility cannot be ruled out that the true ratios N(D I)/N(H I) in individual nearby components differ from the mean values. The mean value for these two directions is lower by a factor of 4 than the best value for the Zeta Pup line of sight (the highest yet derived for path lengths greater than 50 pc).

Laurent, C.↗
NASA NTRS2003

NASA Tech Briefs, September 2003

Topics include: Oxygen-Partial-Pressure Sensor for Aircraft Oxygen Mask; Three-Dimensional Venturi Sensor for Measuring Extreme Winds; Swarms of Micron-Sized Sensors; Monitoring Volcanoes by Use of Air-Dropped Sensor Packages; Capacitive Sensors for Measuring Masses of Cryogenic Fluids; UHF Microstrip Antenna Array for Synthetic- Aperture Radar; Multimode Broad-Band Patch Antennas; 164-GHz MMIC HEMT Frequency Doubler; GPS Position and Heading Circuitry for Ships; Software for Managing Parametric Studies; Software Aids Visualization of Computed Unsteady Flow; Software for Testing Electroactive Structural Components; Advanced Software for Analysis of High-Speed Rolling-Element Bearings; Web Program for Development of GUIs for Cluster Computers; XML-Based Generator of C++ Code for Integration With GUIs; Oxide Protective Coats for Ir/Re Rocket Combustion Chambers; Simplified Waterproofing of Aerogels; Improved Thermal-Insulation Systems for Low Temperatures; Device for Automated Cutting and Transfer of Plant Shoots; Extension of Liouville Formalism to Postinstability Dynamics; Advances in Thrust-Based Emergency Control of an Airplane; Ultrasonic/Sonic Mechanisms for Drilling and Coring; Exercise Device Would Exert Selectable Constant Resistance; Improved Apparatus for Measuring Distance Between Axles; Six Classes of Diffraction-Based Optoelectronic Instruments; Modernizing Fortran 77 Legacy Codes; Active State Model for Autonomous Systems; Shields for Enhanced Protection Against High-Speed Debris; Scaling of Two-Phase Flows to Partial-Earth Gravity; Neutral-Axis Springs for Thin-Wall Integral Boom Hinges.

Source record↗
NASA NTRS1980

A harmonic analysis of lunar gravity

An improved model of lunar global gravity has been obtained by fitting a sixteenth-degree harmonic series to a combination of Doppler tracking data from Apollo missions 8, 12, 15, and 16, and Lunar Orbiters 1, 2, 3, 4, and 5, and laser ranging data to the lunar surface. To compensate for the irregular selenographic distribution of these data, the solution algorithm has also incorporated a semi-empirical a priori covariance function. Maps of the free-air gravity disturbance and its formal error are presented, as are free-air anomaly and Bouguer anomaly maps. The lunar gravitational variance spectrum has the form V(G; n) = O(n to the -4th power), as do the corresponding terrestrial and martian spectra. The variance spectra of the Bouguer corrections (topography converted to equivalent gravity) for these bodies have the same basic form as the observed gravity; and, in fact, the spectral ratios are nearly constant throughout the observed spectral range for each body. Despite this spectral compatibility, the correlation between gravity and topography is generally quite poor on a global scale.

Bills, B. G.↗
NASA NTRS1990

Wide-angle astrometry with the Mark III stellar interferometer

Astrometric measurements made with the Mark III stellar interferometer on five nights in August-September 1988 yielded average formal 1-sigma errors for 12 FK5 stars of 6 mas in declination and 10 mas in right ascension. This improvement in precision over previously reported measurements with this instrument made in 1986 is attributable to several factors: a second 12 m baseline; oriented E-S, was added to the instrument to improve the determination of right ascension; two-color analysis was included in the data-reduction process, along with a new central-fringe identification algorithm using three spectral channels, in order to reduce atmospheric errors; thermal control was greatly improved; and changes were made to observational procedures and hardware to monitor variations in the delay offset due to residual thermal drifts. Approximately half of the new positions are within 50 mas of their FK5 positions. However, an extended series of measurements are needed to ascertain the accuracy that can be achieved by interferometry.

Shao, M.↗