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.

Pequín, London, Roma: un viatge lingüístic a través de la història de tres llengües: gramàtica comparada entre el xinès, l'anglès i el llatí

Treball de recerca realitzat per un alumne d'ensenyament secundari i guardonat amb un Premi CIRIT per fomentar l'esperit científic del Jovent l'any 2009. En aquest treball es vol trobar un vincle entre les cultures més influents al llarg de la història d’Àsia i Europa, prenent com a element bàsic les seves llengües: el xinès, l’anglès i el llatí. Ara bé, la comparació lingüística entre elles només té veritable interès si es cerca allò comú sobretot semàntica i sintàcticament, posat que d'entrada, visual i fonèticament, qualsevol profà pot observar-ne prou diferències. Aquestes característiques comunes, doncs, tenen valor independentment del temps i l'espai, ja que el que hi ha en joc aquí és, en el fons, el llenguatge verbal com a nervi del fet de ser humà. Els continguts s'estructuren mitjançant l'ús d'un mètode inductiu com a regla d’anàlisi comparativa; no es pot, tanmateix, prescindir d'una introducció teòrica de lingüística, absolutament necessària per a un estudi comparatiu de gramàtica. Una vegada conclòs el treball, es veu que els conceptes que totes tres expressen són comuns i el canvi, quan es dóna, afecta la forma i està relacionat amb les regles de la lògica: aquests casos, doncs, no fan sinó confirmar la tesi, ja que esperar una equivalència total seria no només ingenu, sinó gens natural ni realista. L'anhel del traductor és arribar a expressar, precisament, aquest univers.

Un aspecte semàntic dels termes generals : la rigidesa

L'objectiu de la recerca és determinar quina és la noció de rigidesa més adient per als termes generals. Els termes generals són els que, per oposició als termes singulars, es poden aplicar a més d'un individu o exemplar, com per exemple 'tigre', 'aigua', 'bolígraf'. Des de Kripke es considera que alguns termes singulars, com els noms propis, són rígids. Un terme singular és rígid quan designa el mateix individu o objecte en tot món possible. Així 'Sòcrates' és un terme rígid perquè designa el mateix individu, Sòcrates, en tota circumstància contrafàctica. Kripke va proposar que alguns termes generals, com els termes de gènere natural, tals com 'aigua', 'calor' o 'tigre' també són rígids, però no va donar cap formulació precisa de la rigidesa per a termes generals. Des de llavors s'han proposat bàsicament dues concepcions de la rigidesa per a aquests termes: la que els considera designadors rígids i la que els considera aplicadors rígids. L'anàlisi de les dues concepcions pretén determinar quina és la millor comprensió de la rigidesa per a aquests termes, resultant la concepció dels aplicadors rígids indesitjable fonamentalment pels seus compromisos metafísics i allunyats de la semàntica.

Mètodes algebraics i de teoria de la prova per a la formalització del raonament vague

Projecte de recerca elaborat a partir d’una estada a la Università degli studi di Siena, Italy , entre 2007 i 2009. El projecte ha consistit en un estudi de la formalització lògica del raonament en presència de vaguetat amb els mètodes de la Lògica Algebraica i de la Teoria de la Prova. S'ha treballat fonamental en quatre direccions complementàries. En primer lloc, s'ha proposat un nou plantejament, més abstracte que el paradigma dominant fins ara, per l'estudi dels sistemes de lògica borrosa. Fins ara en l'estudi d'aquests sistemes l'atenció havia recaigut essencialment en l'obtenció de semàntiques basades en tnormes contínues (o almenys contínues per l'esquerra). En primer nivell de major abstracció hem estudiat les propietats de completesa de les lògiques borroses (tant proposicionals com de primer ordre) respecte de semàntiques definides sobre qualsevol cadena de valors de veritat, no necessàriament només sobre l'interval unitat dels nombres reals. A continuació, en un nivell encara més abstracte, s’ha pres l'anomenada jerarquia de Leibniz de la Lògica Algebraica Abstracta que classifica tots els sistemes lògics amb un bon comportament algebraic i s'ha expandit a una nova jerarquia (que anomenem implicacional) que permet definir noves classes de lògiques borroses que contenen quasi totes les conegudes fins ara. En segon lloc, s’ha continuat una línia d'investigació iniciada els darrers anys consistent en l'estudi de la veritat parcial com a noció sintàctica (és a dir, com a constants de veritat explícites en els sistemes de prova de les lògiques borroses). Per primer cop, s’ha considerat la semàntica racional per les lògiques proposicionals i la semàntica real i racional per les lògiques de primer ordre expandides amb constants. En tercer lloc, s’ha tractat el problema més fonamental del significat i la utilitat de les lògiques borroses com a modelitzadores de (part de) els fenòmens de la vaguetat en un darrer article de caràcter més filosòfic i divulgatiu, i en un altre més tècnic en què defensem la necessitat i presentem l'estat de l'art de l'estudi de les estructures algèbriques associades a les lògiques borroses. Finalment, s’ha dedicat la darrera part del projecte a l'estudi de la complexitat aritmètica de les lògiques borroses de primer ordre.

