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

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

Nematodos para el control de insectos perjudiciales: Descripción y aspectos de la biología de poblaciones de nematodos entomófagos

Los nematodos entomopatógenos son verdaderos reguladores de poblaciones de insectos: son parásitos estrictos o facultativos y matan indefectiblemente al huésped que parasitan. Las familias Mermithidae, Heterorhabditidae y Steinernematidae son las más importantes de esta categoría. En Argentina poco se conoce acerca de estos nematodos, solo en Córdoba y Buenos Aires se están realizando estudios sobre el particular. Los resultados obtenidos en Córdoba, indican que la nematofauna autóctona es rica y variada: se ha descripto un nuevo género, cinco especies y numerosas poblaciones. Además se cuenta con el registro de cincuenta poblaciones más, en las regiones centro-sur de la Provincia. Además, se han estudiado diversos aspectos de la bioecología de algunas de las especies aisladas. Los resultados evidencian la presencia de un material con características particularmente interesantes en la relación huésped parásito y agresividad. El presente proyecto pretende contribuir al conocimiento de los nematodos detectados, recabar información acerca de la taxonomía, aspectos de la bioecología (resistencia, infectividad, modalidades del ciclo de vida, comportamiento de las larvas infectivas, especificidad, producción en condiciones de laboratorio-entre las principales). Estos trabajos están orientados a la selección de especies a ser utilizadas en el control biológico de insectos perjudiciales. Cabe mencionar que la naturaleza de este proyecto permite la participación de biólogos y alumnos interesados en la temática y por lo tanto la posibilidad de la formación de recursos humanos. Objetivos generales y específicos: El objetivo principal de esta línea de investigación es de contribuir al conocimiento de la diversidad de este grupo zoológico en nuestra provincia. Desde un punto de vista aplicado este estudio podría aportar el conocimiento de nuevos agentes para la utilización en el control biológico de insectos perjudiciales. Los objetivos específicos que se pretenden son: -Detección e identificación de poblaciones naturales. -Recuperación y obtención de cultivos puros. -Estudios taxonómicos y aspectos de bioecología de las poblaciones aisladas.

Biología de la fibra, su incidencia poblacional y los posibles medios genéticos y no genéticos que influencian la aceptación de la fibra por parte de los usuarios. Descripción morfológica y de procesos.

