Verificación de Sistemas Basada en Teoría de Tipos. System verification in type theory

Este proyecto se enmarca en la utlización de métodos formales (más precisamente, en la utilización de teoría de tipos) para garantizar la ausencia de errores en programas. Por un lado se plantea el diseño de nuevos algoritmos de chequeo de tipos. Para ello, se proponen nuevos algoritmos basados en la idea de normalización por evaluación que sean extensibles a otros sistemas de tipos. En el futuro próximo extenderemos resultados que hemos conseguido recientemente [16,17] para obtener: una simplificación de los trabajos realizados para sistemas sin regla eta (acá se estudiarán dos sistemas: a la Martin Löf y a la PTS), la formulación de estos chequeadores para sistemas con variables, generalizar la noción de categoría con familia utilizada para dar semántica a teoría de tipos, obtener una formulación categórica de la noción de normalización por evaluación y finalmente, aplicar estos algoritmos a sistemas con reescrituras. Para los primeros resultados esperados mencionados, nos proponemos como método adaptar las pruebas de [16,17] a los nuevos sistemas. La importancia radica en que permitirán tornar más automatizables (y por ello, más fácilmente utilizables) los asistentes de demostración basados en teoría de tipos. Por otro lado, se utilizará la teoría de tipos para certificar compiladores, intentando llevar adelante la propuesta nunca explorada de [22] de utilizar un enfoque abstracto basado en categorías funtoriales. El método consistirá en certificar el lenguaje "Peal" [29] y luego agregar sucesivamente funcionalidad hasta obtener Forsythe [23]. En este período esperamos poder agregar varias extensiones. La importancia de este proyecto radica en que sólo un compilador certificado garantiza que un programa fuente correcto se compile a un programa objeto correcto. Es por ello, crucial para todo proceso de verificación que se base en verificar código fuente. Finalmente, se abordará la formalización de sistemas con session types. Los mismos han demostrado tener fallas en sus formulaciones [30], por lo que parece conveniente su formalización. Durante la marcha de este proyecto, esperamos tener alguna formalización que dé lugar a un algoritmo de chequeo de tipos y a demostrar las propiedades usuales de los sistemas. La contribución es arrojar un poco de luz sobre estas formulaciones cuyos errores revelan que el tema no ha adquirido aún suficiente madurez o comprensión por parte de la comunidad. This project is about using type theory to garantee program correctness. It follows three different directions: 1) Finding new type-checking algorithms based on normalization by evaluation. First, we would show that recent results like [16,17] extend to other type systems like: Martin-Löf´s type theory without eta rule, PTSs, type systems with variables (in addition to systems in [16,17] which are a la de Bruijn), systems with rewrite rules. This will be done by adjusting the proofs in [16,17] so that they apply to such systems as well. We will also try to obtain a more general definition of categories with families and normalization by evaluation, formulated in categorical terms. We expect this may turn proof-assistants more automatic and useful. 2) Exploring the proposal in [22] to compiler construction for Algol-like languages using functorial categories. According to [22] such approach is suitable for verifying compiler correctness, claim which was never explored. First, the language Peal [29] will be certified in type theory and we will gradually add funtionality to it until a correct compiler for the language Forsythe [23] is obtained. 3) Formilizing systems for session types. Several proposals have shown to be faulty [30]. This means that a formalization of it may contribute to the general understanding of session types.

DESARROLLO DE UN MODELO DE NEGOCIO BASADO EN ESTUDIOS OPTIMIZACIÓN Y CONTROL EN PLANTA PILOTO PARA LA PRODUCCIÓN DE GÍRGOLAS.

