Desarrollo de funcionalidad para un marco orientado al razonamiento sobre algoritmos criptográficos

La sociedad depende hoy más que nunca de la tecnología, pero la inversión en seguridad es escasa y los riesgos de usar sistemas informáticos son cada día mayores. La criptografía es una de las piedras angulares de la seguridad en este ámbito, por lo que recientemente se ha dedicado una cantidad considerable de recursos al desarrollo de herramientas que ayuden en la evaluación y mejora de los algoritmos criptográficos. EasyCrypt es uno de estos sistemas, desarrollado recientemente en el Instituto IMDEA Software en respuesta a la creciente necesidad de disponer de herramientas fiables de verificación de criptografía. A lo largo de este trabajo se abordará el diseño e implementación de funcionalidad adicional para EasyCrypt. En la primera parte de documento se discutirá la importancia de disponer de una forma de especificar el coste de algoritmos a la hora de desarrollar pruebas que dependan del mismo, y se modificará el lenguaje de EasyCrypt para permitir al usuario abordar un mayor espectro de problemas. En la segunda parte se tratará el problema de la usabilidad de EasyCrypt y se intentará mejorar dentro de lo posible desarrollando una interfaz web que permita usar el sistema fáacilmente y sin necesidad de tener instaladas todas las herramientas que necesita EasyCrypt. ---ABSTRACT---Today, society depends more than ever on technology, but the investment in security is still scarce and the risk of using computer systems is constantly increasing. Cryptography is one of the cornerstones of security, so there has been a considerable amount of efort devoted recently to the development of tools oriented to the evaluation and improvement of cryptographic algorithms. One of these tools is EasyCrypt, developed recently at IMDEA Software Institute in response to the increasing need of reliable cryptography verification tools. Throughout this document we will design and implement two diferent EasyCrypt features. In the first part of the document we will consider the importance of having a way to specify the cost of algorithms in order to develop proofs that depend on it, and then we will modify the EasyCrypt's language so that the user can tackle a wider range of problems. In the second part we will assess EasyCrypt's poor usability and try to improve it by developing a web interface which enables the user to use it easily and without having to install the whole EasyCrypt toolchain.

Geometría y Arquitectura en las iglesias cortesanas de Madrid en el siglo XVIII

Con la llegada al trono español de Felipe V, una pléyade de arquitectos y artistas italianos y franceses fueron llamados a Madrid por la nueva dinastía borbónica para cambiar el gusto artístico de un país de cultura y costumbres ajenas. De las obras que estos arquitectos dejaron en España, nos hemos centrado en la arquitectura religiosa por ser más evidente esta influencia. Hemos analizado dos iglesias madrileñas: la de San Ignacio y la Basílica Pontificia de San Miguel (antes iglesia de los santos Justo y Pastor).

Las características acústicas de las iglesias prerrománicas hispanas

Este trabajo muestra los resultados de una campaña de mediciones acústicas realizadas sobre diversas iglesias prerrománicas hispanas. Debido a las reducidas dimensiones de estas iglesias comparadas con las de otros periodos históricos, los resultados obtenidos distan sensiblemente de los valores de otros tipos de iglesia. Los tiempos de reverberación son bajos, sobre todo en las iglesias más pequeñas y se aprecia una cantidad importante de energía inicial. Todo esto hace que la inteligibilidad de la palabra sea muy superior a la obtenida en iglesias de otros estilos arquitectónicos.

Levantamiento y red topográfica del parque "Juan Pablo II".

