GESTIÓN INTEGRAL DE RESIDUOS Y SU VALORIZACIÓN COMO ESTRATEGIA DE DESARROLLO PARA REGIONES DE CÓRDOBA.

La gestión de los residuos sólidos urbanos presenta recurrentes problemas ambientales y sociosanitarios, con especial crudeza en el ámbito de municipios de pequeña escala. Esta problemática requiere del desarrollo de nuevas tecnologías y rediseño de la gestión de residuos. En la Provincia de Córdoba, la mayoría de las localidades, disponen sus residuos sólidos en sitios abiertos y en forma incontrolada. Estos basurales, son frecuentados por cirujas, trabajo no formal, quienes conjuntamente con otros integrantes de la familia, incluyendo niños, realizan las actividades de recupero de residuos en forma precaria, poniendo en riesgo la salud de dicha población. A su vez, estos lugares son muy propensos a incendios espontáneos ó provocados, lo que conduce a la generación de humos altamente tóxicos que alcanzan a las zonas urbanas. Esta problemática es compartida por todas las regiones con baja densidad poblacional (10 a 40 hab/Km2). A pesar de los incesantes esfuerzos, no se ha logrado aún alcanzar aproximaciones válidas para dar soluciones a esta problemática.La implementación de sistemas de gestión integral con la aportación de tecnologías de bajo costo y provistas por el mercado local, es la única manera que se pueda llegar a buen término con la gestión de residuos y lograr así un desarrollo sustentable de toda la provincia. Los objetivos que se proponen son lograr una solución al grave problema de contaminación para regiones de la provincia de Córdoba debido a la incorrecta disposición y manejo de los residuos sólidos mediante la implementación de un sistema de gestión integral de residuos acorde a las características particulares de cada región, utilizando nuevos indicadores de gestión. Dentro de los objetivos particulares, podemos citar la implementación de sistemas tecnológicos innovadores en el tratamiento de residuos para una correcta disposición final de tecnología sencilla y bajo costo, la implementación de microemprendimientos productivos de clasificación y recupero de materiales, la valoración de los residuos recuperados en función de Bonos de Carbono, disponer de justificativos técnicos y nuevos indicadores económicos para la gestión de subsidios, valorizar el trabajo del ciruja y su familia, capacitación y toma de conciencia a los sectores involucrados. Para el desarrollo del presente trabajo se plantea implementar un sistema de gestión y recupero de residuos regional e integral, que incluya microemprendimientos productivos para lograr la sustentabilidad y a las familias que actualmente trabajan en el recupero de residuos, diseñar y ensayar equipos con características innovadoras para la disposición final de residuos e implementar un proyecto de educación integral que aúne el conocimiento, capacitación y toma de conciencia. Para lograr los objetivos citados se proponen realizar actividades de relevamiento de indicadores facilitadores de vinculación para las localidades de la provincia, generar una logística de funcionamiento para los municipios, relevar las actividades económicas y sanitarias relacionadas a residuos y de las personas involucradas, desarrollar emprendimientos productivos locales, realizar y ensayar tecnologías para el recupero y disposición de residuos, implementar prototipos a escala piloto, implementar talleres de capacitación y material didáctico en las temáticas medio ambiente, desarrollo sustentable, gestión integral de residuos sólidos, reutilización de residuos, salud pública. El presente proyecto estará llevado a cabo por profesionales docentes y alumnos universitarios de distintas especialidades, como así también docentes y técnicos pertenecientes a un establecimiento de educación superior no universitaria, Itec Río Cuarto. Esto, motivado por el convencimiento y necesidad que los problemas ambientales deben ser abordados en forma interdisciplinaria, y las estrategias de intervención que se proponen deben estar integradas con los aportes de cada una de las disciplinas intervinientes.

Plataforma Framework distribuida para detección temprana de trastornos de déficit de atención en escuelas de nivel primario.

