Análisis estático de sistemas de membranas para la determinación de reglas activas

Esta tesis doctoral se enmarca dentro de la computación con membranas. Se trata de un tipo de computación bio-inspirado, concretamente basado en las células de los organismos vivos, en las que se producen múltiples reacciones de forma simultánea. A partir de la estructura y funcionamiento de las células se han definido diferentes modelos formales, denominados P sistemas. Estos modelos no tratan de modelar el comportamiento biológico de una célula, sino que abstraen sus principios básicos con objeto de encontrar nuevos paradigmas computacionales. Los P sistemas son modelos de computación no deterministas y masivamente paralelos. De ahí el interés que en los últimos años estos modelos han suscitado para la resolución de problemas complejos. En muchos casos, consiguen resolver de forma teórica problemas NP-completos en tiempo polinómico o lineal. Por otra parte, cabe destacar también la aplicación que la computación con membranas ha tenido en la investigación de otros muchos campos, sobre todo relacionados con la biología. Actualmente, una gran cantidad de estos modelos de computación han sido estudiados desde el punto de vista teórico. Sin embargo, el modo en que pueden ser implementados es un reto de investigación todavía abierto. Existen varias líneas en este sentido, basadas en arquitecturas distribuidas o en hardware dedicado, que pretenden acercarse en lo posible a su carácter no determinista y masivamente paralelo, dentro de un contexto de viabilidad y eficiencia. En esta tesis doctoral se propone la realización de un análisis estático del P sistema, como vía para optimizar la ejecución del mismo en estas plataformas. Se pretende que la información recogida en tiempo de análisis sirva para configurar adecuadamente la plataforma donde se vaya a ejecutar posteriormente el P sistema, obteniendo como consecuencia una mejora en el rendimiento. Concretamente, en esta tesis se han tomado como referencia los P sistemas de transiciones para llevar a cabo el estudio de dicho análisis estático. De manera un poco más específica, el análisis estático propuesto en esta tesis persigue que cada membrana sea capaz de determinar sus reglas activas de forma eficiente en cada paso de evolución, es decir, aquellas reglas que reúnen las condiciones adecuadas para poder ser aplicadas. En esta línea, se afronta el problema de los estados de utilidad de una membrana dada, que en tiempo de ejecución permitirán a la misma conocer en todo momento las membranas con las que puede comunicarse, cuestión que determina las reglas que pueden aplicarse en cada momento. Además, el análisis estático propuesto en esta tesis se basa en otra serie de características del P sistema como la estructura de membranas, antecedentes de las reglas, consecuentes de las reglas o prioridades. Una vez obtenida toda esta información en tiempo de análisis, se estructura en forma de árbol de decisión, con objeto de que en tiempo de ejecución la membrana obtenga las reglas activas de la forma más eficiente posible. Por otra parte, en esta tesis se lleva a cabo un recorrido por un número importante de arquitecturas hardware y software que diferentes autores han propuesto para implementar P sistemas. Fundamentalmente, arquitecturas distribuidas, hardware dedicado basado en tarjetas FPGA y plataformas basadas en microcontroladores PIC. El objetivo es proponer soluciones que permitan implantar en dichas arquitecturas los resultados obtenidos del análisis estático (estados de utilidad y árboles de decisión para reglas activas). En líneas generales, se obtienen conclusiones positivas, en el sentido de que dichas optimizaciones se integran adecuadamente en las arquitecturas sin penalizaciones significativas. Summary Membrane computing is the focus of this doctoral thesis. It can be considered a bio-inspired computing type. Specifically, it is based on living cells, in which many reactions take place simultaneously. From cell structure and operation, many different formal models have been defined, named P systems. These models do not try to model the biological behavior of the cell, but they abstract the basic principles of the cell in order to find out new computational paradigms. P systems are non-deterministic and massively parallel computational models. This is why, they have aroused interest when dealing with complex problems nowadays. In many cases, they manage to solve in theory NP problems in polynomial or lineal time. On the other hand, it is important to note that membrane computing has been successfully applied in many researching areas, specially related to biology. Nowadays, lots of these computing models have been sufficiently characterized from a theoretical point of view. However, the way in which they can be implemented is a research challenge, that it is still open nowadays. There are some lines in this way, based on distributed architectures or dedicated hardware. All of them are trying to approach to its non-deterministic and parallel character as much as possible, taking into account viability and efficiency. In this doctoral thesis it is proposed carrying out a static analysis of the P system in order to optimize its performance in a computing platform. The general idea is that after data are collected in analysis time, they are used for getting a suitable configuration of the computing platform in which P system is going to be performed. As a consequence, the system throughput will improve. Specifically, this thesis has made use of Transition P systems for carrying out the study in static analysis. In particular, the static analysis proposed in this doctoral thesis tries to achieve that every membrane can efficiently determine its active rules in every evolution step. These rules are the ones that can be applied depending on the system configuration at each computational step. In this line, we are going to tackle the problem of the usefulness states for a membrane. This state will allow this membrane to know the set of membranes with which communication is possible at any time. This is a very important issue in determining the set of rules that can be applied. Moreover, static analysis in this thesis is carried out taking into account other properties such as membrane structure, rule antecedents, rule consequents and priorities among rules. After collecting all data in analysis time, they are arranged in a decision tree structure, enabling membranes to obtain the set of active rules as efficiently as possible in run-time system. On the other hand, in this doctoral thesis is going to carry out an overview of hardware and software architectures, proposed by different authors in order to implement P systems, such as distributed architectures, dedicated hardware based on PFGA, and computing platforms based on PIC microcontrollers. The aim of this overview is to propose solutions for implementing the results of the static analysis, that is, usefulness states and decision trees for active rules. In general, conclusions are satisfactory, because these optimizations can be properly integrated in most of the architectures without significant penalties.

