Search NASA⌕ Search

SEARCH · Search NASA

Results for “Argumentation”

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 163 records · Page 9
All sourcesNASA NTRSDOE OSTI
NASA NTRS1991

Design and implementation of Ada programs to facilitate automated testing

An automated method utilized to test the software components of COMPASS, an interactive computer aided scheduling system, is presented. Each package of this system introduces a private type, and works to construct instances of that type, along with read and write routines for that type. Generic procedures that can generate test drivers for these functions are given and show how the test drivers can read from a test data file the functions to call, the arguments for those functions, what the anticipated result should be, and whether an exception should be raised for the function given the arguments.

Dean, Jack↗
NASA NTRS1992

Coincidences in time of the Imbrium Basin impact and Apollo 15 KREEP volcanic series: Impact-induced melting?

On the Earth there may be no firm evidence that impacts can induce volcanic activity. However, the Moon does provide a very likely example of volcanism induced by an immense impact: the Imbrium Basin-forming event was immediately succeeded by a crustal partial melting event that released KREEP lava flows over a wide area. These two events are presently indistinguishable in radiometric age. The sample record indicates that such KREEP volcanism had not occurred in the region prior to that time, and never occurred again. Such coincidence in time implies a genetic relationship between the two events, and impact-induced partial melting appears to be the only candidate process. This conclusion rests essentially on the arguments that: (1) the Imbrium Basin event took place 3.86 +/- 0.02 Ga ago; (2) the Apennine Bench Formation postdates Imbrium; (3) the Apollo 15 KREEP basalts are 3.85 +/- 0.03 Ga old; (4) the Apollo 15 KREEP basalts are derived from the Apennine Bench Formation; and (5) the Apollo 15 KREEP basalts are volcanic. Thus, the Apollo 15 KREEP basalts represent a unique volcanic unit that immediately postdates the Imbrium event (within 20 Ma, possibly much less). The evidence for the links in the argument are sketched, and some implications for initial conditions are described. Ramifications of the process for the early history of the Earth are briefly explored.

Ryder, Graham↗
NASA NTRS1993

The polar heliospheric magnetic field

We describe the large-scale magnetic field morphology in the heliosheath. A simple argument, which depends only on the interstellar wind flowing nearly in the solar equatorial plane, shows that polar heliospheric magnetic fieldlines never approach the heliopause and therefore are accessible to galactic cosmic rays only through perpendicular diffusion. The same argument implies reconnection, at fine scales, on the nose of the heliopause, between the interplanetary magnetic field and the magnetic field in the local interstellar medium. Galactic cosmic rays therefore have direct access across the heliopause to fieldlines connected to equatorial regions of the inner solar system.

Suess, S. T.↗
NASA NTRS1992

The detrimental effect of friction on space microgravity robotics

The authors present an analysis of why control systems are ineffective in compensating for acceleration disturbances due to Coulomb friction. Linear arguments indicate that the effects of Coulomb friction on a body are most difficult to reject when the control actuator is separated from the body of compliance. The linear arguments were illustrated in a nonlinear simulation of optimal linear tracking control in the presence of nonlinear friction. The results of endpoint acceleration measurements for four robot designs are presented and are compared with simulation and to equivalent measurements on a human. It is concluded that Coulomb friction in common bearings and transmission induces unacceptable levels of endpoint acceleration, that these accelerations cannot be adequately attenuated by control, and that robots for microgravity work will require special design considerations for inherently low friction.

Newman, Wyatt S.↗
NASA NTRS1993

The low-frequency interplanetary radiation

Observations of the low-frequency interplanetary radiation have continued, although no major activity has begun since mid-1991. Theoretical work has been completed which suggests that the long-speculated source at the termination shock is feasible and could at least qualitatively account for several aspects of the observations, although some difficulties exist. The Ulysses encounter with Jupiter occurred in February 1992 and has renewed discussion of a Jovian source for the emissions. We reconsider the arguments used previously to rule out Jupiter as a source and conclude that the existence of a relatively high-density boundary to the heliosphere renders most of these arguments ineffective in eliminating Jupiter as a source. We conclude, therefore, that Jupiter must be considered as likely a candidate source as the termination shock for the low-frequency emissions and, given that Jupiter is a known source of emissions in the few-kHz range, perhaps Jupiter is the more likely candidate. Even with a Jovian source, however, the low-frequency emissions continue to be useful sounders of the heliosphere which can provide information on the size of the heliospheric cavity. No conclusive evidence is available which identifies either Jupiter or the termination shock as the source.

