Monitorización, captura y almacenamiento inteligente de tráfico de red a 40Gbps

El avance de las redes de datos lleva consigo la necesidad de monitorizarlas para detectar problemas, anomalías e intrusiones. Las velocidades cada vez más altas de estas tecnologías Ethernet hacen necesaria la aparición de soluciones específicas capaces de capturar ese tráfico, preferiblemente usando servidores estándar y hardware no especializado. A lo largo de este trabajo se desarrollará una arquitectura para recibir y almacenar tráfico a 40 Gbps en tarjetas Intel y Mellanox usando como base el driver HPCAP, actualmente en explotación comercial para monitorización de redes 10 GbE. Esta arquitectura usará múltiples hilos de recepción para alcanzar una tasa suficientemente alta y aprovechará las características específicas de sistemas multiprocesador. Previamente se estudiarán las soluciones existentes para monitorización para identificar las necesidades existentes, y se entenderá cómo funciona la pila de red del sistema Linux y la arquitectura de los drivers de los fabricantes de las tarjetas. Después, se planteará la arquitectura multihilo, que deberá usar primitivas de sincronización rápidas para evitar perder el rendimiento; y se integrará esta solución dentro de los drivers existentes de las tarjetas de Intel y Mellanox. Por último, se desarrollarán características adicionales para reducir la cantidad de datos recibidos y hacerlos manejables por aplicaciones de análisis o de almacenamiento a disco. También se creará un entorno experimental en el que se pueda comprobar el rendimiento y correcto funcionamiento del desarrollo. Gracias a este entorno, se demostrará que la modificación de HPCAP es capaz de recibir a 40 Gbps para paquetes con tamaño suficientemente grande y que las funciones de reducción de datos son efectivas y mejoran el rendimiento.The advance of data networks comes with the need for monitoring and detection of problems, anomalies and intrusions. The high speeds of the Ethernet technologies used incite the developments of specific solutions capable of capturing that traffic, preferably using standard servers and commodity hardware. In this project, a new architecture for receiving and storing traffic at 40 Gbps line rate with Intel and Mellanox network cards will be developed, using as a starting point the HPCAP driver. This driver is currently in commercial operation for 10 GbE network monitoring. The architecture will use several reception threads to reach a high enough traffic rate, and will employ the specific features of multiprocessor systems to improve its performance. First, the existent solutions for monitoring will be reviewed identifying existing needs, and the inner workings of the Linux’s network stack and of the network drivers will be studied and understood. With this base, the multithreaded architecture will be designed using fast synchronization techniques to avoid performance hits, and this solution will be integrated with the existing Mellanox and Intel drivers. Then, additional features will be developed to reduce the amount of received data, in order to make it manageable by analysis or storage applications. Additionally, an experimental environment will be developed to allow the testing and measurements of this project. Using this environment, we will prove that this modified version of HPCAP is capable of receiving traffic at 40 Gbps for frames of enough size, and that the features for data reduction are effective and improve the performance of the system

A Fuzzy Logic Programming Environment for Managing Similarity and Truth Degrees

FASILL (acronym of "Fuzzy Aggregators and Similarity Into a Logic Language") is a fuzzy logic programming language with implicit/explicit truth degree annotations, a great variety of connectives and unification by similarity. FASILL integrates and extends features coming from MALP (Multi-Adjoint Logic Programming, a fuzzy logic language with explicitly annotated rules) and Bousi~Prolog (which uses a weak unification algorithm and is well suited for flexible query answering). Hence, it properly manages similarity and truth degrees in a single framework combining the expressive benefits of both languages. This paper presents the main features and implementations details of FASILL. Along the paper we describe its syntax and operational semantics and we give clues of the implementation of the lattice module and the similarity module, two of the main building blocks of the new programming environment which enriches the FLOPER system developed in our research group.Comment: In Proceedings PROLE 2014, arXiv:1501.0169

Influencia de la variabilidad decadal de la temperatura de la superficie del mar en la precipitación tropical: Monzón de África Occidental y Sudamérica

