Proyecto para el desarrollo del cultivo de especies marinas en instalaciones en mar abierto

Proyecto para el desarrollo del cultivo de especies marinas en instalaciones en mar abierto en la República del Ecuador

Vizcaya minera : su historia, legislación foral y derecho vigente : conforme á las leyes, reglamentos, reales órdenes y demás resoluciones complementarias dictadas para su ejecución ... / por Mario de Basterra.

NDD NDD

La actividad minera actual y sus vectores de desarrollo.

Esta publicación se centra en la realización de un análisis acerca de las características de la actividad minera actual y de los vectores que condicionan en la actualidad la industria minera y de los combustibles. Tras analizar los diferentes aspectos que condicionan la forma en que actualmente se desarrolla la actividad minera internacional, se analizan la forma en que actualmente influye la globalización de las economías de mercado, la influencia de la economía del conocimiento, la integración del desarrollo minero sostenible, la influencia del cambio climático y el progreso tecnológico de la actividad minera.

Perforación y voladura de rocas en minería.

Esta publicación viene a cubrir un vacío existente en la bibliografía disponible en lengua española y relativa a las actividades de perforación y de voladura en el ámbito de las explotaciones mineras. Con un lenguaje claro y conciso, hace uso de una línea expositiva muy didáctica para exponer unos contenidos que abarcan las distintas técnicas y sistemas de perforación, pasando por la tipología de las diferentes clases de explosivos industriales habitualmente usados en minería, hasta las prácticas habituales y las metodologías de diseño de voladuras. La obra se completa con un extenso capítulo de medidas de protección ambiental y prevención de impactos, descrito de una forma muy práctica.

Approximate Relational Reasoning for Probabilistic Programs

La seguridad verificada es una metodología para demostrar propiedades de seguridad de los sistemas informáticos que se destaca por las altas garantías de corrección que provee. Los sistemas informáticos se modelan como programas probabilísticos y para probar que verifican una determinada propiedad de seguridad se utilizan técnicas rigurosas basadas en modelos matemáticos de los programas. En particular, la seguridad verificada promueve el uso de demostradores de teoremas interactivos o automáticos para construir demostraciones completamente formales cuya corrección es certificada mecánicamente (por ordenador). La seguridad verificada demostró ser una técnica muy efectiva para razonar sobre diversas nociones de seguridad en el área de criptografía. Sin embargo, no ha podido cubrir un importante conjunto de nociones de seguridad “aproximada”. La característica distintiva de estas nociones de seguridad es que se expresan como una condición de “similitud” entre las distribuciones de salida de dos programas probabilísticos y esta similitud se cuantifica usando alguna noción de distancia entre distribuciones de probabilidad. Este conjunto incluye destacadas nociones de seguridad de diversas áreas como la minería de datos privados, el análisis de flujo de información y la criptografía. Ejemplos representativos de estas nociones de seguridad son la indiferenciabilidad, que permite reemplazar un componente idealizado de un sistema por una implementación concreta (sin alterar significativamente sus propiedades de seguridad), o la privacidad diferencial, una noción de privacidad que ha recibido mucha atención en los últimos años y tiene como objetivo evitar la publicación datos confidenciales en la minería de datos. La falta de técnicas rigurosas que permitan verificar formalmente este tipo de propiedades constituye un notable problema abierto que tiene que ser abordado. En esta tesis introducimos varias lógicas de programa quantitativas para razonar sobre esta clase de propiedades de seguridad. Nuestra principal contribución teórica es una versión quantitativa de una lógica de Hoare relacional para programas probabilísticos. Las pruebas de correción de estas lógicas son completamente formalizadas en el asistente de pruebas Coq. Desarrollamos, además, una herramienta para razonar sobre propiedades de programas a través de estas lógicas extendiendo CertiCrypt, un framework para verificar pruebas de criptografía en Coq. Confirmamos la efectividad y aplicabilidad de nuestra metodología construyendo pruebas certificadas por ordendor de varios sistemas cuyo análisis estaba fuera del alcance de la seguridad verificada. Esto incluye, entre otros, una meta-construcción para diseñar funciones de hash “seguras” sobre curvas elípticas y algoritmos diferencialmente privados para varios problemas de optimización combinatoria de la literatura reciente. ABSTRACT The verified security methodology is an emerging approach to build high assurance proofs about security properties of computer systems. Computer systems are modeled as probabilistic programs and one relies on rigorous program semantics techniques to prove that they comply with a given security goal. In particular, it advocates the use of interactive theorem provers or automated provers to build fully formal machine-checked versions of these security proofs. The verified security methodology has proved successful in modeling and reasoning about several standard security notions in the area of cryptography. However, it has fallen short of covering an important class of approximate, quantitative security notions. The distinguishing characteristic of this class of security notions is that they are stated as a “similarity” condition between the output distributions of two probabilistic programs, and this similarity is quantified using some notion of distance between probability distributions. This class comprises prominent security notions from multiple areas such as private data analysis, information flow analysis and cryptography. These include, for instance, indifferentiability, which enables securely replacing an idealized component of system with a concrete implementation, and differential privacy, a notion of privacy-preserving data mining that has received a great deal of attention in the last few years. The lack of rigorous techniques for verifying these properties is thus an important problem that needs to be addressed. In this dissertation we introduce several quantitative program logics to reason about this class of security notions. Our main theoretical contribution is, in particular, a quantitative variant of a full-fledged relational Hoare logic for probabilistic programs. The soundness of these logics is fully formalized in the Coq proof-assistant and tool support is also available through an extension of CertiCrypt, a framework to verify cryptographic proofs in Coq. We validate the applicability of our approach by building fully machine-checked proofs for several systems that were out of the reach of the verified security methodology. These comprise, among others, a construction to build “safe” hash functions into elliptic curves and differentially private algorithms for several combinatorial optimization problems from the recent literature.

