MEDICIÓN DE UN BRAZO DE PALANCA Y CÁLCULO DE LA INCERTIDUMBRE

En este trabajo se detalla el procedimiento de calibración del brazo de palanca de un freno de ensayo de motores eléctricos, el cual constituye la parte inicial de un proceso de calibración más amplio consistente en verificaciones adicionales de celdas de carga y medidores de velocidad. Dicho procedimiento se desarrolló y ejecutó íntegramente en el laboratorio del CIDEME (Centro de Investigación, Desarrollo y Ensayo de Máquinas Eléc-tricas), que está en proceso de implementación de las normas de calidad IRAM 301/ISO 17025. Consistió básicamente en 1) el diseño y la construcción de un calibre ajustado a las características del freno, 2) la medición y verificación de dicho instrumento, 3) su montaje en el freno y el marcado de la longitud del brazo de palanca, y 4) la obtención de la incertidumbre de la medición. La tarea se llevó a cabo con éxito, ya que permitió obtener valores acordes a los estándares del laboratorio y ganar experiencia para extender el procedimiento a los otros frenos de menor potencia disponibles.

Modelos de Atmósferas Estelares y estrellas de Carbono deficientes en Hidrógeno

El trabajo apunta a determinar el origen y naturaleza de las estrellas de C deficientes en H y por lo tanto, su relación con las restantes estrellas de nuestra galaxia. Apunta a determinar la edad y el estado evolutivo de estas estrellas. En lo que se refiere a las atmósferas, se trata de desarrollar una rutina que calcule en forma automática un modelo, tomando debidamente en cuenta las dificultades del problema (apartamiento de LTE, transporte convectivo, etc.), de modo de poderlo aplicar al estudio e interpretación de los espectros de las estrellas HdC. Objetivos Contribuye a clarificar la naturaleza de las estrellas HdC: 1. Una correcta identificación de las estrellas de esta clase por las características que presentan sus espectros. 2. Determinar la abundancia de los distintos elementos en sus atmósferas. 3. Determinar su luminosidad intrínseca. 4. Poder decidir cuáles son las características cinemáticas del grupo. Dentro del tema de las atmósferas estelares, es de interés contar con una rutina que sobre la base de ciertos datos básicos (temperatura efectiva, composición química y gravedad superficial) calcule un modelo con un mínimo de intervención externa. Con este elemento disponible, hay temas interesantes que se están investigando dentro del grupo, como formación de líneas del He en estrellas B con atmósferas extendidas (en presencia de un viento estelar y de una cromósfera) y la distinta estructura que se debe esperar de una atmósfera de una estrella HdC, a causa de ser el C el siguiente elemento en importancia después del He.

Diseño y experimentación de un prototipo de siembra directa de granos finos

Este proyecto surge de la continua observación de los problemas de erosión que presenta el sector agrícola en el ámbito de la Universidad Nacional de Río Cuarto. Luego de una primera etapa donde se diseñó, construyó y experimentó un prototipo de siembra directa para granos finos se plantea la necesidad de construir un prototipo nuevo donde se puedan volcar todas las reformas y/o mejoras inferidas a partir de la experimentación del primitivo, tendientes a lograr una mejor perfomance del mismo. En base a ello se fijaron los siguientes objetivos: 1) Finalizar la construcción del nuevo prototipo con las reformas y adaptaciones planteadas (colocación de tolvas y accesorios para fertilización y mejoramiento de la localización de semillas mediante el agregado de ruedas reguladoras de profundidad). 2) Continuar los ensayos comparativos a campo con otros sistemas de mínima labranza y el sistema convencional de labranza y siembra en el cultivo de trigo. 3) Efectuar siembra directa de soja, de alfalfa e intersiembras de pasturas, con el nuevo prototipo para evaluar su eficiencia de siembra.

Sistemas de comunicaciones digitales inalámbricos para servicios de voz, video y datos integrados

