Memory performance of and-parallel prolog on shared-memory architectures

The goal of the RAP-WAM AND-parallel Prolog abstract architecture is to provide inference speeds significantly beyond those of sequential systems, while supporting Prolog semantics and preserving sequential performance and storage efficiency. This paper presents simulation results supporting these claims with special emphasis on memory performance on a two-level sharedmemory multiprocessor organization. Several solutions to the cache coherency problem are analyzed. It is shown that RAP-WAM offers good locality and storage efficiency and that it can effectively take advantage of broadcast caches. It is argued that speeds in excess of 2 ML IPS on real applications exhibiting medium parallelism can be attained with current technology.

Control of a solar dryer through using a fuzzy logic and low-cost model-based sensor

Solar drying is one of the important processes used for extending the shelf life of agricultural products. Regarding consumer requirements, solar drying should be more suitable in terms of curtailing total drying time and preserving product quality. Therefore, the objective of this study was to develop a fuzzy logic-based control system, which performs a ?human-operator-like? control approach through using the previously developed low-cost model-based sensors. Fuzzy logic toolbox of MatLab and Borland C++ Builder tool were utilized to develop a required control system. An experimental solar dryer, constructed by CONA SOLAR (Austria) was used during the development of the control system. Sensirion sensors were used to characterize the drying air at different positions in the dryer, and also the smart sensor SMART-1 was applied to be able to include the rate of wood water extraction into the control system (the difference of absolute humidity of the air between the outlet and the inlet of solar dryer is considered by SMART-1 to be the extracted water). A comprehensive test over a 3 week period for different fuzzy control models has been performed, and data, obtained from these experiments, were analyzed. Findings from this study would suggest that the developed fuzzy logic-based control system is able to tackle difficulties, related to the control of solar dryer process.

Functional and environmental design of detached, low crest level breakwaters

In this article we research the design of detached breakwaters, a type of coastal defence work designed to combat erosion on beaches in a stable, sustainable fashion. Our aim is to formulate a functional and environmental (nonstructural) method of design that defines the fundamental characteristics of a detached breakwater as a function of the desired effect on the coast whilst meeting social demands and preserving or improving the quality of the littoral environment. We aim to make this method generally applicable by considering relations between variables of different natures (climatic, geomorphologic, and geometric) influencing the changes experienced on the coast after the detached breakwater has been built. We carried out the study of the relations between the different variables on the data from 19 actual, existing detached breakwaters on the Spanish Mediterranean coastline, and we followed a methodology based on the implementation of nondimensional monomials and on a search for relations of dependency between them. Finally, we discussed the results obtained and came up with a proposal for a design method that uses some of the graphic relations found between the variables studied and that achieves the main objective. For example, a case of a detached breakwater’s geometric presizing is solved as a practical demonstration of how the method is applied. La investigación que se presenta en este artículo aborda el diseño de los diques exentos, por constituir estos un tipo de obras de defensa costera con el que poder luchar de una forma estable y sostenible contra muchos de los problemas de erosión que existen en las playas. El objetivo principal de este trabajo es la formulación de un método de diseño funcional y ambiental (no estructural) que permita definir las características fundamentales de un dique exento en función del efecto que se quiera inducir en la costa, satisfaciendo las demandas sociales y preservando o mejorando la calidad del medio ambiente litoral. Además, se busca la aplicabilidad general del método mediante la consideración de relaciones entre variables de distinta naturaleza (climáticas, geomorfológicas y geométricas) que tienen influencia en los cambios que se experimentan en la costa tras la construcción del dique exento. El estudio de las relaciones entre las distintas variables se realiza sobre los datos de una base de diecinueve diques exentos reales, existentes en el litoral mediterráneo español, y sigue una metodología basada en el planteamiento de monomios adimensionales y en la búsqueda de relaciones de dependencia entre ellos. Finalmente, la discusión de los resultados obtenidos conduce a la propuesta de un método de diseño que utiliza algunas de las relaciones graficas encontradas entre las variables estudiadas y con el que se consigue el objetivo principal anteriormente expuesto. Para demostrar la aplicación práctica del método se resuelve un caso de predimensionamiento geométrico de un dique exento a modo de ejemplo.