Kurth, W. S.↗
NASA NTRS1993

Aliasing as noise - A quantitative and qualitative assessment

We present a model-based argument that, for the purposes of system design and digital image processing, aliasing should be treated as signal-dependent additive noise. By using a computational simulation based on this model, we process (high resolution images of) natural scenes in a way which enables the 'aliased component' of the reconstructed image to be isolated unambiguously. We demonstrate that our model-based argument leads naturally to system design metrics which quantify the extent of aliasing. And, by illustrating several aliased component images, we provide a qualitative assessment of aliasing as noise.

Park, Stephen K.↗
NASA NTRS1985

The relative importance of mass and wind data in the FGGE observing system

There are two theoretical arguments that have been used to discuss the relative importance of mass and wind data in numerical weather prediction (NWP). We will analyze these arguments in this section as clearly as possible in order to draw conclusions which may help to interpret experimental results on four-dimensional data assimilation, simulations of future observing systems, as well as give guidance on how to improve the efficiency with which we use the present observing system.

Kalnay, E.↗
NASA NTRS1993

Age determinations and Earth-based multispectral observations of lunar light plains

The history of light plains still remains doubtful, but there are good arguments - mainly obtained by age determinations and supported by multispectral observations - for an endogenic (magmatic) instead of an (exclusively) impact related origin. Light plains are characterized by smooth areas with an albedo lower than the surrounding highlands (12 - 13 percent), but significantly higher than maria (5 - 6 percent). Before Apollo 16 a volcanic source has been supposed, but analysis of returned samples (highly brecciated and metamorphosed rocks) favored an impact ejecta related origin. Among the currently discussed models are formation by ejecta sedimentation from multi-ringed basins, formation by secondary and tertiary cratering action of ballistically ejected material during the formation of multi-ringed basins, in situ formation by impact melt of large events, and premare (crypto-) volcanism basalts covered by a thin ejecta cover; younger impacts penetrated the ejecta surface to create the dark haloed craters. To find arguments in favor or against these ideas the chronology of light plains is of major importance. Obviously a genetic relationship between the evolution of light plains and the basin forming impacts can be possible only if the events of emplacement features happened simultaneously.

Koehler, U.↗
NASA NTRS1993

Dust grain resonant capture: A statistical study

A statistical approach, based on a large number of simultaneous numerical integrations, is adopted to study the capture in external mean motion resonances with the Earth of micron size dust grains perturbed by solar radiation and wind forces. We explore the dependence of the resonant capture phenomenon on the initial eccentricity e(sub 0) and perihelion argument w(sub 0) of the dust particle orbit. The intensity of both the resonant and dissipative (Poynting-Robertson and wind drag) perturbations strongly depends on the eccentricity of the particle while the perihelion argument determines, for low inclination, the mutual geometrical configuration of the particle's orbit with respect to the Earth's orbit. We present results for three j:j+1 commensurabilities (2:3, 4:5 and 6:7) and also for particle sizes s = 15, 30 microns. This study extends our previous work on the long term orbital evolution of single dust particles trapped into resonances with the Earth.

Marzari, F.↗
NASA NTRS1993

Thermal and hydraulic considerations regarding the fate of water discharged by the outflow channels to the Martian northern plains

The identification of possible shorelines in the Martian northern plains suggests that the water discharged by the circum-Chryse outflow channels may have led to the formation of transient seas, or possibly even an ocean, covering as much as one-third of the planet. Speculations regarding the possible fate of this water have included local ponding and reinfiltration into the crust; freezing, sublimation, and eventual cold-trapping at higher latitudes; or the in situ survival of this now frozen water to the present day -- perhaps aided by burial beneath a protective cover of eolian sediment or lavas. Although neither cold-trapping at higher latitudes nor the subsequent freezing and burial of flood waters can be ruled out, thermal and hydraulic considerations effectively eliminate the possibility that any significant reassimilation of this water by local infiltration has occurred given climatic conditions resembling those of today. The arguments against the local infiltration of flood water into the northern plains are two-fold. First, given the climatic and geothermal conditions that are thought to have prevailed on Mars during the Late Hesperian (the period of peak outflow channel activity in the northern plains), the thickness of the cryosphere in Chryse Planitia is likely to have exceeded 1 km. A necessary precondition for the widespread occurrence of groundwater is that the thermodynamic sink represented by the cryosphere must already be saturated with ice. For this reason, the ice-saturated cryosphere acts as an impermeable barrier that effectively precludes the local resupply of subpermafrost groundwater by the infiltration of water discharged to the surface by catastraphic floods. Note that the problem of local infiltration is not significantly improved even if the cryosphere were initially dry, for as water attempts to infiltrate the cold, dry crust, it will quickly freeze, creating a seal that prevents any further infiltration from the ponded water above. The second argument against the local infiltration of flood water in the northern plains is based on hydraulic considerations. Repeated impacts have likely brecciated the Martian crust down to a depth of roughly 10 km. Given a value of permeability no greater than that inferred for the top 10 km of the Earth's crust (approximately 10(exp -2) darcies), a timescale as much as a billion years or more for the Martian groundwater system to achieve hydrostatic equilibrium, and the approximately 2-4 km elevation difference between the outflow channel source regions and the northern plains, the water confined beneath the frozen crust of the northern plains should have been under a significant hydraulic head. Thus, the existence of a hydraulic pathway between the ponded flood waters above the northern plains and the confined aquifer lying beneath it would not have led to the infiltration of flood water back into the crust, but rather the additional expulsion of groundwater onto the surface.

