Regulación del proceso de secado de embutidos crudos-curados mediante la aplicación de lógica borrosa (fuzzy logic)

El presente proyecto tenía como objetivo final el desarrollo de un sistema de control basado en Lógica Fuzzy que permita que el proceso de secado tenga una regulación continua y con una menor dependencia de la experiencia del personal experto, evitando además la formación de encostrado. Asimismo, se plantearon una serie de objetivos parciales, cuya consecución permitiría, además de alcanzar el objetivo final descrito, obtener un conocimiento científico adicional. Por ello, a continuación se resumen los resultados en relación con los objetivos parciales propuestos. Como paso previo, antes de abordar los objetivos planteados se diseñó y construyó un equipo experimental de secado, donde se controló de forma precisa la temperatura, la humedad relativa y la velocidad del aire.

Estudio de los mecanismos terapéuticos en la inducción de tolerancia immunológica en un modelo animal de esclerosis múltiple

En una serie de estudios previos demostramos que la infusión de células de médula ósea (MO) modificadas genéticamente para la expresión del autoantígeno MOG40-55 en ausencia de mieloablación inducía tolerancia antígenoespecífica en un modelo murino de esclerosis múltiple. También observamos que este efecto terapéutico no requería injerto hematopoyético. Nos propusimos estudiar si el efecto tolerogénico está inducido por una subpoblación de células generadas durante la transducción de la MO y el papel de las células T reguladoras en la inducción de la tolerancia. Las células de MO fueron cultivadas y transducidas usando medio complementado con 20% FCS y medios condicionados como fuente de stem cell factor (SCF) e IL-3 murinos. Las diferentes poblaciones celulares se separaron por citometría de flujo y se analizó la capacidad supresora de las poblaciones candidatas. Por otro lado se analizó la presencia de células T reguladoras en bazo y SNC de los ratones recuperados después de la infusión de células de MO transducidas. A los cinco días de cultivo, la mayoría de células presentaban fenotipo mieloide (Mac-1+Gr-1low/-:31,9+-10,2%; Mac-1+Gr-1high:26,0+-3,3%). Ambos fenotipos se corresponden con dos subpoblaciones de células mieloides supresoras (MDSC, tipo monocí¬tico y granulocítico respectivamente) descritas recientemente. Se estudió la capacidad de ambas poblaciones para suprimir la respuesta proliferativa específica de esplenocitos frente a MOG40-55 in vitro, observando una mayor capacidad de supresión de las MDSC monocíticas, que se correspondí¬a con niveles significativamente superiores de actividad de las enzimas arginasa-1 y sintasa de óxido nítrico (ambos mecanismos supresores característicos de las MDSC). A los 7 días del tratamiento no se observaron diferencias significativas en el porcentaje de células T reguladoras (Treg y Tr1) entre el grupo tratado (liM) y los grupos de control.

Evaluación del uso de exosomas como aloantígenos para la inducción de tolerancia en trasplante

La consecución de tolerancia aloespecífica es de mucha relevancia en trasplante. Las células dendríticas (DC) son las principales responsables de la inducción de la respuesta inmune frente a las moléculas de histocompatibilidad (MHC) del donante, provocando el rechazo del injerto. Sin embargo las DC son también responsables de la inducción de tolerancia. Diversos modelos animales de alotrasplante han mostrado la tolerización del injerto mediante DC diferenciadas in vitro en condiciones tolerogénicas (tDC). En humanos, las fuentes de aloantígenos potencialmente utilizables en terapia son, entre otras, los cuerpos apoptóticos y los exosomas. Éstos expresan antígenos MHC de forma abundante y su composición es relativamente uniforme, lo que supone una ventaja frente a otras fuentes. En este proyecto, se ha evaluado la obtención de exosomas secretados por una línea de linfocitos T y por células dendríticas derivadas de médula ósea. Se ha caracterizado la captura de exosomas derivados de linfocitos T por células dendríticas humanas derivadas de sangre periférica y su presentación a linfocitos T autólogos. Por otra parte, se ha comenzado a desarrollar los experimentos para estudiar la inducción de tolerancia en un modelo de trasplante renal en rata. Se han generado células dendríticas tolerógenicas derivadas de médula ósea (tolDC), en presencia de dexametasona. Las tolDC expresan menos moléculas de histocompatibilidad y de coestimulación e inducen una menor proliferación en reacciones mixtas leucocitaras, comparadas con las células dendríticas maduras. Por último, se han caracterizado los exosomas de plasma humano con el fin de estudiar su posible uso como aloantígenos. El análisis proteómico revela la presencia de proteínas relacionadas con el sistema inmune, la coagulación, la señalización celular y moléculas implicadas en el transporte y metabolismo de nutrientes. El estudio de la captura por diferentes líneas celulares sugiere que deben existir mecanismos específicos para su internalización.