Algoritmos de distribución de cargas de proceso en computación con membranas

Con el surgir de los problemas irresolubles de forma eficiente en tiempo polinomial en base al dato de entrada, surge la Computación Natural como alternativa a la computación clásica. En esta disciplina se trata de o bien utilizar la naturaleza como base de cómputo o bien, simular su comportamiento para obtener mejores soluciones a los problemas que los encontrados por la computación clásica. Dentro de la computación natural, y como una representación a nivel celular, surge la Computación con Membranas. La primera abstracción de las membranas que se encuentran en las células, da como resultado los P sistemas de transición. Estos sistemas, que podrían ser implementados en medios biológicos o electrónicos, son la base de estudio de esta Tesis. En primer lugar, se estudian las implementaciones que se han realizado, con el fin de centrarse en las implementaciones distribuidas, que son las que pueden aprovechar las características intrínsecas de paralelismo y no determinismo. Tras un correcto estudio del estado actual de las distintas etapas que engloban a la evolución del sistema, se concluye con que las distribuciones que buscan un equilibrio entre las dos etapas (aplicación y comunicación), son las que mejores resultados presentan. Para definir estas distribuciones, es necesario definir completamente el sistema, y cada una de las partes que influyen en su transición. Además de los trabajos de otros investigadores, y junto a ellos, se realizan variaciones a los proxies y arquitecturas de distribución, para tener completamente definidos el comportamiento dinámico de los P sistemas. A partir del conocimiento estático –configuración inicial– del P sistema, se pueden realizar distribuciones de membranas en los procesadores de un clúster para obtener buenos tiempos de evolución, con el fin de que la computación del P sistema sea realizada en el menor tiempo posible. Para realizar estas distribuciones, hay que tener presente las arquitecturas –o forma de conexión– de los procesadores del clúster. La existencia de 4 arquitecturas, hace que el proceso de distribución sea dependiente de la arquitectura a utilizar, y por tanto, aunque con significativas semejanzas, los algoritmos de distribución deben ser realizados también 4 veces. Aunque los propulsores de las arquitecturas han estudiado el tiempo óptimo de cada arquitectura, la inexistencia de distribuciones para estas arquitecturas ha llevado a que en esta Tesis se probaran las 4, hasta que sea posible determinar que en la práctica, ocurre lo mismo que en los estudios teóricos. Para realizar la distribución, no existe ningún algoritmo determinista que consiga una distribución que satisfaga las necesidades de la arquitectura para cualquier P sistema. Por ello, debido a la complejidad de dicho problema, se propone el uso de metaheurísticas de Computación Natural. En primer lugar, se propone utilizar Algoritmos Genéticos, ya que es posible realizar alguna distribución, y basada en la premisa de que con la evolución, los individuos mejoran, con la evolución de dichos algoritmos, las distribuciones también mejorarán obteniéndose tiempos cercanos al óptimo teórico. Para las arquitecturas que preservan la topología arbórea del P sistema, han sido necesarias realizar nuevas representaciones, y nuevos algoritmos de cruzamiento y mutación. A partir de un estudio más detallado de las membranas y las comunicaciones entre procesadores, se ha comprobado que los tiempos totales que se han utilizado para la distribución pueden ser mejorados e individualizados para cada membrana. Así, se han probado los mismos algoritmos, obteniendo otras distribuciones que mejoran los tiempos. De igual forma, se han planteado el uso de Optimización por Enjambres de Partículas y Evolución Gramatical con reescritura de gramáticas (variante de Evolución Gramatical que se presenta en esta Tesis), para resolver el mismo cometido, obteniendo otro tipo de distribuciones, y pudiendo realizar una comparativa de las arquitecturas. Por último, el uso de estimadores para el tiempo de aplicación y comunicación, y las variaciones en la topología de árbol de membranas que pueden producirse de forma no determinista con la evolución del P sistema, hace que se deba de monitorizar el mismo, y en caso necesario, realizar redistribuciones de membranas en procesadores, para seguir obteniendo tiempos de evolución razonables. Se explica, cómo, cuándo y dónde se deben realizar estas modificaciones y redistribuciones; y cómo es posible realizar este recálculo. Abstract Natural Computing is becoming a useful alternative to classical computational models since it its able to solve, in an efficient way, hard problems in polynomial time. This discipline is based on biological behaviour of living organisms, using nature as a basis of computation or simulating nature behaviour to obtain better solutions to problems solved by the classical computational models. Membrane Computing is a sub discipline of Natural Computing in which only the cellular representation and behaviour of nature is taken into account. Transition P Systems are the first abstract representation of membranes belonging to cells. These systems, which can be implemented in biological organisms or in electronic devices, are the main topic studied in this thesis. Implementations developed in this field so far have been studied, just to focus on distributed implementations. Such distributions are really important since they can exploit the intrinsic parallelism and non-determinism behaviour of living cells, only membranes in this case study. After a detailed survey of the current state of the art of membranes evolution and proposed algorithms, this work concludes that best results are obtained using an equal assignment of communication and rules application inside the Transition P System architecture. In order to define such optimal distribution, it is necessary to fully define the system, and each one of the elements that influence in its transition. Some changes have been made in the work of other authors: load distribution architectures, proxies definition, etc., in order to completely define the dynamic behaviour of the Transition P System. Starting from the static representation –initial configuration– of the Transition P System, distributions of membranes in several physical processors of a cluster is algorithmically done in order to get a better performance of evolution so that the computational complexity of the Transition P System is done in less time as possible. To build these distributions, the cluster architecture –or connection links– must be considered. The existence of 4 architectures, makes that the process of distribution depends on the chosen architecture, and therefore, although with significant similarities, the distribution algorithms must be implemented 4 times. Authors who proposed such architectures have studied the optimal time of each one. The non existence of membrane distributions for these architectures has led us to implement a dynamic distribution for the 4. Simulations performed in this work fix with the theoretical studies. There is not any deterministic algorithm that gets a distribution that meets the needs of the architecture for any Transition P System. Therefore, due to the complexity of the problem, the use of meta-heuristics of Natural Computing is proposed. First, Genetic Algorithm heuristic is proposed since it is possible to make a distribution based on the premise that along with evolution the individuals improve, and with the improvement of these individuals, also distributions enhance, obtaining complexity times close to theoretical optimum time. For architectures that preserve the tree topology of the Transition P System, it has been necessary to make new representations of individuals and new algorithms of crossover and mutation operations. From a more detailed study of the membranes and the communications among processors, it has been proof that the total time used for the distribution can be improved and individualized for each membrane. Thus, the same algorithms have been tested, obtaining other distributions that improve the complexity time. In the same way, using Particle Swarm Optimization and Grammatical Evolution by rewriting grammars (Grammatical Evolution variant presented in this thesis), to solve the same distribution task. New types of distributions have been obtained, and a comparison of such genetic and particle architectures has been done. Finally, the use of estimators for the time of rules application and communication, and variations in tree topology of membranes that can occur in a non-deterministic way with evolution of the Transition P System, has been done to monitor the system, and if necessary, perform a membrane redistribution on processors to obtain reasonable evolution time. How, when and where to make these changes and redistributions, and how it can perform this recalculation, is explained.