La organización de la producción, procesamiento, comercialización, y financiamiento de las operaciones involucradas en la oferta de hongos comestibles se caracterizan por tener Puntos de Equilibrio (PE) diferentes. El PE más alto se constituye en la restricción a salvar al momento de considerar la inversión en un emprendimiento nuevo. En la mayoría de las situaciones estos PE críticos terminan por desalentar la inversión. Se dice que el cultivo de hongos representa una industria biotecnológica importante que se ha ampliado considerablemente en todo el mundo en las últimas décadas; se enfatiza que los hongos sirven como delicias para el consumo humano y como nutracéuticos (alimentos que curan), que los cuerpos fructíferos de los hongos contienen sustancias de varios reinos muy valoradas por sus propiedades medicinales, sabores y perfumes. Sin embargo, el potencial económico de los hongos está lejos de ser aprovechado. El problema hasta ahora es que solo algunas especies pueden ser inducidas a fructificar en cultivos, y si bien el cultivo de las setas es una tecnología adaptable a diferentes condiciones que van desde una escala comercial de importancia hasta una forma rústica de traspatio en comunidades rurales, con substratos agroindustriales o bien con solo material vegetal, cada uno de estos casos presenta dificultades cuando son traspasados a nuestra región; o bien no son rentables porque la escala de producción manejable está mas allá de las capacidades de pequeños y medianos productores o bien porque las inversiones iniciales exceden las posibilidades del mercado. Si analizamos las causas que ha llevado al fracaso de emprendimientos productivos de hongos encontraremos las mismas que se esgrimen al comienzo. Lo que puede hacer que sea un cultivo sustentable es la búsqueda de nuevas alternativas tecnológicas y de trabajo. Este Proyecto de Investigación Orientado (PIO) plantea como objetivo general estudiar un Modelo de Negocio que sirva para salvar las restricciones impuestas por la existencias de PE mínimos en producción, comercialización, financiamiento, investigación y desarrollo para la diversificación, y entrepreneurship optimizando la disponibilidad de recursos existentes. Para alcanzar este cometido el PIO propuesto busca articular en red las áreas de Economía de los Negocios y las Organizaciones (ENO), la Ingeniería Química (IQ), la Ingeniería en Telecomunicaciones (IT), y la Microbiología (Mic). Cada una de ellas se concentraría en la búsqueda de alternativas técnicas para bajar los PE implicados en este tipo de negocios. Retomando el objetivo general de este PIO podemos afirmar que el objetivo particular de este PIO es elaborar y divulgar un modelo de negocio para la producción y comercialización de hongos comestibles a pequeña escala y para la coordinación de pequeños productores, a partir de la optimización de los diversos procesos y actividades económicas internas de producción, de manera tal que se minimice el punto de equilibrio con el fin que pequeños inversores puedan iniciarse en la producción de en forma rentable y sustentable generando mayor riqueza para la región incrementando el ingreso y creando oportunidades de empleo.

SINGULARIDADES TERRITORIALES: TRAMAS PRODUCTIVAS, CALIDAD DE VIDA Y VULNERABILIDAD. LÍNEAS DE ACCIÓN PARA LA REDUCCIÓN DE LAS DISPARIDADES DEPARTAMENTALES EN LA PROVINCIA DE CÓRDOBA

La estructura económica de la provincia de Córdoba, como resultado de un conjunto de numerosas causas, genera en su interior muy marcadas disparidades. Según datos de la Dirección de General de Estadísticas y Censos dependiente del Gobierno Provincial, el valor de los bienes y servicios finales presentados en la serie Producto Bruto Regional, en miles de pesos corrientes, a precios de productor (PBG), alcanzó en 2008 en el Departamento Capital un valor 4,4 veces superior al del segundo en importancia, Río Cuarto, y 517 veces mayor que el de Minas. Estas disparidades se registran, aunque suavizadas por la desigual distribución de la población, en el valor de la producción por habitante de cada departamento, registrada en la variable Producto Bruto Regional Per Cápita. También en el año 2008, el valor del departamento Juarez Celman fue de casi 5 veces el observado en Minas. Evaluados los resultados productivos por cualquiera de las dos variables, la trayectoria observada desde 2001 no presenta señales de reducción de esas disparidades. La existencia de abundante evidencia acerca de la estrecha relación entre estas desigualdades productivas y otras desigualdades sociales, como la distribución del ingreso, la pobreza y otros atributos que definen el bienestar de los habitantes de los diferentes territorios, pone en valor la relevancia de la reducción de esas brechas. La ciencia aplicada al análisis de fenómenos territoriales, especialmente la economía y la geografía por su relevancia en esta propuesta, ha tenido un formidable desarrollo en los últimos tiempos, permitiendo la comprensión de la dinámica la dinámica territorial y proveyendo de líneas de acción que permitar impactar, corrigiendo o morigerando, las trayectorias no deseables. En tal sentido, esta propuesta de trabajo tiene como objetivo general contribuir a la reducción de las disparidades en el desarrollo interdepartamental cordobés, medidos en términos del PBG per cápita, a partir del análisis de las variables relevantes que expliquen este comportamiento y el consecuente diseño de un conjunto de líneas de acción, de naturaleza pùblica y privada. La comprensión de la especificidad del desarrollo territorial cordobés se abordará desde aproximaciones teóricas que destacan las características de la diversidad estructural, de las relaciones económicas y sociales y de la gestión del conocimiento y la innovación. La conjunción de estos atributos perfilan sistemas productivos con densificaciones territoriales diversas que, aún sometidos a las mismas condiciones macroeconómicas, permiten identificar algunos razgos idiosincrásicos, haciendo relevante el diseño de politicas territoriales que articulen eficicazmente los determinantes globales y locales de las trayectorias territoriales.

