El laberinto, no sólo un problema topológico

Gernot Candolini (2000, pag. 83) dice "El Laberinto es uno de los símbolos más antiguos de la humanidad. Desde hace milenios este motivo se graba en la roca o en el barro, se pinta sobre cerámica, se dispone mediante piedras en el suelo, se dibuja en antiguos manuscritos, se define con arbustos y árboles, entre otra infinidad de variantes". Y expresa: "Un laberinto tiene un camino entrelazado, no tiene callejones sin salida, siempre es de entrada y salida y se dirige hacia el centro. En el centro se encuentra el punto de regreso y el mismo camino conduce al exterior. El laberinto es una imagen, símbolo sobre el difícil y complejo camino de la vida de los seres humanos. Habla de las verdades de la vida, de las dificultades y las luchas, pero también simboliza la entrada, el centro y la nueva libertad una vez que se vuelve al exterior..." Cuando investigamos sobre los laberintos quedamos atrapados por lo que implican los contenidos del tema: su origen, su simbología, su historia, su uso, su forma, su construcción, su vinculación con diversas ramas del conocimiento. La exploración de este tópico abarca versiones encontradas de los datos, relatos donde se mezclan mitos y leyendas con la historia, interpretaciones y apropiaciones de distintos campos del saber: historia, filosofía, literatura, arte, arquitectura, paisajismo. y por supuesto matemática. En este sentido, la matemática involucrada en el análisis del laberinto, en cuanto morfogenerador, lo posiciona como objeto de estudio de la Topología, excediendo su vinculación con la matemática recreativa.

El laberinto, no sólo un problema topológico

Gernot Candolini (2000, pag. 83) dice "El Laberinto es uno de los símbolos más antiguos de la humanidad. Desde hace milenios este motivo se graba en la roca o en el barro, se pinta sobre cerámica, se dispone mediante piedras en el suelo, se dibuja en antiguos manuscritos, se define con arbustos y árboles, entre otra infinidad de variantes". Y expresa: "Un laberinto tiene un camino entrelazado, no tiene callejones sin salida, siempre es de entrada y salida y se dirige hacia el centro. En el centro se encuentra el punto de regreso y el mismo camino conduce al exterior. El laberinto es una imagen, símbolo sobre el difícil y complejo camino de la vida de los seres humanos. Habla de las verdades de la vida, de las dificultades y las luchas, pero también simboliza la entrada, el centro y la nueva libertad una vez que se vuelve al exterior..." Cuando investigamos sobre los laberintos quedamos atrapados por lo que implican los contenidos del tema: su origen, su simbología, su historia, su uso, su forma, su construcción, su vinculación con diversas ramas del conocimiento. La exploración de este tópico abarca versiones encontradas de los datos, relatos donde se mezclan mitos y leyendas con la historia, interpretaciones y apropiaciones de distintos campos del saber: historia, filosofía, literatura, arte, arquitectura, paisajismo. y por supuesto matemática. En este sentido, la matemática involucrada en el análisis del laberinto, en cuanto morfogenerador, lo posiciona como objeto de estudio de la Topología, excediendo su vinculación con la matemática recreativa.

La donna diavolo nella grecia antica : Lamia, Circe, Empusa e le stagioni della vita umana

El objetivo de este trabajo es investigar la historia de la monstruosidad femenina en la literatura griega antigua para recuperar algunas estructuras arquetípicas de pensamiento que se ocupan de la antigua y moderna conciencia colectiva sobre el problema del mal, su naturaleza, sus razones y también su falta de razones. De este modo yo repasé las "vidas paralelas" de tres famosas mujeres fatales de la mitología clásica que, colocadas en puntos decisivos de árboles genealógicos horribles llenas de 'maldiciones genéticas', son capaces de formar un tríptico bien definido de "medallones" enmarcados por un fil rouge de la monstruosidad ininterrumpida. Paradigmático de la dialéctica ambigua entre hombre-mujer, bien-mal, víctima-verdugo, normalidad-desviación, y de las dinámicas incontrolables entre los crímenes y los castigos, miedos ancestrales y deseo de descubrimiento, demonios buenos y malos, los mitos de Lamia, Circe y Empusa destacan la atracción irracional que, en la cultura griega antigua, tan racionalista, las personificaciones femeninas del mal son imaginadas moviéndose, con el fin de influir en la conducta humana en las principales etapas de la vida

