Contribución al estudio y clasificación de las funciones de implicación borrosas

La tesis doctoral "Contribución al estudio y clasificación de las funciones de implicación borrosas" constituye a la vez una revisión y un conjunto de aportaciones a la modelización de enunciados condicionales, o enunciados del tipo "Si P, entonces Q". Dentro del marco de la lógica borrosa, tradicionalmente, se considera que la mayor parte de las funciones de implicación, que modelizan los enunciados condicionales, deberían generalizar la implicación material booleana. En esta memoria se apoya el argumento de que la implicación material booleana no es siempre el modelo más adecuado para la modelización de los enunciados condicionales, por lo que se definen y estudian clases o grupos de funciones de implicación que se adecúen a las necesidades de cada caso de aplicación. Así pues, tras un capítulo introductorio, en el capítulo 2 se plantean clases de funciones de implicación que sirvan de apoyo en la definición de aplicaciones de carácter borroso más allá de las funciones de implicación borrosas derivadas de la implicación material booleana. Así se llega a la conclusión de que son necesarios, por lo menos, cuatro clases de funciones de implicación de las que se estudian sus propiedades. En el tercer capítulo se aborda el estudio de la verificación tanto de la regla del Modus Ponens como de la regla del Modus Tollens por parte de las funciones de implicación pertenecientes a cada una de las clases planteadas. Por último, en el capítulo 4 se presenta un estudio de los operadores citados como implicaciones borrosas en la literatura bajo el enfoque presentado en esta memoria, ampliándose estudios realizados por otros autores. ---ABSTRACT--- The Ph.D. Thesis "Contribution al estudio y clasificacion de las funciones de implication borrosas" is a revision and a set of contributions to the conditional statements or statements of the type "If P then Q" modelization. It has been usually considered in Fuzzy Logic, that implication functions that model conditional statements should generalize the boolean material implication. The present memory supports the argument that boolean material implication is not always the most appropiated model for conditional statements, so implication function groups or clusters are denned in order to fit in each application. Therefore, after an introductory chapter, in chapter 2 groups or clusters of implication functions are given in order to bear out fuzzy applications definitions further on from implication functions coming from boolean material implication. Then, it has been reached the conclusion that, at least, four types of implication functions are needed so their properties are studied.

Extending the expressiveness of fuzzy logic languages

En el trabajo que aquí presentamos se incluye la base teórica (sintaxis y semántica) y una implementación de un framework para codificar el razonamiento de la representación difusa o borrosa del mundo (tal y como nosotros, seres humanos, entendemos éste). El interés en la realización de éste trabajo parte de dos fuentes: eliminar la complejidad existente cuando se realiza una implementación con un lenguaje de programación de los llamados de propósito general y proporcionar una herramienta lo suficientemente inteligente para dar respuestas de forma constructiva a consultas difusas o borrosas. El framework, RFuzzy, permite codificar reglas y consultas en una sintaxis muy cercana al lenguaje natural usado por los seres humanos para expresar sus pensamientos, pero es bastante más que eso. Permite representar conceptos muy interesantes, como fuzzificaciones (funciones usadas para convertir conceptos no difusos en difusos), valores por defecto (que se usan para devolver resultados un poco menos válidos que los que devolveríamos si tuviésemos la información necesaria para calcular los más válidos), similaridad entre atributos (característica que utilizamos para buscar aquellos individuos en la base de datos con una característica similar a la buscada), sinónimos o antónimos y, además, nos permite extender el numero de conectivas y modificadores (incluyendo modificadores de negación) que podemos usar en las reglas y consultas. La personalización de la definición de conceptos difusos (muy útil para lidiar con el carácter subjetivo de los conceptos borrosos, donde nos encontramos con que cualificar a alguien de “alto” depende de la altura de la persona que cualifica) es otra de las facilidades incluida. Además, RFuzzy implementa la semántica multi-adjunta. El interés en esta reside en que introduce la posibilidad de obtener la credibilidad de una regla a partir de un conjunto de datos y una regla dada y no solo el grado de satisfacción de una regla a partir de el universo modelado en nuestro programa. De esa forma podemos obtener automáticamente la credibilidad de una regla para una determinada situación. Aún cuando la contribución teórica de la tesis es interesante en si misma, especialmente la inclusión del modificador de negacion, sus multiples usos practicos lo son también. Entre los diferentes usos que se han dado al framework destacamos el reconocimiento de emociones, el control de robots, el control granular en computacion paralela/distribuída y las busquedas difusas o borrosas en bases de datos. ABSTRACT In this work we provide a theoretical basis (syntax and semantics) and a practical implementation of a framework for encoding the reasoning and the fuzzy representation of the world (as human beings understand it). The interest for this work comes from two sources: removing the existing complexity when doing it with a general purpose programming language (one developed without focusing in providing special constructions for representing fuzzy information) and providing a tool intelligent enough to answer, in a constructive way, expressive queries over conventional data. The framework, RFuzzy, allows to encode rules and queries in a syntax very close to the natural language used by human beings to express their thoughts, but it is more than that. It allows to encode very interesting concepts, as fuzzifications (functions to easily fuzzify crisp concepts), default values (used for providing results less adequate but still valid when the information needed to provide results is missing), similarity between attributes (used to search for individuals with a characteristic similar to the one we are looking for), synonyms or antonyms and it allows to extend the number of connectives and modifiers (even negation) we can use in the rules. The personalization of the definition of fuzzy concepts (very useful for dealing with the subjective character of fuzziness, in which a concept like tall depends on the height of the person performing the query) is another of the facilities included. Besides, RFuzzy implements the multi-adjoint semantics. The interest in them is that in addition to obtaining the grade of satisfaction of a consequent from a rule, its credibility and the grade of satisfaction of the antecedents we can determine from a set of data how much credibility we must assign to a rule to model the behaviour of the set of data. So, we can determine automatically the credibility of a rule for a particular situation. Although the theoretical contribution is interesting by itself, specially the inclusion of the negation modifier, the practical usage of it is equally important. Between the different uses given to the framework we highlight emotion recognition, robocup control, granularity control in parallel/distributed computing and flexible searches in databases.

Simulación eficiente de mecanismos flexibles mediante formulaciones topológicas

