Limiting search cost distribution for the move-to-front rule with random request probabilities

Consider a list of $n$ files whose popularities are random. These files are updated according to the move-to-front rule and we consider the induced Markov chain at equilibrium. We give the exact limiting distribution of the search-cost per item as $n$ tends to infinity. Some examples are supplied.Comment: move-to-front, search cost, random discrete distribution, limiting distribution, size biased permutatio

Limiting behavior of the search cost distribution for the move-to-front rule in the stable case

Move-to-front rule is a heuristic updating a list of n items according to requests. Items are required with unknown probabilities (or popularities). The induced Markov chain is known to be ergodic. One main problem is the study of the distribution of the search cost dened as the position of the required item. Here we first establish the link between two recent papers that both extend results proved by Kingman on the expected stationary search cost. Combining results contained in these papers, we obtain the limiting behavior for any moments of the stationary seach cost as n tends to innity

Pattern matching of footwear Impressions

One of the most frequently secured types of evidence at crime scenes are footware impressions. Identifying the brand and model of the footware can be crucial to narrowing the search for suspects. This is done by forensic experts by comparing the evidence found at the crime scene with a huge list of reference impressions. In order to support the forensic experts an automatic retrieval of the most likely matches is desired.In this thesis different techniques are evaluated to recognize and match footwear impressions, using reference and real crime scene shoeprint images. Due to the conditions in which the shoeprints are found (partial occlusions, variation in shape) a translation, rotation and scale invariant system is needed. A VLAD (Vector of Locally Aggregated Descriptors) encoder is used to clustering descriptors obtained using different approaches, such as SIFT (Scale-Invariant Feature Transform), Dense SIFT in a Triplet CNN (Convolutional Neural Network). These last two approaches provide the best performance results when the parameters are correctly adjusted, using the Cumulative Matching Characteristic curve to evaluate it.En esta tesis se evalúan diferentes técnicas para reconocer y emparejar impresiones de calzado, utilizando imágenes de referencia y de escenas reales de crimen. Debido a las condiciones en que se encuentran las impresiones (oclusiones parciales, variaciones de forma) se necesita un sistema invariante ante translación, rotación y escalado. Para ello se utiliza un codificador VLAD (Vector of Locally Aggregated Descriptors) para agrupar descriptores obtenidos en diferentes enfoques, como SIFT (Scale-Invariant Feature Transform), Dense SIFT y Triplet CNN (Convolutional Neural Network). Estos dos últimos enfoques proporcionan los mejores resultados una vez los parámetros se han ajustado correctamente, utilizando la curva CMC (Characteristic Matching Curve) para realizar la evaluación.En aquesta tesi s'avaluen diferents tècniques per reconèixer i aparellar impressions de calçat, utilitzant imatges de referència i d'escenes reals de crim. Degut a les condicions en què es troben les impressions (oclusions parcials, variació de forma ) es necessita un sistema invariant davant translació, rotació i escalat. Per això s'utilitza un codificador VLAD (Vector of Locally Aggregated Descriptors) per agrupar descriptors obtinguts en diferents enfocaments, com SIFT (Scale-Invariant Feature Transform), Dense SIFT i Triplet CNN (Convolutional Neural Network). Aquests dos últims enfocaments proporcionen els millors resultats un cop els paràmetres s'han ajustat correctament, utilitzant la corba CMC (Characteristic Matching Curve) per realitzar l'avaluació

Web based system architecture for long pulse remote experimentation

Remote experimentation (RE) methods will be essential in next generation fusion devices. Requirements for long pulse RE will be: on-line data visualization, on-line data acquisition processes monitoring and on-line data acquisition systems interactions (start, stop or set-up modifications). Note that these methods are not oriented to real-time control of fusion plant devices. INDRA Sistemas S.A., CIEMAT (Centro de Investigaciones Energéticas Medioambientales y Tecnológicas) and UPM (Universidad Politécnica de Madrid) have designed a specific software architecture for these purposes. The architecture can be supported on the BeansNet platform, whose integration with an application server provides an adequate solution to the requirements. BeansNet is a JINI based framework developed by INDRA, which makes easy the implementation of a remote experimentation model based on a Service Oriented Architecture. The new software architecture has been designed on the basis of the experience acquired in the development of an upgrade of the TJ-II remote experimentation system

In vitro and in vivo validation of human and goat chondrocyte labeling by green fluorescent protein lentivirus transduction

