La caja no era tan boba: Contenidos Audiovisuales para una Ficción más compleja

Para los distintos actores sociales que componen la Comunidad Audiovisual de una localidad alejada de los grandes centros capitalinos es prioritario acceder, entre otras cuestiones, a conocimientos técnicos-especializados para generar propuestas creativas, sustentables y competitivas. Desde la sanción en nuestro país de la Ley de Servicios de Comunicación Audiovisuales N° 26.522, acompañada por una importante política de fomento y promoción de Contenidos Audiovisuales Digitales para Televisión, se han ampliado las oportunidades para la consolidación y crecimiento del sector a nivel regional en lo que respecta tanto a la producción como a la distribución de diversos tipos de obras. En este marco, la implicación y compromiso de las Universidades públicas en estos procesos cobra centralidad dado que se instituyen en un actor de peso en términos de sus posibilidades de intervención en lo que respecta a la construcción y circulación de saberes específicos. Como parte de dicha comunidad educativa consideramos que es un deber ineludible comunicar los resultados de nuestro trabajo a los fines de su apropiación por parte de las organizaciones audiovisuales. Entonces, este proyecto de transferencia de conocimientos técnicos se orienta a reforzar los procesos de capacitación y actualización de distintas organizaciones locales que constituyen el Nodo Audiovisual Tecnológico (NAT) de Villa María. Concebidos los NAT como sistemas productivos, los mismos están conformados por diversos sujetos colectivos tales como institutos especializados, instituciones públicas, asociaciones civiles sin fin de lucro y PyMES audiovisuales. Estos actores participan en un ámbito en el que se pretende establecer una democratización de los mecanismos de participación, con énfasis en principios asociativos; y una federalización de la producción audiovisual, entre otras cuestiones. Dentro de sus objetivos se proponen fomentar la investigación y desarrollo de nuevos formatos y aplicaciones para la televisión digital, buscando establecer especializaciones tecnológicas, teóricas y productivas. En pos de esta intención es que los resultados obtenidos por el equipo de investigación pueden resultar útiles y aplicables dado que hemos profundizado en los nuevos dispositivos ficcionales que identificamos en las producciones seriadas televisivas anglosajonas destacadas por la crítica y que alcanzaron, en algunos casos, un nivel de popularización en su consumo. El tipo de objeto audiovisual que analizamos es pertinente para los miembros del NAT ya que predominan en las convocatorias para financiamiento de ficción televisiva criterios asentados en la matriz de la serialidad. Más allá de que los NAT apuntan a promover la generación de contenidos que den cuenta de la cultura y la identidad local y regional, es importante conocer ciertas tendencias en la producción ficcional internacional para concebir alternativas más cercanas a las actuales experiencias de consumo de este tipo de relatos. Es indiscutible que se ha producido una ruptura en los modelos tradicionales de narrar para televisión: cuestión que, a su vez, nos vincula a un segundo receptor de este proyecto conformado por la comunidad educativa de la Carrera de Diseño y Producción Audiovisual de la UNVM a los fines de proveer saberes renovados y construidos desde la indagación científica (Información en Anexo). Así se configura un dispositivo de transferencia tecnológica al que hemos denominado TICAVF/TV (Transferencia de Investigación sobre Contenidos Audiovisuales de Ficción para Televisión) en el que se liga la producción de investigación aplicada, las organizaciones del sector local, y sujetos implicados en los procesos de enseñanza-aprendizaje universitarios. El dispositivo permitirá la construcción dialógica de saberes a partir de instancias de intercambio que redundará en las modificaciones que el equipo de investigación realizará para construir un material de divulgación acorde a demandas específicas.

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”.

Diseño de celdas analógicas embebidas en sistemas en un chip (SOC)

