Problemas del Conocimiento en Ingeniera y Geologa, Vol. I L. A. Godoy (Editor) Editorial Universitas, Crdoba, Agosto 2003, pp.

65-76

VERIFICACIN Y VALIDACIN DE MODELOS GEOQUMICOS REALIZADOS CON UN SOFTWARE ESPECFICO

Karina L. Lecomte
Centro de Investigaciones Geoqumicas y Procesos de la Superficie (CIGeS), Facultad de Ciencias Exactas Fsicas y Naturales, Universidad Nacional de Crdoba Avenida Vlez Sarsfield 1611, X5016GCA, Crdoba klecomte@efn.uncor.edu

Resumen: La verificacin y validacin de modelos son problemas comunes con los que se encuentra un investigador de Geologa, ya que es muy complicado poder reunir las condiciones necesarias para asegurar la verdad. En este trabajo se analizan los criterios utilizados para determinar la aceptabilidad de los resultados por autores de artculos que han utilizado softwares como herramientas para lograr ciertos resultados. Se clasifica el tipo de verificacin o validacin realizada. Los resultados obtenidos permiten reflexionar sobre algunas de las formas de validacin utilizadas por investigadores geoqumicos en sus trabajos cientficos. Se observa la importancia de una verificacin y validacin adecuada, para poder extrapolar los resultados del modelo a otras situaciones similares y poder as, predecir nuevos sucesos. Palabras clave: Modelos geoqumicos, hidroqumica, verificacin, validacin.

65

INTRODUCCIN

Este trabajo trata sobre cuestiones epistemolgicas dentro de la geoqumica, en la que este tipo de problemas son escasamente tratados. Se reflexiona sobre los criterios que son utilizados usualmente por parte de los autores de artculos publicados en revistas internacionales, para validar los resultados obtenidos a partir de un modelo geoqumico. Un modelo es un sistema en s, es una representacin simple de la realidad que se pueden trasladar a otros sistemas con ciertas caractersticas comunes y definidas. El estudio de la interaccin agua-roca y el transporte de especies acuosas en medios con poros saturados, se han convertido en uno de los mayores problemas ambiental y geolgico en los ltimos aos. Los modelos qumicos para sistemas acuosos son parte de una investigacin activa para el desarrollo de la integracin de numerosos cdigos de transporte hidrogeoqumico. En general estos modelos se utilizan para predecir el comportamiento de contaminantes txicos en la superficie, lo que logra que exista una necesidad de verificacin y validacin de modelos numricos para determinar la eficacia de ellos. La verdad del conocimiento cientfico es una de las preocupaciones de los filsofos de la ciencia. La verificacin del modelo (de los componentes matemticos) no garantiza la verdad de los resultados, sino la correcta resolucin de los componentes matemticos, qumicos, geolgicos del modelo. Por el contrario, la palabra validar denota la representacin real de los resultados. Suponiendo que la base de conocimientos ha sido verificada, la validacin asegura que el conocimiento que contiene representa correctamente y simula un dominio de conocimientos. Sin embargo, vlido puede ser til para describir los procesos representados por un modelo, pero no referido a los resultados de los modelos. Estos pueden o no ser vlidos, dependiendo de la calidad de los datos ingresados. El propsito de este trabajo es analizar cmo se verifican y validan los resultados de los modelos hidrogeoqumicos obtenidos de un programa computacional, estudiando la forma especfica en que diversos autores lo realizan. Como primera instancia, se realizar una breve descripcin de cules son los tipos de validacin que se tendrn en cuenta. Luego se proceder a analizar la publicacin de Freedman e Ibaraki (2003) que se refiere a la verificacin de los modelos. A continuacin, se analizarn diferentes trabajos publicados donde los autores utilizan los modelos geoqumicos como herramienta y se identificarn los criterios usados para las validaciones de los modelos, tratando de definir qu tipo de comparacin utilizaron. Por ltimo, se mostrarn los resultados en una tabla comparativa.

66

MARCO TEORICO Los Modelos Geoqumicos para flujos de agua

