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

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

Precise Control of Band Filling in NaxCoO2

Electronic properties of the sodium cobaltate NaxCoO2 are systematically studied through a precise control of band filling. Resistivity, magnetic susceptibility and specific heat measurements are carried out on a series of high-quality polycrystalline samples prepared at 200 C with Na content in a wide range of 0.35 =< x =< 0.70. It is found that dramatic changes in electronic properties take place at a critical Na concentration x* that lies between 0.58 and 0.59, which separates a Pauli paramagnetic and a Curie-Weiss metals. It is suggested that at x* the Fermi level touches the bottom of the a1g band at the gamma point, leading to a crucial change in the density of states across x* and the emergence of a small electron pocket around the gamma point for x > x*.Comment: 4 pages, 5 figures, submitted to J. Phys. Soc. Jp

"Pudding mold" band drives large thermopower in Nax_xCoO2_2

In the present study, we pin down the origin of the coexistence of the large thermopower and the large conductivity in Na$_x$CoO$_2$. It is revealed that not just the density of states (DOS), the effective mass, nor the band width, but the peculiar {\it shape} of the $a_{1g}$ band referred to as the "pudding mold" type, which consists of a dispersive portion and a somewhat flat portion, is playing an important role in this phenomenon. The present study provides a new guiding principle for designing good thermoelectric materials.Comment: 5 page

Topological insulators in the quaternary chalcogenide compounds and ternary famatinite compounds

We present first-principles calculations to predict several three dimensional (3D) topological insulators in quaternary chalcogenide compounds which are made of I$_2$-II-IV-VI$_4$ compositions and in ternary compositions of I$_3$-V-VI$_4$ famatinite compounds. Among the large members of these two families, we give examples of naturally occurring compounds which are mainly Cu-based chalcogenides. We show that these materials are candidates of 3D topological insulators or can be tuned to obtain topological phase transition by manipulating the atomic number of the other cation and anion elements. A band inversion can occur at a single point $\Gamma$ with considerably large inversion strength, in addition to the opening of a bulk band gap throughout the Brillouin zone. We also demonstrate that both of these families are related to each other by cross-substitutions of cations in the underlying tetragonal structure and that one can suitably tune their topological properties in a desired manner.Comment: 7 pages, 4 figure

Bi2Te1.6S1.4 - a Topological Insulator in the Tetradymite Family

We describe the crystal growth, crystal structure, and basic electrical properties of Bi2Te1.6S1.4, which incorporates both S and Te in its Tetradymite quintuple layers in the motif -[Te0.8S0.2]-Bi-S-Bi-[Te0.8S0.2]-. This material differs from other Tetradymites studied as topological insulators due to the increased ionic character that arises from its significant S content. Bi2Te1.6S1.4 forms high quality crystals from the melt and is the S-rich limit of the ternary Bi-Te-S {\gamma}-Tetradymite phase at the melting point. The native material is n-type with a low resistivity; Sb substitution, with adjustment of the Te to S ratio, results in a crossover to p-type and resistive behavior at low temperatures. Angle resolved photoemission study shows that topological surface states are present, with the Dirac point more exposed than it is in Bi2Te3 and similar to that seen in Bi2Te2Se. Single crystal structure determination indicates that the S in the outer chalcogen layers is closer to the Bi than the Te, and therefore that the layers supporting the surface states are corrugated on the atomic scale.Comment: To be published in Physical Review B Rapid Communications 16 douuble spaced pages. 4 figures 1 tabl

Momentum-Resolved Charge Excitations in a Prototype One Dimensional Mott Insulator

We report momentum resolved charge excitations in a one dimensional (1-D) Mott insulator studied using high resolution (~ 325 meV) inelastic x-ray scattering over the entire Brillouin zone for the first time. Excitations at the insulating gap edge are found to be highly dispersive (momentum dependent)compared to excitations observed in two dimensional Mott insulators. The observed dispersion in 1-D is consistent with charge excitations involving holons which is unique to spin-1/2 quantum chain systems. These results point to the potential utility of inelastic x-ray scattering in providing valuable information about electronic structure of strongly correlated insulators.Comment: 3 pages, 2 figures, Revised with minor change

Dimensionality effects in restricted bosonic and fermionic systems

The phenomenon of Bose-like condensation, the continuous change of the dimensionality of the particle distribution as a consequence of freezing out of one or more degrees of freedom in the low particle density limit, is investigated theoretically in the case of closed systems of massive bosons and fermions, described by general single-particle hamiltonians. This phenomenon is similar for both types of particles and, for some energy spectra, exhibits features specific to multiple-step Bose-Einstein condensation, for instance the appearance of maxima in the specific heat. In the case of fermions, as the particle density increases, another phenomenon is also observed. For certain types of single particle hamiltonians, the specific heat is approaching asymptotically a divergent behavior at zero temperature, as the Fermi energy $\epsilon_{\rm F}$ is converging towards any value from an infinite discrete set of energies: ${\epsilon_i}_{i\ge 1}$. If $\epsilon_{\rm F}=\epsilon_i$, for any i, the specific heat is divergent at T=0 just in infinite systems, whereas for any finite system the specific heat approaches zero at low enough temperatures. The results are particularized for particles trapped inside parallelepipedic boxes and harmonic potentials. PACS numbers: 05.30.Ch, 64.90.+b, 05.30.Fk, 05.30.JpComment: 7 pages, 3 figures (included

Application of region growing segmentation method for mangrove zonation at Pulau Kukup, Johor

The anticipated impact of Sea Level Rise (SLR) for the next century has been studied for the past long years. Prolonged submergence and changes in tidal inundation frequency changed the intertidal community landscape including the mangroves zonation pattern. This study aims to identify the mangrove species distribution at Pulau Kukup, Johor using a high resolution, Worldview-2 satellite data. Mangrove extent was extracted from multispectral and panchromatic images using region growing segmentation method. Several thresholds were used to identify the best-fit segmentation parameters. Eleven plots of 100m transects were established in the study area to sample the representative mangrove trees. The type of mangrove species, tree height, Diameter at the Breast Height (DBH), elevation, coordinate location and the sediment sample were collected during the field survey based on Point-Centre-Quadrate Method (PCQM). The general characteristics of mangrove tree were investigated and sampled from 186 mangrove trees. Rhizophoraapiculata and R.mucronata were found dominating the outer part of the mangrove island facing the seaward area. From the field analyses, the relative density of Rhizophoraapiculata and R.mucronataare 41.9% and 16.7% respectively. The mangrove characteristic and coordinate locations were then mapped out and used as a reference point for training processes. The image classification is determined based on Bhattacharyya method and the mangrove zonation pattern was mapped from the result