High-level languages for small devices: A case study

In this paper we study, through a concrete case, the feasibility of using a high-level, general-purpose logic language in the design and implementation of applications targeting wearable computers. The case study is a "sound spatializer" which, given real-time signáis for monaural audio and heading, generates stereo sound which appears to come from a position in space. The use of advanced compile-time transformations and optimizations made it possible to execute code written in a clear style without efñciency or architectural concerns on the target device, while meeting strict existing time and memory constraints. The final executable compares favorably with a similar implementation written in C. We believe that this case is representative of a wider class of common pervasive computing applications, and that the techniques we show here can be put to good use in a range of scenarios. This points to the possibility of applying high-level languages, with their associated flexibility, conciseness, ability to be automatically parallelized, sophisticated compile-time tools for analysis and verification, etc., to the embedded systems field without paying an unnecessary performance penalty.

Abstract interpretation with specialized definitions

The relationship between abstract interpretation and partial evaluation has received considerable attention and (partial) integrations have been proposed starting from both the partial evaluation and abstract interpretation perspectives. In this work we present what we argüe is the first generic algorithm for efñcient and precise integration of abstract interpretation and partial evaluation from an abstract interpretation perspective. Taking as starting point state-of-the-art algorithms for context-sensitive, polyvariant abstract interpretation and (abstract) partial evaluation of logic programs, we present an algorithm which combines the best of both worlds. Key ingredients include the accurate success propagation inherent to abstract interpretation and the powerful program transformations achievable by partial deduction. In our algorithm, the calis which appear in the analysis graph are not analyzed w.r.t. the original definition of the procedure but w.r.t. specialized definitions of these procedures. Such specialized definitions are obtained by applying both unfolding and abstract executability. Also, our framework is parametric w.r.t. different control strategies and abstract domains. Different combinations of these parameters correspond to existing algorithms for program analysis and specialization. Our approach efficiently computes strictly more precise results than those achievable by each of the individual techniques. The algorithm is one of the key components of CiaoPP, the analysis and specialization system of the Ciao compiler.

Effect of the Wake of the Transducer Supports on the Ultrasonic Anemometer Measurements

The wake produced by the structural supports of the ultrasonic anemometers (UAs)causes distortions in the velocity field in the vicinity of the sonic path. These distortions are measured by the UA, inducing errors in the determination of the mean velocity, turbulence intensity, spectrum, etc.; basic parameters to determine the effect of wind on structures. Additionally, these distortions can lead to indefinition in the calibration function of the sensors (Cuerva et al., 2004). Several wind tunnel tests have been dedicated to obtaining experimental data, from which have been developed fit models to describe and to correct these distortions (Kaimal, 1978 and Wyngaard, 1985). This work explores the effect of a vortex wake generated by the supports of an UA, on the measurement of wind speed done by this instrument. To do this, the Von Karman¿s vortex street potential model is combined with the mathematical model of the measuring process carried out by UAs developed by Franchini et al. (2007). The obtained results are the correction functions of the measured wind velocity, which depends on the geometry of the sonic anemometer and aerodynamic conditions. These results have been validated with the ones obtained in a wind tunnel test done on a single path UA, especially developed for research. The supports of this UA have been modified in order to reproduce the conditions of the theoretical model. Good agreements between experimental and theoretical results have been found.

Estimating Adaptacion of Dialogue Partners with Different Verbal Intelligence

This work investigates to what degree speakers with different verbal intelligence may adapt to each other. The work is based on a corpus consisting of 100 descriptions of a short film (monologues), 56 discussions about the same topic (dialogues), and verbal intelligence scores of the test participants. Adaptation between two dialogue partners was measured using cross-referencing, proportion of "I", "You" and "We" words, between-subject correlation and similarity of texts. It was shown that lower verbal intelligence speakers repeated more nouns and adjectives from the other and used the same linguistic categories more often than higher verbal intelligence speakers. In dialogues between strangers, participants with higher verbal intelligence showed a greater level of adaptation.

CO2 capture by absorption into aqueous tertiary amine solution

The aim of this research is to obtain the absorption rate of CO2 into aqueous solution of N,N- di methyl ethanolamine and into aqueous solution of Triethylene diamine and to demonstrate the importance of absorption of CO2 in nowadays by discussing global warming and greenhouse effect. It is also discussed the current situation of China focusing in the latest steps this country has recently made. In the experimental part of this work, the two tertiary amine solutions will absorb CO2 in a Lewis type cell, measuring the pressure change during the reactions take place. The temperature will be between 35 degree and 70 degree Celsius. The results of both solutions, concentrations of 0.5 and 1.0 mol per liter, are discussed and a single value of the rate constant is given for the first time along with some others parameters.

Analysis of the influence of the different variables involved in a damage progression probability model

Motivated by these difficulties, Castillo et al. (2012) made some suggestions on how to build consistent stochastic models avoiding the selection of easy to use mathematical functions, which were replaced by those resulting from a set of properties to be satisfied by the model.