Energy-based Fair Queuing: Energy-centric Processor Scheduling Algorithm for Battery-limited Mobile Systems

Los dispositivos móviles modernos disponen cada vez de más funcionalidad debido al rápido avance de las tecnologías de las comunicaciones y computaciones móviles. Sin embargo, la capacidad de la batería no ha experimentado un aumento equivalente. Por ello, la experiencia de usuario en los sistemas móviles modernos se ve muy afectada por la vida de la batería, que es un factor inestable de difícil de control. Para abordar este problema, investigaciones anteriores han propuesto un esquema de gestion del consumo (PM) centrada en la energía y que proporciona una garantía sobre la vida operativa de la batería mediante la gestión de la energía como un recurso de primera clase en el sistema. Como el planificador juega un papel fundamental en la administración del consumo de energía y en la garantía del rendimiento de las aplicaciones, esta tesis explora la optimización de la experiencia de usuario para sistemas móviles con energía limitada desde la perspectiva de un planificador que tiene en cuenta el consumo de energía en un contexto en el que ésta es un recurso de primera clase. En esta tesis se analiza en primer lugar los factores que contribuyen de forma general a la experiencia de usuario en un sistema móvil. Después se determinan los requisitos esenciales que afectan a la experiencia de usuario en la planificación centrada en el consumo de energía, que son el reparto proporcional de la potencia, el cumplimiento de las restricciones temporales, y cuando sea necesario, el compromiso entre la cuota de potencia y las restricciones temporales. Para cumplir con los requisitos, el algoritmo clásico de fair queueing y su modelo de referencia se extienden desde los dominios de las comunicaciones y ancho de banda de CPU hacia el dominio de la energía, y en base a ésto, se propone el algoritmo energy-based fair queueing (EFQ) para proporcionar una planificación basada en la energía. El algoritmo EFQ está diseñado para compartir la potencia consumida entre las tareas mediante su planificación en función de la energía consumida y de la cuota reservada. La cuota de consumo de cada tarea con restricciones temporales está protegida frente a diversos cambios que puedan ocurrir en el sistema. Además, para dar mejor soporte a las tareas en tiempo real y multimedia, se propone un mecanismo para combinar con el algoritmo EFQ para dar preferencia en la planificación durante breves intervalos de tiempo a las tareas más urgentes con restricciones temporales.Las propiedades del algoritmo EFQ se evaluan a través del modelado de alto nivel y la simulación. Los resultados de las simulaciones indican que los requisitos esenciales de la planificación centrada en la energía pueden lograrse. El algoritmo EFQ se implementa más tarde en el kernel de Linux. Para evaluar las propiedades del planificador EFQ basado en Linux, se desarrolló un banco de pruebas experimental basado en una sitema empotrado, un programa de banco de pruebas multihilo, y un conjunto de pruebas de código abierto. A través de experimentos específicamente diseñados, esta tesis verifica primero las propiedades de EFQ en la gestión de la cuota de consumo de potencia y la planificación en tiempo real y, a continuación, explora los beneficios potenciales de emplear la planificación EFQ en la optimización de la experiencia de usuario para sistemas móviles con energía limitada. Los resultados experimentales sobre la gestión de la cuota de energía muestran que EFQ es más eficaz que el planificador de Linux-CFS en la gestión de energía, logrando un reparto proporcional de la energía del sistema independientemente de en qué dispositivo se consume la energía. Los resultados experimentales en la planificación en tiempo real demuestran que EFQ puede lograr de forma eficaz, flexible y robusta el cumplimiento de las restricciones temporales aunque se dé el caso de aumento del el número de tareas o del error en la estimación de energía. Por último, un análisis comparativo de los resultados experimentales sobre la optimización de la experiencia del usuario demuestra que, primero, EFQ es más eficaz y flexible que los algoritmos tradicionales de planificación del procesador, como el que se encuentra por defecto en el planificador de Linux y, segundo, que proporciona la posibilidad de optimizar y preservar la experiencia de usuario para los sistemas móviles con energía limitada. Abstract Modern mobiledevices have been becoming increasingly powerful in functionality and entertainment as the next-generation mobile computing and communication technologies are rapidly advanced. However, the battery capacity has not experienced anequivalent increase. The user experience of modern mobile systems is therefore greatly affected by the battery lifetime,which is an unstable factor that is hard to control. To address this problem, previous works proposed energy-centric power management (PM) schemes to provide strong guarantee on the battery lifetime by globally managing energy as the first-class resource in the system. As the processor scheduler plays a pivotal role in power management and application performance guarantee, this thesis explores the user experience optimization of energy-limited mobile systemsfrom the perspective of energy-centric processor scheduling in an energy-centric context. This thesis first analyzes the general contributing factors of the mobile system user experience.Then itdetermines the essential requirements on the energy-centric processor scheduling for user experience optimization, which are proportional power sharing, time-constraint compliance, and when necessary, a tradeoff between the power share and the time-constraint compliance. To meet the requirements, the classical fair queuing algorithm and its reference model are extended from the network and CPU bandwidth sharing domain to the energy sharing domain, and based on that, the energy-based fair queuing (EFQ) algorithm is proposed for performing energy-centric processor scheduling. The EFQ algorithm is designed to provide proportional power shares to tasks by scheduling the tasks based on their energy consumption and weights. The power share of each time-sensitive task is protected upon the change of the scheduling environment to guarantee a stable performance, and any instantaneous power share that is overly allocated to one time-sensitive task can be fairly re-allocated to the other tasks. In addition, to better support real-time and multimedia scheduling, certain real-time friendly mechanism is combined into the EFQ algorithm to give time-limited scheduling preference to the time-sensitive tasks. Through high-level modelling and simulation, the properties of the EFQ algorithm are evaluated. The simulation results indicate that the essential requirements of energy-centric processor scheduling can be achieved. The EFQ algorithm is later implemented in the Linux kernel. To assess the properties of the Linux-based EFQ scheduler, an experimental test-bench based on an embedded platform, a multithreading test-bench program, and an open-source benchmark suite is developed. Through specifically-designed experiments, this thesis first verifies the properties of EFQ in power share management and real-time scheduling, and then, explores the potential benefits of employing EFQ scheduling in the user experience optimization for energy-limited mobile systems. Experimental results on power share management show that EFQ is more effective than the Linux-CFS scheduler in managing power shares and it can achieve a proportional sharing of the system power regardless of on which device the energy is spent. Experimental results on real-time scheduling demonstrate that EFQ can achieve effective, flexible and robust time-constraint compliance upon the increase of energy estimation error and task number. Finally, a comparative analysis of the experimental results on user experience optimization demonstrates that EFQ is more effective and flexible than traditional processor scheduling algorithms, such as those of the default Linux scheduler, in optimizing and preserving the user experience of energy-limited mobile systems.

