Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “argument”

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 109 records · Page 6
All sourcesNASA NTRSDOE OSTI
DOE OSTI2015

Violation of unitarity by Hawking radiation does not violate energy-momentum conservation

An argument by Banks, Susskind and Peskin (BSP), according to which violation of unitarity would violate either locality or energy-momentum conservation, is widely believed to be a strong argument against non-unitarity of Hawking radiation. We find that the whole BSP argument rests on the crucial assumption that the Hamiltonian is not highly degenerate, and point out that this assumption is not satisfied for systems with many degrees of freedom. Using Lindblad equation, we show that high degeneracy of the Hamiltonian allows local non-unitary evolution without violating energy-momentum conservation. Moreover, since energy-momentum is the source of gravity, we argue that energy-momentum is necessarily conserved for a large class of non-unitary systems with gravity. Finally, we explicitly calculate the Lindblad operators for non-unitary Hawking radiation and show that they conserve energy-momentum.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗
DOE OSTI2017

Analyzing the Semantic Types of Claims and Premises in an Online Persuasive Forum

Argumentative text has been analyzed both theoretically and computationally in terms of argumentative structure that consists of argument components (e.g., claims, premises) and their argumentative relations (e.g., support, attack). Less emphasis has been placed on analyzing the semantic types of argument components. We propose a two-tiered annotation scheme to label claims and premises and their semantic types in an online persuasive forum, Change My View, with the long-term goal of understanding what makes a message persuasive. Premises are annotated with the three types of persuasive modes: ethos, logos, pathos, while claims are labeled as interpretation, evaluation, agreement, or disagreement, the latter two designed to account for the dialogical nature of our corpus. We aim to answer three questions: 1) can humans reliably annotate the semantic types of argument components? 2) are types of premises/claims positioned in recurrent orders? and 3) are certain types of claims and/or premises more likely to appear in persuasive messages than in non-persuasive messages?

Hidey, Christopher↗
NASA NTRS2011

Towards Measurement of Confidence in Safety Cases

Arguments in safety cases are predominantly qualitative. This is partly attributed to the lack of sufficient design and operational data necessary to measure the achievement of high-dependability targets, particularly for safety-critical functions implemented in software. The subjective nature of many forms of evidence, such as expert judgment and process maturity, also contributes to the overwhelming dependence on qualitative arguments. However, where data for quantitative measurements is systematically collected, quantitative arguments provide far more benefits over qualitative arguments, in assessing confidence in the safety case. In this paper, we propose a basis for developing and evaluating integrated qualitative and quantitative safety arguments based on the Goal Structuring Notation (GSN) and Bayesian Networks (BN). The approach we propose identifies structures within GSN-based arguments where uncertainties can be quantified. BN are then used to provide a means to reason about confidence in a probabilistic way. We illustrate our approach using a fragment of a safety case for an unmanned aerial system and conclude with some preliminary observations

Denney, Ewen↗
NASA NTRS2007

Optimisation of the Future Routine Orbit for Mars Express