La composicin qumica del agua y de los suelos es variable y sujeta a procesos heterogneos, cada uno de ellos controlados por una gran cantidad de factores. Es por ello que tratar de explicarla y de predecir su comportamiento es una tarea ardua, sobre todo como consecuencia de la cantidad de clculos que estn involucrados. A partir del desarrollo de modelos, esta tarea se ha visto considerablemente simplificada. En hidrologa e hidrogeologa, el uso de estos modelos es muy amplio y muchos programas que modelan el flujo y movimiento de agua llevan incorporados un modelo de equilibrio qumico de tal manera que es posible predecir la distribucin de un determinado contaminante en cualquier punto a lo largo del curso de agua o del acufero. Aunque en la naturaleza no existan situaciones de equilibrio, estos modelos constituyen una herramienta til para la interpretacin de los fenmenos observables. Los modelos geoqumicos son aplicables para la resolucin de diversos problemas de la geologa. Para realizar los modelos, se utiliza un software que presenta una interfase con el conocido programa de modelado geoqumico PHREEQC (Parkhurst, 1995). Estos Modelos Geoqumicos estn diseados especficamente para el anlisis de datos de aguas. Contiene una base de datos completa y provee una seleccin comprehensiva de herramientas para el anlisis y tcnicas grficas usadas comnmente para interpretar, comparar y graficar datos geoqumicos de aguas. Se realizan modelos fsicos-qumicos que permiten representar cuantitativamente los procesos de meteorizacin que ocurren a partir del contacto agua-roca entre dos puntos de una cuenca; esto es, determinar y cuantificar el conjunto de reacciones qumicas entre fases minerales y/o gaseosas y el agua, que explican los cambios en la concentracin de elementos disueltos entre una solucin o mezcla de soluciones (definida como inicial) y una solucin final. Para ello, es necesario ingresar los datos de la composicin qumica de las soluciones involucradas y las fases (minerales o gaseosas) que podran intervenir en las reacciones, incluyendo los posibles procesos que podran explicar las diferencias entre las soluciones. El resultado del software est dado por el o los modelos que encuentra a partir del conjunto de datos ingresados inicialmente, adems de una serie de datos referidos especficamente a los clculos que el programa realiza durante la transformacin y para el procesamiento de datos. Para ello, es necesario ingresar la composicin qumica de las soluciones involucradas y las fases que podran intervenir en las reacciones. La habilidad de definir soluciones mltiples junto con la capacidad de determinar la asociacin de las fases estables, permite el desarrollo del modelado de transporte en una dimensin. Es un mtodo simple para simular el movimiento de soluciones a travs de una

67

columna. Se permite definir las incertezas en los datos analticos, para que el modelo pueda satisfacer el balance molar para cada elemento, el estado de valencia y balance de cargas para la solucin. (Parkhurst, 1995). 3 VERIFICACIN Y VALIDACIN

Los modelos geoqumicos se crean con el objetivo de representar una realidad para poder simular o predecir su comportamiento. El conocimiento generado en este tipo de modelos es de tipo representativo. Las predicciones se pueden trasladar a otros sistemas con caractersticas similares, dentro de ciertos lmites. En cada problema en particular, se pueden identificar distintos niveles de representacin, los cuales estn escritos en lenguajes diferentes pero compatibles entre s (Godoy y Dardati, 2001). En la mecnica computacional se encuentran: 1- El problema que es necesario resolver 2- El fenmeno fsico que caracteriza el problema 3- La teora que explica el fenmeno 4- La expresin matemtica de la teora 5- La expresin matemtica particularizada, correspondiente al caso en estudio 6- La resolucin de la expresin matemtica particularizada mediante algoritmos 7- La implementacin computacional de los algoritmos Se puede observar que la realidad de los resultados va a estar determinada por muchos factores. La verificacin y validacin ayuda a que estos resultados sean ms confiables. Ambas proveen un mecanismo para desarrollar una evaluacin formal desarrollada del sistema basado en conocimiento. Se deben descubrir y luego eliminar cualquier error o inadecuacin del sistema. Es importante distinguir entre los trminos verificacin y validacin en un contexto apropiado. La verificacin o validacin interna, tiene como objetivo asegurar la existencia de una relacin entre las especificaciones del sistema y lo que el sistema hace realmente. Consiste en construir la representacin de manera correcta (resolver correctamente las ecuaciones). Adems asegura que el sistema este libre de errores. La verificacin de estos modelos se define como una comprobacin de que se resuelven adecuadamente el set de ecuaciones qumicas y de meteorizacin. Es necesaria e importante ya que implica la capacidad del modelo de obtener un resultado acorde con el planteo matemtico representativo de este. Sin embargo, esta validacin no asegura la verdad del conocimiento resultante. La validacin propiamente dicha, consiste en construir la representacin correcta (resolver las ecuaciones correctas de cada problema determinado). Su objetivo es asegurar que los resultados del modelo son correctos con relacin al comportamiento del sistema que se estudia; esto quiere decir, que la hidrologa y la geoqumica simuladas representan un sistema hidrogeoqumico real. Se pueden realizar aproximaciones pragmticas mientras se consideren reas donde se conoce que el modelo funciona exitosamente. Tampoco aqu se puede asegurar

