Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “VIOLATIONS”

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 703 records · Page 39

Investigating Detect-and-Avoid Surveillance Performance for Unmanned Aircraft Systems

Most unmanned aircraft systems will be required to be equipped with a Detect-and-Avoid (DAA) system with a surveillance component. The surveillance performance requirements of the DAA system to detect and track intruder aircraft will depend on the encounter geometries that unmanned aircraft are expected to have with other aircraft in the airspace. This presentation shows the analysis of the encounter geometries that were simulated using historical low-altitude traffic data and some proposed UAS missions. This analysis suggests how the overall safety and performance of a surveillance system may relate to surveillance parameters such as surveillance range, horizontal and vertical fields or regard. This study proposed and investigated potential safety and performance metrics for evaluating the performance of a surveillance system, such as the ratio of undetected and late-detected separation violations, and the time to violation at first detection for given sets of surveillance parameters.

UAS↗

Investigating Surveillance Performance for UAS Detect-and-Avoid Systems

Most unmanned aircraft systems will be required to be equipped with a detect-and-avoid system that is capable of maintaining appropriate separation from other aircraft. One of the critical components of detect-and-avoid systems is a surveillance system that identifies potential threat aircraft in real time and tracks these aircraft so that their future trajectories may be used to predict conflicts. The performance of the detect-and-avoid system generally depends on technical parameters of the surveillance system, such as the surveillance range. The quantitative requirements for detect-and-avoid systems will be determined to meet safety metrics for the operation of unmanned aircraft systems in the National Airspace System. This study employs a sensor model comprised of the surveillance range, and horizontal and vertical fields of regard that mainly characterize the overall performance of a surveillance system. In this study, potential metrics for evaluating the performance of a surveillance system were investigated through fast-time simulation with a traffic scenario that included both proposed unmanned aircraft flights and historical visual flight rule aircraft tracks. Using the simulation results, an overall analysis of encounter geometry highlights the encounter characteristics that relate surveillance parameters to safety metrics and detect-and-avoid system performance. Then, given several candidate surveillance volumes, performance and safety metrics are derived; these metrics include the ratio of undetected and late-detected violations and the time to violation at first detection. These example metrics demonstrate the utility of the database of encounters created in this work, a database which will be useful in the derivation of required detect-and-avoid surveillance system requirements.

Lee, Seung Man↗

On Expected Value Strong Controllability

The Probabilistic Simple Temporal Network (PSTN) generalizes Simple Temporal Networks with Uncertainty (STNUs) by introducing probability distributions over the timing of uncontrollable timepoints. PSTNs are controllable if there is a strategy to execute the controllable timepoints while bounding the risk of violating any constraint to a small value. If this risk bound can't be satisfied, PSTNs are not considered controllable. We introduce the Expected Value Probabilistic SimpleTemporal Network (EPSTN), which extends PSTNs by including a benefit to the satisfaction of temporal constraints. We study the problem of Expected Value Strong Controllability (EvSC) of EPSTNs, which seeks a schedule maximizing the expected value of satisfied constraints. We solve the EvSC problem by extending a previously developed linear program, combined with search over constraints to violate at execution time. We describe conditions under which the solution to this linear program is the maximum expected value schedule. We then show how to search for constraints to discard, using the linear program at the core of the search. While the general problem is shown to be exponential, we conclude by providing several methods to bound the complexity of search.

Planning↗

Run Time Assurance as an Alternate Concept to Contemporary Development Assurance Processes

NASA and the FAA sought industry research to identify and evaluate alternate concepts for assuring safety of airborne systems. This report documents a research effort focused on the evaluation of Run Time Assurance (RTA) as applied to a novel, airborne system architecture. The RTA pattern is applied to a case study focused on a notional integrated flight and propulsion control system for a DEP VTOL aircraft. During flight, while the high-automation algorithms are operating, the RTA system will monitor the aircraft state for any impending violation of safety requirements. When necessary, it will switch to the low-automation software to prevent such violations. Assurance practices for both baseline industry activities and the RTA approach were captured and compared to illustrate the required engineering design considerations, and possible advantages and disadvantages of each approach as part of this case study.

Eric M. Peterson↗

Reducing Errors in Velocity–Azimuth Display (VAD) Wind and Deformation Retrievals from Airborne Doppler Radars in Convective Environments