AMBIENTE Y CONFLICTOS TERRITORIALES: ¿OBSTÁCULOS U OPORTUNIDADES PARA EL DESARROLLO LOCAL?

La ciudad es un territorio de producción social del espacio derivado del esfuerzo colectivo, que requiere la presencia del Estado en la distribución equitativa de los costos y beneficios del proceso urbanizador entre los agentes públicos y privados. En este contexto, las políticas públicas son herramientas que posibilitan el establecimiento de directrices que orientan el proceso de desarrollo del territorio. La definición de las mismas requiere, entre otros aspectos, la clara identificación de las prácticas de los agentes en el territorio en donde se inscriben proyectos sociales y en donde los intereses contrapuestos de los agentes generan negociaciones y conflictos. Esto implica que uno de los insumos claves para la definición de políticas y estrategias de gestión es la identificación y análisis de los conflictos que en el territorio se hacen evidentes o los que potencialmente pudieran existir. En estos conflictos están en disputa los sistemas de vida locales y el control de los territorios. El Ordenamiento Territorial es un instrumento de política pública, destinado a orientar el proceso de producción social del espacio en este sentido. Sin embargo, la ordenación pensada desde los enfoques neoclásicos apunta principalmente a cuantificar. Hoy esa mirada no es suficiente para explicar los contextos complejos y es necesario profundizar en las cualidades del territorio y debe ser complementada con la inclusión de las prácticas de los agentes y los conflictos asociados, así como la definición de los componentes que le dan origen que sustenten espacios de decisión y negociación dinámicos. En este marco, este proyecto se plantea como hipótesis que la incorporación de los conflictos territoriales como un criterio más a tener en cuenta en las estrategias de gestión territorial es una oportunidad para potenciar el desarrollo local y como objetivo de general evaluar la utilización de los conflictos territoriales como criterios para la gestión sustentable del territorio Si bien el Proyecto se desarrollará en el arco sur del ejido municipal de la ciudad de Córdoba, se tendrán presentes las implicancias de las prácticas y/o intereses contrapuestos de la Región Metropolitana Córdoba que podrían afectar el sector de análisis particular. Para la descripción de la situación socio-ambiental y sus tendencias se elaborará cartografía digital y se simularán escenarios mediante un sistema de información geográfica (ArcGis 10.0). La recolección de información primaria para la identificación de las prácticas se hará mediante entrevistas semiestructuradas y en profundidad y grupos focales. Se determinarán las relaciones existentes entre las prácticas de los agentes, la condición ambiental y los conflictos. Se plantearán escenarios posibles considerando las tendencias actuales y diferentes opciones de actuación. Desde el punto de vista del desarrollo territorial local, se propone aportar un estudio de caso que integre datos del medio físico, de la práctica de los agentes y de los potenciales conflictos entre ellos. Esto posibilitará obtener resultados, que plasmados en propuestas de uso del territorio dinámica, facilitarán el equilibrio de fuerzas entre agentes en conflicto.

Sistemas, herramientas y procesos de gestión económica, social y ambientalmente responsables en ámbitos locales y regionales.

