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.

Desenvolupament de codis numèrics per a la resolució de fluxos turbulents en ordinadors paral·lels emprant discretitzacions tipus symmetry-preserving

Projecte de recerca elaborat a partir d’una estada a la University of Groningen, Holanda, entre 2007 i 2009. La simulació directa de la turbulència (DNS) és una eina clau dins de la mecànica de fluids computacional. Per una banda permet conèixer millor la física de la turbulència i per l'altra els resultats obtinguts són claus per el desenvolupament dels models de turbulència. No obstant, el DNS no és una tècnica vàlida per a la gran majoria d'aplicacions industrials degut al elevats costos computacionals. Per tant, és necessari cert grau de modelització de la turbulència. En aquest context, s'han introduïts importants millores basades en la modelització del terme convectiu (no lineal) emprant symmetry-preserving regularizations. En tracta de modificar adequadament el terme convectiu a fi de reduir la producció d'escales més i més petites (vortex-stretching) tot mantenint tots els invariants de les equacions originals. Fins ara, aquest models s'han emprat amb èxit per nombres de Rayleigh (Ra) relativament elevats. En aquest punt, disposar de resultats DNS per a configuracions més complexes i nombres de Ra més elevats és clau. En aquest contexte, s'han dut a terme simulacions DNS en el supercomputador MareNostrum d'una Differentially Heated Cavity amb Ra=1e11 i Pr=0.71 durant el primer any dels dos que consta el projecte. A més a més, s'ha adaptat el codi a fi de poder simular el fluxe al voltant d'un cub sobre una pared amb Re=10000. Aquestes simulacions DNS són les més grans fetes fins ara per aquestes configuracions i la seva correcta modelització és un gran repte degut la complexitat dels fluxes. Aquestes noves simulacions DNS estan aportant nous coneixements a la física de la turbulència i aportant resultats indispensables per al progrés de les modelitzacións tipus symmetry-preserving regularization.

El recurso tiempo para el bienestar laboral en la organización sanitaria "saludable"

Introducción: El recorte del gasto en el sector sanitario está agudizando la escasez de recursos, repercutiendo en la eficacia organizacional y en el bienestar laboral de los profesionales de la medicina (Blanch, 2010; Cervantes, 2009). Según el modelo de demandas y recursos laborales (Demerouti, Bakker, Nachreiner y Schaufeli, 2001), el trabajo médico se caracteriza por una alta demanda laboral (sobrecarga de trabajo y presión asistencial) y una acusada escasez de tiempo, que perjudica el uso de recursos de tarea, organizacionales y sociales, favoreciendo la activación del proceso de erosión de la salud. Objetivo: Analizar la influencia del recurso tiempo en el bienestar laboral de los profesionales de la medicina en el contexto sanitario actual. Método: Se realizaron 134 entrevistas personales a personal medico de distintos hospitales públicos de Barcelona en el contexto de una investigación de Bienestar laboral general (Blanch y cols., 2010), mediante preguntas abiertas situadas en la evolución de las condiciones de trabajo en su hospital. Posteriormente se trascribieron esas entrevistas para realizar un análisis cualitativo de contenido mediante el programa Atlas. Ti V6.0. Resultados: Los factores de riesgo psicosocial y los indicadores saludables están altamente influenciados por el factor tiempo. La disponibilidad del tiempo está relacionada con la satisfacción de rol, ambiente de trabajo, trabajo en equipo, apoyo social y relación médico paciente. Conclusiones: La organización sanitaria para llegar a ser saludable, entre otros aspectos, debe de tomar el recurso tiempo como un elemento clave para el bienestar del personal y la gestión del ambiente social positivo. Palabras clave: Bienestar laboral, Organización saludable, Hospitales, Riesgo psicosocial, tiempo.

On [summation of 1 raised to the power 1] equivalence relations over the natural numbers

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

Los conflictos cognitivos y la construcción del sí mismo y de los otros en los trastornos de la conducta alimentaria

