La difusión del modelo peronista en américa Latina (1946-1955). The Spread of Peronist Model in Latin American (1946-1955).

El presente trabajo se propone estudiar las estrategias implementadas por Juan Perón, durante las dos primeras presidencias, para construir y difundir su modelo de conducción política en América Latina. Si bien en todas las épocas los hombres de Estado han tratado de captar la adhesión a su persona y forma de gobierno, en esta etapa se produce un gran desarrollo de múltiples formas de comunicación, fenómeno en el que confluyen el avance tecnológico y el advenimiento de la sociedad de masas. Nuestra hipótesis es que la capacidad de Perón para conectarse con públicos masivos fue reforzada por la utilización de diferentes técnicas y la creación de organismos para difundir su modelo de conducción política en América Latina durante la gestión 1946-1955, lo cual suscitó reacciones ambivalentes (adhesión-oposición) en los países receptores. A partir de ella centramos nuestro trabajo en dos ejes, a saber: el análisis de las transformaciones graduales que introduce en la diplomacia argentina entre 1946 y 1951 con la creación en primera instancia de las agregadurías obreras y las misiones oficiales con fines de propaganda y posteriormente la Subsecretaría de Prensa y Difusión del Ministerio de Relaciones Exteriores y Culto y la figura del agregado de prensa. Así como también el estudio de las diversas técnicas que utilizó para dar a conocer el "modelo justicialista" en Latinoamérica, tales como la radiofonía, la promoción de competencias deportivas, las publicaciones impresas, el cine y la entrega de donativos y la interacción "cara a cara", delimitando inicialmente este amplio espectro a las producciones escritas. La estrategia de recolección de datos que pondrán a prueba la hipótesis planteada estará dada por la consulta de fuentes primarias y secundarias. Entre las primeras, documentación inédita relevada en archivos nacionales e internacionales, publicaciones oficiales, prensa periódica, opúsculos y memorias de los protagonistas, en tanto las secundarias incluirán la producción historiográfica general sobre el tema y los trabajos teóricos y empíricos sobre comunicación política, producida en los centros académicos.Expuesto el carácter multidimensional del objeto de estudio, tanto en lo referente a contenidos como a las posibles perspectivas de análisis centramos inicialmente nuestro trabajo en dos aspectos, por una parte el análisis de las prácticas institucionales relacionadas con la comunicación política del "modelo Justicialista" y por otra el estudio exploratrorio de las técnicas que se utilizaron para darlo a conocer en Latinoamérica.

Estudio de las sustancias antimicrobianas producidas por los microorganismos integrantes de la microbiota de terneros jóvenes.

El uso desmedido de antibióticos, en especial en los animales que son destinados al consumo humano, produjo la aparición de cepas bacterianas resistentes y favoreció la presencia de residuos de esas sustancias en los alimentos. Esta situación ha sido relacionada con la aparición de alergias, trastornos gastrointestinales y otros problemas que han puesto en riesgo la salud de la población y han promovido una presión creciente de los consumidores y de los entes reguladores para que el sector de la producción de alimentos no utilice antimicrobianos y evite la presencia de sus residuos. El objetivo del trabajo es evaluar la capacidad de las sustancias con actividad antimicrobiana, producida por la microbiota natural, para inhibir el desarrollo de bacterias patógenas responsables de causar enfermedades en terneros jóvenes. Se utilizarán bacterias ácido lácticas autóctonas aisladas a partir de intestinos (duodeno, yeyuno, íleon, colon y ciego), cavidad bucal de terneros de crianza artificial y de vagina de vacas en la etapa pre-parto y que forman parte del cepario del Laboratorio de Análisis de alimentos, DSPV. Los microorganismos que demuestren capacidad para producir sustancias antimicrobianas serán identificados utilizando técnicas moleculares (amplificación del 16S rRNA, secuenciación y comparación en bases de datos). Las sustancias producidas por los microorganismos serán purificadas antes de analizar su capacidad inhibitoria. Posteriormente, se evaluará el efecto de los agentes físicos (temperatura) y químicos (solventes orgánicos, ácidos, tripsina, proteinasa K y pepsina) sobre dicha capacidad.

Estudio de las sustancias antimicrobianas producidas por los microorganismos integrantes de la microbiota de terneros jóvenes.

