Estudo e desenvolvimento de algoritmos criptográficos para redes de sensores sem fio, utilizando técnicas de programação genética

Cryptography is the main form to obtain security in any network. Even in networks with great energy consumption restrictions, processing and memory limitations, as the Wireless Sensors Networks (WSN), this is no different. Aiming to improve the cryptography performance, security and the lifetime of these networks, we propose a new cryptographic algorithm developed through the Genetic Programming (GP) techniques. For the development of the cryptographic algorithm’s fitness criteria, established by the genetic GP, nine new cryptographic algorithms were tested: AES, Blowfish, DES, RC6, Skipjack, Twofish, T-DES, XTEA and XXTEA. Starting from these tests, fitness functions was build taking into account the execution time, occupied memory space, maximum deviation, irregular deviation and correlation coefficient. After obtaining the genetic GP, the CRYSEED and CRYSEED2 was created, algorithms for the 8-bits devices, optimized for WSNs, i.e., with low complexity, few memory consumption and good security for sensing and instrumentation applications.

Algoritmos meta-heurísticos para a solução do problema do caixeiro viajante com múltiplas caronas

The Traveling Salesman with Multiple Ridesharing (TSP-MR) is a type of the Capacitated Traveling Salesman, which presents the possibility of sharing seats with passengers taking advantage of the paths the salesman travels through his cycle. The salesman shares the cost of a path with the boarded passengers. This model can portray a real situation in which, for example, drivers are willing to share parts of a trip with tourists that wish to move between two locations visited by the driver’s route, accepting to share the vehicle with other individuals visiting other locations within the cycle. This work proposes a mathematical formulation for the problem, and an exact and metaheuristics algorithms for its solution, comparing them.

Algoritmos meta-heurísticos para a solução do problema do caixeiro viajante com múltiplas caronas

The Traveling Salesman with Multiple Ridesharing (TSP-MR) is a type of the Capacitated Traveling Salesman, which presents the possibility of sharing seats with passengers taking advantage of the paths the salesman travels through his cycle. The salesman shares the cost of a path with the boarded passengers. This model can portray a real situation in which, for example, drivers are willing to share parts of a trip with tourists that wish to move between two locations visited by the driver’s route, accepting to share the vehicle with other individuals visiting other locations within the cycle. This work proposes a mathematical formulation for the problem, and an exact and metaheuristics algorithms for its solution, comparing them.

Verificación de algoritmos y estructuras de datos en Dafny

La verificación formal de un programa es la demostración de que este funciona de acuerdo a una descripción del comportamiento esperado en toda posible ejecución. La especificación de lo deseado puede utilizar técnicas diversas y entrar en mayor o menor detalle, pero para ganarse el título de formal esta ha de ser matemáticamente rigurosa. El estudio y ejercicio manual de alguna de esas técnicas forma parte del currículo común a los estudios de grado de la Facultad de Informática y del itinerario de Ciencias de la Computación de la Facultad de Ciencias Matemáticas de la Universidad Complutense de Madrid, como es el caso de la verificación con pre- y postcondiciones o lógica de Hoare. En el presente trabajo se explora la automatización de estos métodos mediante el lenguaje y verificador Dafny, con el que se especifican y verifican algoritmos y estructuras de datos de diversa complejidad. Dafny es un lenguaje de programación diseñado para integrar la especificación y permitir la verificación automática de sus programas, con la ayuda del programador y de un demostrador de teoremas en la sombra. Dafny es un proyecto en desarrollo activo aunque suficientemente maduro, que genera programas ejecutables.

Aceleración de algoritmos de estimación de movimiento mediante OpenCL

El flujo óptico y la estimación de movimiento es área de conocimiento muy importante usado en otros campos del conocimiento como el de la seguridad o el de la bioinformática. En estos sectores, se demandan aplicaciones de flujo óptico que realicen actividades muy importantes con tiempos de ejecución lo más bajos posibles, llegando a tiempo real si es posible. Debido a la gran complejidad de cálculos que siguen a este tipo de algoritmos como se observará en la sección de resultados, la aceleración de estos es una parte vital para dar soporte y conseguir ese tiempo real tan buscado. Por lo que planteamos como objetivo para este TFG la aceleración de este tipo de algoritmos mediante diversos tipos de aceleradores usando OpenCL y de paso demostrar que OpenCL es una buena herramienta que permite códigos paralelizados con un gran Speedup a la par que funcionar en toda una diversa gama de dispositivos tan distintos como un GPU y una FPGA. Para lo anteriormente mencionado trataremos de desarrollar un código para cada algoritmo y optimizarlo de forma no especifica a una plataforma para posteriormente ejecutarlo sobre las diversas plataformas y medir tiempos y error para cada algoritmo. Para el desarrollo de este proyecto partimos de la teoría de dos algoritmos ya existentes: Lucas&Kanade monoescala y el Horn&Schunck. Además, usaremos estímulos para estos algoritmos muy aceptados por la comunidad como pueden ser el RubberWhale o los Grove, los cuales nos ayudarán a establecer la corrección de estos algoritmos y analizar su precisión, dando así un estudio referencia para saber cual escoger.