68

la verdad de los resultados, ya que esta va a depender de la calidad de los datos de ingreso. Para ello, es necesario tener una base de conocimientos geolgicos y de la geologa del rea (litologa, clima, geomorfologa, adems de mineraloga, etc). En la bibliografa, se establecen criterios de validacin. Algunos consisten en comparaciones con resultados disponibles, otros requieren la generacin de nuevos resultados para comparar, mientras que otros se basan en respuestas de expertos. Algunos de estos criterios son utilizados tanto para la verificacin como para la validacin de modelos. Segn Godoy y Dardati (2001), se pueden clasificar los tipos de validacin (segn comparaciones con resultados disponibles) como sigue: I. Comparacin con otras soluciones numricas: se relacionan los resultados encontrados por el modelo con otra solucin, identificando la proximidad entre ellos. Es decir, validan los resultados aproximados, con otros tambin aproximados, obtenidos por otros autores u otros mtodos. No implica una comprobacin de la representacin de la realidad del modelo. Este tipo de comparacin tambin se utiliza para verificar el modelo, cuando no es posible verificarlo de otra forma (Freedman e Ibaraki, 2003). II. Comparacin con soluciones analticas: en este caso se debe suponer que el investigador est de acuerdo con la teora que sustenta la formulacin analtica y con el planteo matemtico de la misma, ya que tambin se puede utilizar para la verificacin del modelo. Si este cdigo numrico falla al reproducir una solucin analtica, debe haber un problema con la formulacin del modelo (Freedman e Ibaraki, 2003). Se da un tratamiento computacional a algo que admite una respuesta analtica y es posible slo para casos extremadamente sencillos, ya que se necesitara una solucin analtica exactamente igual a la que se tiene en manos. III. Comparacin con resultados experimentales: este tipo de validacin es la que parece ser mejor, ya que estara manifestando la concordancia del modelo con una realidad presentada. Sin embargo, obtener resultados de experimentos suele ser una tarea muy compleja y pueden aparecer errores si no se tiene en cuenta una correcta consideracin de las condiciones del entorno. Se corre el riesgo de que el modelo slo funcione para un caso en particular y que no sea capaz de predecir para otra situacin similar, o bien, de que los resultados obtenidos no representen fielmente la realidad. IV. Comparacin con benchmarks: a veces es posible validar los resultados con normas institucionalizadas. Estn constituidos por conjuntos de problemas de todos los temas bajo anlisis. Se disean de manera de satisfacer ciertos requisitos. Aunque los modelos numricos puedan jugar un rol esencial en cuanto a cuantificar los efectos interdependientes de los procesos de transporte y transformacin, persisten las incertezas. 4 DISCUSION

69

