SEARCH · Search NASA

Results for “arguments”

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 91 records · Page 5

All sources NASA NTRS DOE OSTI

NASA NTRS1990

Explaining compact groups as change alignments

The physical nature of the apparently densest groups of galaxies, known as compact groups is a topic of some recent controversy, despite the detailed observations of a well-defined catalog of 100 isolated compact groups compiled by Hickson (1982). Whereas many authors have espoused the view that compact groups are bound systems, typically as dense as they appear in projection on the sky (e.g., Williams & Rood 1987; Sulentic 1987; Hickson & Rood 1988), others see them as the result of chance configurations within larger systems, either in 1D (chance alignments: Mamon 1986; Walke & Mamon 1989), or in 3D (transient cores: Rose 1979). As outlined in the companion review to this contribution (Mamon, in these proceedings), the implication of Hickson's compact groups (HCGs) being dense bound systems is that they would then constitute the densest isolated systems of galaxies in the Universe and the privileged site for galaxy interactions. In a previous paper (Mamon 1986), the author reviewed the arguments given for the different theories of compact groups. Since then, a dozen papers have been published on the subject, including a thorough and perceptive review by White (1990), thus more than doubling the amount written on the subject. Here, the author first enumerates the arguments that he brought up in 1986 substantiating the chance alignment hypothesis, then he reviews the current status of the numerous recent arguments arguing against chance alignments and/or for the bound dense group hypothesis (both for the majority of HCGs but not all of them), and finally he reconsiders each one of these anti-chance alignment arguments and shows that, rather than being discredited, the chance alignment hypothesis remains a fully consistent explanation for the nature of compact groups.

Mamon, Gary A.↗

NASA NTRS1991

Heikkila's mechanism for impulsive plasma transport through the magnetopause - A reexamination

This paper reexamines arguments formulated and restated by Heikkila to the effect that a magnetosheath plasma cloud having 'excess' momentum which impinges on the dayside magnetopause boundary is able to flow continuously through the boundary onto both open and closed flux tubes in the interior. It is shown that the argument used to arrive at this conclusion is not correct. The error in the argument concerns the nature of the flow which is associated with the induction electric field produced by the perturbed current layer, which was assumed by Heikkila to be such as to keep the plasma jet just moving with the boundary. Heikkila's argument, correctly applied, does not lead to 'impulsive transport' of plasma through the magnetopause.

Owen, C. J.↗

NASA NTRS2000

Fossil Record of Precambrian Life on Land

The argument that the earth's early ocean was up to two times modern salinity was published in 'Nature' and presented at the 1998 Annual Meeting of the Geological Society of America in Toronto. The argument is bolstered by chemical data for fluid inclusions in Archean black smokers. The inclusions were 1.7 times the modern salinity causing the authors to interpret the parent fluids as evaporite brines (in a deep marine setting). I reinterpreted the data in terms of the predicted value of high Archean salinities. If the arguments I presented are on track, early life was either halophilic or non-marine. Halophiles are not among the most primitive organisms based on RNA sequencing, so here is an a priori argument that non-marine environments may have been the site of most early biologic evolution. This result carries significant implications for the issue of past life on Mars or current life on the putative sub-ice oceans on Europa and possibly Callisto. If the Cl/H 2 O ratio on these objects is similar to that of the earth, then oceans and oceanic sediments are probably not the preferred sites for early life. On Mars, this means that non-marine deposits such as caliche in basalt may be an overlooked potential sample target.

Paul Knauth↗

NASA NTRS2011

MSLICE Sequencing

MSLICE Sequencing is a graphical tool for writing sequences and integrating them into RML files, as well as for producing SCMF files for uplink. When operated in a testbed environment, it also supports uplinking these SCMF files to the testbed via Chill. This software features a free-form textural sequence editor featuring syntax coloring, automatic content assistance (including command and argument completion proposals), complete with types, value ranges, unites, and descriptions from the command dictionary that appear as they are typed. The sequence editor also has a "field mode" that allows tabbing between arguments and displays type/range/units/description for each argument as it is edited. Color-coded error and warning annotations on problematic tokens are included, as well as indications of problems that are not visible in the current scroll range. "Quick Fix" suggestions are made for resolving problems, and all the features afforded by modern source editors are also included such as copy/cut/paste, undo/redo, and a sophisticated find-and-replace system optionally using regular expressions. The software offers a full XML editor for RML files, which features syntax coloring, content assistance and problem annotations as above. There is a form-based, "detail view" that allows structured editing of command arguments and sequence parameters when preferred. The "project view" shows the user s "workspace" as a tree of "resources" (projects, folders, and files) that can subsequently be opened in editors by double-clicking. Files can be added, deleted, dragged-dropped/copied-pasted between folders or projects, and these operations are undoable and redoable. A "problems view" contains a tabular list of all problems in the current workspace. Double-clicking on any row in the table opens an editor for the appropriate sequence, scrolling to the specific line with the problem, and highlighting the problematic characters. From there, one can invoke "quick fix" as described above to resolve the issue. Once resolved, saving the file causes the problem to be removed from the problem view.