Hipoacusia neurosensorial profunda asociada a la alteración del gen que codifica la conexina 26

Programa de doctorado: Nuevas perspectivas en cirugía. La fecha de publicación es la fecha de lectura

PREDIÇÃO DE LINKS EM REDES SOCIAIS ACADÊMICAS: UMA ANÁLISE DA INFLUÊNCIA DAS CARACTERÍSTICAS DA REDE NA EFICÁCIA DOS ALGORITMOS BASEADOS NA TOPOLOGIA

A predição de links em redes sociais tem sido objeto de estudo em um crescente número de artigos científicos e comerciais devido à grande oferta de bases de dados com representações das relações entre pessoas e também devido à facilidade de acesso a recursos computacionais para análise dessas redes. Prever conexões em redes sociais acadêmicas contribui para o crescimento científico, facilitando a colaboração entre pesquisadores com potencial de contribuição mútua. Este trabalho busca identificar as características das redes levam a uma maior eficiência na predição de links feita por algoritmos baseados na topologia. As características serão isoladas conjuntos de dados e alguns experimentos serão repetidos com diferentes algoritmos para buscar identificar tendências. As análises feitas neste trabalho poderão ajudar a compreender melhor a dinâmica das redes sociais acadêmicas e também contribuir na escolha dos melhores algoritmos de predição de link para cada tipo de rede social.

Ruthenibacterium lactatiformans gen. nov., sp.nov., an anaerobic, lactate-producing member of the family Ruminococcaceae isolated from human faeces

Two novel strains of Gram-stain-negative, rod-shaped, obligately anaerobic, non-spore-forming, non-motile bacteria were isolated from the faeces of healthy human subjects. The strains, designated as 585-1T and 668, were characterized by mesophilic fermentative metabolism, production of d-lactic acid, succinic acid and acetic acid as end products of d-glucose fermentation, prevalence of C18 : 1 ω9, C18 : 1 ω9 aldehyde, C16 : 0 and C16 : 1 ω7c fatty acids, presence of glycine, glutamic acid, lysine, alanine and aspartic acid in the petidoglycan peptide moiety and lack of respiratory quinones. Whole genome sequencing revealed the DNA G+C content was 56.4–56.6 mol%. The complete 16S rRNA gene sequences of the two strains shared 91.7/91.6 % similarity with Anaerofilum pentosovorans FaeT, 91.3/91.2 % with Gemmiger formicilis ATCC 27749T and 88.9/88.8 % with Faecalibacterium prausnitzii ATCC 27768T. On the basis of chemotaxonomic and genomic properties it was concluded that the strains represent a novel species in a new genus within the family Ruminococcaceae , for which the name Ruthenibacterium lactatiformans gen. nov., sp. nov. is proposed. The type strain of Ruthenibacterium lactatiformans is 585-1T (=DSM 100348T=VKM B-2901T).

Plataforma de simulación de aberraciones ópticas vía implementación de las características de un SLM y reconstrucción de fase usando algoritmos basados en los sensores de Hartmann-Shack