La metodología actual de diseño de celdas analógicas embebidas se basa en una tecnología CMOS fija, no teniendo dichos módulos características de reutilización y de migración hacia otras tecnologías. Para avanzar a un mayor nivel de productividad en el diseño se necesita un cambio de paradigma. Este cambio en la metodología necesita reducir tiempo y esfuerzo en el desarrollo, incrementar la predictibilidad y reducir el riesgo involucrado en el diseño y la fabricación de complejos sistemas en un chip (SOC). Las celdas digitales embebidas se han aplicado al diseño VLSI digital debido a que la síntesis a través de lenguajes de descripción de hardware (HDL) permite mapear complejos algoritmos en una descripción sintáctica digital, la cual puede luego ser automáticamente colocada e interconectada (place&route). Sin embargo, dada la falta de automatización del diseño electrónico en el dominio analógico, como así también por factores como el ruido, el corrimiento y falta de apareamiento, el uso de los circuitos analógicos ha sido muy bajo en la medida de lo posible, por lo que las celdas analógicas embebidas son ahora un cuello de botella en el diseño de SOC. Por lo expuesto, en el proyecto que se propone se planea diseñar celdas analógicas embebidas con características de: bajo consumo, reutilización, bajo costo y alta performance para satisfacer el notable crecimiento del mercado de los sistemas portables alimentados por batería y el de sistemas de identificación remotamente energizados (RFID). Conjuntamente con el Área de Comunicaciones, se propone un generador de tensión de alimentación a partir de una señal de RF.

Dosimetría de radiaciones y espectrometría por FRX

Parte I. Este proyecto tiene como objetivo general contribuir la eficiencia de las terapias PDT e Hipertermia. Luego, con los resultados se ensayarán los efectos de su combinación y con todo esto lograr resultados que aporten a su evaluación clínica. Los objetivos específicos son: 1) Estudio de las propiedades ópticas de los tejidos de interés que permita realizar una dosimetría de radiaciones láser (ultravioleta, visible e infrarroja). Aspectos teóricos: Búsqueda bibliográfica y estudio de modelos de propagación de "luz" en tejidos, etc. Aspectos experimentales: Desarrollo y sistematización de equipos de medición, mediciones experimentales en los diversos tipos de tejidos. Contrastación de los resultados teóricos y experimentales logrados. 2) Estudio de las propiedades térmicas de los tejidos de interés para establecer la evolución temporal de las temperaturas. Aspectos teóricos: Búsqueda bibliográfica y estudio de modelos de difusión de calor en tejidos, etc. Aspectos experimentales: Desarrollo y sistematización de equipos de medición, mediciones en los diversos tipos de tejidos. Contrastación de los resultados teóricos y experimentales logrados. 3) Desarrollo de un modelo analítico y/o numérico que contemple los aspectos ópticos y térmicos de la interacción de la radiación láser con tejidos biológicos. Aspectos teóricos: Búsqueda bibliográfica y estudio de los resultados propios y publicados tendientes a unificar la parte óptica con la térmica. Aspectos experimentales: Mediciones experimentales en los diversos tipos de tejidos y situaciones teóricas analizadas. Contrastación de los resultados teóricos y experimentales logrados. 4) Presenta los resultados obtenidos a través de un sistema experto. Esto permitirá a los cirujanos que utilizan láser acceder fácilmente a esta información. Aspectos teóricos: Búsqueda bibliográfica y estudio lenguajes de computación de alto nivel. Desarrollo de software del programa experto. Incorporación de los resultados obtenidos y publicados en revistas especializadas. Contraste y prueba del sistema experto con resultados clínicos. Parte II. El presente proyecto plantea inicialmente la instalación y puesta a punto de un espectrómetro de rayos X con capacidad para efectuar análisis de trazas con resolución espacial y análisis de ultratrazas en régimen de reflexión total. Los distintos temas a tratar se detallan a continuación: 1) Instalación y puesta a punto del espectrómetro. Instalación del tubo de rayos X. Montaje del sistema óptico. Acople del sistema global. Caracterización experimental del equipo. 2) Análisis de muestras biológicas. Análisis de factibilidad. Selección de muestras para análisis con resolución espacial. Estudios espectroquímicos con resolución espacial. Selección de muestras para análisis por reflexión total. Estudios espectroquímicos por reflexión total.

Leyes numérico-generativas I