La identificación, cuantificación y valoración de los factores críticos exógenos y endógenos del desarrollo local y regional sostenible, realizada en los años anteriores, ha permitido elaborar las bases conceptuales del problema, medir sus efectos, las causalidades y recomendaciones para la acción Básicamente, todas ellas se orientan a la necesidad de establecer organizaciones, modelos de gestión, sistemas de información, herramientas y procedimientos que promuevan la integración social, la adopción de valores y prácticas institucionales en todos los ámbitos, adecuadas a la minimización de la fuga de recursos –económicos, financieros y humanos- locales y la maximización del valor agregado y riqueza local generada, capitalizando localmente los recursos financieros, humanos, ambientales, sociales y de conocimiento. Esta investigación aplicada, prevé la elaboración de 1. Normas de reportes de sostenibilidad –para el sector público, privado y social-. 2. El análisis del sistema financiero –bancario y no bancario- y mercado de capitales desde una perspectiva local y regional. 3. Sistemas locales y regionales de información, planeación, ejecución y controles de gestiones económicas, social y ambientalmente responsables y sostenibles. 4. Modelos y prácticas en la gestión de vivienda y hábitat. A partir de ellas se avanzará en el diseño e implementación de Programas de Posgrado y Capacitación que permitan transferir las tecnologías desarrolladas a administradores públicos, empresas privadas y entidades sociales que son los protagonistas del proceso. Para ello, el proyecto pretende trabajar desde la Facultad de Ciencias Económicas y con otras unidades académicas de la UCC, para lo cual cuenta con un equipo multidisciplinario inserto en los procesos de responsabilidad socio-económica de diversas instituciones y relaciones con entidades sociales, empresarias y estatales. Además prevé el trabajo conjunto con entidades capaces de apoyar –logística y financieramente- los objetivos de la investigación –CEVE, Consejo Profesional de Ciencias Económicas de la Provincia de Córdoba, IARSE, Ministerios provinciales, Gobiernos locales y regionales, Red Ciudadana Nuestra Córdoba, ADEC, FEMUCOR, IPES, etc.-, con los que se ha avanzado y procurará firmar acuerdos de colaboración.

Optimización de sistemas de tratamiento de aguas residuales existentes en pequeñas urbanizaciones combinando tecnologías flexibles que permitan la reutilización del agua tratada.

En el Valle de Punilla, provincia de Córdoba, el aumento de la densidad demográfica, el desarrollo de la industria y el impulso de la actividad turística produjo un incremento en la demanda de agua potable y en la generación de aguas residuales. Un alto porcentaje de viviendas y pequeñas urbanizaciones no están conectadas a la red cloacal y utilizan sistemas in-situ para el tratamiento de sus efluentes líquidos como cámara séptica, y para su disposición final pozos absorbentes o sangrías. Debido a los bajos rendimientos documentados de este sistema de tratamiento, las aguas ineficazmente tratadas lixivian arrastrando sustancias tóxicas que contaminarán las napas freáticas. Además y fundamentalmente, imposibilita su posterior reutilización para el llenado de acuíferos superficiales, irrigación agrícola y ornamental, procesos industriales, y otros usos. A fin de disminuir el impacto ambiental se plantean innovadores prototipos modulares a escala real para ser anexados con los sistemas de saneamiento existentes, objetivo del presente trabajo. Como tratamiento secundario se diseñarán, construirán y pondrán en operación dos módulos biológicos, uno de naturaleza aeróbica -biodiscos- y otro de naturaleza anaeróbica -decantador de flujo ascendente- ambas tecnologías no tradicionales que pueden ser acopladas de manera individual o conjunta. Experiencias previas del equipo, muestran que la eficiencia del módulo aeróbico resulta superior al 86% calculada a partir de los parámetros sanitarios. Se pretende mejorar aún más, la eficacia de la etapa biológica razón por la cual, se ensamblará el módulo anaeróbico. Para lograr reutilizar las aguas tratadas se deberán someter a un proceso de cloración previa al vertido, lo cual no garantiza que su calidad sea la adecuada según la legislación vigente. Por tal motivo se investigará el uso alternativo de un ozonizador como tratamiento terciario, metodología seleccionada por su efectividad e inocuidad para la desinfección bacteriana e inactivación viral. El modelo de integración de tecnologías existentes con tecnologías biológicas no tradicionales es una opción ecológica y económicamente viable ya que mejora la eficiencia del tratamiento, permite su reutilización y resuelve en un futuro próximo una de las problemáticas ambientales que más preocupan a la sociedad y que más afectan a las comunidades vulnerables, la contaminación y la escasez del recurso hídrico.

