Proyecto de repoblación, casa y camino forestales

Encargado por la Comisión de Residencia de la Escuela Especial de Ingenieros de Montes de un Proyecto de restauración forestal del perímetro de Paredes, sito en el término municipal del mismo nombre, afecto a la 4ª división Hidrológico-Forestal Madrid, con el desarrollo del siguiente cuestionario: Dicho proyecto constará: 1º de una memoria general en la que se estudiará: A) Estado legal. Pertenencia y servidumbre del Perímetro de Paredes. Representación del Perímetro a base de un plano del Instituto Geográfico, atendiendose a los mojones que lo demarcan sobre el terreno. Croquis detallado del proyecto. – B) Estado natural: Geología, Topografía, Hidrografía, Clima y Suelo. – C) Estado forestal: Vegetación forestal, su actual estado. Su evolución natural y la provocada por la intervención anticultural del hombre, de los animales, etc. Formaciones y asociaciones vegetales climáticas. Indicaciones que se deducen de su examen como base para la elección de especies forestales para su repoblación. Herbario. – D) Estudio selvícola. Exámen de la repoblación forestal desde el triple punto de vista económico, ecológico y biológico. Justificación razonada de las especies elegidas para la repoblación arborea y de sus pastizales. Clase de animales más indicada para el aprovechamiento forrajero. – Elección del método más apropiado de repoblación, discusión sobre las ventajas e inconvenientes de la regeneración natural y artificial en el Perímetro de Paredes. …Propuesta de creación de un vivero …. Propuesta de construcción de la casa forestal de Las Dehesillas, con vivienda para dos guardas forestales con sus familias… Propuesta de terminación del camino forestal en vía de construcción que une el monte con la Villa de Buitrago….

Proyecto de Aprovechamiento de Semillas en la Provincia de Teruel

Encargado por el Patrímonio Forestal de la realización del Proyecto Final de carrera, cuyo tema es: "ESTUDIO DEL APROVECHAMIENTO de SEMILLAS de P. LARICIO Y P. SILVESTRE EN LA PROVINCIA DE TERUEL, COMPRENDIENDO EMPLA ZAMIENTO DE SEQUEROS. PROYECTO DE UNO DE ESTOS Y ESTUDIO ECONOMICO DEL PRECIO DE LA SEMILLAS". Hemos realizado nuestro trabajo a las órdenes de D. Vicente Jaime, Ingeniero del Patrimonio, Jefe de la Brigada de Teruel y de D. José Domenech, Ingeniero Jefe del Distrito Forestal de Terue1, a los cuales he de hacer constar mi agradecimiento por las facilidades que me han proporcionado tanto en los viajes efectuados a diferentes puntos de la provincia como en la obtenci6n de datos, de producción, calidades, coste, etc... Aparte, en todos los viajes realizados hemos procurado obtener datos concretos de la posibilidad en perfecta calidad de la semilla, unas veces directamente y otras con la colaboración de los Guardas Forestales, interesándonos siempre por las facilidades de recogida que pudiera haber y fácil transporte. Sin embargo debo advertir, que muchos de los datos obtenidos, sobre todo los que no proceden de las estadísticas de producción de apartados anteriores, no pueden ser tomados como plenamente ciertos pues las cosechas de pifias son variables de unos afios a otros, por multitud de circunstancias extrínsecas e intrínsecas, aunque generalmente cada tres aftos, haya uno bueno y se necesitan bastantes años de experiencias para poder deducir las curvas de producción probables en montes donde hasta ahora no se han hecho aprovechamientos de pifias para la obtención de semillas, y tenemos que basandalos en un ca, lo bueno o malo pero hecho a ojo por los prácticos de la localidad. Claro que luego lo hemos compro·bado o corregido después de agrupar los montes por calidades de producción y asignar a los desconocidos la probable producción de los conocidos que más se le asemejen por sus caracteres selvícolas y ecológicos.

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

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