El proyecto está basado en la investigación y desarrollo de sistemas de comunicaciones digitales inalámbricos, dentro del campo de las telecomunicaciones, encarando como aspecto distintivo la prestación de servicios integrados es decir, la posibilidad de acceder a voz, video y datos a través de un solo medio. Este tipo de comunicaciones se denomina multimedio y es posible debido a adelantos tecnológicos en el área de integración de circuitos, la difusión en el uso de computadoras y el creciente avance de los servicios de las empresas prestadoras. Los sistemas inalámbricos de comunicaciones multimedio requieren frecuentemente la transmisión de señales codificadas, las cuales pueden representar audio, video, imágenes estáticas, datos, etc. (...) El desvanecimiento de Rayleigh y las multitrayectorias de la señal en un sistema inalámbrico de comunicaciones, causa la pérdida de componentes de esa señal. Técnicas tales como el uso de códigos de corrección de errores, requisición automática de repeticiones entrelazado y las múltiples formas de diversidad, pueden proveer protección contra los desvanecimientos de Rayleigh. Sin embargo, en muchos casos, en particular en la transmisión de imágenes o video, estas técnicas pueden no ser suficientemente eficaces, o bien pueden introducir un retardo excesivo que resulta altamente objetable. Durante el desarrollo del proyecto se investigarán y aplicarán estas técnicas de avanzada para llegar a una transmisión confiable de multimedios, en forma inalámbrica, perfeccionando métodos existentes o implementando nuevos. Objetivos Generales El objetivo a lograr en el presente proyecto será la evaluación exhaustiva de esquemas propuestos, utilizando como herramientas la simulación por computadora y el análisis teórico. Se buscará generalizar resultados previamente establecidos para el caso de canales Gaussianos en Teoría de la Información, al caso de canales con desvanecimiento de Rayleigh con las siguientes condiciones de contorno: 1) Retardo de transmisión limitado; 2) Uso de criterios perceptivos para juzgar la calidad de transmisión. (...)

Diseño de fusibles de alta capacidad de ruptura

El objetivo general [de este proyecto] es el desarrollo de las herramientas matemáticas/computacionales para la simulación y el diseño de fusibles de alta capacidad de ruptura. El punto de arranque no es la simulación del comportamiento de fusibles sino la simulación para diseño o sea, conociendo las características de respuesta del fusible, determinar analíticamente las dimensiones y materiales a emplear. Los objetivos particulares de cada subprograma o proyecto son: Proyecto A: Modelado del proceso de prearco empleando la técnica de elementos finitos: Construcción de un modelo computacional empleando el software MSC/CAL, para representar el rango completo de operación del fusible desde régimen permanente hasta la capacidad de ruptura máxima, incorporando la variación de los parámetros con el tiempo y la temperatura. Proyecto B: Determinación de la resistencia de contacto elemento fusible/material de relleno: Obtención de los valores de la resistencia de contacto del metal base plata y cobre con el material de relleno, arena de cuarzo, con tamaños y forma de grano variables, conjuntamente con compactación no constante. Proyecto C: Simulación del comportamiento de elementos fusibles distintos en paralelo para lograr retardo en sobrecorrientes. Obtención del juego de dimensiones y pareja de metales, el cual mediante elementos en paralelo brinda el retardo equivalente al "efecto M". Proyecto D: Modelado del efecto de la sobrecarga en la operación del fusible frente a sobrecargas y cortocircuitos: Determinación del corrimiento en las curvas características tiempo/corriente, corriente de paso/corriente presunta y energía específica/corriente nominal en función del nivel de precarga del fusible para valores comprendidos entre 50% y 100%. Proyecto E: Modelo de arco mecanístico: Desarrollo del modelo analítico para el arco eléctrico en base a la teoría mecanística del arco, aplicable a elementos de sección uniforme (hilo y lámina), sección variable (estricción corta y larga) y elementos en paralelo, empleando material de relleno suelto o solidificado. Proyecto F: Aplicación de un sistema experto al diseño de una serie homogénea de fusibles de alta capacidad de ruptura, para corriente continua. Proyecto G: Desarrollo analítico/experimental de una serie de fusibles de alta tensión alta capacidad de ruptura tipo campo completo: Obtención del prototipo de fusible de 13,2 kV 63A 600MVA, capaz de interrumpir cualquier corriente que provoque su fusión desde la mínima de fusión hasta su capacidad de interrupción nominal

Métodos para el análisis de programas probabilistas y no-deterministas utilizando probadores de teoremas. Methods for the analysis of probabilistic and nondeterministic programs using theorem provers.