Efectos sobre la calidad de la inducción anestésica y agitación postoperatoria en niños según la presencia paterna en el quirófano

La presència paterna com una intervenció no farmacològica per a reduïr l’estrés i millorar la cooperació infantil durant la inducció anestèsica ha estat freqüentment estudiada, sobretot als països anglosaxons, amb resultats contradictoris. L’objectiu del present estudi és avaluar la qualitat de la inducció anestèsica i del postoperatori segons la presència paterna o no a la mateixa en xiquets espanyols, ASA I-II, no premedicats, programats per a cirurgía otorrinolaringológica. Hem trobat un increment de la incidència d’inducció suau i una disminució de la inducció traumàtica al grup de xiquets amb presència paterna (p&0.05).

Desarrollo de un sistema de clasificación de recursos electrónicos en el ámbito de la lógica matemática

El presente trabajo define una taxonomía para la clasificación de recursos digitales del ámbito de la lógica tradicional, y más concretamente los recursos que se podrían generar en el ámbito de la asignatura de Lógica Matemática del plan de estudios de las titulaciones de Ingeniería Técnica de Gestión y de Sistemas impartidas en la Universitat Oberta de Catalunya (UOC).

Correcció d'exercicis de lògica per l'ACME

La Universitat de Girona, i més concretament el Departament d’Informàtica i Matemàtica Aplicada, ja fa uns anys que ha posat en marxa el Projecte Avaluació Continuada i Millora de l’Ensenyament, també anomenat ACME. Aquest projecte és una plataforma d'e-learning, és a dir, un sistema d’aprenentatge a través de la xarxa que potencia la col•laboració digital i el bescanvi d’informació entre alumne i professor. El creixement que ha experimentat la plataforma, ha estat possible gràcies al disseny modular de l’aplicació, on cada nova funcionalitat que estava essent desenvolupada evolucionava de manera independent a la resta de la plataforma i sense comprometre’n el funcionament. Per afegir un nou mòdul a l’ACME, s’utilitzen els mòduls de base que confereixen l'estructura a la plataforma i les eines per incorporar nous mòduls, amb el que la implantació d’aquests a la plataforma és d’elevada senzillesa. Actualment, la majoria de les assignatures de primer del Grau d’Informàtica ja disposen d’exercicis adaptats a la plataforma, el que dóna una uniformitat en les eines i plataformes que utilitzen els alumnes en la seva formació. Però no hi són totes les assignatures, falta incloure l’assignatura de Lògica a la plataforma. D’aquesta manera, tant els alumnes com els professors de l’assignatura, podran treure profit dels beneficis esmentats que aporta l’ACME. Concretament, a l’assignatura de Lògica es disposava d’uns aplicatius a la plataforma Moodle de la Universitat de Girona on es guiava a l’alumne en la resolució dels exercicis. Aquest mètode és molt interessant com a mètode pedagògic per a l’aprenentatge inicial de l’assignatura, però no representa un repte real on els alumnes hagin d’aplicar els seus coneixements per a la seva realització. Els alumnes també disposaven d’un dossier on se’ls proposava uns exercicis molt complets, i a les pàgines finals d’aquest se’ls donava la solució. Aleshores, de manera voluntària els alumnes realitzaven els exercicis i comprovaven amb la solució si havien aprés a resoldre’ls. Per tant, tant els responsables de l'assignatura de Lògica com els responsables de la plataforma ACME van veure que es podrien desenvolupar eines a l'ACME per tal de corregir de forma automàtica els exercicis de l'assignatura. Incorporar l’assignatura de Lògica a l’ACME permet que els alumnes es vegin més involucrats a fer exercicis durant els curs de manera continuada, gràcies als terminis d’entrega, i facilita als professors la seva tasca deslliurant-los de les correccions i oferint-los-hi eines de seguiment