We investigated whether human articular chondrocytes can be labeled efficiently and for long-term with a green fluorescent protein (GFP) lentivirus and whether the viral transduction would influence cell proliferation and tissue-forming capacity. The method was then applied to track goat articular chondrocytes after autologous implantation in cartilage defects. Expression of GFP in transduced chondrocytes was detected cytofluorimetrically and immunohistochemically. Chondrogenic capacity of chondrocytes was assessed by Safranin-O staining, immunostaining for type II collagen, and glycosaminoglycan content. Human articular chondrocytes were efficiently transduced with GFP lentivirus (73.4 +/- 0.5% at passage 1) and maintained the expression of GFP up to 22 weeks of in vitro culture after transduction. Upon implantation in nude mice, 12 weeks after transduction, the percentage of labeled cells (73.6 +/- 3.3%) was similar to the initial one. Importantly, viral transduction of chondrocytes did not affect the cell proliferation rate, chondrogenic differentiation, or tissue-forming capacity, either in vitro or in vivo. Goat articular chondrocytes were also efficiently transduced with GFP lentivirus (78.3 +/- 3.2%) and maintained the expression of GFP in the reparative tissue after orthotopic implantation. This study demonstrates the feasibility of efficient and relatively long-term labeling of human chondrocytes for co-culture on integration studies, and indicates the potential of this stable labeling technique for tracking animal chondrocytes for in cartilage repair studies

Control y supervisión de un proceso hidráulico con una plataforma Scada

Una de las principales metas que se proponen las industrias es mejorar la calidad de sus procesos, y así mejorar los niveles de competencia, generando procesos más eficientes. La teoría de control permite obtener mejores parámetros de funcionamiento como lo son, por ejemplo un control de nivel y caudal exactos en los procesos de control de líquidos industriales. Esto se logra gracias a la aplicación de la teoría de control utilizando: Autómatas programables, Plataformas de programación con hardware Arduino, Sensores adecuados a las necesidades del sistema, Reguladores proporcionales de nivel, Software para la supervisión de procesos, como Wincc ofrecido por SIEMENS. Este proyecto consiste en conservar constante el nivel de líquido presente en un tanque, sin importar la cantidad de líquido evacuada de dicho tanque. El control sobre el proceso con la finalidad expuesta con anterioridad es logrado mediante la implementación de un controlador PID. Se aplica un interfaz hombre máquina (HMI) con el objeto de supervisar el proceso a través de réplicas gráficas del mismo

Análisis dinámico experimental de edificios esbeltos