The present study describes methods to reduce the uncertainty of velocity–azimuth display (VAD) wind and deformation retrievals from downward-pointing, conically scanning, airborne Doppler radars. These retrievals have important applications in data assimilation and real-time data processing. Several error sources for VAD retrievals are considered here, including violations to the underlying wind field assumptions, Doppler velocity noise, data gaps, temporal variability, and the spatial weighting function of the VAD retrieval. Specific to airborne VAD retrievals, we also consider errors produced due to the radar scans occurring while the instrument platform is in motion. While VAD retrievals are typically performed using data from a single antenna revolution, other strategies for selecting data can be used to reduce retrieval errors. Four such data selection strategies for airborne VAD retrievals are evaluated here with respect to their effects on the errors. These methods are evaluated using the second hurricane nature run numerical simulation, analytic wind fields, and observed Doppler radar radial velocities. The proposed methods are shown to reduce the median absolute error of the VAD wind retrievals, especially in the vicinity of deep convection embedded in stratiform precipitation. The median absolute error due to wind field assumption violations for the along-track and for the across-track wind is reduced from 0.36 to 0.08 m s−1 and from 0.35 to 0.24 m s−1, respectively. Although the study focuses on Doppler radars, the results are equally applicable to conically scanning Doppler lidars as well.

Charles N Helms↗

Impact of Fluid Flow Pressure drop on Temperature of Components Controlled by Mechanically Pumped Fluid Loop Thermal Control System

In a typical thermal control system that employs a mechanically pumped fluid loop to control component temperatures, fluid flow pressure drop is minimized to ensure that adequate fluid flow can be provided by the pump. Engineers often are overly concerned about violating a maximum pressure drop, almost treating it as a “wall” that should not be crossed. The true “wall” is the control of the temperatures of the components served by the loop to ensure that their temperatures do not violate their allowed limits. As a case study, for assessing this “constraint,” sensitivity analyses were undertaken to understand if this is truly a major constraint, and to assess the impact of pressure drop exceedance on the controlled components’ temperatures. The flow impedance is varied as a parameter to understand how it affects the controlled components’ temperatures. One key finding was that the temperatures of the controlled components is relatively insensitive to the flow impedance increases. This finding is obviously most relevant to this particular case study; however, this also provides the process and guidance for assessing the performance of other pump/loop combinations in terms of their sensitivity to pressure drop impedances.

Mastropietro, Arthur J.↗

Tests of Gravitational Symmetries with Pulsar Binary J1713+0747

Symmetries play a fundamental role in modern theories of gravity. The strong equivalence principle (SEP) constitutes a collection of gravitational symmetries which are all implemented by general relativity. Alternative theories, however, are generally expected to violate some aspects of SEP. We test three aspects of SEP using observed change rates in the orbital period and eccentricity of binary pulsar J1713+0747: (1) the gravitational constant’s constancy as part of locational invariance of gravitation; (2) the universality of free fall (UFF) for strongly self-gravitating bodies; (3) the post-Newtonian parameter ˆα3 in gravitational Lorentz invariance. Based on the pulsar timing result of the combined data set from the North American Nanohertz Gravitational Observatory and the European Pulsar Timing Array, we find G˙ /G = (−0.1 ± 0.9) × 10−12 yr−1, which is weaker than Solar system limits, but applies for strongly self-gravitating objects. Furthermore, we obtain an improved test for a UFF violation by a strongly self-gravitating mass falling in the gravitational field of our Galaxy, with a limit of |Delta| < 0.002 (95 per cent C.L.). Finally, we derive an improved limit on the self-acceleration of a gravitationally bound rotating body, to a preferred reference frame in the Universe, with −3 × 10−20 < ˆα3 < 4 × 10−20 (95 per cent C.L.). These results are based on direct UFF and ˆα3 tests using pulsar binaries, and they overcome various limitations of previous tests of this kind.

W W Zhu↗

Novel concept for detection of a fluid flow fault in a pumped fluid heat rejection system