El uso desmedido de antibióticos, en especial en los animales que son destinados al consumo humano, produjo la aparición de cepas bacterianas resistentes y favoreció la presencia de residuos de esas sustancias en los alimentos. Esta situación ha sido relacionada con la aparición de alergias, trastornos gastrointestinales y otros problemas que han puesto en riesgo la salud de la población y han promovido una presión creciente de los consumidores y de los entes reguladores para que el sector de la producción de alimentos no utilice antimicrobianos y evite la presencia de sus residuos. El objetivo del trabajo es evaluar la capacidad de las sustancias con actividad antimicrobiana, producida por la microbiota natural, para inhibir el desarrollo de bacterias patógenas responsables de causar enfermedades en terneros jóvenes. Se utilizarán bacterias ácido lácticas autóctonas aisladas a partir de intestinos (duodeno, yeyuno, íleon, colon y ciego), cavidad bucal de terneros de crianza artificial y de vagina de vacas en la etapa pre-parto y que forman parte del cepario del Laboratorio de Análisis de alimentos, DSPV. Los microorganismos que demuestren capacidad para producir sustancias antimicrobianas serán identificados utilizando técnicas moleculares (amplificación del 16S rRNA, secuenciación y comparación en bases de datos). Las sustancias producidas por los microorganismos serán purificadas antes de analizar su capacidad inhibitoria. Posteriormente, se evaluará el efecto de los agentes físicos (temperatura) y químicos (solventes orgánicos, ácidos, tripsina, proteinasa K y pepsina) sobre dicha capacidad.

Accesibilidad a los áreas verdes públicas de la ciudad de Córdoba, Argentina (programa: indicadores ciudadanos y participación para una ciudad justa, democrática y sustentable).

Las Áreas Verdes Públicas Urbanas(AVPU) las definimos como Espacios Abiertos Públicos accesibles a todos los ciudadanos que completan una serie de objetivos de calidad de vida, cumpliendo las siguientes funciones: recreación, rol estructurador de la forma urbana, rol estético, contemplación, planificación de vistas, uso social y cultural, uso educacional, y función ecológica, incluyendo en este último punto también la regulación de variables ambientales (León Balza, 1998). Si bien son un elemento integrante y regulador del sistema urbano, pueden comprenderse en sí mismas como un sistema complejo cuya función y dinámica depende principalmente de tres factores : 1) su propia espacialidad (dimensiones, formas y cualidades, originadas por las ideas de la época en que fueron creadas); 2)los usuarios (con un determinado perfil y capacidades) y 3)el medio urbano en el que se encuentran (rol del sector, distribución en el espacio, accesibilidad, etc). El Índice de Áreas Verdes calculado para Córdoba - 8.9 m2/hab en 2011 - si bien da una visión general del estado y evolución de las mismas, al no estar corregido según categorías, influencia y densidades de población, no alcanza para caracterizar los tres factores antes nombrados (Red Ciudadana Nuestra Córdoba, 2011). En ese sentido, se advierte sobre la “escasa oferta de espacios verdes apropiados para el uso público” en las zonas de pobreza segregada (Tecco & Fernández, 2008). El cálculo de un mapa de accesibilidad, a partir de una clasificación detallada de los Espacios Verdes que descarte aquellos que no cumplen con las funciones básicas definidas, permitirá conocer las distancias de los distintos grupos de usuarios (según densidades, edad, y NBI) a los distintos tipos de AVPU, haciendo evidentes las áreas críticas. La integración de dichas variables en un Índice de Áreas Verdes corregido ayudará a formar una idea más ajustada de la calidad de los espacios urbanos. Se pretende de este modo crear una herramienta para orientar políticas públicas tanto de creación como de manejo de las AVPU.

Factores críticos endógenos del desarrollo local sustentable. Sistemas y procesos de participación y control democrático en pequeñas comunidades, empresas, y organizaciones de la sociedad civil.

La democracia –y en especial la participación y su control- se han consolidado en el campo teórico -económico y social-, como la única forma de avanzar en el desarrollo sustentable y sostenible de las comunidades. Su ejercicio efectivo y cotidiano, depende de la existencia y operación de sistemas de información –para la toma de decisiones y difusión- en las entidades públicas, privadas y de la sociedad civil, que sostengan los principios democráticos de libertad, igualdad, derechos políticos, económicos y sociales, que a lo largo de la historia se han incorporado a su definición. La identificación realizada en los últimos 4 años, de los factores críticos externos del desarrollo local como la concentración y las externalidades, permiten construir sistemas de información estratégica para avanzar en la elaboración de planes y proyectos de desarrollo. Por su parte, los factores endógenos de las comunidades y organizaciones plantean el desafío de desarrollar formas de organización y gestión, que permitan superar el voluntarismo, los conflictos personales o sectoriales y avanzar sobre bases objetivas en los procesos de negociación, obtención de consensos y conducción en busca del bien común, sobre bases democráticas. El proyecto mediante un método comparativo, identifica los comportamientos, las prácticas institucionales y los mecanismos utilizados en comunidades, empresas y OSC en relación con ese “bien común”, de modo de diseñar instrumentos de planeación, toma de decisiones, ejecución y control –sistemas de autodiagnóstico, Balance social, Paneles de Comando, Balanced Scorecad, etc.- cuya adopción en las organizaciones mencionadas haría realidad su gestión responsable, desarrollo sostenible y democrático.

