Independence and search space preservation in dynamically scheduled constraint logic languages

This paper performs a further generalization of the notion of independence in constraint logic programs to the context of constraint logic programs with dynamic scheduling. The complexity of this new environment made necessary to first formally define the relationship between independence and search space preservation in the context of CLP languages. In particular, we show that search space preservation is, in the context of CLP languages, not only a sufficient but also a necessary condition for ensuring that both the intended solutions and the number of transitions performed do not change. These results are then extended to dynamically scheduled languages and used as the basis for the extension of the concepts of independence. We also propose several a priori sufficient conditions for independence and also give correctness and efficiency results for parallel execution of constraint logic programs based on the proposed notions of independence.

Comparing fuzzy and intelligent PI controllers in stop-and-go manoeuvres

The aim of this work was twofold: on the one hand, to describe a comparative study of two intelligent control techniques-fuzzy and intelligent proportional-integral (PI) control, and on the other, to try to provide an answer to an as yet unsolved topic in the automotive sector-stop-and-go control in urban environments at very low speeds. Commercial vehicles exhibit nonlinear behavior and therefore constitute an excellent platform on which to check the controllers. This paper describes the design, tuning, and evaluation of the controllers performing actions on the longitudinal control of a car-the throttle and brake pedals-to accomplish stop-and-go manoeuvres. They are tested in two steps. First, a simulation model is used to design and tune the controllers, and second, these controllers are implemented in the commercial vehicle-which has automatic driving capabilities-to check their behavior. A stop-and-go manoeuvre is implemented with the two control techniques using two cooperating vehicles.

Evaluation of the influence of toll systems on energy consumption and CO2 emissions: A case study of a Spanish highway

This paper studies the energy consumption and subsequent CO2 emissions of road highway transportation under three toll systems in Spain for four categories of vehicles: cars, vans, buses and articulated trucks. The influence of toll systems is tested for a section of AP-41 highway between Toledo and Madrid. One system is free flow, other is traditional stop and go and the last toll system operates with an electronic toll collection (ETC) technology. Energy consumption and CO2 emissions were found to be closely related to vehicle mass, wind exposure, engine efficiency and acceleration rate. These parameters affect, directly or indirectly, the external forces which determine the energy consumption. Reducing the magnitude of these forces through an appropriate toll management is an important way of improving the energy performance of vehicles. The type of toll system used can have a major influence on the energy efficiency of highway transportation and therefore it is necessary to consider free flow.

Radiofrequency architectures and technologies for software defined radio

Six-port network is an interesting radiofrequency architecture with multiple possibilities. Since it was firstly introduced in the seventies as an alternative network analyzer, the six-port network has been used for many applications, such as homodyne receivers, radar systems, direction of arrival estimation, UWB (Ultra-Wide-Band), or MIMO (Multiple Input Multiple Output) systems. Currently, it is considered as a one of the best candidates to implement a Software Defined Radio (SDR). This thesis comprises an exhaustive study of this promising architecture, where its fundamentals and the state-of-the-art are also included. In addition, the design and development of a SDR 0.3-6 GHz six-port receiver prototype is presented in this thesis, which is implemented in conventional technology. The system is experimentally characterized and validated for RF signal demodulation with good performance. The analysis of the six-port architecture is complemented by a theoretical and experimental comparison with other radiofrequency architectures suitable for SDR. Some novel contributions are introduced in the present thesis. Such novelties are in the direction of the highly topical issues on six-port technique: development and optimization of real-time I-Q regeneration techniques for multiport networks; and search of new techniques and technologies to contribute to the miniaturization of the six-port architecture. In particular, the novel contributions of this thesis can be summarized as: - Introduction of a new real-time auto-calibration method for multiport receivers, particularly suitable for broadband designs and high data rate applications. - Introduction of a new direct baseband I-Q regeneration technique for five-port receivers. - Contribution to the miniaturization of six-port receivers by the use of the multilayer LTCC (Low Temperature Cofired Ceramic) technology. Implementation of a compact (30x30x1.25 mm) broadband (0.3-6 GHz) six-port receiver in LTTC technology. The results and conclusions derived from this thesis have been satisfactory, and quite fruitful in terms of publications. A total of fourteen works have been published, considering international journals and conferences, and national conferences. Aditionally, a paper has been submitted to an internationally recognized journal, which is currently under review.

Measurement and characterization of interoperability between devices with SpaceWire communications