La influencia en el aislamiento acústicoa ruido aéreo de los aireadores en las ventanas compactas

En la actualidad, el crecimiento de la población urbana, el incremento de la demanda energética junto al desarrollo tecnológico impulsado en los últimos veinte años han originado un estudio y replanteamiento de los sistemas constructivos empleados. Como consecuencia se han establecido nuevos marcos normativos, marcando nuevos objetivos de confort y de demanda energética. En España, el Código Técnico de la Edificación (aprobado en el Real Decreto 314/2006 de 17 de Marzo) es el marco normativo que establece las exigencias que se deben cumplir al proyectar construir, usar, mantener y conservar los edificios, incluidas sus instalaciones, con el fin de asegurar la calidad, seguridad y salud del usuario, respetando en todo momento su entorno. Para asegurar el cumplimiento de las exigencias del Código Técnico de la Edificación (CTE), se han elaborado diferentes Documentos Básicos (DB). Entre ellos están los documentos básicos DB HR-Protección frente al ruido y el DB HS-Salubridad. En el DB HS 3 Calidad del aire interior, se establecen las condiciones que deben de adoptarse para que los recintos de los edificios se puedan ventilar adecuadamente, eliminando los contaminantes que se produzcan de forma habitual durante un uso normal de los edificios, de forma que se aporte un caudal suficiente de aire exterior y se garantice la extracción y expulsión del aire viciado por los contaminantes. En el apartado 3.1, Condiciones generales de los sistemas de ventilación, se indica que las viviendas deben disponer de un sistema general de ventilación donde el aire debe circular desde los locales secos a los húmedos. Para ello los comedores, los dormitorios y las salas de estar deben de disponer de aberturas de admisión, pudiéndose resolver esta cuestión técnica con diversas soluciones. El DB HR Protección frente al ruido del CTE, establece unos valores del aislamiento acústico a ruido aéreo, entre un recinto protegido y el exterior, en función del uso del edificio y del nivel sonoro continuo equivalente día, Ld de la zona donde se ubique el edificio. El hacer compatibles el cumplimiento de las exigencias de los dos Documentos Básicos anteriormente citados, origina algunas dificultades en los proyectos de edificación actuales. Los proyectistas tienen que recurrir en la mayoría de los casos a nuevos sistemas constructivos o duplicaciones de soluciones existentes, evitando la manipulación de los elementos de regulación de entrada de aire en las viviendas. El objetivo fundamental de la Tesis presentada es el estudio de los efectos que producen la colocación de sistemas de aireación permanente en el aislamiento acústico a ruido aéreo de las ventanas compactas. Se comprueba la influencia de cada uno de los componentes de la ventana compacta: perfiles, unidades de vidrio, sistema de apertura, cajón de persiana, persiana, aireadores, etc. en el aislamiento a ruido aéreo del sistema completo. Los ensayos acústicos se han realizado mediante dos métodos: conforme a la norma UNE-EN ISO 10140-2:2011 Medición en laboratorio del aislamiento acústico al ruido aéreo de los elementos de construcción y mediante intensimetría acústica acorde a la norma UNE-EN ISO 15186-1:2004 Medición del aislamiento acústico en los edificios y de los elementos de construcción utilizando intensidad sonora. Los resultados obtenidos podrán ser de gran utilidad para todos los profesionales que intervienen en el proceso edificatorio: arquitectos, ingenieros, instaladores, promotores, fabricantes de productos, etc., tanto en la obra nueva como en la rehabilitación. En un futuro, podrían incorporarse a los Catálogos y Documentos de Aplicación del CTE, así como a los nuevos programas informáticos de diseño y aislamiento acústico. Con el conocimiento adquirido y su aplicación, se contribuirá a la mejora de la calidad de una edificación más sostenible y eficiente. Se incrementará la productividad y la competitividad de los fabricantes de materiales y sistemas constructivos, aumentando el grado de satisfacción del usuario final con el consiguiente aumento de la calidad de vida de los ciudadanos. También se ampliará el conocimiento técnico de este tipo de sistemas y la compatibilidad entre las distintas exigencias marcadas por la normativa. ABSTRACT At present, the urban population growth, the increase of energy demand and the technological development in the last twenty years have led to a rethinking of the used building systems. As a result, new regulatory frameworks have been established, setting new goals of comfort and energy demand. In Spain, the Building Code, Código Técnico de la Edificación (CTE) (RD 314/2006 of March 17th) is the regulatory framework that establishes the requirements to be met by projecting, building, using, maintaining and preserving buildings, including its facilities in order to ensure the quality, safety and health of the user, always respecting the environment. To ensure compliance with the requirements of the CTE, different technical requirements Documentos básicos (DB) have been developed. Among them, are the DB-HR-Protection against noise and DB-HS-Health. In the DB-HS- part3, Indoor Air Quality, are set the conditions needed to be taken into consideration so that the building enclosures can be adequately ventilated, eliminating pollutants that occur regularly during normal use of the buildings, so that a sufficient airflow of outdoor is supplied and a removal and extraction of stale air pollutants is guaranteed. In section 3.1, General Terms of ventilation systems, is indicated that dwellings must have a general ventilation system where air can circulate from dry to wet enclosures. For this, dining rooms, bedrooms and living rooms should have air intake, being able to resolve this technical issue with various solutions. The DB-HR Protection against noise, provides sound insulation values of airborne sound transmission between a protected room and the outside, depending on the use of the building and the equivalent continuous sound level day, Ld, in the area where the building is located. Satisfying the requirements of the two requirements mentioned above causes some difficulties in current building project. Designers have to rely in most cases, to new construction elements or duplicate existing solutions, avoiding the manipulation of the air intakes elements. The main objective of this Thesis is the study of the effects of permanent intakes systems in the acoustic insulation against airborne noise transmission in compact windows. The influence of each of the components of the compact window is determined: frames, glass units, opening systems, shutter box, trickle vents, etc. in the airborne sound insulation of the entire system. The acoustic survey were performed using two methods: UNE-EN ISO 10140-2: 2011 Laboratory measurements of sound insulation of building elements and UNE-EN ISO 15186-1:2004 Measurement of sound insulation in buildings and of building elements using sound intensity. The obtained results may be useful for all professionals involved in the building process: architects, engineers, installers, developers, manufacturers, etc. in the new construction developments and in rehabilitation. In the future, it could be added to building catalogues and applications of the Spanish Building Code, as well as to the new design and sound insulation software. With the acquired knowledge and its application, there will be a contribution to improve the quality of a more sustainable and efficient construction. Productivity and competitiveness of manufacturers of building materials and components will improve, increasing the degree of satisfaction of the final user with a consequent increase in the quality of life of citizens. Technical knowledge of such systems and compatibility between the various requirements set by the legislation will also expand.

