Sistema de comunicación con alta escala de integración, tolerante a fallas, para su utilización en microsatélites

Nuestro grupo está utilizando dos nuevas técnicas en el desarrollo electrónico aplicado a la instrumentación científica. Una es la del diseño, simulación y generación de máscaras de circuitos integrados que serán fabricados en el exterior. Otra, la implementación de sistemas utilizando Procesadores Digitales de Señales (DSPs). Actualmente se pretende estudiar, desarrollar e implementar dispositivos tolerantes a fallas para comunicaciones en el medio ambiente espacial con tecnología y presupuesto disponibles en nuestro país. La importancia del proyecto radica en que nuestra incipiente actividad espacial, necesita de la solución a los problemas asociados para producir resultados a nivel internacional. (...) Objetivos generales y específicos * Los sistemas de comunicación con alta escala de integración, tolerante a fallas, para su utilización en microsatélites se perfilan actualmente como la alternativa más viable para la investigación y el desarrollo espacial. Esto abre un conjunto de interesantes líneas de trabajo, entre las cuales se encuentra el desarrollo de dispositivos electrónicos aptos para soportar las severas condiciones impuestas por el medio ambiente espacial. El uso de elementos de muy alta escala de integración permite optimizar el aprovechamiento del espacio y potencializar la flexibilidad y perfomance de los sistemas utilizados a bordo. Pero el principal problema que presentan estos sistemas es su vulnerabilidad frente a las radiaciones, que se manifiesta, principalmente, produciendo fallas como "Latch up", corrimientos de voltajes umbrales y S.E.UP S.("Single Event Up Sets"). * Luego, el objetivo específico consiste en investigar las distintas posibilidades que ofrece el estado actual del arte para mitigar los efectos negativos de estas fallas, estudiar la factibilidad de implementación de soluciones con la tecnología y presupuesto disponibles en Argentina, aplicar estos métodos al desarrollo de dispositivos para comunicaciones que utilizan elementos de alta escala de integración y planear estrategias generales para aplicarlas a otros tipos de dispositivos.

Influencia del nitruro de aluminio (AlN) en la microestructura y textura cristalográfica de laminaciones de uso eléctrico

El presente estudio se orienta a materiales de aplicación en la fabricación de motores y transformadores de potencias medias a bajas (laminaciones), abordando en el mismo los aspectos inherentes a la etapa de recocido descarburante realizado por el usuario. Dicho tratamiento térmico permite modificar el contenido de carbono original alcanzando niveles muy bajos (< 0,005%C). Además, se debe aumentar el tamaño de grano a valores óptimos para conseguir las mejores propiedades magnéticas: bajas pérdidas y alta permeabilidad. Este crecimiento de grano está fuertemente influido por las características morfológicas y por la cantidad de partículas de segunda fase precipitadas, de las cuales el nitruro de aluminio (AlN) es el principal inhibidor de crecimiento. Su control o la predicción de su influencia es el objetivo de los usuarios de laminaciones, para obtener un tamaño de grano adecuado. En consecuencia, este trabajo propone un estudio exhaustivo del comportamiento del AlN en el anclaje del borde de grano y en la formación de la textura cristalográfica, y la posibilidad de modelizar matemáticamente su influencia. El objetivo general de este trabajo es el estudio integral de la optimización del tratamiento térmico de los aceros eléctricos, para su aplicación por parte de las empresas usuarias de dichos materiales. Como objetivo específico, en este trabajo se propone la observación microscópica con microscopía de transmisión, de las partículas de NAl en aceros de bajo carbono de uso eléctrico, para inferir sobre su influencia en el crecimiento controlado del tamaño de grano y en la formación de textura. Se propone, además, intentar la modelización del anclaje de grano que producen los nitruros de aluminio.

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. (...)

Estudio de propiedades interfaciales de interés en electroquímica, catálisis heterogénea y corrosión

