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 91 records · Page 5
All sourcesNASA NTRSDOE OSTI
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↗
DOE OSTI2017

Demonstrating and argumenting safety of I and C systems - Challenges and recent experiences - 180

Nuclear licensees are required to submit a documented justification of the safety of the plant and its systems to the local regulatory body. Developing this documentation is a hard task and requires a lot of effort from several stakeholders. It should be understandable, transparent, convincing and complete. Observations from the current practice indicate that the nuclear power industry would benefit from more structured, systematic and harmonized practices in engineering instrumentation and control (I and C) systems and justifying their safety. This paper describes recently recognized challenges in demonstrating the safety of digital I and C systems and suggests possible ways to solve them. Some of the proposed solutions are light improvements in the everyday documentation practices, working methods and utilization of computerized support tools, while others would involve fundamental changes in the design and documentation philosophy that are more demanding to implement. (authors)

46 INSTRUMENTATION RELATED TO NUCLEAR SCIENCE AND ↗
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↗