La verificación y el análisis de programas con características probabilistas es una tarea necesaria del quehacer científico y tecnológico actual. El éxito y su posterior masificación de las implementaciones de protocolos de comunicación a nivel hardware y soluciones probabilistas a problemas distribuidos hacen más que interesante el uso de agentes estocásticos como elementos de programación. En muchos de estos casos el uso de agentes aleatorios produce soluciones mejores y más eficientes; en otros proveen soluciones donde es imposible encontrarlas por métodos tradicionales. Estos algoritmos se encuentran generalmente embebidos en múltiples mecanismos de hardware, por lo que un error en los mismos puede llegar a producir una multiplicación no deseada de sus efectos nocivos.Actualmente el mayor esfuerzo en el análisis de programas probabilísticos se lleva a cabo en el estudio y desarrollo de herramientas denominadas chequeadores de modelos probabilísticos. Las mismas, dado un modelo finito del sistema estocástico, obtienen de forma automática varias medidas de performance del mismo. Aunque esto puede ser bastante útil a la hora de verificar programas, para sistemas de uso general se hace necesario poder chequear especificaciones más completas que hacen a la corrección del algoritmo. Incluso sería interesante poder obtener automáticamente las propiedades del sistema, en forma de invariantes y contraejemplos.En este proyecto se pretende abordar el problema de análisis estático de programas probabilísticos mediante el uso de herramientas deductivas como probadores de teoremas y SMT solvers. Las mismas han mostrado su madurez y eficacia en atacar problemas de la programación tradicional. Con el fin de no perder automaticidad en los métodos, trabajaremos dentro del marco de "Interpretación Abstracta" el cual nos brinda un delineamiento para nuestro desarrollo teórico. Al mismo tiempo pondremos en práctica estos fundamentos mediante implementaciones concretas que utilicen aquellas herramientas.

Rol de las metaloproteasas y caspasas en la conducta biológica del carcinoma basocelular. Role of the metalloproteinases and caspasa Biology in the conduct of basal cell carcinoma.

El carcinoma basocelular (CBC) representa el tumor maligno más frecuente de la piel en personas de raza blanca. Incide en mayores de 50 años de edad e infiltra los tejidos, pero rara vez ocasiona metástasis. En trabajos anteriores, observamos imágenes de cuerpos apoptóticos con MOAR (microscopía óptica de alta resolución), en pieles portadoras de CBC. Todas las células eucariotas poseen una maquinaria enzimática que interviene en la apoptosis. Estas enzimas son las proteincinasas pertenecientes a la familia de las caspasas. Se sintetizan como procaspasas, las cuales una vez activadas, actúan sobre otra caspasa en una reacción secuencial en cadena. Se reconoce que la apoptosis juega un rol importante en el balance y mantenimiento de los tejidos. Hipótesis: -Investigar si la expresión de metaloproteasas y caspasas en las células del CBC promueven y contribuyen a la progresión y extensión tumoral. Objetivos:-Profundizar el conocimiento de la conducta biológica del CBC, en referencia a la relación de los patrones de crecimiento macro y microscópicos del tumor, enfatizando en la expresión de metaloproteasas (colagenasa-3 y streptomelisina), CD-31, Ki-67, oncoproteína bcl-2 y caspasas, mediante la implementación de técnicas de inmunohistoquímica. -Analizar a nivel morfológico la presencia de cuerpos apoptóticos por medio de MOAR y determinar si influyen en la conducta biológica del tumor. Materiales y Métodos: Se realizará un estudio retrospectivo y prospectivo de pacientes asistidos en el Servicio de Dermatología del Hospital Nacional de Clínicas, desde el año 2000. Se utilizarán tomas incisionales de piel, que se fijarán en formol neutro al 10 por ciento y luego serán procesadas e incluidas en parafina y coloreadas con H-E (hematoxilina-eosina). Especimenes seleccionados, se utilizarán para técnicas de MOAR e inmunocitoquímica. El material para MOAR, se fijará en Karnovsky enfriado a pH 7,2 y se incluirá en resinas epóxicas, seccionados con un ultramicrótomo Porter BluMT1 (1micra) y coloreados con P.A.S. azul de toluidina, fuscina básica y metenamina-plata. La aplicación de las técnicas inmunohistoquímicas, se utilizaran sobre cortes desparafinados con xilol, que permitirán investigar en forma retrospectiva y prospectiva la matriz extracelular (MEC) y los elementos neoplásicos. Los anticuerpos monoclonales a utilizar serán: Colageno tipo IV clone CIV 22 M0785 monoclonal antibody (DAKO), CD44 clone E29 M0613 monoclonal antibody (DAKO), Oncoproteina bcl-2 clone 124 M0887 monoclonal antibody (DAKO), CD31: clone 35 BH11 MO631 monoclonal antibody (DAKO) K-167 clone PC10 M0879 monoclonal antibody.(DAKO) bclx y Caspasa 8. Metodología Estadística Los resultados serán evaluados mediante: a) Varianza Anova; para datos con distribución gausiana como media, SD. b) Krusal Walles; para rasgos de distribución no gausiana. c) Chi2 para determinar la diferencia significativa para proporciones. Resultados esperados: Del análisis histomorfológico cualitativo y cuantitativo de biopsias de piel con CBC, aportar determinaciones que clarifiquen la conducta biológica de este tumor.- Importancia del Proyecto: El CBC es una entidad que está aumentando su incidencia en forma exponencial, debido sobre todo a pautas sociales. No sólo ocasiona trastornos en los pacientes, sino que también, representa gastos en el sistema de salud. Asimismo, significa un desafío para la investigación. Esto permite explorar aspectos de la biología molecular, a partir de una entidad que posee características únicas.

