On absoluteness of categoricity in abstract elementary classes

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

Aplicació per la creació de classes interactives de Ciclo Indoor

Es tracta d'un projecte evolutiu que permetrà crear una aplicació que serveixi de suport gràfic per a les classes de Ciclo Indoor i que a més a més permetrà al professor preparar-les en pocs minuts. També tindrà un apartat dedicat a gestionar als usuaris del sistema mitjançant una connexió a una base de dades que també ha sigut dissenyada i desenvolupada en aquest projecte.

Chebyshev-type quadrature formulas for new weight classes

We give Chebyshev-type quadrature formulas for certain new weight classes. These formulas are of highest possible degree when the number of nodes is a power of 2. We also describe the nodes in a constructive way, which is important for applications. One of our motivations to consider these type of problems is the Faraday cage phenomenon for discrete charges as discussed by J. Korevaar and his colleagues.

Creació de taules d'una base de dades relacional a partir del diagrama de classes d'anàlisi d'UML

És ben sabut que les úniques etapes del cicle de vida del programari que necessàriament s'han d'especificar són les de recollida de requisits i l'anàlisi o l'especificació del programari. La resta (disseny, implementació i prova) es pot generar d'una manera més o menys automàtica a partir de l'anàlisi. En aquest PFC hem volgut estudiar la viabilitat de la construcció automàtica de codi SQL a partir de diagrames de classes d'anàlisi UML. S'ha estès l'eina de modelatge UML Poseidon amb un connector, de manera que amb una interfície molt simple es pot obtenir molt ràpidament l'esquema bàsic d'una base de dades, incloent-hi les taules, les seves columnes, claus rimàries i foranes, i també els disparadors (i les claus úniques) necessaris per a garantir les restriccions de cardinalitat de les associacions.

Generació automàtica de l'esquema de bases de dades relacional d'una aplicació a partir del seu diagrama de classes representat en XML i creació automàtica d'interfícies de control d'intercanvi d'informació

