Generadores ScalaCheck para property-based testing de programas Spark y Spark Streaming

En los últimos años hemos sido testigos de la expansión del paradigma big data a una velocidad vertiginosa. Los cambios en este campo, nos permiten ampliar las áreas a tratar; lo que a su vez implica una mayor complejidad de los sistemas software asociados a estas tareas, como sucede en sistemas de monitorización o en el Internet de las Cosas (Internet of Things). Asimismo, la necesidad de implementar programas cada vez robustos y eficientes, es decir, que permitan el cómputo de datos a mayor velocidad y de los se obtengan información relevante, ahorrando costes y tiempo, ha propiciado la necesidad cada vez mayor de herramientas que permitan evaluar estos programas. En este contexto, el presente proyecto se centra en extender la herramienta sscheck. Sscheck permite la generación de casos de prueba basados en propiedades de programas escritos en Spark y Spark Streaming. Estos lenguajes forman parte de un mismo marco de código abierto para la computación distribuida en clúster. Dado que las pruebas basadas en propiedades generan datos aleatorios, es difícil reproducir los problemas encontrados en una cierta sesion; por ello, la extensión se centrará en cargar y guardar casos de test en disco mediante el muestreo de datos desde colecciones mayores.

Análisis de fuentes de financiamiento y entidades inversoras para políticas y medidas de mitigación de emisiones de gases efecto invernadero a ser adoptadas en el sector transporte urbano en Latino América

El transporte es crucial para impulsar el crecimiento económico y su rol en lograr un desarrollo sostenible1 es cada vez más evidente. El transporte, además, puede tener un papel clave en combatir el cambio climático a través de la reducción de emisiones de gases de efecto invernadero (GEI), puesto que el sector tiene relevante participación en las GEI mundiales. El transporte urbano, en particular, genera externalidades negativas y beneficios con una potencialidad de afectar a un volumen muy elevado de la población mundial. Debido a la relevancia que el sector analizado tiene desde la perspectiva de las emisiones de GEI y de otros gases y partículas generadores de contaminación local, también dicho sector ofrece un alto potencial para incorporar medidas de mitigación al cambio climático. Así, este trabajo se enmarca en las medidas de mitigación del cambio climático para el transporte urbano. Para ello, la investigación ha centrado su observación en la región de América Latina (AL), una de las regiones más urbanizadas del planeta y donde el transporte urbano es particularmente relevante por diversos factores entre los que se incluyen algunos de carácter económico, social, ambiental y tecnológico. El sector ofrece buenas oportunidades para contribuir eficazmente a los objetivos de reducción de emisiones de GEI en la región, emisiones que se estima que van a doblar su participación en las emisiones globales en veinte años. También se ha considerado que las medidas de reducción de emisiones podrían apoyar una transformación del transporte urbano orientándolo hacia una mayor sostenibilidad, toda vez que las actuales tendencias en AL indican un fuerte aumento del uso de modos de transporte no sostenible en los últimos años...

El imaginario visual de la nación española a través de las grandes exposiciones universales del siglo XIX: "postales", fotografías, reconstrucciones