Biometric authentication of users through iris by using key binding and similarity preserving hash functions = Autenticación biométrica de usuarios a través del iris mediante la ocultación de claves y funciones resumen que preservan la similitud

El extraordinario auge de las nuevas tecnologías de la información, el desarrollo de la Internet de las Cosas, el comercio electrónico, las redes sociales, la telefonía móvil y la computación y almacenamiento en la nube, han proporcionado grandes beneficios en todos los ámbitos de la sociedad. Junto a éstos, se presentan nuevos retos para la protección y privacidad de la información y su contenido, como la suplantación de personalidad y la pérdida de la confidencialidad e integridad de los documentos o las comunicaciones electrónicas. Este hecho puede verse agravado por la falta de una frontera clara que delimite el mundo personal del mundo laboral en cuanto al acceso de la información. En todos estos campos de la actividad personal y laboral, la Criptografía ha jugado un papel fundamental aportando las herramientas necesarias para garantizar la confidencialidad, integridad y disponibilidad tanto de la privacidad de los datos personales como de la información. Por otro lado, la Biometría ha propuesto y ofrecido diferentes técnicas con el fin de garantizar la autentificación de individuos a través del uso de determinadas características personales como las huellas dáctilares, el iris, la geometría de la mano, la voz, la forma de caminar, etc. Cada una de estas dos ciencias, Criptografía y Biometría, aportan soluciones a campos específicos de la protección de datos y autentificación de usuarios, que se verían enormemente potenciados si determinadas características de ambas ciencias se unieran con vistas a objetivos comunes. Por ello es imperativo intensificar la investigación en estos ámbitos combinando los algoritmos y primitivas matemáticas de la Criptografía con la Biometría para dar respuesta a la demanda creciente de nuevas soluciones más técnicas, seguras y fáciles de usar que potencien de modo simultáneo la protección de datos y la identificacíón de usuarios. En esta combinación el concepto de biometría cancelable ha supuesto una piedra angular en el proceso de autentificación e identificación de usuarios al proporcionar propiedades de revocación y cancelación a los ragos biométricos. La contribución de esta tesis se basa en el principal aspecto de la Biometría, es decir, la autentificación segura y eficiente de usuarios a través de sus rasgos biométricos, utilizando tres aproximaciones distintas: 1. Diseño de un esquema criptobiométrico borroso que implemente los principios de la biometría cancelable para identificar usuarios lidiando con los problemas acaecidos de la variabilidad intra e inter-usuarios. 2. Diseño de una nueva función hash que preserva la similitud (SPHF por sus siglas en inglés). Actualmente estas funciones se usan en el campo del análisis forense digital con el objetivo de buscar similitudes en el contenido de archivos distintos pero similares de modo que se pueda precisar hasta qué punto estos archivos pudieran ser considerados iguales. La función definida en este trabajo de investigación, además de mejorar los resultados de las principales funciones desarrolladas hasta el momento, intenta extender su uso a la comparación entre patrones de iris. 3. Desarrollando un nuevo mecanismo de comparación de patrones de iris que considera tales patrones como si fueran señales para compararlos posteriormente utilizando la transformada de Walsh-Hadarmard. Los resultados obtenidos son excelentes teniendo en cuenta los requerimientos de seguridad y privacidad mencionados anteriormente. Cada uno de los tres esquemas diseñados han sido implementados para poder realizar experimentos y probar su eficacia operativa en escenarios que simulan situaciones reales: El esquema criptobiométrico borroso y la función SPHF han sido implementados en lenguaje Java mientras que el proceso basado en la transformada de Walsh-Hadamard en Matlab. En los experimentos se ha utilizado una base de datos de imágenes de iris (CASIA) para simular una población de usuarios del sistema. En el caso particular de la función de SPHF, además se han realizado experimentos para comprobar su utilidad en el campo de análisis forense comparando archivos e imágenes con contenido similar y distinto. En este sentido, para cada uno de los esquemas se han calculado los ratios de falso negativo y falso positivo. ABSTRACT The extraordinary increase of new information technologies, the development of Internet of Things, the electronic commerce, the social networks, mobile or smart telephony and cloud computing and storage, have provided great benefits in all areas of society. Besides this fact, there are new challenges for the protection and privacy of information and its content, such as the loss of confidentiality and integrity of electronic documents and communications. This is exarcebated by the lack of a clear boundary between the personal world and the business world as their differences are becoming narrower. In both worlds, i.e the personal and the business one, Cryptography has played a key role by providing the necessary tools to ensure the confidentiality, integrity and availability both of the privacy of the personal data and information. On the other hand, Biometrics has offered and proposed different techniques with the aim to assure the authentication of individuals through their biometric traits, such as fingerprints, iris, hand geometry, voice, gait, etc. Each of these sciences, Cryptography and Biometrics, provides tools to specific problems of the data protection and user authentication, which would be widely strengthen if determined characteristics of both sciences would be combined in order to achieve common objectives. Therefore, it is imperative to intensify the research in this area by combining the basics mathematical algorithms and primitives of Cryptography with Biometrics to meet the growing demand for more secure and usability techniques which would improve the data protection and the user authentication. In this combination, the use of cancelable biometrics makes a cornerstone in the user authentication and identification process since it provides revocable or cancelation properties to the biometric traits. The contributions in this thesis involve the main aspect of Biometrics, i.e. the secure and efficient authentication of users through their biometric templates, considered from three different approaches. The first one is designing a fuzzy crypto-biometric scheme using the cancelable biometric principles to take advantage of the fuzziness of the biometric templates at the same time that it deals with the intra- and inter-user variability among users without compromising the biometric templates extracted from the legitimate users. The second one is designing a new Similarity Preserving Hash Function (SPHF), currently widely used in the Digital Forensics field to find similarities among different files to calculate their similarity level. The function designed in this research work, besides the fact of improving the results of the two main functions of this field currently in place, it tries to expand its use to the iris template comparison. Finally, the last approach of this thesis is developing a new mechanism of handling the iris templates, considering them as signals, to use the Walsh-Hadamard transform (complemented with three other algorithms) to compare them. The results obtained are excellent taking into account the security and privacy requirements mentioned previously. Every one of the three schemes designed have been implemented to test their operational efficacy in situations that simulate real scenarios: The fuzzy crypto-biometric scheme and the SPHF have been implemented in Java language, while the process based on the Walsh-Hadamard transform in Matlab. The experiments have been performed using a database of iris templates (CASIA-IrisV2) to simulate a user population. The case of the new SPHF designed is special since previous to be applied i to the Biometrics field, it has been also tested to determine its applicability in the Digital Forensic field comparing similar and dissimilar files and images. The ratios of efficiency and effectiveness regarding user authentication, i.e. False Non Match and False Match Rate, for the schemes designed have been calculated with different parameters and cases to analyse their behaviour.