Crockett, Thomas M.↗

NASA NTRS2014

Querying Safety Cases

Querying a safety case to show how the various stakeholders' concerns about system safety are addressed has been put forth as one of the benefits of argument-based assurance (in a recent study by the Health Foundation, UK, which reviewed the use of safety cases in safety-critical industries). However, neither the literature nor current practice offer much guidance on querying mechanisms appropriate for, or available within, a safety case paradigm. This paper presents a preliminary approach that uses a formal basis for querying safety cases, specifically Goal Structuring Notation (GSN) argument structures. Our approach semantically enriches GSN arguments with domain-specific metadata that the query language leverages, along with its inherent structure, to produce views. We have implemented the approach in our toolset AdvoCATE, and illustrate it by application to a fragment of the safety argument for an Unmanned Aircraft System (UAS) being developed at NASA Ames. We also discuss the potential practical utility of our query mechanism within the context of the existing framework for UAS safety assurance.

Safety Case↗

NASA NTRS2023

Aggregating Confidence: A Problem and A Solution

This paper has two main purposes: to articulate a concern about assessing arguments based on confidence; and to provide an assessment procedure which takes this concern into account. The concern is that confidence is a tricky notion for non-deductive Arguments: doubts inherent in Reasoning coalesces with doubts inherent in Premises. And, within a Compound Argument, this may happen many times over, thus accumulating in unpredictable ways. We explain two procedures we have developed to help address the concern in a methodical way.

language↗

DOE OSTI2025

Smooth splitting and zeros from on-shell recursion

We describe a new approach to understanding the origins of recently discovered “hidden zeros” and “smooth splitting” of tree-level amplitudes in Tr ϕ 3 , Non-Linear Sigma Model (NLSM), Yang-Mill-Scalar (YMS) and the special Galileon. Introducing a new type of linear shift in kinematic space we demonstrate that the mysterious splitting formulae follow from a simple contour integration argument in the style of on-shell recursion. The argument makes use of only standard notions of tree-level factorization on propagators, but assumes improved UV behavior in the form of the absence of a residue at infinity. In the case of Tr ϕ 3 and NLSM this is proven by identifying our shift as a special case of a more general construction called a g-vector shift; in the case of YMS it remains an unproven conjecture. This recursive perspective leads to numerous new results: we derive generalizations of the splitting formulae on more relaxed near-zero kinematics, including interesting new kinematic limits in which the amplitude splits into a triple-product; we also demonstrate that the uncolored special Galileon model has improved UV scaling and hence also splits. We also investigate the possible realization of hidden zeros in four dimensions. The conditions under which the dimensionality constraints are compatible with zero kinematics is investigated in detail for Tr ϕ 3 and YMS; for the latter we find they can be realized only with certain restrictions on external helicity states. The realizable 4d zeros are proven by a similar recursive argument based on BCFW and is found to generalize to a new class of intrinsically 4d “helicity zeros” present in all sectors of YM and also gravity.

effective field theories↗

DOE OSTI2020

The electroweak phase transition: a collider target

Determining the thermal history of electroweak symmetry breaking (EWSB) is an important challenge for particle physics and cosmology. Lattice simulations indicate that EWSB in the Standard Model (SM) occurs through a crossover transition, while the presence of new physics beyond the SM could alter this thermal history. The occurrence of a first order EWSB transition would be particularly interesting, providing the needed pre-conditions for generation of the cosmic matter-antimatter asymmetry and sources for potentially observable gravitational radiation. I provide simple, generic arguments that if such an alternate thermal history exists, the new particles involved cannot be too heavy with respect to the SM electroweak temperature, nor can they interact too feebly with the SM Higgs boson. These arguments do not rely on the decoupling limit. I derive corresponding quantitative expectations for masses and interaction strengths which imply that their effects could in principle be observed (or ruled out) by prospective next generation high energy colliders. The simple, generic arguments provide a quantitative, parametric understanding of results obtained in a wide range of explicit model studies; relate them explicitly to the electroweak temperature; and delineate broad contours of collider phenomenology pertaining to a non-standard history of EWSB.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗

DOE OSTI2022

Angular correlation between the fission fragment intrinsic spins

