Towards description and optimization of abstract machines in an extension of prolog

Competitive abstract machines for Prolog are usually large, intricate, and incorpórate sophisticated optimizations. This makes them difñcult to code, optimize, and, especially, maintain and extend. This is partly due to the fact that efñciency considerations make it necessary to use low-level languages in their implementation. Writing the abstract machine (and ancillary code) in a higher-level language can help harness this inherent complexity. In this paper we show how the semantics of basic components of an efficient virtual machine for Prolog can be described using (a variant of) Prolog which retains much of its semantics. These descriptions are then compiled to C and assembled to build a complete bytecode emulator. Thanks to the high level of the language used and its closeness to Prolog the abstract machine descriptions can be manipulated using standard Prolog compilation and optimization techniques with relative ease. We also show how, by applying program transformations selectively, we obtain abstract machine implementations whose performance can match and even exceed that of highly-tuned, hand-crafted emulators.

Combined static and dynamic assertion-based debugging of constraint logic programs

We propose a general framework for assertion-based debugging of constraint logic programs. Assertions are linguistic constructions for expressing properties of programs. We define several assertion schemas for writing (partial) specifications for constraint logic programs using quite general properties, including user-defined programs. The framework is aimed at detecting deviations of the program behavior (symptoms) with respect to the given assertions, either at compile-time (i.e., statically) or run-time (i.e., dynamically). We provide techniques for using information from global analysis both to detect at compile-time assertions which do not hold in at least one of the possible executions (i.e., static symptoms) and assertions which hold for all possible executions (i.e., statically proved assertions). We also provide program transformations which introduce tests in the program for checking at run-time those assertions whose status cannot be determined at compile-time. Both the static and the dynamic checking are provably safe in the sense that all errors flagged are definite violations of the pecifications. Finally, we report briefly on the currently implemented instances of the generic framework.

Improvements for B.E.M. implementation in micros

This paper presents a computer program developed to run in a micro I.B.M.-P.C. wich incorporates some features in order to optimize the number of operations needed to compute the solution of plane potential problems governed by Laplace's equation by using the Boundary Integral Equation Method (B.I.E.M.). Also incorporated is a routine to plot isolines inside the domain under study.

New selective earth faults only current directional method for isolated neutral systems

In order to achieve total selectivity at electrical distribution networks it is of great importance to analyze the defect currents at ungrounded power systems. This information will help to grant selectivity at electrical distribution networks ensuring that only the defect line or feeder is removed from service. In the present work a new selective and directional protection method for ungrounded power systems is evaluated. The new method measures only defect currents to detect earth faults and works with a directional criterion to determine the line under faulty conditions. The main contribution of this new technique is that it can detect earth faults in outgoing lines at any type of substation avoiding the possible mismatch of traditional directional earth fault relays. This detection technique is based on the comparison of the direction of a reference current to the direction of all earth fault capacitive currents at all the feeders connected to the same bus bars. This new method has been validated through computer simulations. The results for the different cases studied are remarkable, proving total validity and usefulness of the new method.

Antonio Vallejo Álvarez: arquitectura de la sensatez

