A syntactic approach to combining functional notation, lazy evaluation, and higher-order in LP systems

Nondeterminism and partially instantiated data structures give logic programming expressive power beyond that of functional programming. However, functional programming often provides convenient syntactic features, such as having a designated implicit output argument, which allow function cali nesting and sometimes results in more compact code. Functional programming also sometimes allows a more direct encoding of lazy evaluation, with its ability to deal with infinite data structures. We present a syntactic functional extensión, used in the Ciao system, which can be implemented in ISO-standard Prolog systems and covers function application, predefined evaluable functors, functional definitions, quoting, and lazy evaluation. The extensión is also composable with higher-order features and can be combined with other extensions to ISO-Prolog such as constraints. We also highlight the features of the Ciao system which help implementation and present some data on the overhead of using lazy evaluation with respect to eager evaluation.

Optimized algorithms for the incremental analysis of logic programs

Global analysis of logic programs can be performed effectively by the use of one of several existing efficient algorithms. However, the traditional global analysis scheme in which all the program code is known in advance and no previous analysis information is available is unsatisfactory in many situations. Incrementa! analysis of logic programs has been shown to be feasible and much more efficient in certain contexts than traditional (non-incremental) global analysis. However, incremental analysis poses additional requirements on the fixpoint algorithm used. In this work we identify these requirements, present an important class of strategies meeting the requirements, present sufficient a priori conditions for such strategies, and propose, implement, and evalúate experimentally a novel algorithm for incremental analysis based on these ideas. The experimental results show that the proposed algorithm performs very efficiently in the incremental case while being comparable to (and, in some cases, considerably better than) other state-of-the-art analysis algorithms even for the non-incremental case. We argüe that our discussions, results, and experiments also shed light on some of the many tradeoffs involved in the design of algorithms for logic program analysis.

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.

Computational model for local damage assesment of structures

In the last years many studies have been developed to analyze the seismic behavior throug the damage concept. In fact, the evaluation of the structural damage is important in order to quantify the safety of new and existing structures and, also, to establish a framework for seismic retrofitting decision making of structures. Most proposed models are based on a post-earthquake evaluation in such a way they uncouple the computation of the structural response from that of damage. However, there are other models which include explicity the existing coupling between the degradation and the structural mechanical beaviour. Those models are closer to the physical reality and its formulation is based on the principles of Continuum Damage Mechanics. In the present work, a coupled model is formulated using a simplified application of the Continuum Damage Mechanics to the analysis of frames and allows its representation in standard finite element programs. This work is part of the activities developed by the Structural Mechanics Department (UPM) within ICONS (European Research Project on Innovative Seismic Design Concepts for New and Existing Structures).

Metodología para determinar la distribución de puntos de acceso a servicios de gobierno electrónico

Este trabajo es de interés para territorios en países en vías de desarrollo que tengan información escasa o limitada sobre la cual planificar Puntos de Acceso a Servicios (PAS). Está pensado para territorios que actualmente no cuenten con ningún o con escasos PAS y que estén interesados en aplicar esta estrategia para proveer de servicios a los ciudadanos de su territorio. Aquí se dan claves para tener una respuesta con base técnica para decidir cuántos PAS poner en el territorio y dónde ubicarlos. Ante la pregunta de ¿cómo realizar una distribución de puntos de acceso a servicios de gobierno electrónico sobre un territorio determinado?, este trabajo toma en cuenta tres variables: tamaño de la población, distancia entre poblaciones y costo de implantación de los puntos de acceso. Este proceso se basa en la teoría de localización de instalaciones y usa algoritmos genéticos como herramienta técnica. Se ha hecho la aplicación de esta metodología en dos contextos: el Municipio de Santa Elena (Ecuador) y en la provincia de Asturias (España). La selección de estos dos territorios se ha planteado para resaltar las diferencias de esfuerzos en la aplicación de una misma metodología en ambos contextos.

Caracterización de vehículos ferroviarios para analizar la sensibilidad de sus parámetros dinámicos