El objetivo de esta Tesis es presentar un método eficiente para la evaluación de sistemas multi-cuerpo con elementos flexibles con pequeñas deformaciones, basado en métodos topológicos para la simulación de sistemas tan complejos como los que se utilizan en la práctica y en tiempo real o próximo al real. Se ha puesto un especial énfasis en la resolución eficiente de aquellos aspectos que conllevan mayor coste computacional, tales como la evaluación de las ecuaciones dinámicas y el cálculo de los términos de inercia. Las ecuaciones dinámicas se establecen en función de las variables independientes del sistema, y la integración de las mismas se realiza mediante formulaciones implícitas de index-3. Esta Tesis se articula en seis Capítulos. En el Capítulo 1 se realiza una revisión bibliográfica de la simulación de sistemas flexibles y los métodos más relevantes de integración de las ecuaciones diferenciales del movimiento. Asimismo, se presentan los objetivos de esta Tesis. En el Capítulo 2 se presenta un método semi-recursivo para la evaluación de las ecuaciones de los sistemas multi-cuerpo con elementos flexibles basado en formulaciones topológicas y síntesis modal. Esta Tesis determina la posición de cada punto del cuerpo flexible en función de un sistema de referencia flotante que se mueve con dicho cuerpo y de las amplitudes de ciertos modos de deformación calculados a partir de un mallado obtenido mediante el Método de Elementos Finitos. Se presta especial atención en las condiciones de contorno que se han de tener en cuenta a la hora de establecer las variables que definen la deformación del cuerpo flexible. El Capítulo 3 se centra en la evaluación de los términos de inercia de los sistemas flexibles que generalmente conllevan un alto coste computacional. Se presenta un método que permite el cálculo de dichos términos basado en el uso de 24 matrices constantes que pueden ser calculadas previamente al proceso de integración. Estas matrices permiten evaluar la matriz de masas y el vector de fuerzas de inercia dependientes de la velocidad sin que sea necesario evaluar la posición deformada de todos los puntos del cuerpo flexible. Se realiza un análisis pormenorizado de dichas matrices con el objetivo de optimizar su cálculo estableciendo aproximaciones que permitan reducir el número de dichos términos y optimizar aún más su evaluación. Se analizan dos posibles simplificaciones: la primera utiliza una discretización no-consistente basada en elementos finitos en los que se definen únicamente los desplazamientos axiales de los nodos; en la segunda propuesta se hace uso de una matriz de masas concentradas (Lumped Mass). Basándose en la formulación presentada, el Capítulo 4 aborda la integración eficiente de las ecuaciones dinámicas. Se presenta un método iterativo para la integración con fórmulas de index-3 basado en la proyección de las ecuaciones dinámicas según las variables independientes del sistema multi-cuerpo. El cálculo del residuo del sistema de ecuaciones no lineales que se ha de resolver de modo iterativo se realiza mediante un proceso recursivo muy eficiente que aprovecha la estructura topológica del sistema. Se analizan tres formas de evaluar la matriz tangente del citado sistema no lineal: evaluación aproximada, numérica y recursiva. El método de integración presentado permite el uso de distintas fórmulas. En esta Tesis se analizan la Regla Trapezoidal, la fórmula BDF de segundo orden y un método híbrido TR-BDF2. Para este último caso se presenta un algoritmo de paso variable. En el Capítulo 5 plantea la implementación del método propuesto en un programa general de simulación de mecanismos que permita la resolución de cualquier sistema multi-cuerpo definiéndolo mediante un fichero de datos. La implementación de este programa se ha realizado tanto en C++ como en Java. Se muestran los resultados de las formulaciones presentadas en esta Tesis mediante la simulación de cuatro ejemplos de distinta complejidad. Mediante análisis concretos se comparan la formulación presentada con otras existentes. También se analiza el efecto del lenguaje de programación utilizado en la implementación y los efectos de las posibles simplificaciones planteadas. Por último, el Capítulo 6 resume las principales conclusiones alcanzadas en la Tesis y las futuras líneas de investigación que con ella se abren. ABSTRACT This Thesis presents an efficient method for solving the forward dynamics of a multi-body sys-tem formed by rigid and flexible bodies with small strains for real-time simulation of real-life models. It is based on topological formulations. The presented work focuses on the efficient solution of the most time-consuming tasks of the simulation process, such as the numerical integration of the motion differential equations and in particular the evaluation of the inertia terms corresponding to the flexible bodies. The dynamic equations are formulated in terms of independent variables of the muti-body system, and they are integrated by means of implicit index-3 formulae. The Thesis is arranged in six chapters. Chapter 1 presents a review of the most relevant and recent contributions related to the modelization of flexible multi-body systems and the integration of the corresponding dynamic equations. The main objectives of the Thesis are also presented in detail. Chapter 2 presents a semi-recursive method for solving the equations of a multi-body system with flexible bodies based on topological formulations and modal synthesis. This Thesis uses the floating frame approach and the modal amplitudes to define the position of any point at the flexible body. These modal deformed shapes are obtained by means of the Finite Element Method. Particular attention has been taken to the boundary conditions used to define the deformation of the flexible bodies. Chapter 3 focuses on the evaluation of the inertia terms, which is usually a very time-consuming task. A new method based on the use of 24 constant matrices is presented. These matrices are evaluated during the set-up step, before the integration process. They allow the calculation of the inertia terms in terms of the position and orientation of the local coordinate system and the deformation variables, and there is no need to evaluate the position and velocities of all the nodes of the FEM mesh. A deep analysis of the inertia terms is performed in order to optimize the evaluation process, reducing both the terms used and the number of arithmetic operations. Two possible simplifications are presented: the first one uses a non-consistent approach in order to define the inertia terms respect to the Cartesian coordinates of the FEM mesh, rejecting those corresponding to the angular rotations; the second approach makes use of lumped mass matrices. Based on the previously presented formulation, Chapter 4 is focused on the numerical integration of the motion differential equations. A new predictor-corrector method based on index-3 formulae and on the use of multi-body independent variables is presented. The evaluation of the dynamic equations in a new time step needs the solution of a set on nonlinear equations by a Newton-Raphson iterative process. The computation of the corresponding residual vector is performed efficiently by taking advantage of the system’s topological structure. Three methods to compute the tangent matrix are presented: an approximated evaluation that considers only the most relevant terms, a numerical approach based on finite differences and a recursive method that uses the topological structure. The method presented for integrating the dynamic equations can use a variety of integration formulae. This Thesis analyses the use of the trapezoidal rule, the 2nd order BDF formula and the hybrid TR-BDF2 method. A variable-time step strategy is presented for the last one. Chapter 5 describes the implementation of the proposed method in a general purpose pro-gram for solving any multibody defined by a data file. This program is implemented both in C++ and Java. Four examples are used to check the validity of the formulation and to compare this method with other methods commonly used to solve the dynamic equations of multi-body systems containing flexible bodies. The efficiency of the programming methodology used and the effect of the possible simplifications proposed are also analyzed. Chapter 6 summarizes the main Conclusions obtained in this Thesis and the new lines of research that have been opened.

