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.

Desarrollo y gestión de una página web educativa: Wolframio, un tipo con química

Nuestra Web tiene como eje central divulgar todo el material desarrollado en el Proyecto Wolframio, queriendo ser una herramienta sencilla y ágil para gestionar el material y ser más accesible para los usuarios. Para el desarrollo del proyecto se ha diseñado una arquitectura en la que conviven varias tecnologías y varios lenguajes de codificación y programación: HTML, PHP, MySQL, Java script, AJAX, JQUERY y CSS.

La construcción social de las emociones en las sociedades occidentales: el amor materno en la Catalunya del siglo XXI

El objetivo principal de esta investigación es analizar la forma cómo se construye socialmente el amor materno en el marco de las sociedades occidentales, y para ello partiremos del estudio del caso de las maternidades en la Catalunya actual. El amor materno, como emoción, aparece como una codificación cultural que responde a la canalización de la vida que cada cultura establece. En las sociedades occidentales el amor materno se revela como uno de los ejes vertebradores y legitimadores de la esfera reproductiva y del papel de la mujer dentro de ésta, definiéndose en consonancia y dando coherencia al resto de aspectos del sistema social. Dada su importancia los discursos hegemónicos de la sociedad que lo define tienden a naturalizar esta emoción en favor del mantenimiento y el no cuestionamiento del orden social dado, a pesar de que abundante evidencia empírica en ciencias sociales demuestra que se trata de una construcción social que responde a las necesidades del sistema social en cuestión. Actualmente los discursos tradicionales que contenían y definían la concepción de amor materno en Occidente se han ampliado y diversificado debido a cambios sociales como el ingreso de la mujer en la esfera pública; el logro de igualdad jurídica entre géneros; cambios en los modelos familiares; nuevas situaciones en torno a la infancia y la juventud; la intensificación de los flujos migratorios; la creciente urbanización; la expansión de los servicios públicos (escuela y salud); el alargamiento de la esperanza de vida, los métodos anticonceptivos modernos..., de manera tal que muchos de ellos entran en contraposición con las definiciones tradicionales. Es decir, nuevos y viejos discursos alrededor de la maternidad se encuentran enfrentados en su redefinición a otros que lo cuestionan, y a prácticas y cambios en ciertas instituciones que llevan en otra dirección la construcción de esta emoción. Esta nueva situación, aún en fase de conformación, reclama una explicación que pasa por conocer las causas, las formas y la definición del amor materno, en nuestro actual contexto.

Disseny i implementació d'un sistema de control de projectes

Aquest treball de fi de carrera, com descriu el seu títol, consisteix a dissenyar i implementar un sistema de control de projectes. Com tot projecte, complirà el requisit de disposar d'un pla que permeti fer un seguiment dels terminis d'execució, de les fites establertes i un control dels lliurables identificats. Pel fet de tractar-se del desenvolupament d'un sistema informàtic, considerarà les etapes d'especificació de requisits, anàlisi, disseny, codificació, proves unitàries i proves funcionals, i es generaran els informes pertinents que serveixin de documentació i de referència en les etapes posteriors. Des d'un punt de vista tecnològic, permetrà aprofundir en el coneixement de l'estructura de funcionament del PL/SQL d'Oracle (crides a procediments i, especialment, al tractament).

Disseny, implementació i avaluació d'algorismes Max-SAT multivaluats

La finalitat d'aquest projecte és definir el problema Max-SAT amb codificació multiavaluada, implementar algorismes exactes de resolució del problema i construir un generador aleatori de problemes que permeti avaluar aquests algorismes.

Estudi de com OWL amplia la funcionalitat d'RDF i aquest, a la seva vegada, d'XML

Aquest document explica com és aquesta web actual o sintàctica, basada en llenguatge HTML, i perquè no treu més profit de la ingent quantitat d'informació que conté. També explica d'una manera detallada quina és l'alternativa que la comunitat informàtica proposa per tal de superar aquests inconvenients.

Desenvolupament d'una tenda virtual amb J2EE

Aquest document descriu els passos necessaris per a desenvolupar una botiga virtual a Internet, per mitjà de les fases d'anàlisi, disseny i codificació. L'aplicació en qüestió ha de permetre als diferents tipus d'usuaris fer tasques de manteniment (altes, baixes i actualitzacions) i de consulta dels diversos elements del domini del problema.

Normalitzación del volumen de archivos de sonido en formato MP3

TFC sobre normalització del volum d'arxius MP3, emmarcat dins d'un projecte més ampli que inclou la lectura d'arxius MP3, la modificació per a implementar-ne el guany i el desenvolupament d'una interfície d'usuari que permeti aplicar la normalització a fitxers MP3. La part que s'ha elaborat és la fase intermèdia, consistent en el càlcul del guany de volum que caldria aplicar a un arxiu de so per a aconseguir normalitzar-ne el volum.

Normalització d'un volum d'arxius en format MP3

Aquest projecte es pot dividir en tres parts: una primera part d'extracció dels components freqüencials de les trames d'arxius MP3, una segona part d'anàlisi i càlcul d'un factor de normalització a partir de les dades dels components freqüencials de diversos arxius MP3, i una última part amb la modificació correcta dels guanys de les trames dels arxius MP3 a partir del factor de normalització generat en la part anterior. En aquest treball de final de carrera s'implementen la primera i la tercera de les parts descrites anteriorment.

