Method to assess and optimise dependability of complex macro-systems: application to a railway signalling system

Achieving a high degree of dependability in complex macro-systems is challenging. Because of the large number of components and numerous independent teams involved, an overview of the global system performance is usually lacking to support both design and operation adequately. A functional failure mode, effects and criticality analysis (FMECA) approach is proposed to address the dependability optimisation of large and complex systems. The basic inductive model FMECA has been enriched to include considerations such as operational procedures, alarm systems. environmental and human factors, as well as operation in degraded mode. Its implementation on a commercial software tool allows an active linking between the functional layers of the system and facilitates data processing and retrieval, which enables to contribute actively to the system optimisation. The proposed methodology has been applied to optimise dependability in a railway signalling system. Signalling systems are typical example of large complex systems made of multiple hierarchical layers. The proposed approach appears appropriate to assess the global risk- and availability-level of the system as well as to identify its vulnerabilities. This enriched-FMECA approach enables to overcome some of the limitations and pitfalls previously reported with classical FMECA approaches.

Accurate calculations of intermolecular interaction energies using explicitly correlated coupled cluster wave functions and a dispersion-weighted MP2 method.

Explicitly correlated coupled-cluster calculations of intermolecular interaction energies for the S22 benchmark set of Jurecka, Sponer, Cerny, and Hobza (Chem. Phys. Phys. Chem. 2006, 8, 1985) are presented. Results obtained with the recently proposed CCSD(T)-F12a method and augmented double-zeta basis sets are found to be in very close agreement with basis set extrapolated conventional CCSD(T) results. Furthermore, we propose a dispersion-weighted MP2 (DW-MP2) approximation that combines the good accuracy of MP2 for complexes with predominately electrostatic bonding and SCS-MP2 for dispersion-dominated ones. The MP2-F12 and SCS-MP2-F12 correlation energies are weighted by a switching function that depends on the relative HF and correlation contributions to the interaction energy. For the S22 set, this yields a mean absolute deviation of 0.2 kcal/mol from the CCSD(T)-F12a results. The method, which allows obtaining accurate results at low cost, is also tested for a number of dimers that are not in the training set.

Objective evaluation of shoulder function using body-fixed sensors: a new way to detect early treatment failures?

Background: Variable definitions of outcome (Constant score, Simple Shoulder Test [SST]) have been used to assess outcome after shoulder treatment, although none has been accepted as the universal standard. Physicians lack an objective method to reliably assess the activity of their patients in dynamic conditions. Our purpose was to clinically validate the shoulder kinematic scores given by a portable movement analysis device, using the activities of daily living described in the SST as a reference. The secondary objective was to determine whether this device could be used to document the effectiveness of shoulder treatments (for glenohumeral osteoarthritis and rotator cuff disease) and detect early failures.Methods: A clinical trial including 34 patients and a control group of 31 subjects over an observation period of 1 year was set up. Evaluations were made at baseline and 3, 6, and 12 months after surgery by 2 independent observers. Miniature sensors (3-dimensional gyroscopes and accelerometers) allowed kinematic scores to be computed. They were compared with the regular outcome scores: SST; Disabilities of the Arm, Shoulder and Hand; American Shoulder and Elbow Surgeons; and Constant.Results: Good to excellent correlations (0.61-0.80) were found between kinematics and clinical scores. Significant differences were found at each follow-up in comparison with the baseline status for all the kinematic scores (P < .015). The kinematic scores were able to point out abnormal patient outcomes at the first postoperative follow-up.Conclusion: Kinematic scores add information to the regular outcome tools. They offer an effective way to measure the functional performance of patients with shoulder pathology and have the potential to detect early treatment failures.Level of evidence: Level II, Development of Diagnostic Criteria, Diagnostic Study. (C) 2011 Journal of Shoulder and Elbow Surgery Board of Trustees.

Semantic domains and supersens tagging for domain-specific ontology learning

In this paper we propose a novel unsupervised approach to learning domain-specific ontologies from large open-domain text collections. The method is based on the joint exploitation of Semantic Domains and Super Sense Tagging for Information Retrieval tasks. Our approach is able to retrieve domain specific terms and concepts while associating them with a set of high level ontological types, named supersenses, providing flat ontologies characterized by very high accuracy and pertinence to the domain.

