Modelos matemáticos en flujos atmosf��ricos

El movimiento de grandes masas de aire en la atm��sfera en las latitudes medias, est�� controlado principalmente por el llamado balance geostr��fico. Este es un balance entre la fuerza de Coriolis y el gradiente de presi��n matem��ticamente an��logo al balance hidrost��tico que da lugar a las ecuaciones de Saint Venant en el estudio de ondas de gravedad en aguas poco profundas. La utilizaci��n de este balance como primer t��rmino en la expansi��n asint��tica sistem��tica de las ecuaciones de movimiento, da lugar a una evoluci��n temporal que est�� controlada por las llamadas ecuaciones cuasi-geostr��ficas. La din��mica regida por las ecuaciones cuasi-geostr��ficas da lugar a la formaci��n de frentes entre masas de aire a distintas temperaturas. Se puede conjeturar que estos frentes corresponden a los observados efectivamente en la atm��sfera. Dichos frentes pueden emitir ondas de gravedad, que evolucionan en escalas de longitud y tiempo mucho menores que las mesoescalas del balance geostr��fico y corresponden por lo tanto, a mecanismos f��sicos ignorados por el modelo cuasi-geostr��fico. Desde un punto de vista matem��tico la derivaci��n del modelo cuasi-geostr��fico "filtra" las frecuencias altas, en particular las ondas de gravedad. Esto implica que, para entender el proceso de formaci��n de estas ondas es necesario desarrollar un modelo mucho m��s amplio que contemple la interacci��n de las mesoescalas cuasi-geostr��ficas y las microescalas de las ondas de gravedad. Este es un problema an��logo al estudio de los efectos de la inclusi��n de un t��rmino dispersivo peque��o en una ecuaci��n hiperb��lica no lineal. En este contexto, cuando la parte hiperb��lica genera un frente de choque, la dispersi��n produce oscilaciones de alta frecuencia cuyo estudio es un problema abierto y de mucho inter��s. Con la combinaci��n de cuidadosas expansiones asint��ticas, estudios num��ricos y an��lisis te��ricos, desarrollaremos y estudiaremos un modelo matem��tico simplificado para el estudio de los fen��menos mencionados.

Modelo integrado de cuantificaci��n del nivel de significaci��n y de asignaci��n del error tolerable en procesos de auditor��a de estados contables

El objetivo que persigue un proceso de auditor��a de estados contables es la comunicaci��n por parte del auditor de una conclusi��n en relaci��n al grado de razonabilidad con que tales estados reflejan la situaci��n patrimonial, econ��mica y financiera del ente de acuerdo a los criterios plasmados en las normas contables de referencia a ser utilizadas. El hecho que un auditor emita una conclusi��n err��nea como consecuencia de su labor puede implicar la asunci��n de responsabilidades profesionales, civiles y penales como consecuencia de reclamos de usuarios de los estados contables que pudieran haberse visto perjudicados como consecuencia de la emisi��n de la conclusi��n err��nea. Las normas contables a nivel nacional e internacional admiten la existencia de errores u omisiones en la informaci��n contenida en los estados contables, en la medida que tales desv��os no provoquen en los usuarios interesados en tales estados una decisi��n distinta a la que tomar��an en caso de no existir los errores u omisiones aludidos. De lo expuesto en el p��rrafo anterior surge la cabal importancia que la determinaci��n del nivel de significaci��n total (nivel de desv��os admitidos por los usuarios de los estados contables en la informaci��n por ellos contenida) adquiere en los procesos de auditor��a, como as�� tambi��n la asignaci��n de tal nivel entre los distintos componentes de los estados contables (asignaci��n del error tolerable) a los efectos de que los auditores eviten asumir responsabilidades de ��ndole profesional, civil y/o penal. Hasta el momento no se conoce la existencia de modelos matemáticos que respalden de modo objetivo y verificable el c��lculo del nivel de significaci��n total y la asignaci��n del error tolerable entre los distintos elementos conformantes de los estados contables. Entendemos que el desarrollo e integraci��n de un modelo de cuantificaci��n del nivel de significaci��n total y de asignaci��n del error tolerable tiene las siguientes repercusiones: 1 ��� Representar��a para el auditor un elemento que respalde el modo de cuantificaci��n del nivel de significaci��n y la asignaci��n del error tolerable entre los componentes de los estados contables. 2 ��� Permitir��a que los auditores reduzcan las posibilidades de asumir responsabilidades de car��cter profesional, civil y/o penales como consecuencia de su labor. 3 ��� Representar��a un principio de avance a los efectos de que los organismos emisores de normas de auditor��a a nivel nacional e internacional recepten elementos a los efectos de fijar directrices en relaci��n al c��lculo del nivel de significaci��n y de asignaci��n del error tolerable. 4 - Eliminar��a al c��lculo del nivel de significaci��n como una barrera que afecte la comparabilidad de los estados contables.