El proyecto se desarrollará en 3 etapas de 2 años cada una partiendo desde la biología de piel (folículos), pasando por la estructura físico-química (incluido ultraestructura (SEM y microscopía confocal), biología molecular, hasta la tecnología del descerdado, protección contra polillas y el mejoramiento genético de la incidencia de fibras objetables u observables en: lanas especiales, llama, chashmere y mohair. Se desarrollan estudios de estructura poblacional para obtener la oferta poblacional de cada fibra y su status de calidad. Se cuenta con 4 proyectos externos que reciben financiamiento para algunos ítems parciales, luego con los MPI, DPI, técnica de laboratorio y régimen completo se cubren las demás actividades a ejecutar por lo menos en los 2 primeros años. En relación a ese proyecto se encuentran en ejecución 4 tesis de doctorado (Facultad de Ciencias Agropecuarias, UCC), una tesis de maestría (Facultad de Agronomía, UBA) y una posible tesis de doctorado más que se encuentra en etapa de formulación.

Especies del bosque nativo del centro de Argentina. Descripción, propagación y usos principales. Cartilla Ilustrada.

La provincia de Córdoba conserva sólo el 3,6% de la superficie original de bosques (594.000 ha), distribuídos en fragmentos que son sumamente valiosos porque contienen la diversidad de flora y fauna remanente y porque constituyen barreras frente a la acción erosiva del agua y los vientos. Por su estructura, degradada y enmarañada, el productor rural generalmente visualiza estos fragmentos como una molestia ya que le restan superficie apta para el cultivo y resultan poco aprovechables para otros fines, p.ej.: turístico, recreativo, productivo, etc. Sin embargo, bajo pautas de manejo adecuadas estos bosquecillos podrían rehabilitarse para su aprovechamiento en sistemas de uso múltiple (productos y servicios forestales madereros y no madereros). Para ello, es necesario identificar a simple vista las especies principales que componen el bosque, en sus estratos arbóreo, arbustivo y herbáceo, así como reconocer sus principales características funcionales, su forma de propagación y su valor de uso actual o potencial. La bibliografía disponible para la provincia de Córdoba, descriptiva de los aspectos morfológicos, funcionales y utilitarios de las especies que habitan los bosques nativos, es escasa y está fragmentada y dispersa, lo que constituye una dificultad para su estudio y manejo. Esta dificultad se visualiza en todos los cursos, seminarios y talleres que dicta nuestro equipo de trabajo y es planteada por distintas instituciones educativas y de extensión (como la Universidad Nacional de Villa María, la Tecnicatura en Jardinería y Floricultura, la Biblioteca de la FCA, UNC, el Nodo Regional Monte y Espinal) así como organizaciones de la sociedad civil, municipios y empresarios urbanos y rurales (como la ONG Ecosistemas Argentinos y el Vivero La Lomada). La presente propuesta busca dar respuesta a la demanda de todas estas instituciones receptoras, brindando un material descriptivo, agradable visualmente y didáctico, con información confiable, resultante de sucesivos proyectos de investigación en conservación, domesticación y manejo de las especies de nuestros bosques nativos.

Desarrollo Riguroso de Sistemas Tolerantes a Fallas

Los sistemas críticos son aquellos utilizados en áreas en las cuales las fallas, o los eventos inesperados, pueden ocasionar grandes perdidas de dinero; o quizás peor aún, daños a vidas humanas. Esta clase de sistemas juegan un rol importante en actividades esenciales de la sociedad tales como la medicina y las comunicaciones. Los sistemas críticos, cada vez son más usuales en la vida real, algunos ejemplos de estos son los sistemas de aviones, sistemas para automóviles y sistemas utilizados en telefonia móvil. Para minimizar las fallas, y las perdidas materiales o humanas ocasionadas por el funcionamiento incorrecto de dichos sistemas, se utilizan técnicas de tolerancia a fallas. Estas técnicas permiten que los sistemas continúen funcionando aún bajo la ocurrencia de fallas, o eventos inesperados. Existen diversas técnicas para lograr tolerancia a fallas utilizando, por ejemplo, redundancia a diferentes niveles de abstracción, como, por ejemplo, al nivel de hardware. Sin embargo, estas técnicas dependen fuertemente del sistema, y del contexto en las que se utilizan. Más aún, la mayoría de la técnicas de tolerancia a fallas son usadas a bajo nivel (código fuente o hardware), estimamos que el uso de formalismos rigurosos (con fundamentos matemáticos) pueden llevar al diseño de sistemas tolerantes a fallas y robustos a un nivel de abstracción más alto, a la vez que la utilización de técnicas de verificación que han sido exitosas en la práctica tales como model checking, o la síntesis de controladores, pueden llevar a una verificación y producción automática de sistemas robustos. El objetivo del presente proyecto es estudiar tanto marcos teóricos, que permitan la construcción de sistemas más robustos, como también herramientas automáticas que hagan posible la utilización de estos formalismos en escenarios complejos. Para lograr estos objetivos, será necesario considerar casos de estudios de diferente complejidad, y además que sean relevantes en la práctica. Por ejemplo: bombas de insulina, protocolos de comunicación, sistemas de vuelo y sistemas utilizados con fines médicos. Planeamos obtener prototipos de algunos de estos casos de estudio para evaluar los marcos teóricos propuestos. En los últimos años diferentes formalismos han sido utilizados para razonar sobre sistemas tolerantes a fallas de una forma rigurosa, sin embargo, la mayoría de estos son ad hoc, por lo cual sólo son aplicables a contextos específicos. Planeamos utilizar ciertas lógicas modales, en conjunto con nociones probabilísticas, para obtener un conjunto de herramientas suficientemente generales para que puedan ser utilizadas en diferentes contextos y aplicaciones. Los materiales a utilizar son equipos informáticos, en particular computadoras portátiles para el equipo de trabajo y computadoras más potentes para el testeo y desarrollo del software necesario para lograr los objetivos del proyecto. Para construir los prototipos mencionados se utilizarán equipos de computación estándar (el equipo investigación cuenta con computadoras intel y mac) en conjunto con lenguajes de programación modernos como JAVA o C#. En el caso de que los sistemas de software sean sistemas embebidos; se piensa desarrollar un motor de simulación que permita evaluar el desempeño del software cuando es ejecutado en el dispositivo mencionado. Se espera desarrollar, e investigar, las propiedades de formalismos matemáticos que permitan el desarrollo de sistemas tolerantes a fallas. Además, se desarrollarán herramientas de software para que estos sistemas tolerantes a fallas puedan verificarse, o obtenerse automáticamente. Los resultados obtenidos serán difundidos por medio de publicaciones en revistas del área. El desarrollo de sistemas tolerantes a fallas por medio de técnicas rigurosas, a diferentes niveles de abstracción (captura de requisitos, diseño, implementación y validación), permitirá minimizar los riesgos inherentes en actividades críticas.

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