Uso responsable de antimicrobianos: control de la resistencia bacteriana en los hatos caprinos de la provincia de Córdoba, a través de un sistema de vigilancia epidemiológico.

La provincia de Córdoba contempla dentro de sus prioridades productivas agropecuarias al sector caprino, para favorecer el desarrollo económico y social de la región. El control y tratamiento de las diferentes enfermedades es de vital importancia tanto para maximizar la producción del hato como para cumplir con las exigencias sanitarias. Además de los antiparasitarios, los antimicrobianos constituyen el grupo de fármacos que mayormente se suelen emplear en los sistemas productivos animales, inclusive en el caprino. El uso de estos medicamentos, conlleva inevitablemente a la presentación de resistencia bacteriana, y es agravado con su utilización inadecuada o desmedida. El fenómeno de resistencia es cada vez más frecuente en las poblaciones animales y humanas, razón por la que motiva a la Organización Mundial de la Salud y a la Organización Mundial de Sanidad Animal a que sea una prioridad en sus políticas de promoción de salud. El seguimiento de este efecto a nivel regional, permitirá establecer medidas de control adecuadas y optimización del empleo de antimicrobianos. Proponemos establecer un sistema de vigilancia de resistencia bacteriana en cabras lecheras sanas y con infección intramamaria, de la región norte cordobesa. En la población sana se procederá al aislamiento de E. coli intestinal porque es un microorganismo indicador de riesgo, y se considera un reservorio de genes de resistencia. Por otra parte, se realizarán aislamientos de estafilococos de la leche de cabras con y sin presentación aparente de mastitis. Se utilizarán pruebas cuantitativas de susceptibilidad a diferentes antimicrobianos, obteniéndose valores de concentraciones inhibitorias mínimas (CIM). La vigilancia y el seguimiento de la resistencia a los antimicrobianos a través del valor de la CIM regional, son necesarios para observar la evolución de la resistencia, aportar datos para la realización de análisis de riesgos, proporcionar una base para formular recomendaciones sobre políticas de sanidad humana y animal, y aportar información para elaborar normas y recomendaciones de uso prudente.

Resistencia a los antihelminticos. La necesidad de desarrollar tecnologías innovativas y sustentables para limitar su expansión y mantener la productividad, la salud y el bienestar animal.

Durante las últimas cuatro décadas la disponibilidad de drogas económicas y muy eficientes llevaron a un uso exclusivo de alternativas químicas para el control de los parásitos en los animales domésticos. La incuestionable ventajosa relación costo/beneficio en el uso de drogas antiparasitarias en los animales domésticos ha resultado en el uso masivo de las mismas. En los rumiantes, los antihelmínticos por ejemplo, se constituyeron en insumos de producción indispensables para mantener altos niveles de eficiencia en la productividad animal. Sin embargo, actualmente la presencia y desarrollo en aumento de poblaciones parasitarias resistentes a estas drogas está comprometiendo seriamente la sustentabilidad de estas alternativas de control. La resistencia a los antiparasitarios es ahora reconocida globalmente como una de las mayores amenazas para la salud y productividad de los animales domésticos basados en sistemas pastoriles. Debido a que actualmente el control químico permanece irremplazable en términos de eficacia y practicidad, el presente proyecto montará un sistema de investigación diagnóstica temprana de estos fenómenos de resistencia para limitar el impacto negativo sobre la productividad, salud y bienestar animal y para mejorar la eficiencia de los antiparasitarios actualmente disponibles. Así mismo, nosotros esperamos cambiar las actuales prácticas de tratamientos masivos por tratamientos selectivos que reduzcan (al menos en un 50 %) el uso de drogas antiparasitarias manteniendo la eficacia de las mismas y la sustentabilidad del control sin afectar la performance animal. La mayoría de las actividades del proyecto se focalizan en los herbívoros pero en forma adicional el mismo contempla actividades eventuales de investigación diagnóstica y determinaciones de susceptibilidad o resistencia a los antihelmínticos en pequeños animales.

Optimización de sistemas de tratamiento de aguas residuales existentes en pequeñas urbanizaciones combinando tecnologías flexibles que permitan la reutilización del agua tratada.