Clifford, S. M.↗
NASA NTRS1994

Toward a theory of interstellar turbulence. 1: Weak Alfvenic turbulence

We study weak Alfvenic turbulence of an incompressible, magnetized fluid in some detail, with a view to developing a firm theoretical basis for the dynamics of small-scale turbulence in the interstellar medium. We prove that resonant 3-wave interactions are absent. We also show that the Iroshnikov-Kraichnan theory of incompressible, magnetohydrodynamic turbulence -- which is widely accepted -- describes weak 3-wave turbulence; consequently, it is incorrect. Physical arguments, as well as detailed calculations of the coupling coefficients are used to demonstrate that these interactions are empty. We then examine resonant 4-wave interactions, and show that the resonance relations forbid energy transport to small spatial scales along the direction of the mean magnetic field, for both the shear Alfven wave and the pseudo Alfven wave. The three-dimensional inertial-range energy spectrum of 4-wave shear Alfven turbulence guessed from physical arguments reads E(k(sub z), k(sub perpendicular)) approximately V(sub A)v(sub L)L(exp -1/3)k(sub perpendicular)(exp -10/3), where V(sub A) is the Alfven speed, and v(sub L) is the velocity difference across the outer scale L. Given this spectrum, the velocity difference across lambda(sub perpendicular) approximately k(sub perpendicular exp -1) is v(sub lambda (sub perpendicular)) is approximately v(sub L)(lambda(sub perpendicular)/L)(exp 2/3). We derive a kinetic equation, and prove that this energy spectrum is a stationary solution and that it implies a positive flux of energy in k-space, along directions perpendicular to the mean magnetic field. Using this energy spectrum, we deduce that 4-wave interactions strengthen as the energy cascades to small, perpendicular spatial scales; beyond an upper bound in perpendicular wavenumber, k(sub perpendicular)L is approximately (V(sub A)/v(sub L))(exp 3/2), weak turbulence theory ceases to be valid. Energy excitation amplitudes must be very small for the 4-wave inertial-range to be substantial. When the excitation is strong, the width of the 4-wave inertial-range shrinks to zero. This seems likely to be the case in the interstellar medium.

Sridhar, S.↗
NASA NTRS1994

Petrologic evolution of CM chondrites: The difficulty of discriminating between nebular and parent-body effects

We wish to draw attention to a major controversy that has arisen in the area of CM-chondrite petrology. The problem is important because its resolution will have profound implications for ideas concerning nebular dynamics, gas-solid interactions in the nebula, and accretionary processes in the nebula, among other issues. On the one hand, cogent arguments have been presented that 'accretionary dust mantles,' were formed in the solar nebula prior to accretion of the CM parent asteroid(s). On the other hand, no-less-powerful arguments have been advanced that a significant fraction of the CM lithology is secondary, produced by aqueous alteration in the near-surface regions of an asteroid-sized object. Because most, if not all, CM chondrites are breccias, these two views could coexist harmoniously, were it not for the fact that some of the coarse-grained lithologies surrounded by 'accretion dust mantles' are themselves of apparently secondary origin. Such an observation must clearly force a reassessment of one or both of the present schools of thought. Our objective here is to stimulate such a reassessment. Four possible resolutions of this conflict may be postulated. First, perhaps nature found a way of permitting such secondary alteration to take place in the nebula. Second, maybe dust mantles could form in a regolith, rather than a nebular, environment. Third, it is possible that dust mantles around secondary lithologies are different from those around primary lithologies. Finally, perhaps formation of CM chondrites involved a more complex sequence of events than visualized so far, so that some apparently 'primary' processes postdated certain 'secondary' processes.