Estudio de las propiedades de las fábricas históricas de adobe como soporte a intervenciones de rehabilitación

El extenso legado edificado que constituyen las construcciones históricas de fábrica de adobe distribuidas por toda la península encuentra en la región de Aveiro (Portugal) su máxima expresión, tanto desde el punto de vista cuantitativo, un 30% de los edificios existentes en la región, como tipológico, compuesto por un amplio conjunto de diferentes construcciones (edificios residenciales, edificios militares, iglesias, escuelas, teatros, naves industriales, etc.), muchos de los cuales de reconocido valor histórico, arquitectónico y patrimonial. Tras la gradual desaparición del empleo de la fábrica de adobe como técnica constructiva, durante la segunda mitad del siglo XX, la necesaria conservación y/o rehabilitación de los edificios remanentes no se ha tenido en cuenta. Como consecuencia de esta actitud generalizada de pasividad continuada, se verifica el estado actual de deterioro y de daño acusado que presentan una gran parte de estas construcciones, del cual ha resultado el panorama presente de abandono y ruina en el que se encuentran muchas de ellas. Por regla general, la solución adoptada para afrontar el estado actual de los edificios en estas condiciones suele ser la demolición. No obstante lo anterior, en los últimos años, se viene produciendo en el seno de los diferentes agentes que intervienen en la toma de decisiones sobre estos edificios un interés creciente en su preservación, promoviendo la rehabilitación de los mismos. Empieza de este modo a cobrar importancia la necesidad de desarrollar estrategias de intervención que posibiliten alargar la vida útil de estas estructuras, permitiendo, por un lado, establecer metodologías de análisis de sus condiciones de seguridad, que posibiliten determinar las medidas de actuación necesarias para el aseguramiento de las mismas frente a las acciones existentes y, en su caso, a la incorporación de nuevas solicitaciones debidas a cambios de uso o ampliaciones, así como, dando respuesta a los principales mecanismo de daño a los que se encuentran sujetas. Tratándose de estructuras que fueron construidas utilizando técnicas y materiales escasamente estudiados y entre tanto abandonados, se hace también necesario, y con carácter previo a lo anterior, acometer un estudio e investigación multidisciplinares que permitan su caracterización y comprensión, y la par establecer un diagnóstico sobre los principales agentes y procesos patológicos que promueven el deterioro de las mismas. En este contexto, el estudio llevado a cabo tuvo como objetivos ampliar el conocimiento e investigación acerca de las propiedades y parámetros resistentes de las fábricas históricas de adobe, así como, analizar los principales mecanismos de daño asociados a las mismas, a la luz del el estado actual de estas construcciones, y su repercusión en el comportamiento resistente de las fábricas –con especial énfasis para la influencia del agua–. De este modo, se pretendió construir una base de resultados que, por un lado, pueda servir de soporte a intervenciones de rehabilitación y/o consolidación de estas estructuras – permitiendo de forma ágil y a partir de datos y recursos de cálculo expeditos la evaluación de los niveles de seguridad en las fábricas–, y por otro, el estudio de soluciones de mejora o corrección de deficiencias en su comportamiento estructural. The vast edified legacy composed of the historical adobe load-bearing walls which can be found spread all over the Iberian peninsula has, in the region of Aveiro (Portugal), its maximum expression, both from a quantitative point of view (around 30% of the local construction) and a typological point of view, including a considerable number of different types of constructions (residential buildings, military buildings, churches, industrial buildings, etc.), most of which have a recognized high historical, architectural and patrimonial value. The conservation and/or rehabilitation of many of these edifications has been neglected, since its gradual abandonment as constructive technique during the second half of the 20th century. As a consequence of this posture of general passivity, it is nowadays visible the state of pronounced damage manifested by great part of these constructions, which has been leading to their abandonment and state of ruin. In most cases, the option for demolition has been the solution found to face the actual state of these constructions. However, in recent years, a growing interest in the preservation and maintenance of the adobe constructions has become visible by the envolved parties, with the obvious consequence of rehabilitation. By so, it becomes mandatory to develop strategies of intervention that, through rehabilitation, are able to extend the useful life of the existing structures, allowing on one hand, to establish methodologies to analyze their safety state and determine the actions needed to ensure their protection against existing pressures and, when applicable, the occurrence of new demands due to changes of use or extensions, and on the other hand, to give response to the main damage mechanisms to which these structures are exposed. Because these structures were built using not very well know techniques and materials, which have been, in the meantime, abandoned, it is now crucial that these are object of a previous phase of study and multidisciplinary investigation, essential not only to their characterization and comprehension, but also to the diagnosis of the main pathological processes that affect them. In this context, the present study had as main goal to develop the analysis and knowledge regarding the properties and resistant parameters of the adobe masonry as well as bringing to the light of day the actual state of the existing adobe constructions, making evident the main damage mechanisms by which they are affected and analyzing, through their occurrence, the vulnerability of the mentioned properties and resistant parameters. By so, it was objective of the present study the development of a result database which on one hand, supports the execution of rehabilitation interventions and/or strengthening of these constructions and, on other hand, allows the development of improvement solutions in the mechanical characteristics of the adobe masonry which permit corrections of deficiencies in their structural behavior with a special emphasis on the influence of water. Thus, a database of results was developed. Its goal is, on one hand, to support the rehabilitation or consolidation interventions on these structures - allowing for a quick analysis of the safety state of the adobe walls from expedite data and calculus resources and, on the other hand, to study improvement or correction solutions of their structural behavior.

Fatiga en CFRP: Caracterización y Método Óptico para la Estimación del Daño