Proyecto para la estabilización de talud de estación de servicio en carretera nacional 525

El proyecto tiene por objeto describir los trabajos de estabilización del talud que se desean realizar en la estación de servicio sita en la Carretera Nacional 525, p.k. 534,600 en San Cibrao das Viñas, provincia de Orense. Y en base al proyecto solicitar la licencia de obras y todos los permisos necesarios para realizarlos, tales como ocupación de vía pública, retirada de escombros y residuos resultantes y existentes, etc. El motivo por el cual se desea realizar las obras de estabilización del talud es como consecuencia de los desprendimientos que se producen desde el macizo rocoso que está ubicado encima de la estación de servicio, debido al estado de meteorización en el que se encuentra la parte superficial de la roca que forma dicho macizo. Se pretende evitar posibles accidentes ya que se trata de una estación de servicio y se almacena combustible para suministro de vehículos, con las posibles consecuencias que se pueden derivar de los desprendimientos que puedan producirse sobre las descargas de combustible y el edificio auxiliar de la tienda y la integridad física de los trabajadores y clientes. Abstract The project describe the slope stabilization works to be done in the service station located on National Road 525, pk 534.600 in San Cibrao das Viñas, province of Orense . And based on the project, apply for the works permits and all permits necessary to perform them, such as occupation of public roads, removal of debris and waste arising and existing. The reason to make the slope stabilization work is as a result of landslides that occur from the rock mass which is located above the station, due to the state of weathering of the surface of the rock mass. This is to avoid accidents, because it is a service station with fuel stored for the supply of vehicles, with the consequences that may result from landslides that may occur on the discharge of fuel and the auxiliary building of the store, and the physical integrity of workers and customers.

Fukushima: el plan de estabilización y control de la central

Se describen de forma panorámica los pasos e hitos principales que comprende el plan de estabilización y recuperación de la central de Fukushima-Daiichi, con los logros alcanzados hasta conseguir una refrigeración estable y llegar a la parada fría de los reactores, mantener la refrigeración de las piscinas, detener prácticamente por completo de las descargas radiactivas, gestionar y reutilizar cantidades enormes de agua contaminada, limpiar el emplazamiento y aislar la unidad 1. También se presentan sucintamente las etapas previstas posteriormente hasta llegar al desmantelamiento de la central, pasando por la extracción del combustible de las piscinas, y en una fase posterior mucho más delicada, del material fundido de los núcleos de los reactores y el resto de materiales y residuos altamente radiactivos.

Chaperonas moleculares y tolerancia a estrés abiótico en especies arbóreas