Análisis comparativo de algoritmos de aprendizaje para predecir la evolución de pacientes con Daño Cerebral Adquirido

ste trabajo presenta un análisis comparativo entre tres algoritmos de aprendizaje diferentes basados en Árboles de Decisión (C4.5) y Redes Neuronales Artificiales (Perceptrón Multicapa MLP y Red Neuronal de Regresión General GRNN) que han sido implementados con el objetivo de predecir los resultados de la rehabilitación cognitiva de personas con daño cerebral adquirido. En el análisis se han incluido datos demográficos del paciente, el perfil de afectación y los resultados provenientes de las tareas de rehabilitación ejecutadas por los pacientes. Los modelos han sido evaluados utilizando la base de datos del Institut Guttmann. El rendimiento de los algoritmos se midió a través del análisis de la especificidad, sensibilidad y exactitud en la precisión y el análisis de la matriz de confusión. Los resultados muestran que la implementación del C4.5 alcanzó una especificidad, sensibilidad y exactitud en la precisión del 98.43%, 83.77% y 89.42% respectivamente. El rendimiento del C4.5 fue significativamente superior al obtenido por el Perceptrón Multicapa y la Red de Regresión General.

Minería de Datos usando Metaplasticidad Artificial en la Rehabilitación Cognitiva de Pacientes con Daño Cerebral

El propósito principal de esta investigación es la aplicación de la Metaplasticidad Artificial en un Perceptrón Multicapa (AMMLP) como una herramienta de minería de datos para la predicción y extracción explícita de conocimiento del proceso de rehabilitación cognitiva en pacientes con daño cerebral adquirido. Los resultados obtenidos por el AMMLP junto con el posterior análisis de la base de datos ayudarían a los terapeutas a conocer las características de los pacientes que mejoran y los programas de rehabilitación que han seguido. Esto incrementaría el conocimiento del proceso de rehabilitación y facilitaría la elaboración de hipótesis terapéuticas permitiendo la optimización y personalización de las terapias. La evaluación del AMMLP se ha realizado con datos proporcionados por el Institut Guttmann. Los resultados del AMMLP fueron comparados con los obtenidos con una red neuronal de retropropagación y con árboles de decisión. La exactitud en la predicción obtenida por el AMMLP en la subfunción cognitiva memoria verbal-visual fue de 90.71 %, resultado muy superior a los obtenidos por los demás algoritmos.

La longevidad del pino canario: los pinos de Pilancones y la Lajilla.

Se presentan los resultados obtenidos en el análisis de diversas secciones de Pinus canariensis procedentes de árboles longevos con los siguientes objetivos: - Evaluar la variabilidad de los anillos de crecimiento - Estimar con precisión la edad - Establecer etapas de crecimiento características que puedan relacionarse con diferentes variables ambientales

Relational and Allegorical Semantics for Constraint Logic Programming