La verificacin de modelos FREEDMAN, V. L., IBARAKI, M. (2003), "Modelo integrado de transporte de masas y flujo: problemas de la verificacin del modelo" Estos autores realizan una breve descripcin de las ecuaciones gobernantes y una aproximacin al desarrollo de un modelo integrado de densidad-dependiente y transporte de masas (DART). Luego se verifica el modelo: No existen soluciones analticas exactas accesibles para el transporte multicomponente de masas, por esto el modelo DART se verifica comparando sus resultados con otros modelos numricos presentes en la literatura. La verificacin se desarrolla en cuatro estadios. En el primero, se controla el cdigo de flujo de densidad-dependiente con una comparacin entre una solucin analtica y el modelo en el que DART est basado. En el segundo estadio, se verifica el equilibrio qumico con dos programas computacionales distintos (PHREEQC Y GIMRT), bajo la suposicin de densidad constante. En el tercero, se verifican las reacciones cinticas entre el mineral y el agua, comparando los resultados de dos modelos, DART y GIMRT. Los resultados de estos tres estadios concuerdan razonablemente bien con los ejemplos simulados. Por ltimo, en el cuarto estadio de la verificacin de modelo, DART se compara con otro programa, DYNAMICS, el cual involucra un modelado del transporte de uranio bajo condiciones variables de pH y potencial de oxidacin. Se desarrolla este estadio en forma completa, comparando los resultados parciales y finales de ambos modelos. En general los resultados de ambos modelos fueron comparables, las predicciones fueron iguales, y las conclusiones generales tambin. Se encontraron diferencias en la dispersin y velocidad del transporte, atribuidas a diferencias en los esquemas utilizados en ambos modelos. Tambin los picos de concentracin de uranio presentan distinta magnitud, otorgadas a las condiciones iniciales (pE) de cada sistema. Se puede observar que las hiptesis simuladas por el modelo de transporte, en general fueron verificadas por otros modelos, a pesar de las diferencias en las formulaciones de los modelos. El primer estadio fue el nico que utiliz una solucin analtica para verificar los resultados, coincidiendo con el segundo tipo de los criterios de validacin. En el cuarto estadio, los resultados de los modelos mostraron algunas diferencias, pero como conclusin, asociaciones de minerales y patrones de transporte de uranio fueron similares. Sin embargo, es necesaria la validacin del modelo para determinar si representa el sistema simulado.

70

