Contribution to Theme A of the Benchmark Workshop: Effect of Concrete Swelling on the Equilibrium and Displacements of an Arch Dam

The Kariba dam is undergoing concrete expansion as a result of an alkali-aggregate reaction. The model adopted to simulate the process is explained in the paper; it is based on the model first proposed by Ulm et al, as later modified by Saouma and Perotti. It has been implemented in the commercial finite element code Abaqus and applied to solve the benchmark problem. The parameters of the model were calibrated using the data recorded up to 1995. The calibrated model was then used for predicting the evolution of the dam up to the present date. Apart from this prediction the paper offers a number of conclusions, such as the fact that the stress level appears to have a major influence on the expansion process; and it presents some suggestions to improve the formulation of the benchmark, such as providing temperature data and widening the locations and conditions of the data employed in the calibration

Effect of Concrete Swelling on the Equilibrium and Displacements of an Arch Dam

The Kariba dam is undergoing concrete expansion as a result of an alkali-aggregate reaction. The model adopted to simulate the process is explained in the paper; it is based on the model first proposed by Ulm et al, as later modified by Saouma and Perotti. It has been implemented in the commercial finite element code Abaqus and applied to solve the benchmark problem. The parameters of the model were calibrated using the data recorded up to 1995. The calibrated model was then used for predicting the evolution of the dam up to the present date. Apart from this prediction the paper offers a number of conclusions, such as the fact that the stress level appears to have a major influence on the expansion process; and it presents some suggestions to improve the formulation of the benchmark, such as providing temperature data and widening the locations and conditions of the data employed in the calibration

Simulation of Temperatures and Stresses during Construction of a RCC Dam

Se describen las variaciones de temperaturas y de tensiones durante la construcción de presas de hormigón compactado. The curing of concrete is an exothermic process. The heat of hydration generated induces temperature increases in the concrete, which will disappear in the long term by heat conduction in the concrete mass and thermal exchanges with the environment. The problem is of particularly interest for large concrete masses, as is the case of dams, because the time involved in the heat diffusion process grows with the square of the dimensions and a hotter dam interior implies the possibility of cracking the exposed surfaces of the dam. The Cuira dam, currently being built in Venezuela using roller compacted concrete, is a 134 m high, arch-gravity dam. In support of the design, different strategies were analysed, including various combinations of cooling of the water and the aggregate in order to achieve acceptable results. The calculations were conducted with Abaqus, taking into account all the necessary mechanical and thermal characteristics, as well as the relevant non-linearities. The analyses led to the conclusion that no cooling was required, even taking into account the stress state imposed by an early and rapid filling of the reservoir.

Ensayos geomecánicos de presas en modelo reducido

Hace ya varias décadas, comenzó a aplicarse al análisis de presas el estudio experimental en modelos reducidos, campo en el que se ha trabajado durante muchos años en el Laboratorio Central. Durante este tiempo, la técnica de tales ensayos ha ido perfeccionándose, consiguiendo reproducir con mayor fidelidad la situación real, en particular, aspectos tan importantes como las posibles discontinuidades existentes en el valle así como la interacción presa-terreno de cimentación, apareciendo así, de una forma natural los ensayos geomecánicos. Como resultado de esa evolución se han llevado a cabo algunos ensayos geomecánicos de presas en dicho Laboratorio, los cuales constituyen el objeto de esta publicación.

Analysis of Combined Bending and Punching Tests of Reinforced Concrete Slabs within IMPACT III Project

The paper reports on a collaborative effort between the Swiss Federal Nuclear Safety Inspectorate (ENSI) and their consultants Principia and Stangenberg. As part of the IMPACT III project, reduced scale impact tests of reinforced concrete structures were carried out. The simulation of test X3 is presented here and the numerical results are compared with those obtained in the test, carried out in August 2013. The general object is to improve the safety of nuclear facilities and, more specifically, to demonstrate the capabilities of current simulation techniques to reproduce the behaviour of a reinforced concrete structure impacted by a soft missile. The missile is a steel tube with a mass of 50 kg and travelling at 140 m/s. The target is a 250 mm thick, 2,1 m by 2,1 m reinforced concrete wall, held in a stiff supporting frame. The reinforcement includes both longitudinal and transverse rebars. Calculations were carried out before and after the test with Abaqus (Principia) and SOFiSTiK (Stangenberg). In the Abaqus simulation the concrete is modelled using solid elements and a damaged plasticity formulation, the rebars with embedded beam elements, and the missile with shell elements. In SOFiSTiK the target is modelled with non-linear, layered shell elements for the reinforcement on both sides; non-linear shear deformations of shell/plate elements are approximately included. The results generally indicate a good agreement between calculations and measurements.