ARN helicasas en dos procesos de desarrollo: variación antigénica y enquistamiento de giardia lamblia.

Además de su importancia médica y veterinaria al ser una de las mayores causas de enfermedad intestinal con origen en el consumo de agua, Giardia es un excelente modelo para estudiar la evolución de importantes procesos celulares, ya que es una de las células eucariotas más primitivas que se conocen. Giardia utiliza dos mecanismos de adaptación a los cambios ambientales que confronta durante su ciclo de vida, ya sea para sobrevivir dentro del intestino del huésped como es la variación de sus antígenos de superficie, o fuera del mismo como es la diferenciación a quiste o enquistamiento. El Objetivo General de nuestro proyecto de investigación es el de comprender los mecanismos de adaptación y diferenciación celular en Giardia lamblia y utilizar esos conocimientos para el desarrollo de metodologías que permitan evitar la enfermedad y/o la transmisión del parásito así como también para definir nuevas técnicas diagnósticas. Las ARN Helicasas están presentes en muchas Archaea, casi todas las Eubacterias y todos los organismos eucariotas, y son necesarias o están involucradas en muchos procesos diferentes del metabolismo del ARN. En células eucariotas se las ha asociado desde la transcripción hasta la degradación del ARN, incluyendo pre-ARNm splicing, exportación del ARNm, biogénesis del ribosoma, iniciación de la traducción y expresión génica en organelas. Resultados previos indican que el mecanismo por el cual Giardia regula la expresión de sus proteínas variables de superficie es a nivel post-transcripcional, utilizando un mecanismo similar a ARN de interferencia. La presencia de los complejos de doble hebra de ARN promueve la acción de ARN Helicasas y ARNasas III que cortan el dsRNA en fragmentos cortos de 21-23 nt. Sin dudas ésta es la primera evidencia de un mecanismo de este tipo que participa fisiológicamente en la regulación génica diferencial. Por otro lado, se ha descripto la interacción de helicasas con deacetilasas de histonas (HDAC), las cuales según estudios realizados en nuestro laboratorio estarían involucradas en la regulación epigenética de la variación antigénica y el enquistamiento. Se busca por lo tanto comprender la participación de ARN Helicasas en ambos procesos de adaptación del parásito, evaluando el grado e importancia de las mismas. En particular se focalizará en la localización subcelular, la interacción con otros componentes de la maquinaria regulatoria y determinación de los dominios involucrados, como también la relación entre sus niveles de expresión y los diferentes fenotipos asociados a estos procesos de adaptación del parásito.

Métodos estadístico-computacionales para la caracterización de patrones de expresión de proteínas en 2D-DIGE.