Educativas de nivel medio de la provincia de Córdoba.

La investigación se inscribe en las preocupaciones por comprender las relaciones entre lo político y lo pedagógico en Institutciones Educativas de Nivel Medio (Escuelas Media) de la Ciudad de Villa María y Córdoba. Se propone reconocer representaciones y prácticas de ciudadanía democrática a través del decir de sus actores.¿Cómo se construye la democracia al interior de las instituciones educativas? ¿Cuándo y en que prácticas –actos, hechos- los actores institucionales reconocen prácticas democráticas? A través de un diseño cualitativo y de una investigación de tipo exploratoria y descriptiva se trabajará indagando y sistematizando los significados que los sujetos otorgan a sus prácticas en contextos institucionales singulares. Una mirada comparada entre los decires de los estudiantes y de los directivos permitirá señalar discordancias, puntos de encuentro y complejidades de la vida institucional escolar. Por lo señalado algunas de las preguntas orientadoras de la investigación serán: ¿Cómo describen “prácticas democráticas” estudiantes y directivos de escuelas medias? ¿Qué relaciones son posibles de identificar entre saberes (contenidos) sobre democracia y prácticas democráticas identificadas por los sujetos como tales?¿Cómo describen “competencias democráticas” en tanto reconocimientos de esquemas prácticos de acción en situaciones escolares? Hipotetizamos que será posible identificar diversos (paradojales, heterogéneos, contradictorios) significados en la consideración con la que directivos y estudiantes definen y describen prácticas democráticas y que estos significados podrán encontrar algunas claves explicativas en las lógicas específicas de los diferentes niveles del sistema educativo, la singularidad de cada institución y su cultura institucional por un lado y en las relaciones intergeneracionales por otro.

Sustentabilidad de los suelos de fundaciones a través del mejoramiento físico-químico. Aplicación de nuevos diseños y tecnologías locales en las construcciones sociales.

El objetivo de identificar, caracterizar y ensayar los suelos cordobeses, es optimizar técnica y económicamente las subestructuras y las superestructuras de las obras civiles y arquitectónicas. Por ende, consolidar un uso de suelo sustentable, es objetivizar las construcciones tí­picas dentro del marco urbano local. Dentro de este marco, la vivienda social , es un tipo de construcción muy importante a considerar. El comportamiento de los suelos colapsibles de la región mediterránea del paí­s, es el resultado de la interacción entre su origen y la variación del estado tensional dentro de la masa de suelo en el medio. De esta interacción, se produce una mayor o menor alteración de los ví­nculos de su estructura que definen su grado de colapso. Para obtener una estructura estable a partir de este tipo de suelo, existen distintos procedimientos. Uno de ellos consiste en modificar las propiedades del suelo mediante su estabilización para hacerlo capaz de cumplir mejores requerimientos a largo plazo o durante su vida útil (Ingles y Metcalf, 1972). De acuerdo a los resultados de los ensayos ejecutados en gran mayorí­a en el Laboratorio de Suelos de la Facultad de Ingeniería de la UCC, se podrán recomendar especificaciones técnicas y constructivas concretas sustentables. Las mismas serán accesibles a la comunidad (responsabilidad social universitaria) lo que se traducirá en mejoras técnicas y económicas para el diseño de la subestructura (fundaciones o cimentaciones) y la superestructura (estructura portante) con el consiguiente beneficio social que ello implica, sobretodo para los sectores de menores recursos.

Estudio y caracterización de compuestos orgánicos volátiles en plantas medicinales y aromáticas.