El cálculo de relaciones binarias fue creado por De Morgan en 1860 para ser posteriormente desarrollado en gran medida por Peirce y Schröder. Tarski, Givant, Freyd y Scedrov demostraron que las álgebras relacionales son capaces de formalizar la lógica de primer orden, la lógica de orden superior así como la teoría de conjuntos. A partir de los resultados matemáticos de Tarski y Freyd, esta tesis desarrolla semánticas denotacionales y operacionales para la programación lógica con restricciones usando el álgebra relacional como base. La idea principal es la utilización del concepto de semántica ejecutable, semánticas cuya característica principal es el que la ejecución es posible utilizando el razonamiento estándar del universo semántico, este caso, razonamiento ecuacional. En el caso de este trabajo, se muestra que las álgebras relacionales distributivas con un operador de punto fijo capturan toda la teoría y metateoría estándar de la programación lógica con restricciones incluyendo los árboles utilizados en la búsqueda de demostraciones. La mayor parte de técnicas de optimización de programas, evaluación parcial e interpretación abstracta pueden ser llevadas a cabo utilizando las semánticas aquí presentadas. La demostración de la corrección de la implementación resulta extremadamente sencilla. En la primera parte de la tesis, un programa lógico con restricciones es traducido a un conjunto de términos relacionales. La interpretación estándar en la teoría de conjuntos de dichas relaciones coincide con la semántica estándar para CLP. Las consultas contra el programa traducido son llevadas a cabo mediante la reescritura de relaciones. Para concluir la primera parte, se demuestra la corrección y equivalencia operacional de esta nueva semántica, así como se define un algoritmo de unificación mediante la reescritura de relaciones. La segunda parte de la tesis desarrolla una semántica para la programación lógica con restricciones usando la teoría de alegorías—versión categórica del álgebra de relaciones—de Freyd. Para ello, se definen dos nuevos conceptos de Categoría Regular de Lawvere y _-Alegoría, en las cuales es posible interpretar un programa lógico. La ventaja fundamental que el enfoque categórico aporta es la definición de una máquina categórica que mejora e sistema de reescritura presentado en la primera parte. Gracias al uso de relaciones tabulares, la máquina modela la ejecución eficiente sin salir de un marco estrictamente formal. Utilizando la reescritura de diagramas, se define un algoritmo para el cálculo de pullbacks en Categorías Regulares de Lawvere. Los dominios de las tabulaciones aportan información sobre la utilización de memoria y variable libres, mientras que el estado compartido queda capturado por los diagramas. La especificación de la máquina induce la derivación formal de un juego de instrucciones eficiente. El marco categórico aporta otras importantes ventajas, como la posibilidad de incorporar tipos de datos algebraicos, funciones y otras extensiones a Prolog, a la vez que se conserva el carácter 100% declarativo de nuestra semántica. ABSTRACT The calculus of binary relations was introduced by De Morgan in 1860, to be greatly developed by Peirce and Schröder, as well as many others in the twentieth century. Using different formulations of relational structures, Tarski, Givant, Freyd, and Scedrov have shown how relation algebras can provide a variable-free way of formalizing first order logic, higher order logic and set theory, among other formal systems. Building on those mathematical results, we develop denotational and operational semantics for Constraint Logic Programming using relation algebra. The idea of executable semantics plays a fundamental role in this work, both as a philosophical and technical foundation. We call a semantics executable when program execution can be carried out using the regular theory and tools that define the semantic universe. Throughout this work, the use of pure algebraic reasoning is the basis of denotational and operational results, eliminating all the classical non-equational meta-theory associated to traditional semantics for Logic Programming. All algebraic reasoning, including execution, is performed in an algebraic way, to the point we could state that the denotational semantics of a CLP program is directly executable. Techniques like optimization, partial evaluation and abstract interpretation find a natural place in our algebraic models. Other properties, like correctness of the implementation or program transformation are easy to check, as they are carried out using instances of the general equational theory. In the first part of the work, we translate Constraint Logic Programs to binary relations in a modified version of the distributive relation algebras used by Tarski. Execution is carried out by a rewriting system. We prove adequacy and operational equivalence of the semantics. In the second part of the work, the relation algebraic approach is improved by using allegory theory, a categorical version of the algebra of relations developed by Freyd and Scedrov. The use of allegories lifts the semantics to typed relations, which capture the number of logical variables used by a predicate or program state in a declarative way. A logic program is interpreted in a _-allegory, which is in turn generated from a new notion of Regular Lawvere Category. As in the untyped case, program translation coincides with program interpretation. Thus, we develop a categorical machine directly from the semantics. The machine is based on relation composition, with a pullback calculation algorithm at its core. The algorithm is defined with the help of a notion of diagram rewriting. In this operational interpretation, types represent information about memory allocation and the execution mechanism is more efficient, thanks to the faithful representation of shared state by categorical projections. We finish the work by illustrating how the categorical semantics allows the incorporation into Prolog of constructs typical of Functional Programming, like abstract data types, and strict and lazy functions.

