On Borel equivalence relations in generalized Baire space

"Vegeu el resum a l'inici del document del fitxer adjunt."

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.

Validesa, generalització i seguiment del programa prosocial. Un estudi transversal i longitudinal

Aquest projecte és una continuació lògica de la investigació realitzada durant l’any 2005. Ha consistit en l’aplicació del programa a un conjunt de joves infractors de les terres de Lleida i el seu seguiment per conèixer la possible reincidència en el delicte. L’objectiu general era disposar d’un instrument d’intervenció eficaç en Medi Obert per al tractament de menors amb mesures judicials, de manera que els menors es vegin beneficiats pel contingut d’un programa que augmenta la competència i autoestima prosocial. L’estudi s’ha fet amb 10 menors, 5 en el grup experimental i 5 en el grup de control, dintre de la població que al començament de 2006 es trobava sota mesura imposada pel jutge de llibertat vigilada o sota mesura de realització de tasques socioeducatives. Els resultats del seguiment dels menors que han realitzat el programa porta als autors a concloure que la taxa de reincidència en el delicte és molt inferior en els joves que han seguit el programa que en els que no l’han seguit. Aquesta taxa també és inferior a la mitjana de reincidència per mesures de medi obert de Lleida i Catalunya

Text2Emotion: un gestor d'experiències SOA : extracció d'emocions per al suport a la gestió de relació amb clients

Customer Experience Management (CEM) se ha convertido en un factor clave para el éxito de las empresas. CEM gestiona todas las experiencias que un cliente tiene con un proveedor de servicios o productos. Es muy importante saber como se siente un cliente en cada contacto y entonces poder sugerir automáticamente la próxima tarea a realizar, simplificando tareas realizadas por personas. En este proyecto se desarrolla una solución para evaluar experiencias. Primero se crean servicios web que clasifican experiencias en estados emocionales dependiendo del nivel de satisfacción, interés, … Esto es realizado a través de minería de textos. Se procesa y clasifica información no estructurada (documentos de texto) que representan o describen las experiencias. Se utilizan métodos de aprendizaje supervisado. Esta parte es desarrollada con una arquitectura orientada a servicios (SOA) para asegurar el uso de estándares y que los servicios sean accesibles por cualquier aplicación. Estos servicios son desplegados en un servidor de aplicaciones. En la segunda parte se desarrolla dos aplicaciones basadas en casos reales. En esta fase Cloud computing es clave. Se utiliza una plataforma de desarrollo en línea para crear toda la aplicación incluyendo tablas, objetos, lógica de negocio e interfaces de usuario. Finalmente los servicios de clasificación son integrados a la plataforma asegurando que las experiencias son evaluadas y que las tareas de seguimiento son automáticamente creadas.

Securización de sistemas Linux

El objeto del presente documento es proporcionar una serie de directrices de configuración de seguridad para sistemas operativos Suse Linux Enterprise Server 11. Este sistema operativo proporciona un conjunto interesante de mecanismos de seguridad que permiten alcanzar un nivel de seguridad aceptable. Mediante la aplicación de las directrices expuestas en este documento se podrá garantizar una configuración adecuada del sistema operativo Suse Linux Enterprise Server 11 en lo relativo a la seguridad lógica.

Anàlisi. Disseny i implementació d'una utilitat de Workflow aplicat a una web de gestió d'un centre de Reclamacions i Queixes mitjançant J2EE : una solució amb Struts i EJBs

El treball final de carrera està compost de l¿anàlisi, disseny i implementació d'una utilitat de Workflow que dóna servei a una web per gestionar les reclamacions i queixes d'una empresa. La part del Workflow s'ha pensat per ser totalment configurable a les particularitats d'un determinat aplicatiu i per donar servei a tantes aplicacions com faci falta simultàniament.L'anàlisi i el disseny s'han basat en la metodologia UML dins el paradigma de l'Orientació a Objectes juntament amb diversos patrons de disseny com pot ser el MVC que ha permès separar completament la lògica de negoci (Workflow) de la presentació (Web). Per les 2 parts: Workflow i web s¿ha fet ús d'una arquitectura distribuïda.