Las temperaturas extremas, la sequía y otros estreses abióticos limitan la producción forestal de forma significativa, causando grandes pérdidas económicas en el sector. Los árboles, al ser organismos sésiles, han desarrollado una serie de estrategias para percibir dichos factores, activando respuestas defensivas apropiadas. Entre ellas ocupa un lugar preeminente la síntesis de proteínas con actividad chaperona molecular. Las chaperonas moleculares interaccionan con proteínas desnaturalizadas total o parcialmente, promoviendo su correcto plegamiento y ensamblaje. Las chaperonas moleculares que se sintetizan de forma predominante en plantas, pero no en otros eucariotas, pertenecen a la familia sHSP (small heat-shock proteins). Se trata de una familia inusualmente compleja y heterogénea, cuyos miembros son de pequeño tamaño (16-42 kD) y poseen un dominio “alfa-cristalina” muy conservado. Estas proteínas están implicadas en protección frente a estrés abiótico mediante la estabilización de proteínas y membranas, si bien su mecanismo de acción se conoce de forma incompleta. A pesar del evidente potencial aplicado de las proteínas sHSP, son muy escasos los estudios realizados hasta el momento con un enfoque netamente biotecnológico. Por otra parte, casi todos ellos se han llevado a cabo en especies herbáceas de interés agronómico o en especies modelo, como Arabidopsis thaliana. De ahí que las sHSP de arbóreas hayan sido mucho menos caracterizadas estructural y funcionalmente, y ello a pesar del interés económico y ecológico de los árboles y de su prolongada exposición vital a múltiples factores estresantes. La presente Tesis Doctoral se centra en el estudio de sHSP de varias especies arbóreas de interés económico. El escrutinio exhaustivo de genotecas de cDNA de órganos vegetativos nos ha permitido identificar y caracterizar los componentes mayoritarios de tallo en dos especies productoras de madera noble: nogal y cerezo. También hemos caracterizado la familia completa en chopo, a partir de su secuencia genómica completa. Mediante expresión heteróloga en bacterias, hemos analizado el efecto protector de estas proteínas in vivo frente a distintos tipos de estrés abiótico, relevantes para el sector productivo. Los resultados demuestran que las proteínas sHSP-CI: (i) aumentan la viabilidad celular de E.coli frente a casi todos estos factores, aplicados de forma individual o combinada; (ii) ejercen un rol estabilizador de las membranas celulares frente a condiciones adversas; (iii) sirven para mejorar la producción de otras proteínas recombinantes de interés comercial. El efecto protector de las proteínas sHSP-CI también ha sido analizado in planta, mediante la expresión ectópica de CsHSP17.5-CI en chopos. En condiciones normales de crecimiento no se han observado diferencias fenotípicas entre las líneas transgénicas y los controles, lo que demuestra que se pueden sobre-expresar estas proteínas sin efectos pleiotrópicos deletéreos. En condiciones de estrés térmico, por el contrario, los chopos transgénicos mostraron menos daños y un mejor crecimiento neto. En línea con lo anterior, las actividades biológicas de varias enzimas resultaron más protegidas frente a la inactivación por calor, corroborando la actividad chaperona propuesta para la familia sHSP y su conexión con la tolerancia al estrés abiótico. En lo que respecta a la multiplicación y propagación de chopo in vitro, una forma de cultivo que comporta estrés para las plantas, todas las líneas transgénicas se comportaron mejor que los controles en términos de producción de biomasa (callos) y regeneración de brotes, incluso en ausencia de estrés térmico. También se comportaron mejor durante su cultivo ex vitro. Estos resultados tienen gran potencial aplicado, dada la recalcitrancia de muchas especies vegetales de interés económico a la micropropagación y a la manipulación in vitro en general. Los resultados derivados de esta Tesis, aparte de aportar datos nuevos sobre el efecto protector de las proteínas sHSP citosólicas mayoritarias (clase CI), demuestran por vez primera que la termotolerancia de los árboles puede ser manipulada racionalmente, incrementando los niveles de sHSP mediante técnicas de ingeniería genética. Su interés aplicado es evidente, especialmente en un escenario de calentamiento global. ABSTRACT Abiotic stress produces considerable economic losses in the forest sector, with extreme temperature and drought being amongst the most relevant factors. As sessile organisms, plants have acquired molecular strategies to detect and recognize stressful factors and activate appropriate responses. A wealth of evidence has correlated such responses with the massive induction of proteins belonging to the molecular chaperone family. Molecular chaperones are proteins which interact with incorrectly folded proteins to help them refold to their native state. In contrast to other eukaryotes, the most prominent stress-induced molecular chaperones of plants belong to the sHSP (small Heat Shock Protein) family. sHSPs are a widespread and diverse class of molecular chaperones that range in size from 16 to 42k Da, and whose members have a highly conserved “alpha-crystallin” domain. sHSP proteins play an important role in abiotic stress tolerance, membrane stabilization and developmental processes. Yet, their mechanism of action remains largely unknown. Despite the applied potential of these proteins, only a few studies have addressed so far the biotechnological implications of this protein family. Most studies have focused on herbaceous species of agronomic interest or on model species such as Arabidopsis thaliana. Hence, sHSP are poorly characterized in long-lived woody species, despite their economic and ecological relevance. This Thesis studies sHSPs from several woody species of economic interest. The most prominent components, namely cytosolic class I sHSPs, have been identified and characterized, either by cDNA library screening (walnut, cherry) or by searching the complete genomic sequence (poplar). Through heterologous bacterial expression, we analyzed the in vivo protective effects of selected components against abiotic stress. Our results demonstrate that sHSP-CI proteins: (i) protect E. coli cells against different stressful conditions, alone or combined; (ii) stabilize cell membranes; (iii) improve the production of other recombinant proteins with commercial interest. The effects of CsHSP17.5-CI overexpression have also been studied in hybrid poplar. Interestingly, the accumulation of this protein does not have any appreciable phenotypic effects under normal growth conditions. However, the transgenic poplar lines showed enhanced net growth and reduced injury under heat-stress conditions compared to vector controls. Biochemical analysis of leaf extracts revealed that important enzyme activities were more protected in such lines against heat-induced inactivation than in control lines, lending further support to the chaperone mode of action proposed for the sHSP family. All transgenic lines showed improved in vitro and ex vitro performance (calli biomass, bud induction, shoot regeneration) compared to controls, even in the absence of thermal stress. Besides providing new insights on the protective role of HSP-CI proteins, our results bolster the notion that heat stress tolerance can be readily manipulated in trees through genetic engineering. The applied value of these results is evident, especially under a global warming scenario.

La energía disipada en membranas de pericardio sometidas a fatiga uniaxial como predictor de su durabilidad.