This Master Final Project is intended to show the process developed to the functional and electrical characterization between different devices that use the SpaceWire space communications standard integrated into an evaluation board designed for this purpose. In order to carry out this characterization, firstly, a study to understand the SpaceWire standard is done. After that, another study for the understanding of the demonstration board with its different interfaces and IPs of SpW is done. According to this, it is expected to find out how the SpW devices are structured, especially at FPGA level, and how is the communication between them. Based on the knowledge obtained about SpaceWire and the SpW devices integrated into the evaluation board, the set of measurements and the strategy to validate electrical interoperability between the different devices are defined, as well as to perform functional checks required to ensure its proper understanding. Furthermore, it will let check whether the standard is met and search the limit of operation within a communication system representative of existing equipment in a satellite. Once finished the test plan and implemented on the representative hardware, the board will be considered characterized at SpW level and a report with the conclusions reached about the operation of the SpW interfaces in the board and constraints found will be done. RESUMEN. El presente Trabajo Fin de Máster pretende mostrar el proceso realizado para la caracterización eléctrica y funcional entre distintos dispositivos que utilizan el estándar de comunicaciones espaciales SpaceWire integrados en una tarjeta de evaluación diseñada para tal efecto. Para poder llevar a cabo dicha caracterización, en primer lugar, se realiza un estudio para el conocimiento del estándar SpaceWire. A continuación, se lleva a cabo otro estudio para el conocimiento de la tarjeta de demostración en la que se encuentran los distintos interfaces e IPs de SpW. Con esto último, se pretende conocer como están estructurados los dispositivos SpW, sobre todo a nivel de FPGA, y como se realiza la comunicación entre ellos. En base a los conocimientos adquiridos acerca de SpaceWire y los dispositivos SpW de la tarjeta de evaluación, se definen el conjunto de medidas y la estrategia a seguir para validar eléctricamente la interoperabilidad entre los distintos dispositivos, así como para realizar las comprobaciones funcionales necesarias para asegurar su correcto entendimiento. Además, con ello se podrá comprobar si se cumple el estándar y se podrá también buscar el límite de operación dentro de un sistema de comunicaciones representativo de los equipos existentes en un satélite. Realizado el plan de pruebas y aplicado sobre el hardware representativo se podrá dar por caracterizada la tarjeta a nivel SpW y realizar un informe con las conclusiones alcanzadas acerca del funcionamiento de los interfaces SpW de la tarjeta y las limitaciones encontradas.

Quantity of CO2 Emissions in the Life Cycle of a Highway Infrastructure

There is strong evidence to indicate that carbon dioxide and other greenhouse gases are accumulating at unprecedented concentrations in out atmosphere contributing to global climate change. Evidence is equally strong that human activities, mainly the burning of fossil fuels, are driving force in this process (IPCC 2007). While different industries contribute varying amounts to total anthropogenic greenhouse gases, it is incumbent upon each to understand its contribution and search for sensible ways to reduce overall greenhouse gas production. The aim of this paper is the development of a methodology to determine the amount of CO2 emissions of a highway, allowing providing solutions that can improve the energy footprint and reduce its emissions

Unified access to media metadata on the web: Towards interoperability using a core vocabulary.

The goal of the W3C's Media Annotation Working Group (MAWG) is to promote interoperability between multimedia metadata formats on the Web. As experienced by everybody, audiovisual data is omnipresent on today's Web. However, different interaction interfaces and especially diverse metadata formats prevent unified search, access, and navigation. MAWG has addressed this issue by developing an interlingua ontology and an associated API. This article discusses the rationale and core concepts of the ontology and API for media resources. The specifications developed by MAWG enable interoperable contextualized and semantic annotation and search, independent of the source metadata format, and connecting multimedia data to the Linked Data cloud. Some demonstrators of such applications are also presented in this article.

System supporting public transport based on geolocation