El objeto del presente proyecto es dotar al parque público “Juan Pablo II”, de una cartografía a escala 1/250, además de realizar el modelo digital del terreno de dicho parque. El trabajo va a consistir en un levantamiento topográfico del sector oeste del parque público “Juan Pablo II”. Dado que el parque en toda su dimensión se encuentra dividido en dos por la Avenida de Machupichu, siendo la oeste la que forma parte de este proyecto. El levantamiento se realizará mediante el método de observación G.N.S.S. denominado R.T.K. (Real Time Kinematic) que consiste en la obtención de coordenadas en tiempo real. Este levantamiento se realizará apoyándose en puntos de una red implantada, a la que se dotará de coordenadas por el método de observación G.N.S.S. denominado “Estático” y por metodología clásica. A la red se le dotará de coordenadas en el Sistema de Referencia Oficial. Se realizará la cartografía del parque a partir de los datos del levantamiento y con el uso de programas de CAD. Finalmente, se realizará un modelo digital del terreno. El parque público “Juan Pablo II” se encuentra situado en barrio de La Piovera, en el término municipal de Madrid, provincia de Madrid. El parque ocupa 6 hectáreas y es el elegido para nuestro proyecto. Este parque está limitado por el norte por la Avda. del Papa Negro, por el sur está limitado por la Avda. de las Piceas, por el este por la Avda. Machupichu, por el oeste por un pinar. 1.- Estudio de Redes para la obtención de la Red Básica: Por metodología G.N.S.S., se ha realizado cuatro simulaciones, teniendo como criterios: Longitud de la líneas base; Tiempo de observación; Precisiones obtenidas. Y comprobación de la Red Básica por metodología Clásica. 2.- Creación de aplicación para representar redes en Google Earth (Geodesicas-kml). Ante la falta de aplicaciones libres para esta opción de difusión de redes de manera fácil y gratuita, se creó esta aplicación. 3.- Diseño cartográfico, mapas a escala 1/250. Esta escala fue elegida porque se quería tener un buen detalle para la creación del MDT. 4.- Creación de MDT, y adaptado a visualización en Google Earth. Se eligió esta plataforma para que no se necesitase ninguna aplicación de pago y por su gran difusión, facilitando la divulgación de los MDT. 5.- Paseo virtual en el interior del parque. Película de un recorrido dentro del parque con todos los elementos más representativos.

Retos y soluciones tecnológicas en logística y transporte refrigerado de frutas y hortalizas