El empleo intensivo de computadoras constituye para las investigaciones en los campos de diseño, arte y arquitectura, como así también en las investigaciones formales y/o generativas de cualquier tipo una constante en nuestra actividad. Todo ello trae aparejadas ventajas innegables (velocidad y diversidad de resultados) como también una nueva estructura de costos. (...) Todas nuestras investigaciones tradicionales se valen de recursos muy semejantes a los mecanismos de las computadoras por tratarse de crecimientos o desarrollos numéricos como también leyes de color (tablas cromáticas). Ahora estamos trabajando bajo el sistema de operativo de Windows (empleando herramientas de programación los lenguajes Pascal y C++) empleados equipos PC 486. Paralelamente continuamos las Investigaciones Tradicionales no-computarizadas en lo referido a Color por considerarlas absolutamente indispensables como complemento de las resoluciones que nos brindan las Computadoras. Objetivo general: Avance y ampliación de posibilidades investigativas en el campo de la Geometría Generativa (Creación de Formas) y Cromogénesis (Estudio sistemático y generación del color). Objetivos específicos: 1. Creación y utilización de programas computarizados sobre Puntos Generadores sobre Circunferencia. 2.Creación de obras pictórico-investigativas con base numérica.

Recuperación y análisis de información de archivo fílmico documental (Noticias de Canal 10, 1973/76)

El propósito de este proyecto es continuar con el ordenamiento, recuperación y análisis de información de material fílmico (en 16 mismo) del archivo de noticias SRT-canal 10, para el período 1973/76. Se sistematizará principalmente el material originado en Córdoba procediéndose a la automatización y transferencia a video de 50 hs. de noticias. El material que se procese, sumando al ya disponible para el período 1966/72, posibilitará avanzar en el desarrollo de las investigaciones específicas encaradas por los participantes en este proyecto. El material a recuperar testimonia además diversos aspectos de la vida social y cultural de la época, constituyendo una materia prima de gran valor tanto para las investigaciones en las ciencias sociales y humanas como para la realización de otros productos audiovisuales. En este sentido, el trabajo a desarrollar adquiere particular relevancia dada la escasez de registros que se conservan sobre el período y la inexistencia de archivos fílmicos documentales organizados y accesibles por los medios planteados, que es una condición previa para su utilización sistemática. Al mismo tiempo, su recuperación y preservación tienen relevancia en un sentido amplio por formar parte del patrimonio cultural y la memoria histórica de Córdoba y el país. Objetivo generales: * Continuar con el programa de ordenamiento y conversación del archivo de noticias y el de generación de un centro de documentación audiovisual automatizado para su funcionamiento en el ámbito de la Facultad de Filosofía y Humanidades, que facilite el acceso a la información a la comunidad académica y otros posibles interesados. * Recuperar fuentes audiovisuales de alto valor documental sobre la realidad local y, en menor medida, nacional e internacional, del período 1973/76. * Disponer de información audiovisual sobre el período señalado, accesible a estudiantes, docentes e investigaciones del Departamento de Cine y TV. * Promover y desarrollar la realización de documentales y/o investigaciones históricas, y estudios en otros campos en base al tratamiento y explotación de imágenes en movimiento.

Poéticas y políticas de los cuerpos juveniles. Tres estudios en caso en Córdoba. The poetics and politics of youths' bodies.Three cases studies.