Tesis de la Universidad Complutense de Madrid, Facultad de Ciencias Físicas, Departamento de Física de la Tierra y Astrofísica, leída el 12/02/2018The Sahel is the semiaridWest African region between the Sahara desert and the wet tropical savanna. The Sahel rainfall depends on the West African Monsoon (WAM) system and peaks between July and September. The rainfall regimes of the Amazonia and Northeast regions, located in northern Brazil, depend on the South American Monsoon system. The Amazonia is the region covered by the Amazon River basin, where heavy rains occur throughout the year but with a rainier season extending from December to May. The Northeast is a semiarid region with a short rainy season between March and May. Precipitation regimes in these three regions have undergone changes over time with important humanitarian, environmental and economic consequences and have been a major topic of study (e.g. Rodríguez-Fonseca et al., 2015; Zhou and Lau, 2001; Marengo et al., 2016). At decadal-to-multidecadal time scales, these changes have been mainly associated with the global sea surface temperature (SST) variability. Particularly, the Sahel precipitation has been associated with the global warming (GW), the Atlantic Multidecadal Variability (AMV) and the Interdecadal Pacific Oscillation (IPO) modes of decadal-to-multidecadal SST variability (e.g. Mohino et al., 2011a). The Amazonia and Northeast rainfall changes have been related to the Pacific and the Atlantic SST variability at decadal time scales (e.g. Grimm and Saboia, 2015), which is led by the AMV and IPO. Climate study through Global Circulation Models (GCMs) is crucial to understand climate changes and assessing its effects. So, in the first part of this Thesis a multi-model analysis is done addressing the influence of the main decadal-to-multidecadal modes of SST variability on precipitation in the Sahel, Amazonia and Northeast using different GCMs simulations from the 5th phase of the Coupled Model Intercomparison Project (CMIP5) (Taylor et al., 2012)...El Sahel es la región semiárida de África Occidental entre el desierto del Sáhara y la húmeda sabana tropical. La precipitación del Sahel depende del sistema del Monzón de África Occidental (WAM1) y alcanza su punto máximo entre julio y septiembre. Los regímenes de precipitación de la Amazonía y Nordeste, ubicadas en el norte de Brasil, dependen del sistema del Monzón Sudamericano. La Amazonía es la región cubierta por la cuenca del río Amazonas, donde se producen fuertes lluvias durante todo el año, pero con una temporada más lluviosa que se extiende desde diciembre a mayo. El Nordeste es una región semiárida con una estación lluviosa corta entre marzo y mayo. Los regímenes de precipitación en estas tres regiones han experimentado cambios a lo largo del tiempo con importantes consecuencias humanitarias, ambientales y económicas y han sido objeto de diversos estudios (Rodríguez- Fonseca et al., 2015; Zhou and Lau, 2001; Marengo et al., 2016). A escalas de tiempo decadales a multidecadales, estos cambios se han relacionado principalmente con la variabilidad de la temperatura de la superficie del mar (TSM). Particularmente, la precipitación del Sahel se ha asociado con el calentamiento global (GW2 ), la Variabilidad Multidecadal del Atlántico (AMV3) y la Oscilación Interdecadal del Pacífico (IPO4) (Mohino et al., 2011a). Los cambios en la lluvia de la Amazonía y el Nordeste se han relacionado con la variabilidad de la TSM del Pacífico y el Atlántico a escalas de tiempo decadal (Grimm and Saboia, 2015), que está modulada por la AMV y la IPO. Estudiar el clima a través de Modelos de Circulación Global (GCMs5) es crucial para comprender los cambios climáticos y evaluar sus efectos. Por eso, en la primera parte de esta Tesis se aborda la influencia de los principales modos de variabilidad decadal a multidecadal de la TSM sobre la precipitación en el Sahel, la Amazonía y el Nordeste mediante un análisis multimodelo utilizando diferentes simulaciones de los GCMs de la quinta fase de la Proyecto de Intercomparación de Modelos Acoplados (CMIP56) (Taylor et al., 2012)...Depto. de Física de la Tierra y AstrofísicaFac. de Ciencias FísicasTRUEunpu

Bicyclic guanidinium oligomers for recognition, cell delivery, and molecular materials