La baja autoestima y algunas formas de pensamiento han sido frecuentemente asociadas a los trastornos alimentarios. La Técnica de Rejilla permite evaluar la apreciación del propio valor en base a la comparación entre el Yo Actual y el Yo Ideal. Esta evaluación toma en cuenta los atributos que son importantes para la persona, en contraste con las medidas tradicionales de autoestima, que derivan de constructos teóricos reflejados en los ítems de cuestionarios. El estudio de la construcción del sí mismo en la técnica de rejilla se completa con otras dos medidas: la identificación o aislamiento social autopercibido, y la adecuación percibida en los otros. Estas medidas se derivan de la comparación del Yo Actual y el Yo Ideal con los otros. Además, nuestro grupo de investigación ha promovido una línea de investigación que enfatiza la conceptualización de los síntomas psicológicos en términos de dilemas personales, basada en el estudio de los conflictos cognitivos evaluados mediante la técnica de rejilla. El objetivo nuestra investigación es explorar la relación entre los patrones de construcción del sí mismo y de los otros (incluyendo los conflictos cognitivos) y las actitudes alimentarias disfuncionales en pacientes afectados de trastornos de la conducta alimentaria y en muestras no clínica. Se pretende investigar si las variables cognitivas resultan útiles en la predicción de actitudes relacionadas con problemas alimentarios, con la gravedad del trastorno y con los resultados del tratamiento.Para ello, se han realizado cuatro estudios, cuyos resultados han sido ya difundidos en congresos o en formato de artículo en revistas científicas.

Control de presència Ajuntament de Parets del Vallès

Aquest projecte consisteix en el desenvolupament de part d’una intranet per l’Ajuntament de Parets del Vallès, i pretén donar, tant als treballador i treballadores com a la corporació, informació fidedigna sobre les jornades laborals, ajudar i agilitzar la comunicació unidireccional Ajuntament-Treballador i exercir un major control sobre la puntualitat i hores treballades. L’aplicació és un portal web des del qual el treballador o treballadora podrà fitxar a l’entrada i sortida de la seva jornada laboral, consultar els seus marcatges, rebre missatges per part de la corporació, actualitzar les seves dades personals i descarregar-se les seves nòmines, copies de contractes, documents, etc... Per altra banda, des del departament de Recursos Humans es podran realitzar les mateixes accions però sobre qualsevol usuari de l’aplicació, podent també modificar i/o eliminar marcatges, crear i/o editar el calendari laboral de cada treballador o treballadora, enviar missatges als usuaris i generar informes.

Darrera de la màscara de Comediants. L'imaginari d'un grup de teatre català : Creació d'una exposició permanent per a museu Comediants

TFC que segueix l'esquema d'un projecte cultural. D'una banda, s'analitzen els factors interns i externs de l'organització que poden influir en l'execució d'aquest projecte. El clímax és la creació d'una exposició permanent per a un museu Comediants. Interpretant el discurs de Comediants es proposa un discurs expositiu. Interessant elecció de missatges i divertits recursos expositius. Des del començament s'ha volgut fugir de la idea d'elaborar un TFC on solament se sintetitzessin dades i informació. Tanmateix, aquest TFC és un treball de recerca i, com a tal, la major part és la síntesi de dades i informacions obtingudes mitjançant investigació. No obstant això, hi ha una altra part molt important amb aportacions personals on s'ha posat a prova la pròpia creativitat i la capacitat de proporcionar aspectes innovadors, els quals, al cap i a la fi, han sorgit arran del treball en grup.

Construcció d'un SIG per la gestió en camins no cartografiats

Aquest treball està format per dues parts: la primera és un recull de tots els elements teòrics necessaris per entendre els rudiments d'un SIG i la segona, en la que es construeix un SIG de Catalunya, en el que es representarà les entitats bàsiques de la cartografia catalana: províncies, comarques, límits municipals, municipis i els camins no cartografiats enregistrats per terminals GPS.

Bingo segur

En aquest TFC es proposa un protocol de CMS aplicat a un Joc de Bingo, en que les entrades són nombres generats pels jugadors i el resultat cercat és un nombre aleatori per al joc.

Gestiona't : aplicació en J2EE per a la gestió personal del treball

Aquest treball final de carrera es basa en l'anàlisi, disseny i implementació d'una solució per a la autogestió dels recursos humans de l'empresa; és a dir, per tal que tots els treballadors de la mateixa puguin gestionar tot el relacionat amb el seu entorn de treball (les seves dades personals, el seu temps de treball, les tasques relacionades amb el seu càrrec, la sol·licitud de vacances...). Paral·lelament, aquest treball estudia la viabilitat d'emprar com a eina de treball professional diària l'IDE Eclipse amb la integració del plug-in d'Exadel Studio per a l'ús del framework Struts.

Competencias Profesionales

