Application of modal interval analysis to the simulation of the behaviour of dynamic systems with uncertain parameters

Els models matemàtics quantitatius són simplificacions de la realitat i per tant el comportament obtingut per simulació d'aquests models difereix dels reals. L'ús de models quantitatius complexes no és una solució perquè en la majoria dels casos hi ha alguna incertesa en el sistema real que no pot ser representada amb aquests models. Una forma de representar aquesta incertesa és mitjançant models qualitatius o semiqualitatius. Un model d'aquest tipus de fet representa un conjunt de models. La simulació del comportament de models quantitatius genera una trajectòria en el temps per a cada variable de sortida. Aquest no pot ser el resultat de la simulació d'un conjunt de models. Una forma de representar el comportament en aquest cas és mitjançant envolupants. L'envolupant exacta és complete, és a dir, inclou tots els possibles comportaments del model, i correcta, és a dir, tots els punts dins de l'envolupant pertanyen a la sortida de, com a mínim, una instància del model. La generació d'una envolupant així normalment és una tasca molt dura que es pot abordar, per exemple, mitjançant algorismes d'optimització global o comprovació de consistència. Per aquesta raó, en molts casos s'obtenen aproximacions a l'envolupant exacta. Una aproximació completa però no correcta a l'envolupant exacta és una envolupant sobredimensionada, mentre que una envolupant correcta però no completa és subdimensionada. Aquestes propietats s'han estudiat per diferents simuladors per a sistemes incerts.

Modeling and Classifying Breast Tissue Density in Mammograms

We present a new approach to model and classify breast parenchymal tissue. Given a mammogram, first, we will discover the distribution of the different tissue densities in an unsupervised manner, and second, we will use this tissue distribution to perform the classification. We achieve this using a classifier based on local descriptors and probabilistic Latent Semantic Analysis (pLSA), a generative model from the statistical text literature. We studied the influence of different descriptors like texture and SIFT features at the classification stage showing that textons outperform SIFT in all cases. Moreover we demonstrate that pLSA automatically extracts meaningful latent aspects generating a compact tissue representation based on their densities, useful for discriminating on mammogram classification. We show the results of tissue classification over the MIAS and DDSM datasets. We compare our method with approaches that classified these same datasets showing a better performance of our proposal

WMR navigation using local potential field corridors and narrow local occupancy grid perception

Path planning and control strategies applied to autonomous mobile robots should fulfil safety rules as well as achieve final goals. Trajectory planning applications should be fast and flexible to allow real time implementations as well as environment interactions. The methodology presented uses the on robot information as the meaningful data necessary to plan a narrow passage by using a corridor based on attraction potential fields that approaches the mobile robot to the final desired configuration. It employs local and dense occupancy grid perception to avoid collisions. The key goals of this research project are computational simplicity as well as the possibility of integrating this method with other methods reported by the research community. Another important aspect of this work consist in testing the proposed method by using a mobile robot with a perception system composed of a monocular camera and odometers placed on the two wheels of the differential driven motion system. Hence, visual data are used as a local horizon of perception in which trajectories without collisions are computed by satisfying final goal approaches and safety criteria

Estudio de las comunidades microbianas de embutidos fermentados ligeramente acidificados mediante técnicas moleculares. Estandarización, seguridad y mejora tecnológica.

Los embutidos fermentados ligeramente acidificados son un grupo de productos tradicionales mediterráneos, caracterizados por un pH superior a 5,3. Para un control eficiente de la seguridad microbiológica de los embutidos se necesitan técnicas rápidas para la identificación y recuento de los microorganismos patógenos a estudiar. En el presente trabajo, se desarrolló una técnica para la enumeración de L. monocytogenes que combinó el método del número más probable y la identificación mediante PCR específica. Para la detección de Salmonella spp. y L. monocytogenes se desarrolló un sistema de PCR-multiplex que permitió la identificación de ambos patógenos de forma simultánea en una sola reacción. El estudio de la calidad microbiológica de los embutidos fermentados ligeramente acidificados se completó con la caracterización de las comunidades microbianas más importantes en estos productos. Se identificaron a nivel de especie los aislados de bacterias del ácido láctico (BAL), de enterococos y de cocos gram-positivos catalasa-positivos (CGC+). Posteriormente se realizó una tipificación molecular de los mismos mediante RAPD y análisis del perfil plasmídico y se estudiaron las principales características de interés higiénico-sanitario y tecnológico de las cepas. Mediante PCR se identificó Lactobacillus sakei como la especie predominante (74%), seguida por Lactobacillus curvatus (21,2%). La actividad aminoácido-descarboxilasa se asoció a la especie L. curvatus (el 66% de los aislados presentaron esta actividad). La identificación de los enterococos se realizó mediante PCR-multiplex y por secuenciación del gen sodA. Enterococcus faecium fue la especie de enterococos predominante (51,9%) seguida por Enterococcus faecalis (14,2%). Todas las cepas de E. faecalis presentaron genes asociados a factores de virulencia. E. faecalis presentó mayor resistencia a antibióticos que el resto de las especies de enterococos estudiadas. Tan sólo una cepa de E. faecium presentó el genotipo vanA (que confiere resistencia de alto nivel a la vancomicina). La identificación de los aislados de CGC+ (mediante PCR específica y amplificación de la región intergénica 16S-23S ARNr) demostró que Staphylococcus xylosus es la especie predominante en los embutidos fermentados ligeramente acidificados (80,8%). La amina biógena más común en los CGC+ fue la feniletilamina, producida por un 10,8% de aislados. Un pequeño porcentaje de aislados fueron mecA+ (4,6%), presentando además resistencia a múltiples antibióticos. El potencial enterotoxigénico de las cepas de CGC+ fue muy reducido (3,3% de los aislados), detectándose únicamente el gen entC. El estudio pormenorizado de las comunidades bacterianas de interés permitió la selección de 2 cepas de L. sakei y 2 cepas de S. xylosus con características tecnológicas e higiénico-sanitarias óptimas. Para evaluar su efectividad como cultivos iniciadores se elaboraron dos tipos de embutidos ligeramente ácidos, chorizo y fuet, inoculados con microorganismos patógenos (Salmonella spp., L. monocytogenes y S. aureus). El uso de cultivos iniciadores permitió el control de L. monocytogenes, Enterobacteriaceae y Enterococcus así como del contenido en aminas biógenas. Los recuentos de Salmonella spp. disminuyeron de forma significante durante la maduración de los embutidos, independientemente del uso de cultivos iniciadores. El uso del tratamiento de alta presión (400 MPa) en los embutidos madurados consiguió la ausencia de Salmonella spp. en los lotes tratados.

