Mineralogía aplicada para la pequeña minería

La pequeña minería puede beneficiarse de una forma muy directa de los recientes avances en el campo de la mineralogía aplicada y técnicas relacionadas. La definición tipológica y la modelización de yacimientos han alcanzado tal nivel que pueden permitir derivar conclusiones de alcance práctico, para exploración o incluso para la consecución de créditos, con estudios petrológicos y mineralógicos relativamente sencillos y baratos. Igualmente la aplicación rigurosa de técnicas como el análisis digital de imagen a la microscopía de menas metálicas proporciona, con un coste muy limitado, gran cantidad de información que puede ser vital para controlar la eficiencia del proceso mineralúrgico y para la protección ambiental. Las investigaciones en curso en el Laboratorio de Mineralogía Aplicada muestran la utilidad de estos estudios en diversos casos prácticos en Iberoamérica. Un ejemplo puede ser la pequeña minería de Zaruma-Portovelo (Ecuador), con una tradición secular de beneficio de menas polimetálicas y de metales preciosos.

Innovación en las técnicas de microscopía óptica aplicadas a la industria minera.

En la actualidad está plenamente reconocida la importancia de la caracterización mineralógica en el ámbito de la minería. Su aplicación es fundamental no sólo durante la etapa de diseño del circuito de concentración mineral, sino que se extiende también al control de calidad de los concentrados, al ajuste del circuito frente a variaciones de composición a medida que avanza la extracción en la mina, e incluso a la prevención de contaminación medioambiental. Tradicionalmente, el mineralogista se ha apoyado en el microscopio óptico y el contador de puntos para llevar a cabo la caracterización mineralógica. Sin embargo, una industria minera cada vez más exigente junto con la paulatina desaparición de expertos mineralogistas ha contribuido en gran medida al desarrollo de nuevas técnicas de análisis y a la evolución de las ya existentes. A menudo estas técnicas se apoyan en instrumentos costosos y de difícil mantenimiento (como el microscopio electrónico de barrido y la tecnología QEMSCAN), solo al alcance de grandes compañías mineras. Por todo ello, parece evidente que es necesaria una técnica que pueda realizar una caracterización mineral completa de manera más fiable y rápida que los métodos tradicionales, pero con un coste al alcance de la pequeña y mediana industria minera. El proyecto CAMEVA demuestra que esto es posible mediante un sistema automatizado de caracterización mineral basado en el análisis digital de imagen aplicado a la microscopia óptica de reflexión

Kutná Hora (República Checa): ciudad minera patrimonio mundial

Kutná Hora está relativamente cerca de Praga y está incluida dentro de los circuitos turísticos habituales de la capital. La ciudad minera medieval de Kutná Hora, con su casco histórico, catedral de Santa Bárbara y monasterio cisterciense de Sedlce, fue considerada por la UNESCO como Patrimonio Mundial, en 1995. En ella existe un importante legado histórico-minero. Las ricas minas medievales de plata y la acuñación de una moneda de prestigio en Europa, el gross praguense (“groschen” en lengua germánica), hicieron famosa a esta ciudad, que se convirtió en la segunda población de Bohemia en importancia tras Praga

Técnicas de investigación minera aplicadas a la Arqueología.

Hoy nos encontramos a las puertas de una nueva aplicación para una serie de técnicas mineras que hasta ahora habían tenido su máximo apogeo en una serie de actividades de carácter minero-económico principalmente. Nos estamos refiriendo al campo de la Arqueología, cuya aplicación ha hecho posible la aparición de nuevas ramas de la Ciencia Aplicada como la Arqueofísica, Teledetecci6n en arqueología, etc. A través de ellas se han logrado resultados espectaculares posibilitando una planificación mejor a la hora de la excavación. De esta manera el empleo de forma sistemática de la Prospección Arqueológica previa a todo tipo de excavación ha dado lugar a una colaboración f fructífera interdisciplinaria con un cambio de mentalidad en las relaciones de las Ciencias Humanas y de las Ciencias Aplicadas

Condicionantes ambientales a la actividad minera del P.R.U.G. del Parque Regional del Sureste (Madrid): análisis de acciones restauradoras prioritarias y sus oportunidades ecológicas en las explotaciones autorizadas y no activas del parque

