Leyes numérico-generativas I

El empleo intensivo de computadoras constituye para las investigaciones en los campos de diseño, arte y arquitectura, como así también en las investigaciones formales y/o generativas de cualquier tipo una constante en nuestra actividad. Todo ello trae aparejadas ventajas innegables (velocidad y diversidad de resultados) como también una nueva estructura de costos. (...) Todas nuestras investigaciones tradicionales se valen de recursos muy semejantes a los mecanismos de las computadoras por tratarse de crecimientos o desarrollos numéricos como también leyes de color (tablas cromáticas). Ahora estamos trabajando bajo el sistema de operativo de Windows (empleando herramientas de programación los lenguajes Pascal y C++) empleados equipos PC 486. Paralelamente continuamos las Investigaciones Tradicionales no-computarizadas en lo referido a Color por considerarlas absolutamente indispensables como complemento de las resoluciones que nos brindan las Computadoras. Objetivo general: Avance y ampliación de posibilidades investigativas en el campo de la Geometría Generativa (Creación de Formas) y Cromogénesis (Estudio sistemático y generación del color). Objetivos específicos: 1. Creación y utilización de programas computarizados sobre Puntos Generadores sobre Circunferencia. 2.Creación de obras pictórico-investigativas con base numérica.

La lombricultura como estrategia para reciclar desechos orgánicos

El aumento de los sistemas productivos intensivos y el inadecuado manejo de los residuos domiciliarios ha traído consigo un problema de disposición de desechos y un aumento de la contaminación ambiental. De este modo se hace imprescindible aplicar tecnologías alternativas para superar los inevitables inconvenientes que genera la mayor producción de residuos. La liberación de diversos desechos y contaminantes en el ambiente provoca en muchos casos problemas en la salud pública y animal, y pueden impedir hasta el aprovechamiento de tierras y acuíferos, siendo necesario realizar un estricto control de las variables que intervienen en el complejo proceso del reciclaje. Los desechos orgánicos pueden ser reciclados a través de la crianza intensiva de la especie Eisenis foetida, la que es capaz de transformar los desechos consumidos en humus y proteína animal. El presente trabajo tiene como objetivo general adquirir conocimientos en la transformación de desechos orgánicos que permitan el desarrollo de técnicas acordes a situaciones problemáticas específicas. Los objetivos específicos son: 1) Analizar químicamente los desechos pecuarios y domiciliarios; 2) Investigar los microorganismos indicadores y patógenos en desechos orgánicos, compost y evaluar su supervivencia en E. foetida. Analizar en el tiempo las variables temperatura y pH y ajuste de un modelo no lineal; 3) Evaluar la importancia del humus como enmienda orgánica. Este trabajo brindará conocimientos para el reciclaje y compostaje con producción de humus, lo que permitirá implementar esta técnica con las seguridades que la legislación actual requiere.

Fluctuaciones de orden local en sistemas moleculares

Existe actualmente un interés muy difundido por los fluidos anisotrópicos (cristales líquidos, polímeros) debido a la gran cantidad de aplicaciones que se pueden realizar con ellos (por ejemplo en la fabricación de displays, en medicina, biología, etc.). Su estudio también planea interesantes problemas desde un punto de vista de la física fundamental. Sin embargo, a pesar de esto es muy poco lo que se conoce acerca de la dinámica molecular, y el problema está abierto. Las técnicas más apropiadas en este campo son el estudio de las propiedades dieléctricas y la RMN (relajación spin-red). En esta última, hay una gran actividad en el campo experimental con el desarrollo de numerosas técnicas nuevas. Sin embargo, desde el punto de vista de la teoría de la relajación se continúa utilizando aproximaciones semiclásicas. Entonces, es necesario revisar las hipótesis fundamentales de la teoría de la RMN con el fin de extender su campo de aplicación a problemas complejos como los que plantean los fluidos anistrópicos. El propósito general de esta línea de trabajo es el de extender la teoría semiclásica de relajación nuclear en RMN para incluir la naturaleza cuántica del fenómeno. Al cabo de esta investigación se espera poder describir la relajación del orden dipolar en mesofaces ordenadas como los cristales líquidos, ferrofluídos, etc. (...) Al cabo de este período se espera avanzar en las siguientes tareas: 1. Contar con una ecuación maestra para la matriz densidad de spin lo suficientemente general para incluir los efectos mencionados, pero que a la vez permita la comparación con los resultados experimentales. Dejando de lado las suposiciones clásicas de alta temperatura y orden débil, y en el marco de la suposición de temperatura de spin, se estudiará una expansión de la ecuación maestra en inversas de las temperaturas de la red y de spin. Conservando términos de orden mayor que lineal (aproximación clásica) e introduciendo las interacciones spin-spin durante el tiempo de correlación de la red (memoria microscópica) se analizará la dependencia con la frecuencia de Larmor de T1D y T1Z. Las interacciones spin-spin se introducirán mediante un método perturbativo de operadores. 2. Comprender la razón física de la diferencia de comportamiento con la frecuencia de Larmor de los parámetros T1D y T1Z. 3. Generalizar el análisis para aplicarlo al tiempo de relajación spin-red en el sistema rotante T1r.

