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

Translation in Arabic, adaptation and validation of the SF-36 Health Survey for use in Tunisia

AbstractObjectiveTo translate into Arabic and validate the SF-36 quality of life index in a Tunisian Arabic population.BackgroundNo validated Arabic quality of life index is published.DesignArabic translation of the SF-36 scale was obtained by the “forward/backward translation” method. Adaptations were made after a pilot study involving 22 subjects from general population. Inter-rater reliability was assessed by use of intraclass correlation coefficient (ICC) and Bland and Altman method. Construct validity was assessed by Spearman rank correlation coefficient (convergent and divergent validity), and factor analysis with Varimax rotation. Internal consistency was assessed by Cronbach alpha coefficient.ResultsWe note that 130 Tunisian subjects were included in the validation study. No items were excluded. Inter-rater reliability was excellent (ICC=0.98). Cronbach alpha coefficient was 0.94 conferring to translated index a good internal consistency. Expected divergent and convergent validity results suggested good construct validity. Two main factors were extracted by factor analysis and explained 62.3% of the cumulative variance: the first factor represented mental component, the second physical component. The Cronbach alpha coefficient was 0.88 and 0.91 respectively for factor 1 and factor 2.ConclusionWe translated into Arabic language and adapted the SF-36 scale for use in Tunisian population. The Arabic version is reliable and valid. Although the scale was validated in a Tunisian population, we expect that it is suitable for other Arab populations, especially North Africans. Further studies are needed to confirm such a hypothesis

Mutations in SPG11, encoding spatacsin, are a major cause of spastic paraplegia with thin corpus callosum.

Autosomal recessive hereditary spastic paraplegia (ARHSP) with thin corpus callosum (TCC) is a common and clinically distinct form of familial spastic paraplegia that is linked to the SPG11 locus on chromosome 15 in most affected families. We analyzed 12 ARHSP-TCC families, refined the SPG11 candidate interval and identified ten mutations in a previously unidentified gene expressed ubiquitously in the nervous system but most prominently in the cerebellum, cerebral cortex, hippocampus and pineal gland. The mutations were either nonsense or insertions and deletions leading to a frameshift, suggesting a loss-of-function mechanism. The identification of the function of the gene will provide insight into the mechanisms leading to the degeneration of the corticospinal tract and other brain structures in this frequent form of ARHSP

Inhibition of Fungi and Gram-Negative Bacteria by Bacteriocin BacTN635 Produced by Lactobacillus plantarum sp. TN635

The aim of this study was to evaluate 54 lactic acid bacteria (LAB) strains isolated from meat, fermented vegetables and dairy products for their capacity to produce antimicrobial activities against several bacteria and fungi. The strain designed TN635 has been selected for advanced studies. The supernatant culture of this strain inhibits the growth of all tested pathogenic including the four Gram-negative bacteria (Salmonella enterica ATCC43972, Pseudomonas aeruginosa ATCC 49189, Hafnia sp. and Serratia sp.) and the pathogenic fungus Candida tropicalis R2 CIP203. Based on the nucleotide sequence of the 16S rRNA gene of the strain TN635 (1,540 pb accession no FN252881) and the phylogenetic analysis, we propose the assignment of our new isolate bacterium as Lactobacillus plantarum sp. TN635 strain. Its antimicrobial compound was determined as a proteinaceous substance, stable to heat and to treatment with surfactants and organic solvents. Highest antimicrobial activity was found between pH 3 and 11 with an optimum at pH = 7. The BacTN635 was purified to homogeneity by a four-step protocol involving ammonium sulfate precipitation, centrifugal microconcentrators with a 10-kDa membrane cutoff, gel filtration Sephadex G-25, and C18 reverse-phase HPLC. SDS-PAGE analysis of the purified BacTN635, revealed a single band with an estimated molecular mass of approximately 4 kDa. The maximum bacteriocin production (5,000 AU/ml) was recorded after a 16-h incubation in Man, Rogosa, and Sharpe (MRS) medium at 30 °C. The mode of action of the partial purified BacTN635 was identified as bactericidal against Listeria ivanovii BUG 496 and as fungistatic against C. tropicalis R2 CIP203

Does a micro-grooved trunnion stem surface finish improve fixation and reduce fretting wear at the taper junction of total hip replacements? A finite element evaluation.

The generation of particulate debris at the taper junction of total hip replacements (THRs), can cause failure of the artificial hip. The taper surfaces of femoral heads and trunnions of femoral stems are generally machined to a certain roughness to enhance fixation. However, the effect of the surface roughness of these surfaces on the fixation, wear and consequently clinical outcomes of the design is largely unknown. In this study, we asked whether a micro-grooved trunnion surface finish (1) improves the fixation and (2) reduces the wear rate at the taper junction of THRs. We used 3D finite element (FE) models of THRs to, firstly, investigate the effect of initial fixation of a Cobalt-Chromium femoral head with a smooth taper surface mated with a Titanium (1) micro-grooved and (2) smooth, trunnion surface finishes. Secondly, we used a computational FE wear model to compare the wear evolution between the models, which was then validated against wear measurements of the taper surface of explanted femoral heads. The fixation at the taper junction was found to be better for the smooth couplings. Over a 7 million load cycle analysis in-silico, the linear wear depth and the total material loss was around 3.2 and 1.4 times higher for the femoral heads mated with micro-grooved trunnions. It was therefore concluded that smooth taper and trunnion surfaces will provide better fixation at the taper junction and reduce the volumetric wear rates