El pericardio es un material que se utiliza cuando se hace necesaria la sustitución de los velos de las válvulas cardiacas. En el presente trabajo se evalúa la durabilidad en fatiga de membranas de pericardio de ternera tratadas con glutaraldehído. Con tal propósito, se ensayaron 72 probetas de pericardio en condiciones fisiológicas de humedad y temperatura. Los ensayos se realizaron primero a fatiga hasta un número determinado de ciclos, entre un mínimo de 100 y un máximo de 4000, para luego ensayarse hasta rotura mediante un ensayo uniaxial de tracción simple. Las probetas consideradas control se sometieron a un único ensayo uniaxial de tracción. Se ha comprobado que la energía disipada en los primeros ciclos de las probetas que rompieron prematuramente (antes de finalizar el ciclado) es significativamente mayor que la energía disipada en las probetas que resistieron todos los ciclos de carga y descarga.

Reconocimiento geológico y métodos de estabilización de taludes rocosos en formaciones volcánicas del sur de Gran Canaria y Fuerteventura, Islas Canarias.

El relieve natural de las islas volcánicas montañosas tiene profundos barrancos taludes rocosos de pronunciadas pendientes y elevados acantilados costeros. Las formaciones geológicas de origen volcánico incluyen materiales rocosos y suelos muy heterogéneos en cuanto a su disposición espacial y comportamiento geomecánico. Además, en las zonas del sur de Gran Canaria y Fuerteventura, con frecuencia las construcciones civiles y de edificación muestran altos taludes practicados en el terreno y, como resultado en diversos puntos se ven afectados por desprendimientos de rocas y deslizamientos En el presente trabajo se muestran dos casos de estudio: 1) Estudio del riesgo de desprendimientos de rocas y métodos de estabilización aplicados en el talud de Los Teques, T.M. de Mogán, sur de Gran Canaria, y 2) Estudio geológico-geotécnico para el proyecto de construcción del paseo peatonal en el acantilado costero de Morro Jable T.M. de Pájara, sur de Fuerteventura. La variación espacial de las formaciones volcamcas, su grado de soldadura y alteración variables y la dificultad de establecer familias de fracturas características, han hecho que los métodos clásicos de clasificación geomecanica resultaran poco eficaces. En estos casos, el reconocimiento geológico detallado y una estimación del comportamiento geomecánico de los materiales ha sido el método empleado para definir y evaluar las zonas inestables en los taludes y para establecer los métodos de estabilización más convenientes.

La energía disipada en membranas de pericardio sometidas a fatiga uniaxial como predictor de su durabilidad

El pericardio es un material que se utiliza cuando se hace necesaria la sustitución de los velos de las válvulas cardiacas. En el presente trabajo se evalúa la durabilidad en fatiga de membranas de pericardio de ternera tratadas con glutaraldehído. Con tal propósito, se ensayaron 72 probetas de pericardio en condiciones fisiológicas de humedad y temperatura. Los ensayos se realizaron primero a fatiga hasta un número determinado de ciclos, entre un mínimo de 100 y un máximo de 4000, para luego ensayarse hasta rotura mediante un ensayo uniaxial de tracción simple. Las probetas consideradas control se sometieron a un único ensayo uniaxial de tracción. Se ha comprobado que la energía disipada en los primeros ciclos de las probetas que rompieron prematuramente (antes de finalizar el ciclado) es significativamente mayor que la energía disipada en las probetas que resistieron todos los ciclos de carga y descarga.

Un método de comprobación de secciones en losas de hormigón armado con familias de armaduras en direcciones arbitrarias. Parte I: Lajas y membranas

Las armaduras en estructuras bidimensionales de hormigón (losas y láminas) se suelen disponer en dos direcciones, típicamente ortogonales. Sin embargo, a veces, particularmente en zonas en las que las tensiones principales son elevadas, se disponen más de dos familias de armaduras y si la geometría del contorno de la estructura no es regular o no es rectangular es preciso colocar familias de armaduras formando ángulos oblicuos entre sí. En general, las direcciones de las tensiones principales en un punto de una estructura bidimensional no coinciden con las de las armaduras, lo que implica una incertidumbre acerca del trabajo de éstas. Esta problemática que aparece en el diseño usual de las estructuras de hormigón armado y pretensado, no suele estar recogida en la mayoría de las instrucciones. En particular, el tratamiento que presenta la norma española HE acerca del armado de las estructuras y elementos distintos de los monodimensionales, es decir, de la viga, es muy escaso. Este trabajo, que se ha dividido en dos partes, presenta un tratamiento unificado de comprobación de las armaduras en estructuras bidimensionales. En esta primera parte se recoge su aplicación a estructuras, tipos laja y membrana, sometidas a esfuerzos de extensión, es decir, axiles y rasantes, contenidos en su plano medio en el caso de lajas o en su plano tangente a la superficie media en el punto de comprobación, si se trata de una membrana. Como es usual, los esfuerzos, que se determinan a partir de un cálculo elástico y lineal, se mayoran mediante los pertinentes coeficientes de seguridad para obtener los llamados esfuerzos de cálculo. En este articulo, las armaduras en el punto en el que se comprueba la estructura se disponen con la máxima generalidad, es decir, una o varias familias formando ángulos arbitrarios en planta, y colocadas bien en el plano medio o simétricamente en planos paralelos equidistantes del anterior y separados de las caras superior e inferior de la estructura por los mismos recubrimientos. La segunda parte de este trabajo, que representa una extensión de la metodología al caso general de flexión-extensión, es objeto de una siguiente publicación. La metodología en este trabajo tiene en cuenta las ecuaciones, dadas por la elasticidad, de equilibrio, compatibilidad y constitutivas entre los esfuerzos conocidos y las tensiones y deformaciones en ambos materiales, hormigón y acero. Naturalmente, la ecuación constitutiva del hormigón no considera su resistencia a tracción, y por concreción se utiliza la conocida parábola rectángulo con posibilidad de rama descendente. Para el acero se supone para la relación tensiones-deformaciones un diagrama bilineal, es decir, se tiene en cuenta el posible endurecimiento. El cálculo, que se lleva a cabo mediante un simple programa de computador, permite obtener en pocos segundos las curvas de las tensiones y de las deformaciones en cada una de las familias de barras, así como de las tensiones principales en el hormigón en función del factor de amplificación de los esfuerzos. De esta forma se deduce el nivel de seguridad que se alcanza en un punto de la estructura de hormigón armado.