¿Qué formas adquieren los cuerpos de los jóvenes bajo las actuales condiciones de producción? ¿Cuáles son sus poéticas? ¿Qué relaciones de fuerza se realizan en estas formas? ¿Cómo se inscriben en los cuerpos las relaciones de dominación, el "ethos" y la cosmovisión de un grupo social? Estas son algunas de las cuestiones que orientan el presente proyecto, interesado en explorar y describir sistemáticamente los procesos sociales del devenir "joven" en Córdoba. La investigación aborda algunas de las problemáticas propias de los jóvenes en tanto grupo social heterogéneo y diferenciado a partir del análisis de las prácticas de producción, consumo, interpretación y circulación de bienes culturales asociados con la diversión y el tiempo libre. Los tres objetos empíricos, localizados en la ciudad de Córdoba, son:o las salidas nocturnas de jóvenes estudiantes universitarios o la formación y el entrenamiento de los bailarines clásicos en el Teatro del Libertador Gral. San Martín. o las prácticas de entretenimiento y socialización lúdica entre los jóvenes de la comunidad de sordos de Córdoba.La hipótesis central de la investigación sostiene que la música y el baile tienen la capacidad de producir las identidades que nombran. Esta producción de cuerpos y subjetividades se realizaría en las performances sociales ("las salidas nocturnas" y "fiestas de la comunidad sorda") y las performances artísticas (clases, ensayos y funciones de ballet) donde se da la interacción entre las identidades actuadas por los sujetos y las ofrecidas por las diferentes músicas, bailes y movimientos corporales. En este sentido, proponemos que las performances articulan una particular identidad cuando quienes la protagonizan experimentan que la música y el baile se "ajusta" a la trama argumental que organiza sus narrativas identitarias.ObjetivosGENERAL:o Describir, de modo denso, las prácticas y representaciones implicadas en el proceso de materialización de los cuerpos y relacionarlas con los procesos de subjetivación y formación de identidades juveniles. ESPECÍFICOS.o Explorar la relación entre las diversas formas de consumo cultural en la formación de un estilo de vida y en la formación de identidades colectivas. o Describir los procesos de entrenamiento de los bailarines de música clásica.o Analizar los procesos de comunicación no verbal entre jóvenes de la comunidad sorda.Materiales y métodos.Para realizar esta investigación se construirá por medio de técnicas cuali y cuantitativas un corpus heterogéneo de materiales textuales, gráficos y audiovisuales, así como de entrevistas en profundidad, de experiencias etnográficas de observación participante y de investigación cuantitativa. Dicho corpus recibirá un tratamiento diferencial según el soporte y género, pero en todos los casos trabajando desde una matriz de análisis que considere los procesos de construcción de sentido y las relaciones entre cuerpo, subjetividad e identidad. En el análisis de los datos se pondrán en juego herramientas conceptuales tomadas de la Antropología Simbólica, la Antropología de la Danza, el Análisis del Discurso, la Sociología del Arte y los Estudios de la Performance. Resultados esperados.Se espera elaborar indicadores para medir la producción, circulación y consumo de bienes simbólicos. El desenvolvimiento del proyecto permitirá también la formación de recursos humanos en investigación y se contempla presentaciones a reuniones científicas, publicación en revistas nacionales e internacionales y la elaboración de dos libros. Por último se implementarán actividades de capacitación y asesoramiento para instituciones relacionados con los jóvenes. Importancia del ProyectoLos resultados de la investigación permitirán una interpretación más comprehensiva de los sentidos que poseen para jóvenes cordobeses problemáticas sociales como las adicciones, el alcoholismo, la salud sexual y reproductiva, las prácticas discriminatorias o los usos de las nuevas tecnologías.

El niño y su relación con el mundo a través de las pantallas. Aspectos generales para la constitución de un sujeto adulto crítico en el marco de la bioética.

La indudable influencia que ejercen las Tecnologías en la sociedad en general y en el ámbito infantil en particular, se manifiesta de diferentes formas y adquiere tantos sentidos como interpretaciones podamos darle. Con este estudio nos proponemos dar cuenta de este fenómeno social y comprender su alcance en un ámbito específico, a la vez que intentamos llevar adelante una serie de acciones que propendan a la constitución de un sujeto crítico en relación con los medios de comunicación masivos. Para ello, nos ubicamos en la perspectiva semiótica de Análisis de Discursos multimediales para reconstruir representaciones sociales que surgen de los medios con los que conviven los niños en su etapa inicial. Este procedimiento nos permitirá indagar acerca de cuáles son las estrategias de seducción que se imponen desde la producción discursiva multimedial, capaces de generar representaciones sociales.En esta línea, la Semiótica es la disciplina que nos ofrece las mayores posibilidades de contribuir a la generación de conocimiento. Creemos que el análisis de los procesos de significación provenientes de diferentes semiosis es fundamental para entender procesos cognitivos. Intentamos abordar la pluralidad de lenguajes con los que permanentemente interactúa el niño en este siglo, portadora de sentidos y movilizadora en la construcción de determinadas representaciones sociales, especialmente aquellas que se vinculan con la bioética. A los fines de comprender la circulación de sentidos, abordaremos también las condiciones de recepción de los multimedios analizados a partir de entrevistas semiestructuradas a niños que cursan el nivel inicial en instituciones públicas y privadas de la ciudad de Río Cuarto, considerando que en los discursos se hacen explícitos los campos representacionales por lo que resulta importante el análisis de las huellas discursivas que den cuenta de las condiciones de producción y de recepción.

