On intentional and social agents with graded attitudes

La principal contribución de esta Tesis es la propuesta de un modelo de agente BDI graduado (g-BDI) que permita especificar una arquitetura de agente capaz de representar y razonar con actitudes mentales graduadas. Consideramos que una arquitectura BDI más exible permitirá desarrollar agentes que alcancen mejor performance en entornos inciertos y dinámicos, al servicio de otros agentes (humanos o no) que puedan tener un conjunto de motivaciones graduadas. En el modelo g-BDI, las actitudes graduadas del agente tienen una representación explícita y adecuada. Los grados en las creencias representan la medida en que el agente cree que una fórmula es verdadera, en los deseos positivos o negativos permiten al agente establecer respectivamente, diferentes niveles de preferencias o de rechazo. Las graduaciones en las intenciones también dan una medida de preferencia pero en este caso, modelan el costo/beneficio que le trae al agente alcanzar una meta. Luego, a partir de la representación e interacción de estas actitudes graduadas, pueden ser modelados agentes que muestren diferentes tipos de comportamiento. La formalización del modelo g-BDI está basada en los sistemas multi-contextos. Diferentes lógicas modales multivaluadas se han propuesto para representar y razonar sobre las creencias, deseos e intenciones, presentando en cada caso una axiomática completa y consistente. Para tratar con la semántica operacional del modelo de agente, primero se definió un calculus para la ejecución de sistemas multi-contextos, denominado Multi-context calculus. Luego, mediante este calculus se le ha dado al modelo g-BDI semántica computacional. Por otra parte, se ha presentado una metodología para la ingeniería de agentes g-BDI en un escenario multiagente. El objeto de esta propuesta es guiar el diseño de sistemas multiagentes, a partir de un problema del mundo real. Por medio del desarrollo de un sistema recomendador en turismo como caso de estudio, donde el agente recomendador tiene una arquitectura g-BDI, se ha mostrado que este modelo es valioso para diseñar e implementar agentes concretos. Finalmente, usando este caso de estudio se ha realizado una experimentación sobre la flexibilidad y performance del modelo de agente g-BDI, demostrando que es útil para desarrollar agentes que manifiesten conductas diversas. También se ha mostrado que los resultados obtenidos con estos agentes recomendadores modelizados con actitudes graduadas, son mejores que aquellos alcanzados por los agentes con actitudes no-graduadas.

Quantified real constraint solving using modal intervals with applications to control

Les restriccions reals quantificades (QRC) formen un formalisme matemàtic utilitzat per modelar un gran nombre de problemes físics dins els quals intervenen sistemes d'equacions no-lineals sobre variables reals, algunes de les quals podent ésser quantificades. Els QRCs apareixen en nombrosos contextos, com l'Enginyeria de Control o la Biologia. La resolució de QRCs és un domini de recerca molt actiu dins el qual es proposen dos enfocaments diferents: l'eliminació simbòlica de quantificadors i els mètodes aproximatius. Tot i això, la resolució de problemes de grans dimensions i del cas general, resten encara problemes oberts. Aquesta tesi proposa una nova metodologia aproximativa basada en l'Anàlisi Intervalar Modal, una teoria matemàtica que permet resoldre problemes en els quals intervenen quantificadors lògics sobre variables reals. Finalment, dues aplicacions a l'Enginyeria de Control són presentades. La primera fa referència al problema de detecció de fallades i la segona consisteix en un controlador per a un vaixell a vela.

Time misalignments in fault detection and diagnosis

El desalineamiento temporal es la incorrespondencia de dos señales debido a una distorsión en el eje temporal. La Detección y Diagnóstico de Fallas (Fault Detection and Diagnosis-FDD) permite la detección, el diagnóstico y la corrección de fallos en un proceso. La metodología usada en FDD está dividida en dos categorías: técnicas basadas en modelos y no basadas en modelos. Esta tesis doctoral trata sobre el estudio del efecto del desalineamiento temporal en FDD. Nuestra atención se enfoca en el análisis y el diseño de sistemas FDD en caso de problemas de comunicación de datos, como retardos y pérdidas. Se proponen dos técnicas para reducir estos problemas: una basada en programación dinámica y la otra en optimización. Los métodos propuestos han sido validados sobre diferentes sistemas dinámicos: control de posición de un motor de corriente continua, una planta de laboratorio y un problema de sistemas eléctricos conocido como hueco de tensión.