El desarrollo de nuevas estructuras aeroespaciales optimizadas, utilizan materiales compuestos, para los componentes críticos y subsistemas, principalmente polímeros reforzados con fibra de carbono (CFRP). Un conocimiento profundo del estado de daño por fatiga de estructuras de CFRP avanzado, es esencial para predecir la vida residual y optimizar los intervalos de inspección estructural, reparaciones y/o sustitución de componentes. Las técnicas actuales se basan principalmente en la medición de cargas estructurales a lo largo de la vida útil de la estructura mediante galgas extensométricas eléctricas. Con esos datos, se estima la vida a fatiga utilizando modelos de acumulación de daño. En la presente tesis, se evalúa la metodología convencional para la estimación de la vida a fatiga de un CFRP aeronáutico. Esta metodología está basada en la regla de acumulación de daño lineal de Palmgren-Miner, y es aplicada para determinar la vida a fatiga de estructuras sometidas a cargas de amplitud variable. Se ha realizado una campaña de ensayos con cargas de amplitud constante para caracterizar un CFRP aeronáutico a fatiga, obteniendo las curvas clásicas S-N, en diferentes relaciones de esfuerzo. Se determinaron los diagramas de vida constante, (CLD), también conocidos como diagramas de Goodman, utilizando redes neuronales artificiales debido a la ausencia de modelos coherentes para materiales compuestos. Se ha caracterizado la degradación de la rigidez debido al daño por fatiga. Se ha ensayado un segundo grupo de probetas con secuencias estandarizadas de cargas de amplitud variable, para obtener la vida a fatiga y la degradación de rigidez en condiciones realistas. Las cargas aplicadas son representativas de misiones de aviones de combate (Falstaff), y de aviones de transporte (Twist). La vida a fatiga de las probetas cicladas con cargas de amplitud variable, se comparó con el índice de daño teórico calculado en base a la regla de acumulación de daño lineal convencional. Los resultados obtenidos muestran predicciones no conservativas. Esta tesis también presenta el estudio y desarrollo, de una nueva técnica de no contacto para evaluar el estado de daño por fatiga de estructuras de CFRP por medio de cambios de los parámetros de rugosidad. La rugosidad superficial se puede medir fácilmente en campo con métodos sin contacto, mediante técnicas ópticas tales como speckle y perfilómetros ópticos. En el presente estudio, se han medido parámetros de rugosidad superficial, y el factor de irregularidad de la superficie, a lo largo de la vida de las probetas cicladas con cargas de amplitud constante y variable, Se ha obtenido una buena tendencia de ajuste al correlacionar la magnitud de la rugosidad y el factor de irregularidad de la superficie con la degradación de la rigidez de las probetas fatigadas. Estos resultados sugieren que los cambios en la rugosidad superficial medida en zonas estratégicas de componentes y estructuras hechas de CFRP, podrían ser indicativas del nivel de daño interno debido a cargas de fatiga. Los resultados también sugieren que el método es independiente del tipo de carga de fatiga que ha causado el daño. Esto último hace que esta técnica de medición sea aplicable como inspección para una amplia gama de estructuras de materiales compuestos, desde tanques presurizados con cargas de amplitud constante, estructuras aeronáuticas como alas y colas de aeronaves cicladas con cargas de amplitud variable, hasta aplicaciones industriales como automoción, entre otros. ABSTRACT New optimized aerospace structures use composite materials, mainly carbon fiber reinforced polymer composite (CFRP), for critical components and subsystems. A strong knowledge of the fatigue state of highly advanced (CFRP) structures is essential to predict the residual life and optimize intervals of structural inspection, repairs, and/or replacements. Current techniques are based mostly on measurement of structural loads throughout the service life by electric strain gauge sensors. These sensors are affected by extreme environmental conditions and by fatigue loads in such a way that the sensors and their systems require exhaustive maintenance throughout system life. In the present thesis, the conventional methodology based on linear damage accumulation rules, applied to determine the fatigue life of structures subjected to variable amplitude loads was evaluated for an aeronautical CFRP. A test program with constant amplitude loads has been performed to obtain the classical S-N curves at different stress ratios. Constant life diagrams, CLDs, where determined by means of Artificial Neural Networks due to the absence of consistent models for composites. The stiffness degradation due to fatigue damage has been characterized for coupons under cyclic tensile loads. A second group of coupons have been tested until failure with a standardized sequence of variable amplitude loads, representative of missions for combat aircraft (Falstaff), and representative of commercial flights (Twist), to obtain the fatigue life and the stiffness degradation under realistic conditions. The fatigue life of the coupons cycled with variable amplitude loads were compared to the theoretical damage index calculated based on the conventional linear damage accumulation rule. The obtained results show non-conservative predictions. This thesis also presents the evaluation of a new non-contact technique to evaluate the fatigue damage state of CFRP structures by means of measuring roughness parameters to evaluate changes in the surface topography. Surface roughness can be measured easily on field with non-contact methods by optical techniques such as speckle and optical perfilometers. In the present study, surface roughness parameters, and the surface irregularity factor, have been measured along the life of the coupons cycled with constant and variable amplitude loads of different magnitude. A good agreement has been obtained when correlating the magnitude of the roughness and the surface irregularity factor with the stiffness degradation. These results suggest that the changes on the surface roughness measured in strategic zones of components and structures made of CFRP, could be indicative of the level of internal damage due to fatigue loads. The results also suggest that the method is independent of the type of fatigue load that have caused the damage. It makes this measurement technique applicable for a wide range of inspections of composite materials structures, from pressurized tanks with constant amplitude loads, to variable amplitude loaded aeronautical structures like wings and empennages, up to automotive and other industrial applications.

Structural efficiency variation with the problem size in some bending problems = Variación del rendimiento estructural con el tamaño del problema en algunos casos de flexión simple

