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 91 records · Page 5
All sourcesNASA NTRSDOE OSTI
NASA NTRS1988

Space station payload operations scheduling with ESP2

The Mission Analysis Division of the Systems Analysis and Integration Laboratory at the Marshall Space Flight Center is developing a system of programs to handle all aspects of scheduling payload operations for Space Station. The Expert Scheduling Program (ESP2) is the heart of this system. The task of payload operations scheduling can be simply stated as positioning the payload activities in a mission so that they collect their desired data without interfering with other activities or violating mission constraints. ESP2 is an advanced version of the Experiment Scheduling Program (ESP) which was developed by the Mission Integration Branch beginning in 1979 to schedule Spacelab payload activities. The automatic scheduler in ESP2 is an expert system that embodies the rules that expert planners would use to schedule payload operations by hand. This scheduler uses depth-first searching, backtracking, and forward chaining techniques to place an activity so that constraints (such as crew, resources, and orbit opportunities) are not violated. It has an explanation facility to show why an activity was or was not scheduled at a certain time. The ESP2 user can also place the activities in the schedule manually. The program offers graphical assistance to the user and will advise when constraints are being violated. ESP2 also has an option to identify conflict introduced into an existing schedule by changes to payload requirements, mission constraints, and orbit opportunities.

Stacy, Kenneth L.↗
NASA NTRS1996

Uncertainty and Intelligence in Computational Stochastic Mechanics

Classical structural reliability assessment techniques are based on precise and crisp (sharp) definitions of failure and non-failure (survival) of a structure in meeting a set of strength, function and serviceability criteria. These definitions are provided in the form of performance functions and limit state equations. Thus, the criteria provide a dichotomous definition of what real physical situations represent, in the form of abrupt change from structural survival to failure. However, based on observing the failure and survival of real structures according to the serviceability and strength criteria, the transition from a survival state to a failure state and from serviceability criteria to strength criteria are continuous and gradual rather than crisp and abrupt. That is, an entire spectrum of damage or failure levels (grades) is observed during the transition to total collapse. In the process, serviceability criteria are gradually violated with monotonically increasing level of violation, and progressively lead into the strength criteria violation. Classical structural reliability methods correctly and adequately include the ambiguity sources of uncertainty (physical randomness, statistical and modeling uncertainty) by varying amounts. However, they are unable to adequately incorporate the presence of a damage spectrum, and do not consider in their mathematical framework any sources of uncertainty of the vagueness type. Vagueness can be attributed to sources of fuzziness, unclearness, indistinctiveness, sharplessness and grayness; whereas ambiguity can be attributed to nonspecificity, one-to-many relations, variety, generality, diversity and divergence. Using the nomenclature of structural reliability, vagueness and ambiguity can be accounted for in the form of realistic delineation of structural damage based on subjective judgment of engineers. For situations that require decisions under uncertainty with cost/benefit objectives, the risk of failure should depend on the underlying level of damage and the uncertainties associated with its definition. A mathematical model for structural reliability assessment that includes both ambiguity and vagueness types of uncertainty was suggested to result in the likelihood of failure over a damage spectrum. The resulting structural reliability estimates properly represent the continuous transition from serviceability to strength limit states over the ultimate time exposure of the structure. In this section, a structural reliability assessment method based on a fuzzy definition of failure is suggested to meet these practical needs. A failure definition can be developed to indicate the relationship between failure level and structural response. In this fuzzy model, a subjective index is introduced to represent all levels of damage (or failure). This index can be interpreted as either a measure of failure level or a measure of a degree of belief in the occurrence of some performance condition (e.g., failure). The index allows expressing the transition state between complete survival and complete failure for some structural response based on subjective evaluation and judgment.

Ayyub, Bilal M.↗
NASA NTRS1997

Experimental Studies of the Effect of Intent Information on Cockpit Traffic Displays