Analysis of the near-intrinsic and extrinsic photocapacitance due to the EL2 level in boron implanted GaAs

A detailed analysis of the photocapacitance signal at the near‐band and extrinsic energetic ranges in Schottky barriers obtained on horizontal Bridgman GaAs wafers, which were implanted with boron at different doses and annealed at several temperatures, has been carried out by using the optical isothermal transient spectroscopy, OITS. The optical cross sections have been determined as well as the quenching efficiency of the EL2 level which has been found to be independent of the annealing temperature. Moreover, the quenching relaxation presents two significant features: (i) a strong increase of the quenching efficiency from 1.35 eV on and (ii) a diminution of the quenching transient amplitude in relation with that shown by the fundamental EL2 level. In order to explain this behavior, different cases are discussed assuming the presence of several energy levels, the existence of an optical recuperation, or the association of the EL2 trap with two levels located, respectively, at Ev+0.45 eV and Ec−0.75 eV. The theoretical simulation, taking into account these two last cases, is in agreement with the experimental photocapacitance data at low temperature, as well as at room temperature where the EL2 filling phototransient shows an anomalous behavior. Moreover, unlike the previous data reported for the EL2 electron optical cross section, the values found using our experimental technique are in agreement with the behavior deduced from the theoretical calculation. The utilization of the OITS method has also allowed the determination of another level, whose faster optical contribution is often added to that of the EL2 level when the DLOS or standard photocapacitance is used.

Grabbing your ear: rapid auditory-somatosensory multisensory interactions in low-level sensory cortices are not constrained by stimulus alignment.

Multisensory interactions are observed in species from single-cell organisms to humans. Important early work was primarily carried out in the cat superior colliculus and a set of critical parameters for their occurrence were defined. Primary among these were temporal synchrony and spatial alignment of bisensory inputs. Here, we assessed whether spatial alignment was also a critical parameter for the temporally earliest multisensory interactions that are observed in lower-level sensory cortices of the human. While multisensory interactions in humans have been shown behaviorally for spatially disparate stimuli (e.g. the ventriloquist effect), it is not clear if such effects are due to early sensory level integration or later perceptual level processing. In the present study, we used psychophysical and electrophysiological indices to show that auditory-somatosensory interactions in humans occur via the same early sensory mechanism both when stimuli are in and out of spatial register. Subjects more rapidly detected multisensory than unisensory events. At just 50 ms post-stimulus, neural responses to the multisensory 'whole' were greater than the summed responses from the constituent unisensory 'parts'. For all spatial configurations, this effect followed from a modulation of the strength of brain responses, rather than the activation of regions specifically responsive to multisensory pairs. Using the local auto-regressive average source estimation, we localized the initial auditory-somatosensory interactions to auditory association areas contralateral to the side of somatosensory stimulation. Thus, multisensory interactions can occur across wide peripersonal spatial separations remarkably early in sensory processing and in cortical regions traditionally considered unisensory.

Impact of prolonged antihypertensive duration of action on predicted clinical outcomes in imperfectly adherent patients: comparison of aliskiren, irbesartan and ramipril.

Background: Most patients miss occasional doses of antihypertensives. The use of 'forgiving' drugs (i.e. drugs with duration of action longer than the 24-h dosing interval) may allow an adequate blood pressure (BP) reduction to be maintained despite missed doses. Aim:To quantify the effects of adherence level and duration of action on estimated mean systolic BP (SBP) reduction and cardiovascular disease (CVD) risk. Method:For 1250 patients, we simulated 256-day dosing histories with realistically distributed drug holidays based on a study of electronically monitored dosing records. Adherence was set to the desired level by altering the proportion of doses missed. Mean office SBP-lowering effect (aliskiren 300 mg, -14.1 mmHg; irbesartan 300 mg, -13.3; ramipril 10 mg, -10.1 mmHg) and the rate of SBP increase after stopping treatment (off-rate; aliskiren, 1.0 mmHg/day; irbesartan, 3.6 mmHg/day; ramipril, 4.0 mmHg/day) were taken from the results of a randomised, double-blind trial. SBP was averaged over time and patient to estimate mean reductions in SBP and 10-year CVD risk (Framingham risk equation, baseline absolute 10-year CVD risk: 27%). Results:Predicted reductions in SBP and CVD risk with aliskiren were larger and less affected by imperfect adherence than the reductions with irbesartan or ramipril. For aliskiren, reducing adherence from 90% to 60% led to a predicted rise in SBP of 1.0 mmHg and three additional CVD events per 1000 treated patients; larger predicted differences were observed for irbesartan (2.5 mmHg; 7.5 events/1000 treated patients) and ramipril (2.2 mmHg; 6.7 events/1000 treated patients). Conclusion:To offset the effects of imperfect adherence, a common challenge with antihypertensives, for better BP management it may be prudent to prescribe 'forgiving' drugs.

