Towards the Formal Reliability Analysis of Oil and Gas Pipelines

It is customary to assess the reliability of underground oil and gas pipelines in the presence of excessive loading and corrosion effects to ensure a leak-free transport of hazardous materials. The main idea behind this reliability analysis is to model the given pipeline system as a Reliability Block Diagram (RBD) of segments such that the reliability of an individual pipeline segment can be represented by a random variable. Traditionally, computer simulation is used to perform this reliability analysis but it provides approximate results and requires an enormous amount of CPU time for attaining reasonable estimates. Due to its approximate nature, simulation is not very suitable for analyzing safety-critical systems like oil and gas pipelines, where even minor analysis flaws may result in catastrophic consequences. As an accurate alternative, we propose to use a higher-order-logic theorem prover (HOL) for the reliability analysis of pipelines. As a first step towards this idea, this paper provides a higher-order-logic formalization of reliability and the series RBD using the HOL theorem prover. For illustration, we present the formal analysis of a simple pipeline that can be modeled as a series RBD of segments with exponentially distributed failure times.Comment: 15 page

Anomalous metallic state of Cu0.07_{0.07}TiSe2_2: an optical spectroscopy study

We report an optical spectroscopy study on the newly discovered superconductor Cu$_{0.07}$TiSe$_2$. Consistent with the development from a semimetal or semiconductor with a very small indirect energy gap upon doping TiSe$_2$, it is found that the compound has a low carrier density. Most remarkably, the study reveals a substantial shift of the "screened" plasma edge in reflectance towards high energy with decreasing temperature. This phenomenon, rarely seen in metals, indicates either a sizeable increase of the conducting carrier concentration or/and a decrease of the effective mass of carriers with reducing temperature. We attribute the shift primarily to the later effect.Comment: 4 figures, 4+ page

Emergence of Fermi pockets in an excitonic CDW melted novel superconductor

A superconducting (SC) state (Tc ~ 4.2K) has very recently been observed upon successful doping of the CDW ordered triangular lattice TiSe$_2$, with copper. Using high resolution photoemission spectroscopy we identify, for the first time, the momentum space locations of the doped electrons that form the Fermi sea of the parent superconductor. With doping, we find that the kinematic nesting volume increases whereas the coherence of the CDW order sharply drops. In the superconducting doping, we observe the emergence of a large density of states in the form of a narrow electron pocket near the \textit{L}-point of the Brillouin Zone with \textit{d}-like character. The \textit{k}-space electron distributions highlight the unconventional interplay of CDW to SC cross-over achieved through non-magnetic copper doping.Comment: 4+ pages, 5 figures; Accepted for publication in Phys. Rev. Lett. (2007

Fermi surface topology and low-lying quasiparticle structure of magnetically ordered Fe1+xTe

We report the first photoemission study of Fe1+xTe - the host compound of the newly discovered iron-chalcogenide superconductors. Our results reveal a pair of nearly electron- hole compensated Fermi pockets, strong Fermi velocity renormalization and an absence of a spin-density-wave gap. A shadow hole pocket is observed at the "X"-point of the Brillouin zone which is consistent with a long-range ordered magneto-structural groundstate. No signature of Fermi surface nesting instability associated with Q= pi(1/2, 1/2) is observed. Our results collectively reveal that the Fe1+xTe series is dramatically different from the undoped phases of the high Tc pnictides and likely harbor unusual mechanism for superconductivity and quantum magnetic order.Comment: 5 pages, 4 Figures; Submitted to Phys. Rev. Lett. (2009

Semimetal to semimetal charge density wave transition in 1T-TiSe2_2

We report an infrared study on 1$T$-TiSe$_2$, the parent compound of the newly discovered superconductor Cu$_x$TiSe$_2$. Previous studies of this compound have not conclusively resolved whether it is a semimetal or a semiconductor: information that is important in determining the origin of its unconventional CDW transition. Here we present optical spectroscopy results that clearly reveal that the compound is metallic in both the high-temperature normal phase and the low-temperature CDW phase. The carrier scattering rate is dramatically different in the normal and CDW phases and the carrier density is found to change with temperature. We conclude that the observed properties can be explained within the scenario of an Overhauser-type CDW mechanism.Comment: 4 pages, 4 page

TeV Gamma Rays from Geminga and the Origin of the GeV Positron Excess

The Geminga pulsar has long been one of the most intriguing MeV-GeV gamma-ray point sources. We examine the implications of the recent Milagro detection of extended, multi-TeV gamma-ray emission from Geminga, finding that this reveals the existence of an ancient, powerful cosmic-ray accelerator that can plausibly account for the multi-GeV positron excess that has evaded explanation. We explore a number of testable predictions for gamma-ray and electron/positron experiments (up to ~100 TeV) that can confirm the first "direct" detection of a cosmic-ray source.Comment: 4 pages and 3 figures; Minor revisions, accepted for publication in Physical Review Letter