1000 resultados para intuizionismo continuo mondi possibili logica modale
Resumo:
El mejoramiento animal tiene como función modificar genéticamente una población animal con un fin económico determinado. Las herramientas que se utilizan son: evaluación genética, selección y/o esquemas de apareamiento. La evaluación genética se realiza obteniendo información (marcadores) que predice el genotipo del animal que no es registrable directamente. Estos marcadores son el fenotipo o información física del animal y algún predictor del genotipo que puede ser un marcador químico o la relación de parentesco con otro animal. El uso de los marcadores genéticos para determinar la genealogía está en desarrollo actualmente pero resulta extremadamente costoso para ciertos niveles de producción. Los dispositivos electrónicos ensayados hasta el momento no han resultado muy eficientes, por lo tanto se propone para este proyecto desarrollar un sistema electrónico de identificación animal que permita construir matrices de genealogía para la evaluación genética de reproductores de las diferentes especies en condiciones de producción extensivas. El proyecto se desarrollará entre especialistas en mejoramiento animal e ingenieros electrónicos, en un aporte multidisciplinario a la solución del problema de establecer la filiación a través del armado del para macho-hembra durante el servicio natural de las distintas especies y el par madre-cría en algún momento luego del parto. La solución propuesta consiste en la implementación de dispositivos electrónicos activos (microcontrolador y tranceptor de radiofrecuencia alimentados a batería) dispuestos como nodos de una red de sensores inalambricos. Estos dispositivos serán colocados en los animales tomados como objeto de estudio, y mediante el continuo intercambio de informacion entre ellos se genera una matriz de datos que permita a posterior establecer la relación que existe entre ellos a traves de la determinacion de la periodicidad de sus cercanias relativas.
Resumo:
El trasplante renal es el tratamiento óptimo para personas que sufren estadios terminales de enfermedades renales, presentando una relación costo beneficio a favor del trasplante con respecto a la diálisis. El número de paciente que requieren ser trasplantado se incrementa año a año, pero este incremento no se ve acompañado con el aumento de los órganos disponibles. Según el SINTRA en nuestro país hay 5880 pacientes en lista de espera para recibir un trasplante renal, durante el 2011 se procuraron 1720 riñones con criterios clásicos. Es consecuencia de esta falta de órganos que se comenzó a utilizar órganos marginales, aquellos que no reúnen los criterios clásicos de donantes, el inconveniente que esto genera, es que los órganos a trasplantar presentan un mayor índice de daño celular y de rechazo. Diferentes estudios demostraron que la utilización de máquinas de perfusión en estos órganos mejora la sobrevida del órgano y disminuye el rechazo, algo que no se puede lograr con los métodos de conservación clásicos. El objetivo de este proyecto es: desarrollar y construir una máquina de perfusión renal de flujo continuo / pulsátil, con las innovaciones que consideramos pertinentes para la conservación de órganos con criterios extendidos. La máquina dispondrá de dos cámaras herméticas una dentro de la otra, la interior que contendrá al órgano el cual será conectado por medio de cánulas, a una bomba pulsátil con solución de Wisconsin o similar, estará rodeada de otra con líquido refrigerante bombeado desde una bomba refrigerante eléctrica portátil, estos sistema eléctricos serán a batería de larga duración. Nuestro prototipo aporta además nuevas innovaciones como son; un sistema (GPS) que permitirá conocer la ubicación precisa del dispositivo activado y poder coordinar de mejor manera el procedimiento quirúrgico, una computadora de a bordo con la que se controlará todos los sistemas y se almacenarán los parámetros estadísticos del órgano transportado, consolas y pantalla táctil para el control de los parámetros de funcionamiento, se construirá la carcasa con tecnología LRTM de fibra de vidrio inyectada la cual se está desarrollando en nuestra empresa para aplicaciones varias. Se desarrollarán piezas descartables de bajo costo, acorde a las disponibilidades económicas locales, para lograr de este modo la amplia utilización de esta máquina en todos los centros de trasplante y procuración de órganos del país.
Resumo:
Argentina es el tercer exportador mundial de maíz luego de Estados Unidos y Brasil. La estimación de la campaña 2009/10 indica que la producción mundial de maíz alcanzaría los 832,37 millones de toneladas, cerca de 23 millones de toneladas más que lo cosechado durante la campaña anterior y 21 millones de toneladas mas que lo cosechado en la campaña récord de 2007/08 (USDA, 2010). La cosecha de maíz 2009/10 en Argentina sería récord, llegando a los 22,5 millones de toneladas lo que significaría un incremento de 53% respecto de la campaña anterior, igualando el récord de la campaña 2006/07. El aumento de la potencialidad de rendimiento se concibe desde un cultivo sin incidencia de enfermedades. La predicción de la ocurrencia y del riesgo de daño asociado a las enfermedades de los cultivos a gran escala, la determinación del riesgo de distribución de pestes exóticas o emergentes en la agricultura sustentable, la evaluación de riesgo/beneficio del control biológico y la evaluación de enfermedades asociadas con el calentamiento global o el cambio de prácticas culturales son tópicos importantes en la ciencia agropecuaria moderna. Las enfermedades del maíz, en especial las producidas por virus y mollicutes se han incrementado en los últimos años debido, entre otras causas, al cultivo continuo desde el norte del país y países vecinos desde donde migran los vectores, a los cultivares de alto rendimiento que en muchos casos son susceptibles a estos patógenos y en gran medida a los cambios climáticos globales que generan que virosis de zonas tropicales y subtropicales se extiendan a zonas templadas. El principal enfoque para el control es el conocimiento del ciclo epidemiológico de la enfermedad ubicado para cada ambiente. En este marco es que desde el Departamento de Graduados de la Fac. de Cs. Agropecuarias, junto con la Secretaría de Extensión surgió la necesidad de la transferencia de los resultados de la investigación. Los conocimientos adquiridos en investigación hasta el presente, en toda la extensión de la Provincia de Córdoba, servirán a profesionales asesores, empresas semilleras y de insumos agropecuarios, productores y estudiantes próximos a graduarse a conocer estas enfermedades, sus vectores, las condiciones predisponentes y tener acceso a información actualizada para lograr su manejo con medidas preventivas desde el momento de la compra de los insumos agropecuarios, el sistema de labranza y de las fechas de siembra. Entrenar al productor para que adquiera esta habilidad le permitirá escapar a pérdidas de hasta 60% del lote, como son las producidas en la Provincia por algunas virosis como el Mal de Río Cuarto (March et al., 1993, Gaceta agronómica 76: 384), o pérdidas no perceptibles pero reales, de 14% en plantas con esta enfermedad respecto a plantas sanas (Ornaghi et a., 1995, IX J. Fitosanitarias Argentinas: 84). Otras virosis, como el mosaico común, no producen grandes epidemias sino son incidiosas, están presentes todos los años con pérdidas de producción a niveles tan significativos como 5,5 qq/ha e incidencias de hasta 44% en la Provincia (Lenardón y Giolitti, 1999, Proyecto de Investig. en Fitovirología INTA-JICA) y requiere certificación sanitaria para la exportación del grano pues se transmite por semilla. Por su parte, mollicutes emergentes como el Corn stunt spiroplasma, se han detectado en Córdoba con incidencias de 61% en lotes de Justiniano Posse y de 80% en Sarmiento, habiéndose detectado en la campaña 2009/10 en 4 localidades de la Provincia. Virosis re-emergentes como el MCMV, que produce necrosis letal del maíz en sinergismo con otras virosis, han hecho su reaparición con niveles de hasta 18% de infección. Reconocer sus síntomas y conocer las formas de dispersión y transmisión permitirá al profesional y al productor la evaluación del problema y tomar medidas de prevención y manejo de estas enfermedades para lograr los rendimientos esperados.
Resumo:
La Región Metropolitana de Barcelona (RMB) ha sido caracterizada como un sistema urbano policéntrico. Sin embargo, no existe un criterio comúnmente aceptado que haya permitido identificar con claridad los subcentros de la región. La investigación que aquí se presenta persigue un doble objetivo: en primer lugar identificar los subcentros de empleo de la RMB mediante un método objetivo y, en segundo lugar, valorar su grado de policentrismo. Para identificar los subcentros se procede siguiendo dos pasos: primero se identifican los municipios candidatos a subcentro utilizando criterios basados en la densidad de empleo y en el índice Empleos/Población, para a continuación estimar una función de densidad de población utilizando como variables explicativas, además de la distancia al CBD, la distancia a cada uno de los candidatos a subcentro. Los municipios identificados mediante este doble filtro sólo capturan un porcentaje relativamente reducido del total de puestos de trabajo debido a que elnúcleo ampliado (Barcelona más continuo urbano) concentra un porcentaje de empleos muy significativo, y a que el ratio Empleos/Población presenta unos valores muy homogéneos en todos los municipios con independencia de su tamaño.
Resumo:
El presente proyecto trata sobre el diseño de una planta química para la producción de 75000 toneladas al año de ácido acético. Para la consecución de este objetivo utilizamos la carbonilación en continuo de metanol con monóxido de carbono. No obstante, no comercializaremos un solo producto, si no que se ha de ofertar de dos formas. Por un lado, ácido acético glacial (60% de la producción total), que es una solución de acético que como mínimo ha de contener un 98% de ácido y una concentración de agua inferior al 1% y por otro lado, el resto de producción será una solución al 70% en ácido acético.
Resumo:
L'electromagnetisme és una branca de la física que està en continu estudi. Fins a mitjans de la dècada dels 60 es pensava que, per a la propagació de les ones electromagnètiques fos possible, els medis propagatius havien de presentar una permitivitat dielèctrica i una permeabilitat magnètica simultàniament positives. No obstant, Victor G. Veselago va revolucionar la teoria electromagnètica amb la idea dels medis amb ε i μ negatives i va donar amb això origen als medis metamaterials. En el present treball s'estudiaran els principis físics en els que es fonamenten els metamaterials. Es veuran algunes de les seves característiques que els converteixen en medis exòtics i com aquestes poden ser utilitzades en el desenvolupament de dispositius amb prestacions difícils d'obtenir amb les tecnologies convencionals. A continuació s'aplicaran els conceptes tractats en el disseny d'un inversor d'impedàncies implementat mitjançant ressonadors en anells oberts complementaris. Aquest dispositiu, que presentarà un funcionament en banda dual, serà utilitzat en el posterior disseny d'un divisor de potencia. Finalment es realitzarà la implementació física del divisor de potencia dissenyat i es verificarà el seu correcte funcionament amb les mesures pertinents.
Resumo:
Las capas de acoplamiento son un elemento clave en los dispositivos BAW CRF. El factor de acoplamiento K de estas capas permite el diseño de una determinada respuesta. Debido al limitado número de materiales con las que implementarlas, las soluciones que utilizan capas de λ/4 ofrecen un rango discreto de K. Por otra parte, el reflector de Bragg es un mecanismo de aislamiento mecánico entre el sustrato y la estructura BAW que está formado por capas alternas de alta y baja impedancia acústica de λ/4. El problema que presenta es la reducción del factor de calidad asociado a las pérdidas producida por las ondas shear. Este proyecto presenta un método para la obtención de un rango continuo de factores de acoplamiento y estudia la mejora del factor de calidad de las estructuras BAW con reflector de Bragg partiendo de dos materiales con alta y baja impedancia acústica.
Resumo:
El objetivo de este proyecto es el diseño y estudio de una planta en continuo para la producción de 60000 Tn/año de ácido adípico a partir de la oxidación del ciclohexanol con ácido nítrico. Debe incluir también la construcción, el diseño de los equipos, el montaje, la puesta en marcha de la planta y la operación de ésta en estado estacionario.
Resumo:
BOLD APS es un software diseñado para solventar el problema de la planificación de la producción. Como tal, cuenta con un algoritmo, en continuo desarrollo, cuya función es tomar las decisiones oportunas para obtener una buena programación de tareas. Este proyecto consta de dos fases: la principal comprende el diseño e implementación de una nueva sección dentro del algoritmo de planificación de la producción que utiliza la empresa Global Planning Solution, con el objetivo de ofrecer mejoras en la calidad de las soluciones actuales; la fase secundaria consiste en una labor de depuración, limpieza y ordenación del código, para facilitar su comprensión y posterior modificación.
Resumo:
El proyecto desarrollado tiene como finalidad el diseño de una planta de producción de ácido láctico (88% en peso) con un montante anual de 3300 toneladas en 330 días de producción en continuo (incluyendo los períodos de parada de planta y mantenimiento) a partir de la vía sintética. Una vez analizadas todas las características del proceso, así como cada uno de los equipos que formarán parte de éste, el principal objetivo es la viabilidad económica de su implantación. Para ello se debe cerciorar que todo esté enmarcado dentro de la normativa urbanística (tanto a nivel local, como autonómico o estatal), la legislación medioambiental y las medidas de seguridad y contraincendios de la planta.
Resumo:
En este trabajo se analiza la homosexualidad en China y el papel desempeñado por Internet para la sensibilización y su conocimiento. Partiendo del contexto sociocultural de China y por medio de entrevistas a homosexuales en revistas, programas de televisión online y blogs se analiza su identidad conflictiva con los valores tradicionales de la cultura china. También se abordan los avances llevados a cabo por las instituciones educativas en proyectos de sensibilización y el aumento de la información sobre la homosexualidad. El incremento continuo de información en Internet es un hecho que ayuda a la creciente visibilidad y tolerancia hacia la comunidad homosexual en China.
Resumo:
Résumé Le μ-calcul est une extension de la logique modale par des opérateurs de point fixe. Dans ce travail nous étudions la complexité de certains fragments de cette logique selon deux points de vue, différents mais étroitement liés: l'un syntaxique (ou combinatoire) et l'autre topologique. Du point de vue syn¬taxique, les propriétés définissables dans ce formalisme sont classifiées selon la complexité combinatoire des formules de cette logique, c'est-à-dire selon le nombre d'alternances des opérateurs de point fixe. Comparer deux ensembles de modèles revient ainsi à comparer la complexité syntaxique des formules as¬sociées. Du point de vue topologique, les propriétés définissables dans cette logique sont comparées à l'aide de réductions continues ou selon leurs positions dans la hiérarchie de Borel ou dans celle projective. Dans la première partie de ce travail nous adoptons le point de vue syntax¬ique afin d'étudier le comportement du μ-calcul sur des classes restreintes de modèles. En particulier nous montrons que: (1) sur la classe des modèles symétriques et transitifs le μ-calcul est aussi expressif que la logique modale; (2) sur la classe des modèles transitifs, toute propriété définissable par une formule du μ-calcul est définissable par une formule sans alternance de points fixes, (3) sur la classe des modèles réflexifs, il y a pour tout η une propriété qui ne peut être définie que par une formule du μ-calcul ayant au moins η alternances de points fixes, (4) sur la classe des modèles bien fondés et transitifs le μ-calcul est aussi expressif que la logique modale. Le fait que le μ-calcul soit aussi expressif que la logique modale sur la classe des modèles bien fondés et transitifs est bien connu. Ce résultat est en ef¬fet la conséquence d'un théorème de point fixe prouvé indépendamment par De Jongh et Sambin au milieu des années 70. La preuve que nous donnons de l'effondrement de l'expressivité du μ-calcul sur cette classe de modèles est néanmoins indépendante de ce résultat. Par la suite, nous étendons le langage du μ-calcul en permettant aux opérateurs de point fixe de lier des occurrences négatives de variables libres. En montrant alors que ce formalisme est aussi ex¬pressif que le fragment modal, nous sommes en mesure de fournir une nouvelle preuve du théorème d'unicité des point fixes de Bernardi, De Jongh et Sambin et une preuve constructive du théorème d'existence de De Jongh et Sambin. RÉSUMÉ Pour ce qui concerne les modèles transitifs, du point de vue topologique cette fois, nous prouvons que la logique modale correspond au fragment borélien du μ-calcul sur cette classe des systèmes de transition. Autrement dit, nous vérifions que toute propriété définissable des modèles transitifs qui, du point de vue topologique, est une propriété borélienne, est nécessairement une propriété modale, et inversement. Cette caractérisation du fragment modal découle du fait que nous sommes en mesure de montrer que, modulo EF-bisimulation, un ensemble d'arbres est définissable dans la logique temporelle Ε F si et seulement il est borélien. Puisqu'il est possible de montrer que ces deux propriétés coïncident avec une caractérisation effective de la définissabilité dans la logique Ε F dans le cas des arbres à branchement fini donnée par Bojanczyk et Idziaszek [24], nous obtenons comme corollaire leur décidabilité. Dans une deuxième partie, nous étudions la complexité topologique d'un sous-fragment du fragment sans alternance de points fixes du μ-calcul. Nous montrons qu'un ensemble d'arbres est définissable par une formule de ce frag¬ment ayant au moins η alternances si et seulement si cette propriété se trouve au moins au n-ième niveau de la hiérarchie de Borel. Autrement dit, nous vérifions que pour ce fragment du μ-calcul, les points de vue topologique et combina- toire coïncident. De plus, nous décrivons une procédure effective capable de calculer pour toute propriété définissable dans ce langage sa position dans la hiérarchie de Borel, et donc le nombre d'alternances de points fixes nécessaires à la définir. Nous nous intéressons ensuite à la classification des ensembles d'arbres par réduction continue, et donnons une description effective de l'ordre de Wadge de la classe des ensembles d'arbres définissables dans le formalisme considéré. En particulier, la hiérarchie que nous obtenons a une hauteur (ωω)ω. Nous complétons ces résultats en décrivant un algorithme permettant de calculer la position dans cette hiérarchie de toute propriété définissable.
Resumo:
Aquest projecte tracta d'aportar una idea al futur dels comptadors automàtics, on tant el usuaris, com les empreses, tindran un control continu sobre les dades. A més a més s’han buscar sistemes i protocols que realitzin una bona comunicació entre els comptadors automàtics, en aquest punt on entra la tecnologia W-Mbus. Aquesta tecnologia juntament amb els microcontroladors de baix consum, proporcionats per Texas Instruments, són la millor combinació per aconseguir el nostre objectiu.
Resumo:
La microdiàlisi és una tècnica de neuromonitoratge que permet el mostreig continu del contingut molecular i iònic de l’espai intersticial cerebral. Aquesta tècnica es basa en la implantació d’un catèter en el parènquima cerebral humà de manera mínimament invasiva. Actualment, la microdiàlisi s’ha implantat de manera rutinària en moltes unitats de cures intensives pel neuromonitoratge de pacients amb lesions cerebrals agudes. No obstant, l’estudi in vivo del perfil temporal del proteoma en aquestes lesions i la correcta avaluació de la concentració de les molècules d’interès en el líquid extracel•lular cerebral requereix la determinació prèvia in vitro del percentatge de recuperació relativa de les proteïnes d’estudi.
Resumo:
OJETIVO: El objetivo de este estudio es demostrar el impacto a nivel cardiovascular que sufren los pilotos de automovilismo a través de la valoración de la frecuencia cardiaca y sus variaciones durante el momento de las carreras. MÉTODO: Para ello se utilizaron 3 aparatos de registro continuo Holter con los que se han obtenido las frecuencias cardiacas (FC) de pilotos amateurs y semiprofesionales durante el momento de la competición en el Circuito de Catalunya. RESULTADOS: Se analizaron los registros de 60 pilotos todos de sexo masculino con una edad media de 37 años (+/- 11,7 años), una altura de 175,9 cm (+/- 7 cm) y un peso de 75,6 Kg (+/- 10,9 Kg) que en promedio realizaron 27,1 vueltas al circuito, finalizando el 53% entre los primeros 10 puestos y el 19% en posiciones de podio. Destaca la presencia de una FC media de 119 lpm (+/- 15 lpm) y máxima de 177 lpm (+/- 16 lpm) que equivalen al 63% y al 96% de la FCMT. CONCLUSIONES: El aparato Holter es una herramienta eficaz para medir el impacto cardiovascular que sufren los pilotos a través del análisis de las FC. Los elevados valores de FC media y máxima alcanzados ponen de manifiesto el estrés cardiovascular sufrido por los pilotos. Este estrés cardiovascular aumenta en la medida en que los pilotos se acercan más a los puestos de meta. Un dato a destacar es que no se observan arritmias sostenidas durante las carreras