Kerridge, J. F.↗
NASA NTRS1995

Giant branch mixing and the ultimate fate of primordial deuterium in the Galaxy

The observed cosmic abundances of light elements are most consistent with each other, and with the predictions of big bang nucleosynthesis, if, contrary to the usual assumption, galactic chemical evolution reduces (D = He-3)/H with time. Chemical evolution models which accomplish this require that low-mass stars destroy He-3 in the envelope gas that they return to the interstellar medium. A simple argument based on the rates of limiting nuclear reactions shows that the same giant branch mixing process which appears to be needed to explain the observed C-12/C-13 and C/N ratios in 1-2 solar mass stars would indeed also probably destroy He-3 by a large factor in the bulk of the envelope material. The conclusion is that Galactic He-3/H estimates should not be trusted for setting an upper limit on primordial (D = He-3)/H. This removes the strongest lower bound on the cosmic baryon density from big bang nucleosynthesis and the only argument for abundant baryonic dark matter.

Hogan, Craig J.↗
NASA NTRS1995

Some constraints on acceleration mechanisms in the solar wind at polar latitudes

Observations of solar Lyman alpha have been interpreted as indicating that the polar mass flux density is lower than the equatorial average. This led Lallement et al (1986) to make a parametric study of solar wind acceleration, along the lines of earlier the Munro-Jackson study (1977), in which they concluded that uncertainties in the polar mass flux were large enough to be consistent with two extreme opposites: (1) a substantial energy supply beyond classical thermal conduction is required; or (2) classical thermal conduction is adequate to drive the flow. This ambiguity has been clarified by Ulysses observations of the polar outflow (Phillips et al, 1994). The polar mass flux density lies in the middle of the range studies by Lallement et al (1986), which suggests that extended heating is going on out to at least approximately 5 AU. Independent, purely energetic arguments can be made to estimate the required coronal source (electron) temperature that would be required to account for the observed energy flux density. An electron temperature of at least 2 x 10(exp 6) K would be required for the classical conduction flux density to be comparable to the total energy flux density; such a high temperature is thought to be unlikely in a coronal hole. These arguments strongly suggest that some extended heating or momentum transfer mechanism is required to drive the solar wind from the polar coronal hole. A number of mechanisms are discussed.

Barnes, A.↗
NASA NTRS1991

On the Power of Abstract Interpretation

Increasingly sophisticated applications of static analysis place increased burden on the reliability of the analysis techniques. Often, the failure of the analysis technique to detect some information my mean that the time or space complexity of the generated code would be altered. Thus, it is important to precisely characterize the power of static analysis techniques. We follow the approach of Selur et. al. who studied the power of strictness analysis techniques. Their result can be summarized by saying 'strictness analysis is perfect up to variations in constants.' In other words, strictness analysis is as good as it could be, short of actually distinguishing between concrete values. We use this approach to characterize a broad class of analysis techniques based on abstract interpretation including, but not limited to, strictness analysis. For the first-order case, we consider abstract interpretations where the abstract domain for data values is totally ordered. This condition is satisfied by Mycroft's strictness analysis that of Sekar et. al. and Wadler's analysis of list-strictness. For such abstract interpretations, we show that the analysis is complete in the sense that, short of actually distinguishing between concrete values with the same abstraction, it gives the best possible information. We further generalize these results to typed lambda calculus with pairs and higher-order functions. Note that products and function spaces over totally ordered domains are not totally ordered. In fact, the notion of completeness used in the first-order case fails if product domains or function spaces are added. We formulate a weaker notion of completeness based on observability of values. Two values (including pairs and functions) are considered indistinguishable if their observable components are indistinguishable. We show that abstract interpretation of typed lambda calculus programs is complete up to this notion of indistinguishability. We use denotationally-oriented arguments instead of the detailed operational arguments used by Selur et. al.. Hence, our proofs are much simpler. They should be useful for further future improvements.

Reddy, Uday S.↗
NASA NTRS1995

MPI-IO: A Parallel File I/O Interface for MPI Version 0.3