La estructura y propiedades de la interfase electroquímica son el resultado de las interacciones que se producen entre los distintos componentes de una solución electrolítica y el electrodo metálico. En particular, las interacciones anión/metal han sido objeto de considerable interés en los últimos años gracias al desarrollo de nuevas técnicas que han permitido el estudio tanto in situ como ex situ de las características de este enlace de adsorción. Los iones específicamente adsorbidos modifican la distribución de carga y la estructura de la interfase y consecuentemente influencian los procesos que ocurren en ella. De allí que la comprensión de las interacciones anion/electrodo es de fundamental importancia en relación con procesos electroquímicos de relevancia tales como corrosión, UPD y electrocatálisis. Por ello, hemos encarado el estudio de procesos de adsorción de aniones sobre superficies metálicas desde un punto de vista teórico utilizando métodos mecánico cuánticos. El objetivo general de este proyecto es lograr una comprensión a nivel atómico-molecular de los procesos de adsorción en la interfase metal/vacío y metal/solución. Los estudios de adsorción de aniones tienen como objetivo entender desde un punto de vista molecular la naturaleza de procesos tales como fosfatizado de metales, corrosión, disolución de óxidos, cambios de reactividad por el agregado de aditivos, etc. pues la primera etapa de todos estos procesos siempre involucran la adsorción de aniones sobre la superficie. Por ello es necesario realizar simulaciones realísticas que representen adecuadamente el entorno de la interfase electroquímica. Por lo tanto, para poder entender las interacciones anión/metal en la interfase electroquímica es necesario considerar la adsorción de aniones hidratados sobre superficies metálicas como así también la coadsorción de aniones con moléculas de agua y otros aniones. Este grado de complejidad constituye nuestro objetivo general para poder comprender procesos macroscópicos tales como los de corrosión a nivel molecular. Los objetivos específicos de este proyecto son el estudio de las distintas propiedades del enlace anión/metal tales como la energía de adsorción, la transferencia de carga del anión al metal y relajación del anión como consecuencia del proceso de adsorción. Estas propiedades se investigarán tanto para aniones hidratados como no hidratados en presencia de campos eléctricos aplicados externamente y comparables con los que existen en una interfase electroquímica. Se continuarán los estudios de oxoaniones y ahora se considerará la hidratación de ellos, especialmente sulfato. El objetivo en este caso es comprender la influencia de la capa de hidratación en el enlace anión/metal. También se estudiará la influencia del campo eléctrico en la geometría de adsorción de moléculas de agua. El objetivo en este caso es comprender el mecanismo de disociación del agua por efecto del campo eléctrico en sus productos de descomposición: OH- y H3O+.

Filososofía y Ciencia Computacional: Aspectos epistemológicos, ontológicos y metodológicos. Philosophy and Computing Sciencs: Epistemological, Ontological and Methodological Aspects.

Uno de los temas centrales del proyecto concierne la naturaleza de la ciencia de la computación. La reciente aparición de esta disciplina sumada a su origen híbrido como ciencia formal y disciplina tecnológica hace que su caracterización aún no esté completa y menos aún acordada entre los científicos del área. En el trabajo Three paradigms of Computer Science de A. Eden, se presentan tres posiciones admitidamente exageradas acerca de como entender tanto el objeto de estudio (ontología) como los métodos de trabajo (metodología) y la estructura de la teoría y las justificaciones del conocimiento informático (epistemología): La llamada racionalista, la cual se basa en la idea de que los programas son fórmulas lógicas y que la forma de trabajo es deductiva, la tecnocrática que presenta a la ciencia computacional como una disciplina ingenieril y la ahi llamada científica, la cual asimilaría a la computación a las ciencias empíricas. Algunos de los problemas de ciencia de la computación están relacionados con cuestiones de filosofía de la matemática, en particular la relación entre las entidades abstractas y el mundo. Sin embargo, el carácter prescriptivo de los axiomas y teoremas de las teorías de la programación puede permitir interpretaciones alternativas y cuestionaría fuertemente la posibilidad de pensar a la ciencia de la computación como una ciencia empírica, al menos en el sentido tradicional. Por otro lado, es posible que el tipo de análisis aplicado a las ciencias de la computación propuesto en este proyecto aporte nuevas ideas para pensar problemas de filosofía de la matemática. Un ejemplo de estos posibles aportes puede verse en el trabajo de Arkoudas Computers, Justi?cation, and Mathematical Knowledge el cual echa nueva luz al problema del significado de las demostraciones matemáticas.Los objetivos del proyecto son: Caracterizar el campo de las ciencias de la computación.Evaluar los fundamentos ontológicos, epistemológicos y metodológicos de la ciencia de la computación actual.Analizar las relaciones entre las diferentes perspectivas heurísticas y epistémicas y las practicas de la programación.