Se realiza el estudio y caracterización quí­mica de la fracción orgánica volátil (COVs) presente en plantas Medicinales y Aromáticas, mediante la utilización de la Microextracción en Fase Sólida (SPME) y posterior análisis cuali-cuantitativo por Cromatografí­a Gaseosa adosada a un Espectrómetro de Masas (GC-MS). A través del estudio y caracterización de los compuestos orgánicos volátiles presentes, se busca establecer similitudes y diferencias en especí­menes de flora autóctona perteneciente al mismo género pero de diferentes especies. En el caso de plantas aromáticas usadas en tecnologí­a de alimentos, se realizan también estudios sensoriales para investigar posibles correlaciones entre la aceptación por parte de consumidores y la composición de volátiles de las mismas. Además de esto, se trata de establecer las mejores condiciones de conservación y almacenamiento de aquellas plantas aromáticas que poseen importancia económica, evaluando así­ la estabilidad de los COVs responsables de las caracterí­sticas aromáticas, durante el proceso de conservación y almacenamiento

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.

MATERIALES CON PROPIEDADES MAGNÉTICAS Y MULTIFERROICAS

Los materiales con propiedades multiferroicas, los materiales mesoporosos y óxidos mixtos con propiedades magnéticas constituyen en la actualidad temas de alto interés científico y con potencial para la búsqueda de aplicaciones tecnológicas. En este proyecto se estudiarán materiales con propiedades magnéticas y multiferroicas con potenciales aplicaciones tecnológicas. Basándonos en la amplia experiencia y reconocida trayectoria del Grupo Ciencia de Materiales en el estudio de materiales magnéticos, se desea continuar y profundizar el estudio de materiales, técnicas de producción y de caracterización recientemente incorporados al espectro de posibilidades de investigación del grupo. Los materiales serán producidos principalmente empleando las técnicas de aleado mecánico, síntesis química, electrodeposición y deposición láser pulsada. Estos materiales producidos, serán caracterizados en su morfología y por sus propiedades funcionales utilizando técnicas de caracterización disponibles en el grupo de investigación (difracción de rayos X, magnetometría de muestra vibrante(VSM), Calorimetría diferencial y balanza termogravimétrica (DSC-TGA), microscopia electrónica de barrido (SEM), Microanálisis (EMPA)) como las que se acceden a través de la Red Nacional de Magnetismo (SQUID, PPMS ). También se incluirán otras técnicas de caracterización a las cuales se accede mediante convenios específicos.

"POLÍTICAS HABITACIONALES Y SEGREGACIÓN RESIDENCIAL SOCIOECONÓMICA EN LA CIUDAD DE CÓRDOBA”

El objetivo principal de esta investigación es analizar la segregación residencial socioeconómica (en adelante SRS) en la ciudad de Córdoba (Argentina) y sus vinculaciones con los programas habitacionales llevados a cabo por el Gobierno de la Provincia de Córdoba durante los últimos diez años. Para la realización de la investigación proponemos un abordaje cuantitativo de las tres dimensiones constitutivas de la SRS identificadas por Sabatini (2006), a saber: (1) el grado de concentración espacial de los grupos sociales; (2) la homogeneidad social que presentan las distintas áreas internas de la ciudad; y (3) el prestigio social de las distintas áreas o barrios de cada ciudad. Las dos primeras dimensiones son definidas como las dimensiones objetivas de la segregación. Mientras que la primera analiza los grupos sociales en términos de su localización espacial, la segunda los analiza en términos de su composición social. La última dimensión es de carácter subjetivo y se refiere: por un lado, a la percepción que las personas tienen del hecho de pertenecer a un grupo social que tiene una forma particular de ocupar el espacio urbano, y, por otro lado, a la identidad y prestigio asignados a algunos barrios o zonas completas de la ciudad. Para el análisis de las dimensiones objetivas de la SRS proponemos la realización de mapas temáticos de la ciudad y el cálculo de índices estadísticos, basados en: los Censos Nacionales de Población y Vivienda de 1991 y 2001 (Instituto Nacional de Estadísticas y Censos - INDEC), y el Censo Provincial 2008 (Dirección General de Estadísticas y Censos – Provincia de Córdoba). Para el análisis de la dimensión subjetiva proponemos la realización de encuestas tanto a los beneficiarios directos de los programas habitacionales ejecutados por el Gobierno de la Provincia de Córdoba como a los habitantes de la ciudad que no viven en viviendas sociales. A través de las primeras exploraremos cómo los habitantes de las viviendas sociales se perciben a sí mismos en relación al resto de la sociedad y a través de las segundas cómo el resto de los cordobeses perciben a los barrios de viviendas sociales y a sus residentes. La conjunción de fuentes primarias y secundarias de información nos permitirá alcanzar una visión más integral y más completa de la SRS en la ciudad de Córdoba, ya que no sólo podremos describir y cuantificar dicho fenómeno, sino también explorar las diferentes percepciones de los habitantes de la ciudad en torno al mismo.

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.