The generation of fission fragment (FF) spins and of their relative orbital angular momentum has been debated for more than six decades, and no consensus has been achieved so far. The interpretation of recent experimental results of Wilson et al., has been challenged by several recent theoretical studies, which are not in agreement with one another. According to the interpretation by Wilson et al., the FF spins emerge very long after scission occurrs. Randrup and Vogt, while agreeing that the FF spins are uncorrelated, conclude on the basis of a phenomenological model that these spins are uncorrelated already before scission. Bulgac et al., in a fully microscopic study demonstrate that the primordial FF spin final values are defined before the emission of prompt neutrons and statistical gammas and are strongly correlated with a relative angle between spins close to 2π/3, a result in full agreement with the present independent analysis. The prompt neutrons and statistical gammas carry a significant amount of angular momentum according to the study of Stetcu et al. which can lead to a decorrelation of the FF bandhead spins of the yrast lines measured by Wilson et al., and which also provides arguments why these measured spins are so different from the primordial FF spins evaluated by Bulgac et al.. Here, I show that the unexpected character of the angular correlation between the primordial FF intrinsic spins, recently evaluated by Bulgac et al., which favors FF intrinsic spins pointing predominantly in opposite directions, can be understood by using simple general phase space arguments. The observation by Wilson et al., that the FF spins are uncorrelated follows from both the results of the microscopic calculation of Bulgac et al., and the present analysis of the full correlated probability distribution of the FF spins together with the relative orbital angular momentum of the primordial FFs. These arguments may apply also to heavy-ion collisions and, since there is no use of specifics of the particle interactions, the present results might apply to atomic and molecular systems as well.

73 NUCLEAR PHYSICS AND RADIATION PHYSICS↗

DOE OSTI2025

Competition between roughness and strength for scale-dependent surfaces

Rocks famously have scale-dependent strength, yet the actual dependence is notoriously hard to measure or incorporate into any theoretical framework. Natural rough surfaces present an opportunity to solve the problem. Surfaces sliding in shear evolve as protrusions collide. These asperities can deform or break, thus creating a new surface shape. In particular, natural surfaces have roughness at all scales as well as scale-dependent strength. Based on a scaling analysis, we have previously suggested that the scale-dependent aspect ratio of steady-state surfaces should be proportional to the scale-dependent shear strain at yield. If true, scale-dependent strength could easily be inferred from natural surfaces. Thus, moving beyond the scaling argument to a rigorous treatment of scale-dependent strength for multiscale rough surfaces in shear is important. However, analytic frameworks for analyzing multiscale problems are challenging, as conventional continuum mechanics typically involves a single value for a material property across scales. Here, in this work, we build on the formalism of Persson (2001) that presents a method to compute contact area for rough surfaces with a prescribed topographic spectrum using a stochastic differential equation. The Persson formalism allows for plastic yield under normal loading of otherwise elastic materials and leaves open the possibility of scale-dependent yield stress. In this study, we pursue this route to develop a theory and numerical results for the yielding of a rough, elastoplastic surface with scale-dependent yield stress. Here, we examine surfaces for which the power spectrum of the topography 𝐶 and yield stress 𝑌 follow power laws as a function of scale 𝜆, such that 𝐶∼𝜆 −𝑚 and 𝑌∼𝜆 −𝑛 , respectively. In this formal treatment of the problem, we focus on surfaces in contact and the resulting yield and do not impose shear. Numerical solutions show that the deviation from the elastic scaling solution is bounded as expected by the prior 1D heuristic scaling argument that anticipates the Hurst exponent as 1−𝑛. We also show that the plasticity is expected to erode the contacts if 𝑚 is lower than 𝑛−3, which corresponds to a Hurst exponent lower than 1−𝑛/2. This result is rigorously sound for 2D, i.e., realistic surfaces, and quantitatively different than the prior scaling argument. The theory now permits a correspondingly quantitative approach to interpreting natural surfaces.

elasticity↗

DOE OSTI2023

Weak gravity conjecture

The weak gravity conjecture holds that in a theory of quantum gravity any gauge force must mediate interactions stronger than gravity for some particles. This statement has surprisingly deep and extensive connections to many different areas of physics and mathematics. Several variations on the basic conjecture have been proposed, including statements that are much stronger but are nonetheless satisfied by all known consistent quantum gravity theories. These related conjectures and the evidence for their validity in the string theory landscape are reviewed. Also reviewed here are a variety of arguments for these conjectures, which tend to fall into two categories: qualitative arguments that claim the conjecture is plausible based on general principles and quantitative arguments for various special cases or analogs of the conjecture. The implications of these conjectures for particle physics, cosmology, general relativity, and mathematics are also outlined. Finally, important directions for future research are highlighted.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗

NASA NTRS1972

Implications of lunar aseismicity.