La investigación se centra en el proceso de construcción de la identidad española en las grandes exposiciones universales del siglo XIX (Londres, 1851, 1862), París (1855, 1867, 1878, 1889, 1900), Viena (1873), Filadelfia (1876) y Chicago (1893) analizando el modo en que estos concursos internacionales contribuyeron tanto a la percepción de un orden mundial jerarquizado según criterios políticos, económicos, sociales, religiosos y culturales; como a la proyección de la imagen exterior de España. En este sentido, la investigación no ha subestimado –si bien a menor escala– el impacto de la Exposición Universal de Barcelona de 1888, al ofrecer el contrapunto de una imagen nacional de prestigio industrial frente a la generalizada idea romántica del país que habitualmente se forjó en el resto de exposiciones. Estas ferias internacionales promovieron importantes hábitos sociales que contribuyeron a conformar las representaciones cognitivas de todos los colectivos y naciones del planeta. Uno de los más destacados fue el incipiente desarrollo de los medios de comunicación, las artes gráficas y la escenografía, sin olvidar el de las tradicionales muestras de Bellas Artes y la mercadotecnia turística. Sea como fuere, desde 1851, las exposiciones universales se presentan como prolíficos generadores de imágenes listas para un consumo visual no exento de connotación ideológica. Consecuentemente, la cultura visual en la tradición expositiva demuestra ser un interesante campo de investigación, en el que se hace necesario profundizar para poder esclarecer los vínculos recíprocos que se establecen entre la codificación de imaginarios y la construcción de identidades. Tomando en consideración lo expuesto, la investigación ha atendido a la relación establecida entre la cultura visual española y la formación de una identidad nacional que se emplaza en la encrucijada entre Oriente y Occidente, analizando su componente exótico, las implicaciones de la oposición dialéctica entre centro y periferia, así como la pretensión legitimadora de convertir a España en nexo de unión entre Europa y América. Con respecto a la metodología, esta tesis doctoral se apoya fundamentalmente en el análisis de la documentación de época conservada en archivos de prestigio internacional, reuniendo textos e imágenes originales a los que se suma tanto el estudio de la literatura coetánea como de la teoría crítica actual desarrollada durante los casi cuarenta últimos años. Los resultados confirman que la delegación española expuso esencialmente productos naturales, careciendo de una destacada representación manufacturera. El retraso económico, pero también la falta de una cultura empresarial expositiva, fueron causa de este pobre resultado que, asociado a la imagen exótica que los viajeros occidentales habían configurado desde tiempo atrás, proyectó la imagen de un pueblo anclado en un mundo pretérito. Esta fue precisamente la visión que los artistas extranjeros recrearon en sus obras, confirmando que imaginario visual y condicionamiento cultural influyen en la cristalización plástica y constante reinvención de los estereotipos culturales. Sin embargo, muchos españoles también fijaron esta imagen romántica: la de una nación sometida alternativamente a la idea dicotómica de un país luminoso, radiante y alegre y la de un territorio sombrío, absolutista y fanático; en definitiva, la de un pueblo apasionado varado en un pasado poético donde ninguna evidencia de modernidad tecnológica o contaminación cultural podían darse. Incluso, los espectáculos y actuaciones que especuladores foráneos y locales promovieron, se sirvieron de esta imagen exótica en pro del rédito económico. Así, la cultura visual viene a confirmar la constante interpretación reduccionista y simplista de la realidad heterogénea y plural del estado español...

Crear tejido productivo en los países en desarrollo: una tarea para la cooperación española

Aunque no cabe identificar el desarrollo con el mero crecimiento económico, la ampliación de las capacidades productivas de un país constituye una dimensión obligada de toda senda sostenible de progreso social. Ampliar las capacidades productivas exige, a su vez, la promoción del tejido productivo y empresarial en los países en desarrollo, potenciando la capacidad de la sociedad para convertir las iniciativas creativas en emprendimientos generadores de renta y empleo. Es esta convicción la que convierte a este sector en una de las obligadas prioridades de las políticas de desarrollo.

Detección de fraude bancario en tiempo real utilizando tecnologías de procesamiento distribuido

En este Trabajo de Fin de Máster se desarrollará un sistema de detección de fraude en pagos con tarjeta de crédito en tiempo real utilizando tecnologías de procesamiento distribuido. Concretamente se considerarán dos tecnologías: TIBCO, un conjunto de herramientas comerciales diseñadas para el procesamiento de eventos complejos, y Apache Spark, un sistema abierto para el procesamiento de datos en tiempo real. Además de implementar el sistema utilizando las dos tecnologías propuestas, un objetivo, otro objetivo de este Trabajo de Fin de Máster consiste en analizar y comparar estos dos sistemas implementados usados para procesamiento en tiempo real. Para la detección de fraude en pagos con tarjeta de crédito se aplicarán técnicas de aprendizaje máquina, concretamente del campo de anomaly/outlier detection. Como fuentes de datos que alimenten los sistemas, haremos uso de tecnologías de colas de mensajes como TIBCO EMS y Kafka. Los datos generados son enviados a estas colas para que los respectivos sistemas puedan procesarlos y aplicar el algoritmo de aprendizaje máquina, determinando si una nueva instancia es fraude o no. Ambos sistemas hacen uso de una base de datos MongoDB para almacenar los datos generados de forma pseudoaleatoria por los generadores de mensajes, correspondientes a movimientos de tarjetas de crédito. Estos movimientos posteriormente serán usados como conjunto de entrenamiento para el algoritmo de aprendizaje máquina.