Estudio fisicoqu��mico de superficies s��lidas en medio acuoso: Aplicaciones electroanal��ticas y electrocatal��ticas

De acuerdo a los objetivos y al plan de trabajo presentados, las actividades a realizar en el per��odo de tres a��os que comprende este proyecto pueden ser resumidas en dos l��neas de trabajo principales. En primera medida, en lo que a estudios fisicoqu��micos de sistemas coloidales se refiere, los trabajos se centralizar��n en la caracterizaci��n de la estructura y propiedades reactivas de la interfaz ��xido met��lico-soluci��n acuosa. Es de particular inter��s la caracterizaci��n de la superficie de estos materiales, la individualizaci��n de los sitios superficiales y el efecto que la reactividad posee en el desarrollo de cargas y potencial el��ctrico a trav��s de la interfaz, en la disoluci��n y corrosi��n de los mismos, en la capacidad adsortiva de la superficie y en los fen��menos que controlan la estabilidad, floculaci��n y agregaci��n de part��culas tanto en sistemas sint��ticos como naturales (suelos). As�� mismo, se realizar��n estudios de mecanismos de precipitaci��n, envejecimiento y disoluci��n de diferentes ��xidos met��licos con el objeto de predecir y controlar sus propiedades. Adem��s de la utilizaci��n de diversas t��cnicas experimentales de caracterizaci��n de s��lidos, interfaces y suspensiones, se plantea describir los fen��menos a trav��s de modelos matemáticos con el objeto de lograr un mejor "manejo" de los diferentes sistemas. Por otra parte, se analizar�� el comportamiento de celdas para bater��as con electrodos de Ni (OH)2 y plomo con el objeto de mejorar su rendimiento. Se estudiar�� adem��s la influencia de los distintos par��metros experimentales, tales como electrolito, aditivos, etc. Finalmente, con respecto a los electrodos qu��micamente modificados, se continuar�� con el estudio de diversas condiciones experimentales para la obtenci��n de sensores electroqu��micos. Paralelamente se comenzar�� con el desarrollo de biosensores electroqu��micos, as�� como con el estudio de las propiedades electroqu��micas de los electrodos antes mencionados.

Prevenci��n de da��os por crecientes en el ��rea serrana (cuencas R��o Suqu��a y de los Sauces)