La presente tesis doctoral desarrolla la obra del arquitecto Antonio Vallejo Álvarez (n. 1903, t. 1928, f. 2002) cuya larga carrera profesional permite observar una evolución que tiene como fondo la de la arquitectura española desde los planteamientos academicistas de principios del siglo XX, pasando por el primer racionalismo, hasta la influencia del Movimiento Moderno. Antonio Vallejo nació en Almonacid de Zorita, un pueblo de la provincia de Guadalajara pequeño pero singular ya que entonces se construía el Salto de Bolarque, instalación energética crucial en la época que albergaba además elementos de arquitectura culta. La familia le envió a Madrid a estudiar en las Escuelas Pías de San Fernando y luego en la vieja escuela de arquitectura de la calle Escritorios perteneciente a la Real Academia de Bellas Artes de San Fernando. Terminada la carrera realizó unas primeras edificaciones de corte historicista con relativa abundancia de estilemas academicista que van desapareciendo paulatinamente a la vez que evolucionan hacia el “decó”. De esta depuración, que puede observarse muy bien en los números 69,73 y 62 de la calle Viriato de Madrid, resulta un primer racionalismo en el que las balconadas y cuerpos volados se apoyan sobre una trama racionalista ortogonal cada vez más rígida. Simultáneamente trabajó en esta época en la Oficina de Información sobre la Ciudad del Ayuntamiento de Madrid junto a Bernardo Giner de los Ríos y Fernando García Mercadal, entre otros. Más tarde se incorporó a las órdenes del primero a la Oficina de Construcciones escolares donde se mantuvo hasta el estallido de la guerra civil. Al amparo de la Ley Salmón fundó la empresa promotora de viviendas Ar-In donde realizó una arquitectura en la que la trama racionalista cobra una gran fuerza expresiva, matizada y potenciada por grandes balcones aterrazados de corte higienista. Sus exponentes máximos son el conjunto en la calle Narváez esquina a Alcalde Sáinz de Baranda, y la manzana de Guzmán el Bueno, 75 de Madrid. La guerra civil interrumpe el proceso y tras ella nuestro autor ensaya la supervivencia del racionalismo mediante la superposición de la trama en grandes cuerpos de alzado de ladrillo ocupando las plantas de pisos, sobre un basamento de granito en la planta baja y una especie de pórtico enmarcando los huecos del ático a modo de remate. En las ventanas se colocan embocaduras de caliza de diversas formas. Esta arquitectura, muy en la línea del gusto de la época, será sublimada mediante un magnífico ejemplo de manierismo en su gran obra de la Residencia de los Agustinos Recoletos y la Iglesia de Santa Rita de Madrid. Superados los al menos tres lustros de postguerra, Vallejo inicia un proceso que podríamos llamar estructuralista en la medida en que la asunción de la situación de la estructura en el edificio y el módulo por ella creada definen sus características formales. Aquí, tras trabajar el hormigón armado en algunos edificios como los del Residencial Bellas Vistas de Madrid, lo hace con mucho más convencimiento en edificios con estructuras de acero como el colegio del Sagrado Corazón de Guadalajara. Es también importante hablar de la provincia de Almería, a cuya capital llega nuestro arquitecto inmediatamente después de la guerra civil para alejarse de las indeseables consecuencias que hubiera podido tener su fidelidad al gobierno de la República con el que colaboró hasta el último momento. En la ciudad desarrolló una extensa labor como constructor a través de Duarín SA, que se había formado sobre los restos de su promotora. También como arquitecto, con una labor paralela a la madrileña pero con menor presión ambiental, lo que contribuyó a que en cierta medida el proceso de afloramiento de su arquitectura estructuralista, heredera lejana de su primer racionalismo, fuese más rápido, como prueban realizaciones como los edificios de la calle Juan Pérez, 18 y del Paseo de la Estación, 19. ABSTRACT This thesis deals with the works in architecture from Antonio Vallejo Álvarez (b. 1903, g. 1928, d. 2002) whose long career enables us to concentrate on the evolution of the Spanish Architecture from the Academicism taking place at the beginning of XXth century , until the influence of the Modern Movement, taking also into account Racionalism. Antonio Vallejo was born in Almonacid de Zorita, a village in the province of Guadalajara small but unique because then Salto de Bolarque the crucial energy facility at the time also housed elements of classical architecture is built. His family sent him to study to Madrid in Escuelas Pías de San Fernando first, and then he attended lessons in the old Architecture school from Escritorios street belonging this last one to la Real Academia de Bellas Artes de San Fernando. Once he finished his degree on Architecture, he worked on some historicist buildings with a great use of academicist stylemes which will be disappearing little by little, turning into “deco”. From this depurationn, whose traces can be found in 69, 73, 62 at Viriato street in Madrid, our architect ends up with a first racionalism in which balconies and flown bodies are suspended on a racionalist and orthogonal more and more rigid. At that time, he was also working in the Information Office in Madrid Town Hall together with Bernardo Giner de los Ríos y Fernando García Mercadal, among others. Later, he worked for Bernardo Giner de los Ríos in the School Building Offices until the breaking out of the Civil War. Under Salmón law, he founded a developer for buildings named Ar-In, where he developed a type of Architecture in which racionalism develops a magnificent expressive force, empowered by great terraced balconies with higienistain court. His great masterpieces at this time are the buildings from Narvaez opposite to Alcalde Sáinz de Baranda and the block in 75 Guzmán El Bueno, in Madrid. Civil war interrupts somehow his process and once the war is over, our architect works on the survival of racionalism by overlapping on large bodies of brick elevation occupying different floor plants, on a base of granite on the ground floor and a sort of portico framing the gaps in the attic by way of auction. On the Windows he se colocan embocaduras de caliza de diversas formas. This type of architecture, very much enjoyed at that time, will be sublimed as a great example of manierism in his great work such as the case of Agustinos Recoletos Residence and Santa Rita Church in Madrid. About fifteen years after the war, in the post-war era, Vallejo starts a process which we could call structuralist, as lons as the asumption from the situation of the structure in the building and the created module define his main features. Here, once our architect works with reinforce concrete in some of his buildings such as Residencial Bellas Vistas de Madrid, he improves his technique with steel strucutres such as the on in the school Sagrado Corazón in Guadalajara. It is also remarkable to speak about the province of Almería, where our architect arrives inmediately after the civil war, to get rid of the consequences of his loyalty to the Republic movement to which he collaborated until his death. He developed a great career as a builder there through Duarín SA, which was launched though his former enterprise. Similary as the way he worked in Madrid,he, also as an arquitect, did his work in Almería with less environmental pressure though, fact which contributed to the flourishing of the structuralist architecture, as an heir from his first racionalism, as it can be shown from buildings in streets such as 18 Juan Pérez, and 19 Paseo de la Estación.