Existe normalmente el propósito de obtener la mejor solución posible cuando se plantea un problema estructural, entendiendo como mejor la solución que cumpliendo los requisitos estructurales, de uso, etc., tiene un coste físico menor. En una primera aproximación se puede representar el coste físico por medio del peso propio de la estructura, lo que permite plantear la búsqueda de la mejor solución como la de menor peso. Desde un punto de vista práctico, la obtención de buenas soluciones—es decir, soluciones cuyo coste sea solo ligeramente mayor que el de la mejor solución— es una tarea tan importante como la obtención de óptimos absolutos, algo en general difícilmente abordable. Para disponer de una medida de la eficiencia que haga posible la comparación entre soluciones se propone la siguiente definición de rendimiento estructural: la razón entre la carga útil que hay que soportar y la carga total que hay que contabilizar (la suma de la carga útil y el peso propio). La forma estructural puede considerarse compuesta por cuatro conceptos, que junto con el material, definen una estructura: tamaño, esquema, proporción, y grueso.Galileo (1638) propuso la existencia de un tamaño insuperable para cada problema estructural— el tamaño para el que el peso propio agota una estructura para un esquema y proporción dados—. Dicho tamaño, o alcance estructural, será distinto para cada material utilizado; la única información necesaria del material para su determinación es la razón entre su resistencia y su peso especifico, una magnitud a la que denominamos alcance del material. En estructuras de tamaño muy pequeño en relación con su alcance estructural la anterior definición de rendimiento es inútil. En este caso —estructuras de “talla nula” en las que el peso propio es despreciable frente a la carga útil— se propone como medida del coste la magnitud adimensional que denominamos número de Michell, que se deriva de la “cantidad” introducida por A. G. M. Michell en su artículo seminal de 1904, desarrollado a partir de un lema de J. C. Maxwell de 1870. A finales del siglo pasado, R. Aroca combino las teorías de Galileo y de Maxwell y Michell, proponiendo una regla de diseño de fácil aplicación (regla GA), que permite la estimación del alcance y del rendimiento de una forma estructural. En el presente trabajo se estudia la eficiencia de estructuras trianguladas en problemas estructurales de flexión, teniendo en cuenta la influencia del tamaño. Por un lado, en el caso de estructuras de tamaño nulo se exploran esquemas cercanos al optimo mediante diversos métodos de minoración, con el objetivo de obtener formas cuyo coste (medido con su numero deMichell) sea muy próximo al del optimo absoluto pero obteniendo una reducción importante de su complejidad. Por otro lado, se presenta un método para determinar el alcance estructural de estructuras trianguladas (teniendo en cuenta el efecto local de las flexiones en los elementos de dichas estructuras), comparando su resultado con el obtenido al aplicar la regla GA, mostrando las condiciones en las que es de aplicación. Por último se identifican las líneas de investigación futura: la medida de la complejidad; la contabilidad del coste de las cimentaciones y la extensión de los métodos de minoración cuando se tiene en cuenta el peso propio. ABSTRACT When a structural problem is posed, the intention is usually to obtain the best solution, understanding this as the solution that fulfilling the different requirements: structural, use, etc., has the lowest physical cost. In a first approximation, the physical cost can be represented by the self-weight of the structure; this allows to consider the search of the best solution as the one with the lowest self-weight. But, from a practical point of view, obtaining good solutions—i.e. solutions with higher although comparable physical cost than the optimum— can be as important as finding the optimal ones, because this is, generally, a not affordable task. In order to have a measure of the efficiency that allows the comparison between different solutions, a definition of structural efficiency is proposed: the ratio between the useful load and the total load —i.e. the useful load plus the self-weight resulting of the structural sizing—. The structural form can be considered to be formed by four concepts, which together with its material, completely define a particular structure. These are: Size, Schema, Slenderness or Proportion, and Thickness. Galileo (1638) postulated the existence of an insurmountable size for structural problems—the size for which a structure with a given schema and a given slenderness, is only able to resist its self-weight—. Such size, or structural scope will be different for every different used material; the only needed information about the material to determine such size is the ratio between its allowable stress and its specific weight: a characteristic length that we name material structural scope. The definition of efficiency given above is not useful for structures that have a small size in comparison with the insurmountable size. In this case—structures with null size, inwhich the self-weight is negligible in comparisonwith the useful load—we use as measure of the cost the dimensionless magnitude that we call Michell’s number, an amount derived from the “quantity” introduced by A. G. M. Michell in his seminal article published in 1904, developed out of a result from J. C.Maxwell of 1870. R. Aroca joined the theories of Galileo and the theories of Maxwell and Michell, obtaining some design rules of direct application (that we denominate “GA rule”), that allow the estimation of the structural scope and the efficiency of a structural schema. In this work the efficiency of truss-like structures resolving bending problems is studied, taking into consideration the influence of the size. On the one hand, in the case of structures with null size, near-optimal layouts are explored using several minimization methods, in order to obtain forms with cost near to the absolute optimum but with a significant reduction of the complexity. On the other hand, a method for the determination of the insurmountable size for truss-like structures is shown, having into account local bending effects. The results are checked with the GA rule, showing the conditions in which it is applicable. Finally, some directions for future research are proposed: the measure of the complexity, the cost of foundations and the extension of optimization methods having into account the self-weight.

Juan Bautista Lázaro y la restauración monumental: su intervención en la Catedral de León (1892-1909)