VLSI architecture for motion estimation in underwater imaging

El treball desenvolupat en aquesta tesi aprofundeix i aporta solucions innovadores en el camp orientat a tractar el problema de la correspondència en imatges subaquàtiques. En aquests entorns, el que realment complica les tasques de processat és la falta de contorns ben definits per culpa d'imatges esborronades; un fet aquest que es deu fonamentalment a il·luminació deficient o a la manca d'uniformitat dels sistemes d'il·luminació artificials. Els objectius aconseguits en aquesta tesi es poden remarcar en dues grans direccions. Per millorar l'algorisme d'estimació de moviment es va proposar un nou mètode que introdueix paràmetres de textura per rebutjar falses correspondències entre parells d'imatges. Un seguit d'assaigs efectuats en imatges submarines reals han estat portats a terme per seleccionar les estratègies més adients. Amb la finalitat d'aconseguir resultats en temps real, es proposa una innovadora arquitectura VLSI per la implementació d'algunes parts de l'algorisme d'estimació de moviment amb alt cost computacional.

Contribución al estudio de la extracción química del Fe3+ contaminante de la madera arqueológica subacuática impregnada con polietilenglicol

Due to the large quantity of contamination by Fe in the waterlogged wood and the composites previously processed with poliethilenglycol, PEG , we have thought the possible extraction and formation of complexes Fe-L (L= 2-Phosphonobuta-1,2,4- tricarboxylic acid, (PBTC)) and their effect on (i) structure of the wood, (ii) structure and physiques characteristics of PEG and (iii) post-treatment contamination by Fe coming from atmospheric agents. This work is a project for to study the formation of these complexes and possible modifications in structures.

La normativa d'assegurament de la qualitat ISO 9000: impacte a les empreses de Catalunya

Durant aquests darrers anys hem pogut veure com el concepte de qualitat apareixia amb molta força a casa nostra. En l'àmbit empresarial i possiblement degut a la influència que ha tingut la implicació de les grans empreses en tot aquest moviment, o potser només a la creixent competència de les empreses estrangeres, el petit i mitjà empresari del nostre país s'ha vist obligat a obrir les portes de casa seva al que podríem definir com a la "Cultura de la Qualitat". És evident que en aquesta entrada l'administració també hi ha pres part. Ara bé, sovint aquest missatge a favor de la qualitat ha estat "disfressat" de la tant coneguda normativa ISO 9000. Poc a poc, sota aquestes sigles la gent s'ha fet la distorsionada idea de que això vol dir qualitat i tot el que surti d'això és sinònim de mala qualitat. Així doncs, val realment la pena la implicació en el compliment d'aquestes normes? És realment per això pel que la majoria de les petites i mitjanes empreses del nostre entorn s'han implicat en l'assegurament de la qualitat segons la ISO 9000? I més encara, una vegada han aconseguit el certificat de qualitat n'estan realment satisfetes de les millores que han tingut? O la única millora important és la de la imatge externa de l'empresa? La recerca d'una resposta amb base científica és la que porta al desenvolupament del present treball, omplint el buit que hi ha actualment entre els treballs teòrics i la realitat. Aquesta tesi vol esbrinar quin ha estat l'impacte que hi ha hagut a les empreses catalanes degut a la implicació en la normativa d'assegurament de la qualitat ISO 9000. El mètode de recerca es basarà en una anàlisi de les dades que es recullin d'un treball empíric a realitzar en petites i mitjanes empreses de les comarques de Catalunya. Al primer capítol es defineix exactament quin és l'objectiu d'aquest treball de recerca. Al capítol dos es pot trobar una perspectiva del que ha estat la qualitat en la història i de la gent que ha fet possible que prengués la importància que ara té. La normativa d'assegurament de la qualitat ISO 9000, marc de treball d'aquesta tesi es mereix un capítol apart, el tres. A partir de les hipòtesis a contrastar, i la literatura sobre la gestió de la qualitat, al quart capítol es defineix com es portarà a terme es treball, quedant definit doncs quin serà el treball empíric que s'ha portat a terme. Al cinquè capítol es troben els resultats obtinguts del treball empíric, així com un anàlisi descriptiu d'aquests. Les hipòtesis plantejades es resolen al capítol sisè, mitjançant l'aplicació de la tècnica estadística denominada: "Anàlisi cluster". Aquesta tècnica permetrà veure per a quines agrupacions d'empreses es compleixen les hipòtesis i per quines no, realitzant-se així un estudi més concret de la situació. Finalment al capítol setè és on s'hi troben les conclusions d'aquest treball,analitzant-se també quines poden ser futures línies d'investigació en aquest camp.