El presente trabajo tiene por objetivo el diseño y la síntesis de diferentes oligómeros de guanidina bicíclica, así como el estudio de sus propiedades. El grupo guanidinio es conocido por su capacidad para interaccionar con aniones (especialmente oxonaniones) mediante puentes de hidrógeno e interacciones de tipo electrostático. Los primeros capítulos de esta tesis están dedicados al estudio de la interacción de derivados oligoméricos de guanidina bicíclica con sistemas biológicos de gran relevancia, concretamente con el dominio de tetramerización de p53 (p53TD) y determinadas secuencias consenso de ADN, además de explorar su potencialidad como vectores no-proteicos de internalización celular. Los tres últimos capítulos de este trabajo doctoral versan sobre la capacidad que tienen las guanidinas bicíclicas para auto-ensamblarse formando complejos supramoleculares con diferentes compuestos oxoaniónicos y las propiedades físico-químicas derivadas de esa uniónNature frequently uses guanidinium group (mainly found in the amino acid arginine) to bind via ion pairing and hydrogen bonding different anions (mostly oxoanions), thus facilitating interactions between different macromolecules. This manuscript is divided into two clearly defined sections. The first one is based on the development of a robust and reliable synthetic methodology for the construction of bicyclic guanidinium oligomers of different lengths and functionalization degree and the study of the binding properties of these oligoguanidinium compounds with biologically relevant molecules such as p53 or targeted DNA sequences. Attributable to their cationic nature and hence similarity with cell penetrating peptides, bicyclic guanidinium oligomers were also explored as cell membrane carriers. The second part explores the self-assembly of bicyclic guanidines for calix[4]arene complexation and expansion of their cavities, multiporphyrin-fullerene dyad arrays, and their properties and potential applications as organogelators

DE LA ARGUMENTACIÓN PRAGMADIALÉCTICA COMO COMPETENCIA INVESTIGATIVA EN LOS ESTUDIANTES DE DERECHO DE LA INSTITUCIÓN UNIVERSITARIA DE ENVIGADO

Este artículo corto tiene como objetivo plantear la importancia dela argumentación pragmadialéctica como competencia investigativapara los estudiantes del programa de Derecho de la Institución Universitaria de Envigado. La construcción crítica del saber jurídico en el marco investigativo debe tener como soporte una argumentaciónarmonizada con las transformaciones socioculturales del mundo contemporáneo. La argumentación que se propone trasciende la mera seducción del otro a través de razones, para anclar ejercicios de justicia social en la resolución de conflictos ciudadanos. Las pruebas iniciales realizadas con un grupo de 40 estudiantes del primer semestre de Derecho, calendario B, de la I.U.E., advierten bajo nivel de literacidad en elementos micro, macro y superestructurales del lenguaje. Igualmente, ocurre con los niveles de argumentación, dado que en la mayoría de los estudiantes existen falacias argumentativas en sus pruebas

The use of videos to inform about human trafficking: communicational criteria to contribute to its prevention and denunciation

El artículo presenta los resultados de una investigación que identificó vídeos online que abordan la trata de personas, sus modalidades y características, con el fin de utilizarlos en procesos de socialización que permitan aumentar el conocimiento del fenómeno y promover su prevención en víctimas potenciales. Como resultado, se clasifican y describen los audiovisuales. Se encontró que la trata asociada a la explotación sexual es la más abordada, por lo que es necesario aumentar la investigación y producción de piezas que den a conocer las otras modalidades. Finalmente, se brindan criterios para abordar la trata de personas en procesos comunicativos, especialmente, con el objetivo de romper estereotipos arraigados sobre esta problemática y evitar errores informativos que pueden llevar a la revictimización.This article presents the results of a research that identified online videos that address the human trafficking issue, its forms and its characteristics with the purpose of using them in informative processes that allow increasing the knowledge on the phenomenon and promoting its prevention among potential victims. As a result, the audiovisual materials are classified and described. It was found that human trafficking related to the sexual exploitation is the most addressed form, which is why it is necessary to broaden the research on and production of materials that inform about the other forms. Finally, criteria are provided to address the human trafficking issue in communicational processes, especially with the purpose of breaking rooted stereotypes about this issue and avoiding informative errors that could lead to revictimization.O artigo apresenta os resultados de uma pesquisa que identificou vídeos on-line que discutem o tráfico de pessoas, suas modalidades e características com o fim usá-los nos processos de socialização que permitam aumentar o conhecimento do fenômeno e promover sua prevenção em potenciais vítimas. Como resultado, se classificam e descrevem os audiovisuais. Se encontrou que o tráfico associado a exploração sexual é o mais discutido, por isso é necessário aumentar a pesquisa e produção de peças para revelar partes de outros modos. Finalmente, se fornecem critérios para discutir o tráfico de pessoas em processos de comunicação, especialmente, a fim de quebrar estereótipos enraizados sobre este problema e evitar erros de informação que podem levar à revitimização