Técnicas en análisis lineal (y no lineal) y aplicaciones

La presente tesis est a centrada en dos temas principales: el primero abarca el primer cap tulo y el segundo se divide entre los cap tulos dos y tres. En el primer cap tulo estudio un problema que apareci o como tal hace relativamente poco tiempo (aunque ya en la segunda mitad del pasado siglo se publicaron una serie de resultados que, con la terminolog a adecuada, estar an englobados dentro de esta teor a). Nos interesaremos en la b usqueda de estructuras algebraicas (como espacios vectoriales, algebras, espacios de Banach) contenidas en subconjuntos de funciones cuyos elementos (con la posible excepci on del elemento nulo) veri can ciertas propiedades anti-intuitivas (propiedades de dif cil visualizaci on). Ello nos puede conducir a la idea de c omo la intuci on puede enga~narnos, y sugerir que, aunque se haya dedicado una ingente cantidad de esfuerzo y tiempo para encontrar un unico ejemplo que veri que tales propiedades, y dicho trabajo pueda dar la idea de que no existen muchos m as espec menes de similares caracter sticas, de hecho existen ejemplares su cientes como para construir espacios \grandes" cuyos elementos (salvo el cero) satisfacen las mismas propiedades. M as espec camente, decimos que un subconjunto de un espacio vectorial topol ogico es -lineable (dado un numero cardinal ) si podemos garantizar la existencia de un espacio vectorial de dimensi on contenido en el conjunto (uni on el elemento cero, en caso de que cero no forme parte del conjunto de partida). Si el espacio vectorial es cerrado, nos referiremos a este conjunto como - espaciable (y la propiedad que trataremos ser a la de -espaciabilidad) y si la estructura en cuesti on es un algebra de Banach, entonces diremos que el conjunto es ( ; )-algebrable (donde aqu es la cardinalidad de un conjunto minimal de generadores del algebra)...

Generación de lenguaje natural a partir de grafos semánticos