Carta del Doctor D. Matheo de la Vega y Xea a un amigo en que le da noticia de las fiestas que la juventud valenciana ... consagró a la reyna del cielo en su concepcion en Gracia, y ... San Luis Gonzaga ... en los dias 20, 21 y 22 de junio de ... 1744

Hay un ejemplar encuadernado con: VILLANCICOS que se han de cantar la noche de Nauidad, en la Iglesia Metropolitana de Valencia, este año de 1687 (XVIII/211).

Fiestas centenarias que en solemne novenario desde el dia 3 hasta el dia 11 de setiembre del presente ano 1747, celebrò la ... villa de Benilloba al ... patriarca San Joaquin, por averle dado por su patron la suerte del cielo contra la peste, que ... afligiò à este Reyno de Valencia en el año 1647

Sign. : A-D4

Oracion funebre, que en las Reales exequias , que por el Rey nuestro señor D. Luis Primero (que este en el cielo) celebro la Real Uniuersidad de Valencia en su Capilla el dia siete de noviembre de este año 1724

Fecha de la aprobacion : 1724

Cielo fauorable para la... monarquia de España : manifestado por los... planetas Saturno y Iupiter en su magna conjuncion : que se celebrarà... el año 1682... en el signo del coronado Leon

Sign.: A-B8

Año virgineo : cuios dias son finezas de la gran Reyna del cielo, Maria Santissima ... : sucedidas aquel mismo dia en que se refieren : añadense à estas, trecientos [sic] y sesenta y seys exemplos, con otras tantas exortaciones, oraciones ...

Sign.: [ ]1, a-c4, A-Z4, 2A-2Z4, 3A-3C4

Modelización higrogeológica en minería : aplicación a drenaje de minas

