En aquesta tesi es proposa un model de classificació i representació de la informació aspectual que és vàlid tant per a les aproximacions teòriques com per als models aplicats, com és el cas de la lexicografia computacional. Les principals contribucions d'aquest model es poden sintetitzar en tres punts bàsics. En primer lloc, és un model que dóna compte dels diferents graus de restricció que s'estableixen entre aspecte lèxic i context oracional, així com capta la naturalesa gradual i els efectes de prototipicitat consubstancials a la modalitat de l'acció, tot oferint un cercle de contigüitat de les categories aspectuals que obre noves vies per a entendre la relació i el canvi entre categories. En segon lloc, es caracteritza el fenomen de la polisèmia aspectual i, de manera més específica, la relació que s'estableix entre modalitat de l'acció i restriccions de selecció. D'aquesta manera, s'ofereix un criteri addicional per a la distinció de sentits verbals, una de les necessitats bàsiques dels recursos per al Processament del Llenguatge Natural. Finalment, i de manera més rellevant, és un model que s'ha validat empíricament a partir de tècniques pròpies de la lingüística de corpus i d'experiments psicolingüístics. / This thesis presents a new model of aspectual classification and representation which is valid for theoretical approaches as well as for applied models, such as computational lexicography. The main contributions of this work can be summarized in three basic points. Firstly, it accounts for different constraint degrees in the interaction between lexical aspect and sentential context, while sheding light on the gradual nature and inherent prototipicity effects of Aktionsart, thus offering a contiguous circle of aspectual categories which opens new ways for understanding the shift between categories. Secondly, aspectual polysemy, and more specifically the relationship between Aktionsart and selectional restrictions, is accounted for, allowing the formulation of new criteria in order to distinguish verbal senses, which is one of the main needs of Natural Language Processing resources. Finally, and more interestingly, this model has been validated empirically by means of corpus linguistic techniques and psycholinguistic experiments.

This dissertation focuses on the problem of providing mechanisms for routing point to point and multipoint connections in ATM networks. In general the notion of multipoint connection refers to connections that involve a group of users with more than two members. The main objective of this dissertation is to contribute to design efficient routing protocols with alterative routes in fully connected VP-based ATM Networks for call establishment of point to point and multipoint VC connections. An efficient route should be computed during this connection establishment phase.