Diseño de un Procesador de Membranas Paralelo para los Sistemas P de Transición

La computación con membranas surge como una alternativa a la computación tradicional. Dentro de este campo se sitúan los denominados Sistemas P de Transición que se basan en la existencia de regiones que contienen recursos y reglas que hacen evolucionar a dichos recursos para poder llevar a cada una de las regiones a una nueva situación denominada configuración. La sucesión de las diferentes configuraciones conforman la computación. En este campo, el Grupo de Computación Natural de la Universidad Politécnica de Madrid lleva a cabo numerosas investigaciones al amparo de las cuales se han publicado numerosos artículos y realizado varias tesis doctorales. Las principales vías de investigación han sido, hasta el momento, el estudio del modelo teórico sobre el que se definen los Sistemas P, el estudio de los algoritmos que se utilizan para la aplicación de las reglas de evolución en las regiones, el diseño de nuevas arquitecturas que mejoren las comunicaciones entre las diferentes membranas (regiones) que componen el sistema y la implantación de estos sistemas en dispositivos hardware que pudiesen definir futuras máquinas basadas en este modelo. Dentro de este último campo, es decir, dentro del objetivo de construir finalmente máquinas que puedan llevar a cabo la funcionalidad de la computación con Sistemas P, la presente tesis doctoral se centra en el diseño de dos procesadores paralelos que, aplicando variantes de algoritmos existentes, favorezcan el crecimiento en el nivel de intra-paralelismo a la hora de aplicar las reglas. El diseño y creación de ambos procesadores presentan novedosas aportaciones al entorno de investigación de los Sistemas P de Transición en tanto en cuanto se utilizan conceptos que aunque previamente definidos de manera teórica, no habían sido introducidos en el hardware diseñado para estos sistemas. Así, los dos procesadores mantienen las siguientes características: - Presentan un alto rendimiento en la fase de aplicación de reglas, manteniendo por otro lado una flexibilidad y escalabilidad medias que son dependientes de la tecnología final sobre la que se sinteticen dichos procesadores. - Presentan un alto nivel de intra-paralelismo en las regiones al permitir la aplicación simultánea de reglas. - Tienen carácter universal en tanto en cuanto no depende del carácter de las reglas que componen el Sistema P. - Tienen un comportamiento indeterminista que es inherente a la propia naturaleza de estos sistemas. El primero de los circuitos utiliza el conjunto potencia del conjunto de reglas de aplicación así como el concepto de máxima aplicabilidad para favorecer el intra-paralelismo y el segundo incluye, además, el concepto de dominio de aplicabilidad para determinar el conjunto de reglas que son aplicables en cada momento con los recursos existentes. Ambos procesadores se diseñan y se prueban mediante herramientas de diseño electrónico y se preparan para ser sintetizados sobre FPGAs. ABSTRACT Membrane computing appears as an alternative to traditional computing. P Systems are placed inside this field and they are based upon the existence of regions called “membranes” that contain resources and rules that describe how the resources may vary to take each of these regions to a new situation called "configuration". Successive configurations conform computation. Inside this field, the Natural Computing Group of the Universidad Politécnica of Madrid develops a large number of works and researches that provide a lot of papers and some doctoral theses. Main research lines have been, by the moment, the study of the theoretical model over which Transition P Systems are defined, the study of the algorithms that are used for the evolution rules application in the regions, the design of new architectures that may improve communication among the different membranes (regions) that compose the whole system and the implementation of such systems over hardware devices that may define machines based upon this new model. Within this last research field, this is, within the objective of finally building machines that may accomplish the functionality of computation with P Systems, the present thesis is centered on the design of two parallel processors that, applying several variants of some known algorithms, improve the level of the internal parallelism at the evolution rule application phase. Design and creation of both processors present innovations to the field of Transition P Systems research because they use concepts that, even being known before, were never used for circuits that implement the applying phase of evolution rules. So, both processors present the following characteristics: - They present a very high performance during the application rule phase, keeping, on the other hand, a level of flexibility and scalability that, even known it is not very high, it seems to be acceptable. - They present a very high level of internal parallelism inside the regions, allowing several rule to be applied at the same time. - They present a universal character meaning this that they are not dependent upon the active rules that compose the P System. - They have a non-deterministic behavior that is inherent to this systems nature. The first processor uses the concept of "power set of the application rule set" and the concept of "maximal application" number to improve parallelism, and the second one includes, besides the previous ones, the concept of "applicability domain" to determine the set of rules that may be applied in each moment with the existing resources.. Both processors are designed and tested with the design software by Altera Corporation and they are ready to be synthetized over FPGAs.

Reducción de psicofármacos en aguas residuales después de la filtración con membranas

Se analiza la presencia de diferentes psicofármacos en el agua residual y los rendimientos de eliminación obtenidos en una depuradora convencional. Los psicofármacos prácticamente no se eliminan en el tratamiento biológico. Sin embargo, se ha obtenido una biodegradación considerable debido al tipo de compuesto y de la edad del fango. Además se estudian las retenciones de estos compuestos empleando tratamientos terciarios convencionales y plantas piloto de ultrafiltración y nanofiltración. Las eliminaciones obtenidas no difieren demasiado de un tipo de membrana a otro a pesar del diferente tamaño de paso entre ellas