Errores en sistemas de procesamiento de datos debido a eventos transitorios en interfaces analógicas: aportes a la mitigación de los mismos. Errors in data processing systems due to single transient events affecting analog interfaces: contributions to their mitigation.

Los eventos transitorios únicos analógicos (ASET, Analog Single Event Transient) se producen debido a la interacción de un ión pesado o un protón de alta energía con un dispositivo sensible de un circuito analógico. La interacción del ión con un transistor bipolar o de efecto de campo MOS induce pares electrón-hueco que provocan picos que pueden propagarse a la salida del componente analógico provocando transitorios que pueden inducir fallas en el nivel sistema. Los problemas más graves debido a este tipo de fenómeno se dan en el medioambiente espacial, muy rico en iones pesados. Casos típicos los constituyen las computadoras de a bordo de satélites y otros artefactos espaciales. Sin embargo, y debido a la continua contracción de dimensiones de los transistores (que trae aparejado un aumento de sensibilidad), este fenómeno ha comenzado a observarse a nivel del mar, provocado fundamentalmente por el impacto de neutrones atmosféricos. Estos efectos pueden provocar severos problemas a los sistemas informáticos con interfaces analógicas desde las que obtienen datos para el procesamiento y se han convertido en uno de los problemas más graves a los que tienen que hacer frente los diseñadores de sistemas de alta escala de integración. Casos típicos son los Sistemas en Chip que incluyen módulos de procesamiento de altas prestaciones como las interfaces analógicas.El proyecto persigue como objetivo general estudiar la susceptibilidad de sistemas informáticos a ASETs en sus secciones analógicas, proponiendo estrategias para la mitigación de los errores.Como objetivos específicos se pretende: -Proponer nuevos modelos de ASETs basados en simulaciones en el nivel dispositivo y resueltas por el método de elementos finitos.-Utilizar los modelos para identificar las secciones más propensas a producir errores y consecuentemente para ser candidatos a la aplicación de técnicas de endurecimiento a radiaciones.-Utilizar estos modelos para estudiar la naturaleza de los errores producidos en sistemas de procesamiento de datos.-Proponer soluciones novedosas para la mitigación de estos efectos en los mismos circuitos analógicos evitando su propagación a las secciones digitales.-Proponer soluciones para la mitigación de los efectos en el nivel sistema.Para llevar a cabo el proyecto se plantea un procedimiento ascendente para las investigaciones a realizar, comenzando por descripciones en el nivel físico para posteriormente aumentar el nivel de abstracción en el que se encuentra modelado el circuito. Se propone el modelado físico de los dispositivos MOS y su resolución mediante el Método de Elementos Finitos. La inyección de cargas en las zonas sensibles de los modelos permitirá determinar los perfiles de los pulsos de corriente que deben inyectarse en el nivel circuito para emular estos efectos. Estos procedimientos se realizarán para los distintos bloques constructivos de las interfaces analógicas, proponiendo estrategias de mitigación de errores en diferentes niveles.Los resultados esperados del presente proyecto incluyen hardware para detección de errores y tolerancia a este tipo de eventos que permitan aumentar la confiabilidad de sistemas de tratamiento de la información, así como también nuevos datos referentes a efectos de la radiación en semiconductores, nuevos modelos de fallas transitorias que permitan una simulación de estos eventos en el nivel circuito y la determinación de zonas sensibles de interfaces analógicas típicas que deben ser endurecidas para radiación.

Exposición prenatal al alcohol y síndrome de hiperactividad con déficit de la atención: un abordaje conductual, farmacológico y bioquímico. Alcohol prenatal exposure and attention deficit with hyperactivity disorder: behavioral, pharmacological and biochemical approaches.

