Vulnerability assessment of distributed systems

In this project I have carried out a vulnerability assessment of a component of the Condor Middleware. In this assessment I have sought and found the more dangerous software vulnerabilities of this system, I have reported them to the development team such that they may be fixed, and thus improve the security of this distributed system, and the networks that use it.

Hereditary completeness for systems of exponentials and reproducing kernels

Vegeu el resum a l'inici del document del fitxer adjunt.

Relationship of mating systems and metabolic rate with cycle length of spermatogenesis and sperm production rate in shrews

SUMMARY : The shrews are among the most ancient of living eutherian mammals. They represent an interesting comparative model because of their extreme divergent species. The two shrew subfamilies, Soricinae and Crocidurinae are characterized by fundamental differences concerning their metabolic rates, litter size, period of gestation and different mating pattern. In this study we established and compared the sperm characteristics in four species of different genera of shrews (Sorex araneus, Neomys fodiens, Crocidura russula and Suncus murinus) in the context of the sperm competition hypothesis. The sperm competition concerns the competition between ejaculates of different males for fertilization of ova of a female within a single estrus period. As expected, a greater relative testis size (indicating the importance of polyandry) was associated with a higher number of cauda epididymal spermatozoa, higher level of circulating testosterone and a higher percentage of progressive sperm motility. In addition, we investigated if the basal metabolic rate (BMR) and relative testis size (RTS) may be correlated with the cycle length of spermatogenesis. In this purpose, we determined and compared the cycle length of spermatogenesis in six species of shrews belonging to two subfamilies: Soiricinae (Sorex araneus, Sorex coronatus, Sorex minutus, Neomys fodiens) and Crocidurinae (Crocidura russula, Sunctes murinus). Our results indicate that sperm competition and metabolic rate may act independently or together reducing cycle length of spermatogenesis and thus increase sperm production. We finally investigated this correlation across 32 mammalian species. After testing the data for phylogenetic independence, our results showed that BMR explained only 21 % of the variation, while the RTS explained 44% of the variation of the cycle length of spermatogenesis. The level of the sperm competition, indicated by RTS, is thus to our knowledge the most important factor influencing the speed of spermatogenesis in mammals. RESUME : Les musaraignes sont parmi les plus anciens mammifères vivants. Grâce à leurs extrêmes divergences, ils sont souvent utilisés comme modèles dans des études comparatives. Les deux sous-familles Soricinae et Crocidurinae sont caractérisées par des différences fondamentales, notamment en termes d'intensité du métabolisme, des stratégies de reproduction et du comportement social. Dans la première partie de cette étude, nous avons établi et comparé certaines "caractéristiques des spermatozoïdes chez quatre espèces de musaraignes appartenant à des genres différents (Sorex araneus, Neomys fodiens, Crocidura russula et Suncus murinus). Les résultats ont été interprétés dans le contexte de la théorie de la compétition spermatique, c'est-à-dire la compétition entre le sperme de deux ou plusieurs mâles pour féconder un maximum d'ovules de la même femelle. Cette compétition spermatique peut amener à certaines adaptations biologiques afin de produire plus de sperme. Comme attendu, une grande taille relative des testicules est associée à un nombre élevé de spermatozoïdes, dont la majorité présente une mobilité progressive. Un taux élévé de testostérone a également été observé. De plus, nous avons étudié l'influence du métabolisme basal ainsi que l'intensité de la compétition spermatique sur la durée du cycle de la spermatogenèse. Dans ce but, nous avons déterminé et comparé les durées de la spermatogenèse chez six espèces de musaraignes appartenant à deux sous-familles : Soricinae (Sorex araneus, Sorex coronatus, Sorex minutus, Neomys fodiens) et Crocidurinae (Crocidura russula, Suncus murinus). Les résultats obtenus indiquent que ces deux facteurs (l'intensité du métabolisme basal et de la compétition spermatique) agissent d'une manière dépendante ou indépendante dans le même sens. La conséquence de ces actions est une diminution de la durée de la spermatogenèse entraînant une augmentation de la production de spermatozoïdes. Nous avons finalement étudié ce phénomène dans l'ensemble des mammifères. Après avoir testé l'indépendance phylogénétique, nos résultats montrent que l'intensité de la compétition spermatique indiquée par le RTS est mieux corrélée avec la régulation de la durée de la spermatogenèse qu'avec l'intensité du métabolisme.

Assessing the viability of power-supply systems: a tentative protocol

This Technical Report presents a tentative protocol used to assess the viability of powersupply systems. The viability of power-supply systems can be assessed by looking at the production factors (e.g. paid labor, power capacity, fossil-fuels) – needed for the system to operate and maintain itself – in relation to the internal constraints set by the energetic metabolism of societies. In fact, by using this protocol it becomes possible to link assessments of technical coefficients performed at the level of the power-supply systems with assessments of benchmark values performed at the societal level throughout the relevant different sectors. In particular, the example provided here in the case of France for the year 2009 makes it possible to see that in fact nuclear energy is not viable in terms of labor requirements (both direct and indirect inputs) as well as in terms of requirements of power capacity, especially when including reprocessing operations.