Investigaciones radiofónicas: de la radio a la radio indígena. Una revisión en Colombia y Latinoamérica

El artículo expone los resultados de una revisión documental sobre el tema de laradio indígena en Colombia. Para ello, en primer lugar, presenta las publicacionessobre radio en el país desde 1974 en adelante. En un segundo momento, observalas indagaciones realizadas en la relación medios de comunicación-indígenas. Alser el tema de la radio indígena una temática poco explorada en Colombia, muestrauna recopilación de pesquisas en esta materia en América Latina. Finalmente, da aconocer las investigaciones colombianas en esta línea y analiza las tensiones legalesde su eclosión. Concluye argumentando la necesidad de ampliar las iniciativas sobreradio indígena y propone observar cómo la cosmovisión de estos pueblos re-significael lenguaje y los formatos radiofónicos modernos

Aneurisma verdadero de la arteria femoral. Reporte de caso

True aneurysms of the femoral artery are a rare clinical problem and are generally published as a case report in the literature. Its presentation can be varied, and although most are asymptomatic, they may present with any of its complications.We present the case of a 85 years old patient with ruptured aneurysm of the left common femoral artery, who was admitted to the emergency room and underwent surgery successfully

Estimaciones de las propiedades mecánicas de hueso intacto y dañado a partir de imágenes CT de alta resolución

Esta tesis investigó hasta qué punto el análisis de micro-FE basado en imágenes de TC de alta resolución puede estimar con precisión las propiedades materiales del tejido óseo intacto y dañado. Para alcanzar este objetivo, primero se probó la capacidad del análisis de micro-FE para estimar la rigidez a la compresión de muestras de hueso esponjoso después de una fractura. Posteriormente, se midió la rigidez tras la cementación de una muestra fracturada y se comparó con la situación fracturada y no fracturada. También se utilizó la micro-FE para comprobar si puede predecir la rigidez del hueso cementado. La segunda parte se centró en la predicción de la resistencia del hueso. Esto se hizo en modelos de animales pequeños. La resistencia ósea se midió mediante ensayos de flexión de tres puntos, cuyos resultados se analizaron mediante la teoría de vigas. Luego se analizó mecánicamente la resistencia del hueso humano basado en escaneos in-vivo de HR-pQCT. Aunque este método ha sido validado en varios estudios para la primera generación de este tipo de escáner, aún no se ha validado para la segunda generación de dispositivos HR-pQCT. Para ello se establecieron los parámetros óptimos para análisis de micro-FE y FE homogeneizado.This thesis investigated to what extent micro-FE analysis based on high-resolution CT images can accurately estimate the material properties of intact and damaged bone tissue. To achieve this goal, the ability of micro-FE analysis to estimate the compressive stiffness of cancellous bone specimens after fracture was first tested. Subsequently, the stiffness after cementation of a fractured sample was measured and compared with the fractured and non-fractured situation. Micro-FE was also achieved to see if it can predict the stiffness of cemented bone. The second part focused on the prediction of bone strength. This was done in small animal models. Bone strength was measured by three-point flexion tests, the results of which were analyzed using beam theory. Human bone strength was then mechanically analyzed based on in-vivo HR-pQCT scans. Although this method has been validated in several studies for the first generation of this type of scanner, it has not yet been validated for the second generation of HR-pQCT devices. To this end, the optimal defects for the analysis of micro-FE and homogenized FE are presented.Colombia. Miniciencias (ex Colciencias). Programa de becas Francisco José de Caldas para estudios de doctorado en el exterior “Generación del Bicentenario”.Tesis doctora