Optimización de Arquitecturas de Procesamiento Digital de Señales en Lógica Programable para Aplicaciones en Vuelos No Tripulados

En dispositivos electrónicos de última generación destinados a funciones de comunicación o control automático, los algoritmos de procesamiento digital de señales trasladados al hardware han ocupado un lugar fundamental. Es decir el estado de arte en el área de las comunicaciones y control puede resumirse en algoritmos basados en procesamiento digital de señales. Las implementaciones digitales de estos algoritmos han sido estudiadas en áreas de la informática desde hace tiempo. Sin embargo, aunque el incremento en la complejidad de los algoritmos modernos permite alcanzar desempeños atractivos en aplicaciones específicas, a su vez impone restricciones en la velocidad de operación que han motivado el diseño directamente en hardware de arquitecturas para alto rendimiento. En este contexto, los circuitos electrónicos basados en lógica programable, principalmente los basados en FPGA (Field-Programmable Gate Array), permiten obtener medidas de desempeño altamente confiables que proporcionan el acercamiento necesario hacia el diseño electrónico de circuitos para aplicaciones específicas “ASIC-VLSI” (Application Specific Integrated Circuit - Very Large Scale Integration). En este proyecto se analiza el diseño y la implementación de aquitecturas electrónicas para el procesamiento digital de señales, con el objeto de obtener medidas reales sobre el comportamiento del canal inalámbrico y su influencia sobre la estimación y el control de trayectoria en vehículos aéreos no tripulados (UAV, Unmanned Aerial Vehicle). Para esto se propone analizar un dispositivo híbrido basado en microcontroladores y circuitos FPGA y sobre este mismo dispositivo implementar mediante algoritmo un control de trayectoria que permita mantener un punto fijo en el centro del cuadro de una cámara de video a bordo de un UAV, que sea eficiente en términos de velocidad de operación, dimensiones y consumo de energía.

Desarrollo sustentable de geoestructuras compuestas por suelo loéssico compactado mejorado con agregado de materiales estabilizantes. Sustainable development of compacted loess soil geo-structures with addition of stabilizing materials.