El Trastorno por Déficit de Atención con Hiperactividad (ADHD) es un síndrome conductual de origen orgánico, que se manifiesta principalmente en niños. Está caracterizado por distracción moderada a severa, períodos de atención breve, hiperactividad, inestabilidad emocional e impulsividad. Los tratamientos se basan "paradójicamente" en psicoestimulantes. Las sustancias mas empleadas son metilfenidato y anfetamina. La sintomatología indica un mal funcionamiento en los circuitos dopaminérgicos que sería el resultado de factores genéticos como ambientales, ya que es común encontrar ADHD en niños expuestos prenatalmente al alcohol. Los modelos animales son importantes para estudiar patologías de etiología desconocida, en este sentido, estudios de nuestro laboratorio indican que ratones deficientes en p35 son hiperactivos y responden paradojalmente a psicoestimulantes. Cdk5/p35 participa en el desarrollo neuronal, liberación de vesículas, señales dopaminérgicas, etc. Además resultados preliminares indican que la experiencia prenatal con una dosis etílica moderada durante la gestación tardía, es suficiente para incrementar los patrones de actividad locomotora, semejantes a los descriptos en los modelos animales de ADHD. De acuerdo a estas consideraciones hipotetizamos que la exposición etílica prenatal a dosis moderadas y durante un periodo acotado de la gestación tardía, resulta en un patrón conductual similar al descripto en modelos de ADHD. Asimismo, drogas psicoestimulantes pueden revertir dichos efectos. Por otra parte, proponemos que estas alteraciones son consecuencia de los efectos ocasionados por el insulto etílico sobre el equilibrio en el funcionamiento del sistema de neurotransmisión dopaminérgio mesolímbico/cortical. Teniendo en cuenta que la etiología del ADHD aun no se conoce, el desarrollo de modelos animales, que recapitulen características clínicas de este trastorno, constituye una herramienta muy poderosa para el estudio de los mecanismos celulares y moleculares que subyacen a este síndrome, por lo tanto, en este proyecto nos proponemos obtener evidencias acerca de las alteraciones originadas a partir de efectos deletéreos de la exposición etílica prenatal, que recapitulan el desarrollo de fenotipos conductuales y bioquímicos descriptos en modelos para ADHD. Específicamente nos proponemos determinar, por medio de experimentos conductuales, si la exposición a distintas dosis moderadas de alcohol durante un periodo acotado de la gestación tardía, son suficientes para generar alteraciones conductuales características de ADHD y establecer si metilfenidato y anfetamina, son capaces de revertirlas. Evaluar, mediante métodos bioquímicos, si este modelo involucra cambios en algunos de los componentes claves de la neurotransmisión dopaminérgica, tales como niveles de dopamina y sus metabolitos, niveles de expresión de tirosina-hidroxilasa, de receptores y transportador de dopamina, del complejo cdk5/p35, entre otros. Esperamos recapitular características análogas a las observadas en sujetos diagnosticados con ADHD y que el tratamiento con psicoestimulantes re-establezca los niveles de conducta normales. Mediante ensayos bioquímicos, esperamos encontrar mayores niveles de dopamina en tejido estriatal, acompañados con un aumento en los niveles de sus metabolitos y mediante western blot y ensayos de actividad esperamos encontrar mayor nivel de expresión en D1, menor de DAT y alteraciones en la normal actividad y expresión de cdk5/p35, que podrían explicar los resultados comportamentales esperados. Dada la alta prevalencia de ADHD y que estos jóvenes pacientes son medicados con psicoestimulantes, junto con la poca información sobre las respuestas neuroadaptativas del cerebro inmaduro, es importante investigar los mecanismos que subyacen las alteraciones neurofisiológicas de este trastorno. Estos abordajes experimentales resultan centrales para el desarrollo de terapias mas eficientes para el tratamiento de este síndrome.

Rol de los factores de crecimiento Wnt sobre el desarrollo de polaridad neuronal y crecimiento axonal. Role of Wnt growth factors on neuronal polarity and axon growth.