Las relaciones regionales en el cono sur y el orden mundial (Siglo XX)

Una de las notas distintivas de América Latina, ha sido su condición de región periférica, inserta en un sistema de relaciones cada vez más marcada de naciones hegemónicas. En el marco de esta situación, las presiones e intereses de las potencias industrializadas, coadyuvaron a la desigualdad en el desarrollo de las relaciones internacionales entre los países latinoamericanos, lo que influyó de manera decisiva en la programación de vínculos continentales, ya sea a nivel multilateral o regional. Desde la Primera Guerra Mundial el avance de la influencia económica de los Estados Unidos sobre América Latina, fue sumamente rápido. (...) El carácter asimétrico de las relaciones inter-latinoamericanas se ponía de manifiesto en la afirmación de la hegemonía de los países latinoamericanos más "poderosos", sobre los más débiles, observándose además el protagonismo de las dirigencias de los países centrales, en acuerdo con sus homólogas locales. La presencia de tres países con aspiraciones hegemónicas en el Cono Sur, esto es Argentina, Brasil y Chile, hizo que la región se constituyera en un factor de importancia respecto de los objetivos de las naciones centrales, así como en función de los cambios sociopolíticos que comenzaban a proyectarse en el sistema vinculaciones interregional. De este modo, el aumento del poderío estadounidense, el conflicto mundial y las diferentes políticas llevadas a cabo por los gobiernos Argentina, Brasil y Chile constituyeron variables fundamentales en la estructuración del sistema de relaciones inter-latinoamericano. Con este contexto se intenta, a partir de las categorías de análisis propuestas, comprender y explicar la red de relaciones estructuradas en el Cono Sur de América Latina durante el período que transcurre desde 1914 hasta el fin de la guerra y los profundos cambios que esta fenómeno produjo posteriormente en el orden internacional. Objetivos generales 1. Introducir en el análisis la dimensión regional como categoría válida para un intento de clasificar el espacio latinoamericano, pues proporciona una representación de la realidad socioeconómica y sociocultural que puede alcanzar su institucionalización a través de formas políticas y jurídicas. 2. Aproximarse al concepto de sistema Latinoamericano de naciones, el cual se haría más inteligible cuando se presenta en él una situación conflictiva y cuya dinámica permitiría aprehender la realidad regional como una unidad de análisis.

Estudios estructurales y funcionales de la glucogenina

Glucogenina es el nombre asignado a la proteína de 38 kDa que se encuentra unida covalentemente al glucógeno y que inicia la biosíntesis de navo del polisacárido. El aporte del grupo en el tema comprende: la identificación en retina bovina de fracciones de a-1,4- glucanoproteína distinguibles por su solubilidad e insolubilidad en ácido tricloroacético; la demostración de que el glucógeno posee proteína covalentemente unida al glucano; la identificación del arninoácido involucrado en la unión proteína-polisacárido; la caracterización de la fracción de glucógeno insoluble en ácido tricloroacético corno proteoglucógeno; la descripción de proteoglucógeno asociado a membranas microsomales en retina; la demostración de que en organismos primitivos como Neuraspara crassa y Escherichia coli el glucógeno se halla covalentemente unido a una proteína de 31 kDa que llamamos M-glucogenina; que no es reconocida por anticuerpo policlonal anti-glucogenina de 38 kDa de mamífero, y cuya secuencia de diez aminoácidos del extremo N-terminal es distinta a la de la glucogenina de 38 kDa. El objetivo general está dirigido a interrogantes acerca de aspectos estructurales funcionales de la glucogenia, la proteína de 38 kDa que se encuentra unida covalentemente al glucógeno y que inicia la biosíntesis de novo del polisacárido. Dentro del aspecto funcional la pregunta fundamental es si la vía que se inicia con la glucogenina y termina con proteoglucógeno constituye la única alternativa para la biosíntesis del glucógeno celular. Con respecto al aspecto estructural, el mecanismo involucrado en su actividad autoglucosiltransferasa acapara la atención, tanto en lo referente a la identificación del sitio o sitios activos responsable(s) de la formación de uniones glucosil-a-l,4-glucosa como en lo referente a la causa determinante de la incorporación de no mas de ocho a once glucosas, formando un oligoglucano lineal unido al residuo tirosina 194 que actuará como primer de la glucógeno sintetasa.

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.

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.