A pumped fluid heat rejection system (HRS) requires continuous flow of the working fluid to ensure that the components controlled by the HRS stay within their allowable temperature limits. An interruption of flow could result in violations of hardware qualification limits and mission failure. Some of these violations can happen within a few hours. Hence, quick detection of a flow fault to invoke mitigation measures is very critical. In typical pumped fluid HRS, dual or triple pumps are employed to switch the backup units in case the primary unit were to fail. The key metric for the selection of a fault detection system is that it should detect the fault much before the fault’s impact on the thermal health of the HRS controlled components is realized. A trade study was conducted to select such a system for the Europa Clipper Mission to Europa, a moon of Jupiter that is planned for a launch in 2023. Out of the several concepts studied, the most attractive one was a novel and simple concept that uses a low power film heater attached to a section of the HRS tubing. While the fluid flows at its nominal rate, the high thermal coupling of the flowing fluid leads to the tube being close to the fluid’s temperature. However, when the flow stops, the heater warms the small thermal mass of the tubing to a high temperature in a short span of time (~15 minutes). This large temperature rise would then imply that the flow must have stopped. This paper will describe the various concepts considered, the chosen concept, its implementation, and the results of developments tests to validate its performance.

Schmidt, Tyler↗

Soy expansion in Brazil's Cerrado

The Cerrado biome is Brazil's breadbasket and a major provider of ecosystem services, though these dual roles are increasingly at odds, in part because there are few mechanisms to protect remaining vegetation from large‐scale agricultural expansion. We assessed Cerrado conversion to soy using over 580,000 property boundaries, covering 77% of the biome that is eligible for commercial land use, and using microwatersheds, to cover 100% of eligible areas. Soy expansion accounted for 22% of conversion during 2003–14. Only 15% of clearing exceeded restrictions on private properties under the Forest Code (FC). However, 51% of soy farms have violated the FC, five times the rate of other farms. As a leading cause of both Cerrado conversion and FC violations, the soy sector has environmental and economic incentives to shift production to already cleared land. We used suitability maps to identify potential pathways for soy expansion across both old and new cropland frontiers.

Brazil↗

NASA Engineering and Safety Center Technical Bulletin No. 21-04: Evaluating Appropriateness of LEFM Tools for COPV and Metal Pressure Vessel Damage Tolerance Life Verification

Human spaceflight composite overwrapped pressure vessels (COPVs) and metal pressure vessels can use linear elastic fracture mechanics (LEFM) analysis to demonstrate damage tolerance life per ANSI/AIAA-S-081 for COPVs and ANSI/AIAA-S-080 for metal pressure vessels. LEFM analysis assumptions require that the crack tip plastic zone is small relative to the crack size and is completely surrounded by elastically responding material. Test and analysis have shown that LEFM tools (i.e., NASGRO*) can provide unconservative crack growth predictions for cracks in COPV liners that violate LEFM assumptions. COPV and metal pressure vessel designers should evaluate and address the violation of LEFM plasticity assumptions before using LEFM analysis tools for damage tolerance life verification.

COPV↗

Integrating Mission Timelines and Procedures to Enhance Situational Awareness in Human Spaceflight Operations

Future human spaceflight missions to the Moon, Mars, and beyond will have significant transmission delays and reduced communications bandwidth compared to operations in Low Earth Orbit, requiring increased crew autonomy due to the limited availability of real-time support from Mission Control Center (MCC). In this paper, we argue for the development of technology to enhance situational awareness (SA) for a remote MCC and astronauts onboard the vehicle, describe a usability study conducted towards this aim, and identify key usability features for the design of future integrated timeline tools. By tightly integrating timelines and procedures, future crew systems can predict future constraint violations, suggest resolutions to these violations, and ultimately support more successful missions.

User experience↗

Design and Testing of an Approach to Automated In-Flight Safety Risk Management for sUAS Operations

An onboard risk management automation design is presented based on run-time assurance principles, as well as the concept for In-Time Aviation Safety Management Systems (IASMS) as described by the National Academies. The automation is designed to operate independently of the autopilot and perform real-time risk assessment spanning multiple classes of hazards, predict constraint violations, and track autopilot states. In the event of elevated risk conditions or predicted constraint violations, the automation will select from a set of available contingencies and trigger autopilot mode changes if necessary to mitigate risk exposure. The onboard automation also informs the remote operator/pilot of what the independent monitor is observing and any contingency decisions or actions that may arise during flight. Details of an implementation of this design and results of verification and validation activities, as required to meet stringent NASA software and system assurance standards, are also presented. This includes simulation and flight testing using small unmanned aircraft systems.