Thanks to MPI [9], writing portable message passing parallel programs is almost a reality. One of the remaining problems is file I/0. Although parallel file systems support similar interfaces, the lack of a standard makes developing a truly portable program impossible. Further, the closest thing to a standard, the UNIX file interface, is ill-suited to parallel computing. Working together, IBM Research and NASA Ames have drafted MPI-I0, a proposal to address the portable parallel I/0 problem. In a nutshell, this proposal is based on the idea that I/0 can be modeled as message passing: writing to a file is like sending a message, and reading from a file is like receiving a message. MPI-IO intends to leverage the relatively wide acceptance of the MPI interface in order to create a similar I/0 interface. The above approach can be materialized in different ways. The current proposal represents the result of extensive discussions (and arguments), but is by no means finished. Many changes can be expected as additional participants join the effort to define an interface for portable I/0. This document is organized as follows. The remainder of this section includes a discussion of some issues that have shaped the style of the interface. Section 2 presents an overview of MPI-IO as it is currently defined. It specifies what the interface currently supports and states what would need to be added to the current proposal to make the interface more complete and robust. The next seven sections contain the interface definition itself. Section 3 presents definitions and conventions. Section 4 contains functions for file control, most notably open. Section 5 includes functions for independent I/O, both blocking and nonblocking. Section 6 includes functions for collective I/O, both blocking and nonblocking. Section 7 presents functions to support system-maintained file pointers, and shared file pointers. Section 8 presents constructors that can be used to define useful filetypes (the role of filetypes is explained in Section 2 below). Section 9 presents how the error handling mechanism of MPI is supported by the MPI-IO interface. All this is followed by a set of appendices, which contain information about issues that have not been totally resolved yet, and about design considerations. The reader can find there the motivation behind some of our design choices. More information on this would definitely be welcome and will be included in a further release of this document. The first appendix contains a description of MPI-I0's 'hints' structure which is used when opening a file. Appendix B is a discussion of various issues in the support for file pointers. Appendix C explains what we mean in talking about atomic access. Appendix D provides detailed examples of filetype constructors, and Appendix E contains a collection of arguments for and against various design decisions.

Corbett, Peter↗
NASA NTRS1997

Modeling fluxes resulting from new or Molniya-class objects

The behavior of objects in Molniya-type orbits and debris objects produced in new breakups are considered. As the majority of breakups in highly eccentric orbits occur in Molniya-type orbits, it is of interest whether, and how, debris objects can interfere with the geosynchronous earth orbit and low earth orbit regions. The behavior of such objects are determined principally by the initial argument of perigee and the initial inclination. The closer the initial orbit's argument of perigee is to 270 deg, and the inclination is to the critical inclination of 63.4 deg, the longer the perigee appears to be locked in the southern hemisphere. The impact on the low earth orbit region is illustrated as the interference of debris objects with the International Space Station's orbit. The possible interactions of Molniya-type debris and with the geostationary ring is demonstrated.

Siebold, Karl H.↗
NASA NTRS1997

Application of Domain Knowledge to Software Quality Assurance

This work focused on capturing, using, and evolving a qualitative decision support structure across the life cycle of a project. The particular application of this study was towards business process reengineering and the representation of the business process in a set of Business Rules (BR). In this work, we defined a decision model which captured the qualitative decision deliberation process. It represented arguments both for and against proposed alternatives to a problem. It was felt that the subjective nature of many critical business policy decisions required a qualitative modeling approach similar to that of Lee and Mylopoulos. While previous work was limited almost exclusively to the decision capture phase, which occurs early in the project life cycle, we investigated the use of such a model during the later stages as well. One of our significant developments was the use of the decision model during the operational phase of a project. By operational phase, we mean the phase in which the system or set of policies which were earlier decided are deployed and put into practice. By making the decision model available to operational decision makers, they would have access to the arguments pro and con for a variety of actions and can thus make a more informed decision which balances the often conflicting criteria by which the value of action is measured. We also developed the concept of a 'monitored decision' in which metrics of performance were identified during the decision making process and used to evaluate the quality of that decision. It is important to monitor those decision which seem at highest risk of not meeting their stated objectives. Operational decisions are also potentially high risk decisions. Finally, we investigated the use of performance metrics for monitored decisions and audit logs of operational decisions in order to feed an evolutionary phase of the the life cycle. During evolution, decisions are revisisted, assumptions verified or refuted, and possible reassessments resulting in new policy are made. In this regard we implemented a machine learning algorithm which automatically defined business rules based on expert assessment of the quality of operational decisions as recorded during deployment.

Wild, Christian W.↗