La catedral de León, debido al estado de ruina que presentaba a mediados del siglo XIX, se vio sometida a partir de entonces a una serie de intervenciones de conservación, restauración y reconstrucción que la transforma-ron significativamente. A pesar de encontrarnos con gran cantidad de documentación escrita sobre este monumento y de existir varios estudios sobre los arquitectos restauradores que intervinieron en este a finales del siglo XIX, resulta sorprendente que todavía existan períodos de este lapso de tiempo en el que su análisis y profundización haya sido menor. Este es el caso del período de Juan Bautista Lázaro como arquitecto director de las obras de la catedral leonesa, existiendo únicamente sobre toda su obra un estudio general que fue realizado por el director de este trabajo de investigación, por lo que nos llevó a considerar que era oportuno profundizar sobre la figura y obra de uno de los arquitectos más importante de la restauración en España de este período, no solo por su obra en sí, sino también por sus pos-turas significativas respecto a la intervención en el patrimonio arquitectónico: su respeto por los añadidos históricos, su preferencia por no aislar los monumentos, sus interés por los sistemas constructivos y su deseo de recuperar los oficios tradicionales que estaban completamente perdidos en la España decimonónica. El objetivo principal de la tesis es, por tanto, el análisis descriptivo y arquitectónico de los proyectos e intervenciones que Lázaro desarrolló y ejecutó para la catedral de Santa María de Regla de León, para deducir los principios e ideas que guiaron su quehacer en este templo, y poder, tras estudiar sus diversas publicaciones escritas y los proyectos e intervenciones de restauración acometidas en otros edificios de carácter monumental, llegar a establecer sus criterios de intervención en el patrimonio histórico y artístico. De acuerdo con esto, la tesis se estructura en tres partes: una primera parte en la que se contempla el pensamiento arquitectónico de Lázaro en su intervención en el patrimonio histórico; una segunda, en la que se abordan directamente los proyectos e intervenciones de Lázaro en la pulchra leonina, previa aproximación del citado arquitecto al proceso de restauración que se acometía en dicho templo; y una tercera, en la que se realiza el estudio de las principales intervenciones de restauración que ejecutó en otros edificios del patrimonio arquitectónico español. El presente trabajo de investigación se ha servido de la documentación escrita, gráfica, planimétrica y fotográfica que sobre los temas tratados existe desperdigada en diversos archivos dependientes de distintos organismos oficiales civiles y eclesiásticos. Además, el hecho de haber podido acceder a los trabajos de conservación y restauración que en estos momentos se están llevando a cabo en las zonas en las que intervino Lázaro (vidrieras, rejas, puertas, fábricas, cubiertas, etc.), y el poder intercambiar opiniones y criterios con la persona que actualmente es responsable de las obras de la catedral de León, ha facilitado y complementado el desarrollo de la presente tesis al haber podido contrastar y tomar datos directamente en el monumento objeto de estudio. También se ha llevado a cabo la consulta de las distintas revistas de arquitectura publicadas en aquellos años y de los múltiples libros que versaban sobre los edificios objeto de este trabajo o que guardaban relación con ellos. Asimismo hemos logrado conocer el testimonio de algunos de los herederos de Lázaro y de varios de los descendientes de los operarios que trabajaron bajo sus órdenes. Como conclusiones generales, la tesis define por primera vez los criterios generales que guiaron su quehacer profesional en el patrimonio. Además, en este trabajo se analizan pormenorizadamente los proyectos y actuaciones de Lázaro en la catedral de León, abordándose también en profundidad el trabajo del mencionado arquitecto en el ámbito de la restauración arquitectónica. Para lograr este objetivo, esta tesis no se ha limitado únicamente a analizar la información existente en los proyectos y en los in-formes de supervisión de los mismos, como tradicionalmente se había hecho, sino que también se ha tratado de verificar si los datos contenidos en los diferentes documentos de un mismo proyecto y en los borradores de los mismos tenían relación y coherencia entre sí. Además, se ha procurado realizar el análisis comparativo de la realidad construida con el contenido de los proyectos, liquidaciones y documentos de la fase de ejecución de las obras. Este análisis comparativo no había sido realizado hasta la fecha, siendo este, por tanto, una de las aportaciones del trabajo. Por último, la tesis abre tres vías de investigación futuras (que ya se han tratado y avanzado en parte, pero que escapan a los límites de este trabajo). Estas se refieren al estudio de la evolución de la representación gráfica de los planos de la catedral leonesa catalogados en este trabajo, de la actividad pública de Lázaro y su preocupación por la defensa del patrimonio como diputado en las Cortes, arquitecto municipal de Ávila y arquitecto diocesano de Ávila y Toledo, y de cómo sus actuaciones de restauración en el patrimonio arquitectónico influyeron en los proyectos de obra nueva que construyó. ABSTRACT Due to the state of ruin in mid-nineteenth century, the Cathedral of Santa Maria de Regla of León was subjected to a series of interventions on conservation, restoration and reconstruction that transformed it significantly. There have been several studies on the architects who took part in the restoration during the mentioned century and despite abundant documentation and research on this monument, it is surprising to note the lack of deep analysis in some of the periods. In particular, the interventions accomplished by Juan Bautista Lázaro, as chief architect of the works of the Cathedral of León, have not been documented and analysed in adequate depth, despite the outstanding recognition of his work nationally and internationally. Furthermore, up to date, only the director of this research had conducted a general research of all his architectural work. For these reasons, we felt it was appropriate to elaborate on the life and work of one of the most important architects of the restoration in Spain during that period, not only for his work itself, but also for his significant contribution to the debate on architectural interventions on heritage. He is notable for his respect to historical additions, his preference for not isolating the monuments, his interest in building systems and his continuous desire to re-cover the traditional crafts that were completely lost in the nineteenth century in Spain. The main aim of this thesis is therefore the descriptive and architectural analysis of Lázaro’s projects and interventions developed and executed for the Cathedral of León. The thesis identifies the principles and ideas that guided his work in this temple and establish the criteria for intervention in the historical and artistic heritage architecture he applied after studying its various print publications, projects and restoration works undertaken in other buildings. Accordingly, the thesis is structured in three parts: the first part where it deals Lázaro’s architectural thinking in his interventions on heritage constructions; the second one, in which analyses the projects and interventions carried out by Lazaro in the “pulchra leonina”, but this analysis is preceded by the description of Lázaro’s relationship with the Cathedral of León before taking charge of its restoration in 1892; and the third and final section, in which the study of major restoration interventions implemented by Lázaro in other buildings of Spanish architectural heritage is made. This research has used available documentation (in written or graphic form, plans or photographs) scattered in a diverse range of archives de-pendent on various civil and ecclesiastical institutions. Moreover, we could access the conservation and restoration works, currently being carried out in areas where Lázaro intervened (stained glass windows, forged iron en-closures, gates, doors, masonry, covers, etc.). It has been possible to ex-change views and opinions with the person currently in charge of the referred restoration works which has facilitated and complemented the development of this thesis. It further, it has allowed contrasting and obtaining data directly from the monument under study. Consultation of various architectural journals published in those years has also been taken into account, as well as a diversity of books and articles which concerned the buildings assessed in this work, or related to them. Also, although not with the results expected, it has been obtained the testimony of some of Lázaro’s descendants as well as descendants of the workers who operated under him. As a general conclusion, the thesis defines the general criteria that guided his professional work in the heritage for the first time. Furthermore, Juan Bautista Lázaro’s projects and interventions in the Cathedral of León are analysed in detail. Also, it has been studying in detail the Lazaro’s work in the architectural heritage. To achieve this goal, the thesis has studied not only the information from the official projects and technical reports of them, but also it has been tried to verify if the information contained in the different documents of the same project and in the drafts were related and consistent with each other. In addition, it has been attempted to per-form a comparative analysis of the execution of Lázaro’s projects and the entire projected content. This comparative study had not been done to date and this will be, therefore, one of the main contributions of this re-search. Finally, this thesis opens up three lines of investigation (that have already been discussed and partially advanced, but which fall beyond the scope of this research). These refer to the study of the evolution of the graphical representation of the plans of Leon Cathedral catalogued in this thesis, public activity of Lazaro and his concern for the defence of heritage as deputy in Parliament, municipal architect of Avila, and as diocesan architect Ávila and Toledo, and even more how its restoration actions in architectural heritage influenced his projects of new construction.