Hoy en día la cantidad de información de la que el mundo dispone es inmensa y la gran mayoría está al alcance de un click gracias a las tecnologías de la información. Muchos de los recursos que existen en Internet están escritos a mano por personas y para personas, pero este hecho tiene muchas limitaciones, como el idioma, el contenido, las expresiones en la comunicación o la disposición de la información en el texto. Todos estos factores influyen en el lector permitiendo entender mejor o peor los conceptos, relaciones e ideas que se expresan. Un ejemplo de un recurso muy utilizado a día de hoy es Wikipedia, que cuenta con más de cinco millones de artículos en inglés y más de un millón en otros doce idiomas entre los cuales se encuentran el castellano, el francés y el alemán. Por otro lado, existen otros recursos que aportan información de otras formas más interesantes desde el punto de vista de la informática, como pueden ser ConceptNet o WordNet. Las ventajas que ofrecen este tipo de recursos son que no disponen de varios lenguajes, es decir el conocimiento está unificado en uno solo, no tienen estructura de texto y se puede automatizar más fácilmente la inserción de nueva información, lo que se traduce en un crecimiento más rápido del conocimiento. Este tipo de recursos son ideales para su uso en aplicaciones informáticas gracias a que no es necesario un proceso de extracción de información de la fuente. Sin embargo, este tipo de información no está pensada para la lectura por parte de un humano, ya que se enfrentaría a muchos datos de golpe y sin un orden lógico para la comprensión, además de carecer de la conjugación propia o traducción a un idioma concreto. Este trabajo tiene como objetivo principal partir de un recurso de información no legible ni manejable por humanos e ideado para el uso por computadoras, y dar lugar a una interpretación de esta información que permita la lectura y comprensión en lenguaje natural por personas. Podemos verlo como un trabajo que posibilita y facilita el entendimiento Máquina-Hombre. Para ello se hace uso de un sistema de generación de lenguaje natural, inteligencia artificial y de la creatividad computacional. Además, este trabajo forma parte de un proyecto mayor, del que hablaremos en la sección 2.5, en el que se generan nuevos conceptos a partir de otros. El papel que desempeña esta aplicación permite describir los nuevos conceptos generados y poder entenderlos. A la hora de abordar el problema de la generación de texto podemos encontrar varias formas de atacar la cuestión, y todas las soluciones se pueden considerar como válidas. Se implementarán sistemas de diferente complejidad y naturaleza, como generadores básicos de textos o generadores con planificación y otras soluciones comunes en este campo como el uso de plantillas y el estudio de las propiedades de los textos generados por los humanos. Por esta razón, en este trabajo se desarrollarán varios métodos y se valorarán según ciertos criterios como la claridad del texto, su organización, o si se ha hecho un buen uso de la gramática o la ortografía. Como objetivos secundarios de este proyecto podemos remarcar la generación de un servicio web que permita que esté disponible la aplicación para su uso, y aporte valor tanto al mundo de la investigación como al del conocimiento. También se valora la semejanza a los generados por humanos.

Bienes de capital, flujos tecnológicos y cambio estructural: los casos de Estados Unidos, Japón y Alemania, 1980-2005

La innovación tecnológica se encuentra estrechamente vinculada con el desenvolvimiento de la estructura productiva. Durante mucho tiempo, esta relación era muy evidente, ya que la tecnología como fuente impulsora del crecimiento se asociaba a la inversión en maquinaria y equipo. Ésta última, integraba el componente de innovación que generaba el incremento en productividad. El modelo neoclásico ortodoxo centro el estudio del crecimiento económico en el estudio de Solow (1957), quien explica que la fuente del crecimiento se encuentra en un factor exógeno, que identifica como cambio tecnológico y, de esta manera, resta importancia a la inversión como un determinante del incremento en el producto. En consecuencia, los aportes teóricos recientes, particularmente el neoclásico, centran su atención en los factores que inciden en la generación y desarrollo de innovaciones, pero dejan de lado la vinculación con la estructura económica. En este trabajo se analiza la importancia de los bienes de capital en Alemania, Japón y Estados Unidos, empleando tablas input-output, durante 1980 y 2005, definiendo la vinculación entre cambio tecnológico y la estructura productiva. 1. Síntesis El objetivo es demostrar que la industria de bienes de capital vincula la dinámica tecnológica y los procesos de innovación con el desenvolvimiento de la estructura productiva, por ser clave en el desarrollo económico como fuerza motriz del sistema al generar cambio tecnológico, transferir innovaciones y articular el cambio tecnológico con la estructura productiva. De la Tesis se extraen los siguientes resultados: a) Desde una visión teórica Nathan Rosenberg justifica la importancia de los bienes de capital, por su capacidad de generar cambio tecnológico incorporado, así como por su carácter articulador con otros sectores productivos, favoreciendo el proceso de desarrollo económico. Por el lado metodológico, el análisis input-output resulta ser el más idóneo para el propósito de la investigación. b) La importancia del cambio tecnológico Mediante el estudio de patentes, se demostró que la dinámica de innovación del sector está relacionada con los flujos de conocimiento, al crear y difundir innovaciones, y por su habilidad de asimilar los avances generados en otros sectores. Con el empleo del “Análisis de Flujo Mínimo”, se determina que los bienes de capital juegan un papel destacado por sus efectos de propagación del esfuerzo innovador; asimismo, por ser generadores de innovaciones, su inversión en I+D se traduce en una alta capacidad para impactar a los sectores con los que se vincula...