Study of the regulation of antifungal activity in plant-associated pseudomas fluorescens

RésuméEn agriculture d'énormes pertes sont causées par des champignons telluriques pathogènes tels que Thielaviopsis, Fusarium, Gaeumannomyces et Rhizoctonia ou encore l'oomycète Pythium. Certaines bactéries dites bénéfiques, comme Pseudomonas fluorescens, ont la capacité de protéger les plantes de ces pathogènes par la colonisation de leur racines, par la production de métabolites secondaires possédants des propriétés antifongiques et par l'induction des mécanismes de défenses de la plante colonisée. P. fluorescens CHAO, une bactérie biocontrôle isolée d'un champ de tabac à Payerne, a la faculté de produire un large spectre de métabolites antifongiques, en particulier le 2,4- diacétylphloroglucinol (DAPG), la pyolutéorine (PLT), le cyanure d'hydrogène (HCN), la pyrrolnitrine (PRN) ainsi que des chélateurs de fer.La plante, par sécrétion racinaire, produit des rhizodéposites, source de carbone et d'azote, qui profitent aux populations bactériennes vivant dans la rhizosphere. De plus, certains stresses biotiques et abiotiques modifient cette sécrétion racinaire, en terme quantitatif et qualitatif. De leur côté, les bactéries bénéfiques, améliorent, de façon direct et/ou indirect, la croissance de la plante hôte. De nombreux facteurs biotiques et abiotiques sont connus pour réguler la production de métabolites secondaires chez les bactéries. Des études récentes ont démontré l'importance de la communication entre la plante et les bactéries bénéfiques afin que s'établisse une interaction profitant à chacun des deux partis. Il est ainsi vraisemblable que les populations bactériennes associées aux racines soient capables d'intégrer ces signaux et d'adapter spécifiquement leur comportement en conséquence.La première partie de ce travail de thèse a été la mise au point d'outils basés sur la cytométrie permettant de mesurer l'activité antifongique de cellules bactériennes individuelles dans un environnent naturel, les racines des plantes. Nous avons démontré, grâce à un double marquage aux protéines autofluorescentes GFP et mCherry, que les niveaux d'expression des gènes impliqués dans la biosynthèse des substances antifongiques DAPG, PLT, PRN et HCN ne sont pas les mêmes dans des milieux de cultures liquides que sur les racines de céréales. Par exemple, l'expression de pltA (impliqué dans la biosynthèse du PLT) est quasiment abolie sur les racines de blé mais atteint un niveau relativement haut in vitro. De plus cette étude a mis en avant l'influence du génotype céréalien sur l'expression du gène phlA qui est impliqué dans la biosynthèse du DAPG.Une seconde étude a révélé la communication existant entre une céréale (orge) infectée par le pathogène tellurique Pythium ultimum et P. fluorescens CHAO. Un système de partage des racines nous a permis de séparer physiquement le pathogène et la bactérie bénéfique sur la plante. Cette méthode a donné la possibilité d'évaluer l'effet systémique, causé par l'attaque du pathogène, de la plante sur la bactérie biocontrôle. En effet, l'infection par le phytopathogène modifie la concentration de certains composés phénoliques dans les exsudats racinaires stimulant ainsi l'expression de phi A chez P.fluorescens CHAO.Une troisième partie de ce travail focalise sur l'effet des amibes qui sont des micro-prédateurs présents dans la rhizosphere. Leur présence diminue l'expression des gènes impliqués dans la biosynthèse du DAPG, PLT, PRN et HCN chez P.fluorescens CHAO, ceci en culture liquide et sur des racines d'orge. De plus, des molécules provenant du surnageant d'amibes, influencent l'expression des gènes requis pour la biosynthèse de ces antifongiques. Ces résultats illustrent que les amibes et les bactéries de la rhizosphere ont développé des stratégies pour se reconnaître et adapter leur comportement.La dernière section de ce travail est consacrée à l'acide indole-acétique (LA.A), une phytohormone connue pour son effet stimulateur sur phlA. Une étude moléculaire détaillée nous a démontré que cet effet de l'IAA est notamment modulé par une pompe à efflux (FusPl) et de son régulateur transcriptionnel (MarRl). De plus, les gènes fusPl et marRl sont régulés par d'autres composés phénoliques tels que le salicylate (un signal végétal) et l'acide fusarique (une phytotoxine du pathogène Fusarium).En résumé, ce travail de thèse illustre la complexité des interactions entre les eucaryotes et procaryotes de la rhizosphère. La reconnaissance mutuelle et l'instauration d'un dialogue moléculaire entre une plante hôte et ses bactéries bénéfiques associées? sont indispensables à la survie des deux protagonistes et semblent être hautement spécifiques.SummaryIn agriculture important crop losses result from the attack of soil-borne phytopathogenic fungi, including Thielaviopsis, Fusarium, Gaeumannomyces and Rhizoctonia, as well as from the oomycete Pythium. Certain beneficial microorganisms of the rhizosphere, in particular Pseudomonas fluorescens, have the ability to protect plants against phytopathogens by the intense colonisation of roots, by the production of antifungal exoproducts, and by induction of plant host defences. P. fluorescens strain CHAO, isolated from a tobacco field near Payerne, produces a large array of antifungal exoproducts, including 2,4-diacetylphloroglucinol (DAPG), pyoluteorin (PLT), hydrogen cyanide (HCN), pyrrolnitrin (PRN) and iron chelators. Plants produce rhizodeposites via root secretion and these represent a relevant source of carbon and nitrogen for rhizosphere microorganisms. Various biotic and abiotic stresses influence the quantity and the quality of released exudates. One the other hand, beneficial bacteria directly or indirectly promote plant growth. Biotic and abiotic factors regulate exoproduct production in biocontrol microorganisms. Recent studies have highlighted the importance of communication in establishing a fine-tuned mutualist interaction between plants and their associated beneficial bacteria. Bacteria may be able to integrate rhizosphere signals and adapt subsequently their behaviour.In a first part of the thesis, we developed a new method to monitor directly antifungal activity of individual bacterial cells in a natural environment, i.e. on roots of crop plants. We were able to demonstrate, via a dual-labelling system involving green and red fluorescent proteins (GFP, mCherry) and FACS-based flow cytometry, that expression levels of biosynthetic genes for the antifungal compounds DAPG, PLT, PRN, and HCN are highly different in liquid culture and on roots of cereals. For instance, expression of pltA (involved in PLT biosynthesis) was nearly abolished on wheat roots whereas it attained a relatively high level under in vitro conditions. In addition, we established the importance of the cereal genotype in the expression of phi A (involved in DAPG biosynthesis) in P. fluorescens CHAO.A second part of this work highlighted the systemic communication that exists between biocontrol pseudomonads and plants following attack by a root pathogen. A split-root system, allowing physical separation between the soil-borne oomycete pathogen Phytium ultimum and P. fluorescens CHAO on barley roots, was set up. Root infection by the pathogen triggered a modification of the concentration of certain phenolic root exudates in the healthy root part, resulting in an induction ofphlA expression in P. fluorescens CHAO.Amoebas are micro-predators of the rhizosphere that feed notably on bacteria. In the third part of the thesis, co-habitation of Acanthamoeba castellanii with P. fluorescens CHAO in culture media and on barley roots was found to significantly reduce bacterial expression of genes involved in the biosynthesis of DAPG, PLT, HCN and PRN. Interestingly, molecular cues present in supernatant of A. castelanii induced the expression of these antifungal genes. These findings illustrate the strategies of mutual recognition developed by amoeba and rhizosphere bacteria triggering responses that allow specific adaptations of their behaviour.The last section of the work focuses on indole-3-acetic acid (IAA), a phytohormone that stimulates the expression of phi A. A detailed molecular study revealed that the IAA-mediated effect on phi A is notably modulated by an efflux pump (FusPl) and its transcriptional regulator (MarRl). Remarkably, transcription of fusPl and marRl was strongly upregulated in presence of other phenolic compounds such as salicylate (a plant signal) and fusaric acid (a phytotoxin of the pathogenic fungus Fusarium).To sum up, this work illustrates the great complexity of interactions between eukaryotes and prokaryotes taking place in the rhizosphere niche. The mutual recognition and the establishment of a molecular cross-talk between the host plant and its associated beneficial bacteria are essential for the survival of the two partners and these interactions appear to be highly specific.