Los suelos estabilizados mediante compactación, permiten obtener materiales con ventajas ténicas y economicas en diferentes tipos de obras de ingeniería. Ejemplos de su uso se tiene en bases viales de autopistas, rutas o calles urbanas, pistas de aterrizaje, barreras de contención para enterramientos sanitarios o lagunas de estabilización, apoyos de plateas para fundación de edificios, losas industriales, entre otras aplicaciones. Las fallas en este tipo de construcciones pueden resultar en catástrofes ambientales, sociales y elevadas pérdidas económicas, por lo que resulta de gran importancia optimizar el diseño e incrementar la seguridad de este tipo de construcciones. Las obras con estas características involucran grandes volúmenes y/o superficies que requieren controles sistemáticos durante su desarrollo, a los fines de garantizar el cumplimiento de las propiedades de los materiales establecidos en la etapa de diseño. De esta forma, es necesario contar con ensayos de campo sencillos, confiables y eficientes que permitan identificar propiedades físicas, mecánicas e hidráulicas. Las geoestructuras generadas mediante la compactación del suelo próximo al sector de construcción pueden funcionar adecuadamente, con reducidos costos de material y transporte. Su estabilización puede ejecutarse en forma natural, o con la incorporación de agregados minerales como bentonita, cal o cemento. Estas incorporaciones mejoran las propiedades hidráulicas y mecánicas del material, optimizando el comportamiento requerido para la obra. Para establecer la forma en la que estos minerales modifican el comportamiento del suelo local compactado deben realizarse investigaciones especiales con los materiales involucrados. En el ámbito internacional existen numerosas investigaciones sobre comportamiento de suelos compactados, no obstante, si bien aportan antecedentes para la planificación de estudios locales, sus resultados no pueden trasladarse de manera directa. Las características propias del suelo local constituye la principal variable debido a la diversidad en las propiedades geotécnicas de cada Región. Esta investigación, se focaliza en el empleo de suelos limosos de la formación loéssica de la zona central de Argentina. Los suelos de la llanura cordobesa poseen comportamientos particulares, los cuales son contemplados en los diseños presentados como resutado de las investigaciones internacionales. Esta particularidad se relaciona con su inestabilidad, lo que los clasifica como suelos colapsables. Los resultados obtenidos en este trabajo podrán ser extendidos a una gran superficie de la Provincia de Córdoba y a la Región Pampeana en general, a los fines de establecer recomendaciones de diseño y construcción para la confección de Pliegos de Especificaciones Técnicas de diferentes tipos de obras públicas y privadas. El estudio contempla la ejecución de un plan experimental a escala de laboratorio y campo. Los materiales corresponden a suelo limosos puros, y diferentes agregados tales como bentonita, cal y cemento. Se planifican ensayos para evaluar el desempeño del material, a partir de la confección de muestras preparadas con diferentes condiciones de compactación (energía, humedad y método), y en forma de mezcla con los distintos tipos de agregados. Se realizarán ensayos de permeabilidad en celdas de pared rígida y flexible, junto a ensayos mecánicos de compresión confinada, simple y triaxial. Para el trabajo experimental de campo se prevé la ejecución de terraplenes de prueba instrumentados con tensiómetros e infiltrómetros para evaluar el comportamiento hidraúlico en el tiempo, junto con ensayos de penetración y plato de carga para la caracterización mecánica. En forma conjunta se propone el desarrollo de modelos numéricos de caracterización hidromecánica. Stabilized soils by compaction, produce materials technical and economic advantages in different types of engineering works. For example, road bases in highways, roads or city streets, containment barriers for sanitary landfill or stabilization ponds, foundation support of building, industrial flat, and other applications. Failures can result in environmental catastrophes, social, and economic loss, so it is important to optimize the design and increase the safety of such buildings. These works involve large surfaces that require systematic tests during construction, so it is necessary to have simple field tests, reliable and efficient to identify physical, mechanical and hydraulic properties. The geo-structures generated by local soil compaction have reduced material and transportation costs. Stabilization can be naturally, or with the addition of mineral aggregates as bentonite, lime and cement. These additions improve the hydraulic and mechanical properties of the material. So, special investigations should be conducted with the materials involved. There are many international studies on compacted soils behavior but their results can not be transferred directly due to the particularities of regional soils. For this research silty soils of central Argentina are the main focus. The soils of Córdoba plains are instability, so are classified as collapsible soils. The results obtained in this work may be extended to a large area of the Province of Cordoba and the Pampas region in general, in order to establish design and construction recommendations. The study includes laboratory and field tests. The materials are pure silty soil, and different aggregates such as bentonite, lime and cement. Tests are planned to evaluate the performance. Laboratory includes rigid and flexible wall cells, confined, triaxial and simple compression tests. For field experimental instrumented embankments will be constructed. A numerical hydromechanical model will be developed.

REPRODUCCIÓN CAPRINA. EFECTO DE LA ADICIÓN DE LÍPIDOS DIETARIOS SOBRE LA MODULACIÓN DEL ESTADO METABÓLICO Y LA CALIDAD DEL SEMEN CRIOPRESERVADO.

Adding Omega fatty acids (ω) 3 to the diet of stud bucks, the quality of sperm and their resistance to cryopreservation could increase. The aim of this study is to determine the effect of supplementation with ω3 on the metabolic state, sperm quality and resistance to freezing, in bucks kept in confinement under natural photoperiod. The experiment will be conducted in the facilities of the Faculty of Agronomy and Veterinary, UNRC (National University of Río Cuarto). Ten Anglo Nubian adult bucks, trained for semen collection with artificial vagina will be used. Males will be randomly allocated into 2 groups (5 animals each): control (C) and treatment (T). During the breeding season, group C will be fed with a ration of alfalfa and ground corn, according to the requirements for each category and sex (NRC, 2007). Group T will receive the same diet with the addition of linseeds. Both will have free access to water. Every week, semen of each buck, will be collected, evaluated and frozen. Sperm quality “in vitro” after thawing will be studied with a digital image analyzer. To assess oxidative stress in fresh and cryopreserved semen, levels of thiobarbituric acid reactive substances (TBARS) and quantification of the activity of superoxide dismutase (SOD) and catalase (CAT) will be determined. To establish the metabolic state, blood samples will be collected every two weeks. The statistical analysis will include an exploratory data analysis, multivariate analysis of multiple correspondences on a completely randomized design, analysis of variance and Fisher post-test. The level of significance will be set at P <0.05 and all results will be expressed as means ± SEM.