Estudio, Comparativa y Aplicación Práctica de Metodologías deDesarrollo de Aplicaciones Web en Java

L'estudi es centra sobre alguns dels frameworks que podem trobar al mercat. A més, agrupa els frameworks en funció de la part de l'aplicació sobre la qual centra el seu suport, presentació, lògica de negoci, persistència de dades, seguretat ..., oferint una visió dels seus aspectes més rellevants. A continuació es realitza una comparació entre alguns dels frameworks estudiats per facilitar la seva elecció segons les necessitats de l'aplicació a construir.

La botiga de l'àvia

Des del punt de vista tecnològic, aquest projecte presenta com a objectius la utilització d'una metodologia per al desenvolupament i la gestió del projecte, i també la utilització de la plataforma J2EE per a construir un sistema distribuït aplicant un patró arquitectònic de tres capes, que separi la presentació, la lògica de negoci i l'accés a les dades. De manera opcional es podran fer servir estructures avançades, com ara EJB i patrons de disseny.

Anàlisi, disseny i implementació d'una aplicació fent servir l'arquitectura J2EE

L'objectiu general és l'anàlisi, el disseny i la implementació d'una 'Guia del viatger'. Es pretén separar clarament la presentació, la lògica de negoci i l'accés a les dades. Concretament, la presentació es preveu implementar amb la combinació de Servlets i JSP's, mentre que la lògica de negoci i la capa de dades amb Enterprise Java Beans (EJB's)

Registre d'entrades i eixides per a l'administració pública

Aquesta memòria representa la definició del meu projecte final de carrera amb una aplicació destinada al registre d'entrades i eixides de l'Administració pública. He emprat eines de plataformes lliures i obertes per al desenvolupament del projecte, amb tecnologia J2EE. A més, hi ha l'objectiu de fer servir i provar arquitectures d'última generació com Enterprise JavaBeans Preview_2 (EJB) 3.0 (5/11/04) per a la lògica de negoci, Hibernate 3.0 alpha (actualment hi ha la beta 1.0 publicada el 20/12/04) com a

Emulador de un microcontrolador PIC 16F84 basado en una FPGA

L'objectiu d'aquest projecte és investigar la viabilitat de realització d'emuladors de microcontroladors basats en circuïts electrònics de lògica programable mitjançant un avantprojecte que analitzi les tècniques i eines necessàries.

Catalogo.NET Sistema multicliente con arquitectura SOA basado en tecnología .NET

El paradigma SOA conceptualitza el programari establint una separació entre les aplicacions i els components de lògica empresarial. El present Treball de Fi de Carrera uneix ambdós conceptes mitjançant l'anàlisi, disseny i desenvolupament d'un Catàleg de Productes amb Arquitectura Orientada a Serveis i tecnologia .NET com marc de treball. Així mateix, s'han introduït com valor afegit una sèrie de tecnologies noves que contribuïxen, sens dubte, a la millora del resultat final.

Estudi i implementació d'un sistema multiagent intel·ligent i la seva aplicació a sistemes difusos

Estudi i implementació d'un sistema multiagent intel·ligent i la seva aplicació a sistemes difusos. Utilització de les llibreries JADE i JFuzzyLogic.

Diseño e implementación de un framework de persistencia

Los Frameworks constituyen el nuevo paradigma en cuanto al desarrollo de software se refiere. Entre sus principales características se encuentran la facilidad para la reutilización de código. En este marco específico proporcionados por la tecnología usaremos la tecnología JAVA y su extensión en cuanto a la persistencia de datos. El Framework de persistencia es el responsable de gestionar la lógica de acceso a los datos en un SGBD (Sistema de Gestión de Bases de Datos), ya sea de entrada o salida, y ocultando los detalles más pesados relativos a la estructura propia de la Base de Datos utilizada, de manera completa y transparentemente. En conclusión, este proyecto se basa en un análisis del los Frameworks existentes, analizando sus características y profundizando en los detalles concretos de su actividad y manejo en cuanto a la persistencia.

A Classification of Tools for Learning Logic

A table showing a comparison and classification of tools (intelligent tutoring systems) for e-learning of Logic at a college level.