House of the Infinite, Cádiz

Casa del Infinito, Revista A&C, editada por A&C Publishing, Seoul, Korea

House of the Infinite

Casa del Infinito, Tarifa, Cádiz. Ehosing Magazine, Seoul, Korea

House of the Infinite

Casa del Infinito, Tarifa, Cádiz. Revista Archiworld, Seoul, Korea

La unidad de lo dual : tradición y modernidad en la obra de Tadao Ando y Toyo Ito

La referencia a la tradición como una fuerza capaz de aportar unidad, al abarcar tanto la continuidad como los cambios en las expresiones al margen de la época o las técnicas empleadas, ha sido siempre un componente muy importante de las manifestaciones artísticas de Japón y es la sutil ligazón que las conecta desde el pasado hasta la actualidad. Se entiende aquí que tradición no equivale simplemente a preservación, sino que se trata de una transmisión con una vertiente dual, pues permite una constante evolución sin que se altere su esencia básica. Es de esta forma que la cultura japonesa de la era Edo (1600-1868), con su alto grado de innovación, riqueza y sofisticación, pero además como epílogo histórico previo a la Restauración Meiji de 1868, ha sido la referencia clave en lo relativo a esa mirada a la tradición nipona para el desarrollo de esta tesis. A partir de la segunda mitad del siglo XIX, todas estas características tan genuinas del período Edo quedaron en suspenso y, desde entonces, Japón ha seguido la vía de la modernización (que en muchos aspectos ha sido también la de la occidentalización). Los entrelazamientos de otras dualidades provocados en Japón por los ataques nucleares de 1945 condujeron a una inevitable fusión de aquel mundo físico con el mundo metafísico, de aquella terrible presencia con un tremendo sentimiento de ausencia y, en definitiva, de Oriente con Occidente. El consiguiente impacto sobre la cultura de la nación tuvo una especial repercusión en el ámbito arquitectónico. En este sentido, el pensamiento francés ha desempeñado un papel fundamental en el replanteamiento radical de muchos supuestos esenciales, de muchos conceptos y valores de la cultura occidental, incluyendo los procedentes de la Ilustración, en este mundo contemporáneo que es cada vez más complejo y plural. Éstos y otros hechos otorgan a la cultura japonesa tradicional una cualidad multidimensional (frente a la marcada bidimensionalidad que suele caracterizar a las culturas occidentales) que, tal y como esta tesis doctoral pretende poner de manifiesto, podría revelarse como una «síntesis de contradicciones» en la obra de los arquitectos japoneses Tadao Ando (Osaka, 1941-) y Toyo Ito (Keijo, actual Seúl, 1941-). En el pensamiento oriental una dualidad es entendida como la complementariedad entre dos polos, sólo en apariencia opuestos, que integra dos vertientes de un único concepto. Al igual que la idea de «parejas» budista, concebida según esta doctrina como una unidad entre dos extremos inevitablemente interrelacionados, el objetivo principal sería el de poner de manifiesto cómo la obra de ambos arquitectos trata de resolver los mismos conflictos partiendo de puntos de vista polarizados. ABSTRACT The reference to tradition as a force for unity, encompassing both continuity and changes in expressions regardless of the time or techniques used, has always been a very important component of the artistic manifestations of Japan and it is the subtle link that connects them from the past to the present. It is understood here that tradition does not mean simply preservation, but it is a transmission with a dual aspect, because it allows a constant evolution without altering its basic essence. It is thus that the Japanese culture of the Edo era (1600-1868), with its high degree of innovation, wealth and sophistication, but also as a historical epilogue prior to the Meiji Restoration of 1868 has been the key reference concerning that look to the Japanese tradition for the development of this thesis. From the second half of the 19th century, all these as genuine features of the Edo period remained at a standstill and, since then, Japan has followed the path of modernization (which has also been that of Westernization in many ways). The interlacements of other dualities caused in Japan by the 1945 nuclear attacks led to an inevitable fusion of the physical with the metaphysical world, of that terrible presence with a tremendous sense of absence and, eventually, of East with West. The resulting impact on the culture of the nation had a special repercussion on the architectural field. In this sense, the French thought has played a key role in the radical rethinking of many core assumptions, many concepts and values of Western thought, including those from the Age of Enlightenment, in this contemporary world that is increasingly complex and plural. These and other facts give the traditional Japanese culture a multidimensional quality (opposed to the marked two-dimensionality that usually characterizes Western cultures). As this thesis aims to highlight, this could prove to be a «synthesis of contradictions» in the work of Japanese architects Tadao Ando (Osaka, 1941-) and Toyo Ito (Keijo, current Seoul, 1941-). In the Eastern thought a duality is understood as the complementarity between two poles, only apparently opposite, which integrates two aspects of a single concept. Like the Buddhist notion of «couples» (conceived according to this doctrine as a unity between two inevitably interlinked extremes) the main objective would be to show how the work of both architects tries to resolve the same conflicts starting with polarized viewpoints.