Servei de retirada de vehicles de la via pública del terme municipal de València basat en localització GPS i comunicacions GPRS

L’objectiu d’aquest projecte és dotar a Servicleop d’un programari que li permeti millorar la gestió dels serveis de retirada de vehicles de la via pública, que actualment s’efectua a través del canal de veu. Això s’aconseguirà mitjançant l’ús de cartografia digital i localització GPS, que permetrà optimitzar l’assignació de retirades al saber quina grua es troba en millor disposició, i PDAs que es comunicaran amb un centre de control a través de GPRS des del qual s’assignaran aquest serveis. S’oferiran facilitats sempre que sigui possible en la introducció de dades, disminuint les probabilitats de cometre errors, i tot el procés quedarà enregistrat automàticament en base de dades per a poder generar estadístiques o informes. el projecte parteix d’un altre projecte intern de Knosos anomenat Micronav.Net Serveis, en el qual també he treballat molt activament i que ofereix una solució genèrica similar a la requerida per Servicleop, empresa a la que va destinada el sistema que es presenta en aquest projecte final de carrera

ACME - Mòdul d'usuaris convidats

El projecte ACME va néixer, l’any 1998, amb la finalitat de millorar la docència de les matemàtiques en els estudis d’Enginyeria Industrial i Enginyeries Tècniques de l’Escola Politècnica de la Universitat de Girona, amb la intenció de buscar la manera de que els alumnes s’impliquessin i participessin més activament en aquesta matèria fent ús de la xarxa com a via de comunicació. El projecte ACME, Avaluació Continuada i Millora de l’Ensenyament, és una eina d’e-learning que té com a objectiu fer una avaluació continuada dels alumnes a través d’uns dossiers personalitzats de problemes que el professor proposa. El sistema permet fer el seguiment, per part del professor, del progrés del conjunt de la classe, o d’un alumne individual, en una assignatura concreta. Això fa que l’ACME tingui un gran valor pedagògic. Els objectius d’aquest projecte final de carrera són els següents: • Desenvolupar un sistema de gestió d’usuaris convidats que ens permeti acceptar o denegar l’accés a usuaris que prèviament han fet una petició per poder utilitzar l’ACME. • Crear un sistema que faciliti la tasca d’assignar als usuaris els temes i els problemes més adients pel seu perfil. • Desenvolupar tot un seguit de millores i ampliacions amb la intenció d’integrar el nou mòdul dins les interfícies existents: Ampliar la interfície d’administració en l’apartat d’usuari amb la opció per gestionar els usuaris convidats. Ampliar la interfície d’administració en l’apartat del quadern de problemes amb les opcions adients per tal de gestionar les assignatures dels convidats.

Generador d'horaris d'un centre docent

El projecte intenta resoldre el problema que suposa organitzar l'horari escolar en els centres docents. S'usa el Visual Bàsic per aconseguir, omplir i mostrar el contingut d’una base de dades feta amb Microsoft Access. Per generar el resultat, s'utilitza el llenguatge de programació lògica Prolog, el qual en ser un llenguatge declaratiu i utilitzant una llibreria de restriccions que permet fer modificacions d’una forma molt versàtil, aconsegueix un entorn de programació ideal per atacar aquest tipus de problema. Amb una interacció del Visual Bàsic amb el Prolog es pot mostrar d’una manera elegant i fàcil d’entendre el resultat obtingut

Restaural, sistema de gestió de comandes per restaurants

El projecte consisteix en un sistema informatitzat per restaurants centralitzat en un servidor que permet recollir comandes als clients a través de PDA’s i de pantalles tàctils situades a la barra per enviar-les als corresponents llocs d’ elaboració: -Terminal de la cuina on s’elaboraran tots els menjars. -Terminal de la bodega on es serviran els vins i caves. -Terminal barra on es serviran els licors, refrescos (entre d’altres productes totalment configurables). -Terminal de postres on es reben les línies de comanda relacionades amb els postres. L’objectiu acadèmic del projecte serà adquirir coneixement a nivell de disseny i gestió de dades, així com la comunicació de diversos dispositius en temps real. S’utilitzarà la tecnologia .net, concretament el llenguatge de programació visual c# .net. i com a gestor de bases de dades el mysql 5.0.19. A més, es treballa amb la metodologia UML, utilitzant també diversos patrons. Per fer del sistema un sistema centralitzat en un servidor s’utilitzarà la comunicació per terminal service de windows el qual ens brinda la possibilitat d’establir diverses sessions d’usuaris concurrents. Cada sessió estarà destinada a un cambrer, per tant, hi haurà una sessió per PDA