Method to estimate soil macroporosity and microporosity based on sand content and bulk density

Macroporosity is often used in the determination of soil compaction. Reduced macroporosity can lead to poor drainage, low root aeration and soil degradation. The aim of this study was to develop and test different models to estimate macro and microporosity efficiently, using multiple regression. Ten soils were selected within a large range of textures: sand (Sa) 0.07-0.84; silt 0.03-0.24; clay 0.13-0.78 kg kg-1 and subjected to three compaction levels (three bulk densities, BD). Two models with similar accuracy were selected, with a mean error of about 0.02 m³ m-3 (2 %). The model y = a + b.BD + c.Sa, named model 2, was selected for its simplicity to estimate Macro (Ma), Micro (Mi) or total porosity (TP): Ma = 0.693 - 0.465 BD + 0.212 Sa; Mi = 0.337 + 0.120 BD - 0.294 Sa; TP = 1.030 - 0.345 BD 0.082 Sa; porosity values were expressed in m³ m-3; BD in kg dm-3; and Sa in kg kg-1. The model was tested with 76 datum set of several other authors. An error of about 0.04 m³ m-3 (4 %) was observed. Simulations of variations in BD as a function of Sa are presented for Ma = 0 and Ma = 0.10 (10 %). The macroporosity equation was remodeled to obtain other compaction indexes: a) to simulate maximum bulk density (MBD) as a function of Sa (Equation 11), in agreement with literature data; b) to simulate relative bulk density (RBD) as a function of BD and Sa (Equation 13); c) another model to simulate RBD as a function of Ma and Sa (Equation 16), confirming the independence of this variable in relation to Sa for a fixed value of macroporosity and, also, proving the hypothesis of Hakansson & Lipiec that RBD = 0.87 corresponds approximately to 10 % macroporosity (Ma = 0.10 m³ m-3).