El desarrollo y funcionamiento del sistema nervioso dependen de la formación de circuitos neuronales específicos y de programas intrínsecos y extrínsecos que actúan como moduladores del desarrollo neuronal. Inicialmente, los neuroblastos "sensan" a través de receptores específicos, la presencia en el medio de factores de crecimiento, como neurotrofinas clásicas (BDNF, NGF, etc), IGF-1, factores Wnts, que regulan la diferenciación neuronal, polarización, migración, etc. Hasta hace pocos años, las funciones específicas de los diferentes sistemas de factor de crecimiento-receptor en el establecimiento de polaridad y la regulación del crecimiento axonal eran mayormente desconocidas. Más recientemente, trabajos de nuestro y otros grupos de investigación han aportado significativamente al conocimiento de los mecanismos que involucran los sistemas IGF-1-receptor de IGF-1, BDNF-TrkB y NGF-TrkA sobre el desarrollo de polaridad neuronal. Sin embargo, si bien se conoce que los factores de crecimiento Wnt cumplen un rol crucial en eventos que ocurren durante la maduración neuronal (dendritogénesis, sinaptogénesis) poco se sabe sobre los mecanismos por los cuales estos factores regularían el establecimiento inicial de polaridad y el crecimiento axonal. Los factores Wnt como así también su primer efector intracelular Dishevelled (DVL) y sus cascadas de señalización participan de procesos como neurogénesis, guiado axonal, desarrollo dendrítico y formación y mantenimiento de sinápsis. Por estas razones, para el desarrollo del presente proyecto planeamos estudiar los efectos de los factores Wnts, su receptor Frizzled (Fz) y su efector DVL sobre el establecimiento de polaridad y la regulación del crecimiento axonal. También compararemos los efectos de los factores Wnt con los de IGF-1 (el único factor de crecimiento conocido esencial para el establecimiento de polaridad). Finalmente, intentaremos determinar cuál o cuáles de las cascadas intracelulares de señalización activadas por los Wnts están involucradas en sus efectos axogénicos. La metodología a utilizar se basará en el empleo de cultivos primarios de neuronas de hipocampo de embriones de rata de 18 días de gestación, los que serán expuestos a los factores Wnt y/o IGF-1. Se diseñarán experimentos tendientes a evaluar los efectos de dichos factores durante los diferentes estadíos de diferenciación neuronal que se analizarán por microscopía de fluorescencia confocal. Al mismo tiempo se realizarán ensayos de subfraccionamiento que permitan purificar conos de crecimiento aislados en los que se evaluará el rol local de Wnt y sus efectores sobre la fosforilación de quinasas que median la adición local de membrana y elongación axonal. Se examiná el rol de DVL sobre la especificación axonal a través de la expresión epistática en neuronas no diferenciadas como así también se bloqueará su expresión a tavés del uso de siRNA o cDNAs que actúen como dominantes negativas. Finalmente, se examinará una posible "transactivación" por IGF-1 o Wnts de sus receptores o primeros efectores intracelulares específicos, IRS-1- PI3K para IGF-1 y Dishevelled para Wnts. Para ello, se diseñarán experimentos en los que se utilizarán inhibidores farmacológicos específicos y se realizan ensayos de fosforilación en conos de crecimiento aislados y en cultivos neuronales. Los resultados serán cuantificados y sometidos softwares estadísticos adecuados.El desarrollo de estos experimentos nos permitirá examinar posibles paralelismos entre la activación del sistema Wnt-Frizzled-Dishevelled y del sistema IGF-1-Receptor de IGF-1-PI3K, el único sistema factor de crecimiento-receptor conocido esencial para el establecimiento de la polaridad neuronal y así poder lograr un acercamiento al/los posible mecanismo/s que regula/n la diferenciación neuronal y el crecimiento axonal.

Plataforma informática aplicada como ayuda al proceso de enseñanza-aprendizaje de la educación primaria y secundaria de la provincia de Córdoba: la integración de las nuevas tecnologías (ntics) para el proceso de enseñanza-aprendizaje en entornos virtuales y colaborativos como complemento a la enseñanza tradicional.

Desde la Facultad de Ingenierí­a de la Universidad Católica de Córdoba, se pudo constatar a través de una investigación de campo las dificultades que presentaban los alumnos de nivel primario y medio para realizar sus tareas extra-Áulicas. Estas dificultades provenían en general de las siguientes categorías: a. alumnos que no tienen el suficiente grado de contención fuera del Ámbito netamente escolar. b. alumnos que no pueden recurrir a un adulto en sus hogares para solicitarles ayuda en sus tareas escolares. c. alumnos que, estando acompañados por familiares, estos no pueden acompañar la actividad de las tareas que los alumnos deben entregar en clases siguientes. Actualmente, esta situación persiste en un gran número de familias económicamente comprometidas, impidiendo que se logre una interacción efectiva entre los docentes, desde las propuestas de actividades curriculares, y los alumnos desde sus actividades extra- Áulicas (deberes o tareas). El presente proyecto, como plataforma educativa, inscripto en una realidad social compleja y de importancia vital para el desarrollo educativo de los alumnos intentará dar tratamiento a este problema ya no en forma particular sino en forma general y a varias disciplinas. El desafío de este proyecto multidisciplinario, en el que confluyen la Informática y Educación, es desarrollar un espacio para que los alumnos de nivel primario y nivel medio puedan encontrar trayectorias formativas extra-Áulicas mediadas por el conocimiento curricular y construyendo un lugar de encuentro e intercambio productivo, en este caso, en la red, en una aula virtual y en una experiencia extensionista mediada por la tecnología informática.