La presente Monografía, integrada en las publicaciones de la Red Temática FRUTURA, de CYTED, recoge las aportaciones de sus miembros en su tercera reunión científico-técnica, dando continuidad a las celebradas en Madrid y Sao Paulo en 2009. Se denominó “Situación actual, retos y soluciones en logística y transporte refrigerado internacional de frutas y hortalizas” y se celebró en la Universidad Politécnica de Cartagena, España, en junio de 2010. El evento se desarrolló durante tres jornadas, incluyendo el III Seminario Internacional de Transporte Frigorífico Marítimo, el I Seminario Internacional de Transporte Frigorífico Terrestre y Aéreo y el Foro Empresarial: Desafíos y Oportunidades del Intercambio Comercial Hortofrutícola España-Iberoamérica. La temática se enmarcó dentro del principal objetivo de la Red, el desarrollo de un sistema integral de mejora de la calidad y seguridad de las frutas durante la manipulación, el transporte y la comercialización, mediante nuevas tecnologías de inspección y monitorización. Las frutas y hortalizas frescas se producen frecuentemente en lugares alejados de los centros de consumo. Grandes volúmenes de productos, con frecuencia muy perecederos, se transportan diariamente a pequeñas o grandes distancias, tanto dentro de los propios países productores, como entre las naciones y Continentes. Paralelamente, los consumidores exigen de ellos una calidad cada día más elevada, no solo organoléptica, sino también nutricional, con especial garantía de la seguridad y el respeto del medio ambiente. Esto implica una alta exigencia al planificar el transporte y las operaciones omplementarias, para optimizar la calidad global y minimizar las pérdidas. Los aspectos asociados al transporte hortofrutícola en fresco, tanto en España como en Iberoamérica se abordaron a través de conferencias relacionadas con la situación en cada país participante. Así, se trataron los principales problemas y desafíos del transporte terrestre en Argentina y Uruguay, y de la exportación marítima desde Brasil, desde España (incluyendo tratamientos cuarentenarios) y desde Chile (con la modelización del envasado en atmósfera modificada a escala de pallet, los atributos de calidad en el transporte terrestre y aéreo y el seguimiento de la calidad de la fruta cortada mediante imágenes hiperespectrales). La calidad de las contribuciones recogidas en esta monografía, son un buen indicador del alto nivel científico de los miembros de la Red, cuyas aportaciones se vieron enriquecidas con el debate entre ponentes y participantes. Ello facilitó el intercambio de experiencias, la discusión de las temáticas en los diferentes ámbitos, la ampliación de conocimientos y la posibilidad de colaborar para llevar adelante nuevos avances tecnológicos. Asimismo, permitió identificar las limitaciones, problemas y desafíos que presenta el sector. Son aún muchos los condicionantes que surgen durante el transporte de productos perecederos, en especial de frutas y hortalizas, que requieren una solución técnica y económica. Durante las jornadas se realizaron diversas vistitas técnicas al Puerto de Cartagena, en sus áreas de logística, terminales y sistemas operativos de carga y descarga, contenedores isotermos y frigoríficos y cámaras frigoríficas de almacenamiento, organizadas por la Agencia Marítima Erhardt, S.A., Consignataria de buques de Cartagena (Murcia); la sede de la Autoridad Portuaria de Cartagena, donde se analizaron el desarrollo y previsiones de crecimiento de sus instalaciones portuarias en el futuro inmediato; la plataforma logística de exportación del Grupo Caliche S.A., ubicada en San Javier (Murcia) y la central hortofrutícola exportadora de cítricos y hortalizas de SAT San Cayetano, también en San Javier (Murcia). El interés por la temática de esta reunión quedó demostrado por la elevada participación durante las jornadas de empresarios, técnicos, investigadores y profesionales iberoamericanos. Pensamos que el fin último, que fue conocer en más profundidad la realidad presente del transporte terrestre, marítimo y aéreo en Iberoamérica mediante el acercamiento entre Universidades y Centros de Investigación y las Empresas del sector (exportadoras, importadoras y transportistas), se alcanzó plenamente. Deseamos agradecer al Instituto Nacional de Investigación y Tecnología Agraria y Alimentaria (AC2010-00017-00-00), a la Comunidad Autónoma de la Región de Murcia, a la Fundación Séneca de la Región de Murcia (14506/OC/10) y al Ayuntamiento de Cartagena su valiosa colaboración para la realización de este evento. Igualmente destacamos la ayuda desinteresada de los miembros del Grupo de Postrecolección y Refrigeración y del Instituto de Biotecnología Vegetal de la UPCT, quienes contribuyeron enormemente al éxito de la reunión.

Tres iglesias sajonas fortificadas en Transilvania, Rumanía: Hosman, Pelişor y Moşna

Saxon colonization in Transylvania occurred from 12th Century with the establishment of the populations with certain degree of freedom and autonomy. External threats over this territory obliged to the fortification of their churches, mainly between 15th and 16th Centuries with the advance of Turkish Empire. The fortification of the churches consists on the building of walls with gates and flanking towers, and also with the incorporation of several defensive elements over the apses. Most outstanding characteristics of this fortified system are the homogeneity in typology, construction and polyorcetic, without detracting of the singularity of each one of the more of 150 conserved churches. The article presents an actual state of the art. Also, it develops the main historical elements and it explains the architectonic typology and the constructive characteristics. At last, defensive elements are analyzed from the comparative and deep study through three proper examples: the churches of Hosman, Pelisor and Mosna. La colonización sajona de Transilvania se produjo a partir del siglo XII con el asentamiento de poblaciones con cierto grado de libertad y autonomía. Las amenazas externas sobre este territorio obligaron a la fortificación de sus iglesias, principalmente entre los siglos XV y XVI ante el avance del imperio turco. La fortificación de las iglesias consta de la construcción de murallas con puertas y torres de flanqueo, además de la incorporación de diversos elementos poliorcéticos sobre las cabeceras de las iglesias. Las características más relevantes de este sistema fortificado es la homogeneidad tipológica, constructiva y poliorcética sin menoscabo de la singularidad de cada una de las más de 150 iglesias conservadas. El artículo presenta un estado de la cuestión actualizado, además de desarrollar los elementos históricos más relevantes, explicar la tipología arquitectónica y las característica constructivas y analizar los elementos poliorcéticos desde el estudio comparado y profundo de tres ejemplos característicos: las iglesias de Hosman, Pelisor y Mosna.