Intent information provides knowledge of another aircraft's current and future trajectory states. Prototype traffic displays were designed for four different levels of intent: Position, Rate, Commanded State, and FMS (Flight Management System)-Path. The current TCAS (traffic collision avoidance systems) Display, which shows altitude rate in addition to current position and altitude, was used as a baseline and represents the lowest level of intent. The Rate, Commanded State, and FMS-Path Displays show increasing levels of intent information using TCAS-like symbology in addition to incorporating a conflict probe and profile view display. An initial experiment was run on the MIT (Massachusetts Institute of Technology) Part Task Flight Simulator in which eight airline pilots flew five traffic scenarios with each of the four displays. Results show that pilots had fewer separation violations and maneuvered earlier with the three intent displays. Separation violations were reduced when pilots maneuvered earlier. A second experiment was run to compare performance between displaying intent information directly and incorporating it into a conflict probe. A different set of eight airline pilots flew four traffic scenarios with the TCAS and Commanded State Displays with and without the conflict probe. Conflict probes with two minute and long range look-ahead times were tested. Displaying conflict bands or showing intent information directly both led to fewer separation violations and earlier avoidance maneuvers than the base TCAS Display. Performance was similar between the two minute and long range look-ahead conflict probes. Pilots preferred all intent displays over the TCAS Display.

Barhydt, Richard↗
NASA NTRS1997

Experimental Studies of Intent Information on Cockpit Traffic Displays

Intent information provides knowledge of another aircraft's current and future trajectory states. Prototype traffic displays were designed for four different levels of intent: No Intent, Rate, Commanded State, and Flight Management System (FMS)-Path. The TCAS Display was used as a baseline and represents the No Intent Level. The Rate, Commanded State, and FMS-Path Displays show increasing levels of intent information using TCAS-like symbology in addition to incorporating a conflict probe and profile view display. An experiment was run on the MIT Part Task Flight Simulator in which eight airline pilots flew five traffic scenarios with each of the four displays. Results show that pilots had fewer separation violations and maneuvered earlier with the three intent displays. Separation violations were reduced when pilots maneuvered earlier. A second experiment was run to compare performance between displaying intent information directly and incorporating it into a conflict probe. A different set of eight airline pilots flew four traffic scenarios with the TCAS and Commanded State Displays with and without the conflict probe. Conflict probes with two minute and long range look-ahead times were tested. Displaying conflict bands or showing intent information directly both led to fewer separation violations and earlier avoidance maneuvers than the base TCAS Display. Performance was similar between the two minute and long range look-ahead conflict probes. Pilots preferred all intent displays over the TCAS Display.

Barhydt, Richard↗
NASA NTRS1997

Identification of Error Patterns in Terminal-Area ATC Communications

Advancing air traffic management technologies have enabled a greater number of aircraft to use the same airspace more effectively. As aircraft separations are reduced and final approaches are more finely timed, there is less room for error. The present study examined 122 terminal-area, loss-of-separation and procedure violation incidents reported to the Aviation Safety Reporting System (ASRS) by air traffic controllers. Narrative description codes were used for the incidents for type of violation, contributing factors, recovery strategies, and consequences. Usually multiple errors occurred prior to the violation. Error sequences were analyzed and common patterns of errors were identified. In half of the incidents, errors were noticed in time to correct mistakes. Of these, almost 43% committed additional errors during the recovery attempt. This analysis shows that redundancies in the present air traffic control system may not be sufficient to support large increases in traffic density. Error prevention and design considerations for air traffic management systems are discussed.

Quinn, Cheryl↗
NASA NTRS2003

[Probing Planck-scale Physics with a Ne-21/He-3 Zeeman Maser]