Este trabajo forma parte de un proyecto más amplio, cuya finalidad es realizar un estudio de sensibilidad que permita determinar qué grado de exactitud se requiere en la definición de los principales parámetros que influyen en la dinámica de los vehículos ferroviarios. Como paso previo a este análisis de sensibilidad, es preciso seleccionar un vehículo de referencia en el que basar dicho estudio. Dicho vehículo se empleará como punto de partida, para después variar el valor de los parámetros que lo caracterizan, a fin de determinar su influencia sobre la dinámica de marcha. Para alcanzar este objetivo se ha construido una base de datos de vehículos ferroviarios, que almacena las características de los parámetros que afectan al comportamiento dinámico de los vehículos. El valor de referencia correspondiente a cada parámetro puede asociarse al promedio de los valores almacenados en la base de datos, y sus rangos de variación pueden obtenerse a partir de las medidas de dispersión de estos datos. Se ha realizado un test de normalidad sobre los datos almacenados en la base de datos, encontrándose que la hipótesis de normalidad resulta, en general, inapropiada, lo que requiere el uso de estimadores más robustos de los habituales. Aunque el estudio de sensibilidad podría basarse en el vehículo ficticio definido por los valores promedio de cada parámetro, cabe la posibilidad de que este vehículo promedio presente un comportamiento dinámico distinto al que tendría un vehículo real. Para evitar este posible contratiempo, se han utilizado técnicas de escalado multidimensional para seleccionar los registros de la base de datos más próximos al vehículo promedio. Para determinar cuál de estos vehículos resulta más apropiado, se ha comparado su comportamiento dinámico empleando técnicas de simulación de sistemas multicuerpo. A partir de los resultados obtenidos en estas simulaciones, se ha valorado el comportamiento de cada modelo desde el punto de vista de la seguridad, de la agresión a la vía y del confort, siguiendo las indicaciones de la norma EN-14363. Finalmente, se ha seleccionado como vehículo de referencia aquél que, presentando un comportamiento adecuado, requiere el menor esfuerzo computacional para llevar a cabo las simulaciones.

Arquitectura: los años setenta y ochenta

El prestigio del que goza la arquitectura de Madrid se fraguó en aquellas dos décadas. Los maestros consagrados pusieron en pie sus obras de culminación y empezaron a recibir un bien merecido reconocimiento internacional.

Grasp Mapping Between a 3-Finger Haptic Device and a Robotic Hand

This paper presents the implementation of a robust grasp mapping between a 3-finger haptic device (master) and a robotic hand (slave). Mapping is based on a grasp equivalence defined considering the manipulation capabilities of the master and slave devices. The metrics that translate the human hand gesture to the robotic hand workspace are obtained through an analytical user study. This allows a natural control of the robotic hand. The grasp mapping is accomplished defining 4 control modes that encapsulate all the grasps gestures considered.

On the Insurmountable Size of Truss-like Structures

Galileo postulated the existence of an insurmountable size for stone columns bearing a useful load as the size for which the structure is only able to resist its self-weight. Herein a method for the determination of the unsurmountable size for truss-like structures is shown, given the form of these structures and the ratio between the allowable stress and the specific weight of the material (the material structural scope). Three types of bars are considered: straight bars, with solid and hollow rectangular cross-section, and catenary bars with circular cross-section —a limit and theoretical case for estimating a meaningful upper bound of the structural scope—. An approximate rule to estimate the structural efficiency —here named GA rule— is shown, and is compared with numerical solutions using the proposed method.

Lime rendering of the houses of historical core of Maracaibo, Venezuela

An advance of the study undertaken of the plastering of the few dwellings that still exist in the historical area of Maracaibo is presented, with a base of restoration mortar of the plastering of sandstone known as “piedra de ojo”. The mortars are made of lime with a ferruginous stone aggregate that gives them a pinkish color, with additions of ceramics, bamboo, sand, wood and straw, and kneaded with salty water from Lake Maracaibo

Methodology based on FBG sensors for monitoring of FRP-strengthened beams

Advanced composite materials are increasingly used in the strengthening of reinforced concrete (RC) structures. The use of externally bonded strips made of fibre-reinforced plastics (FRP) as strengthening method has gained widespread acceptance in recent years since it has many advantages over the traditional techniques. However, unfortunately, this strengthening method is often associated with a brittle and sudden failure caused by some form of FRP bond failure, originated at the termination of the FRP material or at intermediate areas in the vicinity of flexural cracks in the RC beam. Up to date, little effort in the early prediction of the debonding in its initial instants even though this effect is not noticeable by simple visual observation. An early detection of this phenomenon might help in taking actions to prevent future catastrophes. Fibre-optic Bragg grating (FBG) sensors are able to measure strains locally with high resolution and accuracy. Furthermore, as their physical size is extremely small compared with other strain measuring components, it enables to be embedded at the concrete-FRP interface for determining the strain distribution without influencing the mechanical properties of the host materials. This paper shows the development of a debonding identification methodology based on strains experimentally measured. For, it a simplified model is implemented to simulate the behaviour of FRP-strengthened reinforced concrete beams. This model is taken as a basis to. develop an model updating procedure able to detect minor debonding at the concrete-FRP interface from experimental strains obtained by using FBG sensors embedded at the interface

Robust Image Registration with Global Intensity Transformation

This paper presents a registration method for images with global illumination variations. The method is based on a joint iterative optimization (geometric and photometric) of the L1 norm of the intensity error. Two strategies are compared to directly find the appropriate intensity transformation within each iteration: histogram specification and the solution obtained by analyzing the necessary optimality conditions. Such strategies reduce the search space of the joint optimization to that of the geometric transformation between the images.