Atlas visual de cincuenta y siete años de arquitectura

En 1929 aparece el primer número de AA (L’architecture d’aujourd’hui), en 1932 existe un número-Monografía sobre los hermanos Perret, escrita por Pierre Vago, en 1946 se consolida como revista mensual y bajo la fundación de Andre Bloc. El primer número de AA que tengo en mi biblioteca es el número 34 (febrero-Marzo) de 1951. Mediante la lectura observada de una colección como AA, la determinación de unos capítulos representativos y la elección de imágenes de su tiempo se explican estos 57 años de arquitectura, cuyos resultados de un proceso temporal disfrutamos desde hace aproximadamente veinte años. A principio de los años cincuenta un grupo de jóvenes arquitectos, denso e intercomunicado en los congresos CIAM se propone situar la realidad de la arquitectura en los principios y realidades de su tiempo y de los que se intuyen futuro. Resultados de la Segunda Gran Guerra no son solo tragedias humanas sino gran investigación y desarrollo concretada industrialmente, enormes movimientos de personas en Europa y una sociedad enormemente optimista en USA, todo esto producirá las grandes transformaciones sociales de los 60’ y sus concreciones tecnológicas, políticas y desarrollo. Muchos arquitectos, publicaciones, concursos o decisiones políticas o privadas han producido el catalogo de arquitecturas de estos años, desde el CIAM IX hasta el POMPIDOU, desde la casa GEHRY hasta el KUNSTHAL, desde BRASILIA hasta SIDNEY, desde COPLEJIDAD Y CONTRADICCIÓN hasta DELIRIOS DE NY, desde OSAKA hasta MUNICH. En todas han existido un esfuerzo enorme por concretar la realidad de nuestras aspiraciones desde las puramente ideológicas de introspección social, hasta las concreciones de imagen directa. Varias líneas he abierto en mi proceso de investigación, las he llamado “anillos” porque todas estas líneas tienen similitud con los “anillos de crecimiento” de los árboles en cuanto a como se presentan en la estructura de formación y ha la cantidad de información no solo interna sino externa que aportan sobre la estructura árbol, su medio y la historia. Igual que podemos saber las temperaturas o las pluviometría que cubrieron Europa en la edad media solo estudiando los anillos de crecimiento de nuestro árboles (su grosor), de igual forma repasando LOS CONCURSOS y sus resultados que existieron en los últimos cincuenta años, podemos entender las aspiraciones y concreciones de las sociedades y sus arquitectos en este tiempo. Cuatro capítulos, los mas determinantes son los elegidos para dar cuerpo a una TESIS de tamaño capaz: Las ideas, el futuro, las referencias y el presente son los capítulos que de forma visual intentan explicar el fruto arquitectónico, sus aspiraciones y sus concreciones. Las ideas sin ninguna duda, pertenecen a los padres de nuestro tiempo, son las del Team X, la reflexión sobre lo perecedero, las realidades programáticas, densidades o lo publico-privado son solo planetas en el universo de sus ideas. El futuro lo trazaron aquellos que empezaron a investigar, concretar o reflexionar sobre la incidencia tanto de los procesos industriales con sus nuevos materiales como de las nuevas concreciones urbanas que los movimientos migratorios producirían en las ciudades. Las referencias son las bibliotecas de carácter informativo-visual que han generado nuestro inventario icónico. El presente son las imágenes de referencia de nuestro tiempo-mediático, no solo las produce un arquitecto (en este caso R.Koolhas), pero si que es verdad que en las imágenes arquitectónicas de OMA se concreta todo el catalogo de arquitecturas del presente. ENGLISH SUMMARY The fisrt AA (l´Architecture d´Aujourd´hui) issue was published in 1929, three years later, in 1932, a monographic issue on Perret brothers was written by Pierre Vago and in 1946 the magazine was strongly established as a monthly publication under the direction of André Bloc. The oldest copy I own on my bookshelves is nº 34 printed in February-March 1951. While carefully reading a collection such as AA we are able to extract representative chapters and images that can explain a linear process lasting 57 years of fruitful architectural production of which consequences we have been enjoying the past twenty years. In the early fifties a compact group of young architects linked by the CIAM congress decided to encompass architectural reality to the needs and principles of their time. Not only big human tragedies arose from the Second World War but also some of the fastest industrial inventions due to a powerful will to development, that altogether with european migrations and a high standard of optimism in the United States headed to the peak transformations of the sixties and their technological and political development. A bunch of architects, magazines and architectural competitions sided by political and private decisions produced the architectural catalogue of those years, from CIAM IX to the Pompidou art centre, from Gerhy´s house to the Kunsthal museum, from Brasilia to Sidney, from “Complexity and Contradiction“ to “Delirious NY” and from Osaka all the way to Munich. All of them carried a vast effort towards the concretion of will, from social introspection to a more effective development of images. Several paths run across my investigation, namely “the rings”, as they tend to behave as a growing structure like a tree trunk, providing internal and external information not only of the vegetal element but also of the environment and events crossing its time. In the same direction as we are able to predict the weather in the Middle Age by means of studying our forests, we can use the architectural competitions ant their results for the past fifty years to understand the will and ambitions of these developing societies and their architects. To give shape to a sizeable thesis the selected information has been packed in four chapters: Ideas, Future, References and Present, each of them structured as an Image bank visualizing the architectural product, its will and specific ambition. The first group, Ideas, is devoted entirely to the step-fathers of present architecture, with ideas that belong to TEAM X and embrace the reflection about the transitory, the programmatic reality, density or the public-private debate as wandering planets of their ideal universe. The second group is dedicated to a Future that was traced by those engaged on industrial processes and new material investigation together with some others exploring new urban concretions brought to existence by the pressure of the after war migrations. The third group, References, have been shaped as a stock-list containing all our iconic cross-references. The last group, Present, brings together the icons of this media-time we live in and not only those produced by one single architect (Rem Koolhaas) even if his production embodies all architectural references at the moment.