Desenvolupament d'un entorn virtual orientat a la didàctica de la Lògica Computacional i Estructura i Tecnologia de Computadors

En aquesta memòria es presenta el desenvolupament d'un entorn virtual orientat a la didàctica de la lògica proposicional, aplicada en assignatures de Lògica Computacional i Estructura i Tecnologia de Computadors. L'entorn en si té com a objectiu ser un reforç a l'aprenentatge autodidacta per part de l'alumne en aquestes matèries, així com una eina de seguiment per part del professor.

Lo ético y la «mera» lógica

De la noción kantiana de «ética autónoma» es parte el reconocimiento de que cada decisión tiene la forma lógica de universal sin tener, en cambio, efectiva universalidad, por lo cual es posible que una decisión esté en contradicción con su propia forma lógica. Esto exige una averiguación sobre el significado de «contradicción» y de «mera» lógica en Kant con el fin de aclarar en qué sentido el enjuiciamiento moral ha de tener el carácter de confrontación «lógica».

La forma lògica de les oracions d'acció i la tesi d'Anscombe

This paper has three sections. In the first one, I expose and discuss Davidson's semantic account of adverbial sentences: the basic idea is that these sentences involve quantification over events, and I defend that view from opposing perspectives like the theory of adverbs as predicate modifiers. In the second section I defend the claim that in english constructions following the scheme: ¿X did V by T-ings¿, we are referring to the same action of X; what is sometimes called ¿The Anscombe Thesis¿. Again I discuss competing theories only to conclude that the Anscombe Thesis is true. In the third section, however, it is shown that to assume as premisses these two theses -Davidson's account and the Anscombe Thesis- leads to a serious conflict. Alternative solutions are worked out and rejected. It is also argued that the only tenable solution depends on certain metaphysical assumptions. Finally, however, I will cast doubt on this solution.

Propuesta Teórica de Webmining para Detección de Intrusos mediante Lógica Borrosa

Las aplicaciones técnicas basadas en Lógica Borrosa para la detección de intrusos (IDS), están demostrando ser un enfoque adecuado para solucionar muchos de los problemas de seguridad. Esta investigación propone el modelo teórico necesario para el desarrollo de un método de detección de intrusos web basado en lógica difusa, diseñado para identificar el ataque mediante reglas y ofrecer el grado del ataque mediante lógica difusa. La actividad que no cumpla con las reglas borrosas tras una parametrización de experto es considerada acceso malicioso. De esta manera, el principal propósito de la presente investigación consistirá en elaborar un modelo de Sistema Experto Borroso aplicado a la Detección de Intrusos WEB, para ello la propuesta consiste en profundizar en los dos aspectos siguientes: el diseño de un SBRB y aplicar la adaptación de estos modelos en ¿minería de datos¿ relativos a la detección de intrusos. La presenten investigación muestra las reglas para identificar tráfico malicioso en web-logs y se presenta a nivel teórico el sistema de SBRB.

Propuesta teórica de Webmining para Detección de Intrusos mediante Lógica Borrosa

El principal propósito de la presente investigación consistirá en elaborar un modelo de Sistema Experto Borroso aplicado a la Detección de Intrusos WEB, para ello la propuesta consiste en profundizar en los dos aspectos siguientes: el diseño de un SBRB y aplicar la adaptación de estos modelos en ¿minería de datos¿ relativos a la detección de intrusos. La investigación muestra las reglas para identificar tráfico malicioso en web-logs y se presenta a nivel teórico el sistema de SBRB.