The aim of this Thesis is to get in deep in the use of models (conceptual and numerical), as a prediction and analytical tool for hydrogeological studies, mainly from point of view of the mining drainage. In the first place, are developed the basic concepts and the parametric variations range are developed, usually used in the modelization of underground f10w and particle transport, and also the more recommended modelization process, analysing step by step each of its sequences, developed based in the experience of the author, contrasted against the available bibliography. Following MODFLOW is described, as a modelization tool, taking into account the advantages that its more common pre/post-treatment software have (Processing MODFLOW, Mod CAD and Visual MODFLOW). In third place, are introduced the criterions and required parameters to develop a conceptual model, numerical discretization, definition of the boundary and initial conditions, as well as all those factors which affects to the system (antropic or natural), developing the creation process, data introduction, execution of morlel, convergence criterions and calibration and obtaining result, natural of Visual MODFLOUI. Next, five practical cases are analysed, in which the author has been applied MODFLOW, and the different pre/post-treatment software (Processing MODFLOW, Mod CAD and Visual MODFLOW), describing for each one, the objectives, the conceptual model defined, discretization, the parametric definition, sensibility analysis, results reached and future states prediction. In fifth place, are presented a program developed by the author which allow to improve the facilities offered by Mod CAD and Visual MODFLOW, expanding modelization possibilities and connection to other computers. Next step it is presented a series of solutions to the most typical problems which could appear during the modelization with MODFLOW. Finally, the conclusions and recommendation readied are exposed, with the purpose to help in the developing of hydrogeological models both conceptuals and numericals. RESUMEN El objetivo de esta Tesis es profundizar en el empleo de modelos (conceptuales y numéricos), como herramienta de predicción y análisis en estudios hidrogeológicos, fundamentalmente desde el punto de vista de drenaje minero. En primer lugar, se desarrollan los conceptos básicos y los rangos de variación paramétrica, habituales en la modelización de flujos subterráneos y transporte de partículas, así como el proceso de modelización más recomendado, analizando paso a paso cada una de sus secuencias, desarrollado en base a la experiencia del autor, contrastado con la bibliografía disponible. Seguidamente se describe MODFLOW como herramienta de modelización, valorando las ventajas que presentan sus software de pre/post-tratamiento más comunes (Proccesing MODFLOW, Mod CAD y Visual MODFLOW). En tercer lugar, se introducen los criterios y parámetros precisos para desarrollar un modelo conceptual, discretización numérica, definición de las condiciones de contorno e iniciales, así como todos aquellos factores que afectan al sistema (antrópicos o naturales), desarrollando el proceso de creación, introducción de datos, ejecución del modelo, criterios de convergencia y calibración, y obtención de resultados, propios de Visual MODFLOW. A continuación, se analizan cinco casos prácticos, donde el autor ha aplicado MODFLOW, así como diferentes software de pre/post-tratamiento (Proccesing MODFLOW, Mod CAD y Visual MODFLOW), describiendo para cada uno, el objetivo marcado, modelo conceptual definido, discretización, definición paramétrica, análisis de sensibilidad, resultados alcanzados y predicción de estados futuros. En quinto lugar, se presenta un programa desarrollado por el autor, que permite mejorar las prestaciones ofrecidas por MODFLOW y Visual MODFLOW, ampliando las posibilidades de modelización y conexión con otros ordenadores. Seguidamente se plantean una serie de soluciones a los problemas más típicos que pueden producirse durante la modelización con MODFLOW. Por último, se exponen las conclusiones y recomendaciones alcanzadas, con el fin de auxiliar el desarrollo del desarrollo de modelos hidrogeológicos, tanto conceptuales como numéricos.

La experiencia de la inclusión de arte efímero en Madrid a través de instituciones regladas. Madrid abierto

La ciudad de Madrid ha experimentado en los últimos siete años pequeñas transformaciones temporales a través de la inserción de actuaciones artísticas urbanas en paralelo a la feria de arte contemporáneo ARCO. A raíz de la feria de arte ARCO surge una interesante iniciativa llamada MADRID ABIERTO consistente en trasladar a la calle aquellas reflexiones artísticas más actuales. Comenzando su ubicación en un contexto físico vinculado directamente con la feria se fue trasladando, en principio, a calles representativas de la ciudad de Madrid y desplazándose, a medida que evolucionaba MADRID ABIERTO hacia barrios menos céntricos.

Análisis de la influencia del borde de salida abierto en perfiles aerodinámicos a bajos números de Reynolds