Recuperación y conservación de material fílmico y sonoro de Córdoba, 1983 - 2001.

Los documentos audiovisuales contienen en un mismo soporte información visual y sonido; asimismo, se caracterizan por su opacidad, es decir requieren de un dispositivo tecnológico para su grabación, transmisión y comprensión. En la actualidad, constituyen un importante acervo cultural que merece ser resguardado y puesto a disposición de la comunidad científica y del público en general como expresión de la memoria colectiva y de la cultura de nuestra sociedad. Somos conscientes de la existencia de un cúmulo significativo de material audiovisual, hoy conservado en soportes tecnológicos que han caído en desuso, lo cual implica dos grandes riesgos: por un lado, la posibilidad de pérdida o deterioro de la información contenida en ellos; por otro, la creciente dificultad para acceder a su contenido debido a la obsolescencia de los equipos necesarios para reproducirlos. En consecuencia, este proyecto se propone recuperar y resguardar en un soporte tecnológico actual y seguro: 1) el material audiovisual producido en el marco del programa televisivo Encuentros, conducido por el periodista Kuroki Murúa, emitido entre 1990 y 1998 por los Servicios de Radio y Televisión de la Universidad Nacional de Córdoba, el cual consistía en la realización de entrevistas a historiadores, sociólogos, escritores, psicoanalistas y la emisión de informes sobre manifestaciones culturales de diversa índole; 2) los discursos emitidos por los gobernadores e intendentes de Córdoba, asi como de los principales dirigentes de la oposición, difundidos por radio y televisión desde la recuperación de la democracia hasta 2001. El primer conjunto está registrado en cassettes VHS, lo cual implica un serio riesgo para la seguridad de ese material porque es sabido que el simple paso del tiempo produce un deterioro irreparable en las cintas; además requiere de un dispositivo tecnológico para su reproducción que actualmente no está disponible en el mercado. El segundo conjunto está disperso en los archivos de las distintas emisoras de radio y televisión de la ciudad de Córdoba. Estos propósitos se insertan dentro de las actividades que desde 1998 se desarrollan en el Archivo de la Palabra del Centro de Estudios Avanzados de la Universidad Nacional de Córdoba. El Archivo de la Palabra fue creado como un espacio para la creación de fuentes orales producto de investigaciones referidas a la historia política de Córdoba, como también un lugar de reunión y resguardo de las entrevistas realizadas en el marco de investigaciones que contemplaran el uso de este tipo de fuente. En esta instancia, nos proponemos ampliar los objetivos planteados inicialmente incorporando al acervo documental del Archivo, material audiovisual como el correspondiente al programa Encuentros y los discursos políticos a los que hemos hecho referencia. A los propósitos mencionados anteriormente se suman fortalecer la vinculación con redes, archivos orales, asociaciones y centros de investigación que contemplen el uso de fuentes orales e impulsar la formación de recursos humanos en el tratamiento y conservación de fuentes documentales orales y audiovisuales. La realización de este proyecto implica la prosecución de la siguiente metodología: búsqueda y localización del material audiovisual, conservación en un formato adecuado, clasificación, catalogación, puesta a disposición del público. Consideramos que este proyecto contribuirá a la recuperación, resguardo, difusión y utilización de un importante acervo documental que actualmente, debido a las condiciones de mantenimiento en las que se encuentra y a los formatos en los que está registrado corre el riesgo de perderse. Además, el material aludido constituirá un aporte fundamental para el estudio, análisis y comprensión de nuestro pasado reciente como así también para la revalorización de la memoria colectiva de nuestra sociedad. El estudio tiene como límites temporales dos años claves en la historia política argentina: 1983 y 2001.

PATRIMONIO AUDIOVISUAL, ACCESO A LA INFORMACIÓN E HISTORIA RECIENTE

