Coordinación socio-política. Redes de influencia y estructuras de poder en Córdoba, 2009.

El debate en torno a la manera en que se producen las decisiones colectivas y los resultados comunes ha constituido un importante campo de observación de las Ciencias Sociales en las últimas décadas, pero ha sido poco abordado en la Ciencia Política de nuestro país. El estudio de la coordinación socio-política requiere examinar la manera en que se producen las decisiones colectivas y se orienta el sesgo institucional, e importa la observación de las estructuras y procesos que subyacen a los mecanismos formales de decisión. La teoría pluralista sostiene que las decisiones y políticas públicas resultan de una competencia entre sectores y grupos con diversos recursos de poder, pero que éste se encuentra disperso de tal modo que ninguno puede imponer sus intereses al resto de la sociedad. De otro lado, algunos estudiosos insisten en que existe una diferencia suficientemente importante en la distribución de recursos de poder, lo que produce que las decisiones públicas y los resultados comunes se encuentren fuertemente condicionados por los intereses y perspectivas de grupos poderosos, corporaciones y elites. En esta línea, una parte de la literatura politológica insiste en la necesidad de estudiar no sólo las decisiones que se toman en el estado, sino también las no decisiones e incluso las problemáticas sociales que no logran entrar en agenda de decisiones públicas. La mayoría de los estudios clásicos sobre las élites analizan aspectos de la ecología política y no las relaciones estructurales que se producen entre actores, sectores y grupos. Así, estos enfoques no logran dar cuenta de los procesos y mecanismos que subyacen a la resolución de lo común y cómo se produce y reproduce el poder. El análisis de redes socio-políticas, como sistemas de decisión colectiva, resulta un enfoque más propicio para dar cuenta de esta problemática. Esta perspectiva permite superar las limitaciones de los estudios clásicos porque se enfoca en las estructuras relacionales que configuran los actores y en el efecto que éstos y sus coaliciones tienen sobre los resultados políticos. La presente investigación pretende tomar esta línea de trabajo y estudiar la coordinación socio-política provincial, su grado de apertura y pluralidad. Con estre fin se pretende identificar y analizar la configuración de las redes de influencia y las estructuras de poder socio-político que se configuran en torno a la política provincial. El estudio permite, además: a- analizar los factores subyacentes y los mecanismos de producción y reproducción del poder y la influencia socio-política; y b- analizar las áreas de política provincial en las que los actores y sectores que configuran la estructura de poder, ejercen influencia

Redes políticas en las regiones metropolitanas de Córdoba y Rosario. Interdependencia y cooperación entre actores estatales y sociales.

La literatura que señala las limitaciones de los gobiernos locales y los estudios sobre la coordinación hacen evidente dos problemáticas de gran trascendencia que se encuentran actualmente en debate: por un lado, la definición y redefinición de las escalas apropiadas en asuntos que implican externalidades entre territorios con diversas unidades político-administrativas y, por otro lado, la manera en que la coordinación-conducción socio-política resuelve lo común en marcos de interdependencia entre actores con autonomía relativa. Los resultados comunes (entendiendo por esto la situación generada por las políticas y las no-políticas) devienen de decisiones colectivas tomadas en los procesos de coordinación-conducción socio-política mediante múltiples y coexistentes relaciones de cooperación, conflicto e indiferencia entre actores interdependientes. En espacios de interdependencia inter-local la resolución de múltiples problemáticas comunes requiere de relaciones de coordinación intergubernamental, horizontal y vertical, y con la sociedad civil. Las regiones metropolitanas resultan ser espacios que muestran de manera muy clara las situaciones de interdependencia y la necesidad de cooperación, principalmente entre unidades gubernamentales, por lo que se convierten en un objeto de estudio apropiado para indagar la problemática de la interdependencia y la coordinación. En atención a este asunto el objetivo de este plan de trabajo es observar y analizar la coordinación-conducción socio-política en las regiones metropolitanas de Córdoba y Rosario en la actualidad.

Integración de la industria del gas natural en el Mercosur. Un modelo de redes

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.

CALIDAD DEL EMPLEO EN LA CIUDAD DE CORDOBA Y GRAN CORDOBA