En aquest projecte, amb la finalitat d'analitzar per mitjà d'un exemple (la base de dades d'una botiga que opera en línia) algunes de les possibilitats que dóna XML, s'ha construït un sistema que permet generar bases de dades relacionals (amb SQL) a partir de diagrames de classes definits en XML. D?aquesta manera es mostra la flexibilitat que aporta XML a la definició, el processament i la transformació dels documents.

Generació automàtica de les constraints a partir de un diagrama de classes UML amb restriccions especificades en OCL

L'àmbit d'aquest treball és la generació automàtica de les restriccions d'integritat (claus primàries, alternatives i comprovacions), tant per a les bases de dades relacionals com per a les orientades a objectes.

Admission Control for TCP Flows Using Packet Classes and Edge-to-edge Measurements of Aggregates

TCP flows from applications such as the web or ftp are well supported by a Guaranteed Minimum Throughput Service (GMTS), which provides a minimum network throughput to the flow and, if possible, an extra throughput. We propose a scheme for a GMTS using Admission Control (AC) that is able to provide different minimum throughput to different users and that is suitable for "standard" TCP flows. Moreover, we consider a multidomain scenario where the scheme is used in one of the domains, and we propose some mechanisms for the interconnection with neighbor domains. The whole scheme uses a small set of packet classes in a core-stateless network where each class has a different discarding priority in queues assigned to it. The AC method involves only edge nodes and uses a special probing packet flow (marked as the highest discarding priority class) that is sent continuously from ingress to egress through a path. The available throughput in the path is obtained at the egress using measurements of flow aggregates, and then it is sent back to the ingress. At the ingress each flow is detected using an implicit way and then it is admission controlled. If it is accepted, it receives the GMTS and its packets are marked as the lowest discarding priority classes; otherwise, it receives a best-effort service. The scheme is evaluated through simulation in a simple "bottleneck" topology using different traffic loads consisting of "standard" TCP flows that carry files of varying sizes

Ideologia, política i llenguatge de classes en el primer sindicalisme, 1840-1870

Estudi del sindicalisme a Espanya des dels seus orígens i fins el 1870. L’autor planteja dues qüestions: la ideologia elaborada pel sindicalisme entre 1840 i 1856, i en segon lloc alguns aspectes de les relacions entre sindicalisme i política, i l’elaboració d’un llenguatge de classes

Reforç d’un element estructural mitjançant l’adhesió de làmines de compòsits reforçats amb fibres (FRP)

Aquest treball final de carrera és un estudi del reforç d’un element estructural de formigó per mitjà de fibres FRP. Podem assimilar-lo a una guia pràctica per tal que un enginyer ambconeixements de construcció, pugui reforçar un membre que ha sofert danys produïts peraguantar càrregues, oscil·lacions, etc.per les que no havia estat dissenyat. El projecte conté teoria del FRP per tal de conèixer el material que utilitzarem pel nostre reforç, les normatives i prenormatives que s’utilitzen per fer el disseny, i un exemple pràctic de càlcul del reforç d’una biga sotmesa a flexió i el confinament d’un pilar, que són les dues opcions més utilitzades per reforçar amb FRP. El reforç d’estructures de formigó és el camp de la construcció on més ràpidament i amb major èxit s’estan aplicant els reforços amb FRP, degut a les propietats tant avantatjoses que presenten, entre altres, resistència a la corrosió i lleugeresa, que es tradueix en estalvi de transport i posada en obra

Aplicació per la creació de classes interactives de Ciclo Indoor

Es tracta d'un projecte evolutiu que permetrà crear una aplicació que serveixi de suport gràfic per a les classes de Ciclo Indoor i que a més a més permetrà al professor preparar-les en pocs minuts. També tindrà un apartat dedicat a gestionar als usuaris del sistema mitjançant una connexió a una base de dades que també ha sigut dissenyada i desenvolupada en aquest projete.

Caracterització de la fibra Henequén per ser utilitzada com a reforç en materials compostos

La generació massiva de residus plàstics constitueix actualment un gravíssim problemamediambiental. Una de les estratègies desenvolupades per pal•liar-lo consisteix en el reciclatge delsresidus plàstics i la seva posterior utilització en diferents aplicacions en sectors com la construcció.La incorporació de reforços en el material reciclat millora les seves propietats mecàniques. Unpossible reforç són les fibres d'origen vegetal o biofibres, que, a més de millorar tècnicament elproducte, presenten avantatges econòmics i ambientals. Les biofibres són un bon competidor contrales fibres reforçants tradicionals com la fibra de vidre ja que presenten un baix cost, baixa densitat i,per tant, bones propietats específiques, menys equip de processament, alta suavitat,biodegradabilitat i són ecològicament sostenibles, ja que es produeixen a partir de recursos naturals.En aquest treball es fan servir fibres provinents de la pinya de Henequén. Aquestes fibres són unsubproducte del procés per a l’obtenció del licor de Henequén i es volen fer servir com a reforç enmaterials compostos.Ja s’han fet estudis sobre la fibra de Henequén que creix a Mèxic. Aquest projecte s’emmarca dinsuna col•laboració entre la Universitat de Girona i la Universitat Cubana de Holguin, per tal d’estudiarla fibra de Henequén que creix a Cuba

Economic crisis and recovery: changes in second birth rates within occupational classes and educational groups

This study assesses the decline in second birth rates for men and women across different skill levels in transitional Russia. Changes within educational groups and occupational classes are observed over three distinct time periods: the Soviet era, economic crisis, and economic recovery. The most remarkable finding is the similarity in the extent second birth rates declined within educational groups and occupational classes during the economic crisis. Although further decline occurred in the recovery period, more variation emerged across groups.

Analysis and evaluation of techniques for the extraction of classes in the ontology learning process

This paper analyzes and evaluates, in the context of Ontology learning, some techniques to identify and extract candidate terms to classes of a taxonomy. Besides, this work points out some inconsistencies that may be occurring in the preprocessing of text corpus, and proposes techniques to obtain good terms candidate to classes of a taxonomy.

Using qualia information to identify lexical semantic classes in an unsupervised clustering task

Acquiring lexical information is a complex problem, typically approached by relying on a number of contexts to contribute information for classification. One of the first issues to address in this domain is the determination of such contexts. The work presented here proposes the use of automatically obtained FORMAL role descriptors as features used to draw nouns from the same lexical semantic class together in an unsupervised clustering task. We have dealt with three lexical semantic classes (HUMAN, LOCATION and EVENT) in English. The results obtained show that it is possible to discriminate between elements from different lexical semantic classes using only FORMAL role information, hence validating our initial hypothesis. Also, iterating our method accurately accounts for fine-grained distinctions within lexical classes, namely distinctions involving ambiguous expressions. Moreover, a filtering and bootstrapping strategy employed in extracting FORMAL role descriptors proved to minimize effects of sparse data and noise in our task.

Aprenentatge automàtic de classes sintàctiques verbals

Aquest treball descriu una metodologia per classificar els verbs en català segons el seu comportament sintàctic. L’objectiu és adquirir un nombre reduït de classes bàsiques amb una precisió alta fent servir pocs recursos. Obtenir informació sobre classe sintàctica és un procés llarg i costós, però útil per a moltes tasques de PLN. Presentem com obtenir aquesta informació fent servir només un corpus amb anotació de categoria morfològica. Hem explorat tant tècniques supervisades com no supervisades. Primer presentem els experiments que fan servir un mètode supervisat per distingir automàticament entre verbs transitius i intransitius. El nostre sistema té una taxa d’error del 4,65%. Pel que fa als mètodes no supervisats (clustering), presentem dos experiments. El primer pretén classificar els verbs en transitius, intransitius i verbs que alternen amb la partícula se. El segon experiment té per objectiu fer una subclassificació entre intransitius purs i preposicional. Els resultats són uns coeficients-F de 0.84 i 0.88, respectivament.