El muro como referencia arquitectónica

Esta investigación parte del interés particular por la manifestación arquitectónica, paisajística o urbanística de aquellos muros construidos que se han erigido para limitar, planteando un enfoque del muro en una vertiente conceptual. Se propone la formulación de distintas interpretaciones para un mismo elemento físico, logrando una propuesta arquitectónica de identificación para diferentes casos de estudio que consideramos paradigmáticos en su concepto. La hipótesis plantea la posibilidad de identificar un muro con la autonomía o identidad conceptual que le hace capaz de condicionar o dirigir la conformación de una obra de arquitectura, sirviendo como instrumento arquitectónico para las acciones de articulación, implantación, referenciación o conformación. El desarrollo de la investigación muestra la aptitud de individualizar el muro como elemento excepcional en el cumplimiento de la síntesis de distintas variables de proyecto. Se elaboran cinco conceptos diferentes del elemento en la función que cumple en el espacio que se basan en una definición compuesta de dos propiedades determinantes que se identifican con la categoría de la “justificación conceptual” combinando, además, valores de las categorías “Relación con el lugar”, “Función estética”, “Función de programa” y “Generación”. Se propone la identificación del muro que presenta las cualidades que lo hacen actuar de forma articuladora en el espacio y que, al cumplir esa función, condiciona y determina parte de la obra de arquitectura en que se encuentra. El muro articulador se entiende como un elemento que soluciona formal y espacialmente distintas situaciones de programa; no responde a un esquema formal predeterminado, sino que lo crea, en la unión coherente entre opuestos: ámbitos opuestos, esquemas formales opuestos, etc. Proponemos la identificación del muro que presenta determinadas cualidades que lo hacen actuar de forma implantadora en el espacio y que, al cumplir esa función, condiciona y determina parte de la obra en que se encuentra. Se considera el muro implantador como el punto de partida del proyecto en que se ha utilizado y como el elemento elegido para hacer la síntesis entre las variables del proyecto - sitio, función constructiva y estructural, estableciendo una regla formal y espacial coherente. Proponemos la identificación del muro referenciador, elemento que se destaca en la edificación como entidad elegida para hacer la síntesis entre las distintas variables del proyecto: significado, función estética y sitio. El muro referenciador se percibe como una entidad autónoma, particular al carácter o programa de la obra y al sitio en que se erige. Se considera el muro-recinto como el punto de partida del proyecto en que se ha utilizado, así como un elemento fundamental que se destaca en el conjunto de la obra - sea por su vertiente constructiva o de tratamiento estético – como entidad elegida para hacer la síntesis entre las variables del proyecto: forma y programa. Al utilizar un esquema formal predeterminado, permite generar espacio coherente con las demandas de un programa específico, entendiéndose como un elemento arquitectónico particular a la obra. Proponemos la identificación del muro habitable como el elemento que presenta las cualidades que lo hacen pasible de generar espacio en su interior, siendo un instrumento útil para cumplir con la variable del proyecto del programa. El concepto de muro habitable, como contrapunto a los otros cuatro tipos, se manifiesta como una entidad más elemental que traduce un instrumento de trabajo todavía más manejable que los restantes muros estudiados. De hecho, su utilización es incluso posible en aquellos muros que ya presentan el concepto de muro articulador, implantador, referenciador o muro-recinto. ABSTRACT This research is based on a particular interest in the architectural, landscape or urban manifestations of those walls that have been erected to limit, considering a conceptual approach. It suggests the formulation of diverse interpretations for the same physical element to achieve an architectural proposal of identification for different case studies that we consider paradigmatic in its concept. The hypothesis considers the possibility to identify a wall with the autonomy or conceptual identity that makes it able to influence or direct the form of an architecture work, serving as an instrument for the actions of articulation, emplacement, referencing or conformation. The development of the research shows the ability to individualize the wall as an outstanding element in the synthesis of different variables of architectural design. It elaborates five different concepts of the wall function in space, based on a definition with two determinant properties which combine values of the categories "Relation with the context", "Aesthetic function", "Program function" and "Generation". We propose the identification of the wall that has the qualities that make it act in an articulating way in space, conditioning and determining part of the architectural work. The “articulating wall” is understood as an element that formally and spatially solves different situations of functional program; it does not respond to a previous formal scheme, it creates it instead, through the coherent combination between opposites: opposing fields, opposing formal schemes, etc. We identify as well the wall that has the qualities that make it able to emplace on site, conditioning and determining part of the architecture work. The “wall that emplaces” is considered the starting point of the architectural design and the chosen element to make the synthesis between the architectural design variables - site, constructive function and structural function - establishing a formal and spatial coherent rule. We propose the identification of the “referencing wall”, element that stands out in the building as an entity chosen to make the synthesis between the project variables: meaning, aesthetic function and site. The referencing wall is perceived as an autonomous entity, particular to the character or the functional program and the site on which it sits. We consider the “precinct wall” as the departure point of the architectural design where it is used as well as a fundamental element that stands out in the whole of the architecture work - either by its constructive aspect or esthetic treatment - as the chosen entity to synthetize form and pro-gram. Since it uses a predetermined formal scheme it will allow to generate consistent space with-in the demands of a specific program, being understood as an element particular to the architectural work. As a fifth concept we identify the “inhabitable wall” as the element that has the qualities that make it predisposed to generate space inside its nucleus, being a useful instrument to comply with the variable of program in the architectural design. The concept of inhabitable wall, as a counterpoint to the other four types, manifests itself as a more elemental entity that translates itself as a more manageable working tool. In fact, its use is even possible in those walls that al-ready present the concept of articulating wall, emplacing wall, referencing wall or precinct wall.

