Projected Impact of Compositional Verification on Current and Future Aviation Safety Risk

The projected impact of compositional verification research conducted by the National Aeronautic and Space Administration System-Wide Safety and Assurance Technologies on aviation safety risk was assessed. Software and compositional verification was described. Traditional verification techniques have two major problems: testing at the prototype stage where error discovery can be quite costly and the inability to test for all potential interactions leaving some errors undetected until used by the end user. Increasingly complex and nondeterministic aviation systems are becoming too large for these tools to check and verify. Compositional verification is a "divide and conquer" solution to addressing increasingly larger and more complex systems. A review of compositional verification research being conducted by academia, industry, and Government agencies is provided. Forty-four aviation safety risks in the Biennial NextGen Safety Issues Survey were identified that could be impacted by compositional verification and grouped into five categories: automation design; system complexity; software, flight control, or equipment failure or malfunction; new technology or operations; and verification and validation. One capability, 1 research action, 5 operational improvements, and 13 enablers within the Federal Aviation Administration Joint Planning and Development Office Integrated Work Plan that could be addressed by compositional verification were identified

Systems Analysis of NASA Aviation Safety Program: Final Report

A three-month study (February to April 2010) of the NASA Aviation Safety (AvSafe) program was conducted. This study comprised three components: (1) a statistical analysis of currently available civilian subsonic aircraft data from the National Transportation Safety Board (NTSB), the Federal Aviation Administration (FAA), and the Aviation Safety Information Analysis and Sharing (ASIAS) system to identify any significant or overlooked aviation safety issues; (2) a high-level qualitative identification of future safety risks, with an assessment of the potential impact of the NASA AvSafe research on the National Airspace System (NAS) based on these risks; and (3) a detailed, top-down analysis of the NASA AvSafe program using an established and peer-reviewed systems analysis methodology. The statistical analysis identified the top aviation "tall poles" based on NTSB accident and FAA incident data from 1997 to 2006. A separate examination of medical helicopter accidents in the United States was also conducted. Multiple external sources were used to develop a compilation of ten "tall poles" in future safety issues/risks. The top-down analysis of the AvSafe was conducted by using a modification of the Gibson methodology. Of the 17 challenging safety issues that were identified, 11 were directly addressed by the AvSafe program research portfolio

Aviation Trends Related to Atmospheric Environment Safety Technologies Project Technical Challenges

Current and future aviation safety trends related to the National Aeronautics and Space Administration's Atmospheric Environment Safety Technologies Project's three technical challenges (engine icing characterization and simulation capability; airframe icing simulation and engineering tool capability; and atmospheric hazard sensing and mitigation technology capability) were assessed by examining the National Transportation Safety Board (NTSB) accident database (1989 to 2008), incidents from the Federal Aviation Administration (FAA) accident/incident database (1989 to 2006), and literature from various industry and government sources. The accident and incident data were examined for events involving fixed-wing airplanes operating under Federal Aviation Regulation (FAR) Parts 121, 135, and 91 for atmospheric conditions related to airframe icing, ice-crystal engine icing, turbulence, clear air turbulence, wake vortex, lightning, and low visibility (fog, low ceiling, clouds, precipitation, and low lighting). Five future aviation safety risk areas associated with the three AEST technical challenges were identified after an exhaustive survey of a variety of sources and include: approach and landing accident reduction, icing/ice detection, loss of control in flight, super density operations, and runway safety

Experimental Implementation of the Deutsch-Jozsa Algorithm for Three-Qubit Functions using Pure Coherent Molecular Superpositions

The Deutsch-Jozsa algorithm is experimentally demonstrated for three-qubit functions using pure coherent superpositions of Li$_{2}$ rovibrational eigenstates. The function's character, either constant or balanced, is evaluated by first imprinting the function, using a phase-shaped femtosecond pulse, on a coherent superposition of the molecular states, and then projecting the superposition onto an ionic final state, using a second femtosecond pulse at a specific time delay

Non-Hermitian Hamiltonians with real eigenvalues coupled to electric fields: from the time-independent to the time dependent quantum mechanical formulation

We provide a reviewlike introduction into the quantum mechanical formalism related to non-Hermitian Hamiltonian systems with real eigenvalues. Starting with the time-independent framework we explain how to determine an appropriate domain of a non-Hermitian Hamiltonian and pay particular attention to the role played by PT-symmetry and pseudo-Hermiticity. We discuss the time-evolution of such systems having in particular the question in mind of how to couple consistently an electric field to pseudo-Hermitian Hamiltonians. We illustrate the general formalism with three explicit examples: i) the generalized Swanson Hamiltonians, which constitute non-Hermitian extensions of anharmonic oscillators, ii) the spiked harmonic oscillator, which exhibits explicit supersymmetry and iii) the -x^4-potential, which serves as a toy model for the quantum field theoretical phi^4-theory.Comment: 14 pages, 3 figures, to appear in Laser Physics, minor typos correcte