Criterios de validacin utilizados en modelos geoqumicos por varios autores Se analizan varias publicaciones con el objetivo de conocer cmo los investigadores dedicados a la geoqumica validan los resultados de los modelos. Los trabajos estn contenidos en diferentes revistas cientficas de nivel internacional. Todos ellos utilizaron un software para la realizacin de algn modelo geoqumico con objetivos en particular. Se clasificaron a partir de los distintos tipos de validacin mencionados ms arriba. Se realizar una breve descripcin de la validacin utilizada por cada autor. a) MARTIN, J. B, DEAN, R. W. (2001), Intercambio de agua entre conductos y matriz en el acufero Florida El flujo a travs de acuferos carbonticos puede estar dominado por conductos, por porosidad intergranular o debido a fracturas, o puede ocurrir que tanto los conductos como la porosidad de la matriz estn bien desarrollados. En este ltimo caso, el intercambio de agua entre conductos y matriz podra tener implicaciones importantes para el manejo del agua y los modelos hidrodinmicos. Tambin es importante para la calidad del agua subterrnea y las reacciones de disolucin. Los autores estudian un acufero carbontico, el intercambio de agua entre los conductos y la matriz. La exactitud de las medidas de los anlisis qumicos (cationes y aniones) fue controlada calculando un balance de cargas a travs de un modelo (PHREEQC). Los imbalances fueron atribuidos a diferencias en las condiciones de la poca de muestreo. En este caso, no se validaron los resultados. Luego utilizan el modelo geoqumico para calcular la saturacin del agua con respecto a la calcita, usando independientemente la alcalinidad y la concentracin de DIC (carbono inorgnico disuelto) de todas las muestras. Los ndices de saturacin calculados fueron muy similares en ambos casos y esa es una forma de validar los resultados del tipo (I). b) GARCIA, M. G., HIDALGO, M., BLESA, M. A. (2002), Influencia del agua superficial contaminada en los acuferos del valle del ro Sal, Tucumn, Argentina. La conexin hidrulica entre el ro Sal y los acuferos desarrollados en los sedimentos que conforman su valle no est aun definida. La calidad del agua superficial est fuertemente perturbada como consecuencia del vertido de una fuerte carga orgnica y la presencia de elevadas concentraciones de algunos metales pesados. En este caso, se utilizaron los modelos para calcular la composicin de un agua resultante de la mezcla de agua del ro y de lluvia. Se valida el resultado, basndose en una comparacin de la concentracin total de los cationes y aniones calculada con el modelo, con el contenido de todos los iones mayoritarios medidos en un anlisis qumico en el acufero. Se tienen ciertas consideraciones (como tomar al agua de lluvia como agua pura con una cierta concentracin

71

de Cl-). Se seala que la convergencia de los datos modelados y medidos es buena. Se observa que el tipo de validacin utilizado es del caso (II). Una conclusin del trabajo, es ver cmo una herramienta (modelados geoqumicos a travs de PHREEQC) ayuda a estimar el grado de influencia en la composicin qumica entre un acufero y aguas superficiales contaminadas. c) ULIANA, M.M., SHARP Jr J. M. (2001), Trazado de las lneas de flujos regionales hacia los arroyos principales en Trans-Pecos Texas usando datos y modelos geoqumicos Con los modelos geoqumicos desarrollados a partir de PHRREQC, se identifican reacciones de fases minerales que pueden explicar la qumica observada del agua subterrnea. Se determina cul es el arroyo del cual pertenece una muestra en particular (target). Se estiman los porcentajes del caudal del arroyo bajo condiciones de tormenta y de flujo de base. Se escogen las fases minerales y gaseosas ingresadas. Se realizan modelados inversos y los resultados los utilizan para corren modelos directos. Los resultados de los modelos directos se comparan con la qumica de la solucin target usando el coeficiente de correlacin cuadrado de Pearson (r2) (Adler y Roessler, 1972) para cuantificar la similitud entre los resultados de los modelos y la solucin target. Este es una validacin de tipo (I). Tambin se comparan los resultados de los modelos, en cuanto a las fases que precipitan y las que se disuelven, con los ndices de saturacin de los minerales. Las observaciones que obtuvieron a partir de estos resultados, fue que las reacciones que se producen son de dolomitizacin, las que tambin ocurrieron en otros acuferos similares, lo que indicara que las predicciones se pueden transferir a otros sistemas. d) EARY, L. E., RUNNELLS, D. D., ESPOSITO, K. J. (2002), Controles geoqumicos en la composicin del agua subterrnea en el Distrito Minero Cripple Creek, Cripple Creek, Colorado Se utiliz una combinacin de evaluaciones de informacin histrica, tendencias composicionales, sitios mineralgicos y modelos geoqumicos directos e inversos, para conocer el efecto de una mina de oro en la calidad del agua subterrnea en una localidad dada. En este caso los autores explican cual es el input de los datos. Utilizan algunos valores medidos en el campo, otros calculados en laboratorio, etc. Los metales que estn por debajo del lmite de deteccin no fueron incluidos. Con los modelos se especificaron las reacciones de disolucin y precipitacin que pueden explican los cambios observados en la composicin del agua con la profundidad. Los resultados tanto analticos de la precipitacin activa de calcita y yeso del agua subterrnea, como de la descripcin mineralgica de oxihidrxidos de hierro, coinciden con los resultados de los modelos geoqumicos. Es una validacin de tipo (II).

72