Modelización de las condiciones de transporte y conservación prolongada en frutas y hortalizas

Este documento se generó a partir de la VI Reunión de la Red Temática FRUTURA de CYTED realizada en la ciudad de Buenos Aires, Argentina del 26 al 30 de Setiembre de 2011. Organizado por el Laboratorio de Calidad y Postcosecha de Frutas y Hortalizas de la E.E.A. Balcarce del INTA, el programa de esta reunión se enmarcó dentro del principal objetivo de la Red, que es el desarrollo de un sistema integral de mejora de la calidad y seguridad de las frutas durante la manipulación, el transporte y la comercialización, mediante nuevas tecnologías de inspección y monitorización.

Supervisión multidistribuida de transportes refrigerados mediante tecnología inalámbrica: diagrama de fases una nueva metodología de análisis.

El estudio de los gradientes de temperatura en cámaras frigoríficas y contenedores es un problema crítico en la industria alimentaria para el aseguramiento de la calidad de los productos durante el transporte, así como para minimizar las pérdidas. El objetivo de este trabajo es el desarrollo de una nueva metodología de análisis de datos basada en la reconstrucción del espacio de fases de la serie temporal de temperaturas, registradas por una red multidistribuida de sensores inalámbricos autónomos y de bajo coste. Se monitorizó un transporte transoceánico en barco de limones en un contenedor multimodal refrigerado, desde Montevideo (Uruguay) a Cartagena (España), utilizando una red de 39 tarjetas RFID semi-pasivas TurboTag ®. El viaje completo incluyó el transporte transoceánico de larga distancia, un cambio de buque para un segundo transporte en barco de corta distancia y finalmente un viaje en camión hasta la central. El análisis de datos se basó en un estudio cualitativo de las series temporales mediante la representación de diagramas de fases calculados sobre la teoría de reconstrucción de atractores de Takens-Ruelle. El estrés de la fruta se cuantificó en términos del área que sobre el diagrama de fases ocupó el ciclo o atractor de la temperatura. Esta nueva metodología para el análisis de los datos pone de relieve la significativa heterogeneidad de las condiciones térmicas en diferentes puntos del contenedor.

Oxford-París. Del viaje formativo al viaje de la visión interior en Pablo Palazuelo

Durante de la fecunda obra de Palazuelo, existen sendos viajes cruciales tanto para su formación como para la evolución de su obra. In 1933, continuó sus estudios arquitectónicos en la School of Arts and Crafts of the city of Oxford, donde el pintor español recibió la formación que le permitió adquirir no sólo nuevas herramientas gráficas, sino también un método proyectual que implementó a lo largo de su producción. El segundo viaje iniciático se produjo en Paría, donde aplicó las enseñanzas aprendidas en su incipiente carrera artística. Para ilustrar ambos momentos, el presente texto desvela archivos gráficos inéditos procedentes de los fondos de la Fundación Palazuelo que estuve catalogando. During Palazuelo successful career, two trips were crucial turning points for both his formation and the evolution of his work. In 1933, he continued his architectural studies at the School of Arts and Crafts of the city of Oxford, were this Spanish painter received an education that allowed him not only endow new graphical tools, but also a procedural method he implemented throughout his production. The second initiation voyage took place in Paris, where he applied the lessons learned in his fledgling artistic career. To illustrate both moments this text unveils unpublished graphic files from Palazuelo Foundation that I catalogued.