Ecuaciones de cubicación para el pino silvestre (Pinus sylvestris L.) en el monte Aguas Vertientes N.138 del C.U.P. en el municipio de El Espinar (Segovia).

La finalidad de este trabajo es proponer unas nuevas ecuaciones de cubicación, ya que los métodos utilizados por la Administración podrían estar anticuados. Con estas ecuaciones actualizadas se intentan paliar las diferencias entre Administración y aserradero. Desde hace unos 25 años la Administración de Segovia viene utilizando unos valores modulares para estimar el volumen en pié de los árboles del monte "Aguas Vertientes" Estos valores modulares son tablas en las que se da un volumen teórico para cada pié en cada uno de los rodales y según clases diamétricas de 5 cm. Estas tablas fueron calculadas hace tiempo, y, por lo tanto, sería recomendable realizar unas nuevas tarifas de cubicación. Los objetivos del presente trabajo, son, por tanto, construir una nueva tarifa de cubicación de una entrada V=f(dn) y una tabla de cubicación con dos entradas V=f(dn, H)

On the spatial distribution of woody plant species in a tropical montane cloud forest

Abstract The cloud forest is a special type of forest ecosystem that depends on suitable conditions of humidity and temperature to exist; hence, it is a very fragile ecosystem. The cloud forest is also one of the richest ecosystems in terms of species diversity and rate of endemism. However, today, it is one of the most threatened ecosystems in the world. Little is known about tree species distribution and coexistence among cloud forest trees. Trees are essential to understanding ecosystem functioning and maintenance because they support the ecosystem in important ways. For this dissertation, an analysis of woody plant species distribution at a small scale in a north-Peruvian Andean cloud forest was performed, and some of the factors implicated in the observed patterns were identified. Towards that end, different natural factors acting on species distribution within the forest were investigated: (i) intra-specific arrangements, (ii) heterospecific spatial relationships and (iii) relationships with external environmental factors. These analyses were conducted first on standing woody plants and then on seedlings. The woody plants were found to be clumped in the forest, either considering all the species together or each species separately. However, each species presented a specific pattern and specific spatial relationship among different-age individuals. Dispersal mode, growth form and shade tolerance played roles in the final distribution of the species. Furthermore, spatial associations among species, either positive or negative, were observed. These associations were more numerous when considering individuals of the interacting species at different developmental stages, i.e., younger individuals from one species and older individuals from another. Accordingly, competition and facilitation are asymmetric processes and vary throughout the life of an individual. Moreover, some species appear to prefer certain habitat conditions and avoid other habitats. The habitat definition that best explains species distribution is that which includes both environmental and stand characteristics; thus, a combination of these factors is necessary to understanding species' niche preferences. Seedling distribution was also associated with habitat conditions, but these conditions explained less than the 30% of the spatial variation. The position of conspecific adult individuals also affected seedling distribution; although the seedlings of many tree species avoid the vicinity of conspecifics, a few species appeared to prefer the formation of cohorts around their parent trees. The importance of habitat conditions and distance dependence with conspecifics varied among regions within the forest as well as on the developmental stage of the stand. The results from this thesis suggest that different species can coexist within a given space, forming a “puzzle” of species as a result of the intra- and interspecific spatial relationships along with niche preferences and adaptations that operate at different scales. These factors not only affect each species in a different way, but specific preferences also vary throughout species' lifespans. Resumen Resumen El bosque de niebla es uno de los ecosistemas más amenazados del mundo además de ser uno de los más frágiles. Son formaciones azonales que dependen de la existencia de unas condiciones de humedad y temperatura que permitan la formación de nubes que cubran el bosque; lo que dificulta en gran medida su conservación. También es uno de los ecosistemas con mayor riqueza de especies además de tener uno de los mayores porcentajes de endemismos. Uno de los aspectos más importantes para entender el ecosistema, es identificar y entender los elementos que lo componen y los mecanismos que regulan las relaciones entre ellos. Los árboles son el soporte del ecosistema. Sin embargo, apenas hay información sobre la distribución y coexistencia de los árboles en los bosques de niebla. Esta tesis presenta un análisis de la distribución a pequeña escala de las plantas leñosas en un bosque de niebla situado en la cordillera andina del norte de Perú; así como el análisis de algunos de los factores que pueden estar implicados en que se origine la distribución observada. Para este propósito se estudia cómo influyen factores de diferente naturaleza en la distribución de las especies (i) organización intra-específica (ii) relaciones espaciales heterospecíficas y (iii) relación con factores ambientales externos. En estos análisis se estudiaron primero las plantas jóvenes y las adultas, y después las plántulas. Los árboles aparecieron agregados en el bosque, tanto considerando todos a la vez como cuando se estudió cada especie por separado. Sin embargo, cada especie mostró un patrón distinto así como una particular relación espacial entre individuos jóvenes y adultos. El modo de dispersión, la forma de vida y la tolerancia de la especies estuvieron relacionados con el patrón general observado. Se vio también que ciertas especies aparecían relacionadas con otras, tanto de forma positiva (compartiendo zonas) como negativa (apareciendo en áreas distintas). Las asociaciones fueron mucho más numerosas cuando se consideraron los pares de especies en diferente estado de desarrollo, es decir, individuos jóvenes de una especie e individuos mayores de la otra. Eso indicaría que los procesos de competencia y facilitación son asimétricos y además varían durante la vida de la planta. Por otro lado, algunas especies aparecen preferentemente bajo ciertas condiciones de hábitat y evitan otras. La definición de hábitat a la que mejor responden las especies es cuando se incluyen tanto variables ambientales como de masa; así que ambos tipos de variables son necesarias para entender la preferencia de las especies por ciertos nichos. La distribución de las plántulas también estuvo relacionada con condiciones de hábitat, pero eso sólo llegaba a explicar hasta un 30% de la variabilidad espacial. La posición de los adultos de la misma especie también afectó a la distribución de las plántulas. En bastantes especies las plántulas evitan la cercanía de adultos de su misma especie, padres potenciales, aunque algunas especies aisladas mostraron el patrón contrario y aparecieron preferentemente en las mismas áreas que sus padres. La importancia de las condiciones de hábitat y posición de los adultos en la disposición de las plántulas varía de una zona a otra del bosque y además también varía según el estado de desarrollo de la masa.