El objetivo del presente trabajo es analizar la influencia que tiene sobre el comportamiento aerodinámico del perfil el hecho de que este presente un borde de salida más grueso que el perfil original del que se partía. Este estudio se ha centrado fundamentalmente en la influencia sobre su sustentación aerodinámica, resistencia aerodinámica y, especialmente, sobre la eficiencia aerodinámica del perfil, es decir sobre la relación entre la sustentación y la resistencia aerodinámica. También se ha analizado su influencia en otros aspectos aerodinámicos de los perfiles, como la entrada en pérdida, el ángulo de ataque de sustentación máxima, el ángulo de ataque de eficiencia máxima, el coeficiente de momento aerodinámico y la posición del centro aerodinámico. Estas imperfecciones en el borde de salida pueden aparecer en algunos procesos de fabricación de determinados elementos aerodinámicos, como alas de aviones no tripulados o palas de aeroturbina. Este fenómeno no ha sido analizado en profundidad en la literatura científica, aunque si que se ha analizado por varios autores la influencia sobre el perfil con el borde de salida truncado, o perfiles con la parte final regruesada, utilizados en otras aplicaciones. Para la realización de este estudio se han analizado perfiles de distinto tipo, laminares y no laminares, perfiles simétricos y con curvatura, así como perfiles con distinto espesor, a fin de comparar el grado de influencia del fenómeno estudiado sobre cada tipo de perfil para comparar su grado de sensibilidad a dicha anomalía geométrica. El estudio se ha realizado experimentalmente utilizando una cámara de ensayos diseñada específicamente a tal efecto, así como una balanza electrónica para medir las fuerzas y los momentos sobre el perfil, y un escáner de presiones para medir la distribución de presiones en determinados casos. También se ha abordado el estudio del comportamiento de perfiles con borde de salida más grueso que el nominal pero redondeado en vez de romo, con el objeto de analizar la eficacia de redondear el borde de salida, que es uno de los métodos que se puede utilizar para mitigar este efecto. Por otro lado, como el comportamiento de los perfiles aerodinámicos tiene una fuerte dependencia del número de Reynolds, el estudio se ha centrado en el análisis del comportamiento a bajos números de Reynolds debido a su uso reciente en una amplia gama de aplicaciones, desde vehículos aéreos no tripulados (UAV) hasta palas de aeroturbinas de baja potencia, e incluso debido a su uso potencial en aeronaves diseñadas para volar en atmósferas de baja densidad como la que existe en Marte. El interés de este estudio está orientado al establecimiento de criterios para cuantificar la influencia que tiene el hecho de que el borde de salida sea más grueso que el nominal en la degradación de su eficiencia aerodinámica máxima, con el objeto de poder establecer los límites de aceptación o rechazo de estas piezas una vez fabricadas, según el tipo de perfil aerodinámico utilizado. Del resultado del análisis de los casos estudiados se puede concluir que según aumenta el espesor del borde de salida, dentro del intervalo de estudio, la sustentación aerodinámica aumenta, así como la sustentación máxima, pero aumenta en mayor proporción la resistencia aerodinámica, por lo que se produce una reducción de la eficiencia aerodinámica, en particular de su valor máximo. Por otro lado, el hecho de redondear el borde de salida del perfil ayuda ligeramente a reducir este efecto. ABSTRACT The aim of this thesis is to analyze the effects of airfoil trailing edges thickness when this is thicker than the airfoil nominal. Several factors may lead to an airfoil trailing edge being thicker than the nominal airfoil, and this may affect various aerodynamic parameters. This study has focus on its influence on the airfoil’s aerodynamic lift, drag and, particularly on the aerodynamic efficiency of the airfoil, that is, the relationship between the aerodynamic lift and drag. It has also been studied how this fact may alter some other aerodynamic aspects of airfoils, such as stall, angle of attack of maximum lift, angle of maximum efficiency, aerodynamic moment coefficient and aerodynamic center position. These imperfections in the trailing edge may appear in some manufacturing processes of certain aerodynamic elements, such as unmanned aircraft wings or wind turbine blades. This phenomenon has not been deeply analyzed in the literature, although several authors have discussed its influence on airfoil with truncated trailing edge, or airfoils with thickened end, used in other applications. Various types of airfoils have been analyzed, laminar and non-laminar, symmetric and curved airfoils, and airfoils with different thickness, in order to compare the degree of influence of the phenomenon studied on each airfoil type and thus, to estimate the degree of sensitivity to the anomaly geometry. The study was carried out experimentally using a test chamber designed specifically for this purpose, as well as an electronic balance to measure the forces and moments on the airfoil, and a pressure scanner to measure distribution of pressures in certain cases. It has also been investigated the behavior of airfoils with trailing edge thicker than the nominal, but rounded instead of blunt, in order to analyze the effectiveness of the trailing edge rounding, which is one of the methods that can be used to mitigate this phenomenon. Moreover, as the behavior of the airfoil is highly dependent on the Reynolds number, the study has been focused on the analysis of the behavior at low Reynolds numbers due to recent use of low Reynolds numbers airfoils in a wide range of applications, from unmanned aerial vehicles (UAV) to low power wind turbine blades, or even due to their potential use in aircraft designed to fly in low density atmospheres as the one existing in Mars. The main purpose of this research is to establish a set of criteria for quantifying the influence that a thicker-than–nominal-trailing edge has in the degradation of maximum aerodynamic efficiency, aiming at establishing the acceptance limits for these pieces when they are manufactured, according to the type of airfoil used. Based on the results obtained from the analysis of the cases under study it can be concluded that increasing the thickness of the trailing edge, within the range of study, increases aerodynamic lift, as well as maximum lift, but the aerodynamic drag increases in a higher proportion, and consequently there is a reduction of aerodynamic efficiency, particularly, of its maximum value. On the other hand, rounding the trailing edge of the airfoil slightly helps to reduce this effect.

Seminario de estudiantes conuictores que ha abierto la Compañia de Iesus en su colegio de San Pablo de la ciudad de Valencia, para que en el aprendan virtud y buenas letras

Tít. tomado de principio de texto

Looking at the Sky : Spanish Architects for the Third Millenium = Mirando al cielo

Looking at the Sky