The Ne-21/He-3 Zeeman maser is a recently developed device which employs co-located ensembles of Ne-21 and He-3 atoms to provide sensitive differential measurements of the noble gas nuclear Zeeman splittings as a function of time, thereby greatly attenuating common-mode systematic effects such as uniform magnetic field variations. The Ne-21 maser will serve as a precision magnetometer to stabilize the system's static magnetic field, while the He-3 maser is used as a sensitive probe for violations of CPT and Lorentz symmetry by searching for small variations in the 3He maser frequency as the spatial orientation of the apparatus changes due to the rotation of the Earth (or placement on a rotating table). In the context of a general extension of the Standard Model of particle physics, the Ne-21/He-3 maser will provide the most sensitive search to date for CPT and Lorentz violation of the neutron: better than 10(exp -32) GeV, an improvement of more than an order of magnitude over past experiments. This exceptional precision will offer a rare opportunity to probe physics at the Planck scale. A future space-based Ne-21/He-3 maser or related device could provide even greater sensitivity to violations of CPT and Lorentz symmetry, and hence to Planck-scale physics, because of isolation from dominant systematic effects associated with ground-based operation, and because of access to different positions in space-time.

Source record↗
NASA NTRS2004

High-Order Simulation of Non-Linear Oscillations and Shocks in the Solar Atmosphere

The solar atmosphere presents a rich source of highly non-linear magneto-hydrodynamic phenomena: strong gradients and forcing terms result in both large shocks and oscillations. The additional requirements of energy balance and initialization in hydrostatic equilibrium compound the challenge of this problem. A wealth of observational data allows us to check the results of our simulations. The problem of simulating the solar atmosphere provides, in addition to an interesting system in its own right, a challenging testbed for high-order shock-capturing methods. We discuss the challenge of simulating solar atmospheric phenomena, concentrating on various high-order central methods ranging from second to fourth order. Our method is based on the central-upwind scheme of Kurganov, Noelle and Petrova, which we extend to high order via various interpolants. We investigate various initial data for our simulations, corresponding to observed conditions in different regions of the solar surface: the normal quiet sun and sunspots. When non-oscillatory using second- and third-order methods, we are able to reproduce non-trivial observational results. In particular we find a correlation between initial data and both the shock speeds and particle oscillation spectra that match observations in the corresponding regions. When using fourth-order WENO interpolants, we find that while the individual shock profiles at any given time appear non-oscillatory, spurious oscillations appear in the fields after long time integrations. The issue of initialization in hydrostatic equilibrium raises difficult issues. Careful treatment of the gravitational source term can reduce violations of hydrostatic equilibrium, but difficulties remain, primarily due to discontinuities in the piecewise-polynomial reconstructions. In the case of the Euler equations in gravity, the use of high-order methods reduces the violation of hydrostatic equilibrium to a sufficiently low level for the above described results to be obtained. Including various energy flux terms in the equations, however, leads to severe instability when hydrostatic balance is violated. We discuss various strategies to address this problem, including adaptive grid methods.

Bryson, S.↗
NASA NTRS2003

Microgravity Electron Electric Dipole Moment Experiment with a Cold Atom Beam

New physics beyond the Standard Model: The small CP violation contained in the Standard Model is insufficient to account for the baryon/antibaryon asymmetry in the universe. New sources of CP violation are provided by extensions to the Standard Model. They contain CP-violating phases that couple directly to leptons and from which a large electron electric dipole moment (EDM) may be generated. Observation of an electron EDM would be proof of a Standard Model extension because the Standard Model only allows an electron EDM of less than 10(exppp -57) C-m (S.I. units; 1 C-m = 1.6 x 10(exp -21) e-cm). A null result, however, constrains models and improving the limit tightens constraints, further restricting the models.

Gould, Harvey↗
NASA NTRS2006

Hard and Soft Constraints in Reliability-Based Design Optimization