La preservación y acceso al patrimonio cultural audiovisual (cinematográfico, televisivo, fotográfico, radiofónico) representa uno de los problemas menos atendidos e irresueltos de la Argentina, pese a los desarrollos y recomendaciones producidos en las últimas décadas en el ámbito internacional (UNESCO y otros). La falta de normativas que regulen el rescate, la protección y la puesta en valor de los acervos y que al mismo tiempo garanticen el acceso público a sus componentes ha afectado no sólo la conservación sino también sus usos sociales. Esto tiene importancia debido a que los registros producidos por los medios de comunicación AV en la segunda mitad del siglo XX constituyen materia prima de gran valor para el estudio de dimensiones de la historia reciente y para la realización audiovisual y no pueden ser sustituidos por los de otros medios. Los estudios previos realizados y la experiencia adquirida en la recuperación de acervos audiovisuales a través del Centro de Conservación y Documentación Audiovisual (CDA) de la UNC, nos permiten dar cuenta del problema de la falta de preservación como de accesibilidad de la mayoría de los fondos y, en consecuencia, de las dificultades para su empleo con fines culturales, educativos, sociales e investigativos. En tal sentido sostenemos que la mayor parte de las entidades que guardan acervos AV restringen o no admiten el acceso, sea porque no es su política brindarlo o bien porque las condiciones para generar copias de acceso y catálogos no lo hacen posible. El supuesto es que la preservación y gestión de los fondos AV en entornos digitales, aunados a políticas de accesibilidad y de difusión de sus componentes, pueden contribuir a transformar esa realidad, así como a promover la valoración y los usos sociales del patrimonio AV. OBJETIVOS: Profundizar las políticas de preservación del patrimonio audiovisual de Córdoba y de accesibilidad a la documentación que lleva adelante el CDA, mediante la aplicación creativa de nuevas tecnologías de recuperación, procesamiento y gestión de imágenes y datos. Contribuir al avance del conocimiento de la historia política y cultural de Córdoba y el país de la segunda mitad del siglo XX. - Fortalecer el trabajo interdisciplinar e interinstitucional, la complementación de saberes y experiencias en la formación de RRHH y en la consolidación de la red. Llevar a cabo estudios particulares sobre aspectos de la historia reciente que empleen los recursos ya disponibles en el CDA y los que genere el desarrollo del proyecto. Transferir y difundir los avances y resultados que se logren en distintos ámbitos. MATERIALES Y MÉTODOS: a) retransferir y digitalizar películas convertidas y almacenadas en soportes analógicos, con el equipo de Telecine (2009) disponible en el CDA y vincular los registros con los de la base de datos textual. Se adecuará la base de datos existente; b) transferir y digitalizar películas aún no convertidas, analizarlas y documentarlas en la base de datos vinculando imágenes y textos. c) la información de a y b se guardará en un banco de almacenamiento. d) se continuarán las investigaciones vinculadas al proyecto marco y entre sí por el estudio de aspectos de la historia reciente, mediante el análisis, el empleo y/o la recuperación de documentos audiovisuales.RESULTADOS ESPERADOS: 50 hs anuales de fílmico transferido a video digital y en banco de almacenamiento. Base de datos reformulada para la gestión de textos e imágenes en movimiento; vínculos entre imágenes y textos incorporados. 400 fotos digitalizadas y documentadas en bases de datos. Presentación y/o publicación de ponencias, artículos y libros de sub-líneas de investigación. Una tesis de postgrado concluida. IMPORTANCIA: Su importancia radica en los aportes que espera realizar en rescate y preservación de patrimonio AV de Córdoba, generando medios avanzados de gestión y consulta de documentos para la creación de conocimiento sobre el pasado reciente y otras producciones sociales.

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.

Sistemas de Tipos para Verificación de Programas Concurrentes. Type Systems for Concurrent Programs Verification.