Web semántica: RDF y SGBD que lo soportan

En aquest treball es fa una breu introducció a la web semàntica i el seu estat actual. S'analitzen els llenguatges que hi ha a la base del munt de recomanacions del World Wide Web Consortium (XML, XML Schema, RDF i RDF Schema) i s'examinen diferents sistemes de gestió de bases de dades que donen suport a les metadades, que són la base de la web semàntica.

Llenguatges de consulta en l'àmbit de la Web Semàntica : Cas d'estudi SPARQL

Aquest projecte s'emmarca dintre la idea de la Web Semàntica. A la primera part introdueix progressivament al tema de la Web Semàntica fins arribar a establir la necessitat de tenir SGBDs. La segon part explota algun dels SGBDs estudiats per realitzar una aplicació web que permeti mostrar alguna aplicació de la Web Semàntica.

XML i Web Semàntica

En aquest treball es realitza una descripció dels llenguatges que constitueixen la base de la construcció de la Web Semàntica: l'XML, l'RDF i l'OWL. En concret, es realitza un estudi de la base de dades lèxica WordNet. Finalment, es presenta el disseny i la implementació d'una ontologia per representar les relacions lèxiques dels mots del català. A partir d'aquesta ontologia es crea una petita base de dades basada en la temàtica dels animals de companyia. Aquest cas pràctic permet extreure conclusions sobre els avantatges d'introduir metadades en els documents electrònics, i sobre les facilitats que ofereixen les aplicacions actuals pel desenvolupament d'aquest tipus de documents.

RDF i Web Semàntica

En aquest treball s'explica el concepte de Web Semàntica, junt amb la seva estructura i els diferents termes relacionats amb aquesta idea. A més, es fa especial atenció al paper dels sistemes gestors de bases de dades en aquest camp, tenint en compte sobretot el nivell de compatibilitat que ofereixen aquests per a tracta dades en notació RDF, basada en el llenguatge XML.

Aplicació de la Web Semàntica : Anotació semàntica de pàgines Web

Aquest treball, basant-se en una aplicació concreta d'aquest concepte de web semàntic anomenada anotació semàntica de pàgines web, presenta els conceptes i els elements propis, com ara les ontologies i els llenguatges semàntics, i també un cas pràctic de disseny i desenvolupament d'una ontologia i una anotació semàntica de les pàgines d'un web a partir de l'ontologia creada.

Llenguatges de consulta en l'àmbit de la Web Semàntica : Cas d'estudi SPARQL

El projecte es basa en estudiar i avaluar diferents sistemes gestors de bases de dades (SGBD) per desar informació dins del context de la Web Semàntica., tal com es veurà en el capítol 4. La Web Semàntica permet dotar de significat al contingut textual de la web, permetent que sigui interpretable per una màquina.

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).

Guía per visitar Barcelona - XML i Web Semàntica

En aquest projecte s'ha volgut fer un cercador d'allotjaments i activitats a la ciutat de Barcelona per tal de planificar la visita a la ciutat. Per realitzar-lo s'ha fet servir XML per emmagatzemar les dades així com per després recuperar-les i mostrar-les mitjançant Xquery, així com també s'ha dissenyat una Ontologia per tenir clares les relacions entre les diferents entitats que formaran part de la Base de dades del projecte. El cercador està confeccionat en HTML + PHP per fer la combinació amb les consultes a eXist i així poder obtenir resultats.

OntPersonal: ontología de personalización para ITINER@, un sistema generador de rutas turísticas basado en información semántica

En este artículo se presenta la ontología OntPersonal, una ontología de personalización para la aplicación ITINER@, un sistema generador de rutas turísticas basado en información semántica. La ontología OntPersonal modela un conjunto de preferencias turísticas y restricciones de contexto asociadas al usuario final (turista), lo que se denomina su perfil. A partir de un juego de reglas SWRL se intentan inferir los puntos de interés (POI o visitables) -obtenidos de una ontología externa instanciada- más relevantes para cada perfil. Esta información, aunada a otras consideraciones, podría utilizarse por el sistema ITINER@ para construir rutas turísticas personalizadas. En este trabajo se presentan los resultados obtenidos al evaluar la ontología usando POI pertenecientes a la región de Esterri d'Àneu en Cataluña, España.

AgilITIL : creación de una wiki semántica de soporte a los procesos de control

Este trabajo tiene como objetivo crear una Wiki Semántica que sirva de soporte para un modelo de gestión de servicios ágil, colaborativo y fácilmente implantable en las organizaciones denominadas pymes. En este tipo de organizaciones el posicionamiento inicial, ante la adopción de políticas como las sugeridas en ITIL, suele ser de rechazo, por la cantidad de trabajo añadido que previsiblemente genera. La Web Semántica aporta al conjunto la capacidad para establecer reglas de gestión del conocimiento, factor determinante para el crecimiento de una organización. El marco de recomendaciones ITIL es muy extenso y en este trabajo se pretende dar respuesta a los procesos de control pertenecientes a la fase del ciclo de vida denominada "Transición del Servicio". Estos procesos son: la gestión de la configuración, la gestión del cambio y la gestión de la entrega y despliegue.