El presente proyecto tiene como objetivo la prevenci��n de da��os por crecientes en ��reas serranas; el mismo se desarrollar�� en forma trianual y esta conformado por tres subproyectos: 1) sistema de alerta temprana de crecidas; 2) modelaci��n matem��tica e hidrol��gica y 3) caracterizaci��n y categorizaci��n de riesgo de inundaci��n. Las acciones a llevarse a cabo comprenden: Ampliaci��n de la red de mediciones telem��tricas para cubrir el ��rea de estudio. Desarrollo de un sistema de alerta a tiempo real. Ajuste y desarrollo de modelos matemáticos hidrol��gicos para pron��stico de crecidas a tiempo real y estudio de recurrencias de crecidas. Relevamiento geol��gico y geomorfol��gico a partir de fotograf��a a��rea y satelital, para delimitar zonas de riesgo de inundaciones. Evaluaci��n del riesgo inundaci��n. Como resultado del desarrollo del proyecto se contar�� con elementos suficientes para plantear esquemas de prevenci��n y protecci��n de las zonas inundables en tres etapas cronol��gicas: Largo plazo: reglamentar el uso de la tierra a��n no ocupada o poco ocupada. Mediano plazo: construir obras de protecci��n contra crecidas. Corto plazo: organizar sistemas de alerta hidrol��gico, alarma y defensa civil. La integraci��n de un equipo de profesionales y t��cnicos que componen el presente proyecto, constituye un desaf��o, a la vez de la oportunidad de poner a punto t��cnicas y metodolog��as que puedan ser empleadas exitosamente en ��reas de mayor cobertura de la provincia.

Un modelo contable para la evaluaci��n econ��mico-financiera en escenarios futuros de la empresa agropecuaria. An accounting model for the economic and financial evaluation of future scenarios in farm enterprises.

El problema: En todo momento y sobre todo cuando estamos en presencia de escenarios econ��micos turbulentos resulta imprescindible utilizar herramientas que permitan realizar an��lisis de sensitividad sobre las distintas situaciones que podr��an plantearse. La elaboraci��n de modelos matemáticos deterministas desde las aplicaciones realizadas por Richard Mattessich han constituido un instrumento id��neo para el caso de empresas comerciales o industriales. Los modelos inform��ticos utilizados para las empresas agropecuarias han abordado fundamentalmente la tem��tica relacionada con la producci��n, no as�� las otras variables econ��micas y financieras. Por lo tanto, entendemos que se hace necesario trabajar con modelos agropecuarios que comprendan todas las variables econ��micas y financieras, de manera de observar otro tipo de cuestiones, tales como: el modo de financiarse, los costos financieros, necesidades de capital de trabajo. Hip��tesis: Es posible, a trav��s de la utilizaci��n de la informaci��n contable en sentido prospectivo, interpretar adecuadamente los escenarios futuros de las organizaciones agropecuarias, cuantificando los impactos que generan tanto las estrategias y pol��ticas aplicables, como las distorsiones del contexto. Objetivo general: determinar la incidencia de las decisiones internas y las que provengan del funcionamiento del sistema econ��mico, a trav��s de la informaci��n contable prospectiva. Objetivos espec��ficos: a. Describir los impactos que se producen en la estructura patrimonial, financiera y en los resultados, como consecuencia de los cambios en las estrategias y pol��ticas de la empresa agropecuaria, as�� como los efectos macroecon��micos en la estructura de la empresa que pudieran estar conmoviendo la gesti��n econ��mico-financiera. b. Identificar mecanismos y proponer criterios para la elaboraci��n de modelos que permitan visualizar los impactos en los escenarios futuros y las adecuaciones necesarias en la estructura que permitan soportar las modificaciones. Metodolog��a: ser�� un estudio a nivel te��rico, donde una vez identificadas las variables y planteados los modelos, se propondr��n distintas situaciones y se testear��n las respuestas. Resultados esperados: lograr un avance en la evaluaci��n econ��mico-financiera prospectiva de empresas agropecuarias y constituir un avance para futuras investigaciones. Importancia del proyecto: La producci��n agropecuaria es vital tanto para el desarrollo econ��mico de Argentina, como en particular para la provincia de C��rdoba. Elaborar herramientas que eficientizen la administraci��n de este tipo de empresas, redundar�� en beneficio colectivo. Pertinencia: El producto verificable ser�� la construcci��n de un modelo distinto a los actuales, tanto en su desarrollo, objetivo al que est�� destinado y sencillez de su aplicaci��n, posibilitando la inserci��n del productor en el proceso de planificaci��n, reduciendo el riesgo en la toma de decisiones. Esperando generar un avance sobre los modelos preexistente.