La programación concurrente es una tarea difícil aún para los más experimentados programadores. Las investigaciones en concurrencia han dado como resultado una gran cantidad de mecanismos y herramientas para resolver problemas de condiciones de carrera de datos y deadlocks, problemas que surgen por el mal uso de los mecanismos de sincronización. La verificación de propiedades interesantes de programas concurrentes presenta dificultades extras a los programas secuenciales debido al no-determinismo de su ejecución, lo cual resulta en una explosión en el número de posibles estados de programa, haciendo casi imposible un tratamiento manual o aún con la ayuda de computadoras. Algunos enfoques se basan en la creación de lenguajes de programación con construcciones con un alto nivel de abstración para expresar concurrencia y sincronización. Otros enfoques tratan de desarrollar técnicas y métodos de razonamiento para demostrar propiedades, algunos usan demostradores de teoremas generales, model-checking o algortimos específicos sobre un determinado sistema de tipos. Los enfoques basados en análisis estático liviano utilizan técnicas como interpretación abstracta para detectar ciertos tipos de errores, de una manera conservativa. Estas técnicas generalmente escalan lo suficiente para aplicarse en grandes proyectos de software pero los tipos de errores que pueden detectar es limitada. Algunas propiedades interesantes están relacionadas a condiciones de carrera y deadlocks, mientras que otros están interesados en problemas relacionados con la seguridad de los sistemas, como confidencialidad e integridad de datos. Los principales objetivos de esta propuesta es identificar algunas propiedades de interés a verificar en sistemas concurrentes y desarrollar técnicas y herramientas para realizar la verificación en forma automática. Para lograr estos objetivos, se pondrá énfasis en el estudio y desarrollo de sistemas de tipos como tipos dependientes, sistema de tipos y efectos, y tipos de efectos sensibles al flujo de datos y control. Estos sistemas de tipos se aplicarán a algunos modelos de programación concurrente como por ejemplo, en Simple Concurrent Object-Oriented Programming (SCOOP) y Java. Además se abordarán propiedades de seguridad usando sistemas de tipos específicos. Concurrent programming has remained a dificult task even for very experienced programmers. Concurrency research has provided a rich set of tools and mechanisms for dealing with data races and deadlocks that arise of incorrect use of synchronization. Verification of most interesting properties of concurrent programs is a very dificult task due to intrinsic non-deterministic nature of concurrency, resulting in a state explosion which make it almost imposible to be manually treat and it is a serious challenge to do that even with help of computers. Some approaches attempts create programming languages with higher levels of abstraction for expressing concurrency and synchronization. Other approaches try to develop reasoning methods to prove properties, either using general theorem provers, model-checking or specific algorithms on some type systems. The light-weight static analysis approach apply techniques like abstract interpretation to find certain kind of bugs in a conservative way. This techniques scale well to be applied in large software projects but the kind of bugs they may find are limited. Some interesting properties are related to data races and deadlocks, while others are interested in some security problems like confidentiality and integrity of data. The main goals of this proposal is to identify some interesting properties to verify in concurrent systems and develop techniques and tools to do full automatic verification. The main approach will be the application of type systems, as dependent types, type and effect systems, and flow-efect types. Those type systems will be applied to some models for concurrent programming as Simple Concurrent Object-Oriented Programming (SCOOP) and Java. Other goals include the analysis of security properties also using specific type systems.

Mejoramiento del comportamiento térmico de sistemas de calentamiento de agua solares termosifónicos hechos con materiales no convencionales y con tanques de almacenamiento verticales y horizontales Performance improvement of solar thermosyphonic systems for water heating made of non conventional materials and using horizontal and vertical storage tanks