Search for the Higgs boson decays H -> ee and H -> eμ in pp collisions at root s=13 TeV with the ATLAS detector

Searches for the Higgs boson decays H -> ee and H -> e mu are performed using data corresponding to an integrated luminosity of 139 fb(-1) collected with the ATLAS detector in pp collisions at root s = 13 TeV at the LHC. No significant signals are observed, in agreement with the Standard Model expectation. For a Higgs boson mass of 125 GeV, the observed (expected) upper limit at the 95% confidence level on the branching fraction B(H -> ee) is 3.6 x 10(-4) (3.5 x 10(-4)) and on B(H -> e mu) is 6.2 x 10(-5) (5.9 x 10(-5)). These results represent improvements by factors of about five and six on the previous best limits on B(H -> ee) and B(H -> e mu) respectively. (C) 2019 The Author. Published by Elsevier B.V.Open access journalThis item from the UA Faculty Publications collection is made available by the University of Arizona with support from the University of Arizona Libraries. If you have questions, please contact us at [email protected]

Proportionate and disproportionate policy responses to climate change: core concepts and empirical applications

A fresh perspective on policy-making and planning has emerged which views disproportionate policy as an intentional policy response. A disproportionate policy response is understood to be a lack of‘fit’or balance between the costs of a public policy and the benefits that are derived from this policy, and between policy ends and means. This paper applies this new perspective on the proportionality of policy-making to the area of climate change. The first part of the paper discusses the underlying causes of disproportionate policy responses in broad terms and then applies the theoretical reasoning to understand the conditions in which they are likely to appear in relation to climate change. These conditions are hypothesized to relate to four main factors: economic considerations; levels of public demand; focusing events; and strategic considerations. It concludes with the suggestion that societal actors may be able to manipulate these four factors to encourage politicians to adopt policies that mitigate climate change more rapidly than is currently the case in most countries

Commercial Aircraft Integrated Vehicle Health Management Study

Statistical data and literature from academia, industry, and other government agencies were reviewed and analyzed to establish requirements for fixture work in detection, diagnosis, prognosis, and mitigation for IVHM related hardware and software. Around 15 to 20 percent of commercial aircraft accidents between 1988 and 2003 involved inalftfnctions or failures of some aircraft system or component. Engine and landing gear failures/malfunctions dominate both accidents and incidents. The IVI vl Project research technologies were found to map to the Joint Planning and Development Office's National Research and Development Plan (RDP) as well as the Safety Working Group's National Aviation Safety Strategic. Plan (NASSP). Future directions in Aviation Technology as related to IVHlvl were identified by reviewing papers from three conferences across a five year time span. A total of twenty-one trend groups in propulsion, aeronautics and aircraft categories were compiled. Current and ftiture directions of IVHM related technologies were gathered and classified according to eight categories: measurement and inspection, sensors, sensor management, detection, component and subsystem monitoring, diagnosis, prognosis, and mitigation

Long-Term Functionality of Rural Water Services in Developing Countries: A System Dynamics Approach to Understanding the Dynamic Interaction of Causal Factors

Research has shown that sustainability of rural water infrastructure in developing countries is largely affected by the dynamic and systemic interactions of technical, social, financial, institutional, and environmental factors that can lead to premature water system failure. This research employs systems dynamic modeling, which uses feedback mechanisms to understand how these factors interact dynamically to influence long-term rural water system functionality. To do this, the research first identified and aggregated key factors from literature, then asked water sector experts to indicate the polarity and strength between factors through Delphi and cross impact survey questionnaires, and finally used system dynamics modeling to identify and prioritize feedback mechanisms. The resulting model identified 101 feedback mechanisms that were dominated primarily by three and four-factor loops that contained some combination of the factors: Water System Functionality, Community, Financial, Government, Management, and Technology. These feedback mechanisms were then scored and prioritized, with the most dominant feedback mechanism identified as Water System Functionality – Community – Finance – Management. This research offers insight into the dynamic interaction of factors impacting sustainability of rural water infrastructure through the identification of these feedback mechanisms and makes a compelling case for future research to longitudinally investigate the interaction of these factors in various contexts