Estudio crítico del proyecto de ordenación del "Monte Pinar de Valsaín" y estudio económico-industrial del taller de Asenio de Valsaín

Habiéndosenos encargado como trabajo de Residencia hacer el “Estudio crítico del proyecto de ordenación del Pinar de Valsain, el estudio industrial económico de las cortas y de los transportes a la fábrica de La Granja referido a un metro cúbico de madera, el estudio industrial económico de la fábrica o taller de aserrío de La Granja, con determinación del costo de aserrío de un metro cúbico de madera de los diversos tipos de despiezo y las modificaciones que podrian introducirse en la fábrica para mejorar los precios de costo anteriores” para el mejor desarrollo de nuestro trabajo lo hemos dividido en dos partes, en la primera desarrollamos cuatro capítulos siendo las materias a tratar las siguientes: I : Plan de ordenación del Pinar de Valsaín, II. Ejecución de dicho plan y su crítica, III: Discusión y crítica del plan, IV: Orientación de una nueva Ordenación. Hemos de hacer notar que en el Capítulo I de la primera parte presentamos un extracto del proyecto de Ordenación del monte Pinar de Valsain de 1889, entresacando lo mas interesante a nuestro juicio… La segunda parte de nuestro estudio la dividimos en los cuatro capítulos siguientes: I: Estudio de los aprovechamientos del Pinar en lo que se refiere a corta y transporte. II: Descripción del Taller de Aserrío de Valsaín. – III: Sus defectos y modo de subsanarlos. – IV: Estudio económico general. Cuantos datos se insertan en el trabajo de ordenación han sido facilitados por el Sr. Cebrián de quien hemos recibido enseñanzas provechosas. También el Sr. Muro y en lo concerniente al Taller de Aserrío de Valsaín, nos ha proporcionado cuantos datos hemos creído necesarios para desarrollar la segunda parte de nuestro trabajo. Como complemento de nuestro estudio presentamos un herbario de las especies encontradas en La Granja. Así mismo presentamos también un muestrario de maderas encuadradas en el taller de Aserrío de Valsaín y una colección de fotografias en las que aparecen detalles desde el apeo de los árboles hasta llegar a la madera elaborada, es decir todo el proceso de la explotación maderera del monte