El objeto de estudio de este proyecto son los sistemas de calentamiento de agua mediante energía solar que funcionan termosifónicamente. En particular se tratará con dos diseños particulares generados por fabricantes de la Provincia de Córdoba y que han solicitado el asesoramiento del Grupo de Energía Solar (GES) para el mejoramiento de la performance térmica de dichos equipos. Se trata de dos sistemas que tienen materiales no tradicionales y se diferencian además por tener una distinta disposición del tanque de almacenamiento: uno es en forma vertical y el otro en forma horizontal. Basados en los resultados de un ensayo bajo norma internacional, donde se detectaron algunas puntos factibles de mejora, se propone en este proyecto el análisis en detalle de los equipos, para lo cual se les debe desarmar completos, para realizar un estudio analítico y experimental de los mismos con el objeto de hacer un planteo teórico-analítico del comportamiento de los mismos, con la implementación de propuestas de mejora y chequeo de los resultados. Se propone entonces como objetivo lograr un mejoramiento de la performance térmica de los citados equipos a partir de un estudio experimental y analítico. Asumiendo esta posibilidad de mejora, se plantea la hipótesis de que es posible representar el funcionamiento de estos equipos mediante modelos físico-matemáticos desarrollados a partir de ecuaciones y correlaciones conocidas y procesos a interpretar mediante resoluciones numéricas y softwares específicos de simulación. De esta manera, se plantea el despieze completo de los equipos para estudiar en detalle su estructura y conexiones internas y a partir de la geometría, dimensiones y propiedades termofísicas de materiales constructivos y fluidos de trabajo, realizar modelos físico-matemáticos que permitan realizar variaciones de propiedades y geometría y así buscar las mejores combinaciones que produzcan equipos más eficientes térmicamente. Los modelos físico-matemáticos serán codificados en lenguajes de alto nivel para poder luego de una validación de los modelos, correr simulaciones en un software de reconocimiento internacional que permite sumar dichos modelos mediante un protocolo de comunicación, haciendo que las poderosas prestaciones del software se puedan aplicar a nuestros modelos. Se complementará el estudio con un análisis exergético para identificar los puntos críticos en que se producen las pérdidas de oportunidad de aprovechar la energía disponible, para así analizar cómo solucionar los problemas en dichos puntos. Los materiales a utilizar serán los propios equipos provistos por los fabricantes, que serán modificados convenientemente para operarlos como prototipos Se espera obtener un conocimiento acabado de los procesos y principios de funcionamiento de los equipos, que permita plantear las mejoras, las cuales se implementarán en los prototipos, realizándose una medición mediante norma igual a la inicial para ver en que magnitud se logran las mejoras esperadas. Se pretende además que las mejoras a implementar, en la etapa de transferencia a las empresas involucradas, redunden no sólo en un beneficio técnico, sino que también los sea desde el punto de vista económico. Para ello se trabajará también sobre los procesos y métodos de fabricación para que los equipos mejorados no sean mas caros que los originales y de ser posible sean aún más económicos, todo esto apuntando a la difusión de la energía solar térmica y poner al alcance de todos estos equipos tan convenientes para la propagación de las energías limpias. El proyecto redundará también en un importante beneficio para el conocimiento de la comunidad científica en general, con el aporte de nuevos resultados en diseños novedosos y con nuevos materiales. Además, la institución se beneficiará con la formación que obtendrán los integrantes del proyecto, muchos de ellos en etapa de realización de sus estudios de posgrado y en una etapa importante de su vida como investigadores. The main goal of this project is the improvement of two thermosyphonic solar water heating systems, made of non conventional materials and with different arrangement of their storage tanks: one is vertical and the other one horizontal. The thermosyphonic systems are provided by manufacturers of the Córdoba Province, who came to the Solar Energy Group (GES) of the National University of Río Cuarto looking for help for the design of their products. In an agreement with these manufacturers, it was proposed this project in order to work analytically and experimentally in order to obtain physical-mathematical models of these two systems, which allow for changes to look by means of simulations the best changes to implement on the equipments for the improvement of their thermal performance. Then, the materials to be used are the proper systems provided by the manufacturers, which will be disarmed to be studied in detail. After the analytical study the proposals of improvement will be implemented in a high level language of programming to perform simulations in the environment of a well-known software for energy simulations (TRNSYS). After the simulations, the best modifications will be physically implemented in the prototypes to perform finally the same normalized test of the beginning and check the magnitude of the implemented improvements. The importance of this project is based on the offer of better systems the companies would make, which would benefit the deployment of the thermal solar energy. Another relevant point is to make the new equipments at the same cost of the previous ones or cheaper, in order to achieve a good deployment of the solar water heating systems; then, the manufacture processes and methods must be studied to obtain not only good technical solutions, but also economical equipments. In addition, this project will contribute to the increasing of the knowledge in the area of thermosyphonic solar systems and the training of postgraduate students.