Heat pulse line-source method to determine thermal conductivity of consolidated rocks

An instrument designed to measure thermal conductivity of consolidated rocks, dry or saturated, using a transient method is presented. The instrument measures relative values of the thermal conductivity, and it needs calibration to obtain absolute values. The device can be used as heat pulse line source and as continuous heat line source. Two parameters to determine thermal conductivity are proposed: TMAX, in heat pulse line source, and SLOPE, in continuous heat line source. Its performance is better, and the operation simpler, in heat pulse line-source mode with a measuring time of 170 s and a reproducibility better than 2.5%. The sample preparation is very simple on both modes. The performance has been tested with a set of ten rocks with thermal conductivity values between 1.4 and 5.2 W m¿1 K¿1 which covers the usual range for consolidated rocks.

SET translocation is associated with increase in caspase cleaved amyloid precursor protein in CA1 of Alzheimer and Down syndrome patients.

Caspase cleaved amyloid precursor protein (APPcc) and SET are increased and mislocalized in the neuronal cytoplasm in Alzheimer Disease (AD) brains. Translocated SET to the cytoplasm can induce tau hyperphosphorylation. To elucidate the putative relationships between mislocalized APPcc and SET, we studied their level and distribution in the hippocampus of 5 controls, 3 Down syndrome and 10 Alzheimer patients. In Down syndrome and Alzheimer patients, APPcc and SET levels were increased in CA1 and the frequency of both localizations in the neuronal cytoplasm was high in CA1, and low in CA4. As the increase of APPcc is already present at early stages of AD, we overexpressed APPcc in CA1 and the dentate gyrus neurons of adult mice with a lentiviral construct. APPcc overexpression in CA1 and not in the dentate gyrus induced endogenous SET translocation and tau hyperphosphorylation. These data suggest that increase in APPcc in CA1 neurons could be an early event leading to the translocation of SET and the progression of AD through tau hyperphosphorylation.