Proyecto integrado en el área de microelectrónica para el diseño de circuitos integrados (Programa de Modernización Tecnológica III I-P - PAE 2006).

El objetivo general de este proyecto estratégico es incorporar una actividad de alto valor agregado como es el diseño de circuitos integrados dentro del segmento de alta tecnología de la cadena productiva nacional. Para ello resulta necesario cumplimentar los siguientes objetivos específicos: • Fortalecer los grupos de investigación y desarrollo que realizan tareas dentro de este área temática, tanto en infraestructura como en recursos humanos; • Fortalecer y desarrollar la Industria Electrónica mediante la incorporación de estas nuevas tecnologías en sus productos; • Representar y asistir a los grupos de diseño locales en la búsqueda de oportunidades para realizar "outsourcing" de diseño para compañías del exterior; • Establecer una primer masa crítica de diseñadores, que funcione como impulsora de la actividad en el medio; • Generar una red a nivel local, donde convivan empresas, universidades y profesionales. La mejora continua en las prestaciones de los productos y en los procesos productivos ha llevado a que la microelectrónica esté presente en los más diversos ámbitos de la actividad humana, con la perspectiva de ir incrementando constantemente su participación. Por eso mismo, un país que pretenda insertarse en el mundo de manera soberana no puede menospreciar la necesidad de incrementar la capacidad de su industria en el área. Los componentes de la Cadena de valor de la ME son los siguientes: • Diseño del circuito, con valor agregado de conocimientos y experiencia del diseñador; • Herramientas de Software de diseño (CAD) con verificación y simulación; • Prototipeo de circuitos y ensayo (testing); • Fabricación de chip en línea; • Encapsulado y testeo.

GESTIÓN DEL DISEÑO Y LA INNOVACIÓN EN LA RELACIÓN UNIVERSIDAD - ENTRAMADO SOCIO-PRODUCTIVO

PROBLEMA DE INVESTIGACION El problema que aborda la investigación es la falta de transferencia de conocimientos de diseño + innovación (arquitectura, diseño industrial, diseño gráfico, etc.) al sistema socio productivo de la provincia de Córdoba, lo cuál afecta la productividad y la competitividad de las empresas y, por otra parte, dificulta la inserción laboral de los profesionales formados en las universidades del medio. La provincia de Córdoba posee un importante potencial industrial que intenta contrabalancear el predominio de la región metropolitana de Buenos Aires. Las áreas de mayor desarrollo son la automotriz, metal-mecánica, agro-industrial, la construcción y la alimentaría. El diseño correctamente gestionado, constituye una fuente de ventajas comparativas, una eficaz metodología para la innovación de productos y procesos y un factor de rentabilidad económica. Por otro lado, existe una falta de respuesta a problemas relacionados al diseño, (como los aspectos relativos a la calidad de vida, la responsabilidad social y la protección del ambiente, por mencionar algunos) que no son formulados como prioridades cuantitativas en los productos de diseño promovidos por las empresas. En este sentido, las Universidades de la Red, cuentan con instrumentos específicos a nivel de grado y postgrado para promover la interrelación entre Universidad, Empresas y Ongs de la Provincia. La carrera de Diseño Industrial de la Universidad Nacional de Córdoba y la Maestría en Diseño de la Universidad Católica de Córdoba han estado cooperando desde inicios del 2009 en la conformación del Programa Córdoba Diseña del Ministerio de Ciencia y Tecnología de la Provincia de Córdoba, que tiene el objetivo de "desarrollar y orientar las capacidades de análisis, evaluación y asistencia técnica en temas referidos al Diseño, para el gobierno, las empresas, las universidades y centros de investigación". En el marco de ese programa del que las universidades participantes son miembros, existe un diagnóstico incipiente de los requerimientos de las empresas, y de la actividad de los diseñadores en la provincia. Al mismo tiempo, se ve necesario recabar datos sobre los requerimientos de diseño desde el sector de organizaciones no gubernamentales y sin fines de lucro. A los efectos de contar con un relevamiento que posibilite un diagnóstico más preciso, es necesario sistematizar y cruzar los datos que se derivan de: la conformación del entramado socio-productivo de la provincia, la oferta académica y el capital humano que estamos formando en las Universidades. Ambas universidades integrantes de la Red, cuentan con una reconocida trayectoria en el Área de Diseño y con capital humano de diferentes disciplinas (diseño industrial, arquitectura, gestión pública, sociología, etc.) para llevar adelante el proyecto. Los resultados del proyecto servirán para formular un marco teórico específico, fundamentar estrategias de mejoramiento de la calidad académica, delinear propuestas de sistemas asociativos y definición de prioridades de líneas de investigación para mejorar la eficiencia de la relación Universidades-Empresas-Sociedad. Por otra parte, posibilitarán relevar las demandas del medio-socio productivo en términos de la formación profesional requerida, la inserción de los profesionales y la importancia de la innovación en tanto valor agregado a productos y procesos en el entramado socio-productivo de la provincial de Córdoba. OBJETIVOS - Analizar, sistematizar y consolidar información respecto a la experiencia acumulada, las capacidades actuales y las potencialidades en materia de diseño e innovación en Córdoba. - Identificar las empresas del medio productivo local y las organizaciones del tercer sector que demandan profesionales formados en diseño e innovación, e indagar sobre los requerimientos que plantean en términos de competencias y formacion académica. -Identificar los desfasajes que pudieran existir en relación a la demanda que plantea el medio productiv