Mars Express (MEX), the first planetary mission of the European Space Agency (ESA), reached Mars on December 25th 2003. Since then it is performing routine operations. Its operational phase had to cover one Martian year, with the possibility of an extension for a second Martian year (i.e. until November 2007). The end of the mission extension is approaching but, given the good health of the payload instruments and the high science return of the mission, there is a strong will to achieve further extensions. Mars Express is also seen as an important asset, capable to provide relay functions for future Martian missions. The ESA Science Program Committee has recently approved a second extension of the MEX mission until May 2009 and even further extensions are possible. Mars Express has an eccentric quasi-polar orbit with a period of approximately 6.72 hours and a pericentre height of about 300 km. Science observations are mainly performed at pericentre (but not only). In addition the orbit has a resonance of 11 revolutions per 3 Martian days. This means that ground tracks corresponding to orbits separated by 11 revolutions are adjacent, such that a given area can be covered by the on-board camera without leaving gaps. The J2 effect of Mars causes a drift of both ascending node and argument of pericentre. The drift of argument of pericentre makes it possible to observe periodically all Mars latitudes from close distance. Illumination conditions at pericentre are influenced by both the drift of the argument of pericentre and the drift of ascending node, as well as by the rotation of Mars around the Sun. The original MEX routine orbit was optimized for the duration of the nominal mission and extension, such that it produced a balanced share of day-side observations (for the optical instruments) and night-side observations (for the radar). The orbit was thus not optimized for the time beyond the assumed extension. Indeed, the evolution of the ascending node and argument of pericentre would cause in the following years a drift of the pericentre towards night-side observation conditions, hence uninteresting for the optical instruments. In order to prevent this an optimisation process for the future routine orbit has taken place. The share between day-side and night-side observations can be controlled by adjusting the drift of argument of pericentre and ascending node. This can in particular be achieved by changing the semimajor axis, eccentricity and/or inclination. A change of inclination is inefficient compared to a change in semimajor axis and eccentricity, and has therefore been discarded. An in-plane maneuvre can be performed to change both semi-major axis and eccentricity, and thus the period of the orbit. Although an apocentre manoeuvre is cheaper in terms of deltaV, it would result in raising the pericentre height, which is unfavourable for close observations. Hence a pericentre manoeuvre is proposed, which will increase the apocentre height. A repeat cycle is still required to allow mapping areas with adjacent ground tracks, so the change of semimajor axis must result in a new resonance. Resonances 18:5, 25:7 and 7:2 have been considered as potential candidates. The resulting long term evolution of the observation conditions has been analysed. Finally it has been decided to perform a change of orbit to reach the 18:5. Another aspect of the optimisation process is the control of the ground track. The previous MEX reference trajectory included regular maneuvres at every apocentre in order to adjust the orbital period, such that the separation of the ground tracks would be optimal, regardless of the latitude of pericentre. The implementation of the actual delatVs on-board was done partly by optimizing the attitude of reaction-wheel desaturation activities. Despite of it, this strategy has a significant propellant cost, because it prevents to optimize reaction wheel de-saturation activities to minimize propellant consumption. Therore, with the aim at preserving propellant resources for a long time extension it has been agreed to stop the ground-track control. This requires now a more accurate science operation planning, with improved attitude pointing control. Finally, the approach to phase Mars Express to provide back-up relay functions for NASA Phoenix landing is explained. In the context of the routine trajectory optimisation a new requirement for close fly-bys at Phobos, with different observation geometries, has been specified. The approach to fulfill this requirement is explained.

Carranza, Manuel↗
NASA NTRS2021

Retrospectively Documenting Satisfaction of the Overarching Properties: An Exploratory Prototype

Software-intensive aviation systems are typically developed in accordance with recognized development process, safety analysis, and software development standards such as SAE ARP4754A, SAE ARP4761, and RTCA DO-178C. Efforts to streamline assurance processes and make them flexible enough to handle future assurance challenges have produced the Overarching Properties (OPs) for airworthiness approval. Each of the three OPs is a property systems must possess to be certifiable. There is no mandated means of documenting possession of the OPs. To explore possible means, we have prepared retrospective documentation showing that a specimen software system possesses the OPs. The specimen system, Safeguard, enforces geofencing restrictions on unmanned aerial vehicles. Our OP-possession case for its airborne component comprises eight arguments in the Goal Structuring Notation (GSN): a main argument for each OP and five cross-cutting auxiliary arguments. We present this argument as an example for discussion and further research, e.g., into means of assessing OP possession.

safety case↗
DOE OSTI2015

High-resolution vacuum-ultraviolet photoabsorption spectra of 1-butyne and 2-butyne

The absolute photoabsorption cross sections of 1- and 2-butyne have been recorded at high resolution by using the vacuum-ultraviolet Fourier-Transform spectrometer at the SOLEIL Synchrotron. Both spectra show more resolved structure than previously observed, especially in the case of 2-butyne. In this work, we assess the potential importance of Rydberg states with higher values of orbital angular momentum, l, than are typically observed in photoabsorption experiments from ground state molecules. We show how the character of the highest occupied molecular orbitals in 1- and 2-butyne suggests the potential importance of transitions to such high-l (l = 3 and 4) Rydberg states. Furthermore, we use theoretical calculations of the partial wave composition of the absorption cross section just above the ionization threshold and the principle of continuity of oscillator strength through an ionization threshold to support this conclusion. The new absolute photoabsorption cross sections are discussed in light of these arguments, and the results are consistent with the expectations. This type of argument should be valuable for assessing the potential importance of different Rydberg series when sufficiently accurate direct quantum chemical calculations are difficult, for example, in the n ≥ 5 manifolds of excited states of larger molecules.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗
DOE OSTI2014