Diseño de sistemas de comunicaciones de alta velocidad. Design of high-speed communication systems.

El crecimiento exponencial del tráfico de datos es uno de los mayores desafíos que enfrentan actualmente los sistemas de comunicaciones, debiendo los mismos ser capaces de soportar velocidades de procesamiento de datos cada vez mas altas. En particular, el consumo de potencia se ha transformado en uno de los parámetros de diseño más críticos, generando la necesidad de investigar el uso de nuevas arquitecturas y algoritmos para el procesamiento digital de la información. Por otro lado, el análisis y evaluación de nuevas técnicas de procesamiento presenta dificultades dadas las altas velocidades a las que deben operar, resultando frecuentemente ineficiente el uso de la simulación basada en software como método. En este contexto, el uso de electrónica programable ofrece una oportunidad a bajo costo donde no solo se evaluan nuevas técnicas de diseño de alta velocidad sino también se valida su implementación en desarrollos tecnológicos. El presente proyecto tiene como objetivo principal el estudio y desarrollo de nuevas arquitecturas y algoritmos en electrónica programable para el procesamiento de datos a alta velocidad. El método a utilizar será la programación en dispositivos FPGA (Field-Programmable Gate Array) que ofrecen una buena relación costo-beneficio y gran flexibilidad para integrarse con otros dispositivos de comunicaciones. Para la etapas de diseño, simulación y programación se utilizaran herramientas CAD (Computer-Aided Design) orientadas a sistemas electrónicos digitales. El proyecto beneficiara a estudiantes de grado y postgrado de carreras afines a la informática y las telecomunicaciones, contribuyendo al desarrollo de proyectos finales y tesis doctorales. Los resultados del proyecto serán publicados en conferencias y/o revistas nacionales e internacionales y divulgados a través de charlas de difusión y/o encuentros. El proyecto se enmarca dentro de un área de gran importancia para la Provincia de Córdoba, como lo es la informática y las telecomunicaciones, y promete generar conocimiento de gran valor agregado que pueda ser transferido a empresas tecnológicas de la Provincia de Córdoba a través de consultorias o desarrollos de productos.

Diseño y evaluación de alternativas de manejo sustentable para la recuperación y conservación de bosques degradados de la región del Espinal en la provincia de Córdoba. Design and evaluation of sustainable management alternatives for the recovery and conservation of degraded forest in the Espinal Region in Córdoba province.