En el entorno del ejercicio profesional, las destrezas, los valores y actitudes personales, tienen un papel relevante y complementario al de los conocimientos. Este es el motivo de que la enseñanza basada en competencias, como una combinación de saber, ser, hacer y estar con otros, esté en la línea deseada. En este sentido, las universidades han estado elaborando nuevos planes de estudio en los que se desarrollan los nuevos Grados de acuerdo al EEES, incluyendo en estos, las competencias genéricas de cada titulación, que en general, se ciñen a las propuestas presentadas en el proyecto Tuning 2003.La investigación llevada a cabo sobre la competencia comunicativa escrita en el Grado de Ingeniería en Informática, se ha centrado en universidades de toda la geografía española. La información se ha analizado en función de dos marcos de clasificación: el marco curricular (planes de estudio y memorias de verificación de Grado) y el marco de evaluación (rúbricas).La investigación ha corroborado, que la competencia comunicativa escrita, una competencia instrumental genérica que está en el grupo de las destrezas lingüísticas, se trabaja de forma natural en una variedad de asignaturas repartidas a lo largo de los planes de estudio del Grado de Ingeniería en Informática, hecho que favorece la consecución de esta competencia. Aunque solo alrededor de un 20% de los planes de estudio analizados presentan una asignatura, la cual, uno de sus objetivos principales sea la de favorecer la competencia comunicativa escrita, se entiende, además de por la transversalidad de la competencia comunicativa escrita en un plan de estudios TIC, porque esta competencia, como se ha señalado, se puede trabajar de forma eficaz dentro de las metodologías de otras asignaturas.La investigación nos ha llevado a la conclusión, de que un futuro Graduado en Ingeniería Informática de una universidad española, presentará suficiencia en la competencia comunicativa escrita, ya que en esa dirección apuntan las referencias analizadas. El uso de rúbricas se hace necesario para evaluar el aprendizaje de dicha competencia, ya que sin evaluación, no hay posibilidad de constatar si realmente se alcanzan los niveles de calidad deseados.El modelo educativo que propone la UOC, permite que se desarrollen de forma preeminente una serie de competencias transversales, que resultan básicas a la hora de enfrentarse a los retos que nos propone la sociedad, preparando a profesionales, además de con los conocimientos técnicos propios de un Ingeniero en Informática, con las habilidades y competencias transversales necesarias que completan su formación técnica.

BCN-Routing : càlcul web de rutes amb pgRouting, OpenStreetMaps i OpenLayers

Es presenta un sistema acurat de càlcul web d'itineraris mínims (per a vianants i per a vehicles) entre dos punts de la ciutat de Barcelona, un dels quals es triat per l'usuari directament a sobre un mapa i l'altre, alternativament, a sobre el mateix mapa o bé a sobre una llista de selecció de les principals atraccions turístiques de Barcelona.El sistema es troba implementat per medi de MapServer (1) com a servidor, OpenLayers (2) per a la interfície d'usuari, una base de dades PostrgreSQL (3)/PostGIS (4) que recull dades d'OpenStreetMaps (5) per a la navegació i dades introduïdes manualment, per a la llista de selecció d'atraccions turístiques. Per al càlcul d'itineraris es fa servir, pgRouting (6) alhora que s'accedeix a la cartografia de CartoCiudad (7) per a mostrar un mapa de base i opcionalment els noms dels carrers i punts d'interès a partir de les capes FondoUrbano, Vial i Topónimo del servidor WMS de CartoCiudad.Tot el sistema corre a sobre Windows 7 Home Premium (8).Així mateix es presenten quatre noves funcions i un tipus definit per l'usuari de PostgreSQL per al càlcul acurat d'itineraris mínims i l'estudi teòric que justifica la seva bondat.

GIP - Gestor d'informació parroquial

La finalidad de este proyecto es la creación de un nuevo software para la gestión de las fichas personales en las parroquias, facilitando el acceso a estos datos para cualquier usuario y su actualización. Se pretende que aquestainformació deje de estar únicamente conservada en papeles para pasar a estar guardada en una base de datos y teniendo así la opción de guardar copias de seguridad. El sistema a desarrollar lo hará con tecnología J2EE.

Estudi de comparació de rendiment de Benchmark multicore i multithreading amb OpenMP 2.5 i OpenMP 3.0

Estudi comparatiu amb benchmark del rendiment en dues plataformes multicore multithreading de diferents modalitats de paral·lelització de multiplicacions de matrius de nombres enters i de nombres en coma flotant mitjançant el model de memòria compartida OpenMP versió 2.5 i OpenMP versió 3.0.

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.