The Ĝ infrared search for extraterrestrial civilizations with large energy supplies. I. Background and justification

We motivate the Ĝ infrared search for extraterrestrial civilizations with large energy supplies. We discuss some philosophical difficulties of the search for extraterrestrial intelligence (SETI), and how communication SETI circumvents them. We review 'Dysonian SETI', the search for artifacts of alien civilizations, and find that it is highly complementary to traditional communication SETI; the two together might succeed where either one alone has not. We discuss the argument of Hart that spacefaring life in the Milky Way should be either galaxy-spanning or non-existent, and examine a portion of his argument that we call the 'monocultural fallacy'. We discuss some rebuttals to Hart that invoke sustainability and predict long Galaxy colonization timescales. We find that the maximum Galaxy colonization timescale is actually much shorter than previous work has found (<10{sup 9} yr), and that many 'sustainability' counter-arguments to Hart's thesis suffer from the monocultural fallacy. We extend Hart's argument to alien energy supplies and argue that detectably large energy supplies can plausibly be expected to exist because life has the potential for exponential growth until checked by resources or other limitations, and intelligence implies the ability to overcome such limitations. As such, if Hart's thesis is correct, then searches for large alien civilizations in other galaxies may be fruitful; if it is incorrect, then searches for civilizations within the Milky Way are more likely to succeed than Hart argued. We review some past Dysonian SETI efforts and discuss the promise of new mid-infrared surveys, such as that of WISE.

79 ASTRONOMY AND ASTROPHYSICS↗
DOE OSTI2020

sbang

sbang lets users run scripts with very long shebang (#!) lines. Many operating systems limit the length and number of possible arguments in shebang lines, making it hard to use interpreters that are deep in the directory hierarchy or require special arguments. To use it, a user puts the long shebang on the second line of their script, and makes sbang the interpreter, like this: #!/bin/sh /path/to/sbang #!/long/path/to/real/interpreter with arguments. sbang will run the real interpreter with the script as its argument.

Gamblin, Todd↗
DOE OSTI2019

Fixed That for You: Generating Contrastive Claims with Semantic Edits

Understanding contrastive opinions is a key component of argument generation. Central to an argument is the claim, a statement that is in dispute. Generating a counter-argument then requires generating a response in contrast to the main claim of the original argument. To generate contrastive claims, we create a corpus of Reddit comment pairs self-labeled by posters using the acronym FTFY (fixed that for you). We then train neural models on these pairs to edit the original claim and produce a new claim with a different view. We demonstrate significant improvement over a sequence-to-sequence baseline in BLEU score and a human evaluation for fluency, coherence, and contrast.

Hidey, Christopher↗
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 OSTI2016

Scale invariance, conformality, and generalized free fields

This paper addresses the question of whether there are 4D Lorentz invariant unitary quantum fi eld theories with scale invariance but not conformal invariance. We present an important loophole in the arguments of Luty-Polchinski-Rattazzi and Dymarsky-Komargodski-Schwimmer-Theisen that is the trace of the energy-momentum tensor T could be a generalized free field. In this paper we rule out this possibility. The key ingredient is the observation that a unitary theory with scale but not conformal invariance necessarily has a non-vanishing anomaly for global scale transformations. We show that this anomaly cannot be reproduced if T is a generalized free field unless the theory also contains a dimension-2 scalar operator. In the special case where such an operator is present it can be used to redefine ("improve") the energy-momentum tensor, and we show that there is at least one energy-momentum tensor that is not a generalized free field. In addition, we emphasize that, in general, large momentum limits of correlation functions cannot be understood from the leading terms of the coordinate space OPE. This invalidates a recent argument by Farnsworth-Luty-Prilepina (FLP). Finally, despite the invalidity of the general argument of FLP, some of the techniques turn out to be useful in the present context.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗
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↗