Estudio selvícola-económico-industrial de los castañares de fruto de la sierrra de Aracena (Huelva)

El estudio de las masas de castaño, del cual es objeto nuestro trabajo, comprende 6266 Ha. dentro de una superficie comprendida aproximadamente entre 18000 y 20000 Has., zona eminentemente forestal donde se asocian y viven inagnificante el castaño, alcornoque y encina, juntamente con el olivo y en menos proporción la carcasca ( Qa),s quejigo y rebollo, en rodales aislados pino negral, y en los valles de los arroyos. y.los, álamo blanco con ejemplares de aliso. Hacemos antes que nada esta anotación de las principales especies de esta región, para hacer patente la importancia forestal de la misma y proponer estudios de esta sierra de Aracena, no solamente por lo que se refiere al castaño, especie de gran rendimiento como frutal, merced a la cual viven multitud de familias humildes, sino también y principalmente por lo que se infiere al alcornoque y encina, principales riquezas de dicha región, estimulando el cultivo de las citadas especies por medio de folletos y conferencias de divulgación social, para no solamente seguir extendiendo el área de dichas especies, sino lo que es aún tan importante, saber conservar las masas ya creadas; decimos esto, por la necesidad de que los vecinos de aquella comarca, adquieran los más indispensables conocimientos, para no verse privados con el tiempo de lo que es base de su situación social; las podas abusivas, con el único objeto de aprovechar la madera, el ramoneo y los desmoches de los castaños y en general la escasez de medidas preventivas contra la serie de enfermedades que creemos están aún en vias de desarrollo, a pesar de los danos que muchos anos causan en todos los frutales, hace que llamemos la atención sobre este particular, demostrando una vez más la incapacidad de los particulares para conservar los montes.