El avance de la frontera agropecuaria y la urbanización han reducido la superficie boscosa del Espinal en Córdoba a fragmentos que son sumamente valiosos como relictos del ambiente original del Algarrobal y como barreras frente a la acción erosiva del agua y los vientos. Por su estructura, degradada y enmarañada, el productor agropecuario generalmente los visualiza como una molestia ya que le restan superficie apta para el cultivo y resultan poco aprovechables para el pastoreo de los animales. Bajo pautas de manejo adecuadas estos bosquecillos podrían rehabilitarse para el aprovechamiento del ganado y otros usos complementarios. Para que el productor local cuente con herramientas de manejo sustentable de sus recursos naturales es necesario generar información confiable para la zona. En ese contexto, se plantea la siguiente Hipótesis General: Existen alternativas de manejo que, aplicadas sobre los bosques del Espinal, permiten recuperar y conservar la biodiversidad a la vez que mejoran la rentabilidad del productor. El Objetivo General es diseñar y evaluar, en términos ecológicos, tecnológicos y socio-económicos, alternativas de manejo sustentable de bosques degradados del Espinal de la provincia de Córdoba tendientes a su recuperación y conservación. El proyecto se localizará en el bosque fragmentado del Campo Escuela de la FCA-UNC. Se establecerán parcelas con distintos niveles de cobertura arbustiva en las que se medirán el efecto de los arbustos sobre la regeneración de especies arbóreas deseables, la producción y calidad de la pastura, el crecimiento de los árboles y las condiciones edáficas del sistema. Además, la incidencia del ganado vacuno sobre la regeneración de especies arbóreas deseables, la riqueza y abundancia de especies forrajeras deseables y las condiciones edáficas del sistema. Se hará enriquecimiento con plantines de tres especies de Prosopis tanto en el bosque con distintos anchos de fajas como en suelo desmontado, para evaluar su comportamiento. También se probará la diseminación y establecimiento posterior de estas especies por medio de la ingesta del ganado vacuno. Se relevarán especies medicinales, aromáticas, melíferas, tintóreas y ornamentales nativas, y se las valorará económicamente según su uso actual y potencial en esta y otras zonas de la provincia y el país. Se efectuará la caracterización socio-económica y ambiental del área circundante al Campo Escuela y mediante encuestas se determinará el grado de valorización del bosque que tienen los pobladores zonales. Se realizará el análisis económico y financiero del sistema propuesto versus el sistema sin proyecto, considerando bienes producidos y servicios ambientales del bosque y se socializará el proyecto a través de encuestas y reuniones participativas con los productores zonales. Para el análisis de toda la información se usará el software INFOSTAT 2007. Se harán tablas y gráficos de estadística descriptiva para visualizar la distribución de datos. Se usará análisis de correlación, análisis de regresión lineal múltiple, ANAVA y test a posteriori. Se espera generar pautas preliminares de manejo, sencillas y económicas, fácilmente adoptables por los productores de la región, que aseguren la persistencia de estos fragmentos boscosos, relictos de la vegetación original del Espinal.

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.

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.

Aceleración de Algoritmos en Procesadores Multicore, GPGPU y FPGA. Algorithm Acceleration with Multicore, GPGPU and FPGA Processors.

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. Today´s advances in high-performance computing are driven by parallel processing capabilities of available hardware architectures. These architectures enable the acceleration of algorithms when thes ealgorithms are properly parallelized and exploit the specific processing power of the underneath architecture. Most current processors are targeted for general pruposes and integrate several processor cores on a single chip, resulting in what is known as a Symmetric Multiprocessing (SMP) unit. Nowadays even desktop computers make use of multicore processors. Meanwhile, the industry trend is to increase the number of integrated rocessor cores as technology matures. On the other hand, Graphics Processor Units (GPU), originally designed to handle only video processing, have emerged as interesting alternatives to implement algorithm acceleration. Current available GPUs are able to implement from 200 to 400 threads for parallel processing. Scientific computing can be implemented in these hardware thanks to the programability of new GPUs that have been denoted as General Processing Graphics Processor Units (GPGPU).However, GPGPU offer little memory with respect to that available for general-prupose processors; thus, the implementation of algorithms need to be addressed carefully. Finally, Field Programmable Gate Arrays (FPGA) are programmable devices which can implement hardware logic with low latency, high parallelism and deep pipelines. Thes devices can be used to implement specific algorithms that need to run at very high speeds. However, their programmability is harder that software approaches and debugging is typically time-consuming. In this context where several alternatives for speeding up algorithms are available, our work aims at determining the main features of thes architectures and developing the required know-how to accelerate algorithm execution on them. We look at identifying those algorithms that may fit better on a given architecture as well as compleme

Transferencia inmunológica en el binomio madre - cría. Estudio comparativo entre especies.