El volumen de datos provenientes de experimentos basados en genómica y poteómica es grande y de estructura compleja. Solo a través de un análisis bioinformático/bioestadístico eficiente es posible identificar y caracterizar perfiles de expresión de genes y proteínas que se expresan en forma diferencial bajo distintas condiciones experimentales (CE). El objetivo principal es extender las capacidades computacionales y analíticos de los softwares disponibles de análisis de este tipo de datos, en especial para aquellos aplicables a datos de electroforésis bidimensional diferencial (2D-DIGE). En DIGE el método estadístico más usado es la prueba t de Student cuya aplicación presupone una única fuente de variación y el cumplimiento de ciertos supuestos distribucionales de los datos (como independencia y homogeneidad de varianzas), los cuales no siempre se cumplen en la práctica, pudiendo conllevar a errores en las estimaciones e inferencias de los efectos de interés. Los modelos Generalizados lineales mixtos (GLMM) permiten no solo incorporar los efectos que, se asume, afectan la variación de la respuesta sino que también modelan estructuras de covarianzas y de correlaciones más afines a las que se presentan en la realidad, liberando del supuesto de independencia y de normalidad. Estos modelos, más complejos en esencia, simplificarán el análisis debido a la modelización directa de los datos crudos sin la aplicación de transformaciones para lograr distribuciones más simétricas,produciendo también a una estimación estadísticamente más eficiente de los efectos presentes y por tanto a una detección más certera de los genes/proteínas involucrados en procesos biológicos de interés. La característica relevante de esta tecnología es que no se conoce a priori cuáles son las proteínas presentes. Estas son identificadas mediante otras técnicas más costosas una vez que se detectó un conjunto de manchas diferenciales sobre los geles 2DE. Por ende disminuir los falsos positivos es fundamental en la identificación de tales manchas ya que inducen a resultados erróneas y asociaciones biológica ficticias. Esto no solo se logrará mediante el desarrollo de técnicas de normalización que incorporen explícitamente las CE, sino también con el desarrollo de métodos que permitan salirse del supuesto de gaussianidad y evaluar otros supuestos distribucionales más adecuados para este tipo de datos. También, se desarrollarán técnicas de aprendizaje automática que mediante optimización de funciones de costo específicas nos permitan identificar el subconjunto de proteínas con mayor potencialidad diagnóstica. Este proyecto tiene un alto componente estadístico/bioinformática, pero creemos que es el campo de aplicación, es decir la genómica y la proteómica, los que más se beneficiarán con los resultados esperados. Para tal fin se utilizarán diversas bases de datos de distintos experimentos provistos por distintos centros de investigación nacionales e internacionales.

Materiales de interés tecnológico