Mecanizaci��n de sem��ntica de lenguajes de programaci��n: teor��a, implementaci��n y desarrollo.

El presente proyecto se enmarca en el ��rea de m��todos formales para computaci��n; el objetivo de los m��todos formales es asegurar, a trav��s de herramientas l��gicas y matem��ticas, que sistemas computacionales satisfacen ciertas propiedades. El campo de sem��ntica de lenguajes de programaci��n trata justamente de construir modelos matemáticos que den cuenta de las diferentes caracter��sticas de cada lenguaje (estado mutable, mecanismos de paso de par��metros, ��rdenes de ejecuci��n, etc.); permitiendo razonar de una manera abstracta, en vez de lidiar con las peculiaridades de implementaciones o las vaguezas de descripciones informales. Como las pruebas formales de correcci��n son demasiado intrincadas, es muy conveniente realizar estos desarrollos te��ricos con la ayuda de asistentes de prueba. Este proceso de formalizar y corrobar aspectos sem��nticos a trav��s de un asistente se denomina mecanizaci��n de sem��ntica. Este proyecto ��� articulado en tres l��neas: sem��ntica de teor��a de tipos, implementaci��n de un lenguaje con tipos dependientes y sem��ntica de lenguajes imperativos con alto orden - se propone realizar avances en el estudio sem��ntico de lenguajes de programaci��n, mecanizar dichos resultados, e implementar un lenguaje con tipos dependientes con la intenci��n de que se convierta, en un mediano plazo, en un asistente de pruebas. En la l��nea de sem��ntica de teor��a de tipos los objetivos son: (a) extender el m��todo de normalizaci��n por evaluaci��n para construcciones no contempladas aun en la literatura, (b) probar la adecuaci��n de la implementaci��n en Haskell de dicho m��todo de normalizaci��n, y (c) construir nuevos modelos categ��ricos de teor��a de tipos. El objetivo de la segunda l��nea es el dise��o e implementaci��n de un lenguaje con tipos dependientes con la intenci��n de que el mismo se convierta en un asistente de pruebas. Una novedad de esta implementaci��n es que el algoritmo de chequeo de tipos es correcto y completo respecto al sistema formal, gracias a resultados ya obtenidos; adem��s la implementaci��n en Haskell del algoritmo de normalizaci��n (fundamental para el type-checking) tambi��n tendr�� su prueba de correcci��n. El foco de la tercera l��nea est�� en el estudio de lenguajes de programaci��n que combinan aspectos imperativos (estado mutable) con caracter��sticas de lenguajes funcionales (procedimientos y funciones). Por un lado se avanzar�� en la mecanizaci��n de pruebas de correcci��n de compiladores para lenguajes Algollike. El segundo aspecto de esta l��nea ser�� la definici��n de sem��nticas operacional y denotacional del lenguaje de programaci��n Lua y la posterior caracterizaci��n del mismo a partir de ellas. Para lograr dichos objetivos hemos dividido las tareas en actividades con metas graduales y que constituyen en s�� mismas aportes al estado del arte de cada una de las l��neas. La importancia acad��mica de este proyecto radica en los avances te��ricos que se propone en la l��nea de sem��ntica de teor��a de tipos, en las contribuci��n para la construcci��n de pruebas mecanizadas de correcci��n de compiladores, en el aporte que constituye la definici��n de una sem��ntica formal para el lenguaje Lua, y en el desarrollo de un lenguaje con tipos dependientes cuyos algoritmos m��s importantes est��n respaldados por pruebas de correcci��n. Adem��s, a nivel local, este proyecto permitir�� incorporar cuatro integrantes al grupo de ���Sem��ntica de la programaci��n���.