Aceleración de Algoritmos en Procesadores Multicore, GPGPU y FPGA

El avance en la potencia de cómputo en nuestros días viene dado por la paralelización del procesamiento, dadas las características que disponen las nuevas arquitecturas de hardware. Utilizar convenientemente este hardware impacta en la aceleración de los algoritmos en ejecución (programas). Sin embargo, convertir de forma adecuada el algoritmo en su forma paralela es complejo, y a su vez, esta forma, es específica para cada tipo de hardware paralelo. En la actualidad los procesadores de uso general más comunes son los multicore, procesadores paralelos, también denominados Symmetric Multi-Processors (SMP). Hoy en día es difícil hallar un procesador para computadoras de escritorio que no tengan algún tipo de paralelismo del caracterizado por los SMP, siendo la tendencia de desarrollo, que cada día nos encontremos con procesadores con mayor numero de cores disponibles. Por otro lado, los dispositivos de procesamiento de video (Graphics Processor Units - GPU), a su vez, han ido desarrollando su potencia de cómputo por medio de disponer de múltiples unidades de procesamiento dentro de su composición electrónica, a tal punto que en la actualidad no es difícil encontrar placas de GPU con capacidad de 200 a 400 hilos de procesamiento paralelo. Estos procesadores son muy veloces y específicos para la tarea que fueron desarrollados, principalmente el procesamiento de video. Sin embargo, como este tipo de procesadores tiene muchos puntos en común con el procesamiento científico, estos dispositivos han ido reorientándose con el nombre de General Processing Graphics Processor Unit (GPGPU). A diferencia de los procesadores SMP señalados anteriormente, las GPGPU no son de propósito general y tienen sus complicaciones para uso general debido al límite en la cantidad de memoria que cada placa puede disponer y al tipo de procesamiento paralelo que debe realizar para poder ser productiva su utilización. Los dispositivos de lógica programable, FPGA, son dispositivos capaces de realizar grandes cantidades de operaciones en paralelo, por lo que pueden ser usados para la implementación de algoritmos específicos, aprovechando el paralelismo que estas ofrecen. Su inconveniente viene derivado de la complejidad para la programación y el testing del algoritmo instanciado en el dispositivo. Ante esta diversidad de procesadores paralelos, el objetivo de nuestro trabajo está enfocado en analizar las características especificas que cada uno de estos tienen, y su impacto en la estructura de los algoritmos para que su utilización pueda obtener rendimientos de procesamiento acordes al número de recursos utilizados y combinarlos de forma tal que su complementación sea benéfica. Específicamente, partiendo desde las características del hardware, determinar las propiedades que el algoritmo paralelo debe tener para poder ser acelerado. Las características de los algoritmos paralelos determinará a su vez cuál de estos nuevos tipos de hardware son los mas adecuados para su instanciación. En particular serán tenidos en cuenta el nivel de dependencia de datos, la necesidad de realizar sincronizaciones durante el procesamiento paralelo, el tamaño de datos a procesar y la complejidad de la programación paralela en cada tipo de hardware.

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