El culto al árbol y otras aportaciones hispanas pioneras de Alberto Nin

Aportaciones pioneras del ensayista hispano Alberto Nin Frías (1878-1937)en relación con la protección del medio ambiente, la importancia de los árboles, la psicología diferencial humana y la consideración pública de las distintas formas y niveles de homosexualidad.

Desarrollo de una metodología de análisis del riesgo para sistemas de generación de hidrógeno mediante reactores nucleares.

La seguridad en el ámbito nuclear juega un papel muy importante debido a las graves consecuencias que pueden tener los posibles accidentes, cuyos efectos se pueden extender por extensos espacios y prolongarse mucho en el tiempo. Es por eso que desde el inicio del desarrollo de la tecnología nuclear siempre se ha vigilado por mantener las instalaciones nucleares en un nivel de riesgo aceptable. En esta tesis se pretende poner de manifiesto algunas carencias del análisis de riesgo clásico que se resumen en una forma de distinguir y separar transitorios de daño y transitorios seguros pertenecientes a una misma secuencia, definiendo el llamado dominio de daño y evaluando la probabilidad de que algún transitorio perteneciente a la secuencia sea de daño, es decir, que esté contenido dentro de la región del dominio de daño, aportando la llamada probabilidad de superación para obtener la frecuencia de superación de estados finales no deseados. En la tesis se realiza en primer lugar un breve resumen de algunos reactores de alta temperatura refrigerados con gas, de los que se ha elegido al reactor de prueba de alta temperatura (HTTR) como ejemplo para mostrar la metodología. Aparte de ver el diseño de los diferentes reactores y su aportación a la investigación y desarrollo de nuevos modelos, se estudiaron algunos incidentes y se tomaron datos de algunos de ellos para ajustar las probabilidades de los sucesos a emplear en los árboles de fallos. Seguidamente se realiza un análisis simple de una secuencia, según la metodología clásica de análisis probabilista del riesgo, usando solo arboles de fallos y de sucesos, evaluando la frecuencia de daño de dicha secuencia. En el núcleo de la Tesis se describe la metodología y la aportación que se propone para obtener la cuantificación de tan solo los transitorios de daño y su aportación al estado final. Una aportación significativa es el modelado del HTTR, plasmado en el programa de simulación HTTR5+, necesario para poder aplicar la metodología, con el que se ha llevado a cabo la simulación de un transitorio de prueba, a fin de realizar la comparación con el obtenido por el fabricante (JAERI), buscando el dominio de daño y su cuantificación. Para este fin, se desarrolló un módulo que gestiona las diferentes simulaciones para delinear el dominio de daño, el cual se integró al simulador HTTR5+ para crear el programa DD-HTTR5+. Los resultados de la frecuencia de superación de la variable de daño se han comparado con los obtenidos por el método tradicional, para finalmente extraer las conclusiones de la Tesis. Uno de los resultados más significativos es que para la secuencia analizada un 40% de los transitorios que pertenecen a la secuencia son de daño y el otro 60% son transitorios seguros. Al emplear el método clásico se estaba realizando una sobreestimación de la probabilidad y frecuencia de daño. La Tesis también contiene en anexos una descripción muy detallada del HTTR, con respecto a su diseño, modos de operación, sistemas y componentes, etc. También se detallan las propiedades termofísicas del HTTR, así como las tasas de fallos y los árboles de fallos utilizados. Toda esta información fue de gran ayuda para realizar el modelo y programa de simulación HTTR5+.

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.