El desarrollo de dicho proyecto intenta dar solución a la problemática de la detección temprana y eficiente de los Trastornos de Déficit de Atención en las escuelas primarias, mediante la construcción de una plataforma informática framework segura, portable y con una interfaz simple y amigable, en entornos distribuídos para el armado de diferentes escenarios de evaluación, test y encuestas para el alumno, la familia y los educadores, que con un enfoque multidisciplinario recaba información permitiendo al profesional a cargo realizar una detección acertada, un diagnóstico eficaz y un tratamiento acorde a las deficiencias psicológicas y de aprendizaje. Proceso lento e imposible de llevar adelante en la actualidad. Modelo: el psicopedagogo genera los test en la plataforma y los activa para que cada alumno los realice en los laboratorios, sus padres y educadores completan las encuestas activas en internet o via mobile o acceden a los laboratorios del colegio. Psicopedagogos analizan resultados obtenidos y emiten conclusión sobre cada caso, para que padres pueden verlos por cualquier medio antes mencionado, siempre con acceso seguro, y a los sectores activados. Beneficios: sociales en la detección de problemas cognitivos en los niños en escuelas primarias, mejorando problemas de los grupos escolares en donde se encuentran niños con TDA, beneficiando la comunicación con las familias con todo lo referido a sus hijos. Las empresas serían otra posible implementación..

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.

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.

Enfoques sobre la ciudadanía. Philosophical Perspectives on Citizenship.

La necesidad que da origen al presente proyecto se relaciona con la ausencia de un tratamiento de la cuestión de la ciudadanía que haga interactuar distintos enfoques filosóficos -el principal indicador de esta carencia es la ausencia de producciones académicas que den cuenta de la complejidad que adquiere la temática si se la aborda desde los problemas que nos proporcionan otras perspectivas filosóficas y políticas-. En este sentido, el problema general del proyecto apunta a hacer discutir diferentes abordajes conceptuales para pensar la ciudadanía. Específicamente, trabajamos a partir de dos enfoques: 1) la discusión entre liberales y comunitaristas y sus actuales derivas y 2) la cuestión de la biopolítica y su relación con la temática de la ciudadanía. Se procura revisar la discusión liberales-comunitaristas propia de las ciencias políticas, interpelándola a partir de conceptos como los de dominación, relaciones de poder, control sobre la vida, disciplina, entre otros provenientes de la filosofía práctica, la teoría social, las ciencias de la educación, etc. Nuestra investigación parte de la hipótesis de que hacer discutir las problemáticas que se disputan liberales-comunitaristas, con la Teoría Crítica de la Escuela de Frankfurt y con los recientes fenómenos biopolíticos, permite un abordaje que atiende a la efectiva complejidad de las prácticas de ciudadanía en nuestra vida en común en las sociedades democráticas contemporáneas. Esto permitirá complejizar los presupuestos con los que tradicionalmente se ha pensado la ciudadanía, a partir sobre todo de los fenómenos socio-políticos más recientes, como los nuevos movimientos sociales, las discusiones acerca de la legislación del aborto y la eutanasia, los esfuerzos de los estados nacionales por incrementar medidas de seguridad que van desde la imposición de fuertes barreras a la inmigración hasta la realización de guerras preventivas. Entendemos que estos, entre otros fenómenos, desafían la hermenéutica tradicional sobre la ciudadanía. Es de esta manera que se buscará comprender los límites y alcances de las ideas de ciudadanía, entendiéndola como un concepto histórico formador de subjetividades. La metodología se basa en una perspectiva interdisciplinaria que proporciona las herramientas para un análisis conceptual de la temática de la ciudadanía. Esta metodología está orientada al desarrollo de un marco teórico que resulte productivo para investigaciones de campo en las ciencias sociales, así como también para la elaboración de un material bibliográfico destinado a docentes abocados a la ciudadanía. Otro de los propósitos fundamentales es el de formar una red entre diferentes equipos de investigación a nivel nacional a partir de las “I Jornadas Nacionales sobre Ciudadanía” y de la organización de un seminario especializado con un profesor visitante. As far as the general topic of citizenship concerns philosophy, the theoretical problem of how to reconcile the different perspectives, assuming that this is an enterprise that can be done, remains an open question. Furthermore, the absence of academic material dealing with the problem seems to be a good indicator of this tendency. The main focus of the present Project aims at coping with some of the most notorious theoretical approaches to citizenship. More specifically, we will analyze the next two approaches: 1) the debate libertarians-communitarians and 2) the relationship between biopolitics and citizenship. Our purpose is to revise the discussion libertarians-communitarians incorporating concepts such as domination, power-relationships, life-control, among others that find their roots in practical philosophy, social theory, education and so on. To the extent that theories of citizenship are only provided with the usual conceptual machinery, some of the most remarkable phenomena of our democratic societies will stand for them out of reach: the existence of new social movements, abortion and euthanasia, inmigration, etc. Our hypothesis is that by making the debate libertarians-communitarians interact with the Critical Theory as well as with biopolitical concepts, we will be in a better position to try to understand these diverse phenomena. With the development of some sort of a new hermeneutics, we expect to criticize the old ideas related to citizenship and to re-elaborate them in a way that allows us to understand this concept in a less-fundamental, historical sense. Methodologically, we will adopt a multi-dimensional approach which expects to be fruitful to many other investigations in the area of social sciences. The Project pretends to be useful as a consultation resource for educators in a bibliographical index to design their curricula. At the same time,a seminar with a visiting profesor, the organization of a Congres will be our main objectives.

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.