This paper proposes a framework for the analysis and design optimization of models subject to parametric uncertainty where design requirements in the form of inequality constraints are present. Emphasis is given to uncertainty models prescribed by norm bounded perturbations from a nominal parameter value and by sets of componentwise bounded uncertain variables. These models, which often arise in engineering problems, allow for a sharp mathematical manipulation. Constraints can be implemented in the hard sense, i.e., constraints must be satisfied for all parameter realizations in the uncertainty model, and in the soft sense, i.e., constraints can be violated by some realizations of the uncertain parameter. In regard to hard constraints, this methodology allows (i) to determine if a hard constraint can be satisfied for a given uncertainty model and constraint structure, (ii) to generate conclusive, formally verifiable reliability assessments that allow for unprejudiced comparisons of competing design alternatives and (iii) to identify the critical combination of uncertain parameters leading to constraint violations. In regard to soft constraints, the methodology allows the designer (i) to use probabilistic uncertainty models, (ii) to calculate upper bounds to the probability of constraint violation, and (iii) to efficiently estimate failure probabilities via a hybrid method. This method integrates the upper bounds, for which closed form expressions are derived, along with conditional sampling. In addition, an l(sub infinity) formulation for the efficient manipulation of hyper-rectangular sets is also proposed.

Crespo, L.uis G.↗
NASA NTRS2007

Robust Design Optimization via Failure Domain Bounding

This paper extends and applies the strategies recently developed by the authors for handling constraints under uncertainty to robust design optimization. For the scope of this paper, robust optimization is a methodology aimed at problems for which some parameters are uncertain and are only known to belong to some uncertainty set. This set can be described by either a deterministic or a probabilistic model. In the methodology developed herein, optimization-based strategies are used to bound the constraint violation region using hyper-spheres and hyper-rectangles. By comparing the resulting bounding sets with any given uncertainty model, it can be determined whether the constraints are satisfied for all members of the uncertainty model (i.e., constraints are feasible) or not (i.e., constraints are infeasible). If constraints are infeasible and a probabilistic uncertainty model is available, upper bounds to the probability of constraint violation can be efficiently calculated. The tools developed enable approximating not only the set of designs that make the constraints feasible but also, when required, the set of designs for which the probability of constraint violation is below a prescribed admissible value. When constraint feasibility is possible, several design criteria can be used to shape the uncertainty model of performance metrics of interest. Worst-case, least-second-moment, and reliability-based design criteria are considered herein. Since the problem formulation is generic and the tools derived only require standard optimization algorithms for their implementation, these strategies are easily applicable to a broad range of engineering problems.

Crespo, Luis G.↗
NASA NTRS2009

Searching for New Physics with Ultrahigh Energy Cosmic Rays

Ultrahigh energy cosmic rays that produce giant extensive showers of charged particles and photons when they interact in the Earth's atmosphere provide a unique tool to search for new physics. Of particular interest is the possibility of detecting a very small violation of Lorentz invariance such as may be related to the structure of space-time near the Planck scale of approximately 10 (exp -35) m. We discuss here the possible signature of Lorentz invariance violation on the spectrum of ultrahigh energy cosmic rays as compared with present observations of giant air showers. We also discuss the possibilities of using more sensitive detection techniques to improve searches for Lorentz invariance violation in the future. Using the latest data from the Pierre Auger Observatory, we derive a best fit to the LIV parameter of 3 .0 + 1.5 - 3:0 x 10 (exp -23) ,corresponding to an upper limit of 4.5 x 10-23 at a proton Lorentz factor of approximately 2 x 10(exp 11) . This result has fundamental implications for quantum gravity models.

Stecker, Floyd W.↗
NASA NTRS2015

Characterizing the Effects of a Vertical Time Threshold for a Class of Well-Clear Definitions

A fundamental requirement for the integration of unmanned aircraft into civil airspace is the capability of aircraft to remain well clear of each other and avoid collisions. This requirement has led to a broad recognition of the need for an unambiguous, formal definition of well clear. It is further recognized that any such definition must be interoperable with existing airborne collision avoidance systems (ACAS). A particular class of well-clear definitions uses logic checks of independent distance thresholds as well as independent time thresholds in the vertical and horizontal dimensions to determine if a well-clear violation is predicted to occur within a given time interval. Existing ACAS systems also use independent distance thresholds, however a common time threshold is used for the vertical and horizontal logic checks. The main contribution of this paper is the characterization of the effects of the decoupled vertical time threshold on a well-clear definition in terms of (1) time to well-clear violation, and (2) interoperability with existing ACAS. The paper provides governing equations for both metrics and includes simulation results to illustrate the relationships. In this paper, interoperability implies that the time of well-clear violation is strictly less than the time a resolution advisory is issued by ACAS. The encounter geometries under consideration in this paper are initially well clear and consist of constant-velocity trajectories resulting in near-mid-air collisions.