Ersin Ancel↗

Integrating Mission Timelines and Procedures to Enhance Situational Awareness in Human Spaceflight Operations

Future human spaceflight missions to the Moon, Mars, and beyond will have significant transmission delays and reduced communications bandwidth compared to operations in Low Earth Orbit, requiring increased crew autonomy due to the limited availability of real-time support from Mission Control Center (MCC). In this paper, we argue for the development of technology to enhance situational awareness (SA) for a remote MCC and astronauts onboard the vehicle, describe a usability study conducted towards this aim, and identify key usability features for the design of future integrated timeline tools. By tightly integrating timelines and procedures, future crew systems can predict future constraint violations, suggest resolutions to these violations, and ultimately support more successful missions.

user experience↗

Demonstration of a Compact Franson Interferometer for Highly Non-degenerate Time-energy Entangled Photons

We present results from a time-energy entanglement Bell inequality violation measurement of two highly non-degenerate photons using a compact Franson interferometer. The entangled photons are generated via the spontaneous parametric downconversion of a 532 nm pump photon into time-energy and polarization degrees of freedom hyper-entangled 810 nm and 1550 nm photons. The source is a type II periodically poled potassium titanyl phosphate (KTP) crystal with a fiber-coupled input and free-space output. These wavelengths are of particular interest as they lie at the intersection of free-space quantum communication and terrestrial entanglement distribution due to 810 nm undergoing little atmospheric absorption, making it a candidate for satellite to ground quantum links. Furthermore, 1550 nm is capable of directly interfacing with existing telecommunications infrastructure. We report an initial violation of Bell's inequality by more than 3 standard deviations and describe efforts to improve upon this while maintaining stable operation in a low size, weight, and power (SWaP) package.

A J Fallon↗

Analysis and Monitoring of Cyber-Physical Systems via Environmental Domain Knowledge & Modeling

While verifying adherence to a specification (i.e., specification-based testing) is important, the results are only as valid as the specification itself. Problematically, verifying a system specification must be done within the context of changing or even unknown environmental domain knowledge that could render the specification ineffective or incorrect. This issue is even more apparent in the context of self-adaptive systems, where uncertainty in both the system configuration and environment can impact the validity of the system. This paper introduces a method to explicitly model domain knowledge of the environment as a secondary system to enable design-time verification against documented environmental assumptions (i.e., those elements external to the system). In addition, run-time monitors are used to detect scenarios in the actual environment not specified by the modeled environmental domain knowledge. Rather than simply identifying unexpected inputs, our approach is able to identify run-time violations of the environmental domain knowledge, even when inputs appear valid based on the domain assumptions embedded in the system specification. These violations can then be used to correspondingly update the system and environmental specifications via automated run-time adaptation or subsequent design-time revisions. We illustrate our approach by applying our method to a running example of a goal-based model of a baby monitor.

Byron DeVries↗

Testing the Gravitational Redshift With an Inner Solar System Probe: the Veritas Case

The NASA Discovery-class mission VERITAS, selected in June 2021, will be launched towards Venus after 2027. In addition to the science instrumentation that will build global foundational geophysical datasets, VERITAS proposed to conduct a technology demonstration for the Deep Space Atomic Clock (DSAC-2). A first DSAC successfully operated in low-Earth orbit for more than two years, demonstrated the trapped ion atomic clock technology, and established a new level of performance for clocks in space. DSAC-2 would have further improvements in size, power, and performance. It would host a 1× 10 -13 grade USO to produce a frequency output with short-term stability of less than 2× 10 -13 /√ τ (where τ is the averaging time).However, due to funding shortfalls, DSAC-2, had to be canceled. The initially foreseen presence of an atomic clock on board the probe, however, raised the question whether this kind of instrumentation could be useful not only for navigation and time transfer but also for fundamental physics tests. In this work, we consider the DSAC-2 atomic clock and VERITAS mission as a specific example to measure possible discrepancies in the redshift predicted by General Relativity by using an atomic clock onboard an interplanetary spacecraft. In particular we investigate the possibility of measuring possible violations of the Local Lorentz Invariance and Local Position Invariance principles. We perform accurate simulations of the experiment during the VERITAS cruise phase. We consider different parametrizations of the possible violations of the General Relativity, different operational conditions, and several different assumptions on the expected measurement performance. We show that DSAC-2 onboard VERITAS would provide new and improved constraints with respect to the current knowledge. Our analysis shows the scientific value of atomic clocks like DSAC-2 hosted onboard interplanetary spacecraft.