Dada la importancia que hoy día presenta dentro del ámbito de la óptica, la implementación y conocimiento de dispositivos capaces tanto de generar aberraciones ópticas bien caracterizadas como de censarlas, se presenta a lo largo de este trabajo el desarrollo de una interfaz gráfica en MATLAB, que permita simular el funcionamiento tanto de un sensor de frente de onda de Hartamnn-Shack (HS), así como la simulación de dispositivos capaces de modificar frentes de onda como los SLM, adicionando algoritmos de propagación y cálculo de centroides -- Para ello, se implementarán en primer lugar máscaras de fase que generen frentes de onda aberrados a partir de la modulación en fase de moduladores espaciales de luz o SLM, tanto a través de funciones lente de primer orden en representación de las aberraciones constantes, como de fase cuadrática en representación de las aberraciones de bajo orden y adicionalmente como combinaciones lineales de polinomios de Zernike -- Todo lo anterior se simulará teniendo en cuenta las características técnicas de los SLM, como lo son el número de pixeles en x y en y, el tamaño de estos y la curva de calibración de los moduladores espaciales, tanto para una relación lineal como para una relación no lineal -- Posteriormente se simularán las dos propagaciones sufridas por los haces de luz desde el SLM hasta el CCD (dispositivo de carga acoplada), pasando a través de la matriz de multilentes del HS (MLA), a partir de la implementación de algoritmos de propagación de un solo paso, que nos permitirán observar sobre el plano del CDD el mapa de spots necesario para el censado de las superficies -- Continuaremos con la construcción de algoritmos para determinar los centroides de dicho mapa y sus respectivas coordenadas, seguiremos con la implementación de algoritmos de reconstrucción modal empleados por sensores de frente de onda de Hartmann-Shack, y finalmente compararemos el grado de error existente entre las superficies generadas y las superficies censadas a través del cálculo de su error cuadrático medio

Osteogénesis imperfecta forma clásica no deformante: comunicación de una nueva mutación en el gen COL1A1 en dos casos de la misma familia

La osteogénesis imperfecta (OI), es una patología poco frecuente y muy heterogénea desde el punto de vista clínico y genético. Su característica principal es la fragilidad ósea, habiéndose descrito varios tipos. Generalmente es causada por mutaciones en los genes que codifican para las cadenas α1 y α2 del pro-colágeno tipo 1 (COL1A1 y COL1A2) con herencia autosómica dominante. Comunicamos los casos de dos pacientes (padre e hija) con OI cuyo estudio genético muestra una mutación en COL1A1 no conocida previamente: la deleción de una Guanina, G(c.3524delG). Se repasan aspectos clínicos, de herencia y opciones reproductivas de los pacientes afectados.

Alternativas botánica, biológica y química para el manejo de piojo del tomate (Halticus sp) (Hemíptera: Miridae) y mosca blanca (Bemisia tabaci, Gen) (Hemiptera: Aleyroridae) en el cultivo de tomate (Solanum lycopersicum L.), bajo condiciones de casa malla.

El piojo del tomate (Halticus sp.) y la mosca blanca (Bemisia tabaci) son los principales agentes de daño, causantes de problemas fitosanitarios severos para los productores de tomate (Solanum lycopersicum, L), bajo condiciones de casa malla. Esta plaga provoca importantes pérdidas económicas, disminuyendo así los rendimientos al afectar la calidad de los frutos lo cual incide en mayores costos de producción. En base a esta problemática en el CEVAT (Centro de Experimentación y Validación de Tecnologías), UNA, se realizó un estudio en el período comprendido entre los meses de Septiembre 2015 a Enero 2016, con el objetivo de evaluar insecticidas biológico, botánico y químico contra el piojo del tomate y mosca blanca. Los productos evaluados fueron: Engeo, Madero Negro y Metarhizium anisopliae. Las variables evaluadas fueron: número de Halticus sp por planta, incidencia del daño por Halticus sp por planta, numero de mosca blanca por planta, incidencia del daño de virosis por planta, severidad del daño de virosis por planta. De los tratamientos evaluados, el menor promedio de piojo del tomate por planta lo presentó el tratamiento Engeo y de igual manera en mosca blanca, seguido de madero negro. El menor porcentaje de incidencia y severidad lo presentó el tratamiento Engeo en comparación con los demás tratamientos evaluados. El análisis económico realizado determinó que los tratamientos que presentaron los mejores rendimientos fueron Engeo con 18,156.25 kg/ha, seguido por Madero Negro con 16,891 kg/ha y Metarhizium anisopliae que obtuvo 14,797 kg/ha. Engeo presentó el mayor beneficio neto con 16,642.92 US$/ha, seguido por Madero Negro con 15,240.86 US$/ha. En el análisis de la tasa de retorno marginal resultó que el tratamiento Madero Negro es el que obtuvo la mejor tasa de retorno marginal con 6,307.36 % es decir 63.07 US$ por cada dólar invertido.

Algoritmos de planificación en redes de paquetes

En este artículo se presentan los mecanismos y procesos necesarios que realizan los enrutadores para ofrecer calidad de servicio en redes de paquetes y se hace especial énfasis en el estudio del estado del arte en lo referente a los algoritmos de planificación utilizados en este tipo de redes.