980 resultados para Testing aspect-oriented programs
Resumo:
Este proyecto cuenta con el financiamiento del sistema INCO de la Unión Europea e incluye 5 contrapartes europeas, y Bolivia y Perú como contrapartes americanos. Consta de cuatro paquetes: producto, mercado, difusión y coordinación. En el primer paquete se desarrollan fundamentalmente los aspectos relacionados con la carne fresca y los productos cárnicos tanto tradicionales como nuevos a desarrollar. Se realizan faenas protocolizadas y espontáneas comparando animales con distintos tratamientos nutricionales de edades entre 19-21 meses. Se realizan análisis de calidad de carne y paneles de degustación. Los productos tradicionales como el charqui se evalúan en su forma tradicional y se implementan sistemas mejorados como desecadores solares. Los chacinados no son tradicionales en el altiplano por eso se realizan en La Pampa con la idea de transferir la tecnología desarrollada. La evaluación de calidad de la carne incluye técnicas de evaluación del animal en pié como la conservación morfológica y la ecografía para predecir calidad de res en el animal vivo. Estas observaciones se corroboran a la faena donde se realiza toda la batería de evaluaciones de calidad de la res.
Resumo:
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.
Resumo:
Identificación: Programa de capacitación y de ejecución de acciones para favorecer el desarrollo del potencial exportador de las empresas pequeñas y medianas de Río Cuarto y región. Caracterización del problema objeto de estudio: La zona de influencia de la ciudad de Río Cuarto posee, por su ubicación y características naturales, un potencial exportador no explotado, considerando la actual dinámica de los mercados internacionales. La ciudad está en el cruce de rutas nacionales que la conecta a las principales ciudades del MERCOSUR, con salida al Pacífico y al Atlántico y conexión rápida a rutas que van hacia la frontera norte del país. A modo de presentación de situaciones favorables, en el caso de Bolivia es para aprovechar el prestigio de los productos argentinos en ese mercado y las ventajas que las empresas chicas y medianas pueden disponer al no existir barreras idiomáticas, razonables requisitos de calidad y una gran necesidad de productos elaborados que pueden ser ofertados por PYMES regionales.En el caso de Chile importan tres aspectos: primero, la cercanía geográfica a la zona de Río Cuarto, ya que se accede en forma directa por vía terrestre, con una distancia de sólo 900 Km. respecto a la zona metropolitana de ese país; segundo, es el mercado regional con mayores niveles de exigencia para acceder al mismo, constituyendo por lo tanto una buena plataforma de aprendizaje para lograr el acceso luego al mundo desarrollado; tercero, al tener Chile firmado acuerdos de libre comercio con mercados que suman 3500 millones de habitantes, con acceso directo al cinturón del Pacífico, que es la zona más dinámica del comercio mundial actual, ese país necesita complementarse con sus vecinos para poder aprovechar las demandas potenciales de esos mercados.Con el proyecto se pretende contribuir a acentuar la internacionalización económica de la ciudad de Río Cuarto y su región circundante. Hipótesis:Se puede generar un polo exportador pyme a partir de la actividad sistemática de un programa de difusión de conocimientos sobre el comercio exterior, lo que contribuirá a profundizar la sustentabilidad económica de Río Cuarto y su región circundante.Objetivos: -a) Crear, desde el programa, una oferta de capacitación y asesoramiento que satisfaga los interrogantes y necesidades de las empresas pequeñas y medianas que busquen iniciarse en la actividad de exportación. b) Promover la formación de consorcios y formas asociativas, sobre todo de pequeñas y medianas empresas, para expandir el comercio exterior regional. c) Difundir las posibilidades de inserción internacional de las pymes regionales y sus requerimientos en los aspectos productivos y de comercialización. Estos últimos suelen constituir puntos críticos en el desarrollo exportador de las firmas. d) Analizar las posibilidades competitivas en el comercio internacional, en especial en el área del MERCOSUR, de cluster Materiales y Métodos a Utilizar: - Elaboración de un Monitor de Expectativas Empresariales con el objetivo de cuantificar la actual y la potencial Oferta Exportadora Regional. - Desarrollo de Análisis Sectoriales para determinar las posibilidades de incrementar las ventas al exterior de productos regionales. - Creación de Informes Especiales sobre Productos Regionales, los cuales le permitirán a Pequeños y Medianos Productores conocer en detalle, las oportunidades y exigencias para ingresar a los mercados externos, especialmente al área del MERCOSUR. - Organización de Viajes y Rondas de Negocios con el fin de fortalecer los lazos comerciales y culturales del empresariado local y extranjero. Resultados Esperados: - Profundizar conocimientos sobre las posibilidades que poseen los productos regionales de ingresar a los mercados externos. - Lograr una difusión generalizada de conocimientos sobre el Comercio Exterior, brindándole a las Pymes las herramientas básicas y fundamentales para que puedan desarrollar su potencial exportador.
Resumo:
La motilidad celular orientada (o mecanismo quimiotáctico de orientación), es una respuesta celular a señales moleculares de su micro-ambiente necesaria para modular la distribución celular en sitios específicos y con elevada precisión. Nuestra hipótesis establece que la migración orientada de células neurales es regulada por gradientes de concentración de moléculas solubles liberadas por sus regiones "blanco". Este proyecto es continuación del estudio de la quimiotaxis de células de cresta neural (CCN) y de neuronas ventriculares (NV) inducida respectivamente por factores difusibles de la región del futuro ganglio ciliar y del bulbo olfatorio.En el sistema de CCN, hemos caracterizado como moléculas quimiotácticas a la quimioquina Stromal Cell-Derived Factor-1, y los factores tróficos Stem Cell Factor y Neurotrophic Factor-3, habiendo determinado la expresión de sus respectivos receptores CXCR4, TrkC y p75 en la población de CCN mesencefálicas de ambrión de pollo. Actualmente, estamos desarrollando experimentos con el Ciliary Neurotrophic Factor y factores de la familia Bone Morphogenetic Proteins. Además de la estrategia experimental in vitro, hemos determinado en el embrión entero la expresión de las moléculas quimioatractantes mediante hibridación in situ del ARNm y la presencia de las respectivas proteínas mediante inmunocitoquímica. En el sistema de NV, estamos analizando la motilidad celular en relación con moléculas liberadas por el bulbo olfatorio. En los dos sistemas biológicos, estamos analizando elementos de la transducción de señales y cambios en el citoesqueleto, en ambos casos asociados con la respuesta temprana en la orientación quimiotáctica de la célula. Asimismo, en ambos sistemas biológicos, evaluamos los efectos del etanol sobre la migración y distribución celular, en condiciones equivalentes a las que inducen el Sindrome Fetal Alcohólico en mamíferos.En base a resultados ya obtenidos en experimentos in vitro, en la presente etapa intentaremos su caracterización in vivo mediante el bloqueo funcional de las moléculas quimiotácticas (y/o sus receptores) sobre embriones enteros, mediante silenciamiento con ARNsi (o morfolinos específicos) mediante electroporación, y posterior determinación de la distribución celular mediante marcadores específicos anti-CCN (o lipofílicos de tipo DiI).Los resultados permitirán mejorar el conocimiento del mecanismo de la migración celular orientada y aportar al diseño de recursos diagnósticos, terapéuticos o de control de anomalías embrionarias o patologías tumorales por mala distribución celular como las Neurocristopatías, o inducidas por tóxicos exógenos como el Sindrome Fetal Alcohólico.
Resumo:
Abordar la infancia desde el enfoque de derechos (ED) implica una lectura de los derechos de los cuales los niños, niñas y adolescentes (NNA) son titulares y de las acciones estatales que se implementan para viabilizar el ejercicio concreto de ellos. Esta perspectiva exige comprender los contenidos de las políticas púb,el grado de participación que se les asigna y los sentidos que ellas toman en términos de progresividad de los derechos. Los cambios de concepción de la infancia desde la Convención Internacional de los Derechos del Niño (CIDN) y los cambios legislativos interpelan al Estado y la sociedad a modificar la visión hegemónica. Nuestra hipótesis gira alrededor de las siguientes considerac.: se han producido algunas modificaciones en las políticas y acciones estatales, aún no se dan las transformaciones necesarias de las lógicas institucionales y de los operadores que estimulen la participación de NNA en el ámbito escolar. Esto se visualiza en la ausencia de análisis cuali de los contenidos de las acc. y la falta de ftes estadísticas específicas, que muestren la orientac.de los contenidos en los principios de la protecc.integral. Estos presupuestos plantean interrogantes que delimitan el problema de investigación: ¿cómo se construye y reconstruye el ejercicio de la ciudadanía a través de la participación de los NNA, en su paso por la escuela, y cuáles son las lógicas institucionales que habilitan u obstaculizan ese ejercicio? Y ¿cuáles son los recursos institucionales que permitan que los programas y acciones redunden en el ejercicio efectivo de los derechos?.Obj.gral: Describir, analizar e interpretar la progresividad en el ejercicio de los derechos de participación e informacióin que tienen los adolescentes en escuelas secundarias de la cd de Cba, durante 2005 / 2010, para promover espacios públicos de construcción de ciudadanía. Se analizarán tres escuelas de Córdoba, escuela pública provincial, púb. nacional y privada. Obj. Espec.: Analizar las prácticas participativas formales e informales en las escuelas seleccionadas.- Aplicar indicadores cuanti y cualitativos del “Sistema de Indicadores para los derechos de la Infancia” Describir y analizar los recursos materiales y humanos. Elaborar y proponer procedim. para la confec. de registros de datos estadísticos - Elaborar y proponer lineamientos para la elaborac.e implementac.de acciones. Diseñar herramientas de difusión sobre los ds de participación e información.Esta investigac. es de carácter descriptivo e interpretativo, analizará diferentes ftes de informac.con técnicas cuanti y cualitativas, durante período la promulgación de la Ley 26061/05 y la adhesión prov. 9396/07. Se tomarán del Sistema de Indicadores, el derecho a la educación, el tema transversal “Acceso a la información y participación”, y las categorías de análisis “Recepción del Derecho y Capacidades estatales”. Se trabajaran indicadores cuanti y señales de progreso (cualitativos): estructurales, proceso y resultados. Serán analizados los Programas implementados durante el período de estudio. Estrategias cuali observac. participante, entrevistas, grupos focales, talleres de sensibilización, etc .Otras ftes de info: doc. institucionales, registros, evaluac, contenidos de programas y campañas y de difusión, prensa escrita, legislaciones, etc. La info se analizará a través Programa Atlas Ti, y del análisis estadístico. Algunos resultados esperados: Evaluac.y ajuste del Sistema de indicadores, la sensibilizac. desde el EF de autorid. escol. para la formulac. de planes y programas para el monitoreo adecuado de los mismos y para la rendic. de ctas de su gestión. Estimular la participac. de NNA en la escuela. Realizac.de documental. Brindar herramientas al Edo para superv de la aplicación progresiva del ejercicio de los derechos de participación e información de NNA Promov la continua evaluac. de los programas y acc.desde el ED para estimular el reconoc. de la nec.de ajuste de la política. The issue of children from the rights focus implies a reading of the rights in which children and adolescents are the holders and the state actions that are implemented to enable the exercise of them. This perspective requires understanding the contents of the public policies, the participation level that is assigned, and the senses that they take in terms of rights progressivity of. The conception changes about children since the International Convention on the Rights of the Child and legislative changes challenge to the State and society to modify hegemony vision. Our hypothesis revolves around the following considerations: there have been some public policies and state actions changes, but they not turn out, yet, transformations in logical institutional and actors whose are encourages children participation in school. This could be reflects in the absence of qualitative analysis in the actions contents and the lack of sources specific statistics, that will be showing the control of the principal contents of integral protection. These, raise the questions that delimit our problem research: how is built citizenship exercise through children and adolescent’s participation in the school, and what are the institutional logical that empowers or turns difficult that exercise? And What are the institutional resources that make possible the effective exercise of the rights, through different programs and actions?. General Objective: To describe, analyze and interpret exercise progressivity participation and information rights that have the adolescents in secondary schools in Córdoba City during 2005 / 2010, in order to promote public spaces for the construction of citizenship. It will analyze three schools in Cordoba, provincial public school, national public school and private school. . Obj. Specifics: To analyze the formal and informal participative practices in the schools selected. - To apply quantitative and qualitative indicators of the “Indicators System for Infa
Resumo:
As digital imaging processing techniques become increasingly used in a broad range of consumer applications, the critical need to evaluate algorithm performance has become recognised by developers as an area of vital importance. With digital image processing algorithms now playing a greater role in security and protection applications, it is of crucial importance that we are able to empirically study their performance. Apart from the field of biometrics little emphasis has been put on algorithm performance evaluation until now and where evaluation has taken place, it has been carried out in a somewhat cumbersome and unsystematic fashion, without any standardised approach. This paper presents a comprehensive testing methodology and framework aimed towards automating the evaluation of image processing algorithms. Ultimately, the test framework aims to shorten the algorithm development life cycle by helping to identify algorithm performance problems quickly and more efficiently.
Resumo:
The research described in this thesis was developed as part o f the Information Management for Green Design (IMA GREE) Project. The 1MAGREE Project was founded by Enterprise Ireland under a Strategic Research Grant Scheme as a partnership project between Galway Mayo Institute o f Technology and C1MRU University College Galway. The project aimed to develop a CAD integrated software tool to support environmental information management for design, particularly for the electronics-manufacturing sector in Ireland.
Resumo:
This is a study of a state of the art implementation of a new computer integrated testing (CIT) facility within a company that designs and manufactures transport refrigeration systems. The aim was to use state of the art hardware, software and planning procedures in the design and implementation of three CIT systems. Typical CIT system components include data acquisition (DAQ) equipment, application and analysis software, communication devices, computer-based instrumentation and computer technology. It is shown that the introduction of computer technology into the area of testing can have a major effect on such issues as efficiency, flexibility, data accuracy, test quality, data integrity and much more. Findings reaffirm how the overall area of computer integration continues to benefit any organisation, but with more recent advances in computer technology, communication methods and software capabilities, less expensive more sophisticated test solutions are now possible. This allows more organisations to benefit from the many advantages associated with CIT. Examples of computer integration test set-ups and the benefits associated with computer integration have been discussed.
Resumo:
Abdominal Aortic Aneurysms (AAA) haemorhaging is a life-threatening disease. An aneurysm is a permanent swelling of an artery due to a weakness in its wall. Current surgical repair involves opening the chest or abdomen, gaining temporary vascular control of the aorta and suturing a prosthetic graft to the healthy aorta within the aneurysm itself The outcome of this surgical approach is not perfect, and the quality of life after this repair is impaired by postoperative pain, sexual dysfunction, and a lengthy hospital stay resulting in high health costs. All these negative effects are related to the large incision and extensive tissue dissection. Endovascular grafting is an alternative to the standard surgical method. This treatment is a less invasive method of treating aortic aneurysms. It involves a surgical exposure of the common femoral arteries where the stent graft can be inserted through by an over-the-wire technique. All manipulations are controlled from a remote place by the use of a catheter and this technique avoids the need to directly expose the diseased artery through a large incision or an extensive dissection. The proposed design method outlined in this project is to develop the endovascular approach. The main aim is to design an unitary bifurcated stent graft (1 e- bifurcated graft as a single component) to treat these Abdominal Aortic Aneurysms. This includes the delivery system and deployment mechanism necessary to first accurately position the stent graft across the aneurysm sac and also across the iliac bifurcation, and secondly fix the stent graft in position by using expandable metal stents. Thus, excluding the aneurysm from the circulation and therefore preventing rupture. Miniaturisation is a critical aspect of this design, as the smaller the crimped stent graft the easier to guide through the vascular system to the desired location. Biocompatibility is an important aspect. The preferred materials for this prosthesis are to use Shape Memory Alloys for the stent and a multifilament fabric for the graft. A taper design is applied for the geometry as this gives a favourable flow characteristic and reduced wave reflections. Adequate testing of the stent graft to prove its durability and the ease of the method of deployment is a prerequisite. A bench test facility has being designed and build to replicate the cardiovascular system and the disease in question aortic aneurysms at the iliac bifurcation. The testing here shows the feasibility of the proposed delivery system and the durability of the stent graft across the aneurysm sac. Finally, these endovascular treatments offer the economic advantage of short hospital stays or even treatment as an outpatient, as well as elimination of the need for postoperative intensive care The risk of developing an aneurysm increases with age, that is one of the mam reasons to look for less invasive ways of treating aneurysms. Consequently, there is enormous pressure to develop and use these devices rapidly.
Resumo:
Monitoring, object-orientation, real-time, execution-time, scheduling
Resumo:
DMFC, dynamic behaviour, current steps, system analysis, methanol oxidation, flow field design
Resumo:
Modular modelling, dynamics simulation, multibodies, O(N) method, closed loops, post-stabilization