En esta tesis se presentan aplicaciones del Análisis Intervalar Modal al estudio de problemas diferenciales aplicados básicamente a la resolución de problemas del ámbito de la ingeniería, precedidos de una sucinta revisión de la teoría básica del sistema de intervalos modales y un estudio exhaustivo de la optimalidad parcial de las funciones racionales, incorporando los conceptos de optimalidad equivalente y optimalidad condicionada, que representan una ampliación a la teoría del Análisis Intervalar Modal ya existente.Definiremos los intervalos identificándolos con el conjunto de predicados que aceptan o rechazan predicados sobre la recta real, hecho desde luego, que permite corregir deficiencias estructurales y semánticas del Análisis Intervalar Clásico, pero que sobretodo funda la teoría intervalar en la función básica de los intervalos como referencias al sistema de los números reales compatibles con la inevitable necesidad de truncación que acompaña a cualquier valor numérico experimental. Revisada la teoría básica del análisis intervalar modal, nos proponemos aplicarla a la resolución de problemas del ámbito de la ingeniería. Así, al plantearnos la resolución de problemas incluso elementales, como el de propagación del calor en una dimensión, nos encontramos con problemas de planteo en la aplicación de la teoría intervalar debido a las restricciones que impone la posibilidad de cálculos optimales. Esta situación lleva al estudio de la optimalidad condicionada que se ha presentado en el tercer capítulo de la tesis.Admitiendo restricciones sobre las modalidades de los argumentos de las funciones racionales se obtienen conceptos nuevos como el de modalidad partida o el de optimalidad lateral, que finalmente permiten introducir el concepto de función racional sintácticamente c-conmutativa, que permite obtener un conjunto más amplio de funciones a las que se les puede asociar un cálculo optimal. Sobre el conjunto de los intervalos podemos definir diversos sistemas de operaciones obteniendo por ejemplo el sistema de los intervalos modales dotados de su aritmética fundamental o bien dotados de una aritmética lineal o paralela. Esta última aritmética se introduce en el cuarto capítulo de la tesis. Desde el punto de vista del análisis intervalar modal hemos estudiado ecuaciones en diferencias definidas como solución numérica a ecuaciones diferenciales. El modelo intervalar y los métodos de cálculo numérico son objetivamente distintos: mientras que el cálculo numérico calcula trayectorias singulares aproximadas, el cálculo intervalar calcula haces de trayectorias asociadas a una estrategia determinada por las modalidades de los intervalos. Además, el cálculo intervalar está basado en la inclusividad de las soluciones intervalares y por ello da lugar esencialmente a modelos exactos desde el punto de vista de las semánticas asociadas a la inclusión; frente al caso del cálculo numérico que se apoya esencialmente en el concepto de aproximación.Una propiedad estructuralmente básica del Análisis intervalar es que no es adecuado aprovechar los algoritmos de los métodos numéricos clásicos como algoritmos intervalares, puesto que la estructura intervalar es esencialmente "mayor" que la de los números reales y por lo tanto debemos plantear cada problema intervalar siempre ab initio, en el interior del propio contexto intervalar. Fundamentalmente esto está determinado por el hecho de que no tiene sentido plantear las relaciones de inclusividad en el conjunto de los números reales, por reducirse a la identidad, y no tiene sentido prescindir de ellas en el contexto intervalar.Los capítulos 5, 6, y 7 estudian distintos problemas que plantean las ecuaciones en diferencias intervalares, distinguiendo las situaciones que necesitan un contexto lineal y en consecuencia el soporte aritmético de los intervalos de marcas (comentados en el apéndice B). Se han estudiado también problemas de contorno que se plantean en el cálculo numérico clásico, esencialmente sobre un contexto geométrico lineal. Dado que las operaciones aritméticas básicas de los intervalos modales no son operaciones lineales, no serán las operaciones adecuadas para modelos que pidan linealidad global. Los sistemas con operaciones lineales obligarán a un uso más elaborado de la modalidad, pero mantienen la geometría lineal que usualmente está exigida por el planteo experimental del problema. En la misma consideración de un modelo lineal, sin embargo, y tal como se ha estudiado en el capítulo 6, aparece un problema lógico con la truncación de los intervalos, cuya solución lleva inevitablemente a la aritmética de marcas. En el apéndice A se presenta una biblioteca C++ que implementa la aritmética intervalar modal soportada por los coprocesadores Intel.

El sistema de les marques s'enquadra dins del camp de l'anàlisi intervalar modal. En aquest context la tesi aporta un estudi de les operacions lineals, de la seva semàntica i sobretot de la seva operativitat quan les operacions es fan en un context no exacte com en el cas de les aritmètiques digitals. Aquest estudi de la operativitat conclou amb la necessitat d'establir un nou sistema intervalar que resolgui la problemàtica de la truncació en les operacions lineals, sistema que a la vegada resoldria el problema de la interpretació semàntica quan una mateixa variable apareix amb doble modalitat.El sistema que ens resol aquesta situació l'hem anomenat sistema de les marques i el mètode utilitzat ha sigut considerar els elements de qualsevol escala digital com intervals d'indiscernibilitat al voltant d'un punt: les marques.Sobre el conjunt de les marques es refineixen les relacions d'igualtat i desigualtat i es fa un estudi de les operacions elementals entre marques i també de la semàntica que es desprén de les operacions. El fet de poder considerar els elements de qualsevol escala digital com un interval d'indiscernibilitat ens ha permès també, que poguessim considerar qualsevol element d'una escala de mesura com una marca i que aquest nou sistema ens permetés de representar de forma fiable aquests elements.A la vegada obrim la porta a un nou tractament intervalar: el de la indiscernibilitat. Aquest nou tractament complementa la teoria intervalar modal.Finalment s'ha completat el conjunt dels intervals modals considerant que els seus extrems podíen ser marques, construint els que hem anomenat intervals de marques, dels que n'hem estudiat les relacions i la seva operativitat.Amb els intervals de marques es resol el problema que ens plantejava el context lineal i a la vegada ens obre la possibilitat d'efectuar els càlculs intervalars sense els problemes habituals que comporta la truncació.

