Search NASA⌕ Search

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.

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

At least 73 records · Page 4
All sourcesNASA NTRSDOE OSTI
NASA NTRS1997

Kinematic arguments against single relativistic shell models for GRBs

Two main types of models have been suggested to explain the long durations and multiple peaks of Gamma Ray Bursts (GRBs). In one, there is a very quick release of energy at a central site resulting in a single relativistic shell that produces peaks in the time history through its interactions with the ambient material. In the other, the central site sporadically releases energy over hundreds of seconds forming a peak with each burst of energy. The authors show that the average envelope of emission and the presence of gaps in GRBs are inconsistent with a single relativistic shell. They estimate that the maximum fraction of a single shell that can produce gamma-rays in a GRB with multiple peaks is 10(exp (minus)3), implying that single relativistic shells require 10(exp 3) times more energy than previously thought. They conclude that either the central site of a GRB must produce (approx)10(exp 51) erg/s(exp (minus)1) for hundreds of seconds, or the relativistic shell must have structure on a scales the order of (radical)(epsilon)(Gamma)(exp (minus)1), where (Gamma) is the bulk Lorentz factor ((approximately)10(exp 2) to 10(exp 3)) and (epsilon) is the efficiency.

Fenimore, Edward E.↗
NASA NTRS1978

The chemical activities of the Viking biology experiments and the arguments for the presence of superoxides, peroxides, gamma-Fe2O3 and carbon suboxide polymer in the Martian soil

The evolution of N2, Ar, O2, and CO2 from Martian soil as a function of humidity in the Gas Exchange Experiment are correlated with the mean level of water vapor in the Martian atmosphere. All but O2 are associated with desorption. The evolution of oxygen is consistent with the presence of alkaline earth and alkali metal superoxides; and their peroxides and the gamma-Fe2O3 in the soil can account for the generation of radioactive gas in the Labeled Release Experiment. The slower evolution of CO2 from both the Gas Exchange Experiment and the Labeled Release Experiment are associated with the direct oxidation of organics by gamma-Fe2O3. The Pyrolytic Release Experiment's second peak may be carbon suboxide as demonstrated by laboratory experiments. A necessary condition is that the polymer exists in the Martian soil. We ascribe the activity of the surface samples to the reaction of Martian particulates with an anhydrous CO2 atmosphere activated by uv and ionizing radiations. The surface particles are ultimately altered by exposure to small but significant amounts of water at the sites. From the working model, we have predicted the peculiar nature of the chemical entities and demonstrated that the model is justified by laboratory data. The final confirmation of this model will entail a return to Mars, but the nature and implications of this chemistry for the Martian surface is predicted to reveal even more about Mars with further simulations in the laboratory.

long duration↗
NASA NTRS2004

Argumentation for coordinating shared activities

There is an increasing need for space missions to be able to collaboratively (and competitively) develop plans both within and across missions. In addition, interacting spacecraft that interleave onboard planning and execution must reach consensus on their commitments to each other prior to execution.

scheduling↗
NASA NTRS2009

An Argument Against Augmenting the Lagrangean for Nonholonomic Systems

Although it is known that correct dynamical equations of motion for a nonholonomic system cannot be obtained from a Lagrangean that has been augmented with a sum of the nonholonomic constraint equations weighted with multipliers, previous publications suggest otherwise. An example has been proposed in support of augmentation and purportedly demonstrates that an accepted method fails to produce correct equations of motion whereas augmentation leads to correct equations; this paper shows that in fact the opposite is true. The correct equations, previously discounted on the basis of a flawed application of the Newton-Euler method, are verified by using Kane's method and a new approach to determining the directions of constraint forces. A correct application of the Newton-Euler method reproduces valid equations.

Roithmayr, Carlos M.↗
NASA NTRS2010

Safety Arguments for Next Generation, Location Aware Computing

Concerns over accuracy, availability, integrity, and continuity have limited the integration of Global Positioning System (GPS) and Global Navigation Satellite System (GLONASS) for safety-critical applications. More recent augmentation systems, such as the European Geostationary Navigation Overlay Service (EGNOS) and the North American Wide Area Augmentation System (WAAS) have begun to address these concerns. Augmentation architectures build on the existing GPS/GLONASS infrastructures to support location based services in Safety of Life (SoL) applications. Much of the technical development has been directed by air traffic management requirements, in anticipation of the more extensive support to be offered by GPS III and Galileo. WAAS has already been approved to provide vertical guidance for aviation applications. During the next twelve months, the full certification of EGNOS for SoL applications is expected. This paper discusses similarities and differences between the safety assessment techniques used in Europe and North America.

Johnson, C. W.↗
NASA NTRS2023

Arguments for the Physical Nature of the Triggered Ion-Acoustic Waves Observed on the Parker Solar Probe

Triggered ion-acoustic waves are a pair of coupled waves observed in the previously unexplored plasma regime near the Sun. They may be capable of producing important effects on the solar wind. Because this wave mode has not been observed or studied previously and it is not fully understood, the issue of whether it has a natural origin or is an instrumental artifact can be raised. This paper discusses this issue by examining 13 features of the data such as whether the triggered ion-acoustic waves are electrostatic, whether they are both narrowband, whether they satisfy the requirement that the electric field is parallel to the k-vector, whether the phase difference between the electric field and the density fluctuations is 90°, whether the two waves have the same phase velocity as they must if they are coupled, whether the phase velocity is that of an ion-acoustic wave, whether they are associated with other parameters such as electron heating, whether the electric field instrument otherwise performed as expected, etc. The conclusion reached from these analyses is that triggered ion-acoustic waves are highly likely to have a natural origin although the possibility that they are artifacts unrelated to processes occurring in the natural plasma cannot be eliminated. This inability to absolutely rule out artifacts as the source of a measured result is a characteristic of all measurements.

Electric fields↗
NASA NTRS2015

Towards a Formal Basis for Modular Safety Cases

Safety assurance using argument-based safety cases is an accepted best-practice in many safety-critical sectors. Goal Structuring Notation (GSN), which is widely used for presenting safety arguments graphically, provides a notion of modular arguments to support the goal of incremental certification. Despite the efforts at standardization, GSN remains an informal notation whereas the GSN standard contains appreciable ambiguity especially concerning modular extensions. This, in turn, presents challenges when developing tools and methods to intelligently manipulate modular GSN arguments. This paper develops the elements of a theory of modular safety cases, leveraging our previous work on formalizing GSN arguments. Using example argument structures we highlight some ambiguities arising through the existing guidance, present the intuition underlying the theory, clarify syntax, and address modular arguments, contracts, well-formedness and well-scopedness of modules. Based on this theory, we have a preliminary implementation of modular arguments in our toolset, AdvoCATE.

Safety↗
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 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↗