Some considerations on the compile-time analysis of constraint logic programs

This paper discusses some issues which arise in the dataflow analysis of constraint logic programming (CLP) languages. The basic technique applied is that of abstract interpretation. First, some types of optimizations possible in a number of CLP systems (including efficient parallelization) are presented and the information that has to be obtained at compile-time in order to be able to implement such optimizations is considered. Two approaches are then proposed and discussed for obtaining this information for a CLP program: one based on an analysis of a CLP metainterpreter using standard Prolog analysis tools, and a second one based on direct analysis of the CLP program. For the second approach an abstract domain which approximates groundness (also referred to as "definiteness") information (i.e. constraint to a single valué) and the related abstraction functions are presented.

Realización de la Evaluación del Impacto Ambiental de un proyecto de infraestructura aeroportuaria

Dentro del impacto para el medio ambiente que supone el transporte aéreo en general y las infraestructuras terrestres necesarias para su realización del mismo en particular, se trata la Evaluación del Impacto Ambiental de un proyecto de infraestructura aeroportuaria. Una vez ya localizado el elemento de estudio dentro del problema global, la pretensión de este PFC es de servir de guía básica para su realización siguiendo la legislación actual en España y el modus operandi de AENA. Para ello se incluye información sobre los procedimientos, documentos, contenidos, fuentes y metodología empleada en un caso general. En la parte final se pasa a la aplicación completamente práctica presentando la Evaluación de Impacto Ambiental del Aeropuerto de Burgos.

La evaluación de competencias en la web

En el actual marco del Espacio Europeo de Educación Superior (EEES) la mejora de la calidad de la enseñanza y el aprendizaje es una cuestión clave, en ella, la evaluación de competencias se convierte en una cuestión central. La máxima accesibilidad a cualquier tipo de información o herramienta está hoy en Internet, y ese medio es también muy adecuado para la evaluación, especialmente en el contexto universitario. Por ello el objetivo de este trabajo es realizar una revisión de portales web dedicados a evaluación de competencias genéricas, haciendo hincapié en aquellos que ofrezcan herramientas de evaluación disponibles online. Se ha realizado una búsqueda en Google a partir de palabras clave en inglés y en español, y se han consultado las páginas de las primeras universidades según el ranking Webometrics. Los resultados obtenidos permiten afirmar una tendencia a la constitución de plataformas colaborativas procedentes de iniciativas en las que participan amplias redes de profesores universitarios y diversas instituciones, que ofrecen herramientas con aplicación práctica y de acceso abierto.

Suitability of artificial neural networks for designing LoC circuits

he simulation of complex LoC (Lab-on-a-Chip) devices is a process that requires solving computationally expensive partial differential equations. An interesting alternative uses artificial neural networks for creating computationally feasible models based on MOR techniques. This paper proposes an approach that uses artificial neural networks for designing LoC components considering the artificial neural network topology as an isomorphism of the LoC device topology. The parameters of the trained neural networks are based on equations for modeling microfluidic circuits, analogous to electronic circuits. The neural networks have been trained to behave like AND, OR, Inverter gates. The parameters of the trained neural networks represent the features of LoC devices that behave as the aforementioned gates. This would mean that LoC devices universally compute.

Contraste entre instrumentos de evaluación tradicionales y rúbricas: estudio de un caso en una asignatura de introducción a la programación en Java

Dentro de los estudios de Ingeniería, las asignaturas que se ocupan de la capacidad de desarrollar programas de ordenador presentan algunas particularidades que las hacen especialmente interesantes a la hora de aplicar instrumentos de evaluación no tradicionales. Estas características son: (a) el resultado del aprendizaje es estrictamente una competencia, (b) el ejercicio profesional de esta competencia se realiza usualmente en equipo y (c) el proceso de evaluación puede ser más objetivo que en otras materias. Como consecuencia de la aplicación del EEES se están aplicando nuevas metodologías docentes y de estrategias de evaluación a estas asignaturas y resulta relevante conocer qué diferencias, si existen, introducen en el proceso de aprendizaje de este tipo de materias. El presente trabajo contrasta la aplicación de dos metodologías docentes y dos instrumentos de evaluación en dos grupos de la misma asignatura. Uno de los grupos ha seguido una metodología docente a distancia apoyada en una plataforma de e-learning, con contenidos docentes en formato electrónico, tutorías virtuales, un foro de comunicaciones, ejercicios de autoevaluación,trabajos individuales y trabajos en grupo. El otro grupo comparte los mismos contenidos docentes pero sigue una metodología que se basa en la impartición de clases presenciales de tipo magistral y clases prácticas de resolución de problemas y en la que se realiza un proyecto en equipo que se entrega en tres hitos. En ambos casos se ha utilizado una rúbrica por parte del profesor para evaluar los trabajos y otra por parte del alumno para valorar la actividad y competencia trabajo en equipo. Además se ha realizado un examen tradicional aunque sin efecto en la calificación final del alumno como referencia de comparación. En este sentido se muestra la experiencia en el empleo de la rúbrica en el contexto de la docencia en Ingeniería, y, en este caso, respecto de un instrumento tradicional como es una prueba de evaluación escrita.