El propósito de este proyecto de fin de Grado es el estudio y desarrollo de una aplicación basada en Android que proporcionará soporte y atención a los servicios de transporte público existentes en Cracovia, Polonia. La principal funcionalidad del sistema será consultar la posición de un determinado autobús o tranvía y mostrar su ubicación con exactitud. Para lograr esto, necesitaremos tres fases de desarrollo. En primer lugar, deberemos implementar un sistema que obtenga las coordenadas geográficas de los vehículos de transporte público en cada instante. A continuación, tendremos que registrar todos estos datos y almacenarlos en una base de datos en un servidor web. Por último, desarrollaremos un sistema cliente que realice consultas a tiempo real sobre estos datos almacenados, obteniendo la posición para una línea determinada y mostrando su ubicación con un marcador en el mapa. Para hacer el seguimiento de los vehículos, sería necesario tener acceso a una API pública que nos proporcionase la posición registrada por los GPS que integran cada uno de ellos. Como esta API no existe actualmente para los servicios de autobús, y para los tranvías es de uso meramente privado, desarrollaremos una segunda aplicación en Android que hará las funciones del lado servidor. En ella podremos elegir mediante una simple interfaz el número de línea y un código específico que identificará a cada vehículo en particular (e.g. podemos tener 6 tranvías recorriendo la red al mismo tiempo para la línea 24). Esta aplicación obtendrá las coordenadas geográficas del teléfono móvil, lo cual incluye latitud, longitud y orientación a través del proveedor GPS. De este modo, podremos realizar una simulación de como el sistema funcionará a tiempo real utilizando la aplicación servidora desde dentro de un tranvía o autobús y, al mismo tiempo, utilizando la aplicación cliente haciendo peticiones para mostrar la información de dicho tranvía. El cliente, además, podrá consultar la ruta de cualquier línea sin necesidad de tener acceso a Internet. Almacenaremos las rutas y paradas de cada línea en la memoria del teléfono móvil utilizando ficheros XML debido al poco espacio que ocupan y a lo útil que resulta poder consultar un trayecto en cualquier momento, independientemente del acceso a la red. El usuario también podrá consultar las tablas de horarios oficiales para cada línea. Aunque en este caso si será necesaria una conexión a Internet debido a que se realizará a través de la web oficial de MPK. Para almacenar todas las coordenadas de cada vehículo en cada instante necesitaremos crear una base de datos en un servidor. Esto se resolverá mediante el uso de MYSQL y PHP. Se enviarán peticiones de tipo GET y POST a los servicios PHP que se encargarán de traducir y realizar la consulta correspondiente a la base de datos MYSQL. Por último, gracias a todos los datos recogidos relativos a la posición de los vehículos de transporte público, podremos realizar algunas tareas de análisis. Comparando la hora exacta a la que los vehículos pasaron por cada parada y la hora a la que deberían haber pasado según los horarios oficiales, podremos descubrir fallos en estos. Seremos capaces de determinar si es un error puntual debido a factores externos (atascos, averías,…) o si por el contrario, es algo que ocurre muy a menudo y se debería corregir el horario oficial. ABSTRACT The aim of this final Project (for University) is to develop an Android application thatwill provide support and feedback to the public transport services in Krakow. The main functionality of the system will be to track the position of a desired bus or tram line, and display its position on the map. To achieve this, we will need 3 stages: the first one will be to implement a system that sends the geographical position of the public transport vehicles, the second one will be to collect this data in a web server, and the last one will be to get the last location registered for the desired line and display it on the map. For tracking the vehicles, we would need to have access to a public API that should be connected with each bus/tram GPS. As this doesn’t exist in Krakow or at least is not available for public use, we will develop a second android application that will do the server side job. We will be able to choose in a simple interface the line number and a code letter to identify each vehicle (e.g. we can have 6 trams that belong to the line number 24 working at the same time). It will take the current mobile geolocation; this includes getting latitude, longitude and bearing from the GPS provider. Thus, we will be able to make a simulation of how the system works in real time by using the server app inside a tram and at the same time, using the client app and making requests to display the information of that tram. The client will also be able to check the path of the desired line without internet access. We will store the path and stops for each line locally in the phone memory using xml files due to the few requirements of available space it needs and the usefulness of checking a path when needed. This app will also offer the functionality of checking the timetable for the line, but in this case, it will link to the official Mpk website, so Internet access will be required. For storing all the coordinates for each vehicle at every moment we will need to create a database on a server. We have decided that the easiest way is to use Mysql and PHP for the deployment of the service. We will send GET and POST requests to the php files and those files will make the according queries to our database. Finally, based on all the collected data, we will be able to get some information about errors in the system of public transport timetables. We will check at what time a line was in each specific stop and compare it with the official timetable to find mistakes of time. We will determine if it is something that happens occasionally and related to external factors (e.g. traffic jams, breakdowns…) or if on the other hand, it is something that happens very often and the public transport timetables should be looked over and corrected.

Dilemas modernos: el proyecto urbano en Montevideo y la costa balnearia