Otro resultado del modelo indica que la composicin del agua est sobresaturada en CO2 (g), lo cual se compara con observaciones de efervescencia del agua, adems de que se conoce histricamente por mineros, la elevada concentracin de ese gas en niveles muy profundos. Los resultados de los modelos directos coinciden con los del inverso. Otros resultados de los modelos, especialmente de sobre o subsaturacin de ciertos minerales, no son validados. e) ROUTH, J., IKRAMUDDIN, M. (1996), Geoqumica de elementos traza de Onion Creek cerca de la mina de plomo-zinc Van Stone (Washington, USA)Anlisis qumico y modelados geoqumicos En este artculo el modelo MINTEQA2 (una herramienta cuantitativa para predecir el comportamiento de los metales en dilucin en equilibrio y mezcla de sistemas acuosos, Allison et al., 1991) se utiliz para simular el efecto de la distribucin de elementos traza en las reacciones de disolucin-precipitacin y la adsorcin de plomo y zinc. Se explican los datos ingresados y las causas de la eleccin de un xido de hierro en vez de otros xidos para la realizacin del modelo. Los resultados sostuvieron las inferencias realizadas a partir reobservaciones del campo y de los datos qumicos. A partir de anlisis de difraccin de rayos X, se compar la presencia de ciertos minerales en muestras de sedimentos con la predicha por el modelo (validacin tipo II). f) LECOMTE, K. L., PASQUINI, A. I., DEPETRIS, P. J. (2003), Meteorizacin mineral en un ro de montaa en condiciones semiridas: su evaluacin a travs del modelado inverso PHREEQC En este trabajo se examina los factores que controlan la meteorizacin, simulando la disolucin y precipitacin de fases minerales en una cuenca hdrica de montaa, con PHREEQC. Se explican cules son y por qu los datos ingresados. Se realizan varios modelos inversos a lo largo de la cuenca, teniendo en cuenta las diferencias litolgicas y geomorfolgicas, y se comparan entre s. La validacin que se realiza es comparando la suma de los resultados de dos modelos (uno de la cuenca media y otro de la baja) con el valor de un modelo total de esa zona. Tanto las fases activas como la cantidad de moles que reaccionan son similares (validacin tipo I). En la figura 1 se muestra la clasificacin de los trabajos analizados, segn el criterio de validacin empleado. La mayora validan slo una parte de los resultados. El resto son interpretados por los autores para obtener las conclusiones.

73

Existe validacin NO Interpretacin de datos SI Con soluciones numricas... Con soluciones analticas I II

Con experimentos. III Con benchmarks... IV Figura 1. Criterio utilizado para la clasificacin de los tipos de validacin (Godoy, Dardati, 2001).

En la tabla 1, se presenta la clasificacin de los trabajos analizados, teniendo en cuenta el tipo de validacin empleada en cada uno. Los artculos se identifican por la letra en el orden en que fueron analizados.
TIPO DE VALIDACIN Ninguna I II III IV Observacin Tabla 1. a, c, f b, d, e a, c, e PUBLICACIONES

En la tabla se incluy la observacin como un tipo de validacin, ya que se reconoce que en esta rama de la Geologa, es muy comn validar un resultado a travs de este mecanismo. Todos los trabajos tienen un tipo de validacin, algunos estn acompaados por observacin y otros presentan parte sin validar. Se observa que no hay publicaciones con validacin de tipo benchmarks. Esto se debe a que en lo que se refiere a modelos geoqumicos, no existen actualmente estos comparadores institucionalizados. Ninguno de los trabajos cientficos analizados presenta una validacin de los modelos desarrollados mediante comparaciones con resultados de experimentos. Esto es a causa de que en el rea de la Geoqumica, es difcil encontrar un fenmeno o proceso que ocurra de alguna forma aislada tal que se pueda reproducir exactamente en un experimento. Sin embargo, dentro de la qumica, se pueden llegar a representar ciertos procesos en particular, por

74

ejemplo la adsorcin de un elemento a una superficie, y se pueden obtener resultados muy adecuados. La cantidad de artculos analizados no es suficiente como para realizar un estudio muy completo, pero se puede decir que los tipos de validacin que con ms frecuencia realizaron los autores son comparaciones con soluciones analticas y comparaciones con otros resultados numricos. Los ejemplos son validados utilizando los siguientes mtodos: 5 Comparacin de los resultados obtenidos con el mismo programa, pero desde dos puntos de partida (alcalinidad y DIC). Comparacin entre la medicin de cierta concentracin en un anlisis qumico, y el resultado del modelo. Comparacin los resultados de la composicin qumica de aguas a partir de los modelos con la composicin de una solucin target, a travs del coeficiente de correlacin cuadrado de Pearson. Observacin a partir de la comparacin de un proceso (dolomitizacin) con otros sistemas. Comparacin de resultados analticos y observados de fases precipitadas con los de los modelos. Observacin de efervescencia del agua comparada con el resultado modelado de sobresaturacin de CO2 (g). Observacin de coincidencia entre modelos inversos y directos. Comparacin de minerales en sedimentos obtenidos a partir de anlisis de rayos X, con los del modelo. Comparacin de la suma de resultados de dos partes (cuenca media y baja) con un resultado total.