Tratamiento N-categorial de la lógica de la programación

En el contexto de las técnicas de validación de programas, de las estructuras de axiomatización de la programación planteadas por Hoare y del desarrollo de la Lógica de la Programación que Dijkstra realiza con el operador wp, hemos dotado a los elementos esenciales que intervienen en dicho desarrollo de una estructura que permite su estudio en el ámbito de las categorias. En este trabajo se demuestra que el conjunto de precondiciones de un fragmento de programa anotado tiene estructura de N-categoría y que sucede lo mismo con el conjunto de postcondiciones. Más aún, se ha puesto de manifiesto (y probado) que el operador wp actúa como un funtor entre estos pares de N-categorías. Además, los conjuntos de guardas surgen de un modo natural en la lógica de la programación, han sido tratados desde el punto de vista de la semántica denotacional (Wlrth para el PASCAL y Scott y otros, después, en un enfoque más general) y presentados por Manes y Arbib en su semántica parcialmente aditiva. Pues bien, en este trabajo se demuestra que los conjuntos de guardas tienen también estructura de N-categoría y gue cualguier N-categoría dotada de una suma definida adecuadamente tiene estructura de conjunto de guardas, de tal modo, además, gue el preorden inducido por la suma en el conjunto de guardas coincide con la flecha de la N-categoría. Esta suma es, en concreto, la disyunción exclusiva, lo que adicionalmente supone una sorprendentemente sencilla definición alternativa a la suma de las categorías parcialmente aditivas definida por Manes y Arbib. Con todo esto, se aportan herramientas conceptuales para entender mejor y resolver más eficientemente los problemas que tiene planteados la lógica de la programación, pues se dispone de un punto de vista distinto y nuevo y de toda una familia de instrumentos adicionales.---ABSTRACT---In the context of program validation techniques, Hoare's systems for programming and Dijkstra's development of the logic of programming, based on the operator wp, we have endowed the essential features of this development with a structure that permits to study them in the frame of category theory. In this thesis we show that the set of preconditions of an annotated program segment is an N-category, and the same happens for the set of postconditions. Even more, it is shown that the operator wp acts as a functor between those pairs of Ncategories. Furthermore, guard sets come out in a natural way in the logic of programming, they have been considered from a denotational semantics point of view (Wirth for Pascal and afterwards Scott and al. in a more general setting) and they have been embodied by Manes and Arbib in their partially additive semantics. Then, it is shown in this thesis that the above mentioned guard sets also have the structure of an N-category and that any N-category with an appropiately defined sum has the structure of a guard set in such a way that, besides, the preorder defined in the guard set by the sum operation coincides with the arrows of the N-category. This sum is just the exclusive or of Boolean Logic and this fact adds a surprisingly simple alternative definition for the sum operation in Manes and Arbib partially additive categories. The present work, in summary, makes a contribution of conceptual tools for a better understanding and a more efficient solution of the problems posed to the logic of programming and it does so by providing a new different point of view and a whole family of additional techniques.

Enseñanzas derivadas del Benchmark SMART 2013

El CEA francés, junto con EDF y la OIEA, recientemente organizaron un benchmark internacional y posterior workshop para evaluar las capacidades de simulación del comportamiento mecánico de estructuras nucleares de hormigón armado sometidas a acciones sísmicas. Principia, que fue el único participante español en el workshop, contribuyó a tres de las cuatro fases del ejercicio, que esencialmente consistía en simular los efectos de terremotos en un modelo a escala de una estructura nuclear típica, y en comparar los resultados con ensayos posteriores en mesa vibrante y con las predicciones de otros participantes. El artículo presenta algunas conclusiones obtenidas en los cálculos pre-ensayo, enriquecidas con observaciones producidas por las simulaciones adicionales llevadas a cabo una vez que se hicieron públicos los resultados de los ensayos.

Experience and lessons learnt from the SMART 2013 Benchmark