The characteristics of service independence and flexibility of ATM networks make the control problems of such networks very critical. One of the main challenges in ATM networks is to design traffic control mechanisms that enable both economically efficient use of the network resources and desired quality of service to higher layer applications. Window flow control mechanisms of traditional packet switched networks are not well suited to real time services, at the speeds envisaged for the future networks. In this work, the utilisation of the Probability of Congestion (PC) as a bandwidth decision parameter is presented. The validity of PC utilisation is compared with QOS parameters in buffer-less environments when only the cell loss ratio (CLR) parameter is relevant. The convolution algorithm is a good solution for CAC in ATM networks with small buffers. If the source characteristics are known, the actual CLR can be very well estimated. Furthermore, this estimation is always conservative, allowing the retention of the network performance guarantees. Several experiments have been carried out and investigated to explain the deviation between the proposed method and the simulation. Time parameters for burst length and different buffer sizes have been considered. Experiments to confine the limits of the burst length with respect to the buffer size conclude that a minimum buffer size is necessary to achieve adequate cell contention. Note that propagation delay is a no dismiss limit for long distance and interactive communications, then small buffer must be used in order to minimise delay. Under previous premises, the convolution approach is the most accurate method used in bandwidth allocation. This method gives enough accuracy in both homogeneous and heterogeneous networks. But, the convolution approach has a considerable computation cost and a high number of accumulated calculations. To overcome this drawbacks, a new method of evaluation is analysed: the Enhanced Convolution Approach (ECA). In ECA, traffic is grouped in classes of identical parameters. By using the multinomial distribution function instead of the formula-based convolution, a partial state corresponding to each class of traffic is obtained. Finally, the global state probabilities are evaluated by multi-convolution of the partial results. This method avoids accumulated calculations and saves storage requirements, specially in complex scenarios. Sorting is the dominant factor for the formula-based convolution, whereas cost evaluation is the dominant factor for the enhanced convolution. A set of cut-off mechanisms are introduced to reduce the complexity of the ECA evaluation. The ECA also computes the CLR for each j-class of traffic (CLRj), an expression for the CLRj evaluation is also presented. We can conclude that by combining the ECA method with cut-off mechanisms, utilisation of ECA in real-time CAC environments as a single level scheme is always possible.

Aquesta recerca s'ocupa de l'evolució semàntica de les perífrasis modals <deure + INF i <haver (a/de) + INF> en català antic, des d'una perspectiva cognitiva. És un estudi de corpus que descriu la gramaticalització de les perífrasis, des que es formen en la llengua llatina fins a la fi del s. XVI. En aquest procés s'observa que des dels significats modals prototípcs, la necessitat deòntica i la necessitat externa, afloren un fum de matisos nous al voltant del futur i l'evidencialitat inferencial. Això provoca canvis en la configuració de la xarxa semàntica i les relacions entre els sentits de cada categoria (Geeraerts 1997). En aquest sentit la gramaticalització d'aquestes perífrasis palesa les regularitats interlingüístiques del canvi semàntic (Traugott & Daser 2002). Aquest estudi reflexiona sobre el canvi semàntic, el mecanismes que hi intervenen i les motivacions que el provoquen. En el marc de la Gramàtica Cognitiva de Langacker (1987, 1991a, 1999b) i les aportacions de Pelyvás (1996, 2000, 2006), es descriu el canvi semàntic en termes d'una atenuació de la força i una progressiva subjectivació. Les construccions evoluciones en la mesura que els usos nous mostren un esquema conceptual diferent del convencional. En efecte, en el cas de les perífrasis <deure + INF> i <haver (a/de) + INF> s'observen canvis en l'esquema conceptual quan afloren els valors de futur i els inferencials, amb la qual cosa la interacció de forces s'esvaeix i deixa al descobert la conceptualització del parlant, el qual esdevé locus de potència.