La normativa española sobre ruido y vibraciones generadas por el tráfico

El creciente nivel de calidad de vida exigido por la sociedad de nuestro tiempo ha dado lugar al desarrollo de una normativa de Medio Ambiente por parte de los órganos de gobierno de distintas naciones, estableciendo limitaciones al nivel de ruido y vibraciones en los locales habitados, ya tratando de proteger el organismo humano frente a posibles daños o molestias, ya intentando evitar el deterioro o la disfunción de los medios materiales. En particular, el estudio del impacto ambiental provocado por el ruido y las vibraciones generadas por el tráfico ha alcanzado especial auge en las últimas dos décadas. En España, la normativa sobre el particular corresponde al ámbito municipal, lo que supone gran diversificación de normas y disposiciones. Aunque la casi totalidad de la normativa está basada en recomendaciones internacionales, existe una amplia diversidad de criterios. algunos de los cuales son erróneos o están mal transcritos. También es notable la falta de recomendaciones sobre vibraciones producidas por tráfico. Para realizar este estudio cuyas conclusiones se exponen a continuación se han elegido de forma aleatoria diez ayuntamientos españoles y se ha analizado su normativa sobre vibraciones y ruido. Las ordenanzas municipales que se han utilizado corresponden a los Ayuntamientos de Barcelona, Bilbao, Gijón, Málaga, Oviedo, Santander, Sevilla, Valencia, Valladolid y Zaragoza. La normativa sobre ruido y vibraciones de estos ayuntamientos engloba las imputables al tráfico de forma general. Así entre sus objetivos suelen incluir la organización del tráfico y los transportes colectivos, y la planificación y proyecto de vías de circulación con sus elementos de aislamiento y amortiguación acústica. Todas las normativas analizadas tienen un capítulo específico sobre vehículos automóviles. El presente estudio ha sido realizado a partir de la documentación facilitada por los referidos ayuntamientos. Los autores no se hacen responsables de las posibles inexactitudes que pudieran derivarse de trabajar con documentación incompleta o no actualizada.

Alta velocidad ferroviaria en California(USA): tercera parte (III) Fresno-Los Ángeles-San Diego = High speed railway in California(USA): third part (III) Fresno-Los Ángeles-San Diego

Implantación de la Red de Alta velocidad Ferroviaria en California. Tramo Fresno-Los Angeles-San Diego. Este artículo, tercera parte de la serie que describe la red de Alta Velocidad Ferroviaria de California (CHSRS), se ocupa de la línea Fresno-Los Angeles Airport-San Diego Airport, con el trazado propuesto en la Alternativa Missions Trail del Proyecto FARWEST, caracterizada por el paso directo de las montañas de Tehachapi, mediante dos grandes túneles de 27,5 Km (17 mile) y 25,6 Km (15,9 mile) de longitud. También por el emplazamiento de la estación terminal de Los Angeles, junto al Aeropuerto Internacional de Los Angeles y la sustitución de la circunvalación ferroviaria de la aglomeración urbana de Los Angeles, a través de Inland Empire, por el ramal Anaheim-Riverside, que da acceso a esa región, y que es cabecera de la futura Dessert Express a Las Vegas. The third of a series describing the California High Speed Railway (CHSRS), this article refers to the Fresno-Los Angeles Airport-San Diego Airport line, with the alignment as proposed in the Missions Trail Alternative of the FARWEST Project, characterized by the direct Tehachapi mountain pass through two large tunnels 27.5 Km (17 miles) and 25.6 Km (15.9 miles) long and also to the siting of the Los Angeles terminal station next to the Los Angeles International Airport and the replacement of the Los Angeles urban conglomeration railway by-pass through Inland Empire, by the Anaheim-Riverside branch providing access to that region and which is the head of the future Desert Express to Las Vegas.

