Entre la ejecución y la representación: intersecciones de lo real en la construcción escénica. Between the execution and the representation: intersections of the real thing in the scenic construction.

Esta propuesta de investigación se enmarca en los encuentros y discusiones que se están realizando en la Escuela de Artes de la Facultad de Filosofía y Humanidades (CEPIA, CIFFyH y SeCyT, de la U.N.C), en relación a las problemáticas de la investigación en Artes. Los encuentros llevados a cabo en diversas ocasiones y a lo largo de 2009, demuestran la necesidad de establecer un campo particular de la investigación y su relación con la práctica artística. Este proyecto nace de estas inquietudes y establece ciertos ejes de trabajo que permiten poner en práctica ciertos esbozos imaginados. En este sentido, nuestra propuesta se centra en definir la misma construcción escénica como objeto de estudio, delimitando sobre éste la problemática de lo real en el trabajo de la ficción, proponiendo además un equipo que permita investigar en su propio desarrollo creativo las diversas variables que entran en juego. De este modo, se trabajará en una propuesta de laboratorio escénico donde los planteos de orden teórico atraviesen la práctica y, a su vez, la observación de ésta permita una reelaboración y profundización del pensamiento contemporáneo sobre la problemática ejecución/representación, desde los diversos órdenes en que ésta interviene. La idea de representación teatral que planteaba Aristóteles señala que las acciones devienen necesariamente en la definición del carácter de los personajes. Este concepto es clave en el desarrollo del teatro occidental y por ende en las diferentes concepciones de actor. La definición de acción dada por Aristóteles es problemática para parte del teatro contemporáneo ya que supone que toda acción es mimética. También da por supuesto que en el teatro se conforman personajes, y que la unidad narrativa está dada por una programática, que es definida por la acción.La presente investigación se propone indagar en la relación entre la ejecución de la acción y su representación en el desarrollo de un laboratorio teatral. Esto implica que necesariamente es aplicada al trabajo escénico. Nuestra hipótesis de partida es que la relación conflictiva entre acción, ejecución de la misma y representación, se produce a partir de la operación material sobre lo real . Estas intersecciones podrían ser pensadas como una teoría del montaje donde la corporalidad es el principio necesario e irreductible de la construcción. La intersección de lo real es una problemática que permite ahondar sobre los procedimientos por los cuales se construye la escena. La idea de un teatro material, obliga a pensar con qué procedimientos se construye ficción. Un teatro que intenta recalar en lo “real” como modo de señalar la cosa misma, se propone, desde la perspectiva de la realización, indagar en los mecanismos de su construcción (procedimientos), por lo cual supone que la actividad teatral puede dar cuenta de los procesos por los cuales se realiza. La realización de una acción, puede remitir a sí misma y genera una relación “extraña” y ambigua con el mundo de referencia. La acción en sí misma, pone en cuestión la idea de modelo y da cuenta de una crisis en la representación. La teoría ha intentado dividir y sistematizar de manera binaria la manifestación teatral: Teatro de Representación/ Teatro Performático, para distinguir un teatro vinculado a la creación de personajes o para relacionarlo a un teatro de ejecución. Sin embargo, pensamos que es posible encontrar en la producción escénica, intersecciones de lo real que median el mundo de la representación y el de la performance para la construcción de ficción. Nuestra hipótesis de base es que si intervenimos el plano de la ejecución en el actor, la representación varía sustancialmente sus mecanismos de producción de sentido. Este primer planteo no es conflictivo hasta que se pone de manifiesto lo real. This research’s proposal is framed into the meetings and discussions that have been taking place in the School of Arts of the Faculty of Philosophy and Humanities (CEPIA, CIFFyH y SeCyT, of the National University of Cordoba), concerning the difficulties of research in Arts. The meetings carried out along 2009, demonstrate the need to establish a particular field of research and its relation to the practice of arts. This project is born from these concerns and it establishes central axis for the work, that enables us to put on practice some sketches imagined. In this regard, our proposal focuses on defining the construction of the scene as object of study, in itself, delimiting the issue of “the real” in the work of fiction. Proposing, furthermore, a team for researching the many variables that comes into play, in their own creative development. Consequently, the work will be developed in the method of a scenic laboratory, where the theoretical proposals cross over the practice and, in turn, these observations allow a reworking and deepen of contemporary thinking about the problematic of performance / representation, from the diverse orders in which it intervene. The idea of theatrical performance proposed by Aristotle, indicate that actions necessarily turn into the definition of the nature of the characters. This concept is key to the development of Western theaterand consequently on the different conceptions of actor. The definition of action given by Aristotle is problematic for a part of the contemporary theater, because it assumes that every action is mimetic. Also presumes that in the theatre the characters are formed, and narrative unit is given by a programmatic, which is defined by the action. This research proposes to explore the relationship between implementation of the action and its representation in the development of a theatrical laboratory. This implies that it is applied necessarily to the scenic practice. Our preliminary hypothesis is that the co.

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.