Comparison between detailed digital and conventional soil maps of an area with complex geology

Since different pedologists will draw different soil maps of a same area, it is important to compare the differences between mapping by specialists and mapping techniques, as for example currently intensively discussed Digital Soil Mapping. Four detailed soil maps (scale 1:10.000) of a 182-ha sugarcane farm in the county of Rafard, São Paulo State, Brazil, were compared. The area has a large variation of soil formation factors. The maps were drawn independently by four soil scientists and compared with a fifth map obtained by a digital soil mapping technique. All pedologists were given the same set of information. As many field expeditions and soil pits as required by each surveyor were provided to define the mapping units (MUs). For the Digital Soil Map (DSM), spectral data were extracted from Landsat 5 Thematic Mapper (TM) imagery as well as six terrain attributes from the topographic map of the area. These data were summarized by principal component analysis to generate the map designs of groups through Fuzzy K-means clustering. Field observations were made to identify the soils in the MUs and classify them according to the Brazilian Soil Classification System (BSCS). To compare the conventional and digital (DSM) soil maps, they were crossed pairwise to generate confusion matrices that were mapped. The categorical analysis at each classification level of the BSCS showed that the agreement between the maps decreased towards the lower levels of classification and the great influence of the surveyor on both the mapping and definition of MUs in the soil map. The average correspondence between the conventional and DSM maps was similar. Therefore, the method used to obtain the DSM yielded similar results to those obtained by the conventional technique, while providing additional information about the landscape of each soil, useful for applications in future surveys of similar areas.

Improving telecommunication security level by integrating quantum key distribution in communication protocols

Résumé La cryptographie classique est basée sur des concepts mathématiques dont la sécurité dépend de la complexité du calcul de l'inverse des fonctions. Ce type de chiffrement est à la merci de la puissance de calcul des ordinateurs ainsi que la découverte d'algorithme permettant le calcul des inverses de certaines fonctions mathématiques en un temps «raisonnable ». L'utilisation d'un procédé dont la sécurité est scientifiquement prouvée s'avère donc indispensable surtout les échanges critiques (systèmes bancaires, gouvernements,...). La cryptographie quantique répond à ce besoin. En effet, sa sécurité est basée sur des lois de la physique quantique lui assurant un fonctionnement inconditionnellement sécurisé. Toutefois, l'application et l'intégration de la cryptographie quantique sont un souci pour les développeurs de ce type de solution. Cette thèse justifie la nécessité de l'utilisation de la cryptographie quantique. Elle montre que le coût engendré par le déploiement de cette solution est justifié. Elle propose un mécanisme simple et réalisable d'intégration de la cryptographie quantique dans des protocoles de communication largement utilisés comme les protocoles PPP, IPSec et le protocole 802.1li. Des scénarios d'application illustrent la faisabilité de ces solutions. Une méthodologie d'évaluation, selon les critères communs, des solutions basées sur la cryptographie quantique est également proposée dans ce document. Abstract Classical cryptography is based on mathematical functions. The robustness of a cryptosystem essentially depends on the difficulty of computing the inverse of its one-way function. There is no mathematical proof that establishes whether it is impossible to find the inverse of a given one-way function. Therefore, it is mandatory to use a cryptosystem whose security is scientifically proven (especially for banking, governments, etc.). On the other hand, the security of quantum cryptography can be formally demonstrated. In fact, its security is based on the laws of physics that assure the unconditional security. How is it possible to use and integrate quantum cryptography into existing solutions? This thesis proposes a method to integrate quantum cryptography into existing communication protocols like PPP, IPSec and the 802.l1i protocol. It sketches out some possible scenarios in order to prove the feasibility and to estimate the cost of such scenarios. Directives and checkpoints are given to help in certifying quantum cryptography solutions according to Common Criteria.

On-axis joint transform correlation based on a four-level power spectrum

We propose a method to obtain a single centered correlation with use of a joint transform correlator. We analyze the required setup to carry out the whole process optically, and we also present experimental results.

Effects of thresholding level variation in fringe binarization of multiobject joint transform correlation

It is possible to improve the fringe binarization method of joint transform correlation by choosing a suitable threshold level.