En el Valle de Punilla, provincia de Córdoba, el aumento de la densidad demográfica, el desarrollo de la industria y el impulso de la actividad turística produjo un incremento en la demanda de agua potable y en la generación de aguas residuales. Un alto porcentaje de viviendas y pequeñas urbanizaciones no están conectadas a la red cloacal y utilizan sistemas in-situ para el tratamiento de sus efluentes líquidos como cámara séptica, y para su disposición final pozos absorbentes o sangrías. Debido a los bajos rendimientos documentados de este sistema de tratamiento, las aguas ineficazmente tratadas lixivian arrastrando sustancias tóxicas que contaminarán las napas freáticas. Además y fundamentalmente, imposibilita su posterior reutilización para el llenado de acuíferos superficiales, irrigación agrícola y ornamental, procesos industriales, y otros usos. A fin de disminuir el impacto ambiental se plantean innovadores prototipos modulares a escala real para ser anexados con los sistemas de saneamiento existentes, objetivo del presente trabajo. Como tratamiento secundario se diseñarán, construirán y pondrán en operación dos módulos biológicos, uno de naturaleza aeróbica -biodiscos- y otro de naturaleza anaeróbica -decantador de flujo ascendente- ambas tecnologías no tradicionales que pueden ser acopladas de manera individual o conjunta. Experiencias previas del equipo, muestran que la eficiencia del módulo aeróbico resulta superior al 86% calculada a partir de los parámetros sanitarios. Se pretende mejorar aún más, la eficacia de la etapa biológica razón por la cual, se ensamblará el módulo anaeróbico. Para lograr reutilizar las aguas tratadas se deberán someter a un proceso de cloración previa al vertido, lo cual no garantiza que su calidad sea la adecuada según la legislación vigente. Por tal motivo se investigará el uso alternativo de un ozonizador como tratamiento terciario, metodología seleccionada por su efectividad e inocuidad para la desinfección bacteriana e inactivación viral. El modelo de integración de tecnologías existentes con tecnologías biológicas no tradicionales es una opción ecológica y económicamente viable ya que mejora la eficiencia del tratamiento, permite su reutilización y resuelve en un futuro próximo una de las problemáticas ambientales que más preocupan a la sociedad y que más afectan a las comunidades vulnerables, la contaminación y la escasez del recurso hídrico.

Plataforma informática aplicada como complemento a la enseñanza tradicional de la educación primaria y secundaria de la provincia de Córdoba. Integración de las ntics en los procesos de enseñanza-aprendizaje en entornos de sistemas móviles.

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 y de Responsabilidad Social Universitaria, las dificultades que presentaban los alumnos de nivel 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 fundamentalmente persiste en familias que están en la línea de pobreza o por debajo de ella. Esta problemática impide que se logre una interacción productiva entre los docentes, desde las propuestas de actividades curriculares, y los alumnos desde sus actividades extra-áulicas (deberes o tareas). El resultado es la deserción y la repitencia de los alumnos. El presente proyecto, como plataforma informática-educativa, inscripto en una realidad social compleja y de importancia vital para el desarrollo educativo de alumnos que pueden quedar excluidos socialmente. El desafío de este proyecto, multidisciplinario, en el que confluyen la Informática, el diseño de software y la pedagogía, es continuar el desarrollo, de complejidad creciente, de un espacio virtual en el que los alumnos de nivel primario y nivel medio puedan encontrar en él trayectorias formativas extra-aúlicas mediadas por el conocimiento curricular utilizando las posibilidades de las NTICs. En una continuidad con proyectos anteriores, las aplicaciones desarrolladas se implementarán para las plataformas de Sistemas Móviles.

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.

Aplicación del análisis y prevención de falla al desarrollo regional de componentes mecánicos.

En el anterior período de dos años, se ha estudiado la aplicación del método científico al análisis de falla de componentes, como una etapa de formación y capacitación en el método utilizado para la investigación de roturas o fallas de piezas o sistemas mecánicos. Ante la tendencia al desarrollo local de componentes, reemplazo de importaciones, se evidencia que no siempre ésta acción se realiza verificando todos los aspectos del elemento a desarrollar. Tanto el diseño, la materia prima, el método de producción, deben ser analizados detalladamente por su influencia en el comportamiento de cada elemento. Particularmente, en la pequeña y mediana empresa, que no dispone de respaldo técnico suficiente para cubrir todos los aspectos de un desarrollo, existe la necesidad de recurrir a proveedores externos por asesoramiento. La experiencia acumulada en el Análisis de Falla, ofrece un enfoque crítico ante los diferentes factores intervinientes en un componente que permiten predecir, con buena aproximación, los puntos débiles que posee tanto un diseño como un método de producción y de esta forma, aportar al desarrollo exitoso del producto.