Verificación de Sistemas Basada en Teoría de Tipos. System verification in type theory

Este proyecto se enmarca en la utlización de métodos formales (más precisamente, en la utilización de teoría de tipos) para garantizar la ausencia de errores en programas. Por un lado se plantea el diseño de nuevos algoritmos de chequeo de tipos. Para ello, se proponen nuevos algoritmos basados en la idea de normalización por evaluación que sean extensibles a otros sistemas de tipos. En el futuro próximo extenderemos resultados que hemos conseguido recientemente [16,17] para obtener: una simplificación de los trabajos realizados para sistemas sin regla eta (acá se estudiarán dos sistemas: a la Martin Löf y a la PTS), la formulación de estos chequeadores para sistemas con variables, generalizar la noción de categoría con familia utilizada para dar semántica a teoría de tipos, obtener una formulación categórica de la noción de normalización por evaluación y finalmente, aplicar estos algoritmos a sistemas con reescrituras. Para los primeros resultados esperados mencionados, nos proponemos como método adaptar las pruebas de [16,17] a los nuevos sistemas. La importancia radica en que permitirán tornar más automatizables (y por ello, más fácilmente utilizables) los asistentes de demostración basados en teoría de tipos. Por otro lado, se utilizará la teoría de tipos para certificar compiladores, intentando llevar adelante la propuesta nunca explorada de [22] de utilizar un enfoque abstracto basado en categorías funtoriales. El método consistirá en certificar el lenguaje "Peal" [29] y luego agregar sucesivamente funcionalidad hasta obtener Forsythe [23]. En este período esperamos poder agregar varias extensiones. La importancia de este proyecto radica en que sólo un compilador certificado garantiza que un programa fuente correcto se compile a un programa objeto correcto. Es por ello, crucial para todo proceso de verificación que se base en verificar código fuente. Finalmente, se abordará la formalización de sistemas con session types. Los mismos han demostrado tener fallas en sus formulaciones [30], por lo que parece conveniente su formalización. Durante la marcha de este proyecto, esperamos tener alguna formalización que dé lugar a un algoritmo de chequeo de tipos y a demostrar las propiedades usuales de los sistemas. La contribución es arrojar un poco de luz sobre estas formulaciones cuyos errores revelan que el tema no ha adquirido aún suficiente madurez o comprensión por parte de la comunidad. This project is about using type theory to garantee program correctness. It follows three different directions: 1) Finding new type-checking algorithms based on normalization by evaluation. First, we would show that recent results like [16,17] extend to other type systems like: Martin-Löf´s type theory without eta rule, PTSs, type systems with variables (in addition to systems in [16,17] which are a la de Bruijn), systems with rewrite rules. This will be done by adjusting the proofs in [16,17] so that they apply to such systems as well. We will also try to obtain a more general definition of categories with families and normalization by evaluation, formulated in categorical terms. We expect this may turn proof-assistants more automatic and useful. 2) Exploring the proposal in [22] to compiler construction for Algol-like languages using functorial categories. According to [22] such approach is suitable for verifying compiler correctness, claim which was never explored. First, the language Peal [29] will be certified in type theory and we will gradually add funtionality to it until a correct compiler for the language Forsythe [23] is obtained. 3) Formilizing systems for session types. Several proposals have shown to be faulty [30]. This means that a formalization of it may contribute to the general understanding of session types.