Evaluation of three automated systems for susceptibility testing of enterobacteria containing qnrB, qnrS, and/or aac(6')-Ib-cr.

The accuracy of the MicroScan WalkAway, BD Phoenix, and Vitek-2 systems for susceptibility testing of quinolones and aminoglycosides against 68 enterobacteria containing qnrB, qnrS, and/or aac(6 ')-Ib-cr was evaluated using reference microdilution. Overall, one very major error (0.09%), 6 major errors (0.52%), and 45 minor errors (3.89%) were noted.

Detection of Wuchereria bancrofti DNA in paired serum and urine samples using polymerase chain reaction-based systems

The Global Program for the Elimination of Lymphatic Filariasis (GPELF) aims to eliminate this disease by the year 2020. However, the development of more specific and sensitive tests is important for the success of the GPELF. The present study aimed to standardise polymerase chain reaction (PCR)-based systems for the diagnosis of filariasis in serum and urine. Twenty paired biological urine and serum samples from individuals already known to be positive for Wuchereria bancrofti were collected during the day. Conventional PCR and semi-nested PCR assays were optimised. The detection limit of the technique for purified W. bancrofti DNA extracted from adult worms was 10 fg for the internal systems (WbF/Wb2) and 0.1 fg by using semi-nested PCR. The specificity of the primers was confirmed experimentally by amplification of 1 ng of purified genomic DNA from other species of parasites. Evaluation of the paired urine and serum samples by the semi-nested PCR technique indicated only two of the 20 tested individuals were positive, whereas the simple internal PCR system (WbF/Wb2), which has highly promising performance, revealed that all the patients were positive using both samples. This study successfully demonstrated the possibility of using the PCR technique on urine for the diagnosis of W. bancrofti infection.

Estimation of zero-sequence impedance of undergrounds cables for single-phase fault location in distribution systems with electric arc

This paper focus on the problem of locating single-phase faults in mixed distribution electric systems, with overhead lines and underground cables, using voltage and current measurements at the sending-end and sequence model of the network. Since calculating series impedance for underground cables is not as simple as in the case of overhead lines, the paper proposes a methodology to obtain an estimation of zero-sequence impedance of underground cables starting from previous single-faults occurred in the system, in which an electric arc occurred at the fault location. For this reason, the signal is previously pretreated to eliminate its peaks voltage and the analysis can be done working with a signal as close as a sinus wave as possible

Implementation of zonal control algorithms in adaptive optical systems with sparse control matrices

Miralls deformables més i més grans, amb cada cop més actuadors estan sent utilitzats actualment en aplicacions d'òptica adaptativa. El control dels miralls amb centenars d'actuadors és un tema de gran interès, ja que les tècniques de control clàssiques basades en la seudoinversa de la matriu de control del sistema es tornen massa lentes quan es tracta de matrius de dimensions tan grans. En aquesta tesi doctoral es proposa un mètode per l'acceleració i la paral.lelitzacó dels algoritmes de control d'aquests miralls, a través de l'aplicació d'una tècnica de control basada en la reducció a zero del components més petits de la matriu de control (sparsification), seguida de l'optimització de l'ordenació dels accionadors de comandament atenent d'acord a la forma de la matriu, i finalment de la seva posterior divisió en petits blocs tridiagonals. Aquests blocs són molt més petits i més fàcils de fer servir en els càlculs, el que permet velocitats de càlcul molt superiors per l'eliminació dels components nuls en la matriu de control. A més, aquest enfocament permet la paral.lelització del càlcul, donant una com0onent de velocitat addicional al sistema. Fins i tot sense paral. lelització, s'ha obtingut un augment de gairebé un 40% de la velocitat de convergència dels miralls amb només 37 actuadors, mitjançant la tècnica proposada. Per validar això, s'ha implementat un muntatge experimental nou complet , que inclou un modulador de fase programable per a la generació de turbulència mitjançant pantalles de fase, i s'ha desenvolupat un model complert del bucle de control per investigar el rendiment de l'algorisme proposat. Els resultats, tant en la simulació com experimentalment, mostren l'equivalència total en els valors de desviació després de la compensació dels diferents tipus d'aberracions per als diferents algoritmes utilitzats, encara que el mètode proposat aquí permet una càrrega computacional molt menor. El procediment s'espera que sigui molt exitós quan s'aplica a miralls molt grans.

Modeling of hybrid systems by piecewise decomposition

Piecewise linear models systems arise as mathematical models of systems in many practical applications, often from linearization for nonlinear systems. There are two main approaches of dealing with these systems according to their continuous or discrete-time aspects. We propose an approach which is based on the state transformation, more particularly the partition of the phase portrait in different regions where each subregion is modeled as a two-dimensional linear time invariant system. Then the Takagi-Sugeno model, which is a combination of local model is calculated. The simulation results show that the Alpha partition is well-suited for dealing with such a system

An LMI approach to H∞ synchronization of second-order neutral master-slave systems

The H∞ synchronization problem of the master and slave structure of a second-order neutral master-slave systems with time-varying delays is presented in this paper. Delay-dependent sufficient conditions for the design of a delayed output-feedback control are given by Lyapunov-Krasovskii method in terms of a linear matrix inequality (LMI). A controller, which guarantees H∞ synchronization of the master and slave structure using some free weighting matrices, is then developed. A numerical example has been given to show the effectiveness of the method

Within-population polymorphism of sex-determination systems in the common frog (Rana temporaria).

In sharp contrast with birds and mammals, the sex chromosomes of ectothermic vertebrates are often undifferentiated, for reasons that remain debated. A linkage map was recently published for Rana temporaria (Linnaeus, 1758) from Fennoscandia (Eastern European lineage), with a proposed sex-determining role for linkage group 2 (LG2). We analysed linkage patterns in lowland and highland populations from Switzerland (Western European lineage), with special focus on LG2. Sibship analyses showed large differences from the Fennoscandian map in terms of recombination rates and loci order, pointing to large-scale inversions or translocations. All linkage groups displayed extreme heterochiasmy (total map length was 12.2 cM in males, versus 869.8 cM in females). Sex determination was polymorphic within populations: a majority of families (with equal sex ratios) showed a strong correlation between offspring phenotypic sex and LG2 paternal haplotypes, whereas other families (some of which with female-biased sex ratios) did not show any correlation. The factors determining sex in the latter could not be identified. This coexistence of several sex-determination systems should induce frequent recombination of X and Y haplotypes, even in the absence of male recombination. Accordingly, we found no sex differences in allelic frequencies on LG2 markers among wild-caught male and female adults, except in one high-altitude population, where nonrecombinant Y haplotypes suggest sex to be entirely determined by LG2. Multifactorial sex determination certainly contributes to the lack of sex-chromosome differentiation in amphibians.

Complexité, médecine générale et réformes des systèmes de santé [Complexity, general practice and reforms of health systems].

The family doctor facing complexity must decide in situations of low certainty and low agreement. Complexity is in part subjective but can also be measured. Changes in the health systems aim to reduce health costs. They tend to give priority to simple situations and to neglect complexity. One role of an academic institute of family medicine is to present and promote the results of scientific research supporting the principles of family medicine, taking into account both the local context and health systems reforms. In Switzerland the new challenge is the introduction of managed care.

Fault diagnosis by refining the parameter uncertainty space of nonlinear dynamic systems

This paper deals with fault detection and isolation problems for nonlinear dynamic systems. Both problems are stated as constraint satisfaction problems (CSP) and solved using consistency techniques. The main contribution is the isolation method based on consistency techniques and uncertainty space refining of interval parameters. The major advantage of this method is that the isolation speed is fast even taking into account uncertainty in parameters, measurements, and model errors. Interval calculations bring independence from the assumption of monotony considered by several approaches for fault isolation which are based on observers. An application to a well known alcoholic fermentation process model is presented

Three-dimensional sequence stratigraphy and subtle stratigraphic traps associated with systems tracts: West Cameron region, offshore Louisiana, Gulf of Mexico

Three-dimensional sequence stratigraphy is a potent exploration and development tool for the discovery of subtle stratigraphic traps. Reservoir morphology, heterogeneity and subtle stratigraphic trapping mechanisms can be better understood through systematic horizontal identification of sedimentary facies of systems tracts provided by three-dimensional attribute maps used as an important complement to the sequential analysis on the two-dimensional seismic lines and the well log data. On new prospects as well as on already-producing fields, the additional input of sequential analysis on three-dimensional data enables the identification, location and precise delimitation of new potentially productive zones. The first part of this paper presents four typical horizontal seismic facies assigned to the successive systems tracts of a third- or fourth-order sequence deposited in inner to outer neritic conditions on a elastic shelf. The construction of this synthetic representative sequence is based on the observed reproducibility of the horizontal seismic facies response to cyclic eustatic events on more than 35 sequences registered in the Gulf coast Plio-Pleistocene and Late Miocene, offshore Louisiana in the West Cameron region of the Gulf of Mexico. The second part shows how three-dimensional sequence stratigraphy can contribute in localizing and understanding sedimentary facies associated with productive zones. A case study in the early Middle Miocene Cibicides opima sands shows multiple stacked gas accumulations in the top slope fan, prograding wedge and basal transgressive systems tract of the third-order sequence between SB15.5 and SB 13.8 Ma.