Upchurch, Jason M.↗
NASA NTRS2023

Testing theories of Gravitation with the Interstellar Probe Radio Experiment

General Relativity (GR) will soon celebrate its 110th birthday, holding up against all experimental enquiry. Nonetheless, unification theories attempting to quantize gravity, such as string theory, are gaining footing. These hypothesize additional scalar, vector, and tensor long-range fields that couple to matter (Will, 2014), introducing violations to GR. Although such violations have never been detected, it is likely that GR will not be the ultimate theory of gravity. What is certain is that gravity tests are alive and well, pushing the validity of GR to new scales and accuracies, or -potentially- suggesting alternative routes for new physics. Building upon the legacy of Voyager and Pioneer missions, which demonstrated the capability to survive in the outer reaches of the solar system, the Interstellar Probe mission concept (McNutt et al., 2022) aims to characterise our heliosphere through state-of-the-art instrumentation, opening new frontiers also for GR testing. In this work, we investigate the possibility of constraining the Nordtvedt parameter η and the mass of the graviton via the Compton wavelength λc, by simulating the processing of 10 years of radiometric data from the Interstellar Probe. Station calibration and clock synchronisation, as well as limiting spacecraft precession manoeuvres are highlighted as key strategies for obtaining high-quality estimates. In the most favourable scenario, η can be constrained to less than 1.5 · 10 -5 , reducing the uncertainty obtained via Lunar Laser Ranging (Hofmann and Müller, 2018), and a lower bound of 1.4 ‧ 10 14 km is set for λc, improving the estimates obtained from planetary ephemerides (Bernus et al., 2020) and gravitational wave detection (Abbott et al., Jun 2021). Extending ranging measurement acquisition to 20 years improves the results tenfold. This experiment interrogates fundamental physics from a unique dynamical setting, investigating possible violations of the Equivalence Principle (EP) underlying GR.

general relativity↗
NASA NTRSDate not supplied

A Verification Framework for Runtime Assurance of Autonomous UAS

Runtime Assurance (RTA) is a design-time architecture for safety-critical systems where an internal monitor acts upon detecting a violation of a property. The simplex architecture is an instance of RTA, where the action taken is to hand control of the overall system to a trusted controller when an untrusted one violates a safety property. Simplex RTA is emerging as a method for allowing AI/ML and other unverified software to be integrated into safety-critical applications like aircraft. To this end, the American Society for Testing and Materials (ASTM) and NASA have each published guidelines on the use of RTA in such systems. In the simplex RTA framework, a system has an advanced controller (AC) and a reversionary controller (RC). The system is allowed to operate with the AC until a runtime monitor detects that some property has been violated and then the RC takes over. Assuming that the sample rate of the monitor will detect improper functioning with enough time for the RC to correct the impending problem, and that the RC is trusted, the system will operate as intended. This use of the simplex RTA framework can allow for the integration of untrusted, but possibly more performant, controllers in a safe way. This paper presents a formalization of a simplex RTA framework in the Prototype Verification System (PVS) theorem prover using an embedding of differential dynamic logic (DDL) called Plaidypvs. A novel feature of this framework is that it can be instantiated at different levels of abstraction. This feature allows for the formal verification of a system with an untrusted black box component, such as an AI/ML controller. This paper does not address the many difficulties in deploying RTA in an industrial-level system. Instead, the focus is on the formal verification of the simplex RTA framework in the language of hybrid programs. Hybrid programs are programs that include both discrete and continuous dynamics and can be used to model complex cyber-physical systems. Plaidypvs is a tool that enables formalization of hybrid programs in the PVS theorem prover. Plaidypvs enables the verification of the general simplex RTA framework and then, by specializing some components of the hybrid program, verifying instances of the framework while treating the untrusted component as a black box. A selection of Unmanned Aircraft Systems (UAS) operations are shown as instances of the general RTA framework in PVS. This offers the benefit of design time verification of relevant safety properties to the system, and it also gives requirements on the sample rate of sensors that determine the time interval in which the ‘switch’ property of the RTA framework is checked.