The aseismicity of the moon has been interpreted by Latham et al. (1970) as an indication that the moon is relatively cold in the interior. An alternative argument is now presented. This argument suggests the reverse conclusion, that the moon is too warm to be seismic. The argument is based on known properties of materials, in particular their modes of failure under shear stress. A tentative conclusion is presented that the moon is largely aseismic because the lunar-therm lies in the stable-sliding field of rock failure. It is too warm, rather than too cold.

Thomsen, L.↗

NASA NTRS1975

Improved upper limit on the photon rest mass

It is shown that application of standard MHD arguments to hydromagnetic waves observed in the Crab Nebula dramatically improves the upper bound on photon rest mass. The standard argument that massive photons are governed by the Phoca field equations is outlined and applied to wisp features (identified as hydromagnetic waves) observed in the Crab. The results imply an upper limit for the photon rest mass of between 3 by 10 to the -54th power and 3 by 10 to the -53rd power gram, which is smaller than the best previous limits by a factor of 10,000 to 100,000. It is noted that although the present limit is probably valid in order of magnitude, some doubt remains since there are inconsistencies in the standard arguments.

Barnes, A.↗

NASA NTRS1993

On Al-26 and other short-lived interstellar radioactivity

Several authors have shown that massive stars exploding at a rate of about three per century can account for a large portion, if not all, of the observed interstellar Al-26. In a separate argument using models of Galactic chemical evolution, Clayton (1984) showed that the Al-26/Al-27 production ratio was not large enough to maintain enough Al-26 in the Galactic disk gas of about 10 exp 10 solar masses having solar composition. We present a resolution of those conflicting arguments. A past history of Galactic infall growing the Galactic disk so dilutes the stable Al-27 concentration that the two approaches can be brought into near agreement. If massive stars dominate the production of Al-26, we suggest that the apparent shortfall of their Al-26/Al-27 yield ratio is to be interpreted as evidence for significant growth of the Galactic disk. We also discuss the implications of these arguments for other extinct radioactivities in meteorites, using I-129 and Sm-146 as examples.

Clayton, Donald D.↗

NASA NTRS2010

A Safety Conundrum Illustrated: Logic, Mathematics, and Science Are Not Enough

In an ideal world, conversations about whether a particular system is safe, or whether a particular method or tool enhances safety, would be emotion-free discussions concentrating on the level of safety required, available evidence, and coherent logical, mathematical, or scientific arguments based on that evidence. In the real world, discussions about safety are often not emotion-free. Political and economic arguments may play a bigger role than logical, mathematical, and scientific arguments, and psychological factors may be as important, or even more important, than purely technical factors. This paper illustrates the conundrum that can result from this clash of the ideal and the real by means of an imagined conversation among a collection of fictional characters representing various types of people who may be participating in a safety discussion.

Holloway, C. M.↗

NASA NTRS2015

AdvoCATE - User Guide

The basic vision of AdvoCATE is to automate the creation, manipulation, and management of large-scale assurance cases based on a formal theory of argument structures. Its main purposes are for creating and manipulating argument structures for safety assurance cases using the Goal Structuring Notation (GSN), and as a test bed and proof-of-concept for the formal theory of argument structures. AdvoCATE is available for Windows 7, Macintosh OSX, and Linux. Eventually, AdvoCATE will serve as a dashboard for safety related information and provide an infrastructure for safety decisions and management.

Safety Case↗

NASA NTRS2013

The Eccentric Behavior of Nearly Frozen Orbits

Frozen orbits are orbits which have only short-period changes in their mean eccentricity and argument of periapse, so that they basically keep a fixed orientation within their plane of motion. Nearly frozen orbits are those whose eccentricity and argument of periapse have values close to those of a frozen orbit. We call them "nearly" frozen because their eccentricity vector (a vector whose polar coordinates are eccentricity and argument of periapse) will stay within a bounded distance from the frozen orbit eccentricity vector, circulating around it over time. For highly inclined orbits around the Earth, this distance is effectively constant over time. Furthermore, frozen orbit eccentricity values are low enough that these orbits are essentially eccentric (i.e., off center) circles, so that nearly frozen orbits around Earth are bounded above and below by frozen orbits.

spacecraft↗

NASA NTRS1961

The Theory of Artificial Satellites in Terms of the Orbital True Longitude

The author's previous theory of the artificial satellite is derived in terms of the. disturbed eccentric anomaly. The present development, in terms of the orbital true longitude, is a substantial improvement over the earlier work in that it leads to the faster convergence for large eccentricities and to a smaller number of terms in the series representing the perturbations. Moreover, each approximation of the radius vector and of the parameters determining the position of the orbit plane is obtained not in the form of a truncated infinite series but in the form of trigonometric polynomials in two arguments. These arguments are the mean true anomaly and the mean argument of the latitude. The present theory, like the previous one, permits the computation of perturbations of any desired order. Thus, any future information about earth's gravitational field can easily be included.

Musen, Peter↗