Se trata de un proyecto interdisciplinario destinado a valorar la calidad del empleo y las posibilidades de desarrollo ocupacional que se ofrece a los trabajadores, en tres sectores de la industria de la ciudad de Córdoba y el Gran Córdoba: software y servicios informáticos, metalmecánica y alimentos y bebidas. Las hipótesis que operan como ideas fuerza de la investigación pueden enunciarse de la siguiente manera: a) la calidad del empleo se configura de manera diferente en las distintas actividades manufactureras a partir de la significación que adquieren una o más de sus dimensiones; b) existen diferencias entre los distintos sectores en materia de calidad del empleo; c) las distintas dimensiones de la calidad del empleo adquieren diferente importancia en cada uno de los sectores considerados; d) las distintas dimensiones de la calidad del empleo adquieren diferente importancia desde la visión de los trabajadores y de las empresas respectivamente; e) Existen diferencias en la relevancia otorgada por los trabajadores a cada una de las dimensiones de la calidad del empleo en función de factores sociodemográficos, de desarrollo profesional (identificación con la tarea y con el colectivo de trabajo) y/o sindicales. El objetivo general del estudio consiste en analizar la calidad que adquiere el empleo en los sectores de software y servicios informáticos, metalmecánica y alimentos y bebidas de la ciudad de Córdoba y Gran Córdoba. El estudio se concentra en la visión de los trabajadores operativos, sindicalizados y no sindicalizados, de los sectores mencionados, y considera de manera complementaria la perspectiva de las empresas y los sindicatos. Se aplicará un cuestionario semiestructurado a trabajadores y se entrevistará a informantes clave de las empresas y sindicatos. A partir de una selección intencional, se realizarán estudios de casos que por sus particularidades merezcan especial consideración. Cabe destacar la importancia de los sectores de actividad que se estudiarán, ya que se trata de las actividades de mayor relevancia de la provincia de Córdoba, en tanto más del 50% del empleo y más del 70% del valor agregado industrial en la provincia en los últimos años se generó en estas actividades. Los resultados esperados son: a) a través de la provisión de estudios específicos, fortalecer el conocimiento acerca de la calidad del empleo en Córdoba e incrementar la literatura existente sobre el tema; b) contribuir al desarrollo de estrategias metodológicas e instrumentos adecuados para el estudio de la calidad del empleo, que resulten replicables en el abordaje del problema en otros sectores de actividad; c) divulgar los resultados parciales y finales de la investigación entre las instituciones que integran los sectores estudiados con el fin de facilitar procesos decisorios en materia de mejora de la calidad de empleo; d) contribuir, a partir de la publicación de los conocimientos generados en el estudio, al desarrollo y/o mejora de las políticas públicas en la materia; e) formar recursos especializados en el tema. La importancia del proyecto se asienta por una parte, en la relevancia social y política que adquiere la problemática abordada en un contexto de revitalización del empleo y de las relaciones laborales y las negociaciones colectivas. Por otra parte, se torna necesario por la falta de estudios locales sobre la calidad del empleo, considerando que Córdoba constituye una región clave por la generación de empleo industrial urbano. Desde el punto de vista del sistema científico y de las instituciones, el proyecto adquiere importancia por la posibilidad que ofrece de formar recursos humanos a través de la existencia de un contexto institucional propicio por la reciente creación de la Carrera de Especialización en Psicología del Trabajo y de las Organizaciones en la Facultad de Psicología y desde las redes y vinculaciones adecuadas con el IDEI de la UNGS con quien se mantienen vínculos estables de cooperación.

Verificación Formal de Sistemas basada Formal Software Verification based on Automated Analysisen Análisis Automático.