Es conocido que la variación del comportamiento dinámico de las estructuras puede ser empleado dentro de un sistema de monitorización de su integridad estructural. Así, este estudio tiene como objetivo comprender el comportamiento dinámico de edificios esbeltos, frente a diferentes agentes ambientales como la temperatura y/o dirección y velocidad del viento. En el marco de esta investigación, se estudian dos edificios: la Torre de la ETSI (Escuela Técnica Superior de Ingenieros) de Caminos, Canales y Puertos de la UPM (Universidad Politécnica de Madrid) y un edificio de viviendas situado en la calle de Arturo Soria de Madrid. Los datos medioambientales antes mencionados, se registraron con sendas estacionales meteorológicas situadas en las azoteas de ambos edificios. Se realiza el análisis modal operacional de ambas estructuras. Este análisis se realiza a partir de las mediciones de las aceleraciones ante excitaciones ambientales, es un análisis basado sólo en la respuesta de la estructura. Por tanto, no es necesario interrumpir el funcionamiento en servicio de la instalación, obteniendo su comportamientos en este estado. A partir de este análisis, se obtienen las frecuencias naturales, los amortiguamientos modales y las formas modales. Así, en este trabajo se ha estudiado la relación existente entre la variación en la estimación de las frecuencias naturales y la variación de los agentes ambientales (fundamentalmente la temperatura). Los ensayos dinámicos en los dos edificios mencionados anteriormente, se han realizado utilizando acelerómetros de alta sensibilidad sincronizados inalámbricamente, lo cual ha simplificado el trabajo experimental si lo comparamos con los sistemas tradicionales. Como resultado del trabajo realizado se pueden destacar los siguientes puntos: (i) se ha visto que con el equipamiento disponible se pueden realizar análisis dinámicos de edificios, (ii) se ha mejorado el conocimiento dinámico de estas estructuras, y (iii) se ha visto la importancia que pueden tener los agentes ambientales dependiendo por un lado del tipo estructura del edificio. A partir del trabajo, se podrían actualizar modelos matemáticos que sirvan para la predicción de daños en las estructuras, y por otro, se podrán eliminar los efectos de los agentes ambientales, lo cual es un punto vital si se quiere emplear los parámetros modales para el cálculo de indices de daño. La aplicación de este tipo de investigación ayudará a tener una información mayor sobre el comportamiento de las estructuras y así, en el futuro, poder realizar distintos tipos de procesos, como la formulación de modelos matemáticos que reflejen con mayor fidelidad el comportamiento real. De esta forma, la monitorización de los agentes medioambientales permitirán valorar la influencia de estas variaciones sobre la estructura pudiéndose eliminar estos efectos. Con ello, se mejora la incertidumbre en la variación de frecuencias que puede ser utilizada como un sistema de activación de alarmas frente a la detección de daños estructurales. It is known that the variation of the dynamic behavior of structures can be used within a system to monitor structural integrity. So, this study aims to understand the dynamic behavior of slender buildings, against different environmental agents such as temperature and / or wind direction and velocity. As part of this investigation, two buildings are studied: the ETSI's (Escuela Técnica Superior de Ingenieros) main tower of Escuela de Caminos, Canales y Puertos of UPM (Universidad Politécnica de Madrid) and a residential building located in the streets Arturo Soria Madrid. The environmental data were recorded with weather stations located on the roof of both buildings. In both structures a modal operational analysis has been carried out. This analysis is performed from the measurements of the acceleration to the environmental excitation, this analysis is based only on the response of the structure. Therefore, it is not necessary to interrupt the operation of the structure, getting its behavior in this state. From this analysis, the natural frequencies, modal damping and mode shapes are obtained. So, in this work we have studied the existing relationship between the variation in the estimate of the natural frequencies and the variation of environmental agents (mainly temperature). The dynamic tests in the two buildings mentioned above, have been made using high-sensitivity accelerometers wirelessly synchronized, which has simplified the experimental work when compared to traditional systems. As a result of work performed can highlight the following points: (i) it has been found that with the available equipment can perform dynamic analysis of buildings, (ii) has improved dynamic knowledge of these structures, and, (iii) can be seen the potential importance of environmental agents depending on the type of building structure. From the work, mathematical models can be updated that serve to prediction of damage to structures, and on the other side, may eliminate the effects of environmental agents, which is a vital point if you want to use the modal parameters for calculating damage ratings. The application of this type of research will help to have more information about the behavior of structures and so, in the future, conduct various processes, as the formulation of mathematical models that reflect more accurately an actual behavior. In this way the monitoring of environmental agents will allow evaluate the influence of these variations on the structure being possible eliminate these effects. Thereby, improvement the uncertainty in the frequencies variation that can be used as an alarm activation system from detection of structural damage

El balance nutricional como herramienta para el diseño de sistemas silvopastoriles con especies leñosas para ramoneo: Estudio de Caso

Los parámetros productivos de los sistemas ganaderos, particularmente de trópico bajo, fluctúan drásticamente a lo largo del año debido principalmente al efecto del régimen bimodal de las precipitaciones sobre la disponibilidad y calidad nutricional de las pasturas tropicales. Se han propuesto sistemas silvopastoriles que integran en el área de pastoreo especies leñosas forrajeras para ramoneo que, además de aportar un alto contenido de proteína cruda a la dieta, toleran en mayor grado el déficit hídrico que las gramíneas por sus estrategias adquisitivas y conservadoras de agua y nutrientes según la estacionalidad climática. El objetivo de este caso práctico fue diseñar un sistema silvopastoril con unestrato arbustivo para ramoneo a partir de un balance nutricional para el hato de ganado BON de la Universidad Cooperativa de Colombia (UCC) ubicada en el corregimiento del Totumo en Ibagué, Tolima. Se caracterizó un lote de 0,42 ha en sus componentes arbóreos y herbáceos y a partir de un aforo realizado en época de lluvia se proyectó la deficiencia de forraje y nutrientes en época de sequía. Se determinaron los requerimientos nutricionales de los animales y se estimó la calidad bromatológica de la pastura. Con esto se hizo un balance de la ración y se calculó el número de arbustos para ramoneo necesarios para cubrir la deficienciade nutrientes encontrada en época seca. Este ejercicio propone una metodologíapractica para definir la densidad de arbustos a nivel de potrero para un diseño dinámico de los SSP. Se recomienda aplicar la metodología empleando información de aforos de pastos y leñosas forrajeras, así como información de los animales, propios de cada finca, con el fin de que los resultados se ajusten lo mejor posible al estado real de cada potrero