Church for the School "Santa María del Pilar"

Church for the School "Santa María del Pilar"

Estudio acústico de la iglesia Santa María del Castillo

En el presente proyecto se ha realizado un estudio sobre las condiciones acústicas de la iglesia Santa María del Castillo, ubicada en la localidad de Campo Real, al sureste de Madrid. Se trata de una iglesia construida entre los siglos XIV y XVII en diferentes fases, rica en características arquitectónicas correspondientes a varios estilos, tales como el gótico, el renacentista y el barroco. Reconocida en 1981 por sus valores arquitectónicos como Monumento Histórico–Artístico. A partir de unas completas mediciones del interior de la iglesia, se ha realizado un modelo tridimensional del mismo como base para la simulación mediante el software de simulación acústica EASE versión 4.3. Para conseguir que este modelo se asemeje a la realidad, se han realizado medidas del ruido de fondo en el interior de la iglesia en diferentes condiciones ambientales. Además se han creado mediante el software los coeficientes de absorción correspondientes a cada material presente en el interior de la iglesia y se han tenido en cuenta las características de los altavoces utilizados en la megafonía del recinto. El modelo en 3D obtenido caracteriza completamente las condiciones acústicas de la iglesia Santa María del Castillo, y nos sirve para valorar cómo es el sonido en el interior de la misma. Para ello obtenemos valores de diferentes parámetros acústico realizando simulaciones. Parámetros como el tiempo de reverberación y el nivel de presión sonora nos dan una idea general de cómo es el campo sonoro en el interior del recinto. Otros parámetros como el ALCons y el STI nos dan información sobre la inteligibilidad de la palabra en el recinto en el que se está realizando el estudio. Finalmente basándonos en los resultados obtenidos de la simulación se sacan conclusiones sobre las características acústicas de este recinto. La iglesia estudiada no es un recinto apropiado para la palabra y/o la música, además el predominio del campo reverberante sobre el campo directo es claro, esto es debido a las dimensiones del recinto y la poca absorción de los diferentes materiales empleados en su construcción, que son bastante reflexivos al sonido. ABSTRACT The present project undertakes the acoustic study of the church Santa María del Castillo. The church is the main temple of Campo Real, in the south-east of Madrid. It was built over different phases between the 14th and the 17th centuries and therefore, the presence of several architectural styles makes the church of Campo Real an interesting aim for this study. The building was recognised as Historic-Artistic Monument for its architectural value in 1981. Complete measurements from inside of the church were taken to build a computational 3D model which has been used to perform acoustic simulations of the church with the software EASE (Version 4.3). Noise measurements have been taken inside the church at different ambient conditions and they have been used to improve the reliability of the computational model. Furthermore, the model has been provided with software generated absorption coefficients and the characteristics of the actual loudspeakers have been taken into account. The 3D model created characterises all the acoustic conditions of the church Santa María del Castillo and allows the study of the sound properties inside the temple. Parameters such as reverberation time and sound pressure level were calculated performing simulations so the sound field inside the building can be described. Other parameters such as the Articulation Loss of Consonants (ALCons) and the Speech Transmission Index (STI) were studied to derive information about intelligibility inside the church. Finally, based on the results obtained by the simulation, I expose my conclusions about the acoustic characteristics of the building. The main conclusion derived from the present study is that the temple is not an appropriate place for voice or music listening due to the dimensions and the characteristics of the materials used in the construction since they are highly reflective to sound. The reverberant field predominates over the whole audience area in comparison with the direct field.