Palm Date Fibers: Analysis and Enzymatic Hydrolysis

Waste palm dates were subjected to analysis for composition and enzymatic hydrolysis of their flesh fibers. The fruit contained 32% glucose and 30% fructose, while the water-insoluble fibers of its flesh consisted of 49.9% lignin and 20.9% polysaccharides. Water-insoluble fibers were settled to 55% of its initial volume in 12 h. The presence of skin and flesh colloidal fibers results in high viscosity and clogging problems during industrial processes. The settling velocity of the fibers was improved by enzymatic hydrolysis. Hydrolysis resulted in 84.3% conversion of the cellulosic part of the fibers as well as reducing the settling time to 10 minutes and the final settled volume to 4% of the initial volume. It implies easier separation of the fibers and facilitates fermentation processes in the corresponding industries. Two kinds of high- and low-lignin fibers were identified from the water-insoluble fibers. The high-lignin fibers (75% lignin) settled easily, while the low-lignin fibers (41.4% lignin) formed a slurry suspension which settled very slowly. The hydrophilicity of these low-lignin fibers is the major challenge of the industrial processes

Bioactive Secondary Metabolites from a New Terrestrial Streptomyces sp. TN262

During our search for Streptomyces spp. as new producers of bioactive secondary metabolites, the ethyl acetate extract of the new terrestrial Streptomyces isolate TN262 delivered eight antimicrobially active compounds. They were identified as 1-acetyl-β-carboline (1), tryptophol (2), cineromycin B (3), 2,3-dihydrocineromycin B (4), cyclo-(tyrosylprolyl) (5), 3-(hydroxyacetyl)-indole (6), brevianamide F (7), and cis-cyclo-(l-prolyl-l-leucyl) (8). Three further metabolites were detected in the unpolar fractions using GC–MS and tentatively assigned as benzophenone (9), N-butyl-benzenesulfonamide (10), and hexanedioic acid-bis-(2-ethylhexyl) ester (11). This last compound is known as plasticizer derivatives, but it has never been described from natural sources. In this article, we describe the identification of the new Streptomyces sp. isolate TN262 using its cultural characteristics, the nucleotide sequence of the corresponding 16S rRNA gene and the phylogenetic analysis, followed by optimization, large-scale fermentation, isolation of the bioactive constituents, and determination of their structures. The biological activity of compounds (2), (3), (4), and those of the unpolar fractions was addressed as well

Alternative Splicing of Spg7, a Gene Involved in Hereditary Spastic Paraplegia, Encodes a Variant of Paraplegin Targeted to the Endoplasmic Reticulum

BACKGROUND: Hereditary spastic paraplegia defines a group of genetically heterogeneous diseases characterized by weakness and spasticity of the lower limbs owing to retrograde degeneration of corticospinal axons. One autosomal recessive form of the disease is caused by mutation in the SPG7 gene. Paraplegin, the product of SPG7, is a component of the m-AAA protease, a high molecular weight complex that resides in the mitochondrial inner membrane, and performs crucial quality control and biogenesis functions in mitochondria. PRINCIPAL FINDINGS: Here we show the existence in the mouse of a novel isoform of paraplegin, which we name paraplegin-2, encoded by alternative splicing of Spg7 through usage of an alternative first exon. Paraplegin-2 lacks the mitochondrial targeting sequence, and is identical to the mature mitochondrial protein. Remarkably, paraplegin-2 is targeted to the endoplasmic reticulum. We find that paraplegin-2 exposes the catalytic domains to the lumen of the endoplasmic reticulum. Moreover, endogenous paraplegin-2 accumulates in microsomal fractions prepared from mouse brain and retina. Finally, we show that the previously generated mouse model of Spg7-linked hereditary spastic paraplegia is an isoform-specific knock-out, in which mitochondrial paraplegin is specifically ablated, while expression of paraplegin-2 is retained. CONCLUSIONS/SIGNIFICANCE: These data suggest a possible additional role of AAA proteases outside mitochondria and open the question of their implication in neurodegeneration

Optimizing the procedure of grain nutrient predictions in barley via hyperspectral imaging

Hyperspectral imaging enables researchers and plant breeders to analyze various traits of interest like nutritional value in high throughput. In order to achieve this, the optimal design of a reliable calibration model, linking the measured spectra with the investigated traits, is necessary. In the present study we investigated the impact of different regression models, calibration set sizes and calibration set compositions on prediction performance. For this purpose, we analyzed concentrations of six globally relevant grain nutrients of the wild barley population HEB-YIELD as case study. The data comprised 1,593 plots, grown in 2015 and 2016 at the locations Dundee and Halle, which have been entirely analyzed through traditional laboratory methods and hyperspectral imaging. The results indicated that a linear regression model based on partial least squares outperformed neural networks in this particular data modelling task. There existed a positive relationship between the number of samples in a calibration model and prediction performance, with a local optimum at a calibration set size of ~40% of the total data. The inclusion of samples from several years and locations could clearly improve the predictions of the investigated nutrient traits at small calibration set sizes. It should be stated that the expansion of calibration models with additional samples is only useful as long as they are able to increase trait variability. Models obtained in a certain environment were only to a limited extent transferable to other environments. They should therefore be successively upgraded with new calibration data to enable a reliable prediction of the desired traits. The presented results will assist the design and conceptualization of future hyperspectral imaging projects in order to achieve reliable predictions. It will in general help to establish practical applications of hyperspectral imaging systems, for instance in plant breeding concepts