Para analizar este complejo proceso se ha ensayado un recorrido que sigue los avatares y alternativas que se producen en la incorporación de las ideas que se gestaron en el urbanismo moderno en el Uruguay de la primera mitad del siglo XX. Ideas que se intensifican a partir de los años veinte. A través de una primer parte, se analizan las ideas que transitan los primeros años del urbanismo hasta los años treinta. Este es un período de preconstitución disciplinaria y búsqueda de imágenes urbanas análogas que por afinidad cultural, en general, recurren al repertorio europeo. Es un momento de constitución ciudadana y de su espacio cívico y, para ello, se responde al imaginario colectivo con propuestas urbanas que reflejan las ideas de ciudad presentes en el panorama internacional. Al aplicarse a un territorio sin tensiones sociales, las ideas y propuestas urbanas se presentan como una oportunidad de ensayo para los técnicos extranjeros y nacionales. El mito de la oportunidad que ofrece el Nuevo Mundo hace que un personaje reconocido llegue, casi sin prefigurarlo, a hacer una breve visita por Montevideo. La segunda parte describe al viajero Le Corbusier con sus ideas, sus propuestas sudamericanas y el Plan de Montevideo. La fugaz visita deja huellas indelebles, en el huésped y en sus anfitriones. Los caminos rápidamente se bifurcan pese a eventuales reencuentros. En Le Corbusier, Montevideo implica un punto de inflexión en la serie de planes que va a gestar. En los anfitriones abrazando aun más la bandera de la renovación desplegada antes de la visita, pese a no compartir el plan corbusiano para Montevideo, los impulsa a seguir el proceso de construcción moderna. A partir de la tercera parte, se indaga en el impulso moderno dejado por Le Corbusier, junto a la casi coincidente “celebración del futuro” donde se propone el Plan del Centenario para Montevideo. A partir del plan y su debate, sus consiguientes marchas y contramarchas, se muestra que las ideas modernas al igual que en toda celebración tuvieron momentos de apoteosis y entusiasmo, quedando luego, tan sólo las cenizas y los resplandores de la celebración, materializadas en algunos fragmentos de ideas urbanas. En la cuarta parte se analizan las ideas y propuestas en torno al proyecto urbano de la centralidad capitalina. Marchas y contramarchas, protagonizadas por anfitriones e integrantes del auditorio de Le Corbusier muestran un devenir donde se entrecruza la ciudad moderna, el crecimiento real, con las ideas urbanas que el amplio espectro cultural arquitectónico uruguayo conserva desde su constitución. La quinta parte desarrolla las propuestas estructuradas en torno a la expansión del balneario verificando las ideas de urbanismo que con naturalidad evaden la transposición literal o acrítica y se acondicionan y acomodan al territorio, conservando con intensidad, la esencia del pensamiento moderno. La relación entre la urbanidad y el horizonte marino permite el ensayo de una serie de estrategias proyectuales para la urbanización del borde costero que caracterizan y definen a la rambla montevideana y al conjunto de proyectos balnearios modernos. ABSTRACT In order to analyze this complex process, we have pursued a path that takes into consideration the vicissitudes and alternatives produced in the incorporation of the ideas conceived in modern urbanism in Uruguay in the first half of the twentieth century. These ideas have been intensified since the 1920s. The first part of the thesis analyzes the ideas of the first years of urbanism until the 1930s. This was a period of disciplinary pre-constitution and search of analogous urban images which, due to their cultural affinity, in general, resorted to the European repertoire. It was a moment of citizen constitution and the establishment of its civic space, and for that the collective imagination was responded with urban designs that reflected the ideas of the city, which could also be found in the international scene. As they were applied to a territory without social tensions, the ideas and urban designs were presented as an opportunity for rehearsal to foreign and national technicians. The myth of the opportunity offered by the New World caused the arrival of a well-known character that, almost without foreshadowing it, paid a short visit to Montevideo. The second part describes Le Corbusier, the traveler, with his ideas, his South American schemes and the Plan for Montevideo. His fleeting visit left a deep mark on the guest and on his hosts. The paths rapidly forked despite the sporadic reunions. For Le Corbusier, Montevideo marked a turning point in the series of plans that he would conceive. The hosts, who embraced the flag of renovation raised prior to his arrival, in spite of not sharing Le Corbusier’s plan for Montevideo, were encouraged to follow the process of modern construction. The third part of the thesis explores the modern impulse left by Le Corbusier, as well as the almost coincidental “celebration of the future” in which the Plan for the Centenary of Montevideo was proposed. From the plan and its discussion, its consequent progress and obstacles, it was shown that the modern ideas, as in any other celebration, had its moments of apotheosis and enthusiasm, only remaining the ashes and the glow of the celebration, materialized in some fragments of the urban design ideas. The fourth part discusses the ideas and schemes on the urban project of the centrality of the capital. Progress and obstacles, led by the hosts and the members of the auditorium of Le Corbusier, showed a development in which the modern city and the actual growth merged with the urban design ideas preserved, since its constitution, by the wide spectrum of the Uruguayan architectonic culture. Finally, the fifth part develops the schemes formulated for the expansion of the resort and verifies the ideas of urbanism which naturally avoid the literal or uncritical transposition and adjust and accommodate to the territory, preserving with intensity the essence of modern thought. The relation between urbanity and the marine horizon allowed the rehearsal of a series of design strategies for the urbanization of coastal areas which characterize and define the promenade of Montevideo and the whole set of projects of modern resorts.