Fabrizio De Marchi↗

A Human-In-The-Loop Simulation for Urban Air Mobility in the Terminal Area

In this paper researchers propose a human-in-the-loop experiment to study human performance when tasked with tactical deconfliction in terminal area air taxi operations. The air taxi operations being considered herein are an advanced air transportation concept called Urban Air Mobility (UAM). The UAM concept aims to support not only air taxi operations, but also package delivery and emergency response among other use cases. The key innovation over current air transportation lies with the introduction of highly automated aircraft and air traffic management systems. Development of the UAM system will include transitional midterm phases where some operational services will be provided by a mixture of automation and human actors. Midterm operations present a unique challenge, since the scope of responsibility of automated systems is largely undefined, suggesting the need for direct human participation with little to inform how much human intervention is necessary. Here it is assumed that traffic management responsibilities require coordination between human actors and automated systems and focus on arrival flows for midterm operations. In the proposed human-in-the-loop simulation, virtual UAM traffic is strategically deconflicted by a Provider of Services for UAM at departure, then tactically managed by a human at the arrival facility. Generated traffic consists of UAM participants flying in UAM exclusive airspace structures, thus isolated from traditional traffic. The human operator is tasked with managing spacing of arrival traffic and executing speed adjustments as deemed necessary. Researchers propose the investigation of three levels of automation assistance: 1) no assistance; 2) spacing violation detection; 3) spacing violation detection and speed adjustment recommendations. Quantitative measures like throughput and delay are used to assess the human's capacity for accommodating airborne delays. Qualitative evaluations such as surveys and open-ended feedback are used to gain insight into human factors. These factors could introduce additional capacity constraints on traffic, independent of physical or technical constraints. Although findings for this study will not be reported as the study has not yet been executed, the authors conclude with potential outcomes informed by previous simulations in the literature and suggestions for the structure and procedures of midterm human-automation air traffic management.

UAM↗

A Human-In-The-Loop Simulation for Urban Air Mobility in the Terminal Area

In this presentation we propose a human-in-the-loop experiment to study the potential impact of human engagement in tactical mitigation of delay in terminal area air taxi operations. The air taxi operations being considered herein is an advanced air transportation concept called Urban Air Mobility (UAM). The UAM concept aims to support not only air taxi operations, but also package delivery and emergency response among other use cases. The key innovation over current air transportation lies with the introduction of autonomous aircraft and autonomous air traffic management systems. Development of the UAM system will include transitional midterm phases where some operational services will be provided by a mixture of automation and human actors. Midterm operations present a unique challenge, since the scope of responsibility of automated systems is largely undefined, suggesting the need for direct human participation with little to inform how much human intervention is necessary. Here we assume that traffic management responsibilities require coordination between human actors and automated systems and focus on arrival flows for midterm operations. In the proposed human-in-the-loop simulation, virtual UAM traffic is strategically deconflicted by a Provider of Services for UAM at departure, then tactically managed by a human at the arrival facility. Generated traffic consists of UAM participants flying in UAM exclusive airspace structures, thus isolated from traditional traffic. The human operator is tasked with managing spacing of arrival traffic and executing speed adjustments as deemed necessary. We propose the investigation of three levels of automation assistance: 1) no assistance; 2) spacing violation detection; 3) spacing violation detection and speed adjustment recommendations. Quantitative measures like throughput and delay are used to assess the human's capacity for accommodating airborne delays. Qualitative evaluations such as surveys and open-ended feedback are used to gain insight into human factors. These factors could introduce additional capacity constraints on traffic, independent of physical or technical constraints. Although findings for this study will not be reported as the study has not yet been executed, we conclude with potential outcomes informed by previous simulations in the literature and suggestions for the structure and procedures of midterm human-automation air traffic management.

UAM↗