CONCLUSIONES Los modelos geoqumicos son validados por los autores con diferentes mtodos. La verificacin se realiza, en general por comparacin entre resultados de simulaciones de distintos programas. Para validar se supone un acuerdo previo con la teora matemtica utilizada por el programa. Los tipos de validacin ms utilizados son: comparacin con soluciones numricas y comparacin con soluciones analticas. El tipo de validacin III (experimentos) no es muy comn encontrarlo en la bibliografa hidrogeoqumica por su difcil representacin del sistema en el laboratorio. Los benchmarks, por el momento est fuera del alcance de los investigadores geoqumicos de superficie..

75

En geologa es comn utilizar, adems de las otras comparaciones, la observacin como un tipo de validacin. La verificacin y/o la validacin no garantizan que los resultados sean correctos, depende de la calidad de los datos de ingreso y del conocimiento geolgico a la hora de interpretar.

AGRADECIMIENTOS

Quiero agradecer a todas las personas que estuvieron conmigo y me apoyaron durante el curso, especialmente a los integrantes del CIGES (Pedro, Andrea, Gaby, Gabriela, Diego, Eduardo, Estela y Jorge). 7 BIBLIOGRAFIA

Adler, H.R., Roessler, E.B., 1972. Introduction to Probability and Statistics. 5th edn. Freeman, San Francisco, 206. Allison, J.A., Brown, D.S., Novo-Gradac, K.J., 1991. MINTEQA2/PRODEFA2, A geochemical assessment model for environmental systems: Versionn 3.0 users manual. U.S. Environ. Prot. Agency, EPA/600/3-91/021, 106. Eary, L.E., Runnels, D.D., Esposito, K.J. in press. Geochemical control son ground water composition at the Cripple Creek Mining District, Cripple Creek, Colorado. Applied Geochemistry. Freedman, V.L., Ibaraki, M., 2003. Coupled reactive mass transport and fluid flow: Issues in model verification. Advances in Water Resources 26, 117-127. Garcia, M.G., Hidalgo, M., Blesa, M.A., 2002. Influence of polluted surface water on the aquifers of the Sal River valley, Tucumn, Argentina. Groundwater and Human Development. Bocanegra, E - Martnez, D - Massone, H (Eds.) ISBN 987-544-063-9 Godoy, L.A., Dardati, P.M., 2001. Validacin de modelos en mecnica computacional. Mecnica computacional Vol 20, 663-670. Lecomte, K.L., Pasquini, A.I., Depetris, P. J., enviado. Mineral weathering in a semiarid mountain river: Its assessment through PHREEQC inverse modeling. Applied Geochemistry. Martin, J.B, y Dean, R.W., 2001. Exchange of water between conduits and matrix in the Floridan aquifer. Chemical Geology 179, 145-165. Parkhurst, D.L., 1995. Userss Guide to PHREEQC- A Computer Program for Speciation Reaction- path, Advective-transport, and Inverse Geochemical Calculations. Water Resources Investigation Report 95-4227, US Geological Survey, Lakewood, Colorado. Routh, J., Ikramuddin, M., 1996. Trace-element geochemistry of Onion Creek near Van Stone lead-zinc mine (Washington, USA)- Chemical analysis and geochemical modeling. Chemical Geology 133, 211-224. Uliana, M.M., Sharp, J.M., 2001. Tracing regional flow paths to major springs in Trans-Pecos Texas using geochemical data and geochemical models. Chemical Geology 179, 5372.

76