Desarrollo de ontología de títulos de grado

Dada la amplia información que rodea el dominio de programas de estudios superiores, específicamente los estudios de grado, este trabajo fin de grado propone la construcción de un modelo para representar dicha información mediante la construcción de una red de ontologías, proporcionando una definición común de conceptos importantes, y que posteriormente puede ser reutilizada para la construcción de aplicaciones que ayuden a las partes interesadas, como, estudiantes, personal académico y administrativo, a la búsqueda y acceso de información oportuna. Para la construcción de esta red de ontologías, se siguen las recomendaciones y pautas propuestas por la metodología NeOn [1a] [1b], que sigue un paradigma basado en la reutilización de recursos de conocimiento. Por otra parte, se realiza una populación de dicha red de ontologías mediante datos específicos del grado en Ingeniería Informática de la Universidad Politécnica de Madrid. La construcción de una red de ontologías siguiendo las directrices de la metodología NeOn requiere la realización de distintas actividades y tareas, como el estudio del dominio, estudio de la viabilidad, especificación de requisitos, conceptualización, formalización, implementación y mantenimiento. Se realizan también muchas otras actividades y tareas dependiendo del contexto en el que se construye la ontología. En este proyecto se hace un especial énfasis en las actividades de especificación de requisitos, conceptualización e implementación, además de la actividad de búsqueda de recursos ontológicos para su posterior reutilización. Se ha construido una red de ontologías llamada: European Bachelor Degree Ontology (EBDO) que incluye términos y conceptos importantes que se han detectado en la etapa de especificación de requisitos y que las ontologías a reutilizar no contemplan. Las decisiones de diseño para la construcción de esta nueva red de ontologías y su alineamiento con las ontologías a reutilizar se han basado en la especificación de requisitos ontológicos. Una vez definidos los conceptos relevantes de la red de ontologías, se ha implementado la red de ontologías en un lenguaje computable. Una vez que la red de ontologías se ha implementado se han realizado tareas de evaluación para corregir posible errores. Finalmente, cuando se ha obtenido una versión estable de la ontología, se ha realizado la instanciación de individuos del plan de estudios del grado en Ingeniería Informática de la Universidad Politécnica de Madrid.---ABSTRACT---Given the extensive information surrounding the domain of higher education programs, specifically bachelor degree studies, this bachelor degree project proposes the construction of a model to represent this information by building an ontology network, providing a common definition of important concepts. This network can be reused to build semantic applications that help stakeholders, such as, students, academic and organisational staff, to search and access to timely information. For the construction of this network of ontologies, guidelines and recommendations proposed by the NeOn Methodology [1a] [1b] have been followed. This methodology follows a paradigm based on the reuse of knowledge resources. Moreover, a population of this ontology network is performed with specific data of the Computer Science Degree from Universidad Politécnica de Madrid Building a network of ontologies following the guidelines of the NeOn Methodology requires the completion of various activities and tasks such as, the study of the domain, study of the feasibility, requirements specification, conceptualization, formalization, implementation and maintenance. Many other activities and tasks are also performed depending on the context in which the ontology is built. In this project a special emphasis is made on the activities of requirements specification, conceptualization and search of ontological resources for reuse and implementation. A new network of ontologies, named European Bachelor Degree Ontology (EBDO), has been built. This network includes terms and concepts that have been detected at the stage of requirements specification and that the reused ontologies have not contemplated. Design principles for the construction of this new network of ontologies and for the reused ontologies alignment have been based on the ontological specification requirements. Once the relevant concepts of the ontology network are defined, the network has been implemented in a computable ontology language. Once the network ontology is implemented, the evaluation activity has been conducted to correct the errors that the network presented. Finally, when a stable version of the ontology has been obtained, the instantiation of individuals of the study program of the Bachelor Degree in Computer Science from Universidad Politécnica de Madrid has been performed.