Este es un proyecto que tiene por objetivo general dar continuidad a las investigaciones relacionadas a materiales de interés tecnológico que el Grupo Ciencia de Materiales de Fa.M.A.F lleva a cabo. Las diferentes líneas de trabajo se pueden agrupar en tres grandes temas: aceros y superaleaciones basadas en Fe y Ni; cerámicos magnéticos [filtros moleculares de sílice del tipo ZSM-5, MCM-41 y MCM-48 modificados con Fe, Co, Mn; hematita nanométrica] y aleaciones metálicas magnéticas [CoCu, nanohilos y multicapas de CoM y FeM (M= Pt y Pd); aleaciones de tipo Heusler Mn-Ni-Ga, aleaciones CoSiB y FeSiB nanoestructuradas ]. El primer tema apunta a la optimización de las propiedades mecánicas de aceros de medio carbono y baja aleación, de producción nacional y aptos para construcciones mecánicas, y al desarrollo de superaleaciones (Fe,Ni) de alta temperatura, para su aplicación en pequeñas Turbomáquinas Térmicas. En el caso de materiales magnéticos cerámicos y metálicos, el objetivo es la producción y el desarrollo de nanoestructuras novedosas, con propiedades especiales, de potencial uso en nano-dispositivos y nanotecnología en general. En todos los casos se plantea la producción del material de interés a escala laboratorio, con control de las variables del proceso, la caracterización de la microestructura resultante y sus propiedades relevantes. Luego se establecen las correlaciones proceso-microestructura y microestructura–propiedades y se formalizan en modelos para los diferentes mecanismos que operan tanto durante la etapa de proceso (modelos de solidificación, de deposición, de aleado mecánico) como los involucrados en las propiedades de interés (modelos de magnetización, transporte, deformación). En este esquema se busca optimizar las propiedades. El presente proyecto fortalecerá además el área Ciencia de Materiales en la Universidad Nacional de Córdoba, formando en el nivel de grado y posgrado a ingenieros y físicos en esta disciplina. En el área de materiales cerámicos magnéticas nos dedicaremos (en colaboración con CiTeQ-UTN-FRC) a la producción y caracterización de filtros moleculares de sílice de amplio uso en procesos de catálisis, modificados por la incorporación de especies magnéticas. La incorporación del material magnético se realizará mediante técnicas hidrotérmicas y de impregnación. Los composites obtenidos se estudiarán con dos propósitos: evaluar los efectos de la funcionalización magnética sobre el desempeño del filtro de sílice como catalizador de diferentes reacciones y describir las propiedades magnéticas de las pequeñas (2 a 5 nm) nanoestructuras encapsuladas en los poros. Se continuará con la producción y caracterización de partículas de ferritas, con propiedades determinadas a partir del control de los distintos parámetros que intervienen en la síntesis. En la línea de aleaciones metálicas magnéticas se estudiarán las aleaciones de Heusler, con memoria de forma magnetica, las aleaciones CuCo con magneto-resistencia gigante y las aleaciones (Co,Fe)SiB con magnetoimpedancia gigante. Se aplicará la técnica de melt spinning con dos rodillos, a la producción de estas aleaciones. En el caso de aceros de medio carbono el plan propuesto apunta a identificar los micromecanismos de deformación y fractura que pueden operar en estas microestructuras. Se realizará el "collar test" con el objetivo de propagar una grieta radialmente hacia el centro del collar y luego poder observar la sección de material que la contiene. Esta serie de experimentos y observaciones permitirán localizar el inicio de la grieta y avanzar sobre la determinación del tipo de partículas que actúan como intermediarios en la propagación. Se espera que estos antecedentes más los resultados metalográficos arrojen luz sobre los mecanismos de fractura del acero IRAM – IAS 15B41

CREACIÓN DE RECURSOS INFORMÁTICOS PARA LAS LENGUAS MINORITARIAS MOCOVÍ Y QUECHUA