Síntesi, caracterització i avaluació com a catalitzadors de nous complexos quirals de platí

The oxidative addition proved to be a useful method to prepare platinum (II) hydridotiolate by reaction of tetrakis(triphenylphosphine)platinum(0) with aminothiolate and phosphinothiolate ligands like cysteamine, cysteine ethyl and methyl Esther, 2-(diphenylphosphino)ethanetiol and 2-(diphenylphosphino)propanetiol. The complexes are square-planar and the aminothiolate or phosphinothiolate ligands are chelated to platinum (II). The hydrido ligand is trans to the sulfur and the other coordination position is occuped by a triphenylphosphine ligand. The complexes are mononuclear and they show low symmetry. The only symmetry element, the plan is broke if the ligand is branched, obtaining asymmetric complexes C1. If the ligand has electronic or esteric impediments the reaction doesn't run and the starting products are recovered. This was observed with N,N-dimethylcysteamine and penicylamine methyl esther ligands. In the special case of orthoaminotiophenol the hydridotiolate was obtained but the ligand was not chelated. The aminothiolate complexes don't show solution equilibrium. Otherwise, the complexe with 2-(diphenylphosphino)ethanetiol show an isomerisation equilibrium which forms cis isomer as a minor component. The complexe with 2-(diphenylphosphino)-propanetiol shows a conformational equilibrium between chair and twist forms. The complexes have been tested as catalyst precursors in hydroformylation and hydrosilylation reactions. The hydroformylation reaction runs only in presence of SnCl2 as cocatalyst. Catalytic activity depends on the presence of triphenylphosphine and, with less magnitude, CO and H2 pressure. We also studied the enantioselectivity using a chiral complexe. In the hydrosililation reaction, catalysts run with good results (<90%) using triethylsilane as silicon hydride. Dehydrogenative addition product has been also found in this reaction.

Enhanced convolution approach for CAC in ATM networks, an analytical study and implementation

The characteristics of service independence and flexibility of ATM networks make the control problems of such networks very critical. One of the main challenges in ATM networks is to design traffic control mechanisms that enable both economically efficient use of the network resources and desired quality of service to higher layer applications. Window flow control mechanisms of traditional packet switched networks are not well suited to real time services, at the speeds envisaged for the future networks. In this work, the utilisation of the Probability of Congestion (PC) as a bandwidth decision parameter is presented. The validity of PC utilisation is compared with QOS parameters in buffer-less environments when only the cell loss ratio (CLR) parameter is relevant. The convolution algorithm is a good solution for CAC in ATM networks with small buffers. If the source characteristics are known, the actual CLR can be very well estimated. Furthermore, this estimation is always conservative, allowing the retention of the network performance guarantees. Several experiments have been carried out and investigated to explain the deviation between the proposed method and the simulation. Time parameters for burst length and different buffer sizes have been considered. Experiments to confine the limits of the burst length with respect to the buffer size conclude that a minimum buffer size is necessary to achieve adequate cell contention. Note that propagation delay is a no dismiss limit for long distance and interactive communications, then small buffer must be used in order to minimise delay. Under previous premises, the convolution approach is the most accurate method used in bandwidth allocation. This method gives enough accuracy in both homogeneous and heterogeneous networks. But, the convolution approach has a considerable computation cost and a high number of accumulated calculations. To overcome this drawbacks, a new method of evaluation is analysed: the Enhanced Convolution Approach (ECA). In ECA, traffic is grouped in classes of identical parameters. By using the multinomial distribution function instead of the formula-based convolution, a partial state corresponding to each class of traffic is obtained. Finally, the global state probabilities are evaluated by multi-convolution of the partial results. This method avoids accumulated calculations and saves storage requirements, specially in complex scenarios. Sorting is the dominant factor for the formula-based convolution, whereas cost evaluation is the dominant factor for the enhanced convolution. A set of cut-off mechanisms are introduced to reduce the complexity of the ECA evaluation. The ECA also computes the CLR for each j-class of traffic (CLRj), an expression for the CLRj evaluation is also presented. We can conclude that by combining the ECA method with cut-off mechanisms, utilisation of ECA in real-time CAC environments as a single level scheme is always possible.