Identificación y caracterización del problema. Uno de los problemas más importantes asociados con la construcción de software es la corrección del mismo. En busca de proveer garantías del correcto funcionamiento del software, han surgido una variedad de técnicas de desarrollo con sólidas bases matemáticas y lógicas conocidas como métodos formales. Debido a su naturaleza, la aplicación de métodos formales requiere gran experiencia y conocimientos, sobre todo en lo concerniente a matemáticas y lógica, por lo cual su aplicación resulta costosa en la práctica. Esto ha provocado que su principal aplicación se limite a sistemas críticos, es decir, sistemas cuyo mal funcionamiento puede causar daños de magnitud, aunque los beneficios que sus técnicas proveen son relevantes a todo tipo de software. Poder trasladar los beneficios de los métodos formales a contextos de desarrollo de software más amplios que los sistemas críticos tendría un alto impacto en la productividad en tales contextos. Hipótesis. Contar con herramientas de análisis automático es un elemento de gran importancia. Ejemplos de esto son varias herramientas potentes de análisis basadas en métodos formales, cuya aplicación apunta directamente a código fuente. En la amplia mayoría de estas herramientas, la brecha entre las nociones a las cuales están acostumbrados los desarrolladores y aquellas necesarias para la aplicación de estas herramientas de análisis formal sigue siendo demasiado amplia. Muchas herramientas utilizan lenguajes de aserciones que escapan a los conocimientos y las costumbres usuales de los desarrolladores. Además, en muchos casos la salida brindada por la herramienta de análisis requiere cierto manejo del método formal subyacente. Este problema puede aliviarse mediante la producción de herramientas adecuadas. Otro problema intrínseco a las técnicas automáticas de análisis es cómo se comportan las mismas a medida que el tamaño y complejidad de los elementos a analizar crece (escalabilidad). Esta limitación es ampliamente conocida y es considerada crítica en la aplicabilidad de métodos formales de análisis en la práctica. Una forma de atacar este problema es el aprovechamiento de información y características de dominios específicos de aplicación. Planteo de objetivos. Este proyecto apunta a la construcción de herramientas de análisis formal para contribuir a la calidad, en cuanto a su corrección funcional, de especificaciones, modelos o código, en el contexto del desarrollo de software. Más precisamente, se busca, por un lado, identificar ambientes específicos en los cuales ciertas técnicas de análisis automático, como el análisis basado en SMT o SAT solving, o el model checking, puedan llevarse a niveles de escalabilidad superiores a los conocidos para estas técnicas en ámbitos generales. Se intentará implementar las adaptaciones a las técnicas elegidas en herramientas que permitan su uso a desarrolladores familiarizados con el contexto de aplicación, pero no necesariamente conocedores de los métodos o técnicas subyacentes. Materiales y métodos a utilizar. Los materiales a emplear serán bibliografía relevante al área y equipamiento informático. Métodos. Se emplearán los métodos propios de la matemática discreta, la lógica y la ingeniería de software. Resultados esperados. Uno de los resultados esperados del proyecto es la individualización de ámbitos específicos de aplicación de métodos formales de análisis. Se espera que como resultado del desarrollo del proyecto surjan herramientas de análisis cuyo nivel de usabilidad sea adecuado para su aplicación por parte de desarrolladores sin formación específica en los métodos formales utilizados. Importancia del proyecto. El principal impacto de este proyecto será la contribución a la aplicación práctica de técnicas formales de análisis en diferentes etapas del desarrollo de software, con la finalidad de incrementar su calidad y confiabilidad. A crucial factor for software quality is correcteness. Traditionally, formal approaches to software development concentrate on functional correctness, and tackle this problem basically by being based on well defined notations founded on solid mathematical grounds. This makes formal methods better suited for analysis, due to their precise semantics, but they are usually more complex, and require familiarity and experience with the manipulation of mathematical definitions. So, their acceptance by software engineers is rather restricted, and formal methods applications have been confined to critical systems. Nevertheless, it is obvious that the advantages that formal methods provide apply to any kind of software system. It is accepted that appropriate software tool support for formal analysis is essential, if one seeks providing support for software development based on formal methods. Indeed, some of the relatively recent sucesses of formal methods are accompanied by good quality tools that automate powerful analysis mechanisms, and are even integrated in widely used development environments. Still, most of these tools either concentrate on code analysis, and in many cases are still far from being simple enough to be employed by software engineers without experience in formal methods. Another important problem for the adoption of tool support for formal methods is scalability. Automated software analysis is intrinsically complex, and thus techniques do not scale well in the general case. In this project, we will attempt to identify particular modelling, design, specification or coding activities in software development processes where to apply automated formal analysis techniques. By focusing in very specific application domains, we expect to find characteristics that might be exploited to increase the scalability of the corresponding analyses, compared to the general case.