El contacto lingüístico entre diferentes comunidades en la Argentina produce una situación de diglosia que desplaza a las lenguas dominadas a favor de la dominante, en este caso, el castellano. Esta situación ha llevado a la extinción de muchas lenguas, y otras varias se encuentran en proceso de desaparición [http://www.ethnologue.com/show_country.asp?name=AR]. Con la muerte de estas lenguas no sólo se pierde un vasto bagaje cultural, sino que las comunidades indígenas se ven privadas de un elemento esencial para reafirmar su identidad y adaptarse a su medio socio-cultural. El objetivo último de este proyecto es contribuir a detener y, en lo posible, revertir estos procesos de extinción de las lenguas. Para ello, nos proponemos formalizar algunas lenguas indígenas de la Argentina para su tratamiento automático en aplicaciones computacionales que faciliten la producción lingüística, como por ejemplo la traducción automática de y hacia el castellano, ayudas a la redacción o facilitación translingüística. Este tipo de aplicaciones, además de contribuir a la preservación y multiplicación de usos de las lenguas aborígenes, facilitará que las comunidades se apropien de los procesos de inclusión digital, cuando éstos se implementen en su lengua materna. Por lo ambicioso de sus objetivos, este es un proyecto a largo plazo y con este subsidio que estamos solicitando abordaríamos el desarrollo de su fase inicial. Trabajaremos inicialmente con dos lenguas indígenas del territorio argentino que han sido bien descriptas a nivel lingüístico: el mocoví y el quechua, con la intención de extenderlo al mapundungun. A partir de las descripciones lingüísticas, propondremos una formalización computacional para cada una de estas lenguas, tratando de crear un núcleo común que facilite la adaptación de las aplicaciones computacionales a las diferentes lenguas. En una fase posterior del proyecto, la metodología y núcleo común consolidados para estas lenguas y dominios facilitarán el traslado de las aplicaciones a otras lenguas indígenas y a otros dominios semánticos. En esta fase inicial trabajaremos con aplicaciones de dominios semánticos restringidos, ya que se requiere mucho tiempo y esfuerzo para lograr un buen funcionamiento en aplicaciones de dominio general. Dos dominios en que consideramos sería beneficioso trabajar son la salud (concentrándonos por ejemplo en la información escrita sobre la prevención e higiene) y la agricultura (concentrándonos en información escrita relacionarse con el riego, la rotación de cultivos, etc). Sin embargo, planeamos hacer la elección final de dominios conjuntamente con organizaciones activas en la problemática abordada. Se trabajará a partir de datos recolectados por los propios investigadores implicados, así como datos producidos por otros proyectos, como por ejemplo los del DILA [http://www.caicyt.gov.ar/DILA], o los del proyecto Avenue [http://www.cs.cmu.edu/~avenue/].

Estudio y optimización estructural del comportamiento termomecanico de un motor monopropelente

El presente trabajo contempla el estudio del comportamiento termomecánico de un motor monopropelente, cuyo funcionamiento se basa en la descomposición catalítica del combustible, produciendo la gasificación del mismo, con su consecuente generación de calor. Estos gases, al ser conducidos convenientemente a través de una tobera con el fin de generar su apropiada expansión, producirán la acción deseada. Un diseño erróneo del sistema de alimentación podría producir el acortamiento de la vida útil del catalizador, la degradación de los sellos de la válvula, vaporizaciones indeseadas del propelente, etc.El objetivo que se persigue es construir un modelo computacional que permita visualizar el comportamiento conjunto de los diversos fenómenos, la influencia de los diversos componentes y su interacción, a fin de identificar los elementos críticos, y poder así tomar acciones correctivas u operar sobre aspectos de diseño del sistema para un mejor acondicionamiento del combustible. Para la aplicación del método, se modelizarán cada uno de los fenómenos que gobiernan el comportamiento del sistema y se les codificará en lenguaje de programación, prestando especial atención al comportamiento del fluido tanto en régimen estable como durante los transitorios. Una vez validado el programa se correrán simulaciones para determinar la influencia de los parámetros básicos de diseño sobre los procesos termomecánicos mediante un análisis de sensitividad, a fin de mitigar los posibles efectos adversos. Sin embargo, durante la ejecución de proyectos de ingeniería de este tipo, una de las cuestiones de mayor importancia es el uso racional de materiales. Una adecuada utilización de los mismos tiene diversas ventajas, dentro de las cuales podemos citar como a las de mayor relevancia a: (i) mejor aprovechamiento de las capacidades de los materiales, (ii) elementos estructurales de menor tamaño, lo que genera una economía de espacio, (iii) menor costo económico y financiero del proyecto y (iv) menor impacto ambiental. En este sentido, una de las maneras más difundidas para el uso racional de materiales es, utilizar materiales con propiedades constitutivas que se adapten mejor a las características del proyecto en desarrollo. Sin embargo, cuando se está frente a la imposibilidad de cambiar de material o mejorar las propiedades existentes, es importante comenzar a utilizar otras metodologías que permitan un mejor aprovechamiento del mismo. Aquí surge naturalmente la necesidad de introducir cambios en la forma de los componentes estructurales que integran el proyecto ejecutivo. Para realizar una adecuada optimización de los componentes estructurales, es necesario previamente definir cual o cuales van a ser las características a optimizar y como van a ser medidas esas características durante el proceso de análisis. Por lo tanto, se propone aplicar el análisis de sensibilidad topológica para problemas termo-mecánicos para optimizar los componentes estructurales del motor.

Camilla automatizada para bipedestación

En este trabajo se presenta el diseño y desarrollo de un prototipo de camilla automatizada para bipedestación utilizada en los procesos de rehabilitación en pacientes con tratamiento prolongado. Su desarrollo fue motivado por la dificultad que sufrían los médicos fisiatras al tratar de levantar y trasladar a pacientes con elevada estatura y peso, y no pudiendo recurrir a elementos que provee el mercado. Con esta camilla el médico logra disminuir notablemente el esfuerzo físico al trasladar al paciente y además tiene un manejo adecuado del tiempo requerido para la bipedestación.

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.