Desarrollo de productos cárnicos funcionales que cuenten con atributos que garanticen la inocuidad alimentaria.

El consumidor actual demanda productos alimenticios que, además de satisfacer sus necesidades nutricionales, cubran sus espectativas de bienestar, placer y seguridad. El aumento de la disponibilidad de información por parte de la población, así como su mayor reflexión acerca del rol que juegan los alimentos en su salud y desarrollo, está llevando hacia una creciente demanda de productos con garantía de inocuidad y con propiedades funcionales benéficas para su salud. El objetivo del proyecto es diseñar y desarrollar productos cárnicos con funcionalidades y características relacionadas con los requisitos y necesidades del consumidor actual en términos de salud, nutrición, y bienestar. Para alcanzar estos atributos, se desarrollarán los productos utilizando diferentes estrategias y metodologías como ser: nuevas formulaciones, incorporación de prebióticos y probióticos, selección y desarrollo de inóculos específicos, sustitución de ingredientes y conservantes, diseño y aplicación de nuevos procesos, equipos, y metodologías de aseguramiento de la inocuidad, etc. En los productos cárnicos diseñados mediante estas estrategias y metodologías, se tendrán en consideración todas las características de calidad, en especial aquellas referidas a la vida útil y a la inocuidad de los mismos. Para tal fin se realizará una cuidadosa evaluación de los peligros potenciales asociados a estos nuevos productos mediante el análisis de riesgo asociado.

Modelos alternativos de fundamentación e intervención para una bioética pensada desde América Latina: el rol del bioeticista público.

El imperante modelo anglosajón de argumentación moral y comprensión de la bioética, y la reducción de la misma a cuestiones inherentes a las instituciones sanitarias y a la relación agente de salud-paciente, han significado una seria dificultad para abordar el tipo de dilemas que ingresan al campo bioético en América Latina, así como también una fuerte presión “normalizadora”de los modelos de argumentación e intervención. Estas dificultades pueden ubicarse bajo dos grandes categorías: los modos y modelos de argumentación bioética, y el rol de quienes abordan las cuestiones bioéticas. Esto ha conllevado un serio déficit para comprender, en un sentido amplio, los alcances de la labor bioética, sus temas, y los tipos de incidencia permitidos a quienes elaboran la reflexión bioética. Por otra parte, y en un sentido vincular más reducido, esto ha suscitado una serie de imposibilidades de recepción y comprensión de las demandas y exigencias formuladas a los equipos de salud por personas procedentes de sectores excluidos y generalmente hacinados en los márgenes urbanos (entendidos estos equipos de modo amplio, o sea, como todo actor social vinculado directa o indirectamente con la salud humana), así como de las tareas que competen a los/las bioeticistas. Se indagará por ello, en primera instancia, los modelos de fundamentación bioética que han devenido paradigmáticos, sus contextos de formulación, justificación y aplicación, así como también los límites que han mostrado en su utilización en América Latina. Desde las diversas tradiciones filosóficas y bioéticas surgidas en América Latina se ofrecerán modelos alternativos al paradigmático, que sean capaces de incluir las situaciones imperantes en nuestro continente, como lo son, por ejemplo, los autores de la tradición liberacionista latinoamericana, y en sentido estricto, los trabajos vinculados a una bioética social y políticamente incidente. Sin embargo, también se tomará de otras tradiciones intelectuales aquellos elementos que permitan comprender más efectivamente la situación propia, como lo son, en el campo amplio del pensamiento filosófico, los aportes de R. Van Potter para una bioética holistica, los de Ricoeur y Merleau Ponty para la construcción de una bioética social anclados en la materialidad de su naturaleza corporal, las teorías contemporáneas del reconocimiento, y finalmente de las tradiciones religiosas que han influido notablemente en las nociones de dignidad y valor de las personas.