Vías para la sostenibilidad urbana en los inicicios del siglo XXI

El presente informe se ha redactado a modo de marco general para la revisión de la Agenda 21 Málaga y forma parte del bloque Territorio y configuración de la ciudad, una de los cuatro ejes de trabajo en torno a los cuales está organizada la agenda, siendo los otros ejes Gestión de recursos, Cohesión social y desarrollo económico y Gobierno de la ciudad. La totalidad de los informes redactados de cara a los trabajos de revisiòn pueden descargarse en la web de la Agenda 21 de Málaga. La presentación pública del informe se llevó a cabo dentro de la jornada de apertura del Foro 21 el día 21 de abril de 2014 en la sede del OMAU de Málag

La plataforma siette una herramienta para el aprendizaje de la botánica forestal

El avance tecnológico está incorporando nuevas herramientas de aprendizaje para complementar el estudio y realizar prácticas de autoevaluación de valor formativo, ya que mediante el ejercicio de evaluación el estudiante puede reflexionar sobre su progreso y dirigir mejor su esfuerzo en el estudio. En este marco la plataforma SIETTE es un sistema web que permite la creación y mantenimiento de bancos de preguntas, y realización de tests, que implementa la Teoría Clásica de Test (CTT), Teoría de Respuesta al Ítem (TRI), permite realizar Tests Adaptativos Informatizados (TAI), y puede usarse como herramienta para el aprendizaje colaborativo. Siette puede usarse como módulo de evaluación de un Sistema Tutor Inteligente (STI) o conectado a una Plataforma de Teleeducación (LMS) como Moodle. Siette implementa muchas otras opciones para la realización de prácticas de reconocimiento, repaso, y evaluación. Esta comunicación presenta los resultados de varios años de trabajo con esta herramienta, las diversas experiencias de formación y evaluación de conocimientos sobre Botánica Forestal. Se han definido más de 2500 preguntas, la mayoría basadas en imágenes y realizado mas de 4300 sesiones de evaluación en la Escuela Universitaria de Ingeniería Técnica Forestal de la Universidad Politécnica de Madrid en colaboración con la Universidad de Málaga.

Ventanas con cámara de agua circulante en edificios de consumo de energía casi nulo

Según la normativa Europea relacionada con la eficiencia energética en edificios, a partir del año 2020 todos los edificios de nueva planta deberán considerarse como Edificios de consumo energético casi nulo o Near zero energy buildings (nZEB). Aunque aún no existe una definición exacta de los requisitos que tendrán que cumplir este tipo de edificios, resulta evidente que deberán tener una demanda energética reducida. Dado que las ventanas pueden llegar a ser responsables de aproximadamente el 30% del consumo energético destinado a acondicionar térmicamente un edificio, constituyen uno de los elementos cuya eficiencia debe mejorarse para lograr este tipo de edificios. Frente a este panorama, las ventanas con cámara de agua circulante constituyen un tipo de ventana dinámica poco conocido, pero cuya contribución a los edificios de consumo de energía casi nulo tanto nuevos como rehabilitados, puede ser muy interesante en climas cálidos como Jos del sur de Europa.

On the approximate parametrization problem of algebraic curves.

The problem of parameterizing approximately algebraic curves and surfaces is an active research field, with many implications in practical applications. The problem can be treated locally or globally. We formally state the problem, in its global version for the case of algebraic curves (planar or spatial), and we report on some algorithms approaching it, as well as on the associated error distance analysis.

LTE as the future railway communication system: benefits and challenges

In this paper the main challenges associated with the migration process towards LTE, will be assessed. These challenges comprise, among others, the next key topics: Reliability, Availability Maintainability and Safety (RAMS) requirements, end to end Quality of Service (QoS) requirements, system performance in high speed scenarios, communication system deployment strategy, and system backward compatibility as well as the future system features for delivering railway services. The practical evaluation of the LTE system capabilities and performance in High Speed Railway (HSR) scenarios, require the development of an LTE demonstrator and an LTE system level simulator. Under this scope, the authors have developed an RF LTE demonstrator, as well as an LTE system level simulator, that will provide valuable information for the assessing of LTE performance and suitability in real HSR scenarios. This work is being developed under the framework of a research project to evaluate the feasibility of LTE to become the new railway communication system. The companies and universities involved in this project are: Technical University of Madrid (UPM), Alcatel Lucent Spain, ADIF (Spanish Railway Infrastructure Manager), Metro de Madrid, AT4 Wireless, the University of A Coruña (UDC) and University of Málaga (UMA).