Propagación del sonido en las iglesias prerrománicas

El presente proyecto tiene como objetivo el estudio de la propagación del sonido en las iglesias prerrománicas. Para ello, se analizarán y aplicarán algunas de las teorías más relevantes de propagación del sonido, con el fin de concluir si, alguna de ellas, se puede establecer como modelo de propagación en estos espacios. Se partirá de valores medidos in situ en diversas iglesias prerrománicas de la geografía española, siendo este un número considerado suficiente para poder valorar los resultados como significativos. Estas iglesias son: - San Cebrián - San Juan de Baños - San Pedro de la Nave - Santa María de Melque - Santa Lucía del Trampal El proyecto se valdrá de los siguientes parámetros acústicos para llevar a cabo el estudio: la Claridad Musical, C80, y la Sonoridad, G. El trabajo se centrará en tres teorías de propagación del sonido en el interior de recintos: • “La Teoría Clásica” • “Modelo de Barron y Lee” • “Método μ “ A partir de estas teorías, se obtendrán los valores, de forma teórica, para de C80 y G y se llevará a cabo una comparativa con los valores empíricos. ABSTRACT The aim of this project is to study the sound propagation in Pre-Romanesque churches. Hence, some of the most relevant sound propagation theories will be analyzed and applied, in order to conclude whether, any of them, can be set as a propagation model in this typology of spaces. On site measured values will be taken in different Pre-Romanesque churches in the Spanish geography, being the number of churches enough to evaluate if the results are significant. These churches are: - San Cebrián - San Juan de Baños - San Pedro de la Nave - Santa María de Melque - Santa Lucía del Trampal The following acoustic parameters will be used to perform the study: the musical clarity, C80, and the sound strength. G. The research will focus on three sound propagation theories in closed spaces: • “Classic Theory” • “Barron & Lee model” • μ Method Trough these theories, theoretical values will be derived, for C80 and G, being compared to the empirical values obtained on site.

El rigor de la geometría reguladora: aplicaciones de la transgeometría de Pablo Palazuelo en el Dibujo Arquitectónico

En la presente comunicación se trata de enfocar esta exactitud geométrica requerida para la correcta ejecución del dibujo arquitectónico, estableciendo un análisis comparativo con la minuciosa metodología desarrollada por Pablo Palazuelo. De esta manera, se tratará también de determinar su posible aplicación docente en nuestras asignaturas gráficas, Dibujo Arquitectónico y su hermana Laboratorio de Informática Gráfica.

Evaluating social choice techniques into intelligent environments by agent based social simulation

The primary hypothesis stated by this paper is that the use of social choice theory in Ambient Intelligence systems can improve significantly users satisfaction when accessing shared resources. A research methodology based on agent based social simulations is employed to support this hypothesis and to evaluate these benefits. The result is a six-fold contribution summarized as follows. Firstly, several considerable differences between this application case and the most prominent social choice application, political elections, have been found and described. Secondly, given these differences, a number of metrics to evaluate different voting systems in this scope have been proposed and formalized. Thirdly, given the presented application and the metrics proposed, the performance of a number of well known electoral systems is compared. Fourthly, as a result of the performance study, a novel voting algorithm capable of obtaining the best balance between the metrics reviewed is introduced. Fifthly, to improve the social welfare in the experiments, the voting methods are combined with cluster analysis techniques. Finally, the article is complemented by a free and open-source tool, VoteSim, which ensures not only the reproducibility of the experimental results presented, but also allows the interested reader to adapt the case study presented to different environments.

La escultura románica aragonesa y el crismón de los tímpanos de las iglesias de la región pirenáica

La escultura románica aragonesa y el crismón de los tímpanos de las iglesias de la región pirenáica

Iglesias románicas españolas con bóvedas de cañón en las naves laterales de eje normal al del templo

Iglesias románicas españolas con bóvedas de cañón en las naves laterales de eje normal al del templo