Análisis de la durabilidad de la cubierta plana invertida, a través del estudio de las interacciones e incompatibilidades entre las membranas sintéticas y el poliestireno extrusionado

La cubierta plana invertida se forma, cuando sobre una membrana impermeable se coloca un aislamiento térmico. Estos materiales pueden separarse con capas auxiliares que impiden el contacto directo entre ellos. Muchos de los materiales que forman esta solución constructiva pueden ser polímeros, como lo son algunas membranas impermeables, las capas auxiliares separadoras o el poliestireno extrusionado (XPS). La mayoría de los polímeros son incompatibles entre sí, por lo que en esta tesis se plantea como hipótesis la posibilidad de que se produzcan interacciones e incompatibilidades entre algunos de estos materiales. Por ello se hace una búsqueda bibliográfica y documental de otras investigaciones que pudieran estar relacionadas con el tema, y se estudian y analizan normas y documentación facilitada por fabricantes. Sin embargo, tras consultar toda la bibliografía y documentación que se referencia en esta tesis doctoral, no fue encontrado ningún trabajo de investigación sobre la influencia de la interacción entre los materiales que componen las cubiertas planas invertidas, y de cómo afecta esta a la durabilidad de las mismas. El propósito de esta tesis es el análisis de la durabilidad de la cubierta plana invertida, desde el punto de vista de las interacciones e incompatibilidades que pueden producirse entre los materiales formantes de esta solución constructiva. Además de este objetivo general, se estudian alternativas que puedan prolongar el ciclo de vida de la cubierta plana invertida. Para ello, se desarrolla un plan experimental con el fin de analizar dichas incompatibilidades, y estudiar los factores que las condicionan. Algunos de los resultados obtenidos, muestran que determinadas láminas impermeables utilizadas normalmente para la construcción de cubiertas planas, pueden interactuar con el XPS y sufrir deterioro. El contacto con el mismo, la incorrecta separación, la presión y el calor, son factores determinantes para que se produzca deterioro. Se puede señalar como una de las conclusiones de esta investigación, que la protección térmica que proporciona el XPS a la cubierta plana invertida, puede no ser suficiente (dependiendo del espesor del mismo, y de la ubicación de la cubierta fundamentalmente), para reducir la cantidad de calor que alcanza la línea de contacto entre los materiales, y por tanto paliar las interacciones que se producen. Además, aunque los geotextiles utilizados como capas auxiliares separadoras, en los gramajes por metro cuadrado, recomendados por algunas de las normas reguladoras de este tipo de cubiertas minoran las interacciones, estas siguen produciéndose. ABSTRACT The inverted flat roof is formed from a waterproofing membrane on which the thermal insulation is placed. These materials may be separated with auxiliary layers, which prevent the direct contact between them. Many of the materials forming this constructive solution can be polymers, such as some waterproofing membranes, the auxiliary separating layers, or the extruded polystyrene board (XPS). Most polymers are incompatible, so this thesis hypothesized that interactions and incompatibilities between some of these materials might be possible. Therefore, a literature search, and other documentation that could be related to the topic, are studied and analyzed, as well as, standards and documentation provided by manufacturers. However, after consulting all literature and documents referenced in this dissertation, it was not found any research about the influence of interaction between the materials forming the inverted flat roof, and how this affects to the durability of them. The purpose of this thesis is the analysis of the durability of the inverted flat roof, from the point of view of interactions and incompatibilities may occur between the materials setting up this constructive solution. Along with this general objective, alternatives that can prolong the life cycle of the inverted roof are studied. To get this, an experimental plan is developed, in order to analyze these incompatibilities, and study the factors conditioning them. Some of the results show, that certain normally used waterproofing laminas for building flat roofs, may interact with XPS producing lamina deterioration. Contact, incorrect separation, pressure and heat, are determinant factors for degradation. It can be pointed out, as one of the conclusions of this research, that the thermal protection provided by XPS to the inverted flat roof, cannot be enough (depending on the XPS thickness, and the location of the flat mainly) to reduce the amount of heat that reaches the contact line between materials, and thus to cut down interactions. Furthermore, although geotextiles used as auxiliary separating layers, within the weights per square meter recommended by some of the regulating rules of this type of roofs reduce interactions, these still occur.

Computación celular con membranas: un estudio de modelos de cómputo bioinspirados