PVS↗
NASA NTRS1974

Digital computer study of nuclear reactor thermal transients during startup of 60-kWe Brayton power conversion system

A digital computer study was made of reactor thermal transients during startup of the Brayton power conversion loop of a 60-kWe reactor Brayton power system. A startup procedure requiring the least Brayton system complication was tried first; this procedure caused violations of design limits on key reactor variables. Several modifications of this procedure were then found which caused no design limit violations. These modifications involved: (1) using a slower rate of increase in gas flow; (2) increasing the initial reactor power level to make the reactor respond faster; and (3) appropriate reactor control drum manipulation during the startup transient.

Jefferies, K. S.↗
NASA NTRS1980

A simulator study for the development and evaluation of operating procedures on a supersonic cruise research transport to minimize airport-community noise

Piloted-simulator studies were conducted to determine takeoff and landing operating procedures for a supersonic cruise research transport concept that result in predicted noise levels which meet current Federal Aviation Administration (FAA) certification standards. With the use of standard FAA noise certification test procedures, the subject simulated aircraft did not meet the FAA traded-noise-level standards during takeoff and landing. However, with the use of advanced procedures, this aircraft meets the traded-noise-level standards for flight crews with average skills. The advanced takeoff procedures developed involved violating some of the current Federal Aviation Regulations (FAR), but it was not necessary to violate any FAR noise-test conditions during landing approach. Noise contours were also determined for some of the simulated takeoffs and landings in order to indicate the noise-reduction advantages of using operational procedures other than standard.

Grantham, W. D.↗
NASA NTRS1980

Development of SCR Aircraft takeoff and landing procedures for community noise abatement and their impact on flight safety

Piloted simulator studies to determine takeoff and landing procedures for a supersonic cruise transport concept that result in predicted community noise levels which meet current Federal Aviation Administration (FAA) standards are discussed. The results indicate that with the use of advanced procedures, the subject simulated aircraft meets the FAA traded noise levels during takeoff and landing utilizing average flight crew skills. The advanced takeoff procedures developed involved violating three of the current Federal Aviation Regulations (FAR) noise test conditions. These were: (1) thrust cutbacks at altitudes below 214 meters (700 ft); (2) thrust cutback level below those presently allowed; and (3) configuration change, other than raising the landing gear. It was not necessary to violate any FAR noise test conditions during landing approach. It was determined that the advanced procedures developed do not compromise flight safety. Automation of some of the aircraft functions reduced pilot workload, and the development of a simple head-up display to assist in the takeoff flight mode proved to be adequate.

Grantham, W. D.↗
NASA NTRS1982

Atomic and gravitational clocks

Atomic and gravitational clocks are governed by the laws of electrodynamics and gravity, respectively. While the strong equivalence principle (SEP) assumes that the two clocks have been synchronous at all times, recent planetary data seem to suggest a possible violation of the SEP. Past analysis of the implications of an SEP violation on different physical phenomena revealed no disagreement. However, these studies assumed that the two different clocks can be consistently constructed within the framework. The concept of scale invariance, and the physical meaning of different systems of units, are now reviewed and the construction of two clocks that do not remain synchronous - whose rates are related by a non-constant function beta sub a - is demonstrated. The cosmological character of beta sub a is also discussed.

Canuto, V. M.↗