El Parque Regional del Sureste (declarado mediante la Ley 6/1994, el 28 de junio) representa uno de los espacios de mayor interés y singularidad ambiental de la Comunidad de Madrid y, a la vez, una zona sujeta a grandes presiones derivadas del aprovechamiento minero de sus recursos, intensificado desde los años 70. La reciente aprobación del Plan Rector de Uso y Gestión del Parque (P.R.U.G., Decreto 9/2009, de 5 de febrero) recoge y consolida legalmente la gestión encaminada a salvaguardar y mejorar sus valores ambientales. Respecto a la actividad minera, el aspecto fundamental del P.R.U.G. es que ordena y hace compatible el aprovechamiento de recursos mineros mediante una zonificación y limitación superficial de explotación, para lo que contempla de forma específica el caso de las explotaciones no activas. El estudio llevado a cabo analizó la situación administrativa y progreso de la restauración de las explotaciones inactivas del Parque, interpretadas a la luz de las acciones impuestas por el P.R.U.G. El establecimiento de unas prioridades de actuación que subsanasen situaciones incompatibles con lo establecido supuso la base para formular unas recomendaciones de restauración y uso, a partir del examen del contexto territorial y potencialidades ecológicas de las explotaciones, que respondieran al objetivo de ordenación y mejora de recursos ambientales y sociales del Parque.

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.

Sistema abierto de Televisión Digital Terrestre (TDT) accesible para personas con deficiencia visual

Este artículo detalla el diseño, implementación y validación de un sistema abierto de Televisión Digital accesible para personas con deficiencia visual. La solución facilita que este colectivo pueda acceder a los contenidos de la guía electrónica de programación recibidos a través de la TDT, pudiendo configurar a demanda la interfaz de usuario gráfica (IGU) y la síntesis de voz (TTS). Se presenta el análisis de sistemas existentes, requisitos demandados por este colectivo y tecnologías disponibles, tanto de TDT como de TTS, con el fin de elegir las más apropiadas con criterios de accesibilidad, interoperabilidad y bajo coste. Los resultados obtenidos en la investigación demuestran que el sistema desarrollado es congruente con los criterios del Diseño para Todos según constata la validación realizada. El sistema ofrece combinaciones de colores y fuentes (contraste, tamaño) para diferentes necesidades de la deficiencia visual, y utiliza TTS local y adaptable para las personas con ceguera.

RVDynDB: Repositorio abierto para el intercambio de datos dinámicos de vehículos ferroviarios

En este artículo se describe el proceso de diseño e implementación de la base de datos RVDynDB (Rail Vehicle Dynamic parameters DataBase), que pretende ser un extenso repositorio de los modelos de dominio público empleados en la simulación dinámica de vehículos ferroviarios en todo el mundo. Atendiendo a sus características de flexibilidad, extensibilidad e independencia de la plataforma, se ha escogido un modelo de datos XML, que facilita el almacenamiento de datos de procedencia muy heterogénea, al tiempo que permite compartir el contenido de la base de datos con otros usuarios a través de internet. Se ha presentado también el lenguaje RVDynML (Rail Vehicle Dynamic parameters Markup Language), que define la estructura de la información almacenada en la base de datos. Al ser un lenguaje basado en XML, con el tiempo podría llegar a convertirse en un estándar para el intercambio de datos sobre los principales parámetros constructivos que definen el comportamiento dinámico de los vehículos.Se han seleccionado 173 referencias bibliográficas, cuyos datos se han utilizado para construir la base de datos, constituida por un total de 957 registros. Finalmente, se ha desarrollado una aplicación específica con MATLAB para gestionar las búsquedas en la base de datos. Para ello se ha empleando una API de Java que proporciona una interfaz para el DOM, que permite permiten acceder, modificar, insertar o eliminar los elementos y atributos que componen un documento XML.

Coeficiente de absorción a incidencia normal de espumas de aluminio de poro abierto fabricadas mediante el método de infiltración

Dependiendo de la conexión entre sus poros, las espumas metálicas se clasifican en espumas de poro abierto o poro cerrado. La mayoría de las espumas que se comercializan actualmente son espumas de poro cerrado. Sin embargo, para algunas aplicaciones son más apropiadas las espumas de poro abierto. En este trabajo, se estudia el coeficiente de absorción en tubo de impedancia de espumas de aluminio de poro abierto fabricadas mediante el proceso de infiltración. Estas espumas se caracterizan por una estructura muy homogénea y por un elevado valor del coeficiente de absorción a bajas frecuencias cuando se combinan con una cámara de aire

La minería en la Comunidad de Madrid

Madrid es una provincia minera con más de cien explotaciones en activo (rocas ornamentales y de construcción, áridos naturales y de machaqueo, arcillas comunes y especiales, yeso, caliza, cal, sulfato sódico, etc.). Ya no se explotan minas metálicas como en el pasado, aunque en la sierra hubo más de un centenar de labores. Las últimas desaparecieron a finales del siglo xx. También hubo importantes salinas, fábricas de vidrio y otras industrias minero-metalúrgicas

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

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.

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.