979 resultados para Local theory
Resumo:
El objetivo de este trabajo es identificar la política óptima (considerando producción, transporte y regulación) para la integración de la industria de gas natural en el Mercosur. Se analizarán factores que promueven o limitan la integración en la región. Utilizando un modelo matemático de flujo de redes, se minimizará el costo total (producción y transporte) para la región en su conjunto, satisfaciendo las restricciones de producción, capacidad de transporte y equilibrio (oferta igual a demanda) en cada nodo. El costo total (CT) de la producción y transporte de gas natural (considerando nodos para cada país en la región) es la función objetivo. El proceso de optimización consiste en identificar el nivel de gas natural producido y transportado que minimiza el costo total del sistema para la región. El modelo es estático, no considerando una optimización dinámica con relación a las reservas remanentes. Restricciones Consideramos cuatro restricciones en operación, a saber: 1. Equilibrio en los nodos: esta ecuación establece el equilibrio entre la oferta y la demanda de gas natural en cada nodo. La oferta incluye la producción local y las importaciones. Por su parte, la demanda incluye el consumo doméstico más las exportaciones. 2. Capacidad de producción en cada cuenca: esta restricción establece que las cantidades producidas en cada cuenca debería ser menor o igual a su capacidad de producción. Ello también permite la existencia de una utilización no plena de la capacidad. La capacidad máxima de producción en cada cuenca está determinada sobre la base de una medida de política para cada país a través de la cual el horizonte de consumo de las reservas probadas está establecido. Dada esta relación, el límite sobre la producción de cada año está fijado. En otras palabras, el nivel de producción no está basado ni en la capacidad instalada de producción ni en los precios, sino en la política de agotamiento decidida sobre las reservas probadas en el año de calibración del modelo. Esto permite diferentes escenarios para el análisis. Para las simulaciones se tomó el ratio de reservas a producción en el año de calibración del modelo. 3. Capacidad de transporte: el gas transportado a través de un gasoducto (los operativos y aquellos que están en plan de construcción), en general, y el gas transportado desde cada cuenca a cada mercado, en particular, debería ser menor o igual a la capacidad del gasoducto. 4. Nivel no negativo de gas natural producido: esto evita la existencia de soluciones inconsistentes no sólo desde un punto de vista económico sino también técnico. Referencias Banco Interamericano de Desarrollo BID (2001). Integración Energética en el Mercosur Ampliado, Washington DC. Beato, Paulina and Juan Benavides (2004). Gas Market Integration in the Southern Cone. Inter-American Development Bank. Washington, D.C. Conrad, Jon M. (1999). Resource Economics. Cambridge University Press. United States of America. Dasgupta, P.S. and G. M. Heal (1979). Economic Theory and Exhaustible Resources. Cambridge University Press. United States of America. Dos Santos, Edmilson M, Victorio E. Oxilia Dávalos, and Murilo T. Werneck Fagá (2006). “Natural Gas Integration in Latin America: Forward or Backwards?”. Revue de l’Energie, Nº 571, mai-juin. Fagundes de Almeida, E.L. y Trebat, N. (2004). “Drivers and barriers to cross-border gas trade in the southern cone”. Oil, Gas & Energy Law Intelligence, Vol. 2, Nº 3, Julio. Givogri, Pablo (2007). “Condiciones de abastecimiento y precios de la industria del gas de Argentina en los próximos años”. Fundación Mediterránea. Julio. Córdoba, Argentina. Kozulj, Roberto (2004). “La industria del gas natural en América del Sur: situación y posibilidades de la integración de los mercados”. Serie Recursos Naturales e Infraestructura. Nº 77. CEPAL. Santiago de Chile, Chile. Diciembre.
Resumo:
La región latinoamericana debe propiciar la introducción de políticas urbanas que apunten al desarrollo local en beneficio de todos sus ciudadanos. El crecimiento económico y poblacional no redunda necesariamente en un desarrollo equitativo, por lo que toda política urbana y de desarrollo local debe tener como fin la mejora de la calidad de vida de sus habitantes, en especial los más desfavorecidos. La planificación urbana debe ser vista como un capítulo de la planificación regional, en tanto la ciudad es una microrregión y su entidad es inseparable de su ámbito territorial inmediato de interacción cotidiana (Coraggio, 1999). La articulación de redes de ciudades y regiones contribuye de manera indispensable en este sentido. La planificación estratégica se convierte en una actividad significativa; mediante la vinculación de diversos actores (ciudadanía, movimientos sociales, estado, empresas, ONGs, etc.), conjuntamente con el desarrollo de políticas democráticas de estado y objetivos institucionalizados se puede iniciar el camino de construcción de escenarios donde el ser humano sea el centro de todo desarrollo local sustentable. La ciudad de Córdoba como unidad de análisis presenta características particulares. Lejos de pensarse a partir de un desarrollo como el mencionado en los párrafos precedentes, la ciudad ha sufrido un crecimiento poblacional importante, generándose desarrollos urbanísticos aislados que no han sido necesariamente acompañados con un desarrollo armónico en los demás aspectos y servicios. Este hecho afecta la calidad de vida de los ciudadanos, por lo que resulta indispensable contar entre otros aspectos, con instrumentos de medición confiables que permitan determinar los niveles de satisfacción de los ciudadanos sobre la provisión de los servicios públicos. El presente trabajo de investigación pretende indagar sobre las características, cobertura, condiciones y alcance de los servicios públicos prestados en la ciudad de Córdoba y establecer el grado de satisfacción y percepción de la calidad de los mismos por parte de los ciudadanos. Esta información se transformará en un instrumento de análisis y diagnóstico para evaluar la gestión de los servicios públicos en la ciudad y su contribución al desarrollo socio económico. Como resultado de la investigación se espera detectar las principales variables que intervienen impactando en la percepción del ciudadano sobre la eficacia y efectividad de los servicios públicos, permitiendo el diseño de indicadores para el monitoreo continuo y evaluación de los resultados logrados por la gestión en la prestación de los mismos. Se espera que la propuesta se transforme en un instrumento de utilidad que permita a los actores involucrados, generar respuestas correctivas a los desvíos detectados y el desarrollo de acciones proactivas vinculadas a la planificación estratégica, propendiendo a la creación de políticas urbanas metropolitanas que se orienten al desarrollo local sustentable.
Resumo:
Este proyecto se enmarca en la utlización de métodos formales (más precisamente, en la utilización de teoría de tipos) para garantizar la ausencia de errores en programas. Por un lado se plantea el diseño de nuevos algoritmos de chequeo de tipos. Para ello, se proponen nuevos algoritmos basados en la idea de normalización por evaluación que sean extensibles a otros sistemas de tipos. En el futuro próximo extenderemos resultados que hemos conseguido recientemente [16,17] para obtener: una simplificación de los trabajos realizados para sistemas sin regla eta (acá se estudiarán dos sistemas: a la Martin Löf y a la PTS), la formulación de estos chequeadores para sistemas con variables, generalizar la noción de categoría con familia utilizada para dar semántica a teoría de tipos, obtener una formulación categórica de la noción de normalización por evaluación y finalmente, aplicar estos algoritmos a sistemas con reescrituras. Para los primeros resultados esperados mencionados, nos proponemos como método adaptar las pruebas de [16,17] a los nuevos sistemas. La importancia radica en que permitirán tornar más automatizables (y por ello, más fácilmente utilizables) los asistentes de demostración basados en teoría de tipos. Por otro lado, se utilizará la teoría de tipos para certificar compiladores, intentando llevar adelante la propuesta nunca explorada de [22] de utilizar un enfoque abstracto basado en categorías funtoriales. El método consistirá en certificar el lenguaje "Peal" [29] y luego agregar sucesivamente funcionalidad hasta obtener Forsythe [23]. En este período esperamos poder agregar varias extensiones. La importancia de este proyecto radica en que sólo un compilador certificado garantiza que un programa fuente correcto se compile a un programa objeto correcto. Es por ello, crucial para todo proceso de verificación que se base en verificar código fuente. Finalmente, se abordará la formalización de sistemas con session types. Los mismos han demostrado tener fallas en sus formulaciones [30], por lo que parece conveniente su formalización. Durante la marcha de este proyecto, esperamos tener alguna formalización que dé lugar a un algoritmo de chequeo de tipos y a demostrar las propiedades usuales de los sistemas. La contribución es arrojar un poco de luz sobre estas formulaciones cuyos errores revelan que el tema no ha adquirido aún suficiente madurez o comprensión por parte de la comunidad. This project is about using type theory to garantee program correctness. It follows three different directions: 1) Finding new type-checking algorithms based on normalization by evaluation. First, we would show that recent results like [16,17] extend to other type systems like: Martin-Löf´s type theory without eta rule, PTSs, type systems with variables (in addition to systems in [16,17] which are a la de Bruijn), systems with rewrite rules. This will be done by adjusting the proofs in [16,17] so that they apply to such systems as well. We will also try to obtain a more general definition of categories with families and normalization by evaluation, formulated in categorical terms. We expect this may turn proof-assistants more automatic and useful. 2) Exploring the proposal in [22] to compiler construction for Algol-like languages using functorial categories. According to [22] such approach is suitable for verifying compiler correctness, claim which was never explored. First, the language Peal [29] will be certified in type theory and we will gradually add funtionality to it until a correct compiler for the language Forsythe [23] is obtained. 3) Formilizing systems for session types. Several proposals have shown to be faulty [30]. This means that a formalization of it may contribute to the general understanding of session types.
Resumo:
La ciudad es un territorio de producción social del espacio derivado del esfuerzo colectivo, que requiere la presencia del Estado en la distribución equitativa de los costos y beneficios del proceso urbanizador entre los agentes públicos y privados. En este contexto, las políticas públicas son herramientas que posibilitan el establecimiento de directrices que orientan el proceso de desarrollo del territorio. La definición de las mismas requiere, entre otros aspectos, la clara identificación de las prácticas de los agentes en el territorio en donde se inscriben proyectos sociales y en donde los intereses contrapuestos de los agentes generan negociaciones y conflictos. Esto implica que uno de los insumos claves para la definición de políticas y estrategias de gestión es la identificación y análisis de los conflictos que en el territorio se hacen evidentes o los que potencialmente pudieran existir. En estos conflictos están en disputa los sistemas de vida locales y el control de los territorios. El Ordenamiento Territorial es un instrumento de política pública, destinado a orientar el proceso de producción social del espacio en este sentido. Sin embargo, la ordenación pensada desde los enfoques neoclásicos apunta principalmente a cuantificar. Hoy esa mirada no es suficiente para explicar los contextos complejos y es necesario profundizar en las cualidades del territorio y debe ser complementada con la inclusión de las prácticas de los agentes y los conflictos asociados, así como la definición de los componentes que le dan origen que sustenten espacios de decisión y negociación dinámicos. En este marco, este proyecto se plantea como hipótesis que la incorporación de los conflictos territoriales como un criterio más a tener en cuenta en las estrategias de gestión territorial es una oportunidad para potenciar el desarrollo local y como objetivo de general evaluar la utilización de los conflictos territoriales como criterios para la gestión sustentable del territorio Si bien el Proyecto se desarrollará en el arco sur del ejido municipal de la ciudad de Córdoba, se tendrán presentes las implicancias de las prácticas y/o intereses contrapuestos de la Región Metropolitana Córdoba que podrían afectar el sector de análisis particular. Para la descripción de la situación socio-ambiental y sus tendencias se elaborará cartografía digital y se simularán escenarios mediante un sistema de información geográfica (ArcGis 10.0). La recolección de información primaria para la identificación de las prácticas se hará mediante entrevistas semiestructuradas y en profundidad y grupos focales. Se determinarán las relaciones existentes entre las prácticas de los agentes, la condición ambiental y los conflictos. Se plantearán escenarios posibles considerando las tendencias actuales y diferentes opciones de actuación. Desde el punto de vista del desarrollo territorial local, se propone aportar un estudio de caso que integre datos del medio físico, de la práctica de los agentes y de los potenciales conflictos entre ellos. Esto posibilitará obtener resultados, que plasmados en propuestas de uso del territorio dinámica, facilitarán el equilibrio de fuerzas entre agentes en conflicto.
Resumo:
La Gestión del Riesgo de Desastres es una una temática actual en nuestra sociedad y en el mundo moderno, y que en la Ciudad de Córdoba tiene una incumbencia particular debido a la importancia del nivel local de gobierno en este temática. A través de la presente investigación se procura realizar un diagnóstico de las capacidades institucionales del Gobierno de la Ciudad de Córdoba para la Gestión del Riesgo de Desastres, pensado como un espacio de interacción entre la investigación académica, y las prácticas políticas y ciudadanas en torno a los temas de gestión de riesgo desde la perspectiva de la seguridad humana. A partir de ello se intentará identificar: 1. las políticas públicas que orienten hacia la gestión del riesgo de desastres a nivel local (todos aquellos planes, programas y proyectos). 2. la preparación y administración de las emergencias y de los riesgos de desastres de la Ciudad de Córdoba (latentes y manifiestos). Este diagnóstico tiene como fin evaluar críticamente los tópicos antes mencionados con vistas a futuras recomendaciones y/o asesoramiento al Gobierno de la Ciudad de Córdoba para la implementación de políticas públicas. Asimismo, el grupo busca funcionar como un ámbito propicio para la generación de conocimiento y de pensamiento crítico acerca de la cultura del riesgo en la sociedad cordobesa.
Resumo:
n el desarrollo contemporáneo de propuestas normativas de democracia es posible identificar una recuperación de la dimensión territorial de los procesos sociopolíticos, un redescubrimiento de lo local dado por el interés de explicar y proponer soluciones a los nuevos desafíos que la inequidad, las crisis del régimen de acumulación y las crisis en los modos de coordinación social presentan a las sociedades contemporáneas. En este contexto lo local no sólo adquiere un nuevo protagonismo en relación a las preocupaciones concernientes al desarrollo sostenible, sino también como ámbito que por cuestiones de “proximidad” constituye el espacio “natural” para la realización de la democracia. La relación estado y sociedad, las posibilidades de hacer efectiva la participación y de generar condiciones que hacen factible el control del poder político por parte de los ciudadanos parecieran encontrar en lo local mejores condiciones de realización. Sin embargo y a pesar de los avances descriptos, son escasos los intentos por profundizar la especificidad de la democracia local que aborden y articulen reflexiones teórico-conceptuales que permitan identificar principios normativos básicos contrastables empíricamente con las instituciones y prácticas locales concretas. Las bondades de la democracia local son por lo general dadas por sentadas, sin problematizar sus particularidades, su relación con una teoría general de la democracia, su relación con el territorio a diferentes escalas y sus manifestaciones en instituciones y prácticas de los actores sociales. Desde el proyecto se sostiene que a partir de la reconstrucción y problematización de los orígenes filosóficos conceptuales que sustentan la Teoría de la Democracia Local es posible identificar un marco teórico normativo que le es específico y que posibilita el reconocimiento de los meta-requisitos necesarios tanto para su realización como para su contribución al fortalecimiento del régimen democrático en general. El establecimiento de estos requisitos permitirá construir matrices analíticas para el estudio empírico de los diseños y prácticas institucionales, como así también los procesos de constitución, reproducción y contestación de tales arreglos y prácticas por parte de los actores sociales. El proyecto se propone diseñar matrices analíticas que permitan articular distintos niveles y dimensiones de análisis de la Democracia Local que sean aplicables al estudio de casos de ciudades de porte medio de América Latina.
Resumo:
3
Resumo:
2
Resumo:
1
Resumo:
1916:Feb.-Mar.