The French CEA, together with EDF and the IAEA, recently organised an international benchmark to evaluate the ability to model the mechanical behaviour of a typical nuclear reinforced concrete structure subjected to seismic demands. The participants were provided with descriptions of the structure and the testing campaign; they had to propose the numerical model and the material laws for the concrete (stage #1). A mesh of beam and shell elements was generated; for modelling the concrete a damaged plasticity model was used, but a smeared crack model was also investigated. Some of the initial experimental results, with the mock-up remaining in the elastic range, were provided to the participants for calibrating their models (stage #2). Predictions had to be produced in terms of eigen-frequencies and motion time histories. The calculated frequencies reproduced reasonably the experimental ones; the time histories, calculated by modal response analysis, also reproduced adequately the observed amplifications. The participants were then expected to predict the structural response under strong ground motions (stage #3), which increased progressively up to a history recorded during the 1994 Northridge earthquake, followed by an aftershock. These results were produced using an explicit solver and a damaged plasticity model for the concrete, although an implicit solver with a smeared crack model was also investigated. The paper presents the conclusions of the pre-test exercise, as well as some observations from additional simulations conducted after the experimental results were made available.

Influencia de organizaciones en el desarrollo rural: caso de Salinas, San Luis de Potosí

La organización es considerada como elemento estratégico en el desarrollo de una localidad rural, ya que a través de ésta se obtienen mayores beneficios, permite a las personas desarrollar sus capacidades y son impulsoras de proyectos dentro de las comunidades. Sin embargo, es común que los territorios rurales cuenten con un tejido asociativo desarticulado que limita esas posibilidades. Por lo anterior se planteo conocer las causas de la escasa participación de la sociedad en grupos organizados y la problemática que enfrentan las organizaciones asentadas en un territorio, a través de un estudio de caso en el municipio de Salinas, San Luis Potosí, México, en 2009. El objetivo de este trabajo es identificar las causas que están originando que la organización no tenga impacto en el municipio, lo que permitirá formular una estrategia para lograr que ésta sea un motor de desarrollo en el territorio. Los resultados indican que la mayoría de las personas no participan en ningún tipo de organización aún cuando les gusta trabajar en grupo. En general, las organizaciones se enfrentan a dificultades para tomar acuerdos y cumplir los compromisos adquiridos. Las organizaciones formales en el municipio incluyen organizaciones económicas y de representación. Ambas presentan problemas internos relacionados con la falta de recursos económicos, la escasa capacitación y la falta compromiso del grupo; elementos que no han permitido su consolidación y su participación en el desarrollo del territorio.

El monasterio de Santa María de Moreruela. Análisis de la patología de los muros y bóvedas de la iglesia.

El objetivo de esta tesis ha sido el análisis de los procesos patológicos de las bóvedas y los muros de la iglesia del monasterio de Santa María de Moreruela (Zamora). Estos procesos comenzaron en el año 1823 pero se acentuaron en la década de 1880 dando lugar a que el Monasterio empezará a desarrollar un estado de ruina progresiva en el corto espacio de tiempo de unos cincuenta años. La tesis, a lo largo de los diez capítulos en que se concreta, trata, de lo general a lo particular, de establecer los criterios de la Arquitectura del Císter y sus elementos constructivos, para conocer en profundidad las bases de diseño del monasterio y después recabar toda la información en la bibliografía y en otros documentos, que existen sobre el Monasterio de Santa María de Moreruela y en particular de su iglesia. Estudiados y analizados, en profundidad, el monasterio y la Iglesia, a través, de la bibliografía y la documentación encontrada, se procede al desarrollo planimétrico de los mismos. Este desarrollo se acomete al “estilo tradicional” y con la técnica del laser 3D. De esta manera se reconstruye en papel el monasterio antes de la ruina, así como algunos elementos constructivos, desaparecidos en la actualidad, posibilitando su reconstrucción en un futuro. Tras los trabajos de representación gráfica se redactan fichas técnicas sobre la patología encontrada en la iglesia y posteriormente se realizan ensayos sobre las piedras: ensayos geomecánicos, de alterabilidad y de resistencia mecánica mediante ultrasonidos; ensayos sobre el terreno mediante sísmica de refracción, así como el ensayo Lambe y el ensayo con el edómetro para clasificar el nivel de expansividad de las arcillas. Todo esto permite concluir, que la causa fundamental de la ruina acelerada que sufrieron la bóveda y los muros la iglesia fue debida, fundamentalmente, a la pérdida de masa de las dovelas, así como al mal funcionamiento de los drenajes que tenían como objetivo aislar de las variaciones de humedad, el terreno de arcillas expansivas, sobre el que apoyan los elementos de cimentación, así como recomendar algunas medidas para preservar los restos.

Capilla para el Colegio de Santa María del Pilar

Capilla para el Colegio de Santa María del Pilar

Capilla del colegio de Santa María del Pilar

Capilla del colegio de Santa María del Pilar

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

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