Normalització del volum d'arxius de so en format MP3

L'estàndard MPEG-1 Layer III va ser creat fa poc més de 10 anys i en aquest curt espai de temps ha revolucionat el fins aleshores estable món de la música. El fet de poder comprimir tota una cançó en uns pocs 'megues' (3 o 4) sense una pèrdua apreciable de qualitat i la proliferació d'ordinadors connectats a Internet va fer que el tràfic de fitxers en aquest format col·lapsés més d'un servidor. Per això, no és estrany que apareguessin autèntiques col·leccions de fitxers musicals en format MP3 procedents de les fonts més variades. Aquest fet (la diversitat de les fonts) i la variabilitat entre els diferents codificadors fa que el volum del so d'aquests fitxers disti molt de ser semblant. I això és precisament el que procura aconseguir aquest projecte: fer que tota col·lecció de fitxers MP3 soni igual de fort.

Semàntica del mot : propietats semàntiques de tres verbs de desplaçament

El treball té com a objectiu l'estudi de les propietats semàntiques d'un grup de verbs de desplaçament i els seus corresponents arguments. La informació sobre el tipus de complement que demana cada verb és important de cara a conèixer l'estructura sintàctica de la frase i oferir solucions pràctiques en tasques de Processament del Llenguatge Natural. L'anàlisi se centrarà en els verbs conduir, navegar i volar, a partir dels sentits bàsics que el Diccionari d'ús dels verbs catalans (DUVC) descriu per a cadascun d'aquests verbs i de les seves restriccions selectives. Comprovarem, mitjançant un centenar de frases extretes del Corpus d'Ús del Català a la Web de la Universitat Pompeu Fabra i del Corpus Textual Informatitzat de la Llengua Catalana de l'Institut d'Estudis Catalans, si en la llengua es donen només els sentits i usos descrits en el DUVC i quins són els més freqüents. Finalment, descriurem els noms que fan de nucli dels arguments en termes de trets semàntics.

La formació de connectors complexos finals i causals

En aquesta comunicació s’analitza un aspecte de la codificació sintàctica de la llengua escrita, la formació de connectors hipotàctics complexos que introdueixen causes

Evolución diacrónica del sistema verbal de movimiento en español: entrar y salir (ss. XII-XV)

Esta investigación es una tesis doctoral que tiene como objetivo el estudio de la evolución semántica de los verbos entrar y salir desde el punto de vista diacrónico en español medieval mediante la aplicación de las herramientas teóricas proporcionadas por la Lingüística cognitiva. A través de un corpus de documentaciones extraídas del Corpus del nuevo diccionario histórico del español de la Real Academia Española y que abarcan el intervalo desde el siglo XIII al XV, se analizan los valores semánticos de ambos verbos con la finalidad de determinar cómo fue desarrollándose su uso, qué significados generaron otros nuevos y cómo se relacionan entre sí los significados de un mismo verbo. Para llevar a cabo esta tarea se ha partido de la Teoría de los prototipos aplicada a la categorización léxica, así como de la Teoría de la metáfora y la metonimia. Asimismo, se ha analizado la estructura sintáctica de cada ejemplo, la selección léxica de los argumentos verbales y la tradición discursiva a la que pertenece cada documentación. De esta forma, es posible, no sólo describir la evolución semántica de ambos verbos, sino completar la información sobre las causas de su desarrollo diacrónico. Finalmente, se establecen las relaciones semánticas de carácter diacrónico existentes entre ambos verbos en tanto que miembros de un mismo grupo léxico, los verbos de movimiento, y se corrobora su vinculación más allá de una relación de antonimia de tipo primario.

Traductor de pseudocodi a Java

L'objectiu del projecte és la realització d'una eina capaç de traduir el pseudocodi al llenguatge de programació Java, utilitzant la programació orientada a objectes. S'obté un programa en Java del qual es podrà comprovar el seu bon funcionament, tot compilant-lo amb qualsevol compilador estàndard de Java com el distribuït per Sun Microsystems. El projecte està basat en teories de llenguatges i creació d'autòmats reconeixedors de gramàtiques, ja que són els fonaments per tal de realitzar un compilador/traductor. En el traductor s'implementa tant l'anàlisi lèxica, com la sintàctica i la semàntica. Les etapes de generació de codi intermedi, optimització i generació de codi final són substituïdes per la generació de codi Java

Binary proposal for assessing quality of Open Access Institutional Repositories : the case of Spanish repositories

The reason for this study is to propose a new quantitative approach on how to assess the quality of Open Access University Institutional Repositories. The results of this new approach are tested in the Spanish University Repositories. The assessment method is based in a binary codification of a proposal of features that objectively describes the repositories. The purposes of this method are assessing the quality and an almost automatically system for updating the data of the characteristics. First of all a database was created with the 38 Spanish institutional repositories. The variables of analysis are presented and explained either if they are coming from bibliography or are a set of new variables. Among the characteristics analyzed are the features of the software, the services of the repository, the features of the information system, the Internet visibility and the licenses of use. Results from Spanish universities ARE provided as a practical example of the assessment and for having a picture of the state of the development of the open access movement in Spain.