Los resultados presentados en la memoria de esta tesis doctoral se enmarcan en la denominada computación celular con membranas una nueva rama de investigación dentro de la computación natural creada por Gh. Paun en 1998, de ahí que habitualmente reciba el nombre de sistemas P. Este nuevo modelo de cómputo distribuido está inspirado en la estructura y funcionamiento de la célula. El objetivo de esta tesis ha sido analizar el poder y la eficiencia computacional de estos sistemas de computación celular. En concreto, se han analizado dos tipos de sistemas P: por un lado los sistemas P de neuronas de impulsos, y por otro los sistemas P con proteínas en las membranas. Para el primer tipo, los resultados obtenidos demuestran que es posible que estos sistemas mantengan su universalidad aunque muchas de sus características se limiten o incluso se eliminen. Para el segundo tipo, se analiza la eficiencia computacional y se demuestra que son capaces de resolver problemas de la clase de complejidad ESPACIO-P (PSPACE) en tiempo polinómico. Análisis del poder computacional: Los sistemas P de neuronas de impulsos (en adelante SN P, acrónimo procedente del inglés «Spiking Neural P Systems») son sistemas inspirados en el funcionamiento neuronal y en la forma en la que los impulsos se propagan por las redes sinápticas. Los SN P bio-inpirados poseen un numeroso abanico de características que ha cen que dichos sistemas sean universales y por tanto equivalentes, en poder computacional, a una máquina de Turing. Estos sistemas son potentes a nivel computacional, pero tal y como se definen incorporan numerosas características, quizás demasiadas. En (Ibarra et al. 2007) se demostró que en estos sistemas sus funcionalidades podrían ser limitadas sin comprometer su universalidad. Los resultados presentados en esta memoria son continuistas con la línea de trabajo de (Ibarra et al. 2007) y aportan nuevas formas normales. Esto es, nuevas variantes simplificadas de los sistemas SN P con un conjunto mínimo de funcionalidades pero que mantienen su poder computacional universal. Análisis de la eficiencia computacional: En esta tesis se ha estudiado la eficiencia computacional de los denominados sistemas P con proteínas en las membranas. Se muestra que este modelo de cómputo es equivalente a las máquinas de acceso aleatorio paralelas (PRAM) o a las máquinas de Turing alterantes ya que se demuestra que un sistema P con proteínas, es capaz de resolver un problema ESPACIOP-Completo como el QSAT(problema de satisfacibilidad de fórmulas lógicas cuantificado) en tiempo polinómico. Esta variante de sistemas P con proteínas es muy eficiente gracias al poder de las proteínas a la hora de catalizar los procesos de comunicación intercelulares. ABSTRACT The results presented at this thesis belong to membrane computing a new research branch inside of Natural computing. This new branch was created by Gh. Paun on 1998, hence usually receives the name of P Systems. This new distributed computing model is inspired on structure and functioning of cell. The aim of this thesis is to analyze the efficiency and computational power of these computational cellular systems. Specifically there have been analyzed two different classes of P systems. On the one hand it has been analyzed the Neural Spiking P Systems, and on the other hand it has been analyzed the P systems with proteins on membranes. For the first class it is shown that it is possible to reduce or restrict the characteristics of these kind of systems without loss of computational power. For the second class it is analyzed the computational efficiency solving on polynomial time PSACE problems. Computational Power Analysis: The spiking neural P systems (SN P in short) are systems inspired by the way of neural cells operate sending spikes through the synaptic networks. The bio-inspired SN Ps possess a large range of features that make these systems to be universal and therefore equivalent in computational power to a Turing machine. Such systems are computationally powerful, but by definition they incorporate a lot of features, perhaps too much. In (Ibarra et al. in 2007) it was shown that their functionality may be limited without compromising its universality. The results presented herein continue the (Ibarra et al. 2007) line of work providing new formal forms. That is, new SN P simplified variants with a minimum set of functionalities but keeping the universal computational power. Computational Efficiency Analisys: In this thesis we study the computational efficiency of P systems with proteins on membranes. We show that this computational model is equivalent to parallel random access machine (PRAM) or alternating Turing machine because, we show P Systems with proteins can solve a PSPACE-Complete problem as QSAT (Quantified Propositional Satisfiability Problem) on polynomial time. This variant of P Systems with proteins is very efficient thanks to computational power of proteins to catalyze inter-cellular communication processes.

Las normativas de construcción con tierra en el mundo

La tierra ha sido utilizada como material de construcción desde hace siglos. No obstante, la normativa al respecto está muy dispersa, y en la mayoría de países desarrollados surgen numerosos problemas técnicos y legales para llevar a cabo una construcción con este material. Este artículo estudia el panorama normativo para las construcciones con tierra cruda a nivel internacional, analizando cincuenta y cinco normas y reglamentos de países repartidos por los cinco continentes, que representan el estado del arte de la normalización de la tierra cruda como material de construcción. Es un estudio referenciado sobre las normas y reglamentos vigentes desarrollados por los organismos nacionales de normalización o autoridades correspondientes. Se presentan las normativas y los organismos que las emiten, analizando la estructura y contenido de cada una. Se estudian y analizan los aspectos más relevantes, como la estabilización, selección de los suelos, requisitos de los productos y ensayos existentes, comparando las diferentes normativas. Este trabajo puede ser de gran utilidad para el desarrollo de futuras normas y como referencia para arquitectos e ingenieros que trabajen con tierra.

Estudio del estado erosivo de las cuencas resistentes al río Guadarrama a su paso por Carranque (Toledo).

Se evalua el estado erosivo actual en varias cuencas y laderas vertientes al río Guadarrama a su paso por Carranque (Toledo) con el fin de proponer los diferentes usos actuaciones y la implementación de prácticas de conservación, con carácter general, así como medidas de restauración o mitigación de la erosión en las zonas más erosionadas. Para ello, se necesita : 1) Recabar la información medioambiental y socioeconómica más relevante. 2) Caracterizar por mapas los diferentes parámetros del modelo RUSLE, a partir de las parcelas de muestreo y su generalización al conjunto de cuencas 3) Elaborar un mapa de pérdidas de suelo promedio en t * ha-1 * año-1. 4) Analizar el avance de una cárcava mediante el método del transecto de cárcavas. Una vez analizados los factores que explican la pérdida de suelo actual en Carranque, delimitados en el espacio y estimados numéricamente las perdidas de suelo para cada uso del suelo o tipo de vegetación, se proponen actuaciones para paliar la situación actual. Estas se concretan en una serie de medidas de conservación, correctoras y de mitigación. Asimismo, se argumentaran posibles alternativas para el desarrollo de usos más racionales del suelo, incluidos los aprovechamientos agrícola y forestal-ganadero. Los procesos de encarcavamiento son frecuentes en la zona, por lo que merecen un estudio por separado allá donde se producen. Se delimitará su situación fisiográfica y se estudiará el aumento volumétrico de una cárcava tras un episodio de lluvias. Se proporcionará en dichas zonas una serie de recomendaciones conducentes a la estabilización de las cárcavas, aunque se requiere mayor profundidad en su estudio.