Aplicació de comptabilitat

L’objectiu d’aquest treball final de carrera és la realització d’una aplicació de comptabilitat que permeti gestionar tot el cicle comptable, és a dir, des de l’obertura d’un exercici fins el seu tancament. Per fer això, s’estableix que l’aplicació haurà de complir els següents requeriments: • Gestió de comptes comptables • Entrada de moviments (assentaments) • Visualitzar diaris i extractes dels comptes • Balanços • Processos d’obertura i tancament • Visualitzar registres d’IVA • Processos d’administració També haurà de permetre la gestió d’altres elements necessaris pel funcionament de l’aplicació com per exemple: empreses, impostos, documents, etc

Mòdul de gestió de magatzems segons el model d'organització física de "magatzem caòtic"

Creació d'una 'aplicació de gestió comercial i comptable partint de la ja existent en l’empresa Ph Systems S.L., seguint per tant la tecnologia utilitzada en aquesta aplicació, desenvolupada en Visual Basic 6 i utilitzant uns objectes i llibreries propis per facilitat l’enllaç dels formularis amb les taules de la base de dades utilitzant tant connexions ODBC com connexions OLE DB. El gestor de base de dades seleccionat per realitzar el projecte serà Oracle, que és el que actualment s’utilitza per les dades de l’aplicació de gestió d’estocs. Tasques a realitzar: Anàlisi dels requeriments del sistema. Disseny dels diferents mòduls de la futura aplicació. Obtenir una base de dades ben definida partint de la ja existent. Implementació dels mòduls de la futura aplicació. Els objectius d’aprenentatge d’aquest projecte són els següents: Millora del coneixement de la gestió d’una base de dades Oracle Millora en l’aprenentatge del llenguatge de programació Visual Basic 6

Desarrollo de una aplicación para la gestión de documentos internos de ámbito empresarial

La asesoría de empresas Ribas Álvarez tiene, actualmente, un problema con la gestión de documentos internos, que se realiza mediante correo interno y una aplicación sencilla de indexación de archivos (HTML); sin ningún tipo de supervisión ni restricción. Esta empresa dispone de un cierto número de trabajadores, los cuales pertenecen a diferentes secciones (privadas o públicas) dentro de la empresa. La información que circula dentro de la empresa, no tiene ningún tipo de seguridad pudiendo cualquier trabajador, disponer de ella aunque no le sea de utilidad. Se quiere crear una aplicación que cumpla con las necesidades que la empresa desea para la administración y gestión de documentos internos, con un control de usuarios y seguridad de acceso a esta aplicación. El objetivo básico de la aplicación seria la creación y gestión de una intranet de control y seguimiento de documentos para una asesoría de empresas

Motor de cerca iSAC (Servei Intel·ligent d'Atenció Ciutadana Via Web)

El projecte iSAC (Servei Intel·ligent d’Atenció Ciutadana via web) es va iniciar el mes de gener de 2006 amb l’ajut del nou coneixement científic en agents intel·ligents, junt amb l’aplicació de les Tecnologies de la Informació i la Comunicació (TIC) i els cercadors. Actualment, el servei actual d’atenció al ciutadà està composat per dues àrees: l’atenció directa a les oficines i l’atenció telefònica a través del Call Center. Les limitacions de personal i horari d’atenció fan que aquest servei perdi eficàcia. Es vol desenvolupar un producte amb una tecnologia capaç d’ampliar i millorar la capacitat i la qualitat de l’atenció ciutadana en les administracions públiques, sigui quina sigui la seva dimensió. Tot i això, aquest projecte l’explotaran especialment els ajuntaments, als quals la ciutadania s'acosta amb tot tipus de preguntes i dubtes, habitualment no restringides a l'àmbit local. Més concretament, es vol automatitzar a través d’un portal web l’atenció al ciutadà per tal d’obtenir un servei més efectiu

Ciencia de puestos militares o Tratado de las fortificaciones de campaña : para el uso de los oficiales de infanteria ...

Anteport