Introducción: El recién nacido necesita una adecuada asistencia materna para lograr la competencia inmunológica inicial. Objetivos: • Demostrar la conformación del sistema inmune en las crías de diferentes especies en nuestra región en los primeros meses de vida. • Comparar las diferencias biológicas de la estructuración del sistema inmune en diferentes especies. Material y método: Diseño del estudio: de cohorte, observacional, descriptivo, análitico. Especies a estudiar: equinos, caprinos, camélidos sudamericanos y caninos. Se realizará dosaje de inmunoglobulinas en suero y calostro de la madre y suero de la cría mediante una cinética preestablecida. Se medirá la producción de anticuerpos específicos y su transferencia a través de calostro. Las muestras son almacenadas en freezer -80°C hasta su procesamiento en el Laboratorio de Enfermedades Infecciosas y Zoonosis e Inmunología (UCC). La medición de inmunoglobulinas se realizará mediante inmunodifusión radial según la técnica de Mancini. La lectura de los halos se realizará mediante toma de imágenes y medición de los diámetros correspondientes, empleando a través del software Philips CamSuite Capture V. 2.0.15.0. También se comparara el dosaje cuantitativo con la medición cualitativa de las Inmunoglobulinas mediante el Test de coagulación con glutaraldehído. Se evaluara la estructura celular del sistema inmune a través del recuento y fórmula leucocitaria del hemograma. Tamaño muestral y análisis estadístico. El tamaño muestral se calcula según el criterio de Freeman y cols, que propone diez eventos de interés por variable analizada. Se determina 30 animales por especie. Para realizar comparaciones de medias se utilizará prueba t apareada (para 2 muestras dependientes) o prueba t de diferencia de medias (para muestras independientes), según correspondiera. En todos los casos el nivel de significación será menor a 0,05. Se realizará un análisis de los componentes principales, correlacionando de manera lineal las distintas variables en las diferentes especies estudiadas. Resultados esperados y utilidad de los mismos: La originalidad del trabajo tiene dos aspectos fundamentales. El primero se basa en el material utilizado, diseño y comparación entre especies. El segundo, es la importancia productiva que tiene el reconocer un mecanismo fisiológico fundamental para el desarrollo de las crías y establecer la dinámica de la transferencia de la inmunidad con datos regionales de las especies estudiadas.

Fallas por radiación en ci y sistemas tolerantes a fallas en tecnologías nanométricas.

En este proyecto se propone: 1- Formular y analizar los problemas actuales en las técnicas de inyección de fallas para estimar SER (Single Event Response) en los circuitos integrados, aplicandolas luego para evaluar la tolerancia a fallos de diferentes circuitos integrados analógicos/digitales. El objetivo general que se persigue es proporcionar una solución que permita realizar, de forma rápida, eficaz y a bajo costo, la inyección de fallos en los circuitos analógicos y digitales. 2- Estudiar una aproximación no intrusita de detección de fallos en CI, combinando técnicas de hardware y software para detectar errores transitorios en circuitos analógicos y digitales. Este tipo de fallos transitorios tienen una influencia importante en sistemas de microprocesadores, que afectan al flujo de datos y a la etapa de control. Con el fin de proteger el sistema, un módulo de hardware orientado a la aplicación se generará automáticamente, reconfigurándose en el sistema durante el tiempo de ejecución. Cuando se combina esto con técnicas de tolerancia a fallas basadas en programación (Software), esta solución ofrece una protección total del sistema contra fallos transitorios. La campaña de inyección de fallas se planea realizar en un microprocesador MIPS, ejecutando algún programa de evaluación, con ayuda de una plataforma genérica y versátil desarrollada en TIMA (Francia). 3- Comparar los resultados obtenidos del estudio de las técnicas de inyección con los resultados experimentales, a partir de ensayos de radiación (aceleradores de partículas, micro rayos, etc.) al exponer a los circuitos a posibles fuentes de fallas.

Inversió cega de funcions no-lineals mitjançant un procés de Gaussianització

En aquest treball es presenta un nou mètode per a la inversió cega de funcions no-lineals mitjançant la gaussianització del senyal observat. El mètode es basa en restituir el caràcter aproximadament gaussià que presenta un senyal filtrat, gràcies al teorema del límit central,que ha vist canviada la seva distribució per l’efecte d’una funció no-lineal. Inicialment, doncs,aquest mètode és útil per a la inversió de sistemes de Wiener, tot i que en els darrers experiments realitzats s’han obtingut resultats interessants en sistemes purament no-lineals. El treball presenta dues possibles parametritzacions, la primera basada en xarxes neurals i la segona en polinomis. En els dos casos s’aconsegueix invertir la funció desconeguda sense tenir cap coneixement a priori ni del senyal original, ni del filtre, ni de la funció no-lineal que volem invertir.