Procesos de cambio y aprendizaje organizacional desde sistemas complejos: aspectos procesuales de la cognición organizacional.

En continuidad con proyectos anteriores, la investigación persigue aportaciones a la mirada sistémica e interdisciplinar de los procesos de fortalecimiento de las capacidades de aprendizaje organizacional en organizaciones locales. Al momento, se ha avanzado en el diseño de estrategias de reconstrucción de procesos cognitivos organizacionales críticos, y en la postulación de un modelo de observación de la cognición organizacional con énfasis en la caracterización de los aspectos estructurales. Este proyecto en particular pone en foco los aspectos procesuales de la cognición organizacional, que se presentan como significativos en torno a los fenómenos de aprendizaje observados en los procesos de cambio organizacional en estudio. En ese sentido, el proyecto tiene por objetivo analizar los aspectos procesuales de los fenómenos de cambio y aprendizaje organizacional, planteando la operacionalización de dichos cambios en torno a una categoría de análisis de micro nivel que hemos denominado proceso de quiebre-tratamiento. Abrevamos en antecedentes de la investigación – acción y en fundamentos epistemológicos del enfoque filosófico político de los sistemas complejos, del pragmatismo epistemológico, y de la perspectiva axiológica de la ciencia. El planteo metodológico de tipo cualitativo, apela a recursos de la ciencia - acción, en los que mediante entrevistas individuales, grupales y mixtas, se exploran y confrontan aspectos significativos de los fenómenos de cambio, incluyendo en ello a referentes de investigación, de asistencia técnica y a protagonistas internos de los procesos de transformación institucional de las organizaciones en estudio.

Biologia de Sistemas Aplicada à Insuficiência Cardíaca com Fração de Ejeção Normal

A insuficiência cardíaca com fração de ejeção normal (ICFEN) é, atualmente, o fenótipo clínico mais prevalente de insuficiência cardíaca e os tratamentos disponíveis não apresentam redução na mortalidade. Avanços na disciplina de ciências ômicas e em técnicas de elevado processamento de dados empregados na biologia molecular possibilitaram o desenvolvimento de uma abordagem integrativa da ICFEN baseada na biologia de sistemas. O objetivo deste trabalho foi apresentar um modelo da ICFEN baseado na biologia de sistemas utilizando as abordagens bottom-up e top-down. Realizou-se uma pesquisa na literatura de estudos publicados entre 1991-2013 referentes à fisiopatologia da ICFEN, seus biomarcadores e sobre a biologia de sistemas com o desenvolvimento de um modelo conceitual utilizando as abordagens bottom-up e top-down da biologia de sistemas. O emprego da abordagem de biologia de sistemas para ICFEN, a qual é uma síndrome clínica complexa, pode ser útil para melhor entender sua fisiopatologia e descobrir novos alvos terapêuticos.

Estacas de amoreira tratadas com hormônios vegetais em dois sistemas de plantio e referentes coberturas do estufim

Four experiments on root formation on cuttings of mulberry trees of the variety Catania 1 were carried out. In each case the hormones Dieradix "M D", Dieradix "D", indol 3-yl-acetic acid, and I-naphthyl acetic acid were used, besides the control, without hormone. In all cases "normal" and "upside-down" planting were tried. The percentage x of cuttings with roots, after 54 days, were computed and transformed by the formula y = arc sin √P/100 for use in statistical analysis. The combined analysis of variance of the 4 trials led to the following results: "Upside-down" planting showed significantly higher percentage of rooting; Indol 3-yl-acetic acid was significantly better than control or other hormones. The percentages of rooted cuttings were as follows: Normal planting Upside-dow planting Indol 3-yl acetic acid 43.5% 90.9% I-naphthyl acetic acid 1.9% 69.3% Control 4.7% 22.2% Dieradix «M D» 2.4% 63.8% Dieradix «D» 1.3% 36.0%