Simulación de procesos químicos (curso 2011-2012)

Apuntes en formato html que incluyen los siguientes temas de la parte de simulación en la asignatura «simulación y optimización de procesos químicos» TEMA 1. Introducción 1.1 Introducción. 1.2 Desarrollo histórico de la simulación de procesos. Relación entre simulación optimización y síntesis de procesos. 1.3 Tipos de simuladores: Modular secuencial. Modular simultáneo. Basada en ecuaciones. TEMA 2. Simulación Modular Secuencial 2.1 Descomposición de diagramas de flujo (flowsheeting) 2.2 Métodos basados en las matrices booleanas Localización de redes cíclicas máximas. Algoritmo de Sargent y Westerberg. Algoritmo de Tarjan. 2.3 Selección de las corrientes de corte: 2.3.1 Caso general planteamiento como un "set-covering problem" (algoritmo de Pho y Lapidus) 2.3.2 Número mínimo de corrientes de corte (algoritmo de Barkley y Motard) 2.3.3 Conjunto de corrientes de corte no redundante (Algoritmo de Upadhye y Grens) TEMA 3. Simulación Modular Simultánea 3.1 Efecto de las estrategias tipo cuasi Newton sobre la convergencia de los diagramas de flujo. TEMA 4. Simulación Basada en Ecuaciones 4.1 Introducción. Métodos de factorización de matrices dispersas. Métodos a priori y métodos locales. 4.2 Métodos locales: Criterio de Markowitz. 4.3 Métodos a priori: 4.3.1 Triangularización por bloques: a. Base de salida admisible (transversal completo). b. Aplicación de los algoritmos de Sargent y Tarjan a matrices dispersas. c. Reordenación. 4.3.2 Transformación en matriz triangular bordeada. 4.4 Fase numerica. Algoritmo RANKI 4.5 Comparación entre los diferentes sistemas de simulación. Ventajas e Inconvenientes. TEMA 5. Grados de libertad y variables de diseño de un diagrama de flujo 5.1 Teorema de Duhem y regla de las fases 5.2 Grados de libertad de un equipo 5.3 Grados de libertad de un diagrama de flujo 5.4 Elección de las variables de diseño.

Las normas éticas de Gaceta Sanitaria

Todas las revistas científicas disponen de unas normas de publicación a las cuales los autores de manuscritos deben ceñirse si quieren que su artículo sea publicado en ellas. El término «norma», en sí mismo y según la Real Academia de la Lengua, significa «regla que se debe seguir o a que se deben ajustar las conductas, tareas, actividades, etc.», y por tanto indica obligación. En el caso de las normas de publicación, esta obligación es únicamente para los autores.

Una defensa del convencionalismo jurídico

Este trabajo muestra que la existencia de un sistema jurídico requiere la presencia de una práctica unitaria de identificación de normas. El autor sostiene que esa práctica consiste en una convención constitutiva, que permite identificar de manera autónoma el Derecho de una determinada comunidad. Se pone de relieve de este modo una forma específica en que el Derecho es una creación social: del mismo modo que la existencia del dinero requiere la creencia de que éste existe, también la existencia de un sistema jurídico depende, en última instancia, de un conjunto de creencias compartido por las personas relevantes. El planteamiento de esta posición y de sus ventajas se lleva a cabo a lo largo de los apartados 2, 3, 4 y 5. El último apartado se dedica a examinar y a descartar cinco posibles objeciones a una tesis convencionalista como la que aquí se defiende.

Verificación de Sistemas Basada en Teoría de Tipos

Este proyecto se enmarca en la utlización de métodos formales (más precisamente, en la utilización de teoría de tipos) para garantizar la ausencia de errores en programas. Por un lado se plantea el diseño de nuevos algoritmos de chequeo de tipos. Para ello, se proponen nuevos algoritmos basados en la idea de normalización por evaluación que sean extensibles a otros sistemas de tipos. En el futuro próximo extenderemos resultados que hemos conseguido recientemente [16,17] para obtener: una simplificación de los trabajos realizados para sistemas sin regla eta (acá se estudiarán dos sistemas: a la Martin Löf y a la PTS), la formulación de estos chequeadores para sistemas con variables, generalizar la noción de categoría con familia utilizada para dar semántica a teoría de tipos, obtener una formulación categórica de la noción de normalización por evaluación y finalmente, aplicar estos algoritmos a sistemas con reescrituras. Para los primeros resultados esperados mencionados, nos proponemos como método adaptar las pruebas de [16,17] a los nuevos sistemas. La importancia radica en que permitirán tornar más automatizables (y por ello, más fácilmente utilizables) los asistentes de demostración basados en teoría de tipos. Por otro lado, se utilizará la teoría de tipos para certificar compiladores, intentando llevar adelante la propuesta nunca explorada de [22] de utilizar un enfoque abstracto basado en categorías funtoriales. El método consistirá en certificar el lenguaje "Peal" [29] y luego agregar sucesivamente funcionalidad hasta obtener Forsythe [23]. En este período esperamos poder agregar varias extensiones. La importancia de este proyecto radica en que sólo un compilador certificado garantiza que un programa fuente correcto se compile a un programa objeto correcto. Es por ello, crucial para todo proceso de verificación que se base en verificar código fuente. Finalmente, se abordará la formalización de sistemas con session types. Los mismos han demostrado tener fallas en sus formulaciones [30], por lo que parece conveniente su formalización. Durante la marcha de este proyecto, esperamos tener alguna formalización que dé lugar a un algoritmo de chequeo de tipos y a demostrar las propiedades usuales de los sistemas. La contribución es arrojar un poco de luz sobre estas formulaciones cuyos errores revelan que el tema no ha adquirido aún suficiente madurez o comprensión por parte de la comunidad.

Regula et Constitutiones F. Ordinis Sanctissimae Trinitatis Redemptionis Captiuorum.

"Regla modificada y suma breue de las Constituciones sin añadir, quitar, ni glosar que por los religiosos legos se ponen en romançe", últimas [54] h. sin fileteado.

Regula sanctissimi patris nostri Benedicti Abbatis monachorum in occidente patriarchae.

Mode of access: Internet.